Open togulcan opened 2 years ago
This would be a bug in M2-ISA-R and is on the roadmap to be supported, but at the time being, slicing is only supported with constants, see here: https://github.com/Minres/CoreDSL/wiki/Expressions#bit-range. I'll leave this open, as theoretically supporting non-constant slices should not be a problem for M2-ISA-R and ETISS.
@wysiwyng I guess this can be closed?
Hello,
the following coredsl2 code:
is producing:
where x has been shifted
32
times instead ofa - b + 1
times.However, putting numbers into slices:
works quite well:
any idea about this?