polly/test/ScopInfo/multidim_invalid_dimension.ll

   1 ; RUN: opt %loadPolly -polly-print-scops -disable-output < %s | FileCheck %s
   2 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   3 target triple = "aarch64-unknown-linux-gnueabi"
   4
   5 ; Make sure we don't crash trying delinearize the memory access
   6 ; CHECK: region: 'bb4 => bb14'
   7 ; CHECK-NEXT: Invalid Scop!
   8 define void @f(ptr %arg, i32 %arg1, i32 %arg2, i32 %arg3) {
   9 bb:
  10   br label %bb4
  11
  12 bb4:
  13   %tmp = phi i32 [ %arg2, %bb ], [ %tmp12, %bb4 ]
  14   %tmp5 = icmp sgt i32 %tmp, 0
  15   %tmp6 = select i1 %tmp5, i32 %tmp, i32 0
  16   %tmp7 = mul nsw i32 %tmp6, %arg3
  17   %tmp8 = sext i32 %tmp7 to i64
  18   %tmp9 = getelementptr inbounds i8, ptr %arg, i64 %tmp8
  19   %tmp11 = load i32, ptr %tmp9, align 4
  20   %tmp12 = add nsw i32 %tmp, 1
  21   %tmp13 = icmp slt i32 %tmp, %arg1
  22   br i1 %tmp13, label %bb4, label %bb14
  23
  24 bb14:
  25   ret void
  26 }