maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/polly/test/ScopDetect/invalidate_scalar_evolution.ll

43 lines
1.1 KiB
LLVM
Raw Normal View History

tests: Drop -polly-detect-unprofitable and -polly-no-early-exit These flags are now always passed to all tests and need to be disabled if not needed. Disabling these flags, rather than passing them to almost all tests, significantly simplfies our RUN: lines. llvm-svn: 249422
2015-10-06 23:36:44 +08:00
; RUN: opt %loadPolly -polly-detect -analyze < %s | FileCheck %s -check-prefix=PHI
Remove last uses of canoncial induction variable when scev code generating We now detect scops without a canonical induction variable and can generate a polyhedral representation for them. There was no modification necessary to code generate these scops. llvm-svn: 177643
2013-03-22 00:14:50 +08:00
; void f(long A[], long N) {
; long i;
; for (i = 0; i < N; ++i)
; A[i] = i;
; }
target 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"
define void @f(i64* %A, i64 %N, i64 %p) nounwind {
entry:
fence seq_cst
br label %pre
pre:
%p_tmp = srem i64 %p, 5
br i1 true, label %for.i, label %then
for.i:
%indvar = phi i64 [ 0, %pre ], [ %indvar.next, %for.i ]
%indvar.p1 = phi i64 [ 0, %pre ], [ %indvar.p1.next, %for.i ]
%indvar.p2 = phi i64 [ 0, %pre ], [ %indvar.p2.next, %for.i ]
%sum = add i64 %indvar, %indvar.p1
%sum2 = sub i64 %sum, %indvar.p2
Update Polly tests to handle explicitly typed gep changes in LLVM llvm-svn: 230784
2015-02-28 03:20:19 +08:00
%scevgep = getelementptr i64, i64* %A, i64 %indvar
Remove last uses of canoncial induction variable when scev code generating We now detect scops without a canonical induction variable and can generate a polyhedral representation for them. There was no modification necessary to code generate these scops. llvm-svn: 177643
2013-03-22 00:14:50 +08:00
store i64 %indvar, i64* %scevgep
%indvar.next = add nsw i64 %indvar, 1
%indvar.p1.next = add nsw i64 %indvar.p1, %p_tmp
%indvar.p2.next = add nsw i64 %indvar.p2, %p_tmp
%exitcond = icmp eq i64 %sum2, %N
br i1 %exitcond, label %then, label %for.i
then:
br label %return
return:
fence seq_cst
ret void
}
Make use of scalar/phi code generation explicit in the tests This ensures we pass all tests independently of how we set the options -disable-polly-intra-scop-scalar-to-array and -polly-model-phi-nodes. (At least if we enable both or disable both. Enabling them individually makes little sense, as they will hopefully disappear soon anyhow). llvm-svn: 238087
2015-05-23 11:34:35 +08:00
; PHI: Valid Region for Scop: pre => return