define i32 @main(i32, i32) {
  %ok = icmp ult i32 %1, 32
  br i1 %ok, label %ok_label, label %bad_label
ok_label:
  ret i32 0
bad_label:
  %a = lshr i32 %0, %1
  ret i32 %a
}