| ; RUN: llc < %s -O0 -mtriple=i686-- -mcpu=corei7 -verify-machineinstrs | FileCheck %s --check-prefix X32 |
| |
| @sc64 = external global i64 |
| |
| define void @atomic_fetch_add64() nounwind { |
| ; X32-LABEL: atomic_fetch_add64: |
| entry: |
| %t1 = atomicrmw add i64* @sc64, i64 1 acquire |
| ; X32: addl |
| ; X32: adcl |
| ; X32: lock |
| ; X32: cmpxchg8b |
| %t2 = atomicrmw add i64* @sc64, i64 3 acquire |
| ; X32: addl |
| ; X32: adcl |
| ; X32: lock |
| ; X32: cmpxchg8b |
| %t3 = atomicrmw add i64* @sc64, i64 5 acquire |
| ; X32: addl |
| ; X32: adcl |
| ; X32: lock |
| ; X32: cmpxchg8b |
| %t4 = atomicrmw add i64* @sc64, i64 %t3 acquire |
| ; X32: addl |
| ; X32: adcl |
| ; X32: lock |
| ; X32: cmpxchg8b |
| ret void |
| ; X32: ret |
| } |
| |
| define void @atomic_fetch_sub64() nounwind { |
| ; X32-LABEL: atomic_fetch_sub64: |
| %t1 = atomicrmw sub i64* @sc64, i64 1 acquire |
| ; X32: addl $-1 |
| ; X32: adcl $-1 |
| ; X32: lock |
| ; X32: cmpxchg8b |
| %t2 = atomicrmw sub i64* @sc64, i64 3 acquire |
| ; X32: addl $-3 |
| ; X32: adcl $-1 |
| ; X32: lock |
| ; X32: cmpxchg8b |
| %t3 = atomicrmw sub i64* @sc64, i64 5 acquire |
| ; X32: addl $-5 |
| ; X32: adcl $-1 |
| ; X32: lock |
| ; X32: cmpxchg8b |
| %t4 = atomicrmw sub i64* @sc64, i64 %t3 acquire |
| ; X32: subl |
| ; X32: sbbl |
| ; X32: lock |
| ; X32: cmpxchg8b |
| ret void |
| ; X32: ret |
| } |
| |
| define void @atomic_fetch_and64() nounwind { |
| ; X32-LABEL: atomic_fetch_and64: |
| %t1 = atomicrmw and i64* @sc64, i64 3 acquire |
| ; X32: andl $3 |
| ; X32-NOT: andl |
| ; X32: lock |
| ; X32: cmpxchg8b |
| %t2 = atomicrmw and i64* @sc64, i64 4294967297 acquire |
| ; X32: andl $1 |
| ; X32: andl $1 |
| ; X32: lock |
| ; X32: cmpxchg8b |
| %t3 = atomicrmw and i64* @sc64, i64 %t2 acquire |
| ; X32: andl |
| ; X32: andl |
| ; X32: lock |
| ; X32: cmpxchg8b |
| ret void |
| ; X32: ret |
| } |
| |
| define void @atomic_fetch_or64() nounwind { |
| ; X32-LABEL: atomic_fetch_or64: |
| %t1 = atomicrmw or i64* @sc64, i64 3 acquire |
| ; X32: orl $3 |
| ; X32-NOT: orl |
| ; X32: lock |
| ; X32: cmpxchg8b |
| %t2 = atomicrmw or i64* @sc64, i64 4294967297 acquire |
| ; X32: orl $1 |
| ; X32: orl $1 |
| ; X32: lock |
| ; X32: cmpxchg8b |
| %t3 = atomicrmw or i64* @sc64, i64 %t2 acquire |
| ; X32: orl |
| ; X32: orl |
| ; X32: lock |
| ; X32: cmpxchg8b |
| ret void |
| ; X32: ret |
| } |
| |
| define void @atomic_fetch_xor64() nounwind { |
| ; X32-LABEL: atomic_fetch_xor64: |
| %t1 = atomicrmw xor i64* @sc64, i64 3 acquire |
| ; X32: xorl |
| ; X32-NOT: xorl |
| ; X32: lock |
| ; X32: cmpxchg8b |
| %t2 = atomicrmw xor i64* @sc64, i64 4294967297 acquire |
| ; X32: xorl $1 |
| ; X32: xorl $1 |
| ; X32: lock |
| ; X32: cmpxchg8b |
| %t3 = atomicrmw xor i64* @sc64, i64 %t2 acquire |
| ; X32: xorl |
| ; X32: xorl |
| ; X32: lock |
| ; X32: cmpxchg8b |
| ret void |
| ; X32: ret |
| } |
| |
| define void @atomic_fetch_nand64(i64 %x) nounwind { |
| ; X32-LABEL: atomic_fetch_nand64: |
| %t1 = atomicrmw nand i64* @sc64, i64 %x acquire |
| ; X32: andl |
| ; X32: andl |
| ; X32: notl |
| ; X32: notl |
| ; X32: lock |
| ; X32: cmpxchg8b |
| ret void |
| ; X32: ret |
| } |
| |
| define void @atomic_fetch_max64(i64 %x) nounwind { |
| ; X32-LABEL: atomic_fetch_max64: |
| %t1 = atomicrmw max i64* @sc64, i64 %x acquire |
| ; X32: subl |
| ; X32: subl |
| ; X32: cmov |
| ; X32: cmov |
| ; X32: lock |
| ; X32: cmpxchg8b |
| ret void |
| ; X32: ret |
| } |
| |
| define void @atomic_fetch_min64(i64 %x) nounwind { |
| ; X32-LABEL: atomic_fetch_min64: |
| %t1 = atomicrmw min i64* @sc64, i64 %x acquire |
| ; X32: subl |
| ; X32: subl |
| ; X32: cmov |
| ; X32: cmov |
| ; X32: lock |
| ; X32: cmpxchg8b |
| ret void |
| ; X32: ret |
| } |
| |
| define void @atomic_fetch_umax64(i64 %x) nounwind { |
| ; X32-LABEL: atomic_fetch_umax64: |
| %t1 = atomicrmw umax i64* @sc64, i64 %x acquire |
| ; X32: subl |
| ; X32: subl |
| ; X32: cmov |
| ; X32: cmov |
| ; X32: lock |
| ; X32: cmpxchg8b |
| ret void |
| ; X32: ret |
| } |
| |
| define void @atomic_fetch_umin64(i64 %x) nounwind { |
| ; X32-LABEL: atomic_fetch_umin64: |
| %t1 = atomicrmw umin i64* @sc64, i64 %x acquire |
| ; X32: subl |
| ; X32: subl |
| ; X32: cmov |
| ; X32: cmov |
| ; X32: lock |
| ; X32: cmpxchg8b |
| ret void |
| ; X32: ret |
| } |
| |
| define void @atomic_fetch_cmpxchg64() nounwind { |
| ; X32-LABEL: atomic_fetch_cmpxchg64: |
| %t1 = cmpxchg i64* @sc64, i64 0, i64 1 acquire acquire |
| ; X32: lock |
| ; X32: cmpxchg8b |
| ret void |
| ; X32: ret |
| } |
| |
| define void @atomic_fetch_store64(i64 %x) nounwind { |
| ; X32-LABEL: atomic_fetch_store64: |
| store atomic i64 %x, i64* @sc64 release, align 8 |
| ; X32: lock |
| ; X32: cmpxchg8b |
| ret void |
| ; X32: ret |
| } |
| |
| define void @atomic_fetch_swap64(i64 %x) nounwind { |
| ; X32-LABEL: atomic_fetch_swap64: |
| %t1 = atomicrmw xchg i64* @sc64, i64 %x acquire |
| ; X32: lock |
| ; X32: xchg8b |
| ret void |
| ; X32: ret |
| } |
