6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-06-09 23:29:52 +00:00
Code Issues Projects Releases Wiki Activity

-disable-output is no longer needed with -analyze.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@94574 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2010-01-26 19:25:59 +00:00
parent c9c36cb3d9
commit 8a977e2edd
63 changed files with 66 additions and 66 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/Analysis/LoopDependenceAnalysis/alias.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -disable-output -analyze -lda | FileCheck %s
; RUN: opt < %s -analyze -lda | FileCheck %s
;; x[5] = x[6] // with x being a pointer passed as argument

2
test/Analysis/LoopDependenceAnalysis/siv-strong.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -disable-output -analyze -lda | FileCheck %s
; RUN: opt < %s -analyze -lda | FileCheck %s
@x = common global [256 x i32] zeroinitializer, align 4
@y = common global [256 x i32] zeroinitializer, align 4

2
test/Analysis/LoopDependenceAnalysis/siv-weak-crossing.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -disable-output -analyze -lda | FileCheck %s
; RUN: opt < %s -analyze -lda | FileCheck %s
@x = common global [256 x i32] zeroinitializer, align 4
@y = common global [256 x i32] zeroinitializer, align 4

2
test/Analysis/LoopDependenceAnalysis/siv-weak-zero.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -disable-output -analyze -lda | FileCheck %s
; RUN: opt < %s -analyze -lda | FileCheck %s
@x = common global [256 x i32] zeroinitializer, align 4
@y = common global [256 x i32] zeroinitializer, align 4

2
test/Analysis/LoopDependenceAnalysis/ziv.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -disable-output -analyze -lda | FileCheck %s
; RUN: opt < %s -analyze -lda | FileCheck %s
@x = common global [256 x i32] zeroinitializer, align 4

2
test/Analysis/ScalarEvolution/2007-07-15-NegativeStride.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: -scalar-evolution-max-iterations=0 | grep {Loop %bb: backedge-taken count is 100}
; PR1533

2
test/Analysis/ScalarEvolution/2007-08-06-Unsigned.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -scalar-evolution -analyze -disable-output | grep {Loop %bb: backedge-taken count is (-1 + (-1 \\* %x) + %y)}
; RUN: opt < %s -scalar-evolution -analyze | grep {Loop %bb: backedge-taken count is (-1 + (-1 \\* %x) + %y)}
; PR1597
define i32 @f(i32 %x, i32 %y) {

2
test/Analysis/ScalarEvolution/2007-09-27-LargeStepping.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: -scalar-evolution-max-iterations=0 | grep {backedge-taken count is 13}
; PR1706

2
test/Analysis/ScalarEvolution/2007-11-18-OrInstruction.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output | FileCheck %s
; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
; PR1810
define void @fun() {

2
test/Analysis/ScalarEvolution/2008-02-11-ReversedCondition.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -scalar-evolution -analyze -disable-output | grep {Loop %header: backedge-taken count is (0 smax %n)}
; RUN: opt < %s -scalar-evolution -analyze | grep {Loop %header: backedge-taken count is (0 smax %n)}
define void @foo(i32 %n) {
entry:

2
test/Analysis/ScalarEvolution/2008-02-12-SMAXTripCount.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -scalar-evolution -analyze -disable-output | grep {Loop %loop: backedge-taken count is (100 + (-100 smax %n))}
; RUN: opt < %s -scalar-evolution -analyze | grep {Loop %loop: backedge-taken count is (100 + (-100 smax %n))}
; PR2002
define void @foo(i8 %n) {

2
test/Analysis/ScalarEvolution/2008-02-15-UMax.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep umax
; RUN: opt < %s -analyze -scalar-evolution | grep umax
; PR2003
define i32 @foo(i32 %n) {

2
test/Analysis/ScalarEvolution/2008-05-25-NegativeStepToZero.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: -scalar-evolution-max-iterations=0 | grep {backedge-taken count is 61}
; PR2364

2
test/Analysis/ScalarEvolution/2008-07-12-UnneededSelect1.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output |& not grep smax
; RUN: opt < %s -analyze -scalar-evolution |& not grep smax
; PR2261
@lut = common global [256 x i8] zeroinitializer, align 32 ; <[256 x i8]*> [#uses=1]

2
test/Analysis/ScalarEvolution/2008-07-12-UnneededSelect2.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output |& not grep smax
; RUN: opt < %s -analyze -scalar-evolution |& not grep smax
; PR2070
define i32 @a(i32 %x) nounwind {

2
test/Analysis/ScalarEvolution/2008-07-19-InfiniteLoop.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: -scalar-evolution-max-iterations=0 | grep Unpredictable
; PR2088

2
test/Analysis/ScalarEvolution/2008-07-19-WrappingIV.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: -scalar-evolution-max-iterations=0 | grep {backedge-taken count is 113}
; PR2088

2
test/Analysis/ScalarEvolution/2008-07-29-SGTTripCount.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: -scalar-evolution-max-iterations=0 | FileCheck %s
; PR2607

2
test/Analysis/ScalarEvolution/2008-07-29-SMinExpr.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: -scalar-evolution-max-iterations=0 | FileCheck %s
; PR2607

2
test/Analysis/ScalarEvolution/2008-08-04-IVOverflow.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: -scalar-evolution-max-iterations=0 | FileCheck %s
; PR2621

2
test/Analysis/ScalarEvolution/2008-08-04-LongAddRec.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: -scalar-evolution-max-iterations=0 | FileCheck %s
; PR2621

2
test/Analysis/ScalarEvolution/2008-11-02-QuadraticCrash.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output
; RUN: opt < %s -analyze -scalar-evolution
; PR1827
declare void @use(i32)

2
test/Analysis/ScalarEvolution/2008-11-15-CubicOOM.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output
; RUN: opt < %s -analyze -scalar-evolution
; PR2602
define i32 @a() nounwind {

2
test/Analysis/ScalarEvolution/2008-11-18-LessThanOrEqual.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output |& \
; RUN: opt < %s -analyze -scalar-evolution |& \
; RUN: grep {Loop %bb: backedge-taken count is (7 + (-1 \\* %argc))}
; XFAIL: *

2
test/Analysis/ScalarEvolution/2008-11-18-Stride1.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: | grep {Loop %bb: Unpredictable backedge-taken count\\.}
; ScalarEvolution can't compute a trip count because it doesn't know if

2
test/Analysis/ScalarEvolution/2008-11-18-Stride2.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output |& grep {/u 3}
; RUN: opt < %s -analyze -scalar-evolution |& grep {/u 3}
; XFAIL: *
define i32 @f(i32 %x) nounwind readnone {

2
test/Analysis/ScalarEvolution/2008-12-08-FiniteSGE.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep {backedge-taken count is 255}
; RUN: opt < %s -analyze -scalar-evolution | grep {backedge-taken count is 255}
; XFAIL: *
define i32 @foo(i32 %x, i32 %y, i32* %lam, i32* %alp) nounwind {

2
test/Analysis/ScalarEvolution/2008-12-11-SMaxOverflow.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep {0 smax}
; RUN: opt < %s -analyze -scalar-evolution | grep {0 smax}
; XFAIL: *
define i32 @f(i32 %c.idx.val) {

2
test/Analysis/ScalarEvolution/2008-12-14-StrideAndSigned.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output |& \
; RUN: opt < %s -analyze -scalar-evolution |& \
; RUN: grep {(((-1 \\* %i0) + (100005 smax %i0)) /u 5)}
; XFAIL: *

2
test/Analysis/ScalarEvolution/2008-12-15-DontUseSDiv.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output |& grep {/u 5}
; RUN: opt < %s -analyze -scalar-evolution |& grep {/u 5}
; XFAIL: *
define i8 @foo0(i8 %i0) nounwind {

2
test/Analysis/ScalarEvolution/2009-01-02-SignedNegativeStride.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output | not grep {/u -1}
; RUN: opt < %s -analyze -scalar-evolution | not grep {/u -1}
; PR3275
@g_16 = external global i16 ; <i16*> [#uses=3]

2
test/Analysis/ScalarEvolution/2009-04-22-TruncCast.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep {(trunc i} | not grep ext
; RUN: opt < %s -analyze -scalar-evolution | grep {(trunc i} | not grep ext
define i16 @test1(i8 %x) {
%A = sext i8 %x to i32

2
test/Analysis/ScalarEvolution/2009-05-09-PointerEdgeCount.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep {count is 2}
; RUN: opt < %s -analyze -scalar-evolution | grep {count is 2}
; PR3171
target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"

2
test/Analysis/ScalarEvolution/SolveQuadraticEquation.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: -scalar-evolution-max-iterations=0 | grep {backedge-taken count is 100}
; PR1101

2
test/Analysis/ScalarEvolution/and-xor.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -scalar-evolution -analyze -disable-output \
; RUN: opt < %s -scalar-evolution -analyze \
; RUN: | grep {\\--> (zext} | count 2
define i32 @foo(i32 %x) {

2
test/Analysis/ScalarEvolution/avoid-infinite-recursion-0.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output
; RUN: opt < %s -analyze -scalar-evolution
; PR4537
; ModuleID = 'b.bc'

2
test/Analysis/ScalarEvolution/avoid-smax-0.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -scalar-evolution -analyze -disable-output | grep {Loop %bb3: backedge-taken count is (-1 + %n)}
; RUN: opt < %s -scalar-evolution -analyze | grep {Loop %bb3: backedge-taken count is (-1 + %n)}
; We don't want to use a max in the trip count expression in
; this testcase.

2
test/Analysis/ScalarEvolution/div-overflow.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -scalar-evolution -analyze -disable-output \
; RUN: opt < %s -scalar-evolution -analyze \
; RUN: | grep {\\--> ((-128 \\* %a) /u -128)}
; Don't let ScalarEvolution fold this div away.

2
test/Analysis/ScalarEvolution/do-loop.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep smax
; RUN: opt < %s -analyze -scalar-evolution | grep smax
; PR1614
define i32 @f(i32 %x, i32 %y) {

2
test/Analysis/ScalarEvolution/max-trip-count.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: | grep {\{%d,+,\[^\{\}\]\*\}<%bb>}
; ScalarEvolution should be able to understand the loop and eliminate the casts.

2
test/Analysis/ScalarEvolution/nsw-offset.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -S -analyze -scalar-evolution -disable-output | FileCheck %s
; RUN: opt < %s -S -analyze -scalar-evolution | FileCheck %s
; ScalarEvolution should be able to fold away the sign-extensions
; on this loop with a primary induction variable incremented with

2
test/Analysis/ScalarEvolution/nsw.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep { --> {.*,+,.*}<%bb>} | count 8
; RUN: opt < %s -analyze -scalar-evolution | grep { --> {.*,+,.*}<%bb>} | count 8
; The addrecs in this loop are analyzable only by using nsw information.

2
test/Analysis/ScalarEvolution/pointer-sign-bits.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output
; RUN: opt < %s -analyze -scalar-evolution
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
%JavaObject = type { [0 x i32 (...)*]*, i8* }

2
test/Analysis/ScalarEvolution/sext-inreg.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output > %t
; RUN: opt < %s -analyze -scalar-evolution > %t
; RUN: grep {sext i57 \{0,+,199\}<%bb> to i64} %t | count 1
; RUN: grep {sext i59 \{0,+,199\}<%bb> to i64} %t | count 1

2
test/Analysis/ScalarEvolution/sext-iv-0.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -disable-output -scalar-evolution -analyze \
; RUN: opt < %s -scalar-evolution -analyze \
; RUN: | grep { --> \{-128,+,1\}<%bb1> Exits: 127} | count 5
; Convert (sext {-128,+,1}) to {sext(-128),+,sext(1)}, since the

2
test/Analysis/ScalarEvolution/sext-iv-1.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -disable-output -scalar-evolution -analyze \
; RUN: opt < %s -scalar-evolution -analyze \
; RUN: | grep { --> (sext i. \{.\*,+,.\*\}<%bb1> to i64)} | count 5
; Don't convert (sext {...,+,...}) to {sext(...),+,sext(...)} in cases

2
test/Analysis/ScalarEvolution/sext-iv-2.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output | FileCheck %s
; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
; CHECK: %tmp3 = sext i8 %tmp2 to i32
; CHECK: --> (sext i8 {0,+,1}<%bb1> to i32) Exits: -1

4
test/Analysis/ScalarEvolution/smax.ll
View File

@ -1,5 +1,5 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep smax | count 2
; RUN: opt < %s -analyze -scalar-evolution -disable-output | grep \
; RUN: opt < %s -analyze -scalar-evolution | grep smax | count 2
; RUN: opt < %s -analyze -scalar-evolution | grep \
; RUN: {%. smax %. smax %.}
; PR1614

2
test/Analysis/ScalarEvolution/trip-count.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: -scalar-evolution-max-iterations=0 | grep {backedge-taken count is 10000}
; PR1101

2
test/Analysis/ScalarEvolution/trip-count2.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output | \
; RUN: opt < %s -analyze -scalar-evolution | \
; RUN: grep {backedge-taken count is 4}
; PR1101

2
test/Analysis/ScalarEvolution/trip-count3.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -scalar-evolution -analyze -disable-output \
; RUN: opt < %s -scalar-evolution -analyze \
; RUN: | grep {Loop %bb3\\.i: Unpredictable backedge-taken count\\.}
; ScalarEvolution can't compute a trip count because it doesn't know if

2
test/Analysis/ScalarEvolution/trip-count4.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: | grep {sext.*trunc.*Exits: 11}
; ScalarEvolution should be able to compute a loop exit value for %indvar.i8.

2
test/Analysis/ScalarEvolution/trip-count5.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output > %t
; RUN: opt < %s -analyze -scalar-evolution > %t
; RUN: grep sext %t | count 2
; RUN: not grep {(sext} %t

2
test/Analysis/ScalarEvolution/trip-count6.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -disable-output -scalar-evolution \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: | grep {max backedge-taken count is 1\$}
@mode_table = global [4 x i32] zeroinitializer ; <[4 x i32]*> [#uses=1]

2
test/Analysis/ScalarEvolution/trip-count7.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: | grep {Loop %bb7.i: Unpredictable backedge-taken count\\.}
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"

2
test/Analysis/ScalarEvolution/trip-count8.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: | grep {Loop %for\\.body: backedge-taken count is (-1 + \[%\]ecx)}
; PR4599

2
test/Analysis/ScalarEvolution/xor-and.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -scalar-evolution -disable-output -analyze \
; RUN: opt < %s -scalar-evolution -analyze \
; RUN: | grep {\\--> (zext i4 (-8 + (trunc i64 (8 \\* %x) to i4)) to i64)}
; ScalarEvolution shouldn't try to analyze %z into something like

2
test/Analysis/ScalarEvolution/zext-wrap.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -scalar-evolution -disable-output \
; RUN: opt < %s -analyze -scalar-evolution \
; RUN: | FileCheck %s
; PR4569

2
test/Other/2007-06-05-PassID.ll
View File

@ -1,4 +1,4 @@
;RUN: opt < %s -analyze -dot-cfg-only -disable-output 2>/dev/null
;RUN: opt < %s -analyze -dot-cfg-only 2>/dev/null
;PR 1497
define void @foo() {

4
test/Other/2007-06-28-PassManager.ll
View File

@ -1,6 +1,6 @@
; RUN: opt < %s -analyze -inline -disable-output
; RUN: opt < %s -analyze -inline
; PR1526
; RUN: opt < %s -analyze -indvars -disable-output
; RUN: opt < %s -analyze -indvars
; PR1539
define i32 @test1() {
ret i32 0

2
test/Transforms/IndVarSimplify/shrunk-constant.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -scalar-evolution -analyze -disable-output \
; RUN: opt < %s -scalar-evolution -analyze \
; RUN: | grep {\\--> (zext i4 {-7,+,-8}<%loop> to i32)}
define fastcc void @foo() nounwind {

4
test/Transforms/LoopStrengthReduce/pr3086.ll
View File

@ -1,5 +1,5 @@
; RUN: opt < %s -loop-reduce -disable-output
; RUN: opt < %s -analyze -scalar-evolution -disable-output
; RUN: opt < %s -loop-reduce
; RUN: opt < %s -analyze -scalar-evolution
; PR 3086
%struct.Cls = type { i32, i8, [2 x %struct.Cls*], [2 x %struct.Lit*] }

2
test/Transforms/LoopStrengthReduce/quadradic-exit-value.ll
View File

@ -1,4 +1,4 @@
; RUN: opt < %s -analyze -iv-users -disable-output | grep {Stride i64 {3,+,2}<%loop>:}
; RUN: opt < %s -analyze -iv-users | grep {Stride i64 {3,+,2}<%loop>:}
; The value of %r is dependent on a polynomial iteration expression.