test/CodeGen/ARM/ldstrex.ll

   1 ; RUN: llc < %s -mtriple=armv7-apple-darwin   | FileCheck %s
   2 ; RUN: llc < %s -mtriple=thumbv7-apple-darwin > %t
   3 ; RUN: FileCheck %s < %t
   4 ; RUN: FileCheck %s < %t --check-prefix=CHECK-T2ADDRMODE
   5
   6 %0 = type { i32, i32 }
   7
   8 ; CHECK-LABEL: f0:
   9 ; CHECK: ldrexd
  10 define i64 @f0(i8* %p) nounwind readonly {
  11 entry:
  12   %ldrexd = tail call %0 @llvm.arm.ldrexd(i8* %p)
  13   %0 = extractvalue %0 %ldrexd, 1
  14   %1 = extractvalue %0 %ldrexd, 0
  15   %2 = zext i32 %0 to i64
  16   %3 = zext i32 %1 to i64
  17   %shl = shl nuw i64 %2, 32
  18   %4 = or i64 %shl, %3
  19   ret i64 %4
  20 }
  21
  22 ; CHECK-LABEL: f1:
  23 ; CHECK: strexd
  24 define i32 @f1(i8* %ptr, i64 %val) nounwind {
  25 entry:
  26   %tmp4 = trunc i64 %val to i32
  27   %tmp6 = lshr i64 %val, 32
  28   %tmp7 = trunc i64 %tmp6 to i32
  29   %strexd = tail call i32 @llvm.arm.strexd(i32 %tmp4, i32 %tmp7, i8* %ptr)
  30   ret i32 %strexd
  31 }
  32
  33 declare %0 @llvm.arm.ldrexd(i8*) nounwind readonly
  34 declare i32 @llvm.arm.strexd(i32, i32, i8*) nounwind
  35
  36 ; CHECK-LABEL: test_load_i8:
  37 ; CHECK: ldrexb r0, [r0]
  38 ; CHECK-NOT: uxtb
  39 ; CHECK-NOT: and
  40 define zeroext i8 @test_load_i8(i8* %addr) {
  41   %val = call i32 @llvm.arm.ldrex.p0i8(i8* %addr)
  42   %val8 = trunc i32 %val to i8
  43   ret i8 %val8
  44 }
  45
  46 ; CHECK-LABEL: test_load_i16:
  47 ; CHECK: ldrexh r0, [r0]
  48 ; CHECK-NOT: uxth
  49 ; CHECK-NOT: and
  50 define zeroext i16 @test_load_i16(i16* %addr) {
  51   %val = call i32 @llvm.arm.ldrex.p0i16(i16* %addr)
  52   %val16 = trunc i32 %val to i16
  53   ret i16 %val16
  54 }
  55
  56 ; CHECK-LABEL: test_load_i32:
  57 ; CHECK: ldrex r0, [r0]
  58 define i32 @test_load_i32(i32* %addr) {
  59   %val = call i32 @llvm.arm.ldrex.p0i32(i32* %addr)
  60   ret i32 %val
  61 }
  62
  63 declare i32 @llvm.arm.ldrex.p0i8(i8*) nounwind readonly
  64 declare i32 @llvm.arm.ldrex.p0i16(i16*) nounwind readonly
  65 declare i32 @llvm.arm.ldrex.p0i32(i32*) nounwind readonly
  66
  67 ; CHECK-LABEL: test_store_i8:
  68 ; CHECK-NOT: uxtb
  69 ; CHECK: strexb r0, r1, [r2]
  70 define i32 @test_store_i8(i32, i8 %val, i8* %addr) {
  71   %extval = zext i8 %val to i32
  72   %res = call i32 @llvm.arm.strex.p0i8(i32 %extval, i8* %addr)
  73   ret i32 %res
  74 }
  75
  76 ; CHECK-LABEL: test_store_i16:
  77 ; CHECK-NOT: uxth
  78 ; CHECK: strexh r0, r1, [r2]
  79 define i32 @test_store_i16(i32, i16 %val, i16* %addr) {
  80   %extval = zext i16 %val to i32
  81   %res = call i32 @llvm.arm.strex.p0i16(i32 %extval, i16* %addr)
  82   ret i32 %res
  83 }
  84
  85 ; CHECK-LABEL: test_store_i32:
  86 ; CHECK: strex r0, r1, [r2]
  87 define i32 @test_store_i32(i32, i32 %val, i32* %addr) {
  88   %res = call i32 @llvm.arm.strex.p0i32(i32 %val, i32* %addr)
  89   ret i32 %res
  90 }
  91
  92 declare i32 @llvm.arm.strex.p0i8(i32, i8*) nounwind
  93 declare i32 @llvm.arm.strex.p0i16(i32, i16*) nounwind
  94 declare i32 @llvm.arm.strex.p0i32(i32, i32*) nounwind
  95
  96 ; CHECK-LABEL: test_clear:
  97 ; CHECK: clrex
  98 define void @test_clear() {
  99   call void @llvm.arm.clrex()
 100   ret void
 101 }
 102
 103 declare void @llvm.arm.clrex() nounwind
 104
 105 @base = global i32* null
 106
 107 define void @excl_addrmode() {
 108 ; CHECK-T2ADDRMODE-LABEL: excl_addrmode:
 109   %base1020 = load i32*, i32** @base
 110   %offset1020 = getelementptr i32, i32* %base1020, i32 255
 111   call i32 @llvm.arm.ldrex.p0i32(i32* %offset1020)
 112   call i32 @llvm.arm.strex.p0i32(i32 0, i32* %offset1020)
 113 ; CHECK-T2ADDRMODE: ldrex {{r[0-9]+}}, [{{r[0-9]+}}, #1020]
 114 ; CHECK-T2ADDRMODE: strex {{r[0-9]+}}, {{r[0-9]+}}, [{{r[0-9]+}}, #1020]
 115
 116   %base1024 = load i32*, i32** @base
 117   %offset1024 = getelementptr i32, i32* %base1024, i32 256
 118   call i32 @llvm.arm.ldrex.p0i32(i32* %offset1024)
 119   call i32 @llvm.arm.strex.p0i32(i32 0, i32* %offset1024)
 120 ; CHECK-T2ADDRMODE: add.w r[[ADDR:[0-9]+]], {{r[0-9]+}}, #1024
 121 ; CHECK-T2ADDRMODE: ldrex {{r[0-9]+}}, [r[[ADDR]]]
 122 ; CHECK-T2ADDRMODE: strex {{r[0-9]+}}, {{r[0-9]+}}, [r[[ADDR]]]
 123
 124   %base1 = load i32*, i32** @base
 125   %addr8 = bitcast i32* %base1 to i8*
 126   %offset1_8 = getelementptr i8, i8* %addr8, i32 1
 127   %offset1 = bitcast i8* %offset1_8 to i32*
 128   call i32 @llvm.arm.ldrex.p0i32(i32* %offset1)
 129   call i32 @llvm.arm.strex.p0i32(i32 0, i32* %offset1)
 130 ; CHECK-T2ADDRMODE: adds r[[ADDR:[0-9]+]], #1
 131 ; CHECK-T2ADDRMODE: ldrex {{r[0-9]+}}, [r[[ADDR]]]
 132 ; CHECK-T2ADDRMODE: strex {{r[0-9]+}}, {{r[0-9]+}}, [r[[ADDR]]]
 133
 134   %local = alloca i8, i32 1024
 135   %local32 = bitcast i8* %local to i32*
 136   call i32 @llvm.arm.ldrex.p0i32(i32* %local32)
 137   call i32 @llvm.arm.strex.p0i32(i32 0, i32* %local32)
 138 ; CHECK-T2ADDRMODE: mov r[[ADDR:[0-9]+]], sp
 139 ; CHECK-T2ADDRMODE: ldrex {{r[0-9]+}}, [r[[ADDR]]]
 140 ; CHECK-T2ADDRMODE: strex {{r[0-9]+}}, {{r[0-9]+}}, [r[[ADDR]]]
 141
 142   ret void
 143 }
 144
 145 define void @test_excl_addrmode_folded() {
 146 ; CHECK-LABEL: test_excl_addrmode_folded:
 147   %local = alloca i8, i32 4096
 148
 149   %local.0 = getelementptr i8, i8* %local, i32 4
 150   %local32.0 = bitcast i8* %local.0 to i32*
 151   call i32 @llvm.arm.ldrex.p0i32(i32* %local32.0)
 152   call i32 @llvm.arm.strex.p0i32(i32 0, i32* %local32.0)
 153 ; CHECK-T2ADDRMODE: ldrex {{r[0-9]+}}, [sp, #4]
 154 ; CHECK-T2ADDRMODE: strex {{r[0-9]+}}, {{r[0-9]+}}, [sp, #4]
 155
 156   %local.1 = getelementptr i8, i8* %local, i32 1020
 157   %local32.1 = bitcast i8* %local.1 to i32*
 158   call i32 @llvm.arm.ldrex.p0i32(i32* %local32.1)
 159   call i32 @llvm.arm.strex.p0i32(i32 0, i32* %local32.1)
 160 ; CHECK-T2ADDRMODE: ldrex {{r[0-9]+}}, [sp, #1020]
 161 ; CHECK-T2ADDRMODE: strex {{r[0-9]+}}, {{r[0-9]+}}, [sp, #1020]
 162
 163   ret void
 164 }
 165
 166 define void @test_excl_addrmode_range() {
 167 ; CHECK-LABEL: test_excl_addrmode_range:
 168   %local = alloca i8, i32 4096
 169
 170   %local.0 = getelementptr i8, i8* %local, i32 1024
 171   %local32.0 = bitcast i8* %local.0 to i32*
 172   call i32 @llvm.arm.ldrex.p0i32(i32* %local32.0)
 173   call i32 @llvm.arm.strex.p0i32(i32 0, i32* %local32.0)
 174 ; CHECK-T2ADDRMODE: mov r[[TMP:[0-9]+]], sp
 175 ; CHECK-T2ADDRMODE: add.w r[[ADDR:[0-9]+]], r[[TMP]], #1024
 176 ; CHECK-T2ADDRMODE: ldrex {{r[0-9]+}}, [r[[ADDR]]]
 177 ; CHECK-T2ADDRMODE: strex {{r[0-9]+}}, {{r[0-9]+}}, [r[[ADDR]]]
 178
 179   ret void
 180 }
 181
 182 define void @test_excl_addrmode_align() {
 183 ; CHECK-LABEL: test_excl_addrmode_align:
 184   %local = alloca i8, i32 4096
 185
 186   %local.0 = getelementptr i8, i8* %local, i32 2
 187   %local32.0 = bitcast i8* %local.0 to i32*
 188   call i32 @llvm.arm.ldrex.p0i32(i32* %local32.0)
 189   call i32 @llvm.arm.strex.p0i32(i32 0, i32* %local32.0)
 190 ; CHECK-T2ADDRMODE: mov r[[ADDR:[0-9]+]], sp
 191 ; CHECK-T2ADDRMODE: adds r[[ADDR:[0-9]+]], #2
 192 ; CHECK-T2ADDRMODE: ldrex {{r[0-9]+}}, [r[[ADDR]]]
 193 ; CHECK-T2ADDRMODE: strex {{r[0-9]+}}, {{r[0-9]+}}, [r[[ADDR]]]
 194
 195   ret void
 196 }
 197
 198 define void @test_excl_addrmode_sign() {
 199 ; CHECK-LABEL: test_excl_addrmode_sign:
 200   %local = alloca i8, i32 4096
 201
 202   %local.0 = getelementptr i8, i8* %local, i32 -4
 203   %local32.0 = bitcast i8* %local.0 to i32*
 204   call i32 @llvm.arm.ldrex.p0i32(i32* %local32.0)
 205   call i32 @llvm.arm.strex.p0i32(i32 0, i32* %local32.0)
 206 ; CHECK-T2ADDRMODE: mov r[[ADDR:[0-9]+]], sp
 207 ; CHECK-T2ADDRMODE: subs r[[ADDR:[0-9]+]], #4
 208 ; CHECK-T2ADDRMODE: ldrex {{r[0-9]+}}, [r[[ADDR]]]
 209 ; CHECK-T2ADDRMODE: strex {{r[0-9]+}}, {{r[0-9]+}}, [r[[ADDR]]]
 210
 211   ret void
 212 }
 213
 214 define void @test_excl_addrmode_combination() {
 215 ; CHECK-LABEL: test_excl_addrmode_combination:
 216   %local = alloca i8, i32 4096
 217   %unused = alloca i8, i32 64
 218
 219   %local.0 = getelementptr i8, i8* %local, i32 4
 220   %local32.0 = bitcast i8* %local.0 to i32*
 221   call i32 @llvm.arm.ldrex.p0i32(i32* %local32.0)
 222   call i32 @llvm.arm.strex.p0i32(i32 0, i32* %local32.0)
 223 ; CHECK-T2ADDRMODE: ldrex {{r[0-9]+}}, [sp, #68]
 224 ; CHECK-T2ADDRMODE: strex {{r[0-9]+}}, {{r[0-9]+}}, [sp, #68]
 225
 226   ret void
 227 }
 228
 229
 230 ; LLVM should know, even across basic blocks, that ldrex is setting the high
 231 ; bits of its i32 to 0. There should be no zero-extend operation.
 232 define zeroext i8 @test_cross_block_zext_i8(i1 %tst, i8* %addr) {
 233 ; CHECK: test_cross_block_zext_i8:
 234 ; CHECK-NOT: uxtb
 235 ; CHECK-NOT: and
 236 ; CHECK: bx lr
 237   %val = call i32 @llvm.arm.ldrex.p0i8(i8* %addr)
 238   br i1 %tst, label %end, label %mid
 239 mid:
 240   ret i8 42
 241 end:
 242   %val8 = trunc i32 %val to i8
 243   ret i8 %val8
 244 }