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