1; RUN: llc < %s -widen-vmovs -mcpu=cortex-a8 -verify-machineinstrs | FileCheck %s 2target triple = "thumbv7-apple-ios" 3 4; The 0.0 constant is loaded from the constant pool and kept in a register. 5; CHECK: %entry 6; CHECK: vldr.32 s 7; The float loop variable is initialized with a vmovs from the constant register. 8; The vmovs is first widened to a vmovd, and then converted to a vorr because of the v2f32 vadd.f32. 9; CHECK: vorr [[DL:d[0-9]+]], [[DN:d[0-9]+]] 10; CHECK: , [[DN]] 11; CHECK: %for.body.i 12; CHECK: vadd.f32 [[DL]], [[DL]], [[DN]] 13; 14; This test is verifying: 15; - The VMOVS widening is happening. 16; - Register liveness is verified. 17; - The execution domain switch to vorr works across basic blocks. 18 19define void @Mm() nounwind { 20entry: 21 br label %for.body4 22 23for.body4: 24 br label %for.body.i 25 26for.body.i: 27 %tmp3.i = phi float [ 0.000000e+00, %for.body4 ], [ %add.i, %for.body.i ] 28 %add.i = fadd float %tmp3.i, 0.000000e+00 29 %exitcond.i = icmp eq i32 undef, 41 30 br i1 %exitcond.i, label %rInnerproduct.exit, label %for.body.i 31 32rInnerproduct.exit: 33 store float %add.i, float* undef, align 4 34 br label %for.body4 35} 36