1 ; RUN: llc -mtriple=arm-eabi -mattr=+vfp3 %s -o - | FileCheck %s 2 3 define float @t1(float %x) nounwind readnone optsize { 4 entry: 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 11 define double @t2(double %x) nounwind readnone optsize { 12 entry: 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 19 define double @t3(double %x) nounwind readnone optsize { 20 entry: 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 27 define float @t4(float %x) nounwind readnone optsize { 28 entry: 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
