xref: /llvm-project/llvm/test/CodeGen/SystemZ/atomicrmw-fadd-01.ll (revision 03934e70ef1cf86a6ebd1a56e0b5b46f4fec8e13)
1; Test atomic float addition. Expect a compare-and-swap loop.
2;
3; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
4
5define float @f1(ptr %src, float %b) {
6; CHECK-LABEL: f1:
7; CHECK: le [[F:%f[0-9]+]], 0(%r2)
8; CHECK: [[L:\.L.+]]:
9; CHECK: lgdr [[RI:%r[0-9]+]], [[F]]
10; CHECK: aebr [[F]], %f0
11; CHECK: lgdr [[RO:%r[0-9]+]], [[F]]
12; CHECK: srlg [[RO]], [[RO]], 32
13; CHECK: srlg [[RI]], [[RI]], 32
14; CHECK: cs [[RI]], [[RO]], 0(%r2)
15; CHECK: sllg [[RI]], [[RI]], 32
16; CHECK: ldgr [[F]], [[RI]]
17; CHECK: jl [[L]]
18; CHECK: ler %f0, [[F]]
19; CHECK: br %r14
20  %res = atomicrmw fadd ptr %src, float %b seq_cst
21  ret float %res
22}
23