llvm/test/Transforms/LoopVectorize/X86/interleaved-accesses-large-gap.ll

   1 ; RUN: opt < %s -passes=loop-vectorize -mtriple x86_64 -S | FileCheck %s
   2
   3 %struct.ST4 = type { i32, i32, i32, i32 }
   4
   5 ; The gaps between the memory access in this function are too large for
   6 ; interleaving.
   7
   8 ; Test from https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=7560
   9 define void @test1(ptr noalias %B) {
  10 ; CHECK-LABEL: @test1
  11 ; CHECK-NEXT:  entry:
  12 ; CHECK-NEXT:    br label %for.body
  13
  14 ; CHECK-LABEL: for.body:
  15 ; CHECK: store i32
  16 ; CHECK: store i32
  17 ; CHECK: store i32
  18 ; CHECK: store i32
  19 ; CHECK-NOT: store
  20 ;
  21 entry:
  22   br label %for.body
  23
  24 for.body:                                         ; preds = %for.body, %entry
  25   %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
  26   %p1 = getelementptr inbounds %struct.ST4, ptr %B, i64 %indvars.iv, i32 0
  27   store i32 65536, ptr %p1, align 4
  28   %p2 = getelementptr i32, ptr %p1, i32 -2147483648
  29   store i32 65536, ptr %p2, align 4
  30   %p3 = getelementptr inbounds %struct.ST4, ptr %B, i64 %indvars.iv, i32 2
  31   store i32 10, ptr %p3, align 4
  32   %p4 = getelementptr inbounds %struct.ST4, ptr %B, i64 %indvars.iv, i32 3
  33   store i32 12, ptr %p4, align 4
  34   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  35   %exitcond = icmp eq i64 %indvars.iv.next, 1024
  36   br i1 %exitcond, label %for.cond.cleanup, label %for.body
  37
  38 for.cond.cleanup:                                 ; preds = %for.body
  39   ret void
  40 }
  41
  42 ; Make sure interleave groups with a key being the special 'empty' value for
  43 ; the map do not cause a crash.
  44 define void @test_gap_empty_key() {
  45 ; CHECK-LABEL: @test_gap_empty_key()
  46 ; CHECK-NEXT:  entry:
  47 ; CHECK-NEXT:    br label %for.body
  48
  49 ; CHECK-LABEL: for.body:
  50 ; CHECK: store i32
  51 ; CHECK: store i32
  52 ; CHECK-NOT: store
  53 ;
  54 entry:
  55   br label %for.body
  56
  57 for.body:
  58   %iv = phi i64 [ 1, %entry ], [ %iv.next, %for.body ]
  59   %iv.next = add nsw i64 %iv, 1
  60   %arrayidx = getelementptr inbounds [3 x i32], ptr undef, i64 0, i64 %iv.next
  61   %G2 = getelementptr i32, ptr %arrayidx, i64 %iv.next
  62   %G9 = getelementptr i32, ptr %G2, i32 -2147483647
  63   store i32 0, ptr %G2
  64   store i32 1, ptr %G9
  65   %cmp = icmp ule i64 %iv, 1000
  66   br i1 false, label %for.body, label %exit
  67
  68 exit:
  69   ret void
  70 }
  71
  72 ; Make sure interleave groups with a key being the special 'tombstone' value for
  73 ; the map do not cause a crash.
  74 define void @test_tombstone_key() {
  75 ; CHECK-LABEL: @test_tombstone_key()
  76 ; CHECK-NEXT:  entry:
  77 ; CHECK-NEXT:    br label %for.body
  78
  79 ; CHECK-LABEL: for.body:
  80 ; CHECK: store i32
  81 ; CHECK: store i32
  82 ; CHECK-NOT: store
  83 ;
  84 entry:
  85   br label %for.body
  86
  87 for.body:
  88   %iv = phi i64 [ 1, %entry ], [ %iv.next, %for.body ]
  89   %iv.next = add nsw i64 %iv, 1
  90   %arrayidx = getelementptr inbounds [3 x i32], ptr undef, i64 0, i64 %iv.next
  91   %G2 = getelementptr i32, ptr %arrayidx, i64 %iv.next
  92   %G9 = getelementptr i32, ptr %G2, i32 -2147483648
  93   store i32 0, ptr %G2
  94   store i32 1, ptr %G9
  95   %cmp = icmp ule i64 %iv, 1000
  96   br i1 false, label %for.body, label %exit
  97
  98 exit:
  99   ret void
 100 }