test/CodeGen/X86/2010-02-23-SingleDefPhiJoin.ll

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