Skip to content
GitLab
  • Menu
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • sac2c sac2c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 401
    • Issues 401
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 13
    • Merge requests 13
  • Deployments
    • Deployments
    • Releases
  • Wiki
    • Wiki
  • External wiki
    • External wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • sac-group
  • sac2csac2c
  • Issues
  • #1207
Closed
Open
Created Feb 24, 2013 by Robert Bernecky@rbeDeveloper

DL anti-strength reduction causes opt failure in AWLF unit test relaxAKD.sac

Bugzilla Link 1046
Created on Feb 24, 2013 16:00
Version svn
OS Linux
Architecture PC
Attachments StdlibCatenateAxis1AKD.sac, bugdl.sac, bugdl2.sac, crud.sac, xStdlibCatenateAxis1AKD.sac, bug1046D.sac

Extended Description

Created an attachment (id=944)
source code to reproduce fault
sac2c -V
sac2c v1.00-beta (Haggis And Apple)
 product rev 18058 linux-gnu_x86_64
 (Thu Feb 21 14:45:15 EST 2013 by sac)
sac2c bugdl.sac -doawlf -nowlf -v1 -bopt >crud
Ditto the other attachments...
The problem is that DL takes an expression such as:
  X = id( 2);
  Z = ( X + X) - X;
and turns it into:
  Z = ( 2 * X) - X;
at which point, it is unable to simplify the expression
tree any more. Which is dull. 
This causes AWLF intersect calculation to fail, which means that
sum(cat(A,B)) fails to WL fold.
Clemens: Please let me know your schedule for repairing this. If
it going to take you months, as opposed to a day or two, to fix it,
I'll just go and (probably) disable the add->mul strength anti-reduction code
until such time as you can find time to fix it to your liking.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking