1 ; RUN: llc -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 -print-after=localstackalloc <%s >%t 2>&1 && FileCheck <%t %s 2 3 ; Due to a bug in isFrameOffsetLegal we ended up with resolveFrameIndex creating 4 ; addresses with out-of-range displacements. Verify that this no longer happens. 5 ; CHECK-NOT: LD {{3276[8-9]}} 6 ; CHECK-NOT: LD {{327[7-9][0-9]}} 7 ; CHECK-NOT: LD {{32[8-9][0-9][0-9]}} 8 ; CHECK-NOT: LD {{3[3-9][0-9][0-9][0-9]}} 9 ; CHECK-NOT: LD {{[4-9][0-9][0-9][0-9][0-9]}} 10 ; CHECK-NOT: LD {{[1-9][0-9][0-9][0-9][0-9][0-9]+}} 11 12 target datalayout = "e-m:e-i64:64-n32:64" 13 target triple = "powerpc64le-unknown-linux-gnu" 14 15 %struct.S2760 = type { <2 x float>, %struct.anon, i32, [28 x i8] } 16 %struct.anon = type { [11 x %struct.anon.0], i64, [6 x { i64, i64 }], [24 x i8] } 17 %struct.anon.0 = type { [30 x %union.U4DI], i8, [0 x i16], [30 x i8] } 18 %union.U4DI = type { <4 x i64> } 19 20 @s2760 = external global %struct.S2760 21 @fails = external global i32 22 23 define void @check2760(%struct.S2760* noalias sret %agg.result, %struct.S2760* byval align 16, %struct.S2760* %arg1, %struct.S2760* byval align 16) { 24 entry: 25 %arg0 = alloca %struct.S2760, align 32 26 %arg2 = alloca %struct.S2760, align 32 27 %arg1.addr = alloca %struct.S2760*, align 8 28 %ret = alloca %struct.S2760, align 32 29 %b1 = alloca %struct.S2760, align 32 30 %b2 = alloca %struct.S2760, align 32 31 %2 = bitcast %struct.S2760* %arg0 to i8* 32 %3 = bitcast %struct.S2760* %0 to i8* 33 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %2, i8* %3, i64 11104, i32 16, i1 false) 34 %4 = bitcast %struct.S2760* %arg2 to i8* 35 %5 = bitcast %struct.S2760* %1 to i8* 36 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %4, i8* %5, i64 11104, i32 16, i1 false) 37 store %struct.S2760* %arg1, %struct.S2760** %arg1.addr, align 8 38 %6 = bitcast %struct.S2760* %ret to i8* 39 call void @llvm.memset.p0i8.i64(i8* %6, i8 0, i64 11104, i32 32, i1 false) 40 %7 = bitcast %struct.S2760* %b1 to i8* 41 call void @llvm.memset.p0i8.i64(i8* %7, i8 0, i64 11104, i32 32, i1 false) 42 %8 = bitcast %struct.S2760* %b2 to i8* 43 call void @llvm.memset.p0i8.i64(i8* %8, i8 0, i64 11104, i32 32, i1 false) 44 %b = getelementptr inbounds %struct.S2760, %struct.S2760* %arg0, i32 0, i32 1 45 %g = getelementptr inbounds %struct.anon, %struct.anon* %b, i32 0, i32 1 46 %9 = load i64, i64* %g, align 8 47 %10 = load i64, i64* getelementptr inbounds (%struct.S2760, %struct.S2760* @s2760, i32 0, i32 1, i32 1), align 8 48 %cmp = icmp ne i64 %9, %10 49 br i1 %cmp, label %if.then, label %if.end 50 51 if.then: ; preds = %entry 52 %11 = load i32, i32* @fails, align 4 53 %inc = add nsw i32 %11, 1 54 store i32 %inc, i32* @fails, align 4 55 br label %if.end 56 57 if.end: ; preds = %if.then, %entry 58 %12 = load i64, i64* getelementptr inbounds (%struct.S2760, %struct.S2760* @s2760, i32 0, i32 1, i32 1), align 8 59 %b3 = getelementptr inbounds %struct.S2760, %struct.S2760* %ret, i32 0, i32 1 60 %g4 = getelementptr inbounds %struct.anon, %struct.anon* %b3, i32 0, i32 1 61 store i64 %12, i64* %g4, align 8 62 %13 = bitcast %struct.S2760* %agg.result to i8* 63 %14 = bitcast %struct.S2760* %ret to i8* 64 call void @llvm.memcpy.p0i8.p0i8.i64(i8* %13, i8* %14, i64 11104, i32 32, i1 false) 65 ret void 66 } 67 68 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture readonly, i64, i32, i1) 69 70 declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) 71 72
