xref: /llvm-project/llvm/test/CodeGen/M68k/Atomics/cmpxchg.ll (revision ebbc5de7db45b2fc81564a6c870a57f4b95d0477)
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc %s -o - -mtriple=m68k -mcpu=M68000 | FileCheck %s --check-prefix=NO-ATOMIC
3; RUN: llc %s -o - -mtriple=m68k -mcpu=M68010 | FileCheck %s --check-prefix=NO-ATOMIC
4; RUN: llc %s -o - -mtriple=m68k -mcpu=M68020 | FileCheck %s --check-prefix=ATOMIC
5; RUN: llc %s -o - -mtriple=m68k -mcpu=M68030 | FileCheck %s --check-prefix=ATOMIC
6; RUN: llc %s -o - -mtriple=m68k -mcpu=M68040 | FileCheck %s --check-prefix=ATOMIC
7
8define i1 @cmpxchg_i8_monotonic_monotonic(i8 %cmp, i8 %new, ptr %mem) nounwind {
9; NO-ATOMIC-LABEL: cmpxchg_i8_monotonic_monotonic:
10; NO-ATOMIC:       ; %bb.0:
11; NO-ATOMIC-NEXT:    suba.l #20, %sp
12; NO-ATOMIC-NEXT:    movem.l %d2, (16,%sp) ; 8-byte Folded Spill
13; NO-ATOMIC-NEXT:    move.b (31,%sp), %d0
14; NO-ATOMIC-NEXT:    and.l #255, %d0
15; NO-ATOMIC-NEXT:    move.l %d0, (8,%sp)
16; NO-ATOMIC-NEXT:    move.b (27,%sp), %d2
17; NO-ATOMIC-NEXT:    move.l %d2, %d0
18; NO-ATOMIC-NEXT:    and.l #255, %d0
19; NO-ATOMIC-NEXT:    move.l %d0, (4,%sp)
20; NO-ATOMIC-NEXT:    move.l (32,%sp), (%sp)
21; NO-ATOMIC-NEXT:    jsr __sync_val_compare_and_swap_1
22; NO-ATOMIC-NEXT:    sub.b %d2, %d0
23; NO-ATOMIC-NEXT:    seq %d0
24; NO-ATOMIC-NEXT:    movem.l (16,%sp), %d2 ; 8-byte Folded Reload
25; NO-ATOMIC-NEXT:    adda.l #20, %sp
26; NO-ATOMIC-NEXT:    rts
27;
28; ATOMIC-LABEL: cmpxchg_i8_monotonic_monotonic:
29; ATOMIC:       ; %bb.0:
30; ATOMIC-NEXT:    suba.l #4, %sp
31; ATOMIC-NEXT:    movem.l %d2, (0,%sp) ; 8-byte Folded Spill
32; ATOMIC-NEXT:    move.l (16,%sp), %a0
33; ATOMIC-NEXT:    move.b (15,%sp), %d0
34; ATOMIC-NEXT:    move.b (11,%sp), %d1
35; ATOMIC-NEXT:    move.b %d1, %d2
36; ATOMIC-NEXT:    cas.b %d2, %d0, (%a0)
37; ATOMIC-NEXT:    sub.b %d1, %d2
38; ATOMIC-NEXT:    seq %d0
39; ATOMIC-NEXT:    movem.l (0,%sp), %d2 ; 8-byte Folded Reload
40; ATOMIC-NEXT:    adda.l #4, %sp
41; ATOMIC-NEXT:    rts
42  %res = cmpxchg ptr %mem, i8 %cmp, i8 %new monotonic monotonic
43  %val = extractvalue {i8, i1} %res, 1
44  ret i1 %val
45}
46
47define i16 @cmpxchg_i16_release_monotonic(i16 %cmp, i16 %new, ptr %mem) nounwind {
48; NO-ATOMIC-LABEL: cmpxchg_i16_release_monotonic:
49; NO-ATOMIC:       ; %bb.0:
50; NO-ATOMIC-NEXT:    suba.l #12, %sp
51; NO-ATOMIC-NEXT:    move.w (22,%sp), %d0
52; NO-ATOMIC-NEXT:    and.l #65535, %d0
53; NO-ATOMIC-NEXT:    move.l %d0, (8,%sp)
54; NO-ATOMIC-NEXT:    move.w (18,%sp), %d0
55; NO-ATOMIC-NEXT:    and.l #65535, %d0
56; NO-ATOMIC-NEXT:    move.l %d0, (4,%sp)
57; NO-ATOMIC-NEXT:    move.l (24,%sp), (%sp)
58; NO-ATOMIC-NEXT:    jsr __sync_val_compare_and_swap_2
59; NO-ATOMIC-NEXT:    adda.l #12, %sp
60; NO-ATOMIC-NEXT:    rts
61;
62; ATOMIC-LABEL: cmpxchg_i16_release_monotonic:
63; ATOMIC:       ; %bb.0:
64; ATOMIC-NEXT:    move.l (12,%sp), %a0
65; ATOMIC-NEXT:    move.w (10,%sp), %d1
66; ATOMIC-NEXT:    move.w (6,%sp), %d0
67; ATOMIC-NEXT:    cas.w %d0, %d1, (%a0)
68; ATOMIC-NEXT:    rts
69  %res = cmpxchg ptr %mem, i16 %cmp, i16 %new release monotonic
70  %val = extractvalue {i16, i1} %res, 0
71  ret i16 %val
72}
73
74define i32 @cmpxchg_i32_release_acquire(i32 %cmp, i32 %new, ptr %mem) nounwind {
75; NO-ATOMIC-LABEL: cmpxchg_i32_release_acquire:
76; NO-ATOMIC:       ; %bb.0:
77; NO-ATOMIC-NEXT:    suba.l #12, %sp
78; NO-ATOMIC-NEXT:    move.l (20,%sp), (8,%sp)
79; NO-ATOMIC-NEXT:    move.l (16,%sp), (4,%sp)
80; NO-ATOMIC-NEXT:    move.l (24,%sp), (%sp)
81; NO-ATOMIC-NEXT:    jsr __sync_val_compare_and_swap_4
82; NO-ATOMIC-NEXT:    adda.l #12, %sp
83; NO-ATOMIC-NEXT:    rts
84;
85; ATOMIC-LABEL: cmpxchg_i32_release_acquire:
86; ATOMIC:       ; %bb.0:
87; ATOMIC-NEXT:    move.l (12,%sp), %a0
88; ATOMIC-NEXT:    move.l (8,%sp), %d1
89; ATOMIC-NEXT:    move.l (4,%sp), %d0
90; ATOMIC-NEXT:    cas.l %d0, %d1, (%a0)
91; ATOMIC-NEXT:    rts
92  %res = cmpxchg ptr %mem, i32 %cmp, i32 %new release acquire
93  %val = extractvalue {i32, i1} %res, 0
94  ret i32 %val
95}
96
97define i64 @cmpxchg_i64_seqcst_seqcst(i64 %cmp, i64 %new, ptr %mem) nounwind {
98; NO-ATOMIC-LABEL: cmpxchg_i64_seqcst_seqcst:
99; NO-ATOMIC:       ; %bb.0:
100; NO-ATOMIC-NEXT:    suba.l #36, %sp
101; NO-ATOMIC-NEXT:    move.l (44,%sp), (28,%sp)
102; NO-ATOMIC-NEXT:    move.l (40,%sp), (24,%sp)
103; NO-ATOMIC-NEXT:    lea (24,%sp), %a0
104; NO-ATOMIC-NEXT:    move.l %a0, (4,%sp)
105; NO-ATOMIC-NEXT:    move.l #5, (20,%sp)
106; NO-ATOMIC-NEXT:    move.l #5, (16,%sp)
107; NO-ATOMIC-NEXT:    move.l (52,%sp), (12,%sp)
108; NO-ATOMIC-NEXT:    move.l (48,%sp), (8,%sp)
109; NO-ATOMIC-NEXT:    move.l (56,%sp), (%sp)
110; NO-ATOMIC-NEXT:    jsr __atomic_compare_exchange_8
111; NO-ATOMIC-NEXT:    move.l (28,%sp), %d1
112; NO-ATOMIC-NEXT:    move.l (24,%sp), %d0
113; NO-ATOMIC-NEXT:    adda.l #36, %sp
114; NO-ATOMIC-NEXT:    rts
115;
116; ATOMIC-LABEL: cmpxchg_i64_seqcst_seqcst:
117; ATOMIC:       ; %bb.0:
118; ATOMIC-NEXT:    suba.l #36, %sp
119; ATOMIC-NEXT:    move.l (44,%sp), (28,%sp)
120; ATOMIC-NEXT:    move.l (40,%sp), (24,%sp)
121; ATOMIC-NEXT:    lea (24,%sp), %a0
122; ATOMIC-NEXT:    move.l %a0, (4,%sp)
123; ATOMIC-NEXT:    move.l #5, (20,%sp)
124; ATOMIC-NEXT:    move.l #5, (16,%sp)
125; ATOMIC-NEXT:    move.l (52,%sp), (12,%sp)
126; ATOMIC-NEXT:    move.l (48,%sp), (8,%sp)
127; ATOMIC-NEXT:    move.l (56,%sp), (%sp)
128; ATOMIC-NEXT:    jsr __atomic_compare_exchange_8
129; ATOMIC-NEXT:    move.l (28,%sp), %d1
130; ATOMIC-NEXT:    move.l (24,%sp), %d0
131; ATOMIC-NEXT:    adda.l #36, %sp
132; ATOMIC-NEXT:    rts
133  %res = cmpxchg ptr %mem, i64 %cmp, i64 %new seq_cst seq_cst
134  %val = extractvalue {i64, i1} %res, 0
135  ret i64 %val
136}
137