47 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -disable-output < %s 2>&1 | FileCheck %s2;3; Unsigned wrap-around check.4;5; for (int i = -1; i < 65 ; i ++ )6; if ( (unsigned)i < 64 )7; A[i] = 42;8 9 10define void @func(ptr noalias nonnull %A) {11entry:12 br label %for13 14 for:15 %j = phi i32 [-1, %entry], [%j.inc, %inc]16 %j.cmp = icmp slt i32 %j, 6517 br i1 %j.cmp, label %body, label %exit18 19 body:20 %inbounds = icmp ult i32 %j, 6421 br i1 %inbounds, label %ifinbounds, label %ifoutbounds22 23 ifinbounds:24 %A_idx = getelementptr inbounds double, ptr %A, i32 %j25 store double 42.0, ptr %A_idx26 br label %inc27 28 ifoutbounds:29 br label %inc30 31 inc:32 %j.inc = add nuw nsw i32 %j, 133 br label %for34 35 exit:36 br label %return37 38 return:39 ret void40}41 42 43; CHECK: Region: %for---%return44; CHECK: Domain :=45; CHECK-NEXT: { Stmt_ifinbounds[i0] : 0 < i0 <= 64 };46 47