1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146
|
; RUN: llc < %s
; PR6363
;
; This test case creates a phi join register with a single definition. The other
; predecessor blocks are implicit-def.
;
; If LiveIntervalAnalysis fails to recognize this as a phi join, the coalescer
; will detect an infinity valno loop.
;
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
target triple = "x86_64-unknown-linux-gnu"
define i32 @decode(ptr nocapture %input, i32 %offset, ptr nocapture %output) nounwind {
entry:
br i1 undef, label %meshBB86, label %meshBB102
bb: ; preds = %meshBB106, %meshBB102
br i1 false, label %bb9, label %meshBB90
bb.nph: ; preds = %meshBB90
br label %meshBB114
bb.nph.fragment: ; preds = %meshBB114
br label %meshBB118
bb1.fragment: ; preds = %meshBB118
br i1 false, label %bb2, label %bb3
bb2: ; preds = %bb1.fragment
br label %meshBB74
bb2.fragment15: ; preds = %meshBB74
br label %meshBB98
bb3: ; preds = %bb1.fragment
br i1 undef, label %meshBB, label %meshBB102
bb4: ; preds = %meshBB
br label %meshBB118
bb4.fragment: ; preds = %meshBB118
br label %meshBB82
bb5: ; preds = %meshBB102, %meshBB82
br i1 false, label %bb6, label %bb7
bb6: ; preds = %bb5
br label %bb7
bb7: ; preds = %meshBB98, %bb6, %bb5
br label %meshBB114
bb7.fragment: ; preds = %meshBB114
br i1 undef, label %meshBB74, label %bb9
bb9: ; preds = %bb7.fragment, %bb
br label %bb1.i23
bb1.i23: ; preds = %meshBB110, %bb9
br i1 undef, label %meshBB106, label %meshBB110
skip_to_newline.exit26: ; preds = %meshBB106
br label %meshBB86
skip_to_newline.exit26.fragment: ; preds = %meshBB86
br i1 false, label %meshBB90, label %meshBB106
bb11.fragment: ; preds = %meshBB90, %meshBB86
br label %meshBB122
bb1.i: ; preds = %meshBB122, %meshBB
%ooffset.2.lcssa.phi.SV.phi203 = phi i32 [ 0, %meshBB122 ], [ %ooffset.2.lcssa.phi.SV.phi233, %meshBB ] ; <i32> [#uses=1]
br label %meshBB98
bb1.i.fragment: ; preds = %meshBB98
br i1 undef, label %meshBB78, label %meshBB
skip_to_newline.exit: ; preds = %meshBB78
br i1 undef, label %bb12, label %meshBB110
bb12: ; preds = %skip_to_newline.exit
br label %meshBB94
bb12.fragment: ; preds = %meshBB94
br i1 false, label %bb13, label %meshBB78
bb13: ; preds = %bb12.fragment
br label %meshBB82
bb13.fragment: ; preds = %meshBB82
br i1 undef, label %meshBB94, label %meshBB122
bb14: ; preds = %meshBB94
ret i32 %ooffset.2.lcssa.phi.SV.phi250
bb15: ; preds = %meshBB122, %meshBB110, %meshBB78
unreachable
meshBB: ; preds = %bb1.i.fragment, %bb3
%ooffset.2.lcssa.phi.SV.phi233 = phi i32 [ undef, %bb3 ], [ %ooffset.2.lcssa.phi.SV.phi209, %bb1.i.fragment ] ; <i32> [#uses=1]
br i1 undef, label %bb1.i, label %bb4
meshBB74: ; preds = %bb7.fragment, %bb2
br i1 false, label %meshBB118, label %bb2.fragment15
meshBB78: ; preds = %bb12.fragment, %bb1.i.fragment
%ooffset.2.lcssa.phi.SV.phi239 = phi i32 [ %ooffset.2.lcssa.phi.SV.phi209, %bb1.i.fragment ], [ %ooffset.2.lcssa.phi.SV.phi250, %bb12.fragment ] ; <i32> [#uses=1]
br i1 false, label %bb15, label %skip_to_newline.exit
meshBB82: ; preds = %bb13, %bb4.fragment
br i1 false, label %bb5, label %bb13.fragment
meshBB86: ; preds = %skip_to_newline.exit26, %entry
br i1 undef, label %skip_to_newline.exit26.fragment, label %bb11.fragment
meshBB90: ; preds = %skip_to_newline.exit26.fragment, %bb
br i1 false, label %bb11.fragment, label %bb.nph
meshBB94: ; preds = %bb13.fragment, %bb12
%ooffset.2.lcssa.phi.SV.phi250 = phi i32 [ 0, %bb13.fragment ], [ %ooffset.2.lcssa.phi.SV.phi239, %bb12 ] ; <i32> [#uses=2]
br i1 false, label %bb12.fragment, label %bb14
meshBB98: ; preds = %bb1.i, %bb2.fragment15
%ooffset.2.lcssa.phi.SV.phi209 = phi i32 [ undef, %bb2.fragment15 ], [ %ooffset.2.lcssa.phi.SV.phi203, %bb1.i ] ; <i32> [#uses=2]
br i1 undef, label %bb1.i.fragment, label %bb7
meshBB102: ; preds = %bb3, %entry
br i1 undef, label %bb5, label %bb
meshBB106: ; preds = %skip_to_newline.exit26.fragment, %bb1.i23
br i1 undef, label %bb, label %skip_to_newline.exit26
meshBB110: ; preds = %skip_to_newline.exit, %bb1.i23
br i1 false, label %bb15, label %bb1.i23
meshBB114: ; preds = %bb7, %bb.nph
%meshStackVariable115.phi = phi i32 [ 19, %bb7 ], [ 8, %bb.nph ] ; <i32> [#uses=0]
br i1 undef, label %bb.nph.fragment, label %bb7.fragment
meshBB118: ; preds = %meshBB74, %bb4, %bb.nph.fragment
%meshCmp121 = icmp eq i32 undef, 10 ; <i1> [#uses=1]
br i1 %meshCmp121, label %bb4.fragment, label %bb1.fragment
meshBB122: ; preds = %bb13.fragment, %bb11.fragment
br i1 false, label %bb1.i, label %bb15
}
|