GitLab

Bugzilla Link	903
Created on	Jan 16, 2012 20:10
Version	svn
OS	Linux
Architecture	PC
Attachments	loop08.sac

Extended Description

Created an attachment (id=841)
source code to reproduce failure
AWLFIfundef: AWLFI: Algebraic-With-Loop-Folding Inference in function _dup_23807_shift__Loop_58 ends
SimplifySymb: SSE: Entering opt micro-cycle for function Loop8
SimplifySymb: SSE: LIR= 0, INL=0, CSE=10873, TUP=0, CF=37, VP=670, AS=0, AL=2, DL=0
SimplifySymb: SSE: LIR= 0, INL=0, CSE=195, TUP=0, CF=0, VP=14, AS=0, AL=0, DL=0
SimplifySymb: SSE: LIR= 0, INL=0, CSE=190, TUP=0, CF=0, VP=0, AS=0, AL=0, DL=0
SimplifySymb: SSE: LIR= 0, INL=0, CSE=190, TUP=0, CF=0, VP=0, AS=0, AL=0, DL=0
SimplifySymb: SSE: LIR= 0, INL=0, CSE=190, TUP=0, CF=0, VP=0, AS=0, AL=0, DL=0
SimplifySymb: SSE: LIR= 0, INL=0, CSE=190, TUP=0, CF=0, VP=0, AS=0, AL=0, DL=0
SimplifySymb: SSE: LIR= 0, INL=0, CSE=190, TUP=0, CF=0, VP=0, AS=0, AL=0, DL=0
SimplifySymb: SSE: LIR= 0, INL=0, CSE=190, TUP=0, CF=0, VP=0, AS=0, AL=0, DL=0
SimplifySymb: SSE: LIR= 0, INL=0, CSE=190, TUP=0, CF=0, VP=0, AS=0, AL=0, DL=0
SimplifySymb: SSE: LIR= 0, INL=0, CSE=190, TUP=0, CF=0, VP=0, AS=0, AL=0, DL=0
SimplifySymb: SSE: Stabilized at iteration 9 for function Loop8
 AWLFIfundef: AWLFI: Algebraic-With-Loop-Folding Inference in function Loop8 ends
This fails here, but I suspect it is not a new problem:
sac2c -V
sac2c v1.00-beta (Haggis And Apple)
 developer rev 17723 linux-gnu_x86_64
 (Fri Jan 13 16:39:25 EST 2012 by sac)
~/sac/demos/benchmarks/livermore_loops/for_comparison/loop08$ sac2c loop08.sac -doawlf -nowlf -bopt -v4  -#d,AWLFI,SSE &>crud
The SSE code in AWLFI calls the listed traversals in its own microcycle,
including a DCR call not shown above. Oddly enough, CSE keeps finding
the same expressions, even though they should be gone after the first
pass. This causes the microcycle to run until maxoptcyc. Not a good thing.