Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • 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 336
    • Issues 336
    • List
    • Boards
    • Service Desk
    • Milestones
  • Deployments
    • Deployments
    • Releases
  • Packages & Registries
    • Packages & Registries
    • Infrastructure Registry
  • External wiki
    • External wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • sac-group
  • sac2csac2c
  • Issues
  • #2007

Closed
Open
Created Jul 14, 2009 by Sven-Bodo Scholz@sbsOwner

constraints are optimised wrongly by symbolic CF

Bugzilla Link 525
Created on Jul 14, 2009 21:20
Resolution FIXED
Resolved on Jul 15, 2009 12:25
Version 1.00beta
OS Linux
Architecture PC
Attachments bug.sac

Extended Description

Created an attachment (id=552)
source code
sac2c rev 16177
compile with -noprelude -check c 
running the binary will produce a constraint error.
running -b10 shows:
  _flat_0 = 1;
  shp = _MAIN::aud( _flat_0);
  _idc_27, _icc_16_pred = _non_neg_val_V_( shp);
  _idc_28, _idc_29, _icc_19_pred = _same_shape_AxA_( _idc_27, _idc_27);
  _idc_30, _icc_20_pred = _val_le_val_VxV_( _idc_29, _idc_29);
  _flat_3 = 0;
  _flat_2 = _mul_SxV_( _flat_3, _idc_30);
  _idc_31, _icc_15_pred = _non_neg_val_V_( _flat_2);
  _idc_32, _idc_33, _icc_17_pred = _same_shape_AxA_( _idc_31, _idc_30);
  _idc_34, _icc_18_pred = _val_le_val_VxV_( _idc_32, _idc_33);
  _flat_1 = 2;
which looks ok to me
running -b11 yields:
  _flat_0 = 1;
  shp = _MAIN::aud( _flat_0);
  _idc_27, _icc_16_pred = _non_neg_val_V_( shp);
  _idc_30, _icc_20_pred = _val_le_val_VxV_( _idc_27, _idc_27);
  _flat_2 = _mul_SxV_( 0, _idc_30);
  _idc_31, _icc_15_pred = _non_neg_val_V_( _flat_2);
  _idc_34, _icc_18_pred = _val_le_val_VxV_( _idc_30, _idc_31);
  _flat_1 = 2;
the last _val_le_val_VxV_  has been muddled up!!
compilation -noCF makes this bug go away.....
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
None
Milestone
None
Assign milestone
Time tracking