llvm/test/CodeGen/ARM/2012-01-24-RegSequenceLiveRange.ll

   1 ; RUN: llc < %s -mcpu=cortex-a8 -verify-machineinstrs -verify-coalescing
   2 ; PR11841
   3 ; PR11829
   4 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:64:128-a0:0:64-n32-S64"
   5 target triple = "armv7-none-linux-eabi"
   6
   7 ; This test case is exercising REG_SEQUENCE, and chains of REG_SEQUENCE.
   8 define arm_aapcs_vfpcc void @foo(ptr nocapture %arg, ptr %arg1) nounwind align 2 {
   9 bb:
  10   %tmp = load <2 x float>, ptr undef, align 8
  11   %tmp2 = extractelement <2 x float> %tmp, i32 0
  12   %tmp3 = insertelement <4 x float> undef, float %tmp2, i32 0
  13   %tmp4 = insertelement <4 x float> %tmp3, float 0.000000e+00, i32 1
  14   %tmp5 = insertelement <4 x float> %tmp4, float 0.000000e+00, i32 2
  15   %tmp6 = insertelement <4 x float> %tmp5, float 0.000000e+00, i32 3
  16   %tmp7 = extractelement <2 x float> %tmp, i32 1
  17   %tmp8 = insertelement <4 x float> %tmp3, float %tmp7, i32 1
  18   %tmp9 = insertelement <4 x float> %tmp8, float 0.000000e+00, i32 2
  19   %tmp10 = insertelement <4 x float> %tmp9, float 0.000000e+00, i32 3
  20   %tmp11 = bitcast <4 x float> %tmp6 to <2 x i64>
  21   %tmp12 = shufflevector <2 x i64> %tmp11, <2 x i64> undef, <1 x i32> zeroinitializer
  22   %tmp13 = bitcast <1 x i64> %tmp12 to <2 x float>
  23   %tmp14 = shufflevector <2 x float> %tmp13, <2 x float> undef, <4 x i32> zeroinitializer
  24   %tmp15 = bitcast <4 x float> %tmp14 to <2 x i64>
  25   %tmp16 = shufflevector <2 x i64> %tmp15, <2 x i64> undef, <1 x i32> zeroinitializer
  26   %tmp17 = bitcast <1 x i64> %tmp16 to <2 x float>
  27   %tmp18 = extractelement <2 x float> %tmp17, i32 0
  28   tail call arm_aapcs_vfpcc  void @bar(ptr undef, float %tmp18, float undef, float 0.000000e+00) nounwind
  29   %tmp19 = bitcast <4 x float> %tmp10 to <2 x i64>
  30   %tmp20 = shufflevector <2 x i64> %tmp19, <2 x i64> undef, <1 x i32> zeroinitializer
  31   %tmp21 = bitcast <1 x i64> %tmp20 to <2 x float>
  32   %tmp22 = shufflevector <2 x float> %tmp21, <2 x float> undef, <4 x i32> <i32 1, i32 1, i32 1, i32 1>
  33   %tmp23 = bitcast <4 x float> %tmp22 to <2 x i64>
  34   %tmp24 = shufflevector <2 x i64> %tmp23, <2 x i64> undef, <1 x i32> zeroinitializer
  35   %tmp25 = bitcast <1 x i64> %tmp24 to <2 x float>
  36   %tmp26 = extractelement <2 x float> %tmp25, i32 0
  37   tail call arm_aapcs_vfpcc  void @bar(ptr undef, float undef, float %tmp26, float 0.000000e+00) nounwind
  38   ret void
  39 }
  40
  41 define arm_aapcs_vfpcc void @foo2() nounwind uwtable {
  42 entry:
  43   br i1 undef, label %for.end, label %cond.end295
  44
  45 cond.end295:                                      ; preds = %entry
  46   %shuffle.i39.i.i1035 = shufflevector <2 x i64> undef, <2 x i64> undef, <1 x i32> zeroinitializer
  47   %shuffle.i38.i.i1036 = shufflevector <2 x i64> zeroinitializer, <2 x i64> undef, <1 x i32> zeroinitializer
  48   %shuffle.i37.i.i1037 = shufflevector <1 x i64> %shuffle.i39.i.i1035, <1 x i64> %shuffle.i38.i.i1036, <2 x i32> <i32 0, i32 1>
  49   %0 = bitcast <2 x i64> %shuffle.i37.i.i1037 to <4 x float>
  50   %1 = bitcast <4 x float> undef to <2 x i64>
  51   %shuffle.i36.i.i = shufflevector <2 x i64> %1, <2 x i64> undef, <1 x i32> zeroinitializer
  52   %shuffle.i35.i.i = shufflevector <2 x i64> undef, <2 x i64> undef, <1 x i32> zeroinitializer
  53   %shuffle.i34.i.i = shufflevector <1 x i64> %shuffle.i36.i.i, <1 x i64> %shuffle.i35.i.i, <2 x i32> <i32 0, i32 1>
  54   %2 = bitcast <2 x i64> %shuffle.i34.i.i to <4 x float>
  55   tail call void @llvm.arm.neon.vst1.p0.v4f32(ptr undef, <4 x float> %0, i32 4) nounwind
  56   tail call void @llvm.arm.neon.vst1.p0.v4f32(ptr undef, <4 x float> %2, i32 4) nounwind
  57   unreachable
  58
  59 for.end:                                          ; preds = %entry
  60   ret void
  61 }
  62
  63 ; Check that pseudo-expansion preserves <undef> flags.
  64 define void @foo3(ptr %p) nounwind ssp {
  65 entry:
  66   tail call void @llvm.arm.neon.vst2.p0.v4f32(ptr %p, <4 x float> undef, <4 x float> undef, i32 4)
  67   ret void
  68 }
  69
  70 declare arm_aapcs_vfpcc void @bar(ptr, float, float, float)
  71 declare void @llvm.arm.neon.vst1.p0.v4f32(ptr, <4 x float>, i32) nounwind
  72 declare void @llvm.arm.neon.vst2.p0.v4f32(ptr, <4 x float>, <4 x float>, i32) nounwind