; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
;
; Check that a multiply-and-add results.

define void @f1(float %arg, float* %Dst) {
; CHECK-LABEL: f1:
; CHECK: maeb
bb:
  %i = fmul contract float %arg, 0xBE6777A5C0000000
  %i4 = fadd contract float %i, 1.000000e+00
  %i5 = fmul contract float %arg, 0xBE6777A5C0000000
  %i6 = fadd contract float %i5, 1.000000e+00
  %i7 = fmul contract float %i4, 2.000000e+00
  store float %i7, float* %Dst
  ret void
}