1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s 3 4declare void @bar() 5 6define void @test(i32 %X, i32 %Y) { 7; CHECK-LABEL: @test( 8; CHECK-NEXT: entry: 9; CHECK-NEXT: [[TMP_2:%.*]] = icmp slt i32 [[X:%.*]], [[Y:%.*]] 10; CHECK-NEXT: ret void 11; 12entry: 13 %tmp.2 = icmp slt i32 %X, %Y ; <i1> [#uses=2] 14 br i1 %tmp.2, label %shortcirc_next, label %UnifiedReturnBlock 15shortcirc_next: ; preds = %entry 16 br i1 %tmp.2, label %UnifiedReturnBlock, label %then 17then: ; preds = %shortcirc_next 18 call void @bar( ) 19 ret void 20UnifiedReturnBlock: ; preds = %shortcirc_next, %entry 21 ret void 22} 23 24