1; REQUIRES: asserts 2; RUN: opt -loop-reduce -debug-only=loop-reduce -S < %s 2>&1 | FileCheck %s 3 4target datalayout = "e-m:e-i64:64-n32:64" 5target triple = "powerpc64le-unknown-linux-gnu" 6 7; CHECK: LSR Use: Kind=Address 8; CHECK: LSR Use: Kind=Address 9; CHECK-NOT: LSR Use: Kind=Basic 10; CHECK-NOT: LSR Use: Kind=Basic 11 12declare <4 x i32> @llvm.ppc.altivec.lvx(ptr) 13declare void @llvm.ppc.altivec.stvx(<4 x i32>, ptr) 14 15; Function Attrs: nofree norecurse nounwind 16define void @foo(ptr %0, ptr %1, i32 signext %2) { 17 %4 = icmp sgt i32 %2, 0 18 br i1 %4, label %5, label %7 19 205: ; preds = %3 21 %6 = zext i32 %2 to i64 22 br label %8 23 247: ; preds = %8, %3 25 ret void 26 278: ; preds = %5, %8 28 %9 = phi i64 [ 0, %5 ], [ %15, %8 ] 29 %10 = getelementptr inbounds <4 x i32>, ptr %1, i64 %9 30 %11 = bitcast ptr %10 to ptr 31 %12 = call <4 x i32> @llvm.ppc.altivec.lvx(ptr %11) 32 %13 = getelementptr inbounds <4 x i32>, ptr %0, i64 %9 33 %14 = bitcast ptr %13 to ptr 34 call void @llvm.ppc.altivec.stvx(<4 x i32> %12, ptr %14) 35 %15 = add nuw nsw i64 %9, 10 36 %16 = icmp ult i64 %15, %6 37 br i1 %16, label %8, label %7 38} 39