AWLF unit test gauss2.sac fails due to _ge_VxS_( vecwithminval4, 0) not CF'd
|
|
Bugzilla Link |
890 |
Created on |
Nov 15, 2011 21:56 |
Version |
svn |
OS |
Linux |
Architecture |
PC |
Attachments |
gauss2.sac |
Extended Description
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.