Livermore Loop09 ast corrupted by EBT at end of -bopt
Bugzilla Link | 904 |
Created on | Jan 17, 2012 16:53 |
Version | svn |
OS | Linux |
Architecture | PC |
Attachments | crud.sac |
Extended Description
Created an attachment (id=842) source code to reproduce failure 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@rattler:~/sac/demos/benchmarks/livermore_loops/for_comparison/loop09$ sac2c crud.sac -bopt:ebt -d treecheck -chkfreq 4 -v1 -nosaacyc -noive >crud The failure mode is this: If left to itself, things crash in: IVESLIdoIVESplitLoopInvariants, with: tree/infer_dfms.c:312 Assertion "N_avis == NODE_TYPE(avis)" failed! avis expected However, -bopt:ebt shows that the damage has occurred much earlier. The bug appeared with the rewrite of vecmatmul, as follows: inline double[N] vecmatmul( double[25] wts, double[N,25] PX) { colsx = shape(wts)[0]; colsy = shape(PX)[dim(PX)-1]; z = genarray([colsy], 0.0d); for (colx=0; colx
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information