llvm/test/CodeGen/AArch64/GlobalISel/irtranslator-store-metadata.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 ; RUN: llc -mtriple=aarch64-- -mcpu=falkor -O0 -aarch64-enable-atomic-cfg-tidy=0 -stop-after=irtranslator -global-isel -verify-machineinstrs %s -o - | FileCheck %s
   3
   4 define void @store_nontemporal(ptr dereferenceable(4) %ptr) {
   5   ; CHECK-LABEL: name: store_nontemporal
   6   ; CHECK: bb.1 (%ir-block.0):
   7   ; CHECK:   liveins: $x0
   8   ; CHECK:   [[COPY:%[0-9]+]]:_(p0) = COPY $x0
   9   ; CHECK:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
  10   ; CHECK:   G_STORE [[C]](s32), [[COPY]](p0) :: (non-temporal store (s32) into %ir.ptr)
  11   ; CHECK:   RET_ReallyLR
  12   store i32 0, ptr %ptr, align 4, !nontemporal !0
  13   ret void
  14 }
  15
  16 define void @store_dereferenceable(ptr dereferenceable(4) %ptr) {
  17   ; CHECK-LABEL: name: store_dereferenceable
  18   ; CHECK: bb.1 (%ir-block.0):
  19   ; CHECK:   liveins: $x0
  20   ; CHECK:   [[COPY:%[0-9]+]]:_(p0) = COPY $x0
  21   ; CHECK:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
  22   ; CHECK:   G_STORE [[C]](s32), [[COPY]](p0) :: (store (s32) into %ir.ptr)
  23   ; CHECK:   RET_ReallyLR
  24   store i32 0, ptr %ptr, align 4
  25   ret void
  26 }
  27
  28 define void @store_volatile_dereferenceable(ptr dereferenceable(4) %ptr) {
  29   ; CHECK-LABEL: name: store_volatile_dereferenceable
  30   ; CHECK: bb.1 (%ir-block.0):
  31   ; CHECK:   liveins: $x0
  32   ; CHECK:   [[COPY:%[0-9]+]]:_(p0) = COPY $x0
  33   ; CHECK:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
  34   ; CHECK:   G_STORE [[C]](s32), [[COPY]](p0) :: (volatile store (s32) into %ir.ptr)
  35   ; CHECK:   RET_ReallyLR
  36   store volatile i32 0, ptr %ptr, align 4
  37   ret void
  38 }
  39
  40 define void @store_falkor_strided_access(ptr %ptr) {
  41   ; CHECK-LABEL: name: store_falkor_strided_access
  42   ; CHECK: bb.1 (%ir-block.0):
  43   ; CHECK:   liveins: $x0
  44   ; CHECK:   [[COPY:%[0-9]+]]:_(p0) = COPY $x0
  45   ; CHECK:   [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
  46   ; CHECK:   G_STORE [[C]](s32), [[COPY]](p0) :: ("aarch64-strided-access" store (s32) into %ir.ptr)
  47   ; CHECK:   RET_ReallyLR
  48   store i32 0, ptr %ptr, align 4, !falkor.strided.access !0
  49   ret void
  50 }
  51
  52 !0 = !{}