Known Bugs

Common subexpression elimination is unstable.
Simple codes that exhibit problems in Symbolic Analysis are being actively sought!

Benchmark Results

Benchmarks and Tests that currently work with PROMIS compiler
Benchmark Name	Working Passes
SPEC95
099.go	lit all
101.tomcatv	inl lit bit all
102.swim	inl lit bit all
103.su2cor	prs lit all
104.hydro2d	lit bit prs all
107.mgrid	prs all
110.applu	inl int all
124.m88ksim	lit all
125.turb3d	lit bit all
129.compress	lit all	prs all	inl all
130.li	lit all
132.ijpeg	prs all
141.apsi	prs c	prs low c
145.fpppp	prs all
146.wave5	prs c	prs low c
147.vortex	prs all	lit all
Perfect
APS	prs c
CSS	prs c
LGS	prs c
LWS	prs c
MTS	prs c
NAS	prs c
OCS	prs c
SDS	prs c
SMS	prs c
SRS	prs c
TFS	prs c
TIS	prs c
WSS	prs c
Other
dotodoall	dotodoall
imlconv	imlconv

lit
Interpretation with fixed itearation loop conversion option.
all
Compile and verify generated C and MASM output.
inl
Inline small functions.
bit
Backward interpretation.
prs
Parse the input C/Fortran code.
int
Interpretation.
c
Generate and verify using C output.
low
Lower the internal representation to 3 address code.
dotodoall
Verify loop paralelization functionality.
imlconv
Verify IML conversion functionality.