38 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output -polly-allow-nonaffine -polly-invariant-load-hoisting=true -debug < %s 2>&1 | FileCheck %s2 3; REQUIRES: asserts4 5; CHECK: Region: %bb1---%bb166; CHECK: [n] -> { : false }7 8; This test case at some point caused an assertion when modeling a scop, due9; to use constructing an invalid lower and upper bound for the range of10; non-affine accesses.11 12target datalayout = "e-p:64:64:64-S128-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f16:16:16-f32:32:32-f64:64:64-f128:128:128-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"13 14define void @zot(ptr noalias %arg, ptr %D, i32 %n) {15bb:16 br label %bb117 18bb1:19 %tmp4 = load ptr, ptr %D20 %tmp5 = add i64 undef, 321 %tmp6 = add i64 %tmp5, undef22 %tmp7 = add i64 %tmp6, undef23 %tmp8 = getelementptr double, ptr %tmp4, i64 %tmp724 store i64 42, ptr %tmp825 br label %bb1126 27bb11:28 store i64 43, ptr %arg29 br label %bb1430 31bb14:32 %tmp15 = icmp eq i32 0, %n33 br i1 %tmp15, label %bb16, label %bb134 35bb16:36 ret void37}38