   0  int_isconstant %i1 -> %i2
   3  -live- %i0, %i1, %i2, %r0
   6  goto_if_not %i2, L1
  10  uint_lt %i1, $0L -> %i2
  14  -live- %i0, %i1, %i2
  17  goto_if_not %i2, L2
  21  int_return $0L
  23  ---
  23  L2:
  23  int_copy $1L -> %i3
  26  L3:
  26  uint_gt %i1, $0L -> %i2
  30  -live- %i0, %i1, %i2, %i3
  33  goto_if_not %i2, L4
  37  int_and %i1, $1L -> %i2
  41  -live- %i0, %i1, %i2, %i3
  44  goto_if_not_int_is_true %i2, L5
  48  int_mul %i3, %i0 -> %i3
  52  L6:
  52  uint_rshift %i1, $1 -> %i1
  56  -live- %i0, %i1, %i3
  59  goto_if_not_int_is_zero %i1, L7
  63  int_return %i3
  65  ---
  65  L7:
  65  int_mul %i0, %i0 -> %i0
  69  goto L3
  72  ---
  72  L5:
  72  goto L6
  75  ---
  75  L4:
  75  int_return %i3
  77  ---
  77  L1:
  77  residual_call_ir_i $<* fn pow_trampoline__v572___simple_call__function_p>, I[%i0, %i1], R[%r0], <CallDescr(rii) EF=2> -> %i3
  87  int_return %i3
