1; RUN: llc < %s -mtriple=arm-linux-gnueabi -mattr=+vfp2 -float-abi=hard | FileCheck %s
2
3define float @f(float %z, double %a, float %b) {
4; CHECK: vmov.f32 s0, s1
5        %tmp = call float @g(float %b)
6        ret float %tmp
7}
8
9declare float @g(float)
10