UTMScalarI.sac breaks under AWLF
| Bugzilla Link | 593 |
| Created on | Nov 13, 2009 23:04 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | PC |
| Attachments | crud.sac |
Extended Description
The attached abbreviated version of UTTakeDrop.sac has at least two problems when compiled with Build#16545:MODIFIED and -nowlf -doawlf -extrema 1. match(x,y) returns the wrong answer, although x==y works properly. 2. The fold WL that is the cause of the problem (It happens to be indexing into a 20-element array that is only 10 elements long, for example...) has two results, but one of the results is dead code. WLF works properly. I'll look at it tomorrow.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information