polly/test/CodeGen/phi_in_exit_early_lnt_failure_5.ll

   1 ; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s
   2 ;
   3 ; This caused an lnt crash at some point, just verify it will run through and
   4 ; produce the PHI node in the exit we are looking for.
   5 ;
   6 ; CHECK-LABEL: polly.merge_new_and_old:
   7 ; CHECK-NEXT:    %eps1.addr.0.ph.merge = phi double [ %eps1.addr.0.ph.final_reload, %polly.exiting ], [ %eps1.addr.0.ph, %if.end.47.region_exiting ]
   8 ; CHECK-NEXT:      br label %if.end.47
   9 ;
  10 ; CHECK-LABEL: if.end.47:
  11 ; CHECK-NEXT:        %eps1.addr.0 = phi double [ %eps1.addr.0.ph.merge, %polly.merge_new_and_old ]
  12 ;
  13 define void @dbisect(ptr %c, ptr %b, double %eps1, ptr %eps2) {
  14 entry:
  15   br label %entry.split
  16
  17 entry.split:                                      ; preds = %entry
  18   store double 0.000000e+00, ptr %b, align 8
  19   %0 = load double, ptr %c, align 8
  20   br i1 false, label %for.body.lr.ph, label %for.end
  21
  22 for.body.lr.ph:                                   ; preds = %entry.split
  23   br label %for.body
  24
  25 for.body:                                         ; preds = %for.inc, %for.body.lr.ph
  26   br i1 false, label %if.then, label %if.end
  27
  28 if.then:                                          ; preds = %for.body
  29   br label %if.end
  30
  31 if.end:                                           ; preds = %if.then, %for.body
  32   br i1 false, label %if.then.36, label %for.inc
  33
  34 if.then.36:                                       ; preds = %if.end
  35   br label %for.inc
  36
  37 for.inc:                                          ; preds = %if.then.36, %if.end
  38   br i1 false, label %for.body, label %for.cond.for.end_crit_edge
  39
  40 for.cond.for.end_crit_edge:                       ; preds = %for.inc
  41   br label %for.end
  42
  43 for.end:                                          ; preds = %for.cond.for.end_crit_edge, %entry.split
  44   store double undef, ptr %eps2, align 8
  45   %cmp45 = fcmp ugt double %eps1, 0.000000e+00
  46   br i1 %cmp45, label %if.end.47, label %if.then.46
  47
  48 if.then.46:                                       ; preds = %for.end
  49   br label %if.end.47
  50
  51 if.end.47:                                        ; preds = %if.then.46, %for.end
  52   %eps1.addr.0 = phi double [ undef, %if.then.46 ], [ %eps1, %for.end ]
  53   br i1 undef, label %if.then.55, label %for.cond.58.preheader
  54
  55 for.cond.58.preheader:                            ; preds = %if.end.47
  56   br i1 undef, label %for.end.68, label %for.body.61.lr.ph
  57
  58 for.body.61.lr.ph:                                ; preds = %for.cond.58.preheader
  59   br label %for.body.61
  60
  61 if.then.55:                                       ; preds = %if.end.47
  62   unreachable
  63
  64 for.body.61:                                      ; preds = %for.body.61, %for.body.61.lr.ph
  65   br i1 undef, label %for.body.61, label %for.cond.58.for.end.68_crit_edge
  66
  67 for.cond.58.for.end.68_crit_edge:                 ; preds = %for.body.61
  68   br label %for.end.68
  69
  70 for.end.68:                                       ; preds = %for.cond.58.for.end.68_crit_edge, %for.cond.58.preheader
  71   br i1 undef, label %for.end.137, label %for.cond.73.preheader.lr.ph
  72
  73 for.cond.73.preheader.lr.ph:                      ; preds = %for.end.68
  74   br label %for.cond.73.preheader
  75
  76 for.cond.73.preheader:                            ; preds = %while.end, %for.cond.73.preheader.lr.ph
  77   br i1 undef, label %for.end.87.loopexit, label %for.body.76.lr.ph
  78
  79 for.body.76.lr.ph:                                ; preds = %for.cond.73.preheader
  80   br label %for.body.76
  81
  82 for.body.76:                                      ; preds = %for.inc.85, %for.body.76.lr.ph
  83   br i1 undef, label %if.then.81, label %for.inc.85
  84
  85 if.then.81:                                       ; preds = %for.body.76
  86   br label %for.end.87
  87
  88 for.inc.85:                                       ; preds = %for.body.76
  89   br i1 undef, label %for.body.76, label %for.cond.73.for.end.87.loopexit_crit_edge
  90
  91 for.cond.73.for.end.87.loopexit_crit_edge:        ; preds = %for.inc.85
  92   br label %for.end.87.loopexit
  93
  94 for.end.87.loopexit:                              ; preds = %for.cond.73.for.end.87.loopexit_crit_edge, %for.cond.73.preheader
  95   br label %for.end.87
  96
  97 for.end.87:                                       ; preds = %for.end.87.loopexit, %if.then.81
  98   br i1 undef, label %if.then.92, label %if.end.95
  99
 100 if.then.92:                                       ; preds = %for.end.87
 101   br label %if.end.95
 102
 103 if.end.95:                                        ; preds = %if.then.92, %for.end.87
 104   br i1 undef, label %while.body.lr.ph, label %while.end
 105
 106 while.body.lr.ph:                                 ; preds = %if.end.95
 107   br label %while.body
 108
 109 while.body:                                       ; preds = %if.end.128, %while.body.lr.ph
 110   br i1 undef, label %if.then.109, label %if.end.128
 111
 112 if.then.109:                                      ; preds = %while.body
 113   br i1 undef, label %if.then.112, label %if.else
 114
 115 if.then.112:                                      ; preds = %if.then.109
 116   br label %if.end.128
 117
 118 if.else:                                          ; preds = %if.then.109
 119   br i1 undef, label %if.then.122, label %if.end.128
 120
 121 if.then.122:                                      ; preds = %if.else
 122   br label %if.end.128
 123
 124 if.end.128:                                       ; preds = %if.then.122, %if.else, %if.then.112, %while.body
 125   br i1 undef, label %while.body, label %while.cond.while.end_crit_edge
 126
 127 while.cond.while.end_crit_edge:                   ; preds = %if.end.128
 128   br label %while.end
 129
 130 while.end:                                        ; preds = %while.cond.while.end_crit_edge, %if.end.95
 131   br i1 undef, label %for.cond.73.preheader, label %for.cond.69.for.end.137_crit_edge
 132
 133 for.cond.69.for.end.137_crit_edge:                ; preds = %while.end
 134   br label %for.end.137
 135
 136 for.end.137:                                      ; preds = %for.cond.69.for.end.137_crit_edge, %for.end.68
 137   ret void
 138 }