; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; RUN: opt %s -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -instcombine -S | FileCheck %s define i32 @assume1(i32 %p) { ; CHECK-LABEL: @assume1( ; CHECK-NEXT: entry: ; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[P:%.*]], 0 ; CHECK-NEXT: call void @llvm.assume(i1 [[CMP]]) ; CHECK-NEXT: ret i32 [[P]] ; entry: %cmp = icmp sle i32 %p, 0 br i1 %cmp, label %if.then, label %if.end if.then: unreachable if.end: %call = call i32 @abs(i32 %p) ret i32 %call } define i32 @assume2(i32 %p) { ; CHECK-LABEL: @assume2( ; CHECK-NEXT: entry: ; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[P:%.*]], 0 ; CHECK-NEXT: call void @llvm.assume(i1 [[CMP]]) ; CHECK-NEXT: ret i32 [[P]] ; entry: %cmp = icmp sgt i32 %p, 0 br i1 %cmp, label %if.then, label %if.else if.then: br label %if.end if.else: unreachable if.end: %call = call i32 @abs(i32 %p) ret i32 %call } declare i32 @abs(i32)