llvm/test/CodeGen/M68k/Atomics/cmpxchg.ll

   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
   8 define 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@PLT
  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
  47 define 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@PLT
  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
  74 define 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@PLT
  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
  97 define 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@PLT
 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@PLT
 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 }