1 ; RUN: opt < %s -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() { 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 undef, label %exit, label %loop 30 31 exit: 32 ret void 33 } 34
