TUP/ETV/EBT confused by UGLF movement, after SAACYC
Bugzilla Link | 1053 |
Created on | Mar 19, 2013 15:55 |
Version | svn |
OS | Linux |
Architecture | PC |
Attachments | loopis.sac |
Extended Description
Created an attachment (id=953) source code to reproduce fault This commit: commit 66a68890f5336f76140b04f1772f1b6ad4960cf5 Author: Robert Bernecky Date: Sun Mar 17 16:49:29 2013 -0400 caused the typechecker to get turn, erroneously, an AKS variable into an AKV one, in the apex/loopis/loopis.sac benchmark. Since the typechecker runs quite happily otherwise, I am going to back off that change. I do not see anything obvious in phase_sac2c.mac that should cause this, but perhaps Bodo wants to look at it some day... sac2c -V sac2c v1.00-beta (Haggis And Apple) developer rev 18077 linux-gnu_x86_64 (Tue Mar 19 11:44:17 EDT 2013 by sac) In Loop_2(), the type of A_CTR28_ has become AKV, with a value of 0. Which is very wrong.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information