test/Transforms/LoopDeletion/update-scev.ll

   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
   8 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   9 target triple = "x86_64-apple-macosx10.11.0"
  10
  11 define void @pr27570() {
  12 ; IR-AFTER-TRANSFORM-LABEL: @pr27570(
  13 ; ORIGINAL-CRASH: @pr27570(
  14 entry:
  15   br label %for.cond
  16
  17 for.cond:                                         ; preds = %for.cond14, %entry
  18   %f.0 = phi i32 [ 20, %entry ], [ 0, %for.cond14 ]
  19   br label %for.body
  20
  21 for.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
  34 for.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
  48 for.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
  54 for.cond14:                                       ; preds = %for.cond14, %for.inc11
  55   br i1 undef, label %for.cond, label %for.cond14
  56 }