CF fails on _sel_VxA_( iv, [true, true, true], due to N_array element contents problem
|Created on||Nov 13, 2011 17:31|
|Resolved on||Nov 16, 2011 20:08|
sac2c -V sac2c v1.00-beta (Haggis And Apple) developer rev 17702:MODIFIED linux-gnu_x86_64 (Sun Nov 13 11:20:25 EST 2011 by sac) Cf should produce "true" for the above, but there is some confusion (at least in my head!) about what node types can appear legally in an N_array node. I thought we had agreed that ALL N_array elements should be N_id nodes, at least within -bopt, but have asked Bodo and Clemens to confirm that. If this is the case, then I'll make -d treecheck complain about constants in N_array nodes. And, fix CF while I'm at it. In the attached example, the code should eliminate the sel() and ALL WLs from the code, but it does not do so. Part of this is due to the fact that SelArrayOfEqualElements has an (unrelated) bug in it, and part is due to the fact that it is expecting N_id nodes as N_array elements.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information