1; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s 2; 3; void f(long *A, long N, long p) { 4; for (long i = 0; i < N; i++) 5; A[i + 1] = 0; 6; } 7; 8; The wrap function has no inbounds GEP but the nowrap function has. Therefore, 9; we will add the assumption that i+1 won't overflow only to the former. 10; 11; Note: 12; 1152921504606846975 * sizeof(long) <= 2 ^ 63 - 1 13; and 14; 1152921504606846976 * sizeof(long) > 2 ^ 63 - 1 15; with 16; sizeof(long) == 8 17; 18; CHECK: Function: wrap 19; CHECK: Invalid Context: 20; CHECK-NEXT: [N] -> { : N >= 1152921504606846976 } 21; 22; CHECK: Function: nowrap 23; CHECK: Invalid Context: 24; CHECK-NEXT: [N] -> { : false } 25; 26target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 27 28define void @wrap(i64* %A, i64 %N, i64 %p) { 29bb: 30 %tmp31 = icmp slt i64 0, %N 31 br i1 %tmp31, label %bb4.lr.ph, label %bb8 32 33bb4.lr.ph: ; preds = %bb 34 br label %bb4 35 36bb4: ; preds = %bb4.lr.ph, %bb7 37 %indvars.iv2 = phi i64 [ 0, %bb4.lr.ph ], [ %indvars.iv.next, %bb7 ] 38 %tmp5 = add nuw nsw i64 %indvars.iv2, 1 39 %tmp6 = getelementptr i64, i64* %A, i64 %tmp5 40 store i64 0, i64* %tmp6, align 4 41 br label %bb7 42 43bb7: ; preds = %bb4 44 %indvars.iv.next = add nuw nsw i64 %indvars.iv2, 1 45 %tmp3 = icmp slt i64 %indvars.iv.next, %N 46 br i1 %tmp3, label %bb4, label %bb2.bb8_crit_edge 47 48bb2.bb8_crit_edge: ; preds = %bb7 49 br label %bb8 50 51bb8: ; preds = %bb2.bb8_crit_edge, %bb 52 ret void 53} 54 55define void @nowrap(i64* %A, i64 %N, i64 %p) { 56bb: 57 %tmp31 = icmp slt i64 0, %N 58 br i1 %tmp31, label %bb4.lr.ph, label %bb8 59 60bb4.lr.ph: ; preds = %bb 61 br label %bb4 62 63bb4: ; preds = %bb4.lr.ph, %bb7 64 %indvars.iv2 = phi i64 [ 0, %bb4.lr.ph ], [ %indvars.iv.next, %bb7 ] 65 %tmp5 = add nuw nsw i64 %indvars.iv2, 1 66 %tmp6 = getelementptr inbounds i64, i64* %A, i64 %tmp5 67 store i64 0, i64* %tmp6, align 4 68 br label %bb7 69 70bb7: ; preds = %bb4 71 %indvars.iv.next = add nuw nsw i64 %indvars.iv2, 1 72 %tmp3 = icmp slt i64 %indvars.iv.next, %N 73 br i1 %tmp3, label %bb4, label %bb2.bb8_crit_edge 74 75bb2.bb8_crit_edge: ; preds = %bb7 76 br label %bb8 77 78bb8: ; preds = %bb2.bb8_crit_edge, %bb 79 ret void 80} 81