1; RUN: llc -mtriple=arm-eabi -mattr=+v6,+vfp2 %s -o - | FileCheck %s
2
3; RUN: llc -mtriple=arm-eabi -mattr=+v6,+vfp2 -enable-sign-dependent-rounding-fp-math %s -o - \
4; RUN:  | FileCheck %s -check-prefix CHECK-ROUNDING
5
6
7
8define double @t1(double %a, double %b) {
9entry:
10        %tmp2 = fsub double -0.000000e+00, %a            ; <double> [#uses=1]
11        %tmp4 = fmul double %tmp2, %b            ; <double> [#uses=1]
12        ret double %tmp4
13}
14
15; CHECK: vnmul.f64
16; CHECK-ROUNDING: vmul.f64
17
18