1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=simplifycfg -S | FileCheck %s 3 4; ModuleID = 'test/Transforms/SimplifyCFG/pr-new.ll' 5source_filename = "test/Transforms/SimplifyCFG/pr-new.ll" 6 7define i32 @test(float %arg, i1 %c) gc "statepoint-example" personality ptr @blam { 8; CHECK-LABEL: @test( 9; CHECK-NEXT: bb: 10; CHECK-NEXT: [[TMP:%.*]] = call i1 @llvm.experimental.widenable.condition() 11; CHECK-NEXT: br i1 [[TMP]], label [[BB2:%.*]], label [[BB1:%.*]] 12; CHECK: bb1: 13; CHECK-NEXT: br i1 [[C:%.*]], label [[BB7:%.*]], label [[BB5:%.*]] 14; CHECK: bb2: 15; CHECK-NEXT: [[TMP3:%.*]] = getelementptr inbounds i8, ptr addrspace(1) undef, i64 16 16; CHECK-NEXT: br i1 [[C]], label [[BB7]], label [[BB4:%.*]] 17; CHECK: bb4: 18; CHECK-NEXT: call void @snork() [ "deopt"() ] 19; CHECK-NEXT: unreachable 20; CHECK: bb5: 21; CHECK-NEXT: ret i32 0 22; CHECK: bb7: 23; CHECK-NEXT: [[TMP8:%.*]] = call i32 (...) @llvm.experimental.deoptimize.i32(i32 10) [ "deopt"() ] 24; CHECK-NEXT: ret i32 [[TMP8]] 25; 26bb: 27 %tmp = call i1 @llvm.experimental.widenable.condition() 28 br i1 %tmp, label %bb2, label %bb1 29 30bb1: ; preds = %bb 31 br i1 %c, label %bb7, label %bb5 32 33bb2: ; preds = %bb 34 %tmp3 = getelementptr inbounds i8, ptr addrspace(1) undef, i64 16 35 br i1 %c, label %bb6, label %bb4 36 37bb4: ; preds = %bb2 38 call void @snork() [ "deopt"() ] 39 unreachable 40 41bb5: ; preds = %bb1 42 ret i32 0 43 44bb6: ; preds = %bb2 45 br label %bb7 46 47bb7: ; preds = %bb6, %bb1 48 %tmp8 = call i32 (...) @llvm.experimental.deoptimize.i32(i32 10) [ "deopt"() ] 49 ret i32 %tmp8 50} 51 52declare ptr @blam() 53 54declare void @snork() 55 56declare i32 @llvm.experimental.deoptimize.i32(...) 57 58; Function Attrs: inaccessiblememonly nofree nosync nounwind speculatable willreturn 59declare i1 @llvm.experimental.widenable.condition() #0 60 61attributes #0 = { inaccessiblememonly nofree nosync nounwind speculatable willreturn } 62 63