77 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s3 4define i32 @f(i64 %a3, i64 %numElements) {5; CHECK-LABEL: define i32 @f(6; CHECK-SAME: i64 [[A3:%.*]], i64 [[NUMELEMENTS:%.*]]) {7; CHECK-NEXT: entry:8; CHECK-NEXT: [[COND:%.*]] = icmp ule i64 [[NUMELEMENTS]], 11529215046068469759; CHECK-NEXT: call void @llvm.assume(i1 [[COND]])10; CHECK-NEXT: [[A1:%.*]] = shl nuw i64 [[NUMELEMENTS]], 411; CHECK-NEXT: br label [[IF_END:%.*]]12; CHECK: if.end:13; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i64 [[A1]], [[A3]]14; CHECK-NEXT: br i1 [[CMP]], label [[IF_END_I:%.*]], label [[ABORT:%.*]]15; CHECK: if.end.i:16; CHECK-NEXT: [[CMP2_NOT_I:%.*]] = icmp ult i64 [[A1]], [[A3]]17; CHECK-NEXT: br i1 [[CMP2_NOT_I]], label [[ABORT]], label [[EXIT:%.*]]18; CHECK: abort:19; CHECK-NEXT: ret i32 -120; CHECK: exit:21; CHECK-NEXT: ret i32 022;23entry:24 %cond = icmp ule i64 %numElements, 115292150460684697525 call void @llvm.assume(i1 %cond)26 %a1 = shl nuw i64 %numElements, 427 br label %if.end28if.end:29 %cmp = icmp ugt i64 %a1, %a330 br i1 %cmp, label %if.end.i, label %abort31if.end.i:32 %cmp2.not.i = icmp ult i64 %a1, %a333 br i1 %cmp2.not.i, label %abort, label %exit34abort:35 ret i32 -136exit:37 ret i32 038}39 40declare void @llvm.assume(i1)41 42define i1 @negate_overflow_add_1(i64 %x) {43; CHECK-LABEL: define i1 @negate_overflow_add_1(44; CHECK-SAME: i64 [[X:%.*]]) {45; CHECK-NEXT: entry:46; CHECK-NEXT: [[SUB:%.*]] = add nsw i64 [[X]], -922337203685477580747; CHECK-NEXT: [[C:%.*]] = icmp slt i64 0, [[SUB]]48; CHECK-NEXT: ret i1 [[C]]49;50entry:51 %sub = add nsw i64 %x, -922337203685477580752 %c = icmp slt i64 0, %sub53 ret i1 %c54}55 56define i1 @pr140481(i32 %x) {57; CHECK-LABEL: define i1 @pr140481(58; CHECK-SAME: i32 [[X:%.*]]) {59; CHECK-NEXT: entry:60; CHECK-NEXT: [[COND:%.*]] = icmp slt i32 [[X]], 061; CHECK-NEXT: call void @llvm.assume(i1 [[COND]])62; CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[X]], 500100063; CHECK-NEXT: [[MUL1:%.*]] = mul nsw i32 [[ADD]], -500100064; CHECK-NEXT: [[MUL2:%.*]] = mul nsw i32 [[MUL1]], 500100065; CHECK-NEXT: [[CMP2:%.*]] = icmp sgt i32 [[MUL2]], 066; CHECK-NEXT: ret i1 [[CMP2]]67;68entry:69 %cond = icmp slt i32 %x, 070 call void @llvm.assume(i1 %cond)71 %add = add nsw i32 %x, 500100072 %mul1 = mul nsw i32 %add, -500100073 %mul2 = mul nsw i32 %mul1, 500100074 %cmp2 = icmp sgt i32 %mul2, 075 ret i1 %cmp276}77