[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AArch64 / GlobalISel / legalize-atomicrmw.mir
blob30897eda81532aaacd1ef4fb37223acc98391865
1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -mtriple=aarch64-- -mattr=+lse -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s
4 --- |
5   target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
7   define void @cmpxchg_i8(i8* %addr) { ret void }
8   define void @cmpxchg_i16(i16* %addr) { ret void }
9   define void @cmpxchg_i32(i32* %addr) { ret void }
10   define void @cmpxchg_i64(i64* %addr) { ret void }
11 ...
13 ---
14 name:            cmpxchg_i8
15 body:             |
16   bb.0:
17     liveins: $x0
19     ; CHECK-LABEL: name: cmpxchg_i8
20     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
21     ; CHECK: [[C:%[0-9]+]]:_(s8) = G_CONSTANT i8 1
22     ; CHECK: [[ATOMICRMW_ADD:%[0-9]+]]:_(s8) = G_ATOMICRMW_ADD [[COPY]](p0), [[C]] :: (load store monotonic 1 on %ir.addr)
23     ; CHECK: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[ATOMICRMW_ADD]](s8)
24     ; CHECK: $w0 = COPY [[ANYEXT]](s32)
25     %0:_(p0) = COPY $x0
26     %1:_(s8) = G_CONSTANT i8 1
27     %2:_(s8) = G_ATOMICRMW_ADD %0, %1 :: (load store monotonic 1 on %ir.addr)
28     %3:_(s32) = G_ANYEXT %2
29     $w0 = COPY %3(s32)
30 ...
32 ---
33 name:            cmpxchg_i16
34 body:             |
35   bb.0:
36     liveins: $x0
38     ; CHECK-LABEL: name: cmpxchg_i16
39     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
40     ; CHECK: [[C:%[0-9]+]]:_(s16) = G_CONSTANT i16 1
41     ; CHECK: [[ATOMICRMW_ADD:%[0-9]+]]:_(s16) = G_ATOMICRMW_ADD [[COPY]](p0), [[C]] :: (load store monotonic 2 on %ir.addr)
42     ; CHECK: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[ATOMICRMW_ADD]](s16)
43     ; CHECK: $w0 = COPY [[ANYEXT]](s32)
44     %0:_(p0) = COPY $x0
45     %1:_(s16) = G_CONSTANT i16 1
46     %2:_(s16) = G_ATOMICRMW_ADD %0, %1 :: (load store monotonic 2 on %ir.addr)
47     %3:_(s32) = G_ANYEXT %2
48     $w0 = COPY %3(s32)
49 ...
51 ---
52 name:            cmpxchg_i32
53 body:             |
54   bb.0:
55     liveins: $x0
57     ; CHECK-LABEL: name: cmpxchg_i32
58     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
59     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
60     ; CHECK: [[ATOMICRMW_ADD:%[0-9]+]]:_(s32) = G_ATOMICRMW_ADD [[COPY]](p0), [[C]] :: (load store monotonic 4 on %ir.addr)
61     ; CHECK: $w0 = COPY [[ATOMICRMW_ADD]](s32)
62     %0:_(p0) = COPY $x0
63     %1:_(s32) = G_CONSTANT i32 1
64     %2:_(s32) = G_ATOMICRMW_ADD %0, %1 :: (load store monotonic 4 on %ir.addr)
65     $w0 = COPY %2(s32)
66 ...
68 ---
69 name:            cmpxchg_i64
70 body:             |
71   bb.0:
72     liveins: $x0
74     ; CHECK-LABEL: name: cmpxchg_i64
75     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
76     ; CHECK: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
77     ; CHECK: [[ATOMICRMW_ADD:%[0-9]+]]:_(s64) = G_ATOMICRMW_ADD [[COPY]](p0), [[C]] :: (load store monotonic 8 on %ir.addr)
78     ; CHECK: $x0 = COPY [[ATOMICRMW_ADD]](s64)
79     %0:_(p0) = COPY $x0
80     %1:_(s64) = G_CONSTANT i64 1
81     %2:_(s64) = G_ATOMICRMW_ADD %0, %1 :: (load store monotonic 8 on %ir.addr)
82     $x0 = COPY %2(s64)
83 ...