test/CodeGen/AMDGPU/scheduler-subrange-crash.ll

   1 ; RUN: llc -march=amdgcn < %s | FileCheck %s
   2 ; REQUIRES: asserts
   3 ;
   4 ; This test used to crash with the following assertion:
   5 ; llc: include/llvm/ADT/IntervalMap.h:632: unsigned int llvm::IntervalMapImpl::LeafNode<llvm::SlotIndex, llvm::LiveInterval *, 8, llvm::IntervalMapInfo<llvm::SlotIndex> >::insertFrom(unsigned int &, unsigned int, KeyT, KeyT, ValT) [KeyT = llvm::SlotIndex, ValT = llvm::LiveInterval *, N = 8, Traits = llvm::IntervalMapInfo<llvm::SlotIndex>]: Assertion `(i == Size || Traits::stopLess(b, start(i))) && "Overlapping insert"' failed.
   6 ;
   7 ; This was related to incorrectly calculating subregister live ranges
   8 ; (i.e. live interval subranges): subregister defs are not uses for that
   9 ; purpose.
  10 ;
  11 ; Check for a valid output:
  12 ; CHECK: tbuffer_store_format_x
  13
  14 target triple = "amdgcn--"
  15
  16 define amdgpu_gs void @main(i32 inreg %arg) #0 {
  17 main_body:
  18   %tmp = call float @llvm.SI.load.const.v4i32(<4 x i32> undef, i32 20)
  19   %tmp1 = call float @llvm.SI.load.const.v4i32(<4 x i32> undef, i32 24)
  20   %tmp2 = call float @llvm.SI.load.const.v4i32(<4 x i32> undef, i32 48)
  21   %array_vector3 = insertelement <4 x float> zeroinitializer, float %tmp2, i32 3
  22   %array_vector5 = insertelement <4 x float> <float 0.000000e+00, float undef, float undef, float undef>, float %tmp, i32 1
  23   %array_vector6 = insertelement <4 x float> %array_vector5, float undef, i32 2
  24   %array_vector9 = insertelement <4 x float> <float 0.000000e+00, float undef, float undef, float undef>, float %tmp1, i32 1
  25   %array_vector10 = insertelement <4 x float> %array_vector9, float 0.000000e+00, i32 2
  26   %array_vector11 = insertelement <4 x float> %array_vector10, float undef, i32 3
  27   %tmp3 = call i32 @llvm.amdgcn.raw.buffer.load.i32(<4 x i32> undef, i32 undef, i32 4864, i32 0)
  28   call void @llvm.amdgcn.tbuffer.store.i32(i32 %tmp3, <4 x i32> undef, i32 0, i32 0, i32 %arg, i32 36, i32 4, i32 4, i1 1, i1 1)
  29   %bc = bitcast <4 x float> %array_vector3 to <4 x i32>
  30   %tmp4 = extractelement <4 x i32> %bc, i32 undef
  31   call void @llvm.amdgcn.tbuffer.store.i32(i32 %tmp4, <4 x i32> undef, i32 0, i32 0, i32 %arg, i32 48, i32 4, i32 4, i1 1, i1 1)
  32   %bc49 = bitcast <4 x float> %array_vector11 to <4 x i32>
  33   %tmp5 = extractelement <4 x i32> %bc49, i32 undef
  34   call void @llvm.amdgcn.tbuffer.store.i32(i32 %tmp5, <4 x i32> undef, i32 0, i32 0, i32 %arg, i32 72, i32 4, i32 4, i1 1, i1 1)
  35   %array_vector21 = insertelement <4 x float> <float 0.000000e+00, float undef, float undef, float undef>, float %tmp, i32 1
  36   %array_vector22 = insertelement <4 x float> %array_vector21, float undef, i32 2
  37   %array_vector23 = insertelement <4 x float> %array_vector22, float undef, i32 3
  38   call void @llvm.amdgcn.tbuffer.store.i32(i32 undef, <4 x i32> undef, i32 0, i32 0, i32 %arg, i32 28, i32 4, i32 4, i1 1, i1 1)
  39   %bc52 = bitcast <4 x float> %array_vector23 to <4 x i32>
  40   %tmp6 = extractelement <4 x i32> %bc52, i32 undef
  41   call void @llvm.amdgcn.tbuffer.store.i32(i32 %tmp6, <4 x i32> undef, i32 0, i32 0, i32 %arg, i32 64, i32 4, i32 4, i1 1, i1 1)
  42   call void @llvm.amdgcn.tbuffer.store.i32(i32 undef, <4 x i32> undef, i32 0, i32 0, i32 %arg, i32 20, i32 4, i32 4, i1 1, i1 1)
  43   call void @llvm.amdgcn.tbuffer.store.i32(i32 undef, <4 x i32> undef, i32 0, i32 0, i32 %arg, i32 56, i32 4, i32 4, i1 1, i1 1)
  44   call void @llvm.amdgcn.tbuffer.store.i32(i32 undef, <4 x i32> undef, i32 0, i32 0, i32 %arg, i32 92, i32 4, i32 4, i1 1, i1 1)
  45   ret void
  46 }
  47
  48 declare float @llvm.SI.load.const.v4i32(<4 x i32>, i32) #1
  49 declare i32 @llvm.amdgcn.raw.buffer.load.i32(<4 x i32>, i32, i32, i32) #2
  50 declare void @llvm.amdgcn.tbuffer.store.i32(i32, <4 x i32>, i32, i32, i32, i32, i32, i32, i1, i1) #3
  51
  52 attributes #0 = { nounwind "target-cpu"="tonga" }
  53 attributes #1 = { nounwind readnone }
  54 attributes #2 = { nounwind readonly }
  55 attributes #3 = { nounwind }