llvm/test/Transforms/IndVarSimplify/const_phi.ll

   1 ; RUN: opt < %s -passes=indvars -S | FileCheck %s
   2
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4
   5 ; PR25372
   6 ; We can compute the expression of %phi0 and that is a SCEV
   7 ; constant. However, instcombine can't deduce this, so we can
   8 ; potentially end up trying to handle a constant when replacing
   9 ; congruent IVs.
  10
  11 ; CHECK-LABEL: crash
  12 define void @crash(i1 %arg) {
  13 entry:
  14   br i1 false, label %not_taken, label %pre
  15
  16 not_taken:
  17   br label %pre
  18
  19 pre:
  20 ; %phi0.pre and %phi1.pre are evaluated by SCEV to constant 0.
  21   %phi0.pre = phi i32 [ 0, %entry ], [ 2, %not_taken ]
  22   %phi1.pre = phi i32 [ 0, %entry ], [ 1, %not_taken ]
  23   br label %loop
  24
  25 loop:
  26 ; %phi0 and %phi1 are evaluated by SCEV to constant 0.
  27   %phi0 = phi i32 [ 0, %loop ], [ %phi0.pre, %pre ]
  28   %phi1 = phi i32 [ 0, %loop ], [ %phi1.pre, %pre ]
  29   br i1 %arg, label %exit, label %loop
  30
  31 exit:
  32   ret void
  33 }