29 lines · plain
1; RUN: opt %loadNPMPolly -aa-pipeline= '-passes=polly-custom<scops>' -polly-print-detect -polly-print-scops -disable-output -stats < %s 2>&1 | FileCheck %s --check-prefix=RTA2; RUN: opt %loadNPMPolly -aa-pipeline= '-passes=polly-custom<scops>' -polly-print-detect -polly-print-scops -polly-use-runtime-alias-checks=false -disable-output -stats < %s 2>&1 | FileCheck %s --check-prefix=NORTA3; REQUIRES: asserts4 5target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"6 7define void @f(ptr noalias nocapture %a, ptr noalias nocapture %b) nounwind {8bb.nph:9 br label %bb10 11bb: ; preds = %bb, %bb.nph12 %i.03 = phi i64 [ 0, %bb.nph ], [ %2, %bb ] ; <i64> [#uses=3]13 %scevgep = getelementptr i32, ptr %b, i64 %i.03 ; <ptr> [#uses=1]14 %scevgep4 = getelementptr i32, ptr %a, i64 %i.03 ; <ptr> [#uses=1]15 %0 = load i32, ptr %scevgep, align 4 ; <i32> [#uses=1]16 %1 = add nsw i32 %0, 2 ; <i32> [#uses=1]17 store i32 %1, ptr %scevgep4, align 418 %2 = add nsw i64 %i.03, 1 ; <i64> [#uses=2]19 %exitcond = icmp eq i64 %2, 128 ; <i1> [#uses=1]20 br i1 %exitcond, label %return, label %bb21 22return: ; preds = %bb23 ret void24}25 26 27; RTA: 1 polly-detect - Number of scops28; NORTA: 1 polly-detect - Number of rejected regions: Base address aliasing29