90d79e258e
This was reverted in f985a8826bfa4ca3d23e654185de35e30ea6dc79. Since that, the default WMO lowering has moved to A67 compatible, the ABI attribute emission has landed (off by default), and the LLD change to merge said attributes have landed. Our ztso lowering is believed to also be A67 compatible, and no known issues remain. Original commit message: Ztso 1.0 was ratified in January 2023. Documentation: https://github.com/riscv/riscv-isa-manual/blob/main/src/ztso-st-ext.adoc
101 lines
2.6 KiB
LLVM
101 lines
2.6 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc -mtriple=riscv32 -verify-machineinstrs < %s \
|
|
; RUN: | FileCheck --check-prefixes=CHECK,WMO %s
|
|
; RUN: llc -mtriple=riscv32 -mattr=+a -verify-machineinstrs < %s \
|
|
; RUN: | FileCheck --check-prefixes=CHECK,WMO %s
|
|
; RUN: llc -mtriple=riscv32 -mattr=+a,+ztso -verify-machineinstrs < %s \
|
|
; RUN: | FileCheck --check-prefixes=CHECK,TSO %s
|
|
; RUN: llc -mtriple=riscv64 -verify-machineinstrs < %s \
|
|
; RUN: | FileCheck --check-prefixes=CHECK,WMO %s
|
|
; RUN: llc -mtriple=riscv64 -mattr=+a -verify-machineinstrs < %s \
|
|
; RUN: | FileCheck --check-prefixes=CHECK,WMO %s
|
|
; RUN: llc -mtriple=riscv64 -mattr=+a,+ztso -verify-machineinstrs < %s \
|
|
; RUN: | FileCheck --check-prefixes=CHECK,TSO %s
|
|
|
|
define void @fence_acquire() nounwind {
|
|
; WMO-LABEL: fence_acquire:
|
|
; WMO: # %bb.0:
|
|
; WMO-NEXT: fence r, rw
|
|
; WMO-NEXT: ret
|
|
;
|
|
; TSO-LABEL: fence_acquire:
|
|
; TSO: # %bb.0:
|
|
; TSO-NEXT: #MEMBARRIER
|
|
; TSO-NEXT: ret
|
|
fence acquire
|
|
ret void
|
|
}
|
|
|
|
define void @fence_release() nounwind {
|
|
; WMO-LABEL: fence_release:
|
|
; WMO: # %bb.0:
|
|
; WMO-NEXT: fence rw, w
|
|
; WMO-NEXT: ret
|
|
;
|
|
; TSO-LABEL: fence_release:
|
|
; TSO: # %bb.0:
|
|
; TSO-NEXT: #MEMBARRIER
|
|
; TSO-NEXT: ret
|
|
fence release
|
|
ret void
|
|
}
|
|
|
|
define void @fence_acq_rel() nounwind {
|
|
; WMO-LABEL: fence_acq_rel:
|
|
; WMO: # %bb.0:
|
|
; WMO-NEXT: fence.tso
|
|
; WMO-NEXT: ret
|
|
;
|
|
; TSO-LABEL: fence_acq_rel:
|
|
; TSO: # %bb.0:
|
|
; TSO-NEXT: #MEMBARRIER
|
|
; TSO-NEXT: ret
|
|
fence acq_rel
|
|
ret void
|
|
}
|
|
|
|
define void @fence_seq_cst() nounwind {
|
|
; CHECK-LABEL: fence_seq_cst:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: fence rw, rw
|
|
; CHECK-NEXT: ret
|
|
fence seq_cst
|
|
ret void
|
|
}
|
|
|
|
define void @fence_singlethread_acquire() nounwind {
|
|
; CHECK-LABEL: fence_singlethread_acquire:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: #MEMBARRIER
|
|
; CHECK-NEXT: ret
|
|
fence syncscope("singlethread") acquire
|
|
ret void
|
|
}
|
|
|
|
define void @fence_singlethread_release() nounwind {
|
|
; CHECK-LABEL: fence_singlethread_release:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: #MEMBARRIER
|
|
; CHECK-NEXT: ret
|
|
fence syncscope("singlethread") release
|
|
ret void
|
|
}
|
|
|
|
define void @fence_singlethread_acq_rel() nounwind {
|
|
; CHECK-LABEL: fence_singlethread_acq_rel:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: #MEMBARRIER
|
|
; CHECK-NEXT: ret
|
|
fence syncscope("singlethread") acq_rel
|
|
ret void
|
|
}
|
|
|
|
define void @fence_singlethread_seq_cst() nounwind {
|
|
; CHECK-LABEL: fence_singlethread_seq_cst:
|
|
; CHECK: # %bb.0:
|
|
; CHECK-NEXT: #MEMBARRIER
|
|
; CHECK-NEXT: ret
|
|
fence syncscope("singlethread") seq_cst
|
|
ret void
|
|
}
|