65 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=aarch64-- -mattr=+lse -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s3 4--- |5 target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"6 7 define void @cmpxchg_i32(ptr %addr) { ret void }8 define void @cmpxchg_i64(ptr %addr) { ret void }9...10 11---12name: cmpxchg_i3213 14body: |15 bb.0:16 liveins: $x017 18 ; CHECK-LABEL: name: cmpxchg_i3219 ; CHECK: liveins: $x020 ; CHECK-NEXT: {{ $}}21 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(p0) = COPY $x022 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 023 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 124 ; CHECK-NEXT: [[ATOMIC_CMPXCHG:%[0-9]+]]:_(s32) = G_ATOMIC_CMPXCHG [[COPY]](p0), [[C]], [[C1]] :: (load store monotonic (s64) on %ir.addr)25 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(eq), [[ATOMIC_CMPXCHG]](s32), [[C]]26 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY [[ATOMIC_CMPXCHG]](s32)27 ; CHECK-NEXT: [[MUL:%[0-9]+]]:_(s32) = G_MUL [[COPY1]], [[ICMP]]28 ; CHECK-NEXT: $w0 = COPY [[MUL]](s32)29 %0:_(p0) = COPY $x030 %1:_(s32) = G_CONSTANT i32 031 %2:_(s32) = G_CONSTANT i32 132 %3:_(s32), %4:_(s1) = G_ATOMIC_CMPXCHG_WITH_SUCCESS %0, %1, %2 :: (load store monotonic (s64) on %ir.addr)33 %5:_(s32) = G_ANYEXT %434 %6:_(s32) = G_MUL %3, %535 $w0 = COPY %6(s32)36...37 38---39name: cmpxchg_i6440 41body: |42 bb.0:43 liveins: $x044 45 ; CHECK-LABEL: name: cmpxchg_i6446 ; CHECK: liveins: $x047 ; CHECK-NEXT: {{ $}}48 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(p0) = COPY $x049 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 050 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 151 ; CHECK-NEXT: [[ATOMIC_CMPXCHG:%[0-9]+]]:_(s64) = G_ATOMIC_CMPXCHG [[COPY]](p0), [[C]], [[C1]] :: (load store monotonic (s64) on %ir.addr)52 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(eq), [[ATOMIC_CMPXCHG]](s64), [[C]]53 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY [[ATOMIC_CMPXCHG]](s64)54 ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s64) = G_ANYEXT [[ICMP]](s32)55 ; CHECK-NEXT: [[MUL:%[0-9]+]]:_(s64) = G_MUL [[COPY1]], [[ANYEXT]]56 ; CHECK-NEXT: $x0 = COPY [[MUL]](s64)57 %0:_(p0) = COPY $x058 %1:_(s64) = G_CONSTANT i64 059 %2:_(s64) = G_CONSTANT i64 160 %3:_(s64), %4:_(s1) = G_ATOMIC_CMPXCHG_WITH_SUCCESS %0, %1, %2 :: (load store monotonic (s64) on %ir.addr)61 %5:_(s64) = G_ANYEXT %462 %6:_(s64) = G_MUL %3, %563 $x0 = COPY %6(s64)64...65