| Ulrich Weigand | ea147a9 | 2014-07-11 17:19:31 +0000 | [diff] [blame] | 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* %arg0, i32 0, i32 1 |
| 45 | %g = getelementptr inbounds %struct.anon* %b, i32 0, i32 1 |
| 46 | %9 = load i64* %g, align 8 |
| 47 | %10 = load i64* getelementptr inbounds (%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* @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* getelementptr inbounds (%struct.S2760* @s2760, i32 0, i32 1, i32 1), align 8 |
| 59 | %b3 = getelementptr inbounds %struct.S2760* %ret, i32 0, i32 1 |
| 60 | %g4 = getelementptr inbounds %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 | |