forked from OSchip/llvm-project
[Polly] Added dedicated test for working -O3 pipeline.
Test the NewPM as well as the legacy PM.
This commit is contained in:
parent
11511ee343
commit
d50f92a4f0
|
@ -0,0 +1,41 @@
|
|||
; RUN: opt %loadPolly -enable-new-pm=0 -polly -O3 -S < %s | FileCheck %s
|
||||
; RUN: opt %loadPolly -enable-new-pm=1 -polly -O3 -S < %s | FileCheck %s
|
||||
;
|
||||
; Check that Polly's default pipeline works from detection to code generation
|
||||
; with either pass manager.
|
||||
; The presence of the BB polly.stmt.body.lr.ph indicates that the statement
|
||||
; has been re-generated by Polly. It should not have been merged with other
|
||||
; BBs by SimplifyCFG.
|
||||
;
|
||||
; for (int j = 0; j < n; j += 1) {
|
||||
; A[0] = 42.0;
|
||||
; }
|
||||
;
|
||||
define void @func(i32 %n, double* noalias nonnull %A) {
|
||||
entry:
|
||||
br label %for
|
||||
|
||||
for:
|
||||
%j = phi i32 [0, %entry], [%j.inc, %inc]
|
||||
%j.cmp = icmp slt i32 %j, %n
|
||||
br i1 %j.cmp, label %body, label %exit
|
||||
|
||||
body:
|
||||
store double 42.0, double* %A
|
||||
br label %inc
|
||||
|
||||
inc:
|
||||
%j.inc = add nuw nsw i32 %j, 1
|
||||
br label %for
|
||||
|
||||
exit:
|
||||
br label %return
|
||||
|
||||
return:
|
||||
ret void
|
||||
}
|
||||
|
||||
|
||||
; CHECK-LABEL: define void @func(i32 %n, double* noalias nocapture nonnull %A)
|
||||
; CHECK: polly.stmt.body.lr.ph:
|
||||
; CHECK-NEXT: store double 4.200000e+01, double* %A, align 8
|
Loading…
Reference in New Issue