1; RUN: opt %loadNPMPolly '-passes=print<polly-function-scops>' -disable-output -polly-allow-nonaffine -polly-invariant-load-hoisting=true < %s \ 2; RUN: -debug 2>&1 | FileCheck %s 3 4; REQUIRES: asserts 5 6; CHECK: Region: %bb1---%bb16 7; CHECK: [n] -> { : false } 8 9; This test case at some point caused an assertion when modeling a scop, due 10; to use constructing an invalid lower and upper bound for the range of 11; non-affine accesses. 12 13target 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" 14 15define void @zot(ptr noalias %arg, ptr %D, i32 %n) { 16bb: 17 br label %bb1 18 19bb1: 20 %tmp4 = load ptr, ptr %D 21 %tmp5 = add i64 undef, 3 22 %tmp6 = add i64 %tmp5, undef 23 %tmp7 = add i64 %tmp6, undef 24 %tmp8 = getelementptr double, ptr %tmp4, i64 %tmp7 25 store i64 42, ptr %tmp8 26 br label %bb11 27 28bb11: 29 store i64 43, ptr %arg 30 br label %bb14 31 32bb14: 33 %tmp15 = icmp eq i32 0, %n 34 br i1 %tmp15, label %bb16, label %bb1 35 36bb16: 37 ret void 38} 39