; ModuleID = 'module'

define i32 @main(i32, i32) {
entry:
  %a = alloca i32
  store i32 %0, i32* %a
  %pow = alloca i32
  store i32 %1, i32* %pow
  %result = alloca i32
  store i32 1, i32* %result
  br label %while_cond

while_cond:                                       ; preds = %if_merge, %entry
  %pow1 = load i32, i32* %pow
  %not_equal = icmp ne i32 %pow1, 0
  br i1 %not_equal, label %while_body, label %while_next

while_body:                                       ; preds = %while_cond
  %pow2 = load i32, i32* %pow
  %mod = srem i32 %pow2, 2
  %equal = icmp eq i32 %mod, 0
  br i1 %equal, label %if_true, label %if_false

while_next:                                       ; preds = %while_cond
  %result10 = load i32, i32* %result
  ret i32 %result10

if_true:                                          ; preds = %while_body
  %a3 = load i32, i32* %a
  %a4 = load i32, i32* %a
  %mul = mul i32 %a3, %a4
  store i32 %mul, i32* %a
  %pow5 = load i32, i32* %pow
  %div = sdiv i32 %pow5, 2
  store i32 %div, i32* %pow
  br label %if_merge

if_false:                                         ; preds = %while_body
  %result6 = load i32, i32* %result
  %a7 = load i32, i32* %a
  %mul8 = mul i32 %result6, %a7
  store i32 %mul8, i32* %result
  %pow9 = load i32, i32* %pow
  %sub = sub i32 %pow9, 1
  store i32 %sub, i32* %pow
  br label %if_merge

if_merge:                                         ; preds = %if_false, %if_true
  br label %while_cond
}