@@ -8,8 +8,7 @@ define i32 @known_non_zero_by_or(i32 %x, i32 %y) {
88; CHECK-NEXT: br i1 [[COND]], label %[[IF_THEN:.*]], label %[[IF_ELSE:.*]]
99; CHECK: [[IF_THEN]]:
1010; CHECK-NEXT: [[VAL:%.*]] = or i32 [[X]], [[Y]]
11- ; CHECK-NEXT: [[MAX:%.*]] = call i32 @llvm.umax.i32(i32 [[VAL]], i32 1)
12- ; CHECK-NEXT: ret i32 [[MAX]]
11+ ; CHECK-NEXT: ret i32 [[VAL]]
1312; CHECK: [[IF_ELSE]]:
1413; CHECK-NEXT: ret i32 0
1514;
@@ -32,8 +31,7 @@ define i32 @known_non_zero_by_mul(i32 %x) {
3231; CHECK-NEXT: br i1 [[COND]], label %[[IF_THEN:.*]], label %[[IF_ELSE:.*]]
3332; CHECK: [[IF_THEN]]:
3433; CHECK-NEXT: [[NONZERO1:%.*]] = mul nuw i32 [[X]], 3
35- ; CHECK-NEXT: [[MAX:%.*]] = call i32 @llvm.umax.i32(i32 [[NONZERO1]], i32 1)
36- ; CHECK-NEXT: ret i32 [[MAX]]
34+ ; CHECK-NEXT: ret i32 [[NONZERO1]]
3735; CHECK: [[IF_ELSE]]:
3836; CHECK-NEXT: ret i32 0
3937;
@@ -56,8 +54,7 @@ define i32 @known_non_zero_commute(i32 %x, i32 %y) {
5654; CHECK-NEXT: br i1 [[COND]], label %[[IF_THEN:.*]], label %[[IF_ELSE:.*]]
5755; CHECK: [[IF_THEN]]:
5856; CHECK-NEXT: [[VAL:%.*]] = or i32 [[X]], [[Y]]
59- ; CHECK-NEXT: [[MAX:%.*]] = call i32 @llvm.umax.i32(i32 1, i32 [[VAL]])
60- ; CHECK-NEXT: ret i32 [[MAX]]
57+ ; CHECK-NEXT: ret i32 [[VAL]]
6158; CHECK: [[IF_ELSE]]:
6259; CHECK-NEXT: ret i32 0
6360;
0 commit comments