1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt %s -passes=simplifycfg,instcombine -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s 3 4define i32 @assume1(i32 %p) { 5; CHECK-LABEL: @assume1( 6; CHECK-NEXT: entry: 7; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[P:%.*]], 0 8; CHECK-NEXT: call void @llvm.assume(i1 [[CMP]]) 9; CHECK-NEXT: ret i32 [[P]] 10; 11entry: 12 %cmp = icmp sle i32 %p, 0 13 br i1 %cmp, label %if.then, label %if.end 14 15if.then: 16 unreachable 17 18if.end: 19 %call = call i32 @abs(i32 %p) 20 ret i32 %call 21} 22 23 24define i32 @assume2(i32 %p) { 25; CHECK-LABEL: @assume2( 26; CHECK-NEXT: entry: 27; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[P:%.*]], 0 28; CHECK-NEXT: call void @llvm.assume(i1 [[CMP]]) 29; CHECK-NEXT: ret i32 [[P]] 30; 31entry: 32 %cmp = icmp sgt i32 %p, 0 33 br i1 %cmp, label %if.then, label %if.else 34 35if.then: 36 br label %if.end 37 38if.else: 39 unreachable 40 41if.end: 42 %call = call i32 @abs(i32 %p) 43 ret i32 %call 44} 45 46declare i32 @abs(i32) 47