Home | History | Annotate | Download | only in ScalarEvolution
      1 ; RUN: opt -loop-reduce -S < %s | FileCheck %s
      2 ; PR18000
      3 
      4 target datalayout = "e-i64:64-f80:128-s:64-n8:16:32:64-S128"
      5 target triple = "x86_64-unknown-linux-gnu"
      6 
      7 @a = global i32 0, align 4
      8 @b = common global i32 0, align 4
      9 @e = common global i8 0, align 1
     10 @d = common global i32 0, align 4
     11 @c = common global i32 0, align 4
     12 @.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
     13 
     14 ; Function Attrs: nounwind optsize uwtable
     15 ; CHECK-LABEL: foo
     16 define i32 @foo() {
     17 entry:
     18   %.pr = load i32* @b, align 4
     19   %cmp10 = icmp slt i32 %.pr, 1
     20   br i1 %cmp10, label %for.cond1.preheader.lr.ph, label %entry.for.end9_crit_edge
     21 
     22 entry.for.end9_crit_edge:                         ; preds = %entry
     23   %.pre = load i32* @c, align 4
     24   br label %for.end9
     25 
     26 for.cond1.preheader.lr.ph:                        ; preds = %entry
     27   %0 = load i32* @a, align 4
     28   %tobool = icmp eq i32 %0, 0
     29   br i1 %tobool, label %for.cond1.preheader.for.cond1.preheader.split_crit_edge, label %return.loopexit.split
     30 
     31 for.cond1.preheader.for.cond1.preheader.split_crit_edge: ; preds = %for.cond1.preheader.lr.ph, %for.inc8
     32   %1 = phi i32 [ %inc, %for.inc8 ], [ %.pr, %for.cond1.preheader.lr.ph ]
     33   br label %if.end
     34 
     35 ; CHECK-LABEL: if.end
     36 if.end:                                           ; preds = %if.end, %for.cond1.preheader.for.cond1.preheader.split_crit_edge
     37 
     38 ; CHECK: %lsr.iv = phi i32 [ %lsr.iv.next, %if.end ], [ 258, %for.cond1.preheader.for.cond1.preheader.split_crit_edge ]
     39   %indvars.iv = phi i32 [ 1, %for.cond1.preheader.for.cond1.preheader.split_crit_edge ], [ %indvars.iv.next, %if.end ]
     40 
     41   %2 = phi i8 [ 1, %for.cond1.preheader.for.cond1.preheader.split_crit_edge ], [ %dec, %if.end ]
     42   %conv7 = mul i32 %indvars.iv, 258
     43   %shl = and i32 %conv7, 510
     44   store i32 %shl, i32* @c, align 4
     45 
     46 ; CHECK: %lsr.iv.next = add i32 %lsr.iv, -258
     47   %dec = add i8 %2, -1
     48 
     49   %cmp2 = icmp sgt i8 %dec, -1
     50   %indvars.iv.next = add i32 %indvars.iv, -1
     51   br i1 %cmp2, label %if.end, label %for.inc8
     52 
     53 for.inc8:                                         ; preds = %if.end
     54   store i32 0, i32* @d, align 4
     55   %inc = add nsw i32 %1, 1
     56   store i32 %inc, i32* @b, align 4
     57   %cmp = icmp slt i32 %1, 0
     58   br i1 %cmp, label %for.cond1.preheader.for.cond1.preheader.split_crit_edge, label %for.cond.for.end9_crit_edge
     59 
     60 for.cond.for.end9_crit_edge:                      ; preds = %for.inc8
     61   store i8 %dec, i8* @e, align 1
     62   br label %for.end9
     63 
     64 for.end9:                                         ; preds = %entry.for.end9_crit_edge, %for.cond.for.end9_crit_edge
     65   %3 = phi i32 [ %.pre, %entry.for.end9_crit_edge ], [ %shl, %for.cond.for.end9_crit_edge ]
     66   %call = tail call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.str, i64 0, i64 0), i32 %3) #2
     67   br label %return
     68 
     69 return.loopexit.split:                            ; preds = %for.cond1.preheader.lr.ph
     70   store i8 1, i8* @e, align 1
     71   store i32 0, i32* @d, align 4
     72   br label %return
     73 
     74 return:                                           ; preds = %return.loopexit.split, %for.end9
     75   %retval.0 = phi i32 [ 0, %for.end9 ], [ 1, %return.loopexit.split ]
     76   ret i32 %retval.0
     77 }
     78 
     79 ; Function Attrs: nounwind optsize
     80 declare i32 @printf(i8* nocapture readonly, ...)
     81 
     82