[AArch64] Add atomics tests for lse2+lse128

FEAT_LSE128 implies FEAT_LSE but not FEAT_LSE2, so add tests showing
what happens when you have both.

Differential Revision: https://reviews.llvm.org/D142712
This commit is contained in:
Tomas Matheson
2023-01-27 13:50:47 +00:00
parent 2493a70164
commit 5a9cb37722
11 changed files with 19520 additions and 0 deletions

View File

@@ -0,0 +1,571 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --filter-out "\b(sp)\b" --filter "^\s*(ld|st[^r]|swp|cas|bl|add|and|eor|orn|orr|sub|mvn|sxt|cmp|ccmp|csel|dmb)"
; The base test file was generated by ./llvm/test/CodeGen/AArch64/Atomics/generate-tests.py
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64 -mattr=+lse2,+lse128 -O0 | FileCheck %s --check-prefixes=CHECK,-O0
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64 -mattr=+lse2,+lse128 -O1 | FileCheck %s --check-prefixes=CHECK,-O1
define dso_local i8 @load_atomic_i8_aligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_unordered:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr unordered, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_aligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_unordered_const:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr unordered, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_aligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_monotonic:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr monotonic, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_aligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_monotonic_const:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr monotonic, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_aligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_acquire:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr acquire, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_aligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_acquire_const:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr acquire, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_aligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_seq_cst:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr seq_cst, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_aligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_seq_cst_const:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr seq_cst, align 1
ret i8 %r
}
define dso_local i16 @load_atomic_i16_aligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_unordered:
; CHECK: ldrh w0, [x0]
%r = load atomic i16, ptr %ptr unordered, align 2
ret i16 %r
}
define dso_local i16 @load_atomic_i16_aligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_unordered_const:
; CHECK: ldrh w0, [x0]
%r = load atomic i16, ptr %ptr unordered, align 2
ret i16 %r
}
define dso_local i16 @load_atomic_i16_aligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_monotonic:
; CHECK: ldrh w0, [x0]
%r = load atomic i16, ptr %ptr monotonic, align 2
ret i16 %r
}
define dso_local i16 @load_atomic_i16_aligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_monotonic_const:
; CHECK: ldrh w0, [x0]
%r = load atomic i16, ptr %ptr monotonic, align 2
ret i16 %r
}
define dso_local i16 @load_atomic_i16_aligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_acquire:
; CHECK: ldarh w0, [x0]
%r = load atomic i16, ptr %ptr acquire, align 2
ret i16 %r
}
define dso_local i16 @load_atomic_i16_aligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_acquire_const:
; CHECK: ldarh w0, [x0]
%r = load atomic i16, ptr %ptr acquire, align 2
ret i16 %r
}
define dso_local i16 @load_atomic_i16_aligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_seq_cst:
; CHECK: ldarh w0, [x0]
%r = load atomic i16, ptr %ptr seq_cst, align 2
ret i16 %r
}
define dso_local i16 @load_atomic_i16_aligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_seq_cst_const:
; CHECK: ldarh w0, [x0]
%r = load atomic i16, ptr %ptr seq_cst, align 2
ret i16 %r
}
define dso_local i32 @load_atomic_i32_aligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_unordered:
; CHECK: ldr w0, [x0]
%r = load atomic i32, ptr %ptr unordered, align 4
ret i32 %r
}
define dso_local i32 @load_atomic_i32_aligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_unordered_const:
; CHECK: ldr w0, [x0]
%r = load atomic i32, ptr %ptr unordered, align 4
ret i32 %r
}
define dso_local i32 @load_atomic_i32_aligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_monotonic:
; CHECK: ldr w0, [x0]
%r = load atomic i32, ptr %ptr monotonic, align 4
ret i32 %r
}
define dso_local i32 @load_atomic_i32_aligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_monotonic_const:
; CHECK: ldr w0, [x0]
%r = load atomic i32, ptr %ptr monotonic, align 4
ret i32 %r
}
define dso_local i32 @load_atomic_i32_aligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_acquire:
; CHECK: ldar w0, [x0]
%r = load atomic i32, ptr %ptr acquire, align 4
ret i32 %r
}
define dso_local i32 @load_atomic_i32_aligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_acquire_const:
; CHECK: ldar w0, [x0]
%r = load atomic i32, ptr %ptr acquire, align 4
ret i32 %r
}
define dso_local i32 @load_atomic_i32_aligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_seq_cst:
; CHECK: ldar w0, [x0]
%r = load atomic i32, ptr %ptr seq_cst, align 4
ret i32 %r
}
define dso_local i32 @load_atomic_i32_aligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_seq_cst_const:
; CHECK: ldar w0, [x0]
%r = load atomic i32, ptr %ptr seq_cst, align 4
ret i32 %r
}
define dso_local i64 @load_atomic_i64_aligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_unordered:
; CHECK: ldr x0, [x0]
%r = load atomic i64, ptr %ptr unordered, align 8
ret i64 %r
}
define dso_local i64 @load_atomic_i64_aligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_unordered_const:
; CHECK: ldr x0, [x0]
%r = load atomic i64, ptr %ptr unordered, align 8
ret i64 %r
}
define dso_local i64 @load_atomic_i64_aligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_monotonic:
; CHECK: ldr x0, [x0]
%r = load atomic i64, ptr %ptr monotonic, align 8
ret i64 %r
}
define dso_local i64 @load_atomic_i64_aligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_monotonic_const:
; CHECK: ldr x0, [x0]
%r = load atomic i64, ptr %ptr monotonic, align 8
ret i64 %r
}
define dso_local i64 @load_atomic_i64_aligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_acquire:
; CHECK: ldar x0, [x0]
%r = load atomic i64, ptr %ptr acquire, align 8
ret i64 %r
}
define dso_local i64 @load_atomic_i64_aligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_acquire_const:
; CHECK: ldar x0, [x0]
%r = load atomic i64, ptr %ptr acquire, align 8
ret i64 %r
}
define dso_local i64 @load_atomic_i64_aligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_seq_cst:
; CHECK: ldar x0, [x0]
%r = load atomic i64, ptr %ptr seq_cst, align 8
ret i64 %r
}
define dso_local i64 @load_atomic_i64_aligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_seq_cst_const:
; CHECK: ldar x0, [x0]
%r = load atomic i64, ptr %ptr seq_cst, align 8
ret i64 %r
}
define dso_local i128 @load_atomic_i128_aligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_unordered:
; CHECK: ldp x0, x1, [x0]
%r = load atomic i128, ptr %ptr unordered, align 16
ret i128 %r
}
define dso_local i128 @load_atomic_i128_aligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_unordered_const:
; CHECK: ldp x0, x1, [x0]
%r = load atomic i128, ptr %ptr unordered, align 16
ret i128 %r
}
define dso_local i128 @load_atomic_i128_aligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_monotonic:
; CHECK: ldp x0, x1, [x0]
%r = load atomic i128, ptr %ptr monotonic, align 16
ret i128 %r
}
define dso_local i128 @load_atomic_i128_aligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_monotonic_const:
; CHECK: ldp x0, x1, [x0]
%r = load atomic i128, ptr %ptr monotonic, align 16
ret i128 %r
}
define dso_local i128 @load_atomic_i128_aligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_acquire:
; CHECK: ldp x0, x1, [x0]
; CHECK: dmb ishld
%r = load atomic i128, ptr %ptr acquire, align 16
ret i128 %r
}
define dso_local i128 @load_atomic_i128_aligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_acquire_const:
; CHECK: ldp x0, x1, [x0]
; CHECK: dmb ishld
%r = load atomic i128, ptr %ptr acquire, align 16
ret i128 %r
}
define dso_local i128 @load_atomic_i128_aligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_seq_cst:
; CHECK: ldp x0, x1, [x0]
; CHECK: dmb ish
%r = load atomic i128, ptr %ptr seq_cst, align 16
ret i128 %r
}
define dso_local i128 @load_atomic_i128_aligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_seq_cst_const:
; CHECK: ldp x0, x1, [x0]
; CHECK: dmb ish
%r = load atomic i128, ptr %ptr seq_cst, align 16
ret i128 %r
}
define dso_local i8 @load_atomic_i8_unaligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_unordered:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr unordered, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_unaligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_unordered_const:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr unordered, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_unaligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_monotonic:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr monotonic, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_unaligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_monotonic_const:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr monotonic, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_unaligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_acquire:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr acquire, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_unaligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_acquire_const:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr acquire, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_unaligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_seq_cst:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr seq_cst, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_unaligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_seq_cst_const:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr seq_cst, align 1
ret i8 %r
}
define dso_local i16 @load_atomic_i16_unaligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_unordered:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr unordered, align 1
ret i16 %r
}
define dso_local i16 @load_atomic_i16_unaligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_unordered_const:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr unordered, align 1
ret i16 %r
}
define dso_local i16 @load_atomic_i16_unaligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_monotonic:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr monotonic, align 1
ret i16 %r
}
define dso_local i16 @load_atomic_i16_unaligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_monotonic_const:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr monotonic, align 1
ret i16 %r
}
define dso_local i16 @load_atomic_i16_unaligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_acquire:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr acquire, align 1
ret i16 %r
}
define dso_local i16 @load_atomic_i16_unaligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_acquire_const:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr acquire, align 1
ret i16 %r
}
define dso_local i16 @load_atomic_i16_unaligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_seq_cst:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr seq_cst, align 1
ret i16 %r
}
define dso_local i16 @load_atomic_i16_unaligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_seq_cst_const:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr seq_cst, align 1
ret i16 %r
}
define dso_local i32 @load_atomic_i32_unaligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_unordered:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr unordered, align 1
ret i32 %r
}
define dso_local i32 @load_atomic_i32_unaligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_unordered_const:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr unordered, align 1
ret i32 %r
}
define dso_local i32 @load_atomic_i32_unaligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_monotonic:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr monotonic, align 1
ret i32 %r
}
define dso_local i32 @load_atomic_i32_unaligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_monotonic_const:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr monotonic, align 1
ret i32 %r
}
define dso_local i32 @load_atomic_i32_unaligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_acquire:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr acquire, align 1
ret i32 %r
}
define dso_local i32 @load_atomic_i32_unaligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_acquire_const:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr acquire, align 1
ret i32 %r
}
define dso_local i32 @load_atomic_i32_unaligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_seq_cst:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr seq_cst, align 1
ret i32 %r
}
define dso_local i32 @load_atomic_i32_unaligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_seq_cst_const:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr seq_cst, align 1
ret i32 %r
}
define dso_local i64 @load_atomic_i64_unaligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_unordered:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr unordered, align 1
ret i64 %r
}
define dso_local i64 @load_atomic_i64_unaligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_unordered_const:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr unordered, align 1
ret i64 %r
}
define dso_local i64 @load_atomic_i64_unaligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_monotonic:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr monotonic, align 1
ret i64 %r
}
define dso_local i64 @load_atomic_i64_unaligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_monotonic_const:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr monotonic, align 1
ret i64 %r
}
define dso_local i64 @load_atomic_i64_unaligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_acquire:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr acquire, align 1
ret i64 %r
}
define dso_local i64 @load_atomic_i64_unaligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_acquire_const:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr acquire, align 1
ret i64 %r
}
define dso_local i64 @load_atomic_i64_unaligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_seq_cst:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr seq_cst, align 1
ret i64 %r
}
define dso_local i64 @load_atomic_i64_unaligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_seq_cst_const:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr seq_cst, align 1
ret i64 %r
}
define dso_local i128 @load_atomic_i128_unaligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_unordered:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr unordered, align 1
ret i128 %r
}
define dso_local i128 @load_atomic_i128_unaligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_unordered_const:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr unordered, align 1
ret i128 %r
}
define dso_local i128 @load_atomic_i128_unaligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_monotonic:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr monotonic, align 1
ret i128 %r
}
define dso_local i128 @load_atomic_i128_unaligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_monotonic_const:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr monotonic, align 1
ret i128 %r
}
define dso_local i128 @load_atomic_i128_unaligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_acquire:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr acquire, align 1
ret i128 %r
}
define dso_local i128 @load_atomic_i128_unaligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_acquire_const:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr acquire, align 1
ret i128 %r
}
define dso_local i128 @load_atomic_i128_unaligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_seq_cst:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr seq_cst, align 1
ret i128 %r
}
define dso_local i128 @load_atomic_i128_unaligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_seq_cst_const:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr seq_cst, align 1
ret i128 %r
}
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
; -O0: {{.*}}
; -O1: {{.*}}

View File

@@ -0,0 +1,290 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --filter-out "\b(sp)\b" --filter "^\s*(ld[^r]|st|swp|cas|bl|add|and|eor|orn|orr|sub|mvn|sxt|cmp|ccmp|csel|dmb)"
; The base test file was generated by ./llvm/test/CodeGen/AArch64/Atomics/generate-tests.py
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64 -mattr=+lse2,+lse128 -O0 | FileCheck %s --check-prefixes=CHECK,-O0
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64 -mattr=+lse2,+lse128 -O1 | FileCheck %s --check-prefixes=CHECK,-O1
define dso_local void @store_atomic_i8_aligned_unordered(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_aligned_unordered:
; CHECK: strb w0, [x1]
store atomic i8 %value, ptr %ptr unordered, align 1
ret void
}
define dso_local void @store_atomic_i8_aligned_monotonic(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_aligned_monotonic:
; CHECK: strb w0, [x1]
store atomic i8 %value, ptr %ptr monotonic, align 1
ret void
}
define dso_local void @store_atomic_i8_aligned_release(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_aligned_release:
; CHECK: stlrb w0, [x1]
store atomic i8 %value, ptr %ptr release, align 1
ret void
}
define dso_local void @store_atomic_i8_aligned_seq_cst(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_aligned_seq_cst:
; CHECK: stlrb w0, [x1]
store atomic i8 %value, ptr %ptr seq_cst, align 1
ret void
}
define dso_local void @store_atomic_i16_aligned_unordered(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_aligned_unordered:
; CHECK: strh w0, [x1]
store atomic i16 %value, ptr %ptr unordered, align 2
ret void
}
define dso_local void @store_atomic_i16_aligned_monotonic(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_aligned_monotonic:
; CHECK: strh w0, [x1]
store atomic i16 %value, ptr %ptr monotonic, align 2
ret void
}
define dso_local void @store_atomic_i16_aligned_release(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_aligned_release:
; CHECK: stlrh w0, [x1]
store atomic i16 %value, ptr %ptr release, align 2
ret void
}
define dso_local void @store_atomic_i16_aligned_seq_cst(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_aligned_seq_cst:
; CHECK: stlrh w0, [x1]
store atomic i16 %value, ptr %ptr seq_cst, align 2
ret void
}
define dso_local void @store_atomic_i32_aligned_unordered(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_aligned_unordered:
; CHECK: str w0, [x1]
store atomic i32 %value, ptr %ptr unordered, align 4
ret void
}
define dso_local void @store_atomic_i32_aligned_monotonic(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_aligned_monotonic:
; CHECK: str w0, [x1]
store atomic i32 %value, ptr %ptr monotonic, align 4
ret void
}
define dso_local void @store_atomic_i32_aligned_release(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_aligned_release:
; CHECK: stlr w0, [x1]
store atomic i32 %value, ptr %ptr release, align 4
ret void
}
define dso_local void @store_atomic_i32_aligned_seq_cst(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_aligned_seq_cst:
; CHECK: stlr w0, [x1]
store atomic i32 %value, ptr %ptr seq_cst, align 4
ret void
}
define dso_local void @store_atomic_i64_aligned_unordered(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_aligned_unordered:
; CHECK: str x0, [x1]
store atomic i64 %value, ptr %ptr unordered, align 8
ret void
}
define dso_local void @store_atomic_i64_aligned_monotonic(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_aligned_monotonic:
; CHECK: str x0, [x1]
store atomic i64 %value, ptr %ptr monotonic, align 8
ret void
}
define dso_local void @store_atomic_i64_aligned_release(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_aligned_release:
; CHECK: stlr x0, [x1]
store atomic i64 %value, ptr %ptr release, align 8
ret void
}
define dso_local void @store_atomic_i64_aligned_seq_cst(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_aligned_seq_cst:
; CHECK: stlr x0, [x1]
store atomic i64 %value, ptr %ptr seq_cst, align 8
ret void
}
define dso_local void @store_atomic_i128_aligned_unordered(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_aligned_unordered:
; CHECK: stp x0, x1, [x2]
store atomic i128 %value, ptr %ptr unordered, align 16
ret void
}
define dso_local void @store_atomic_i128_aligned_monotonic(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_aligned_monotonic:
; CHECK: stp x0, x1, [x2]
store atomic i128 %value, ptr %ptr monotonic, align 16
ret void
}
define dso_local void @store_atomic_i128_aligned_release(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_aligned_release:
; CHECK: dmb ish
; CHECK: stp x0, x1, [x2]
store atomic i128 %value, ptr %ptr release, align 16
ret void
}
define dso_local void @store_atomic_i128_aligned_seq_cst(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_aligned_seq_cst:
; CHECK: dmb ish
; CHECK: stp x0, x1, [x2]
; CHECK: dmb ish
store atomic i128 %value, ptr %ptr seq_cst, align 16
ret void
}
define dso_local void @store_atomic_i8_unaligned_unordered(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_unaligned_unordered:
; CHECK: strb w0, [x1]
store atomic i8 %value, ptr %ptr unordered, align 1
ret void
}
define dso_local void @store_atomic_i8_unaligned_monotonic(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_unaligned_monotonic:
; CHECK: strb w0, [x1]
store atomic i8 %value, ptr %ptr monotonic, align 1
ret void
}
define dso_local void @store_atomic_i8_unaligned_release(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_unaligned_release:
; CHECK: stlrb w0, [x1]
store atomic i8 %value, ptr %ptr release, align 1
ret void
}
define dso_local void @store_atomic_i8_unaligned_seq_cst(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_unaligned_seq_cst:
; CHECK: stlrb w0, [x1]
store atomic i8 %value, ptr %ptr seq_cst, align 1
ret void
}
define dso_local void @store_atomic_i16_unaligned_unordered(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_unaligned_unordered:
; CHECK: bl __atomic_store
store atomic i16 %value, ptr %ptr unordered, align 1
ret void
}
define dso_local void @store_atomic_i16_unaligned_monotonic(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_unaligned_monotonic:
; CHECK: bl __atomic_store
store atomic i16 %value, ptr %ptr monotonic, align 1
ret void
}
define dso_local void @store_atomic_i16_unaligned_release(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_unaligned_release:
; CHECK: bl __atomic_store
store atomic i16 %value, ptr %ptr release, align 1
ret void
}
define dso_local void @store_atomic_i16_unaligned_seq_cst(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_unaligned_seq_cst:
; CHECK: bl __atomic_store
store atomic i16 %value, ptr %ptr seq_cst, align 1
ret void
}
define dso_local void @store_atomic_i32_unaligned_unordered(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_unaligned_unordered:
; CHECK: bl __atomic_store
store atomic i32 %value, ptr %ptr unordered, align 1
ret void
}
define dso_local void @store_atomic_i32_unaligned_monotonic(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_unaligned_monotonic:
; CHECK: bl __atomic_store
store atomic i32 %value, ptr %ptr monotonic, align 1
ret void
}
define dso_local void @store_atomic_i32_unaligned_release(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_unaligned_release:
; CHECK: bl __atomic_store
store atomic i32 %value, ptr %ptr release, align 1
ret void
}
define dso_local void @store_atomic_i32_unaligned_seq_cst(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_unaligned_seq_cst:
; CHECK: bl __atomic_store
store atomic i32 %value, ptr %ptr seq_cst, align 1
ret void
}
define dso_local void @store_atomic_i64_unaligned_unordered(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_unaligned_unordered:
; CHECK: bl __atomic_store
store atomic i64 %value, ptr %ptr unordered, align 1
ret void
}
define dso_local void @store_atomic_i64_unaligned_monotonic(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_unaligned_monotonic:
; CHECK: bl __atomic_store
store atomic i64 %value, ptr %ptr monotonic, align 1
ret void
}
define dso_local void @store_atomic_i64_unaligned_release(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_unaligned_release:
; CHECK: bl __atomic_store
store atomic i64 %value, ptr %ptr release, align 1
ret void
}
define dso_local void @store_atomic_i64_unaligned_seq_cst(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_unaligned_seq_cst:
; CHECK: bl __atomic_store
store atomic i64 %value, ptr %ptr seq_cst, align 1
ret void
}
define dso_local void @store_atomic_i128_unaligned_unordered(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_unaligned_unordered:
; CHECK: bl __atomic_store
store atomic i128 %value, ptr %ptr unordered, align 1
ret void
}
define dso_local void @store_atomic_i128_unaligned_monotonic(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_unaligned_monotonic:
; CHECK: bl __atomic_store
store atomic i128 %value, ptr %ptr monotonic, align 1
ret void
}
define dso_local void @store_atomic_i128_unaligned_release(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_unaligned_release:
; CHECK: bl __atomic_store
store atomic i128 %value, ptr %ptr release, align 1
ret void
}
define dso_local void @store_atomic_i128_unaligned_seq_cst(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_unaligned_seq_cst:
; CHECK: bl __atomic_store
store atomic i128 %value, ptr %ptr seq_cst, align 1
ret void
}
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
; -O0: {{.*}}
; -O1: {{.*}}

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

View File

@@ -14,6 +14,8 @@
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64 -mattr=+lse2,+rcpc3 -O1 | FileCheck %s --check-prefixes=CHECK,-O1
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64 -mattr=+lse128 -O0 | FileCheck %s --check-prefixes=CHECK,-O0
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64 -mattr=+lse128 -O1 | FileCheck %s --check-prefixes=CHECK,-O1
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64 -mattr=+lse2,+lse128 -O0 | FileCheck %s --check-prefixes=CHECK,-O0
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64 -mattr=+lse2,+lse128 -O1 | FileCheck %s --check-prefixes=CHECK,-O1
define dso_local void @fence_acquire() {
; CHECK-LABEL: fence_acquire:

View File

@@ -0,0 +1,571 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --filter-out "\b(sp)\b" --filter "^\s*(ld|st[^r]|swp|cas|bl|add|and|eor|orn|orr|sub|mvn|sxt|cmp|ccmp|csel|dmb)"
; The base test file was generated by ./llvm/test/CodeGen/AArch64/Atomics/generate-tests.py
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64_be -mattr=+lse2,+lse128 -O0 | FileCheck %s --check-prefixes=CHECK,-O0
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64_be -mattr=+lse2,+lse128 -O1 | FileCheck %s --check-prefixes=CHECK,-O1
define dso_local i8 @load_atomic_i8_aligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_unordered:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr unordered, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_aligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_unordered_const:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr unordered, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_aligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_monotonic:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr monotonic, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_aligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_monotonic_const:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr monotonic, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_aligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_acquire:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr acquire, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_aligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_acquire_const:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr acquire, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_aligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_seq_cst:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr seq_cst, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_aligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_aligned_seq_cst_const:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr seq_cst, align 1
ret i8 %r
}
define dso_local i16 @load_atomic_i16_aligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_unordered:
; CHECK: ldrh w0, [x0]
%r = load atomic i16, ptr %ptr unordered, align 2
ret i16 %r
}
define dso_local i16 @load_atomic_i16_aligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_unordered_const:
; CHECK: ldrh w0, [x0]
%r = load atomic i16, ptr %ptr unordered, align 2
ret i16 %r
}
define dso_local i16 @load_atomic_i16_aligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_monotonic:
; CHECK: ldrh w0, [x0]
%r = load atomic i16, ptr %ptr monotonic, align 2
ret i16 %r
}
define dso_local i16 @load_atomic_i16_aligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_monotonic_const:
; CHECK: ldrh w0, [x0]
%r = load atomic i16, ptr %ptr monotonic, align 2
ret i16 %r
}
define dso_local i16 @load_atomic_i16_aligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_acquire:
; CHECK: ldarh w0, [x0]
%r = load atomic i16, ptr %ptr acquire, align 2
ret i16 %r
}
define dso_local i16 @load_atomic_i16_aligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_acquire_const:
; CHECK: ldarh w0, [x0]
%r = load atomic i16, ptr %ptr acquire, align 2
ret i16 %r
}
define dso_local i16 @load_atomic_i16_aligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_seq_cst:
; CHECK: ldarh w0, [x0]
%r = load atomic i16, ptr %ptr seq_cst, align 2
ret i16 %r
}
define dso_local i16 @load_atomic_i16_aligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_aligned_seq_cst_const:
; CHECK: ldarh w0, [x0]
%r = load atomic i16, ptr %ptr seq_cst, align 2
ret i16 %r
}
define dso_local i32 @load_atomic_i32_aligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_unordered:
; CHECK: ldr w0, [x0]
%r = load atomic i32, ptr %ptr unordered, align 4
ret i32 %r
}
define dso_local i32 @load_atomic_i32_aligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_unordered_const:
; CHECK: ldr w0, [x0]
%r = load atomic i32, ptr %ptr unordered, align 4
ret i32 %r
}
define dso_local i32 @load_atomic_i32_aligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_monotonic:
; CHECK: ldr w0, [x0]
%r = load atomic i32, ptr %ptr monotonic, align 4
ret i32 %r
}
define dso_local i32 @load_atomic_i32_aligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_monotonic_const:
; CHECK: ldr w0, [x0]
%r = load atomic i32, ptr %ptr monotonic, align 4
ret i32 %r
}
define dso_local i32 @load_atomic_i32_aligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_acquire:
; CHECK: ldar w0, [x0]
%r = load atomic i32, ptr %ptr acquire, align 4
ret i32 %r
}
define dso_local i32 @load_atomic_i32_aligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_acquire_const:
; CHECK: ldar w0, [x0]
%r = load atomic i32, ptr %ptr acquire, align 4
ret i32 %r
}
define dso_local i32 @load_atomic_i32_aligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_seq_cst:
; CHECK: ldar w0, [x0]
%r = load atomic i32, ptr %ptr seq_cst, align 4
ret i32 %r
}
define dso_local i32 @load_atomic_i32_aligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_aligned_seq_cst_const:
; CHECK: ldar w0, [x0]
%r = load atomic i32, ptr %ptr seq_cst, align 4
ret i32 %r
}
define dso_local i64 @load_atomic_i64_aligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_unordered:
; CHECK: ldr x0, [x0]
%r = load atomic i64, ptr %ptr unordered, align 8
ret i64 %r
}
define dso_local i64 @load_atomic_i64_aligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_unordered_const:
; CHECK: ldr x0, [x0]
%r = load atomic i64, ptr %ptr unordered, align 8
ret i64 %r
}
define dso_local i64 @load_atomic_i64_aligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_monotonic:
; CHECK: ldr x0, [x0]
%r = load atomic i64, ptr %ptr monotonic, align 8
ret i64 %r
}
define dso_local i64 @load_atomic_i64_aligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_monotonic_const:
; CHECK: ldr x0, [x0]
%r = load atomic i64, ptr %ptr monotonic, align 8
ret i64 %r
}
define dso_local i64 @load_atomic_i64_aligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_acquire:
; CHECK: ldar x0, [x0]
%r = load atomic i64, ptr %ptr acquire, align 8
ret i64 %r
}
define dso_local i64 @load_atomic_i64_aligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_acquire_const:
; CHECK: ldar x0, [x0]
%r = load atomic i64, ptr %ptr acquire, align 8
ret i64 %r
}
define dso_local i64 @load_atomic_i64_aligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_seq_cst:
; CHECK: ldar x0, [x0]
%r = load atomic i64, ptr %ptr seq_cst, align 8
ret i64 %r
}
define dso_local i64 @load_atomic_i64_aligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_aligned_seq_cst_const:
; CHECK: ldar x0, [x0]
%r = load atomic i64, ptr %ptr seq_cst, align 8
ret i64 %r
}
define dso_local i128 @load_atomic_i128_aligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_unordered:
; CHECK: ldp x1, x0, [x0]
%r = load atomic i128, ptr %ptr unordered, align 16
ret i128 %r
}
define dso_local i128 @load_atomic_i128_aligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_unordered_const:
; CHECK: ldp x1, x0, [x0]
%r = load atomic i128, ptr %ptr unordered, align 16
ret i128 %r
}
define dso_local i128 @load_atomic_i128_aligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_monotonic:
; CHECK: ldp x1, x0, [x0]
%r = load atomic i128, ptr %ptr monotonic, align 16
ret i128 %r
}
define dso_local i128 @load_atomic_i128_aligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_monotonic_const:
; CHECK: ldp x1, x0, [x0]
%r = load atomic i128, ptr %ptr monotonic, align 16
ret i128 %r
}
define dso_local i128 @load_atomic_i128_aligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_acquire:
; CHECK: ldp x1, x0, [x0]
; CHECK: dmb ishld
%r = load atomic i128, ptr %ptr acquire, align 16
ret i128 %r
}
define dso_local i128 @load_atomic_i128_aligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_acquire_const:
; CHECK: ldp x1, x0, [x0]
; CHECK: dmb ishld
%r = load atomic i128, ptr %ptr acquire, align 16
ret i128 %r
}
define dso_local i128 @load_atomic_i128_aligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_seq_cst:
; CHECK: ldp x1, x0, [x0]
; CHECK: dmb ish
%r = load atomic i128, ptr %ptr seq_cst, align 16
ret i128 %r
}
define dso_local i128 @load_atomic_i128_aligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_aligned_seq_cst_const:
; CHECK: ldp x1, x0, [x0]
; CHECK: dmb ish
%r = load atomic i128, ptr %ptr seq_cst, align 16
ret i128 %r
}
define dso_local i8 @load_atomic_i8_unaligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_unordered:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr unordered, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_unaligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_unordered_const:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr unordered, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_unaligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_monotonic:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr monotonic, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_unaligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_monotonic_const:
; CHECK: ldrb w0, [x0]
%r = load atomic i8, ptr %ptr monotonic, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_unaligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_acquire:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr acquire, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_unaligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_acquire_const:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr acquire, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_unaligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_seq_cst:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr seq_cst, align 1
ret i8 %r
}
define dso_local i8 @load_atomic_i8_unaligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i8_unaligned_seq_cst_const:
; CHECK: ldarb w0, [x0]
%r = load atomic i8, ptr %ptr seq_cst, align 1
ret i8 %r
}
define dso_local i16 @load_atomic_i16_unaligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_unordered:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr unordered, align 1
ret i16 %r
}
define dso_local i16 @load_atomic_i16_unaligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_unordered_const:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr unordered, align 1
ret i16 %r
}
define dso_local i16 @load_atomic_i16_unaligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_monotonic:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr monotonic, align 1
ret i16 %r
}
define dso_local i16 @load_atomic_i16_unaligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_monotonic_const:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr monotonic, align 1
ret i16 %r
}
define dso_local i16 @load_atomic_i16_unaligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_acquire:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr acquire, align 1
ret i16 %r
}
define dso_local i16 @load_atomic_i16_unaligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_acquire_const:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr acquire, align 1
ret i16 %r
}
define dso_local i16 @load_atomic_i16_unaligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_seq_cst:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr seq_cst, align 1
ret i16 %r
}
define dso_local i16 @load_atomic_i16_unaligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i16_unaligned_seq_cst_const:
; CHECK: bl __atomic_load
%r = load atomic i16, ptr %ptr seq_cst, align 1
ret i16 %r
}
define dso_local i32 @load_atomic_i32_unaligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_unordered:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr unordered, align 1
ret i32 %r
}
define dso_local i32 @load_atomic_i32_unaligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_unordered_const:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr unordered, align 1
ret i32 %r
}
define dso_local i32 @load_atomic_i32_unaligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_monotonic:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr monotonic, align 1
ret i32 %r
}
define dso_local i32 @load_atomic_i32_unaligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_monotonic_const:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr monotonic, align 1
ret i32 %r
}
define dso_local i32 @load_atomic_i32_unaligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_acquire:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr acquire, align 1
ret i32 %r
}
define dso_local i32 @load_atomic_i32_unaligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_acquire_const:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr acquire, align 1
ret i32 %r
}
define dso_local i32 @load_atomic_i32_unaligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_seq_cst:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr seq_cst, align 1
ret i32 %r
}
define dso_local i32 @load_atomic_i32_unaligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i32_unaligned_seq_cst_const:
; CHECK: bl __atomic_load
%r = load atomic i32, ptr %ptr seq_cst, align 1
ret i32 %r
}
define dso_local i64 @load_atomic_i64_unaligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_unordered:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr unordered, align 1
ret i64 %r
}
define dso_local i64 @load_atomic_i64_unaligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_unordered_const:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr unordered, align 1
ret i64 %r
}
define dso_local i64 @load_atomic_i64_unaligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_monotonic:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr monotonic, align 1
ret i64 %r
}
define dso_local i64 @load_atomic_i64_unaligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_monotonic_const:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr monotonic, align 1
ret i64 %r
}
define dso_local i64 @load_atomic_i64_unaligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_acquire:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr acquire, align 1
ret i64 %r
}
define dso_local i64 @load_atomic_i64_unaligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_acquire_const:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr acquire, align 1
ret i64 %r
}
define dso_local i64 @load_atomic_i64_unaligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_seq_cst:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr seq_cst, align 1
ret i64 %r
}
define dso_local i64 @load_atomic_i64_unaligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i64_unaligned_seq_cst_const:
; CHECK: bl __atomic_load
%r = load atomic i64, ptr %ptr seq_cst, align 1
ret i64 %r
}
define dso_local i128 @load_atomic_i128_unaligned_unordered(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_unordered:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr unordered, align 1
ret i128 %r
}
define dso_local i128 @load_atomic_i128_unaligned_unordered_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_unordered_const:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr unordered, align 1
ret i128 %r
}
define dso_local i128 @load_atomic_i128_unaligned_monotonic(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_monotonic:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr monotonic, align 1
ret i128 %r
}
define dso_local i128 @load_atomic_i128_unaligned_monotonic_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_monotonic_const:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr monotonic, align 1
ret i128 %r
}
define dso_local i128 @load_atomic_i128_unaligned_acquire(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_acquire:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr acquire, align 1
ret i128 %r
}
define dso_local i128 @load_atomic_i128_unaligned_acquire_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_acquire_const:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr acquire, align 1
ret i128 %r
}
define dso_local i128 @load_atomic_i128_unaligned_seq_cst(ptr %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_seq_cst:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr seq_cst, align 1
ret i128 %r
}
define dso_local i128 @load_atomic_i128_unaligned_seq_cst_const(ptr readonly %ptr) {
; CHECK-LABEL: load_atomic_i128_unaligned_seq_cst_const:
; CHECK: bl __atomic_load
%r = load atomic i128, ptr %ptr seq_cst, align 1
ret i128 %r
}
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
; -O0: {{.*}}
; -O1: {{.*}}

View File

@@ -0,0 +1,290 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --filter-out "\b(sp)\b" --filter "^\s*(ld[^r]|st|swp|cas|bl|add|and|eor|orn|orr|sub|mvn|sxt|cmp|ccmp|csel|dmb)"
; The base test file was generated by ./llvm/test/CodeGen/AArch64/Atomics/generate-tests.py
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64_be -mattr=+lse2,+lse128 -O0 | FileCheck %s --check-prefixes=CHECK,-O0
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64_be -mattr=+lse2,+lse128 -O1 | FileCheck %s --check-prefixes=CHECK,-O1
define dso_local void @store_atomic_i8_aligned_unordered(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_aligned_unordered:
; CHECK: strb w0, [x1]
store atomic i8 %value, ptr %ptr unordered, align 1
ret void
}
define dso_local void @store_atomic_i8_aligned_monotonic(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_aligned_monotonic:
; CHECK: strb w0, [x1]
store atomic i8 %value, ptr %ptr monotonic, align 1
ret void
}
define dso_local void @store_atomic_i8_aligned_release(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_aligned_release:
; CHECK: stlrb w0, [x1]
store atomic i8 %value, ptr %ptr release, align 1
ret void
}
define dso_local void @store_atomic_i8_aligned_seq_cst(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_aligned_seq_cst:
; CHECK: stlrb w0, [x1]
store atomic i8 %value, ptr %ptr seq_cst, align 1
ret void
}
define dso_local void @store_atomic_i16_aligned_unordered(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_aligned_unordered:
; CHECK: strh w0, [x1]
store atomic i16 %value, ptr %ptr unordered, align 2
ret void
}
define dso_local void @store_atomic_i16_aligned_monotonic(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_aligned_monotonic:
; CHECK: strh w0, [x1]
store atomic i16 %value, ptr %ptr monotonic, align 2
ret void
}
define dso_local void @store_atomic_i16_aligned_release(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_aligned_release:
; CHECK: stlrh w0, [x1]
store atomic i16 %value, ptr %ptr release, align 2
ret void
}
define dso_local void @store_atomic_i16_aligned_seq_cst(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_aligned_seq_cst:
; CHECK: stlrh w0, [x1]
store atomic i16 %value, ptr %ptr seq_cst, align 2
ret void
}
define dso_local void @store_atomic_i32_aligned_unordered(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_aligned_unordered:
; CHECK: str w0, [x1]
store atomic i32 %value, ptr %ptr unordered, align 4
ret void
}
define dso_local void @store_atomic_i32_aligned_monotonic(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_aligned_monotonic:
; CHECK: str w0, [x1]
store atomic i32 %value, ptr %ptr monotonic, align 4
ret void
}
define dso_local void @store_atomic_i32_aligned_release(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_aligned_release:
; CHECK: stlr w0, [x1]
store atomic i32 %value, ptr %ptr release, align 4
ret void
}
define dso_local void @store_atomic_i32_aligned_seq_cst(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_aligned_seq_cst:
; CHECK: stlr w0, [x1]
store atomic i32 %value, ptr %ptr seq_cst, align 4
ret void
}
define dso_local void @store_atomic_i64_aligned_unordered(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_aligned_unordered:
; CHECK: str x0, [x1]
store atomic i64 %value, ptr %ptr unordered, align 8
ret void
}
define dso_local void @store_atomic_i64_aligned_monotonic(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_aligned_monotonic:
; CHECK: str x0, [x1]
store atomic i64 %value, ptr %ptr monotonic, align 8
ret void
}
define dso_local void @store_atomic_i64_aligned_release(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_aligned_release:
; CHECK: stlr x0, [x1]
store atomic i64 %value, ptr %ptr release, align 8
ret void
}
define dso_local void @store_atomic_i64_aligned_seq_cst(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_aligned_seq_cst:
; CHECK: stlr x0, [x1]
store atomic i64 %value, ptr %ptr seq_cst, align 8
ret void
}
define dso_local void @store_atomic_i128_aligned_unordered(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_aligned_unordered:
; CHECK: stp x1, x0, [x2]
store atomic i128 %value, ptr %ptr unordered, align 16
ret void
}
define dso_local void @store_atomic_i128_aligned_monotonic(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_aligned_monotonic:
; CHECK: stp x1, x0, [x2]
store atomic i128 %value, ptr %ptr monotonic, align 16
ret void
}
define dso_local void @store_atomic_i128_aligned_release(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_aligned_release:
; CHECK: dmb ish
; CHECK: stp x1, x0, [x2]
store atomic i128 %value, ptr %ptr release, align 16
ret void
}
define dso_local void @store_atomic_i128_aligned_seq_cst(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_aligned_seq_cst:
; CHECK: dmb ish
; CHECK: stp x1, x0, [x2]
; CHECK: dmb ish
store atomic i128 %value, ptr %ptr seq_cst, align 16
ret void
}
define dso_local void @store_atomic_i8_unaligned_unordered(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_unaligned_unordered:
; CHECK: strb w0, [x1]
store atomic i8 %value, ptr %ptr unordered, align 1
ret void
}
define dso_local void @store_atomic_i8_unaligned_monotonic(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_unaligned_monotonic:
; CHECK: strb w0, [x1]
store atomic i8 %value, ptr %ptr monotonic, align 1
ret void
}
define dso_local void @store_atomic_i8_unaligned_release(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_unaligned_release:
; CHECK: stlrb w0, [x1]
store atomic i8 %value, ptr %ptr release, align 1
ret void
}
define dso_local void @store_atomic_i8_unaligned_seq_cst(i8 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i8_unaligned_seq_cst:
; CHECK: stlrb w0, [x1]
store atomic i8 %value, ptr %ptr seq_cst, align 1
ret void
}
define dso_local void @store_atomic_i16_unaligned_unordered(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_unaligned_unordered:
; CHECK: bl __atomic_store
store atomic i16 %value, ptr %ptr unordered, align 1
ret void
}
define dso_local void @store_atomic_i16_unaligned_monotonic(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_unaligned_monotonic:
; CHECK: bl __atomic_store
store atomic i16 %value, ptr %ptr monotonic, align 1
ret void
}
define dso_local void @store_atomic_i16_unaligned_release(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_unaligned_release:
; CHECK: bl __atomic_store
store atomic i16 %value, ptr %ptr release, align 1
ret void
}
define dso_local void @store_atomic_i16_unaligned_seq_cst(i16 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i16_unaligned_seq_cst:
; CHECK: bl __atomic_store
store atomic i16 %value, ptr %ptr seq_cst, align 1
ret void
}
define dso_local void @store_atomic_i32_unaligned_unordered(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_unaligned_unordered:
; CHECK: bl __atomic_store
store atomic i32 %value, ptr %ptr unordered, align 1
ret void
}
define dso_local void @store_atomic_i32_unaligned_monotonic(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_unaligned_monotonic:
; CHECK: bl __atomic_store
store atomic i32 %value, ptr %ptr monotonic, align 1
ret void
}
define dso_local void @store_atomic_i32_unaligned_release(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_unaligned_release:
; CHECK: bl __atomic_store
store atomic i32 %value, ptr %ptr release, align 1
ret void
}
define dso_local void @store_atomic_i32_unaligned_seq_cst(i32 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i32_unaligned_seq_cst:
; CHECK: bl __atomic_store
store atomic i32 %value, ptr %ptr seq_cst, align 1
ret void
}
define dso_local void @store_atomic_i64_unaligned_unordered(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_unaligned_unordered:
; CHECK: bl __atomic_store
store atomic i64 %value, ptr %ptr unordered, align 1
ret void
}
define dso_local void @store_atomic_i64_unaligned_monotonic(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_unaligned_monotonic:
; CHECK: bl __atomic_store
store atomic i64 %value, ptr %ptr monotonic, align 1
ret void
}
define dso_local void @store_atomic_i64_unaligned_release(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_unaligned_release:
; CHECK: bl __atomic_store
store atomic i64 %value, ptr %ptr release, align 1
ret void
}
define dso_local void @store_atomic_i64_unaligned_seq_cst(i64 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i64_unaligned_seq_cst:
; CHECK: bl __atomic_store
store atomic i64 %value, ptr %ptr seq_cst, align 1
ret void
}
define dso_local void @store_atomic_i128_unaligned_unordered(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_unaligned_unordered:
; CHECK: bl __atomic_store
store atomic i128 %value, ptr %ptr unordered, align 1
ret void
}
define dso_local void @store_atomic_i128_unaligned_monotonic(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_unaligned_monotonic:
; CHECK: bl __atomic_store
store atomic i128 %value, ptr %ptr monotonic, align 1
ret void
}
define dso_local void @store_atomic_i128_unaligned_release(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_unaligned_release:
; CHECK: bl __atomic_store
store atomic i128 %value, ptr %ptr release, align 1
ret void
}
define dso_local void @store_atomic_i128_unaligned_seq_cst(i128 %value, ptr %ptr) {
; CHECK-LABEL: store_atomic_i128_unaligned_seq_cst:
; CHECK: bl __atomic_store
store atomic i128 %value, ptr %ptr seq_cst, align 1
ret void
}
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
; -O0: {{.*}}
; -O1: {{.*}}

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

View File

@@ -14,6 +14,8 @@
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64_be -mattr=+lse2,+rcpc3 -O1 | FileCheck %s --check-prefixes=CHECK,-O1
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64_be -mattr=+lse128 -O0 | FileCheck %s --check-prefixes=CHECK,-O0
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64_be -mattr=+lse128 -O1 | FileCheck %s --check-prefixes=CHECK,-O1
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64_be -mattr=+lse2,+lse128 -O0 | FileCheck %s --check-prefixes=CHECK,-O0
; RUN: llc %s -o - -verify-machineinstrs -mtriple=aarch64_be -mattr=+lse2,+lse128 -O1 | FileCheck %s --check-prefixes=CHECK,-O1
define dso_local void @fence_acquire() {
; CHECK-LABEL: fence_acquire:

View File

@@ -113,6 +113,7 @@ class Feature(enum.Flag):
outline_atomics = enum.auto() # -moutline-atomics
rcpc3 = enum.auto() # FEAT_LSE2 + FEAT_LRCPC3
lse128 = enum.auto() # FEAT_LSE128
lse2_lse128 = enum.auto() # FEAT_LSE2 + FEAT_LSE128
@property
def mattr(self):
@@ -122,6 +123,8 @@ class Feature(enum.Flag):
return '+v8.1a'
if self == Feature.rcpc3:
return '+lse2,+rcpc3'
if self == Feature.lse2_lse128:
return '+lse2,+lse128'
return '+' + self.name