; Test atomic double minimum.
; Expect a libcall in a compare-and-swap loop.
;
; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s

define double @f1(ptr %src, double %b) {
; CHECK-LABEL: f1:
; CHECK: lgr [[SRC:%r[0-9]+]], %r2
; CHECK: ld [[FSRC:%f[0-9]+]], 0(%r2)
; CHECK: ldr [[FB:%f[0-9]+]], %f0
; CHECK: [[L:\.L.+]]:
; CHECK: ldr %f0, [[FSRC]]
; CHECK: ldr %f2, [[FB]]
; CHECK: brasl %r14, fmin@PLT
; CHECK: lgdr [[RO:%r[0-9]+]], %f0
; CHECK: lgdr [[RI:%r[0-9]+]], [[FSRC]]
; CHECK: csg [[RI]], [[RO]], 0([[SRC]])
; CHECK: ldgr [[FSRC]], [[RI]]
; CHECK: jl [[L]]
; CHECK: ldr %f0, [[FSRC]]
; CHECK: br %r14
  %res = atomicrmw fmin ptr %src, double %b seq_cst
  ret double %res
}