modarray-sel elimination not generally correct
|Created on||May 01, 2007 09:22|
|Resolved on||Nov 19, 2009 00:21|
The transformation a = modarray( b, iv, val); x = sel( iv, a); => x = val; is incorrect if val is not of correct element shape to be inserted into b. In the original version the code eventually generated for modarray will check consistency, whereas the optimised code obviously does not do so. To make this transformation correct we need to insert an appropriate type assert.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information