1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=simplifycfg,instcombine,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: ret void 10; 11entry: 12 %tmp.2 = icmp ne i32 %X, %Y ; <i1> [#uses=1] 13 br i1 %tmp.2, label %shortcirc_next, label %UnifiedReturnBlock 14shortcirc_next: ; preds = %entry 15 %tmp.3 = icmp ne i32 %X, %Y ; <i1> [#uses=1] 16 br i1 %tmp.3, 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