test/Transforms/IndVarSimplify/pr24956.ll

   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 }