test/CodeGen/PowerPC/fast-isel-load-store.ll

   1 ; FIXME: FastISel currently returns false if it hits code that uses VSX
   2 ; registers and with -fast-isel-abort=1 turned on the test case will then fail.
   3 ; When fastisel better supports VSX fix up this test case.
   4 ;
   5 ; RUN: llc -relocation-model=static < %s -O0 -verify-machineinstrs -fast-isel -fast-isel-abort=1 -mattr=-vsx -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr7 | FileCheck %s --check-prefix=ELF64
   6 ; RUN: llc -relocation-model=static < %s -O0 -verify-machineinstrs -fast-isel -fast-isel-abort=1 -mattr=spe  -mtriple=powerpc-unknown-linux-gnu -mcpu=e500 | FileCheck %s --check-prefix=SPE
   7
   8 ; This test verifies that load/store instructions are properly generated,
   9 ; and that they pass MI verification.
  10
  11 @a = global i8 1, align 1
  12 @b = global i16 2, align 2
  13 @c = global i32 4, align 4
  14 @d = global i64 8, align 8
  15 @e = global float 1.25, align 4
  16 @f = global double 3.5, align 8
  17
  18 %struct.s = type<{ i8, i32 }>
  19 %struct.t = type<{ i8, i64 }>
  20
  21 @g = global %struct.s <{ i8 1, i32 2 }>, align 1
  22 @h = global %struct.t <{ i8 1, i64 2 }>, align 1
  23
  24 @i = common global [8192 x i64] zeroinitializer, align 8
  25
  26 ; load
  27
  28 define i8 @t1() nounwind {
  29 ; ELF64: t1
  30   %1 = load i8, i8* @a, align 1
  31 ; ELF64: lbz
  32   %2 = add nsw i8 %1, 1
  33 ; ELF64: addi
  34   ret i8 %2
  35 }
  36
  37 define i16 @t2() nounwind {
  38 ; ELF64: t2
  39   %1 = load i16, i16* @b, align 2
  40 ; ELF64: lhz
  41   %2 = add nsw i16 %1, 1
  42 ; ELF64: addi
  43   ret i16 %2
  44 }
  45
  46 define i32 @t3() nounwind {
  47 ; ELF64: t3
  48   %1 = load i32, i32* @c, align 4
  49 ; ELF64: lwz
  50   %2 = add nsw i32 %1, 1
  51 ; ELF64: addi
  52   ret i32 %2
  53 }
  54
  55 define i64 @t4() nounwind {
  56 ; ELF64: t4
  57   %1 = load i64, i64* @d, align 4
  58 ; ELF64: ld
  59   %2 = add nsw i64 %1, 1
  60 ; ELF64: addi
  61   ret i64 %2
  62 }
  63
  64 define float @t5() nounwind {
  65 ; ELF64: t5
  66 ; SPE: t5
  67   %1 = load float, float* @e, align 4
  68 ; ELF64: lfs
  69 ; SPE: lwz
  70   %2 = fadd float %1, 1.0
  71 ; ELF64: fadds
  72 ; SPE: efsadd
  73   ret float %2
  74 }
  75
  76 define double @t6() nounwind {
  77 ; ELF64: t6
  78 ; SPE: t6
  79   %1 = load double, double* @f, align 8
  80 ; ELF64: lfd
  81 ; SPE: evldd
  82   %2 = fadd double %1, 1.0
  83 ; ELF64: fadd
  84 ; SPE: efdadd
  85   ret double %2
  86 }
  87
  88 ; store
  89
  90 define void @t7(i8 %v) nounwind {
  91 ; ELF64: t7
  92   %1 = add nsw i8 %v, 1
  93   store i8 %1, i8* @a, align 1
  94 ; ELF64: addis
  95 ; ELF64: addi
  96 ; ELF64: addi
  97 ; ELF64: stb
  98   ret void
  99 }
 100
 101 define void @t8(i16 %v) nounwind {
 102 ; ELF64: t8
 103   %1 = add nsw i16 %v, 1
 104   store i16 %1, i16* @b, align 2
 105 ; ELF64: addis
 106 ; ELF64: addi
 107 ; ELF64: addi
 108 ; ELF64: sth
 109   ret void
 110 }
 111
 112 define void @t9(i32 %v) nounwind {
 113 ; ELF64: t9
 114   %1 = add nsw i32 %v, 1
 115   store i32 %1, i32* @c, align 4
 116 ; ELF64: addis
 117 ; ELF64: addi
 118 ; ELF64: addi
 119 ; ELF64: stw
 120   ret void
 121 }
 122
 123 define void @t10(i64 %v) nounwind {
 124 ; ELF64: t10
 125   %1 = add nsw i64 %v, 1
 126   store i64 %1, i64* @d, align 4
 127 ; ELF64: addis
 128 ; ELF64: addi
 129 ; ELF64: addi
 130 ; ELF64: std
 131   ret void
 132 }
 133
 134 define void @t11(float %v) nounwind {
 135 ; ELF64: t11
 136 ; SPE: t11
 137   %1 = fadd float %v, 1.0
 138   store float %1, float* @e, align 4
 139 ; ELF64: fadds
 140 ; ELF64: stfs
 141 ; SPE: efsadd
 142 ; SPE: stw
 143   ret void
 144 }
 145
 146 define void @t12(double %v) nounwind {
 147 ; ELF64: t12
 148 ; SPE: t12
 149   %1 = fadd double %v, 1.0
 150   store double %1, double* @f, align 8
 151 ; ELF64: fadd
 152 ; ELF64: stfd
 153 ; SPE: efdadd
 154 ; SPE: evstdd
 155   ret void
 156 }
 157
 158 ;; lwa requires an offset divisible by 4, so we need lwax here.
 159 define i64 @t13() nounwind {
 160 ; ELF64: t13
 161   %1 = load i32, i32* getelementptr inbounds (%struct.s, %struct.s* @g, i32 0, i32 1), align 1
 162   %2 = sext i32 %1 to i64
 163 ; ELF64: li
 164 ; ELF64: lwax
 165   %3 = add nsw i64 %2, 1
 166 ; ELF64: addi
 167   ret i64 %3
 168 }
 169
 170 ;; ld requires an offset divisible by 4, so we need ldx here.
 171 define i64 @t14() nounwind {
 172 ; ELF64: t14
 173   %1 = load i64, i64* getelementptr inbounds (%struct.t, %struct.t* @h, i32 0, i32 1), align 1
 174 ; ELF64: li
 175 ; ELF64: ldx
 176   %2 = add nsw i64 %1, 1
 177 ; ELF64: addi
 178   ret i64 %2
 179 }
 180
 181 ;; std requires an offset divisible by 4, so we need stdx here.
 182 define void @t15(i64 %v) nounwind {
 183 ; ELF64: t15
 184   %1 = add nsw i64 %v, 1
 185   store i64 %1, i64* getelementptr inbounds (%struct.t, %struct.t* @h, i32 0, i32 1), align 1
 186 ; ELF64: addis
 187 ; ELF64: addi
 188 ; ELF64: addi
 189 ; ELF64: li
 190 ; ELF64: stdx
 191   ret void
 192 }
 193
 194 ;; ld requires an offset that fits in 16 bits, so we need ldx here.
 195 define i64 @t16() nounwind {
 196 ; ELF64: t16
 197   %1 = load i64, i64* getelementptr inbounds ([8192 x i64], [8192 x i64]* @i, i32 0, i64 5000), align 8
 198 ; ELF64: lis
 199 ; ELF64: ori
 200 ; ELF64: ldx
 201   %2 = add nsw i64 %1, 1
 202 ; ELF64: addi
 203   ret i64 %2
 204 }
 205
 206 ;; std requires an offset that fits in 16 bits, so we need stdx here.
 207 define void @t17(i64 %v) nounwind {
 208 ; ELF64: t17
 209   %1 = add nsw i64 %v, 1
 210   store i64 %1, i64* getelementptr inbounds ([8192 x i64], [8192 x i64]* @i, i32 0, i64 5000), align 8
 211 ; ELF64: addis
 212 ; ELF64: addi
 213 ; ELF64: addi
 214 ; ELF64: lis
 215 ; ELF64: ori
 216 ; ELF64: stdx
 217   ret void
 218 }
 219