1; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s 2; 3; Check that the constraints on the parameter derived from the 4; __wrapping__ range metadata (see bottom of the file) are present: 5; 6; CHECK: Context: 7; CHECK: [tmp] -> { : -2147483648 <= tmp <= 2147483647 and (tmp >= 256 or tmp < 0) } 8; 9; void jd(int *A, int *p /* in [256, 0) */) { 10; for (int i = 0; i < 1024; i++) 11; A[i + *p] = i; 12; } 13; 14target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 15 16define void @jd(i32* %A, i32* %p) { 17entry: 18 %tmp = load i32, i32* %p, align 4, !range !0 19 br label %for.cond 20 21for.cond: ; preds = %for.inc, %entry 22 %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.inc ] 23 %exitcond = icmp ne i32 %i.0, 1024 24 br i1 %exitcond, label %for.body, label %for.end 25 26for.body: ; preds = %for.cond 27 %add = add i32 %i.0, %tmp 28 %idxprom = sext i32 %add to i64 29 %arrayidx = getelementptr inbounds i32, i32* %A, i64 %idxprom 30 store i32 %i.0, i32* %arrayidx, align 4 31 br label %for.inc 32 33for.inc: ; preds = %for.body 34 %inc = add nsw i32 %i.0, 1 35 br label %for.cond 36 37for.end: ; preds = %for.cond 38 ret void 39} 40 41!0 = !{ i32 256, i32 0 } 42