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.