1; RUN: opt -S -analyze -scalar-evolution -loop-deletion -scalar-evolution < %s | FileCheck %s --check-prefix=SCEV-EXPRS 2; RUN: opt -S -loop-deletion < %s | FileCheck %s --check-prefix=IR-AFTER-TRANSFORM 3; RUN: opt -S -indvars -loop-deletion -indvars < %s | FileCheck %s --check-prefix=ORIGINAL-CRASH 4 5; Checking for a crash. Loop-deletion would change the loop 6; disposition of an instruction, but not update SCEV. 7 8target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" 9target triple = "x86_64-apple-macosx10.11.0" 10 11define void @pr27570() { 12; IR-AFTER-TRANSFORM-LABEL: @pr27570( 13; ORIGINAL-CRASH: @pr27570( 14entry: 15 br label %for.cond 16 17for.cond: ; preds = %for.cond14, %entry 18 %f.0 = phi i32 [ 20, %entry ], [ 0, %for.cond14 ] 19 br label %for.body 20 21for.body: ; preds = %for.inc11, %for.cond 22; IR-AFTER-TRANSFORM: for.body: 23; IR-AFTER-TRANSFORM: %cmp = icmp eq i32 %val, -1 24; IR-AFTER-TRANSFORM: %conv7 = zext i1 %cmp to i32 25; IR-AFTER-TRANSFORM: for.body6: 26 27; SCEV-EXPRS: %conv7 = zext i1 %cmp to i32 28; SCEV-EXPRS: %conv7 = zext i1 %cmp to i32 29; SCEV-EXPRS-NEXT: --> {{.*}} LoopDispositions: { %for.body: Variant, %for.cond: Variant, %for.body6: Invariant } 30 %val = phi i32 [ -20, %for.cond ], [ %inc12, %for.inc11 ] 31 %g.040 = phi i32 [ -20, %for.cond ], [ %and.lcssa, %for.inc11 ] 32 br label %for.body6 33 34for.body6: ; preds = %for.body6, %for.body 35 %h.039 = phi i32 [ 1, %for.body ], [ %inc, %for.body6 ] 36 %g.138 = phi i32 [ %g.040, %for.body ], [ %and, %for.body6 ] 37 %cmp = icmp eq i32 %val, -1 38 %conv7 = zext i1 %cmp to i32 39 %add.i = add nsw i32 %conv7, %h.039 40 %sext = shl i32 %add.i, 24 41 %conv8 = ashr exact i32 %sext, 24 42 %cmp9 = icmp eq i32 %conv8, %f.0 43 %conv10 = zext i1 %cmp9 to i32 44 %and = and i32 %conv10, %g.138 45 %inc = add i32 %h.039, 1 46 br i1 undef, label %for.inc11, label %for.body6 47 48for.inc11: ; preds = %for.body6 49 %and.lcssa = phi i32 [ %and, %for.body6 ] 50 %inc12 = add nsw i32 %val, 1 51 %tobool = icmp eq i32 %inc12, 0 52 br i1 %tobool, label %for.cond14, label %for.body 53 54for.cond14: ; preds = %for.cond14, %for.inc11 55 br i1 undef, label %for.cond, label %for.cond14 56} 57