[NFC][RemoveDIs] Prefer iterators over inst-pointers in InstCombine
[llvm-project.git] / llvm / test / CodeGen / AArch64 / GlobalISel / irtranslator-load-metadata.ll
blobe955b52e1643b06acb56b909fc49cdb32e3d0c17
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
4 define i32 @load_invariant(ptr %ptr) {
5   ; CHECK-LABEL: name: load_invariant
6   ; CHECK: bb.1 (%ir-block.0):
7   ; CHECK-NEXT:   liveins: $x0
8   ; CHECK-NEXT: {{  $}}
9   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:_(p0) = COPY $x0
10   ; CHECK-NEXT:   [[LOAD:%[0-9]+]]:_(s32) = G_LOAD [[COPY]](p0) :: (invariant load (s32) from %ir.ptr)
11   ; CHECK-NEXT:   $w0 = COPY [[LOAD]](s32)
12   ; CHECK-NEXT:   RET_ReallyLR implicit $w0
13   %load = load i32, ptr %ptr, align 4, !invariant.load !0
14   ret i32 %load
17 define i32 @load_volatile_invariant(ptr %ptr) {
18   ; CHECK-LABEL: name: load_volatile_invariant
19   ; CHECK: bb.1 (%ir-block.0):
20   ; CHECK-NEXT:   liveins: $x0
21   ; CHECK-NEXT: {{  $}}
22   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:_(p0) = COPY $x0
23   ; CHECK-NEXT:   [[LOAD:%[0-9]+]]:_(s32) = G_LOAD [[COPY]](p0) :: (volatile invariant load (s32) from %ir.ptr)
24   ; CHECK-NEXT:   $w0 = COPY [[LOAD]](s32)
25   ; CHECK-NEXT:   RET_ReallyLR implicit $w0
26   %load = load volatile i32, ptr %ptr, align 4, !invariant.load !0
27   ret i32 %load
30 define i32 @load_dereferenceable(ptr dereferenceable(4) %ptr) {
31   ; CHECK-LABEL: name: load_dereferenceable
32   ; CHECK: bb.1 (%ir-block.0):
33   ; CHECK-NEXT:   liveins: $x0
34   ; CHECK-NEXT: {{  $}}
35   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:_(p0) = COPY $x0
36   ; CHECK-NEXT:   [[LOAD:%[0-9]+]]:_(s32) = G_LOAD [[COPY]](p0) :: (load (s32) from %ir.ptr)
37   ; CHECK-NEXT:   $w0 = COPY [[LOAD]](s32)
38   ; CHECK-NEXT:   RET_ReallyLR implicit $w0
39   %load = load i32, ptr %ptr, align 4
40   ret i32 %load
43 define i32 @load_dereferenceable_invariant(ptr dereferenceable(4) %ptr) {
44   ; CHECK-LABEL: name: load_dereferenceable_invariant
45   ; CHECK: bb.1 (%ir-block.0):
46   ; CHECK-NEXT:   liveins: $x0
47   ; CHECK-NEXT: {{  $}}
48   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:_(p0) = COPY $x0
49   ; CHECK-NEXT:   [[LOAD:%[0-9]+]]:_(s32) = G_LOAD [[COPY]](p0) :: (invariant load (s32) from %ir.ptr)
50   ; CHECK-NEXT:   $w0 = COPY [[LOAD]](s32)
51   ; CHECK-NEXT:   RET_ReallyLR implicit $w0
52   %load = load i32, ptr %ptr, align 4, !invariant.load !0
53   ret i32 %load
56 define i32 @load_nontemporal(ptr %ptr) {
57   ; CHECK-LABEL: name: load_nontemporal
58   ; CHECK: bb.1 (%ir-block.0):
59   ; CHECK-NEXT:   liveins: $x0
60   ; CHECK-NEXT: {{  $}}
61   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:_(p0) = COPY $x0
62   ; CHECK-NEXT:   [[LOAD:%[0-9]+]]:_(s32) = G_LOAD [[COPY]](p0) :: (non-temporal load (s32) from %ir.ptr)
63   ; CHECK-NEXT:   $w0 = COPY [[LOAD]](s32)
64   ; CHECK-NEXT:   RET_ReallyLR implicit $w0
65   %load = load i32, ptr %ptr, align 4, !nontemporal !0
66   ret i32 %load
69 define i32 @load_falkor_strided_access(ptr %ptr) {
70   ; CHECK-LABEL: name: load_falkor_strided_access
71   ; CHECK: bb.1 (%ir-block.0):
72   ; CHECK-NEXT:   liveins: $x0
73   ; CHECK-NEXT: {{  $}}
74   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:_(p0) = COPY $x0
75   ; CHECK-NEXT:   [[LOAD:%[0-9]+]]:_(s32) = G_LOAD [[COPY]](p0) :: ("aarch64-strided-access" load (s32) from %ir.ptr)
76   ; CHECK-NEXT:   $w0 = COPY [[LOAD]](s32)
77   ; CHECK-NEXT:   RET_ReallyLR implicit $w0
78   %load = load i32, ptr %ptr, align 4, !falkor.strided.access !0
79   ret i32 %load
82 !0 = !{}