[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / ARM / 2009-10-02-NEONSubregsBug.ll
blob641036f684b95cca87a0dbf44fa2622566288f96
1 ; RUN: llc -mtriple=armv7-eabi -mcpu=cortex-a8 -enable-unsafe-fp-math < %s
2 ; PR5367
4 define arm_aapcs_vfpcc void @_Z27Benchmark_SceDualQuaternionPvm(i8* nocapture %pBuffer, i32 %numItems) nounwind {
5 entry:
6   br i1 undef, label %return, label %bb
8 bb:                                               ; preds = %bb, %entry
9   %0 = load float, float* undef, align 4                 ; <float> [#uses=1]
10   %1 = load float, float* null, align 4                  ; <float> [#uses=1]
11   %2 = insertelement <4 x float> undef, float undef, i32 1 ; <<4 x float>> [#uses=1]
12   %3 = insertelement <4 x float> %2, float %1, i32 2 ; <<4 x float>> [#uses=2]
13   %4 = insertelement <4 x float> undef, float %0, i32 2 ; <<4 x float>> [#uses=1]
14   %5 = insertelement <4 x float> %4, float 0.000000e+00, i32 3 ; <<4 x float>> [#uses=4]
15   %6 = fsub <4 x float> zeroinitializer, %3       ; <<4 x float>> [#uses=1]
16   %7 = shufflevector <4 x float> %6, <4 x float> undef, <4 x i32> zeroinitializer ; <<4 x float>> [#uses=2]
17   %8 = shufflevector <4 x float> %5, <4 x float> undef, <2 x i32> <i32 0, i32 1> ; <<2 x float>> [#uses=1]
18   %9 = shufflevector <2 x float> %8, <2 x float> undef, <4 x i32> <i32 1, i32 1, i32 1, i32 1> ; <<4 x float>> [#uses=2]
19   %10 = fmul <4 x float> %7, %9                   ; <<4 x float>> [#uses=1]
20   %11 = shufflevector <4 x float> zeroinitializer, <4 x float> undef, <4 x i32> zeroinitializer ; <<4 x float>> [#uses=1]
21   %12 = shufflevector <4 x float> %5, <4 x float> undef, <2 x i32> <i32 2, i32 3> ; <<2 x float>> [#uses=2]
22   %13 = shufflevector <2 x float> %12, <2 x float> undef, <4 x i32> zeroinitializer ; <<4 x float>> [#uses=1]
23   %14 = fmul <4 x float> %11, %13                 ; <<4 x float>> [#uses=1]
24   %15 = fadd <4 x float> %10, %14                 ; <<4 x float>> [#uses=1]
25   %16 = shufflevector <2 x float> %12, <2 x float> undef, <4 x i32> <i32 1, i32 1, i32 1, i32 1> ; <<4 x float>> [#uses=1]
26   %17 = fadd <4 x float> %15, zeroinitializer     ; <<4 x float>> [#uses=1]
27   %18 = shufflevector <4 x float> %17, <4 x float> zeroinitializer, <4 x i32> <i32 0, i32 5, i32 undef, i32 undef> ; <<4 x float>> [#uses=1]
28   %19 = fmul <4 x float> %7, %16                  ; <<4 x float>> [#uses=1]
29   %20 = fadd <4 x float> %19, zeroinitializer     ; <<4 x float>> [#uses=1]
30   %21 = shufflevector <4 x float> %3, <4 x float> undef, <4 x i32> <i32 2, i32 undef, i32 undef, i32 undef> ; <<4 x float>> [#uses=1]
31   %22 = shufflevector <4 x float> %21, <4 x float> undef, <4 x i32> zeroinitializer ; <<4 x float>> [#uses=1]
32   %23 = fmul <4 x float> %22, %9                  ; <<4 x float>> [#uses=1]
33   %24 = fadd <4 x float> %20, %23                 ; <<4 x float>> [#uses=1]
34   %25 = shufflevector <4 x float> %18, <4 x float> %24, <4 x i32> <i32 0, i32 1, i32 6, i32 undef> ; <<4 x float>> [#uses=1]
35   %26 = shufflevector <4 x float> %25, <4 x float> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 7> ; <<4 x float>> [#uses=1]
36   %27 = fmul <4 x float> %26, <float 5.000000e-01, float 5.000000e-01, float 5.000000e-01, float 5.000000e-01> ; <<4 x float>> [#uses=1]
37   %28 = fsub <4 x float> <float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>, %5 ; <<4 x float>> [#uses=1]
38   %29 = tail call <4 x float> @llvm.arm.neon.vrecpe.v4f32(<4 x float> zeroinitializer) nounwind ; <<4 x float>> [#uses=1]
39   %30 = fmul <4 x float> zeroinitializer, %29     ; <<4 x float>> [#uses=1]
40   %31 = fmul <4 x float> %30, <float 2.000000e+00, float 2.000000e+00, float 2.000000e+00, float 2.000000e+00> ; <<4 x float>> [#uses=1]
41   %32 = shufflevector <4 x float> %27, <4 x float> undef, <4 x i32> zeroinitializer ; <<4 x float>> [#uses=1]
42   %33 = shufflevector <4 x float> %28, <4 x float> undef, <2 x i32> <i32 2, i32 3> ; <<2 x float>> [#uses=1]
43   %34 = shufflevector <2 x float> %33, <2 x float> undef, <4 x i32> <i32 1, i32 1, i32 1, i32 1> ; <<4 x float>> [#uses=1]
44   %35 = fmul <4 x float> %32, %34                 ; <<4 x float>> [#uses=1]
45   %36 = fadd <4 x float> %35, zeroinitializer     ; <<4 x float>> [#uses=1]
46   %37 = shufflevector <4 x float> %5, <4 x float> undef, <4 x i32> <i32 1, i32 undef, i32 undef, i32 undef> ; <<4 x float>> [#uses=1]
47   %38 = shufflevector <4 x float> %37, <4 x float> undef, <4 x i32> zeroinitializer ; <<4 x float>> [#uses=1]
48   %39 = fmul <4 x float> zeroinitializer, %38     ; <<4 x float>> [#uses=1]
49   %40 = fadd <4 x float> %36, %39                 ; <<4 x float>> [#uses=1]
50   %41 = fadd <4 x float> %40, zeroinitializer     ; <<4 x float>> [#uses=1]
51   %42 = shufflevector <4 x float> undef, <4 x float> %41, <4 x i32> <i32 0, i32 1, i32 6, i32 3> ; <<4 x float>> [#uses=1]
52   %43 = fmul <4 x float> %42, %31                 ; <<4 x float>> [#uses=1]
53   store float undef, float* undef, align 4
54   store float 0.000000e+00, float* null, align 4
55   %44 = extractelement <4 x float> %43, i32 1     ; <float> [#uses=1]
56   store float %44, float* undef, align 4
57   br i1 undef, label %return, label %bb
59 return:                                           ; preds = %bb, %entry
60   ret void
63 declare <4 x float> @llvm.arm.neon.vrecpe.v4f32(<4 x float>) nounwind readnone