; 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" ] ; [#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 ; [#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 ; [#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 }