llvm/test/CodeGen/Hexagon/ldst_vector_offset.ll

   1 ; REQUIRES: asserts
   2 ; RUN: llc -O3 -mtriple=hexagon < %s -o /dev/null
   3 ; Make sure that this doesn't crash.
   4 ; This test validates that the compiler would not assert when analyzing the
   5 ; offset of V6_vS32b_pred_ai instruction
   6
   7 %struct.pluto = type <{ ptr, i16, ptr }>
   8
   9 @global = external hidden unnamed_addr constant [62 x i8], align 1
  10 @global.1 = external hidden unnamed_addr constant [47 x i8], align 1
  11 @global.2 = hidden local_unnamed_addr constant %struct.pluto <{ ptr @global, i16 892, ptr @global.1 }>, align 1
  12 @global.3 = local_unnamed_addr constant [1 x i32] zeroinitializer
  13
  14 ; Function Attrs: nocallback nofree nosync nounwind willreturn memory(inaccessiblemem: write)
  15 declare void @llvm.assume(i1 noundef) #0
  16
  17 ; Function Attrs: nocallback nofree nosync nounwind willreturn memory(none)
  18 declare <32 x i32> @llvm.hexagon.V6.vd0.128B() #1
  19
  20 ; Function Attrs: noinline nounwind
  21 declare hidden fastcc void @zot(i32, i32, i32, i32) unnamed_addr #2
  22
  23 ; Function Attrs: noinline nounwind
  24 define void @barney(ptr nocapture %arg, ptr nocapture readnone %arg1, i8 signext %arg2, i32 %arg3, ptr nocapture readnone %arg4, ptr nocapture readnone %arg5, i32 %arg6, i32 %arg7, ptr nocapture readnone %arg8, ptr nocapture readnone %arg9, ptr nocapture readnone %arg10, ptr nocapture readnone %arg11, ptr nocapture readnone %arg12, ptr nocapture readnone %arg13, ptr nocapture readnone %arg14, ptr nocapture readnone %arg15, ptr nocapture readnone %arg16, ptr nocapture readnone %arg17) local_unnamed_addr #2 {
  25 bb:
  26   %icmp = icmp ult i32 %arg3, 4
  27   tail call void @llvm.assume(i1 %icmp) #3
  28   %call = tail call <32 x i32> @llvm.hexagon.V6.vd0.128B() #3
  29   br label %bb18
  30
  31 bb18:                                             ; preds = %bb22, %bb
  32   %phi = phi i32 [ %and, %bb22 ], [ %arg3, %bb ]
  33   %phi19 = phi i32 [ %add23, %bb22 ], [ 4, %bb ]
  34   %icmp20 = icmp eq i32 %phi, 0
  35   br i1 %icmp20, label %bb21, label %bb22
  36
  37 bb21:                                             ; preds = %bb18
  38   %shl = shl i32 %phi19, 8
  39   %getelementptr = getelementptr inbounds i8, ptr %arg, i32 %shl
  40   %bitcast = bitcast ptr %getelementptr to ptr
  41   store <32 x i32> %call, ptr %bitcast, align 128
  42   br label %bb22
  43
  44 bb22:                                             ; preds = %bb21, %bb18
  45   %add = add nuw nsw i32 %phi, 1
  46   %and = and i32 %add, 3
  47   %add23 = add nuw nsw i32 %phi19, 1
  48   %icmp24 = icmp eq i32 %add23, 8
  49   br i1 %icmp24, label %bb25, label %bb18
  50
  51 bb25:                                             ; preds = %bb22
  52   tail call fastcc void @zot(i32 %arg6, i32 %arg7, i32 0, i32 %arg3)
  53   ret void
  54 }
  55
  56 attributes #0 = { nocallback nofree nosync nounwind willreturn memory(inaccessiblemem: write) }
  57 attributes #1 = { nocallback nofree nosync nounwind willreturn memory(none) }
  58 attributes #2 = { noinline nounwind "target-cpu"="hexagonv68" "target-features"="+hvx-length128b,+hvxv68,+v68,+hvx-ieee-fp,-long-calls,-small-data" "unsafe-fp-math"="true" "use-soft-float"="false" }
  59 attributes #3 = { nounwind }