Home | History | Annotate | Download | only in IndVarSimplify
      1 ; RUN: opt -S -indvars < %s | FileCheck %s
      2 
      3 ; Check that this test does not crash.
      4 
      5 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
      6 target triple = "x86_64-apple-macosx10.10.0"
      7 
      8 define void @re_update_line(i8* %new) {
      9 ; CHECK: @re_update_line(
     10 entry:
     11   %incdec.ptr6 = getelementptr inbounds i8, i8* %new, i64 1
     12   br label %for.cond.11.preheader
     13 
     14 for.cond.11.preheader:                            ; preds = %for.inc.26, %entry
     15   %n.154 = phi i8* [ %new, %entry ], [ %incdec.ptr27, %for.inc.26 ]
     16   %cmp12.52 = icmp ult i8* %n.154, %incdec.ptr6
     17   br i1 %cmp12.52, label %land.rhs.16.lr.ph, label %for.inc.26
     18 
     19 land.rhs.16.lr.ph:                                ; preds = %for.cond.11.preheader
     20   br label %land.rhs.16
     21 
     22 for.cond.11:                                      ; preds = %land.rhs.16
     23   %incdec.ptr24 = getelementptr inbounds i8, i8* %p.053, i64 1
     24   %cmp12 = icmp ult i8* %p.053, %new
     25   br i1 %cmp12, label %land.rhs.16, label %for.inc.26
     26 
     27 land.rhs.16:                                      ; preds = %for.cond.11, %land.rhs.16.lr.ph
     28   %p.053 = phi i8* [ %n.154, %land.rhs.16.lr.ph ], [ %incdec.ptr24, %for.cond.11 ]
     29   br i1 undef, label %for.cond.11, label %for.inc.26
     30 
     31 for.inc.26:                                       ; preds = %land.rhs.16, %for.cond.11, %for.cond.11.preheader
     32   %incdec.ptr27 = getelementptr inbounds i8, i8* %n.154, i64 1
     33   br i1 false, label %for.cond.11.preheader, label %for.end.28
     34 
     35 for.end.28:                                       ; preds = %for.inc.26
     36   ret void
     37 }
     38