AWLF unit test gauss2.sac fails due to _ge_VxS_( vecwithminval4, 0) not CF'd
|Created on||Nov 15, 2011 21:56|
Created an attachment (id=833) source code to reproduce failure sac2c -V sac2c v1.00-beta (Haggis And Apple) developer rev 17702:MODIFIED linux-gnu_x86_64 (Tue Nov 15 13:37:38 EST 2011 by sac) Summary says it all. AWLF fails for gauss2.sac, because we are unable to simplify the relational above, when the vector argument is not constant, but has a constant AVIS_MIN. The relevant code in CF is marked ISMOP, which does explain why it doesn't work today. Or ever, for that matter... This is a symptom of related missing CF code for other relationals. Yrs trly will get to it on Wednesday.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information