DirectXShaderCompiler/test/Transforms/LCSSA/indirectbr.ll

; RUN: opt < %s -loop-simplify -lcssa -verify-loop-info -verify-dom-info -S | FileCheck %s

; LCSSA should work correctly in the case of an indirectbr that exits
; the loop, and the loop has exits with predecessors not within the loop
; (and btw these edges are unsplittable due to the indirectbr).
; PR5437
define i32 @test0() nounwind {
; CHECK-LABEL: @test0
entry:
  br i1 undef, label %"4", label %"3"

"3":                                              ; preds = %entry
  ret i32 0

"4":                                              ; preds = %entry
  br i1 undef, label %"6", label %"5"

"5":                                              ; preds = %"4"
  unreachable

"6":                                              ; preds = %"4"
  br i1 undef, label %"10", label %"13"

"10":                                             ; preds = %"6"
  br i1 undef, label %"22", label %"15"

"13":                                             ; preds = %"6"
  unreachable

"15":                                             ; preds = %"23", %"10"
  unreachable

"22":                                             ; preds = %"10"
  br label %"23"

"23":                                             ; preds = %"1375", %"22"
  %0 = phi i32 [ undef, %"22" ], [ %1, %"1375" ]  ; <i32> [#uses=1]
  indirectbr i8* undef, [label %"15", label %"24", label %"25", label %"26", label %"27", label %"28", label %"29", label %"30", label %"32", label %"32", label %"33", label %"167", label %"173", label %"173", label %"173", label %"173", label %"173", label %"192", label %"193", label %"194", label %"196", label %"206", label %"231", label %"241", label %"251", label %"261", label %"307", label %"353", label %"354", label %"355", label %"361", label %"367", label %"400", label %"433", label %"466", label %"499", label %"509", label %"519", label %"529", label %"571", label %"589", label %"607", label %"635", label %"655", label %"664", label %"671", label %"680", label %"687", label %"692", label %"698", label %"704", label %"715", label %"715", label %"716", label %"725", label %"725", label %"725", label %"725", label %"724", label %"724", label %"724", label %"724", label %"737", label %"737", label %"737", label %"737", label %"761", label %"758", label %"759", label %"760", label %"766", label %"763", label %"764", label %"765", label %"771", label %"768", label %"769", label %"770", label %"780", label %"777", label %"778", label %"779", label %"821", label %"826", label %"831", label %"832", label %"833", label %"836", label %"836", label %"886", label %"905", label %"978", label %"978", label %"1136", label %"1166", label %"1179", label %"1201", label %"1212", label %"1212", label %"1274", label %"1284", label %"1284", label %"1346", label %"1347", label %"1348", label %"1349", label %"1350", label %"1353", label %"1353", label %"1353", label %"1355", label %"1355", label %"1357", label %"1357", label %"1358", label %"1359", label %"1374", label %"1375", label %"1376", label %"1377", label %"1378", label %"1379", label %"1386", label %"1395", label %"1394", label %"1425", label %"1426", label %"1440", label %"1449", label %"1455", label %"1461", label %"1471", label %"1482", label %"1484", label %"1486", label %"1489", label %"1489", label %"1492", label %"1494", label %"1494", label %"1497", label %"1499", label %"1499", label %"1515", label %"1546", label %"1546", label %"1566", label %"1584", label %"1587", label %"1591", label %"1605", label %"1609", label %"1609", label %"1640", label %"1648", label %"1651", label %"1703", label %"1710", label %"1718", label %"1724", label %"1725", label %"1726", label %"1727", label %"1728", label %"1731", label %"1732", label %"1733", label %"1734", label %"1735", label %"1741", label %"1750", label %"1752", label %"1754", label %"1755", label %"1757", label %"1759", label %"1761", label %"1764", label %"1764", label %"1766", label %"1768", label %"1775", label %"1775", label %"1781", label %"1781", label %"1790", label %"1827", label %"1836", label %"1836", label %"1845", label %"1845", label %"1848", label %"1849", label %"1851", label %"1853", label %"1856", label %"1861", label %"1861"]

"24":                                             ; preds = %"23"
  unreachable

"25":                                             ; preds = %"23"
  unreachable

"26":                                             ; preds = %"23"
  unreachable

"27":                                             ; preds = %"23"
  unreachable

"28":                                             ; preds = %"23"
  unreachable

"29":                                             ; preds = %"23"
  unreachable

"30":                                             ; preds = %"23"
  unreachable

"32":                                             ; preds = %"23", %"23"
  unreachable

"33":                                             ; preds = %"23"
  unreachable

"167":                                            ; preds = %"23"
  unreachable

"173":                                            ; preds = %"23", %"23", %"23", %"23", %"23"
  unreachable

"192":                                            ; preds = %"23"
  unreachable

"193":                                            ; preds = %"23"
  unreachable

"194":                                            ; preds = %"23"
  unreachable

"196":                                            ; preds = %"23"
  unreachable

"206":                                            ; preds = %"23"
  unreachable

"231":                                            ; preds = %"23"
  unreachable

"241":                                            ; preds = %"23"
  unreachable

"251":                                            ; preds = %"23"
  unreachable

"261":                                            ; preds = %"23"
  unreachable

"307":                                            ; preds = %"23"
  unreachable

"353":                                            ; preds = %"23"
  unreachable

"354":                                            ; preds = %"23"
  unreachable

"355":                                            ; preds = %"23"
  unreachable

"361":                                            ; preds = %"23"
  unreachable

"367":                                            ; preds = %"23"
  unreachable

"400":                                            ; preds = %"23"
  unreachable

"433":                                            ; preds = %"23"
  unreachable

"466":                                            ; preds = %"23"
  unreachable

"499":                                            ; preds = %"23"
  unreachable

"509":                                            ; preds = %"23"
  unreachable

"519":                                            ; preds = %"23"
  unreachable

"529":                                            ; preds = %"23"
  unreachable

"571":                                            ; preds = %"23"
  unreachable

"589":                                            ; preds = %"23"
  unreachable

"607":                                            ; preds = %"23"
  unreachable

"635":                                            ; preds = %"23"
  unreachable

"655":                                            ; preds = %"23"
  unreachable

"664":                                            ; preds = %"23"
  unreachable

"671":                                            ; preds = %"23"
  unreachable

"680":                                            ; preds = %"23"
  unreachable

"687":                                            ; preds = %"23"
  unreachable

"692":                                            ; preds = %"23"
  br label %"1862"

"698":                                            ; preds = %"23"
  unreachable

"704":                                            ; preds = %"23"
  unreachable

"715":                                            ; preds = %"23", %"23"
  unreachable

"716":                                            ; preds = %"23"
  unreachable

"724":                                            ; preds = %"23", %"23", %"23", %"23"
  unreachable

"725":                                            ; preds = %"23", %"23", %"23", %"23"
  unreachable

"737":                                            ; preds = %"23", %"23", %"23", %"23"
  unreachable

"758":                                            ; preds = %"23"
  unreachable

"759":                                            ; preds = %"23"
  unreachable

"760":                                            ; preds = %"23"
  unreachable

"761":                                            ; preds = %"23"
  unreachable

"763":                                            ; preds = %"23"
  unreachable

"764":                                            ; preds = %"23"
  unreachable

"765":                                            ; preds = %"23"
  br label %"766"

"766":                                            ; preds = %"765", %"23"
  unreachable

"768":                                            ; preds = %"23"
  unreachable

"769":                                            ; preds = %"23"
  unreachable

"770":                                            ; preds = %"23"
  unreachable

"771":                                            ; preds = %"23"
  unreachable

"777":                                            ; preds = %"23"
  unreachable

"778":                                            ; preds = %"23"
  unreachable

"779":                                            ; preds = %"23"
  unreachable

"780":                                            ; preds = %"23"
  unreachable

"821":                                            ; preds = %"23"
  unreachable

"826":                                            ; preds = %"23"
  unreachable

"831":                                            ; preds = %"23"
  unreachable

"832":                                            ; preds = %"23"
  unreachable

"833":                                            ; preds = %"23"
  unreachable

"836":                                            ; preds = %"23", %"23"
  unreachable

"886":                                            ; preds = %"23"
  unreachable

"905":                                            ; preds = %"23"
  unreachable

"978":                                            ; preds = %"23", %"23"
  unreachable

"1136":                                           ; preds = %"23"
  unreachable

"1166":                                           ; preds = %"23"
  unreachable

"1179":                                           ; preds = %"23"
  unreachable

"1201":                                           ; preds = %"23"
  unreachable

"1212":                                           ; preds = %"23", %"23"
  unreachable

"1274":                                           ; preds = %"23"
  unreachable

"1284":                                           ; preds = %"23", %"23"
  unreachable

"1346":                                           ; preds = %"23"
  unreachable

"1347":                                           ; preds = %"23"
  unreachable

"1348":                                           ; preds = %"23"
  unreachable

"1349":                                           ; preds = %"23"
  unreachable

"1350":                                           ; preds = %"23"
  unreachable

"1353":                                           ; preds = %"23", %"23", %"23"
  unreachable

"1355":                                           ; preds = %"23", %"23"
  unreachable

"1357":                                           ; preds = %"23", %"23"
  unreachable

"1358":                                           ; preds = %"23"
  unreachable

"1359":                                           ; preds = %"23"
  unreachable

"1374":                                           ; preds = %"23"
  unreachable

"1375":                                           ; preds = %"23"
  %1 = zext i8 undef to i32                       ; <i32> [#uses=1]
  br label %"23"

"1376":                                           ; preds = %"23"
  unreachable

"1377":                                           ; preds = %"23"
  unreachable

"1378":                                           ; preds = %"23"
  unreachable

"1379":                                           ; preds = %"23"
  unreachable

"1386":                                           ; preds = %"23"
  unreachable

"1394":                                           ; preds = %"23"
  unreachable

"1395":                                           ; preds = %"23"
  unreachable

"1425":                                           ; preds = %"23"
  unreachable

"1426":                                           ; preds = %"23"
  unreachable

"1440":                                           ; preds = %"23"
  unreachable

"1449":                                           ; preds = %"23"
  unreachable

"1455":                                           ; preds = %"23"
  unreachable

"1461":                                           ; preds = %"23"
  unreachable

"1471":                                           ; preds = %"23"
  unreachable

"1482":                                           ; preds = %"23"
  unreachable

"1484":                                           ; preds = %"23"
  unreachable

"1486":                                           ; preds = %"23"
  unreachable

"1489":                                           ; preds = %"23", %"23"
  unreachable

"1492":                                           ; preds = %"23"
  unreachable

"1494":                                           ; preds = %"23", %"23"
  unreachable

"1497":                                           ; preds = %"23"
  unreachable

"1499":                                           ; preds = %"23", %"23"
  unreachable

"1515":                                           ; preds = %"23"
  unreachable

"1546":                                           ; preds = %"23", %"23"
  unreachable

"1566":                                           ; preds = %"23"
  br i1 undef, label %"1569", label %"1568"

"1568":                                           ; preds = %"1566"
  unreachable

"1569":                                           ; preds = %"1566"
  unreachable

"1584":                                           ; preds = %"23"
  unreachable

"1587":                                           ; preds = %"23"
  unreachable

"1591":                                           ; preds = %"23"
  unreachable

"1605":                                           ; preds = %"23"
  unreachable

"1609":                                           ; preds = %"23", %"23"
  unreachable

"1640":                                           ; preds = %"23"
  unreachable

"1648":                                           ; preds = %"23"
  unreachable

"1651":                                           ; preds = %"23"
  unreachable

"1703":                                           ; preds = %"23"
  unreachable

"1710":                                           ; preds = %"23"
  unreachable

"1718":                                           ; preds = %"23"
  unreachable

"1724":                                           ; preds = %"23"
  unreachable

"1725":                                           ; preds = %"23"
  unreachable

"1726":                                           ; preds = %"23"
  unreachable

"1727":                                           ; preds = %"23"
  unreachable

"1728":                                           ; preds = %"23"
  unreachable

"1731":                                           ; preds = %"23"
  unreachable

"1732":                                           ; preds = %"23"
  unreachable

"1733":                                           ; preds = %"23"
  unreachable

"1734":                                           ; preds = %"23"
  unreachable

"1735":                                           ; preds = %"23"
  unreachable

"1741":                                           ; preds = %"23"
  unreachable

"1750":                                           ; preds = %"23"
  unreachable

"1752":                                           ; preds = %"23"
  unreachable

"1754":                                           ; preds = %"23"
  unreachable

"1755":                                           ; preds = %"23"
  unreachable

"1757":                                           ; preds = %"23"
  unreachable

"1759":                                           ; preds = %"23"
  unreachable

"1761":                                           ; preds = %"23"
  unreachable

"1764":                                           ; preds = %"23", %"23"
  %2 = icmp eq i32 %0, 168                        ; <i1> [#uses=0]
  unreachable

"1766":                                           ; preds = %"23"
  unreachable

"1768":                                           ; preds = %"23"
  unreachable

"1775":                                           ; preds = %"23", %"23"
  unreachable

"1781":                                           ; preds = %"23", %"23"
  unreachable

"1790":                                           ; preds = %"23"
  unreachable

"1827":                                           ; preds = %"23"
  unreachable

"1836":                                           ; preds = %"23", %"23"
  br label %"1862"

"1845":                                           ; preds = %"23", %"23"
  unreachable

"1848":                                           ; preds = %"23"
  unreachable

"1849":                                           ; preds = %"23"
  unreachable

"1851":                                           ; preds = %"23"
  unreachable

"1853":                                           ; preds = %"23"
  unreachable

"1856":                                           ; preds = %"23"
  unreachable

"1861":                                           ; preds = %"23", %"23"
  unreachable

"41":                                             ; preds = %"23", %"23"
  unreachable

"1862":                                           ; preds = %"1836", %"692"
  unreachable
}

; An exit for Loop L1 may be the header of a disjoint Loop L2.  Thus, when we
; create PHIs in one of such exits we are also inserting PHIs in L2 header. This
; could break LCSSA form for L2 because these inserted PHIs can also have uses
; in L2 exits. Test that we don't assert/crash on that.
define void @test1() {
; CHECK-LABEL: @test1
  br label %lab1

lab1:
  %tmp21 = add i32 undef, 677038203
  br i1 undef, label %lab2, label %exit

lab2:
  indirectbr i8* undef, [label %lab1, label %lab3]

lab3:
; CHECK: %tmp21.lcssa1 = phi i32 [ %tmp21.lcssa1, %lab4 ], [ %tmp21, %lab2 ]
  %tmp12 = phi i32 [ %tmp21, %lab2 ], [ %tmp12, %lab4 ]
  br i1 undef, label %lab5, label %lab4

lab4:
  br label %lab3

lab5:
; CHECK:  %tmp21.lcssa1.lcssa = phi i32 [ %tmp21.lcssa1, %lab3 ]
  %tmp15 = add i32 %tmp12, undef
  br label %exit

exit:
  ret void
}