30 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3target datalayout = "n32"4 5define i1 @oss_fuzz_32759(i1 %y, i1 %c1) {6; CHECK-LABEL: @oss_fuzz_32759(7; CHECK-NEXT: entry:8; CHECK-NEXT: br i1 [[C1:%.*]], label [[COND_TRUE:%.*]], label [[END:%.*]]9; CHECK: cond.true:10; CHECK-NEXT: br label [[END]]11; CHECK: end:12; CHECK-NEXT: ret i1 false13;14entry:15 br i1 %c1, label %cond.true, label %end16 17cond.true: ; preds = %entry18 %zy = zext i1 %y to i3219 %B6 = shl i32 %zy, 214748364720 %B3 = ashr i32 %B6, 214748364721 %B7 = srem i32 %B3, 12322 %cond = xor i32 %B7, %B323 br label %end24 25end: ; preds = %cond.true, %entry26 %p = phi i32 [ %cond, %cond.true ], [ -1, %entry ]27 %r = icmp eq i32 %p, 028 ret i1 %r29}30