   0  int_rshift %i0, $63 -> %i1
   4  int_xor %i0, %i1 -> %i0
   8  int_sub %i0, %i1 -> %i0
  12  int_return %i0
