1; RUN: llc -mtriple=arm-eabi -mattr=+vfp3 %s -o - | FileCheck %s
2
3define float @t1(float %x) nounwind readnone optsize {
4entry:
5; CHECK-LABEL: t1:
6; CHECK: vmov.f32 s{{.*}}, #4.000000e+00
7  %0 = fadd float %x, 4.000000e+00
8  ret float %0
9}
10
11define double @t2(double %x) nounwind readnone optsize {
12entry:
13; CHECK-LABEL: t2:
14; CHECK: vmov.f64 d{{.*}}, #3.000000e+00
15  %0 = fadd double %x, 3.000000e+00
16  ret double %0
17}
18
19define double @t3(double %x) nounwind readnone optsize {
20entry:
21; CHECK-LABEL: t3:
22; CHECK: vmov.f64 d{{.*}}, #-1.300000e+01
23  %0 = fmul double %x, -1.300000e+01
24  ret double %0
25}
26
27define float @t4(float %x) nounwind readnone optsize {
28entry:
29; CHECK-LABEL: t4:
30; CHECK: vmov.f32 s{{.*}}, #-2.400000e+01
31  %0 = fmul float %x, -2.400000e+01
32  ret float %0
33}
34