89 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2; RUN: llc -mtriple=aarch64-- -mcpu=falkor -mattr=+lse -O0 -aarch64-enable-atomic-cfg-tidy=0 -stop-after=irtranslator -global-isel -verify-machineinstrs %s -o - | FileCheck %s3 4define i32 @atomicrmw_volatile(ptr %ptr) {5 ; CHECK-LABEL: name: atomicrmw_volatile6 ; CHECK: bb.1 (%ir-block.0):7 ; CHECK: liveins: $x08 ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x09 ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 110 ; CHECK: [[ATOMICRMW_ADD:%[0-9]+]]:_(s32) = G_ATOMICRMW_ADD [[COPY]](p0), [[C]] :: (volatile load store monotonic (s32) on %ir.ptr)11 ; CHECK: $w0 = COPY [[ATOMICRMW_ADD]](s32)12 ; CHECK: RET_ReallyLR implicit $w013 %oldval = atomicrmw volatile add ptr %ptr, i32 1 monotonic14 ret i32 %oldval15}16 17define i32 @atomicrmw_falkor(ptr %ptr) {18 ; CHECK-LABEL: name: atomicrmw_falkor19 ; CHECK: bb.1 (%ir-block.0):20 ; CHECK: liveins: $x021 ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x022 ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 123 ; CHECK: [[ATOMICRMW_ADD:%[0-9]+]]:_(s32) = G_ATOMICRMW_ADD [[COPY]](p0), [[C]] :: ("aarch64-strided-access" load store monotonic (s32) on %ir.ptr)24 ; CHECK: $w0 = COPY [[ATOMICRMW_ADD]](s32)25 ; CHECK: RET_ReallyLR implicit $w026 %oldval = atomicrmw add ptr %ptr, i32 1 monotonic, !falkor.strided.access !027 ret i32 %oldval28}29 30define i32 @atomicrmw_volatile_falkor(ptr %ptr) {31 ; CHECK-LABEL: name: atomicrmw_volatile_falkor32 ; CHECK: bb.1 (%ir-block.0):33 ; CHECK: liveins: $x034 ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x035 ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 136 ; CHECK: [[ATOMICRMW_ADD:%[0-9]+]]:_(s32) = G_ATOMICRMW_ADD [[COPY]](p0), [[C]] :: (volatile "aarch64-strided-access" load store monotonic (s32) on %ir.ptr)37 ; CHECK: $w0 = COPY [[ATOMICRMW_ADD]](s32)38 ; CHECK: RET_ReallyLR implicit $w039 %oldval = atomicrmw volatile add ptr %ptr, i32 1 monotonic, !falkor.strided.access !040 ret i32 %oldval41}42 43define i32 @cmpxchg_volatile(ptr %addr) {44 ; CHECK-LABEL: name: cmpxchg_volatile45 ; CHECK: bb.1 (%ir-block.0):46 ; CHECK: liveins: $x047 ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x048 ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 049 ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 150 ; CHECK: [[ATOMIC_CMPXCHG_WITH_SUCCESS:%[0-9]+]]:_(s32), [[ATOMIC_CMPXCHG_WITH_SUCCESS1:%[0-9]+]]:_(s1) = G_ATOMIC_CMPXCHG_WITH_SUCCESS [[COPY]](p0), [[C]], [[C1]] :: (volatile load store monotonic monotonic (s32) on %ir.addr)51 ; CHECK: $w0 = COPY [[ATOMIC_CMPXCHG_WITH_SUCCESS]](s32)52 ; CHECK: RET_ReallyLR implicit $w053 %val_success = cmpxchg volatile ptr %addr, i32 0, i32 1 monotonic monotonic54 %value_loaded = extractvalue { i32, i1 } %val_success, 055 ret i32 %value_loaded56}57 58define i32 @cmpxchg_falkor(ptr %addr) {59 ; CHECK-LABEL: name: cmpxchg_falkor60 ; CHECK: bb.1 (%ir-block.0):61 ; CHECK: liveins: $x062 ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x063 ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 064 ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 165 ; CHECK: [[ATOMIC_CMPXCHG_WITH_SUCCESS:%[0-9]+]]:_(s32), [[ATOMIC_CMPXCHG_WITH_SUCCESS1:%[0-9]+]]:_(s1) = G_ATOMIC_CMPXCHG_WITH_SUCCESS [[COPY]](p0), [[C]], [[C1]] :: ("aarch64-strided-access" load store monotonic monotonic (s32) on %ir.addr)66 ; CHECK: $w0 = COPY [[ATOMIC_CMPXCHG_WITH_SUCCESS]](s32)67 ; CHECK: RET_ReallyLR implicit $w068 %val_success = cmpxchg ptr %addr, i32 0, i32 1 monotonic monotonic, !falkor.strided.access !069 %value_loaded = extractvalue { i32, i1 } %val_success, 070 ret i32 %value_loaded71}72 73define i32 @cmpxchg_volatile_falkor(ptr %addr) {74 ; CHECK-LABEL: name: cmpxchg_volatile_falkor75 ; CHECK: bb.1 (%ir-block.0):76 ; CHECK: liveins: $x077 ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x078 ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 079 ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 180 ; CHECK: [[ATOMIC_CMPXCHG_WITH_SUCCESS:%[0-9]+]]:_(s32), [[ATOMIC_CMPXCHG_WITH_SUCCESS1:%[0-9]+]]:_(s1) = G_ATOMIC_CMPXCHG_WITH_SUCCESS [[COPY]](p0), [[C]], [[C1]] :: (volatile "aarch64-strided-access" load store monotonic monotonic (s32) on %ir.addr)81 ; CHECK: $w0 = COPY [[ATOMIC_CMPXCHG_WITH_SUCCESS]](s32)82 ; CHECK: RET_ReallyLR implicit $w083 %val_success = cmpxchg volatile ptr %addr, i32 0, i32 1 monotonic monotonic, !falkor.strided.access !084 %value_loaded = extractvalue { i32, i1 } %val_success, 085 ret i32 %value_loaded86}87 88!0 = !{}89