test/CodeGen/PowerPC/structsinregs.ll

   1 ; RUN: llc -O0 -disable-fp-elim < %s | FileCheck %s
   2 target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v128:128:128-n32:64"
   3 target triple = "powerpc64-unknown-linux-gnu"
   4
   5 %struct.s1 = type { i8 }
   6 %struct.s2 = type { i16 }
   7 %struct.s4 = type { i32 }
   8 %struct.t1 = type { i8 }
   9 %struct.t3 = type <{ i16, i8 }>
  10 %struct.t5 = type <{ i32, i8 }>
  11 %struct.t6 = type <{ i32, i16 }>
  12 %struct.t7 = type <{ i32, i16, i8 }>
  13 %struct.s3 = type { i16, i8 }
  14 %struct.s5 = type { i32, i8 }
  15 %struct.s6 = type { i32, i16 }
  16 %struct.s7 = type { i32, i16, i8 }
  17 %struct.t2 = type <{ i16 }>
  18 %struct.t4 = type <{ i32 }>
  19
  20 @caller1.p1 = private unnamed_addr constant %struct.s1 { i8 1 }, align 1
  21 @caller1.p2 = private unnamed_addr constant %struct.s2 { i16 2 }, align 2
  22 @caller1.p3 = private unnamed_addr constant { i16, i8, i8 } { i16 4, i8 8, i8 undef }, align 2
  23 @caller1.p4 = private unnamed_addr constant %struct.s4 { i32 16 }, align 4
  24 @caller1.p5 = private unnamed_addr constant { i32, i8, [3 x i8] } { i32 32, i8 64, [3 x i8] undef }, align 4
  25 @caller1.p6 = private unnamed_addr constant { i32, i16, [2 x i8] } { i32 128, i16 256, [2 x i8] undef }, align 4
  26 @caller1.p7 = private unnamed_addr constant { i32, i16, i8, i8 } { i32 512, i16 1024, i8 -3, i8 undef }, align 4
  27 @caller2.p1 = private unnamed_addr constant %struct.t1 { i8 1 }, align 1
  28 @caller2.p2 = private unnamed_addr constant { i16 } { i16 2 }, align 1
  29 @caller2.p3 = private unnamed_addr constant %struct.t3 <{ i16 4, i8 8 }>, align 1
  30 @caller2.p4 = private unnamed_addr constant { i32 } { i32 16 }, align 1
  31 @caller2.p5 = private unnamed_addr constant %struct.t5 <{ i32 32, i8 64 }>, align 1
  32 @caller2.p6 = private unnamed_addr constant %struct.t6 <{ i32 128, i16 256 }>, align 1
  33 @caller2.p7 = private unnamed_addr constant %struct.t7 <{ i32 512, i16 1024, i8 -3 }>, align 1
  34
  35 define i32 @caller1() nounwind {
  36 entry:
  37   %p1 = alloca %struct.s1, align 1
  38   %p2 = alloca %struct.s2, align 2
  39   %p3 = alloca %struct.s3, align 2
  40   %p4 = alloca %struct.s4, align 4
  41   %p5 = alloca %struct.s5, align 4
  42   %p6 = alloca %struct.s6, align 4
  43   %p7 = alloca %struct.s7, align 4
  44   %0 = bitcast %struct.s1* %p1 to i8*
  45   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %0, i8* getelementptr inbounds (%struct.s1* @caller1.p1, i32 0, i32 0), i64 1, i32 1, i1 false)
  46   %1 = bitcast %struct.s2* %p2 to i8*
  47   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %1, i8* bitcast (%struct.s2* @caller1.p2 to i8*), i64 2, i32 2, i1 false)
  48   %2 = bitcast %struct.s3* %p3 to i8*
  49   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %2, i8* bitcast ({ i16, i8, i8 }* @caller1.p3 to i8*), i64 4, i32 2, i1 false)
  50   %3 = bitcast %struct.s4* %p4 to i8*
  51   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %3, i8* bitcast (%struct.s4* @caller1.p4 to i8*), i64 4, i32 4, i1 false)
  52   %4 = bitcast %struct.s5* %p5 to i8*
  53   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %4, i8* bitcast ({ i32, i8, [3 x i8] }* @caller1.p5 to i8*), i64 8, i32 4, i1 false)
  54   %5 = bitcast %struct.s6* %p6 to i8*
  55   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %5, i8* bitcast ({ i32, i16, [2 x i8] }* @caller1.p6 to i8*), i64 8, i32 4, i1 false)
  56   %6 = bitcast %struct.s7* %p7 to i8*
  57   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %6, i8* bitcast ({ i32, i16, i8, i8 }* @caller1.p7 to i8*), i64 8, i32 4, i1 false)
  58   %call = call i32 @callee1(%struct.s1* byval %p1, %struct.s2* byval %p2, %struct.s3* byval %p3, %struct.s4* byval %p4, %struct.s5* byval %p5, %struct.s6* byval %p6, %struct.s7* byval %p7)
  59   ret i32 %call
  60
  61 ; CHECK: ld 9, 128(31)
  62 ; CHECK: ld 8, 136(31)
  63 ; CHECK: ld 7, 144(31)
  64 ; CHECK: lwz 6, 152(31)
  65 ; CHECK: lwz 5, 160(31)
  66 ; CHECK: lhz 4, 168(31)
  67 ; CHECK: lbz 3, 176(31)
  68 }
  69
  70 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind
  71
  72 define internal i32 @callee1(%struct.s1* byval %v1, %struct.s2* byval %v2, %struct.s3* byval %v3, %struct.s4* byval %v4, %struct.s5* byval %v5, %struct.s6* byval %v6, %struct.s7* byval %v7) nounwind {
  73 entry:
  74   %a = getelementptr inbounds %struct.s1* %v1, i32 0, i32 0
  75   %0 = load i8* %a, align 1
  76   %conv = zext i8 %0 to i32
  77   %a1 = getelementptr inbounds %struct.s2* %v2, i32 0, i32 0
  78   %1 = load i16* %a1, align 2
  79   %conv2 = sext i16 %1 to i32
  80   %add = add nsw i32 %conv, %conv2
  81   %a3 = getelementptr inbounds %struct.s3* %v3, i32 0, i32 0
  82   %2 = load i16* %a3, align 2
  83   %conv4 = sext i16 %2 to i32
  84   %add5 = add nsw i32 %add, %conv4
  85   %a6 = getelementptr inbounds %struct.s4* %v4, i32 0, i32 0
  86   %3 = load i32* %a6, align 4
  87   %add7 = add nsw i32 %add5, %3
  88   %a8 = getelementptr inbounds %struct.s5* %v5, i32 0, i32 0
  89   %4 = load i32* %a8, align 4
  90   %add9 = add nsw i32 %add7, %4
  91   %a10 = getelementptr inbounds %struct.s6* %v6, i32 0, i32 0
  92   %5 = load i32* %a10, align 4
  93   %add11 = add nsw i32 %add9, %5
  94   %a12 = getelementptr inbounds %struct.s7* %v7, i32 0, i32 0
  95   %6 = load i32* %a12, align 4
  96   %add13 = add nsw i32 %add11, %6
  97   ret i32 %add13
  98
  99 ; CHECK: std 9, 96(1)
 100 ; CHECK: std 8, 88(1)
 101 ; CHECK: std 7, 80(1)
 102 ; CHECK: stw 6, 72(1)
 103 ; CHECK: stw 5, 64(1)
 104 ; CHECK: sth 4, 58(1)
 105 ; CHECK: stb 3, 51(1)
 106 ; CHECK: lha {{[0-9]+}}, 58(1)
 107 ; CHECK: lbz {{[0-9]+}}, 51(1)
 108 ; CHECK: lha {{[0-9]+}}, 64(1)
 109 ; CHECK: lwz {{[0-9]+}}, 72(1)
 110 ; CHECK: lwz {{[0-9]+}}, 80(1)
 111 ; CHECK: lwz {{[0-9]+}}, 88(1)
 112 ; CHECK: lwz {{[0-9]+}}, 96(1)
 113 }
 114
 115 define i32 @caller2() nounwind {
 116 entry:
 117   %p1 = alloca %struct.t1, align 1
 118   %p2 = alloca %struct.t2, align 1
 119   %p3 = alloca %struct.t3, align 1
 120   %p4 = alloca %struct.t4, align 1
 121   %p5 = alloca %struct.t5, align 1
 122   %p6 = alloca %struct.t6, align 1
 123   %p7 = alloca %struct.t7, align 1
 124   %0 = bitcast %struct.t1* %p1 to i8*
 125   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %0, i8* getelementptr inbounds (%struct.t1* @caller2.p1, i32 0, i32 0), i64 1, i32 1, i1 false)
 126   %1 = bitcast %struct.t2* %p2 to i8*
 127   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %1, i8* bitcast ({ i16 }* @caller2.p2 to i8*), i64 2, i32 1, i1 false)
 128   %2 = bitcast %struct.t3* %p3 to i8*
 129   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %2, i8* bitcast (%struct.t3* @caller2.p3 to i8*), i64 3, i32 1, i1 false)
 130   %3 = bitcast %struct.t4* %p4 to i8*
 131   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %3, i8* bitcast ({ i32 }* @caller2.p4 to i8*), i64 4, i32 1, i1 false)
 132   %4 = bitcast %struct.t5* %p5 to i8*
 133   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %4, i8* bitcast (%struct.t5* @caller2.p5 to i8*), i64 5, i32 1, i1 false)
 134   %5 = bitcast %struct.t6* %p6 to i8*
 135   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %5, i8* bitcast (%struct.t6* @caller2.p6 to i8*), i64 6, i32 1, i1 false)
 136   %6 = bitcast %struct.t7* %p7 to i8*
 137   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %6, i8* bitcast (%struct.t7* @caller2.p7 to i8*), i64 7, i32 1, i1 false)
 138   %call = call i32 @callee2(%struct.t1* byval %p1, %struct.t2* byval %p2, %struct.t3* byval %p3, %struct.t4* byval %p4, %struct.t5* byval %p5, %struct.t6* byval %p6, %struct.t7* byval %p7)
 139   ret i32 %call
 140
 141 ; CHECK: stb {{[0-9]+}}, 71(1)
 142 ; CHECK: sth {{[0-9]+}}, 69(1)
 143 ; CHECK: stb {{[0-9]+}}, 87(1)
 144 ; CHECK: stw {{[0-9]+}}, 83(1)
 145 ; CHECK: sth {{[0-9]+}}, 94(1)
 146 ; CHECK: stw {{[0-9]+}}, 90(1)
 147 ; CHECK: stb {{[0-9]+}}, 103(1)
 148 ; CHECK: sth {{[0-9]+}}, 101(1)
 149 ; CHECK: stw {{[0-9]+}}, 97(1)
 150 ; CHECK: ld 9, 96(1)
 151 ; CHECK: ld 8, 88(1)
 152 ; CHECK: ld 7, 80(1)
 153 ; CHECK: lwz 6, 152(31)
 154 ; CHECK: ld 5, 64(1)
 155 ; CHECK: lhz 4, 168(31)
 156 ; CHECK: lbz 3, 176(31)
 157 }
 158
 159 define internal i32 @callee2(%struct.t1* byval %v1, %struct.t2* byval %v2, %struct.t3* byval %v3, %struct.t4* byval %v4, %struct.t5* byval %v5, %struct.t6* byval %v6, %struct.t7* byval %v7) nounwind {
 160 entry:
 161   %a = getelementptr inbounds %struct.t1* %v1, i32 0, i32 0
 162   %0 = load i8* %a, align 1
 163   %conv = zext i8 %0 to i32
 164   %a1 = getelementptr inbounds %struct.t2* %v2, i32 0, i32 0
 165   %1 = load i16* %a1, align 1
 166   %conv2 = sext i16 %1 to i32
 167   %add = add nsw i32 %conv, %conv2
 168   %a3 = getelementptr inbounds %struct.t3* %v3, i32 0, i32 0
 169   %2 = load i16* %a3, align 1
 170   %conv4 = sext i16 %2 to i32
 171   %add5 = add nsw i32 %add, %conv4
 172   %a6 = getelementptr inbounds %struct.t4* %v4, i32 0, i32 0
 173   %3 = load i32* %a6, align 1
 174   %add7 = add nsw i32 %add5, %3
 175   %a8 = getelementptr inbounds %struct.t5* %v5, i32 0, i32 0
 176   %4 = load i32* %a8, align 1
 177   %add9 = add nsw i32 %add7, %4
 178   %a10 = getelementptr inbounds %struct.t6* %v6, i32 0, i32 0
 179   %5 = load i32* %a10, align 1
 180   %add11 = add nsw i32 %add9, %5
 181   %a12 = getelementptr inbounds %struct.t7* %v7, i32 0, i32 0
 182   %6 = load i32* %a12, align 1
 183   %add13 = add nsw i32 %add11, %6
 184   ret i32 %add13
 185
 186 ; CHECK: sldi 9, 9, 8
 187 ; CHECK: sldi 8, 8, 16
 188 ; CHECK: sldi 7, 7, 24
 189 ; CHECK: sldi 5, 5, 40
 190 ; CHECK: stw 6, 72(1)
 191 ; CHECK: sth 4, 58(1)
 192 ; CHECK: stb 3, 51(1)
 193 ; CHECK: std 9, 96(1)
 194 ; CHECK: std 8, 88(1)
 195 ; CHECK: std 7, 80(1)
 196 ; CHECK: std 5, 64(1)
 197 ; CHECK: lha {{[0-9]+}}, 58(1)
 198 ; CHECK: lbz {{[0-9]+}}, 51(1)
 199 ; CHECK: lha {{[0-9]+}}, 64(1)
 200 ; CHECK: lwz {{[0-9]+}}, 72(1)
 201 ; CHECK: lwz {{[0-9]+}}, 80(1)
 202 ; CHECK: lwz {{[0-9]+}}, 88(1)
 203 ; CHECK: lwz {{[0-9]+}}, 96(1)
 204 }