@i = global [1 x i32] zeroinitializer
@k = global [1 x i32] zeroinitializer

declare i32 @getint()
declare float @getfloat()
declare i32 @getarray(i32* %arg.a)
declare i32 @getfarray(float* %arg.a)
declare i32 @getch()
declare void @putint(i32 %arg.x)
declare void @putfloat(float %arg.x)
declare void @putarray(i32 %arg.n, i32* %arg.a)
declare void @putfarray(i32 %arg.n, float* %arg.a)
declare void @putch(i32 %arg.x)
declare void @starttime()
declare void @stoptime()
define void @inc_impl(i32* %arg.x, i32 %arg.rec) {
entry:
  %t0 = alloca i32
  store i32 %arg.rec, i32* %t0
  %t1 = load i32, i32* %t0
  %t2 = icmp eq i32 %t1, 0
  %t3 = zext i1 %t2 to i32
  %t4 = icmp ne i32 %t3, 0
  br i1 %t4, label %if.then.1, label %if.else.2
if.then.1:
  %t5 = getelementptr inbounds i32, i32* %arg.x, i32 0
  %t6 = getelementptr inbounds i32, i32* %arg.x, i32 0
  %t7 = load i32, i32* %t6
  %t8 = add i32 %t7, 1
  store i32 %t8, i32* %t5
  br label %if.end.3
if.else.2:
  %t9 = getelementptr inbounds i32, i32* %arg.x, i32 0
  %t10 = getelementptr inbounds i32, i32* %arg.x, i32 0
  %t11 = load i32, i32* %t10
  %t12 = mul i32 %t11, 2
  store i32 %t12, i32* %t9
  %t13 = load i32, i32* %t0
  %t14 = sub i32 %t13, 1
  call void @inc_impl(i32* %arg.x, i32 %t14)
  br label %if.end.3
if.end.3:
  ret void
}
define void @inc(i32* %arg.x) {
entry:
  %t16 = getelementptr inbounds [1 x i32], [1 x i32]* @k, i32 0, i32 0
  %t17 = load i32, i32* %t16
  call void @inc_impl(i32* %arg.x, i32 %t17)
  ret void
}
define void @add_impl(i32* %arg.x, i32* %arg.y, i32 %arg.rec) {
entry:
  %t19 = alloca i32
  store i32 %arg.rec, i32* %t19
  %t20 = load i32, i32* %t19
  %t21 = icmp eq i32 %t20, 0
  %t22 = zext i1 %t21 to i32
  %t23 = icmp ne i32 %t22, 0
  br i1 %t23, label %if.then.4, label %if.else.5
if.then.4:
  %t24 = getelementptr inbounds i32, i32* %arg.x, i32 0
  %t25 = getelementptr inbounds i32, i32* %arg.x, i32 0
  %t26 = load i32, i32* %t25
  %t27 = getelementptr inbounds i32, i32* %arg.y, i32 0
  %t28 = load i32, i32* %t27
  %t29 = add i32 %t26, %t28
  store i32 %t29, i32* %t24
  br label %if.end.6
if.else.5:
  %t30 = getelementptr inbounds i32, i32* %arg.x, i32 0
  %t31 = getelementptr inbounds i32, i32* %arg.x, i32 0
  %t32 = load i32, i32* %t31
  %t33 = mul i32 %t32, 2
  store i32 %t33, i32* %t30
  %t34 = load i32, i32* %t19
  %t35 = sub i32 %t34, 1
  call void @add_impl(i32* %arg.x, i32* %arg.y, i32 %t35)
  br label %if.end.6
if.end.6:
  ret void
}
define void @add(i32* %arg.x, i32* %arg.y) {
entry:
  %t37 = getelementptr inbounds [1 x i32], [1 x i32]* @k, i32 0, i32 0
  %t38 = load i32, i32* %t37
  call void @add_impl(i32* %arg.x, i32* %arg.y, i32 %t38)
  ret void
}
define void @sub_impl(i32* %arg.x, i32* %arg.y, i32 %arg.rec) {
entry:
  %t40 = alloca i32
  store i32 %arg.rec, i32* %t40
  %t41 = load i32, i32* %t40
  %t42 = icmp eq i32 %t41, 0
  %t43 = zext i1 %t42 to i32
  %t44 = icmp ne i32 %t43, 0
  br i1 %t44, label %if.then.7, label %if.else.8
if.then.7:
  %t45 = getelementptr inbounds i32, i32* %arg.x, i32 0
  %t46 = getelementptr inbounds i32, i32* %arg.x, i32 0
  %t47 = load i32, i32* %t46
  %t48 = getelementptr inbounds i32, i32* %arg.y, i32 0
  %t49 = load i32, i32* %t48
  %t50 = sub i32 %t47, %t49
  store i32 %t50, i32* %t45
  br label %if.end.9
if.else.8:
  %t51 = getelementptr inbounds i32, i32* %arg.x, i32 0
  %t52 = getelementptr inbounds i32, i32* %arg.x, i32 0
  %t53 = load i32, i32* %t52
  %t54 = mul i32 %t53, 2
  store i32 %t54, i32* %t51
  %t55 = load i32, i32* %t40
  %t56 = sub i32 %t55, 1
  call void @sub_impl(i32* %arg.x, i32* %arg.y, i32 %t56)
  br label %if.end.9
if.end.9:
  ret void
}
define void @sub(i32* %arg.x, i32* %arg.y) {
entry:
  %t58 = getelementptr inbounds [1 x i32], [1 x i32]* @k, i32 0, i32 0
  %t59 = load i32, i32* %t58
  call void @sub_impl(i32* %arg.x, i32* %arg.y, i32 %t59)
  ret void
}
define i32 @main() {
entry:
  %t61 = alloca i32, i32 1
  %t62 = alloca i32, i32 1
  %t63 = alloca i32, i32 2
  %t64 = getelementptr inbounds i32, i32* %t63, i32 0
  store i32 -1, i32* %t64
  %t65 = getelementptr inbounds i32, i32* %t63, i32 1
  store i32 0, i32* %t65
  %t66 = getelementptr inbounds [1 x i32], [1 x i32]* @k, i32 0, i32 0
  %t67 = call i32 @getint()
  store i32 %t67, i32* %t66
  %t68 = getelementptr inbounds i32, i32* %t62, i32 0
  %t69 = call i32 @getint()
  store i32 %t69, i32* %t68
  %t70 = getelementptr inbounds i32, i32* %t63, i32 0
  %t71 = call i32 @getarray(i32* %t70)
  br label %while.cond.10
while.cond.10:
  %t72 = getelementptr inbounds i32, i32* %t62, i32 0
  %t73 = load i32, i32* %t72
  %t74 = icmp ne i32 %t73, 0
  br i1 %t74, label %while.body.11, label %while.end.12
while.body.11:
  %t75 = getelementptr inbounds i32, i32* %t61, i32 0
  %t76 = getelementptr inbounds i32, i32* %t63, i32 0
  %t77 = load i32, i32* %t76
  store i32 %t77, i32* %t75
  br label %while.cond.13
while.end.12:
  call void @putch(i32 10)
  ret i32 0
while.cond.13:
  %t78 = getelementptr inbounds i32, i32* %t61, i32 0
  %t79 = load i32, i32* %t78
  %t80 = icmp slt i32 %t79, 5
  %t81 = zext i1 %t80 to i32
  %t82 = icmp ne i32 %t81, 0
  br i1 %t82, label %while.body.14, label %while.end.15
while.body.14:
  %t83 = getelementptr inbounds [1 x i32], [1 x i32]* @i, i32 0, i32 0
  %t84 = load i32, i32* %t83
  call void @putint(i32 %t84)
  %t86 = getelementptr inbounds i32, i32* %t61, i32 0
  %t87 = load i32, i32* %t86
  call void @putint(i32 %t87)
  %t89 = getelementptr inbounds i32, i32* %t62, i32 0
  %t90 = load i32, i32* %t89
  call void @putint(i32 %t90)
  %t92 = getelementptr inbounds i32, i32* %t63, i32 0
  %t93 = load i32, i32* %t92
  call void @putint(i32 %t93)
  %t95 = getelementptr inbounds i32, i32* %t63, i32 0
  call void @add(i32* %t95, i32* %t62)
  call void @add(i32* %t61, i32* %t62)
  %t98 = getelementptr inbounds i32, i32* %t63, i32 0
  call void @sub(i32* %t98, i32* %t62)
  br label %while.cond.13
while.end.15:
  %t100 = getelementptr inbounds [1 x i32], [1 x i32]* @i, i32 0, i32 0
  call void @inc(i32* %t100)
  %t102 = getelementptr inbounds i32, i32* %t63, i32 0
  %t103 = getelementptr inbounds [1 x i32], [1 x i32]* @i, i32 0, i32 0
  call void @add(i32* %t103, i32* %t102)
  %t105 = getelementptr inbounds [1 x i32], [1 x i32]* @i, i32 0, i32 0
  %t106 = load i32, i32* %t105
  %t107 = getelementptr inbounds i32, i32* %t63, i32 1
  %t108 = load i32, i32* %t107
  %t109 = icmp eq i32 %t106, %t108
  %t110 = zext i1 %t109 to i32
  %t111 = icmp ne i32 %t110, 0
  br i1 %t111, label %if.then.16, label %if.end.17
if.then.16:
  br label %while.end.12
if.end.17:
  br label %while.cond.10
}