1; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
2;
3; Check that a multiply-and-add results.
4
5define void @f1(float %arg, float* %Dst) {
6; CHECK-LABEL: f1:
7; CHECK: maeb
8bb:
9  %i = fmul contract float %arg, 0xBE6777A5C0000000
10  %i4 = fadd contract float %i, 1.000000e+00
11  %i5 = fmul contract float %arg, 0xBE6777A5C0000000
12  %i6 = fadd contract float %i5, 1.000000e+00
13  %i7 = fmul contract float %i4, 2.000000e+00
14  store float %i7, float* %Dst
15  ret void
16}
17
18