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 402
    • Issues 402
    • 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
  • #1683
Closed
Open
Created Oct 22, 2006 by Robert Bernecky@rbeDeveloper

Type chekker kan't kount

Bugzilla Link 310
Created on Oct 22, 2006 21:45
Resolution FIXED
Resolved on Oct 23, 2006 17:00
Version 1.00beta
OS Linux
Architecture PC
Attachments crud.sac

Extended Description

I tried to enable WLfusion to see if it handles the simple case of:
A = iota (n);
B = A+0.01;
where A has a later use in the program. [I presume that if there were no
other uses of A, it would be folded properly...]
Without WLFS enabled, the above generates two WLs. IF I enable WLFS,
it crashes sac2c as follows:
*** Applying loop invariant removal ...
**** Removing dead functions ...
**** Applying dead code removal again ...
**** Running final type inference ...
**** Final type variable elimination ...
**** Final bottom type elimination ...
**** Applying with-loop fusion ...
**** Elimininating common subexpressions ...
**** Removing dead code ...
**** Generating full with-loop partitions ...
**** Inserting shape variables ...
**** Applying prf unrolling ...
**** Applying type upgrade ...
ABORT: line 117  file: crud.sac
ABORT: with loop returns 1 value(s) but 2 variable(s) specified on the lhs
*** Compilation failed ***
*** Exit code 11 (Running SAC optimizations)
*** 1 Error(s), 13 Warning(s)
apex@rattler:~/apex2003/benchmks/logd> sac2c -O3 -doisv -doswlf   crud.sac
rbe@rattler:~> sac2c -V
sac2c v1.00-beta (Codename Wooden Shoes) rev 15055 linux-gnu_x86_64  (Fri Oct 20
14:34:26 EDT 2006 sac)
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking