test/Analysis/MemorySSA/pr42294.ll

   1 ; REQUIRES: asserts
   2 ; RUN: opt -loop-rotate -licm %s -disable-output -enable-mssa-loop-dependency=true -debug-only=licm 2>&1 | FileCheck %s -check-prefix=LICM
   3 ; RUN: opt -loop-rotate -licm %s -disable-output -enable-mssa-loop-dependency=false -debug-only=licm 2>&1 | FileCheck %s -check-prefix=LICM
   4 ; RUN: opt -loop-rotate -licm %s -S -enable-mssa-loop-dependency=true  | FileCheck %s
   5 ; RUN: opt -loop-rotate -licm %s -S -enable-mssa-loop-dependency=false | FileCheck %s
   6
   7 ; LICM: Using
   8 ; LICM-NOT: LICM sinking instruction:   %.pre = load i8, i8* %arrayidx.phi.trans.insert
   9
  10 ; CHECK-LABEL: @fn1
  11 ; CHECK-LABEL: entry:
  12 ; CHECK:    br i1 true, label %[[END:.*]], label %[[PH:.*]]
  13 ; CHECK: [[PH]]:
  14 ; CHECK:    br label %[[CRIT:.*]]
  15 ; CHECK: [[CRIT]]:
  16 ; CHECK:    load i8
  17 ; CHECK:    store i8
  18 ; CHECK:    br i1 true, label %[[ENDCRIT:.*]], label %[[CRIT]]
  19 ; CHECK: [[ENDCRIT]]:
  20 ; CHECK-NOT: load i8
  21 ; CHECK:    br label %[[END]]
  22
  23 target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-a:8:16-n32:64"
  24 target triple = "s390x-unknown-linux-gnu"
  25
  26 define void @fn1() {
  27 entry:
  28   %g = alloca [9 x i8], align 1
  29   br label %for.body
  30
  31 for.body:                                         ; preds = %for.body.for.body_crit_edge, %entry
  32   %0 = phi i64 [ 0, %entry ], [ %phitmp, %for.body.for.body_crit_edge ]
  33   %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body.for.body_crit_edge ]
  34   %arrayidx = getelementptr inbounds [9 x i8], [9 x i8]* %g, i64 0, i64 %indvars.iv
  35   store i8 2, i8* %arrayidx, align 1
  36   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  37   br i1 undef, label %for.end18, label %for.body.for.body_crit_edge
  38
  39 for.body.for.body_crit_edge:                      ; preds = %for.body
  40   %arrayidx.phi.trans.insert = getelementptr inbounds [9 x i8], [9 x i8]* %g, i64 0, i64 %indvars.iv.next
  41   %.pre = load i8, i8* %arrayidx.phi.trans.insert, align 1
  42   %phitmp = zext i8 %.pre to i64
  43   br label %for.body
  44
  45 for.end18:                                        ; preds = %for.body
  46   store i64 %0, i64* undef, align 8
  47   ret void
  48 }
  49