llvm/test/Transforms/SLPVectorizer/X86/crash_gep.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=slp-vectorizer,dce -S -mtriple=x86_64-unknown-linux-gnu | FileCheck %s
   3
   4 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 @a = common global ptr null, align 8
   8
   9 ; Function Attrs: nounwind uwtable
  10 define i32 @fn1() {
  11 ; CHECK-LABEL: @fn1(
  12 ; CHECK-NEXT:  entry:
  13 ; CHECK-NEXT:    [[TMP0:%.*]] = load ptr, ptr @a, align 8
  14 ; CHECK-NEXT:    [[ADD_PTR:%.*]] = getelementptr inbounds i64, ptr [[TMP0]], i64 1
  15 ; CHECK-NEXT:    [[TMP1:%.*]] = ptrtoint ptr [[ADD_PTR]] to i64
  16 ; CHECK-NEXT:    [[ARRAYIDX:%.*]] = getelementptr inbounds i64, ptr [[TMP0]], i64 2
  17 ; CHECK-NEXT:    store i64 [[TMP1]], ptr [[ARRAYIDX]], align 8
  18 ; CHECK-NEXT:    [[TMP2:%.*]] = ptrtoint ptr [[ARRAYIDX]] to i64
  19 ; CHECK-NEXT:    store i64 [[TMP2]], ptr [[ADD_PTR]], align 8
  20 ; CHECK-NEXT:    ret i32 undef
  21 ;
  22 entry:
  23   %0 = load ptr, ptr @a, align 8
  24   %add.ptr = getelementptr inbounds i64, ptr %0, i64 1
  25   %1 = ptrtoint ptr %add.ptr to i64
  26   %arrayidx = getelementptr inbounds i64, ptr %0, i64 2
  27   store i64 %1, ptr %arrayidx, align 8
  28   %2 = ptrtoint ptr %arrayidx to i64
  29   store i64 %2, ptr %add.ptr, align 8
  30   ret i32 undef
  31 }
  32
  33 define void @PR43799() {
  34 ; CHECK-LABEL: @PR43799(
  35 ; CHECK-NEXT:  entry:
  36 ; CHECK-NEXT:    br label [[BODY:%.*]]
  37 ; CHECK:       body:
  38 ; CHECK-NEXT:    br label [[BODY]]
  39 ; CHECK:       epilog:
  40 ; CHECK-NEXT:    ret void
  41 ;
  42 entry:
  43   br label %body
  44
  45 body:
  46   %p.1.i19 = phi ptr [ undef, %entry ], [ %incdec.ptr.i.7, %body ]
  47   %lsr.iv17 = phi ptr [ undef, %entry ], [ %scevgep113.7, %body ]
  48   %incdec.ptr.i.7 = getelementptr inbounds i8, ptr undef, i32 1
  49   %scevgep113.7 = getelementptr i8, ptr undef, i64 1
  50   br label %body
  51
  52 epilog:
  53   ret void
  54 }