sac2c issues
https://gitlab.sac-home.org/sac-group/sac2c/-/issues
2017-11-19T21:54:15Z
https://gitlab.sac-home.org/sac-group/sac2c/-/issues/2064
sac2c dies in wltransform due to illegal node structure access
2017-11-19T21:54:15Z
Clemens Grelck
sac2c dies in wltransform due to illegal node structure access
| | |
| --- | --- |
| Bugzilla Link | [604](http://bugs.sac-home.org/show_bug.cgi?id=604) |
| Created on | Nov 22, 2009 12:04 |
| Resolution | FIXED |
| Resolved on | Nov 23, 2009 11:43 |
| Version | 1.00beta |
| OS | Linux |
| Archite...
| | |
| --- | --- |
| Bugzilla Link | [604](http://bugs.sac-home.org/show_bug.cgi?id=604) |
| Created on | Nov 22, 2009 12:04 |
| Resolution | FIXED |
| Resolved on | Nov 23, 2009 11:43 |
| Version | 1.00beta |
| OS | Linux |
| Architecture | All |
| Attachments | [bug22.sac](/uploads/1b3894a7e1efc91d1598db9a2bf58826/bug22.sac) |
## Extended Description
<pre>Created an attachment (id=610)
code to reproduce failure
When compiling the soon to be attached code, sac2c dies in wltransform in
function CompareWlTrees. The access via WLNODE_STEP goes bust as the current
node of type wlgrid has no step attribute. I assume this is a systematic
problem of the new wltransform and not specific to the current code, hence
the high severity.</pre>
Stephan Herhut
Stephan Herhut
https://gitlab.sac-home.org/sac-group/sac2c/-/issues/1062
With2 full partitions but they are broken into bits
2017-11-19T20:19:50Z
Carl Joslin
With2 full partitions but they are broken into bits
| | |
| --- | --- |
| Bugzilla Link | [672](http://bugs.sac-home.org/show_bug.cgi?id=672) |
| Created on | Jan 14, 2010 16:06 |
| Version | svn |
| OS | Linux |
| Architecture | PC |
| Attachments | [bug672.sac](/uploads/c3f693f2c8ea76...
| | |
| --- | --- |
| Bugzilla Link | [672](http://bugs.sac-home.org/show_bug.cgi?id=672) |
| Created on | Jan 14, 2010 16:06 |
| Version | svn |
| OS | Linux |
| Architecture | PC |
| Attachments | [bug672.sac](/uploads/c3f693f2c8ea765a3a23ddfaf2eea83f/bug672.sac) |
## Extended Description
<pre>The attached code produces the following with2:
/********** (var.) segment 0: **********
* index domain: [ iv, 0 ] -> [ _uprf_914, 1 ]
*/
(iv => _uprf_914), step0[0] 1
(0 --> 1):
(0 -> 1), step0[1] 1
(0 --> 1): op_0
/********** (var.) segment 1: **********
* index domain: [ iv, 1 ] -> [ _uprf_914, 2 ]
*/
(iv => _uprf_914), step0[0] 1
(0 --> 1):
(1 -> 2), step0[1] 1
(0 --> 1): op_1
/********** (var.) segment 2: **********
* index domain: [ iv, 2 ] -> [ _uprf_914, 3 ]
*/
(iv => _uprf_914), step0[0] 1
(0 --> 1):
(2 -> 3), step0[1] 1
(0 --> 1): op_2
/********** (var.) segment 3: **********
* index domain: [ iv, 3 ] -> [ _uprf_914, 4 ]
*/
(iv => _uprf_914), step0[0] 1
(0 --> 1):
(3 -> 4), step0[1] 1
(0 --> 1): op_3
/********** (var.) segment 4: **********
* index domain: [ 0, 0 ] -> [ iv, 4 ]
*/
(0 => iv), step0[0] 1
(0 --> 1):
(0 -> 4), step0[1] 1
(0 --> 1): op_4
/********** (var.) segment 5: **********
* index domain: [ _pinl_860_ub_i, 0 ] -> [ 60, 4 ]
*/
(_pinl_860_ub_i => 60), step0[0] 1
(0 --> 1):
(0 -> 4), step0[1] 1
(0 --> 1): op_4
/********** conexpr: **********/
modarray( keySpace ,RC(keySpace) ,IDX(_wlidx_1765_keySpace__SSA0_1));
However there are 4 partitions that go over iv => _uprf_914. Upon closer inspection one can see that these do not over lap as they cover different parts of the sub array 0->1, 1->2, 2->3, 3->4
These should however be done so that there is just one outer partitions and 4 inner partitions.
(iv => _uprf_914), step0[0] 1
(0 --> 1):
(0 -> 1), step0[1] 1
(0 --> 1): op_0
(1 -> 2), step0[1] 1
(0 --> 1): op_1
(2 -> 3), step0[1] 1
(0 --> 1): op_2
(3 -> 4), step0[1] 1
(0 --> 1): op_3</pre>
BugZilla
BugZilla
https://gitlab.sac-home.org/sac-group/sac2c/-/issues/1158
Assertion in WLTRAwith when compiling with -noopt
2017-11-19T20:25:36Z
Raphael 'kena' Poss
Assertion in WLTRAwith when compiling with -noopt
| | |
| --- | --- |
| Bugzilla Link | [1092](http://bugs.sac-home.org/show_bug.cgi?id=1092) |
| Created on | Sep 30, 2013 15:37 |
| Version | svn |
| OS | MacOS X |
| Architecture | PC |
## Extended Description
<pre>While building th...
| | |
| --- | --- |
| Bugzilla Link | [1092](http://bugs.sac-home.org/show_bug.cgi?id=1092) |
| Created on | Sep 30, 2013 15:37 |
| Version | svn |
| OS | MacOS X |
| Architecture | PC |
## Extended Description
<pre>While building the stdlib with -noopt, the following assertion trips on (at least) BlasLevel1 and ComplexMath:
wltransform/wltransform.c:7136 Assertion "FALSE" failed!
with-loop with empty iteration space found!
Without -noopt the compilation succeeds fine.</pre>
BugZilla
BugZilla
https://gitlab.sac-home.org/sac-group/sac2c/-/issues/2344
WLSTRIDE_ISMODIFIED error
2023-10-26T14:42:50Z
Sven-Bodo Scholz
WLSTRIDE_ISMODIFIED error
when compiling
```
noinline
double[4,4,4] coarse2fine (double[2,2,2] z)
{
foo = with {
([1, 1, 1] <= iv < [4,4,4] step [2, 2, 2] ) : _sel_VxA_(_div_VxS_(_sub_VxS_(iv, 1), 2),z);
} : genarray ([4,4,4], 0d);
return ...
when compiling
```
noinline
double[4,4,4] coarse2fine (double[2,2,2] z)
{
foo = with {
([1, 1, 1] <= iv < [4,4,4] step [2, 2, 2] ) : _sel_VxA_(_div_VxS_(_sub_VxS_(iv, 1), 2),z);
} : genarray ([4,4,4], 0d);
return foo;
}
noinline
double[2,2,2] fine2coarse(double[4,4,4] r)
{
bar = with {
([0,0,0] <= iv < [2,2,2]) : _sel_VxA_(_mul_SxV_(2,iv),r);
} : genarray ([2,2,2], 0d);
return bar;
}
int main()
{
u = with {} : genarray([4,4,4], 0d);
rs = fine2coarse (u);
u = coarse2fine (rs);
return _toi_S_(_sel_VxA_([0,0,0], u));
}
```
with
```
-sbs-SvenBodosAir2-> sac2c-d -V
sac2c 1.3.3-MijasCosta-1079-g648dba
build-type: DEBUG
built-by: "sbs" at 2023-09-13T11:13:47
```
I get
```
-sbs-Sven-Bodos-MacBook-Air-2-> sac2c-d bug.sac
** 1: Loading SAC program ...
** 2: Preprocessing SAC program ...
** 3: Running module system ...
** 4: Simplifying source code ...
** 5: Converting to static single assignment form ...
** 6: Running type inference system ...
** 7: Processing exports ...
** 8: Preparing for code optimization ...
** 9: Enhancing with-loops ...
** 10: Running SAC optimizations ...
** 11: Automatic parallelisation for GPUs skipped.
** 12: Transforming with-loop representation ...
Internal compiler error
Assertion "!WLSTRIDE_ISMODIFIED (stride1)" failed at /Volumes/Users/sbs/sac2c/src/libsac2c/wltransform/wltransform.c:3654 -- stride was modified
Please file a bug at: https://gitlab.sac-home.org/sac-group/sac2c/-/issues
```