test/Transforms/IndVarSimplify/pr26974.ll

   1 ; RUN: opt -indvars  -S < %s | FileCheck %s
   2
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4
   5 ; indvars will try to replace %b.0.lcssa with %t.1. If it does this,
   6 ; it will break LCSSA.
   7
   8 @c = external global i32, align 4
   9
  10 ; CHECK-LABEL: @fn1
  11 define void @fn1() {
  12 entry:
  13   br label %for.body
  14
  15 for.cond1.preheader:                              ; preds = %for.body
  16   %0 = load i32, i32* @c, align 4
  17   br i1 undef, label %for.cond1.us.preheader, label %for.cond1
  18
  19 for.cond1.us.preheader:                           ; preds = %for.cond1.preheader
  20   br label %for.cond1.us
  21
  22 for.cond1.us:                                     ; preds = %for.cond1.us, %for.cond1.us.preheader
  23   br label %for.cond1.us
  24
  25 for.body:                                         ; preds = %for.body, %entry
  26   br i1 undef, label %for.body, label %for.cond1.preheader
  27
  28 for.cond1:                                        ; preds = %for.cond1.preheader
  29   br i1 true, label %for.body9.lr.ph, label %for.cond13.preheader
  30
  31 for.body9.lr.ph:                                  ; preds = %for.cond1
  32   br i1 undef, label %for.body9.us.preheader, label %for.body9
  33
  34 for.body9.us.preheader:                           ; preds = %for.body9.lr.ph
  35   br label %for.body9.us
  36
  37 for.body9.us:                                     ; preds = %for.body9.us, %for.body9.us.preheader
  38   br label %for.body9.us
  39
  40 for.cond13.preheader:                             ; preds = %for.body9, %for.cond1
  41   %b.0.lcssa = phi i32 [ %0, %for.body9 ], [ 0, %for.cond1 ]
  42   br label %for.cond13
  43
  44 for.body9:                                        ; preds = %for.body9.lr.ph
  45   br label %for.cond13.preheader
  46
  47 for.cond13:                                       ; preds = %for.cond13, %for.cond13.preheader
  48   %d.1 = phi i32 [ %t.1, %for.cond13 ], [ %0, %for.cond13.preheader ]
  49   %t.1 = phi i32 [ %b.0.lcssa, %for.cond13 ], [ %0, %for.cond13.preheader ]
  50   br i1 undef, label %for.cond18.preheader, label %for.cond13
  51
  52 for.cond18.preheader:                             ; preds = %for.cond13
  53   br label %for.cond18
  54
  55 for.cond18:                                       ; preds = %for.cond18, %for.cond18.preheader
  56   %b.1 = phi i32 [ %xor, %for.cond18 ], [ %b.0.lcssa, %for.cond18.preheader ]
  57   %add = add nsw i32 %b.1, %d.1
  58   %xor = xor i32 %add, %b.1
  59   br label %for.cond18
  60 }