1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 2; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s 3 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]], 1152921504606846975 9; CHECK-NEXT: call void @llvm.assume(i1 [[COND]]) 10; CHECK-NEXT: [[A1:%.*]] = shl nuw i64 [[NUMELEMENTS]], 4 11; 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 -1 20; CHECK: exit: 21; CHECK-NEXT: ret i32 0 22; 23entry: 24 %cond = icmp ule i64 %numElements, 1152921504606846975 25 call void @llvm.assume(i1 %cond) 26 %a1 = shl nuw i64 %numElements, 4 27 br label %if.end 28if.end: 29 %cmp = icmp ugt i64 %a1, %a3 30 br i1 %cmp, label %if.end.i, label %abort 31if.end.i: 32 %cmp2.not.i = icmp ult i64 %a1, %a3 33 br i1 %cmp2.not.i, label %abort, label %exit 34abort: 35 ret i32 -1 36exit: 37 ret i32 0 38} 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]], -9223372036854775807 47; CHECK-NEXT: [[C:%.*]] = icmp slt i64 0, [[SUB]] 48; CHECK-NEXT: ret i1 [[C]] 49; 50entry: 51 %sub = add nsw i64 %x, -9223372036854775807 52 %c = icmp slt i64 0, %sub 53 ret i1 %c 54} 55