1; RUN: opt %loadPolly -polly-scops -analyze -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(double* noalias %arg, double** %D, i32 %n) { 16bb: 17 br label %bb1 18 19bb1: 20 %tmp4 = load double*, double** %D 21 %tmp5 = add i64 undef, 3 22 %tmp6 = add i64 %tmp5, undef 23 %tmp7 = add i64 %tmp6, undef 24 %tmp8 = getelementptr double, double* %tmp4, i64 %tmp7 25 %tmp9 = bitcast double* %tmp8 to i64* 26 store i64 42, i64* %tmp9 27 br label %bb11 28 29bb11: 30 %tmp12 = getelementptr double, double* %arg, i64 0 31 %tmp13 = bitcast double* %tmp12 to i64* 32 store i64 43, i64* %tmp13 33 br label %bb14 34 35bb14: 36 %tmp15 = icmp eq i32 0, %n 37 br i1 %tmp15, label %bb16, label %bb1 38 39bb16: 40 ret void 41} 42