Bug #4015
closed
[translator] Shift and Rotate operations: negative distance
Added by Andrei Tatarnikov about 11 years ago.
Updated about 10 years ago.
Assignee:
Andrei Tatarnikov
Published in build:
20140320
Description
Для данных, моделируемых через RawData, не будут работать операторы сдвига и поворота, если второй операнд (на сколько сдвигаем/поворачиваем) будет отрицательным.
Вопрос: а семантика отрицательного сдвига определена? есть ли примеры с отрицательным сдвигом?
- Status changed from New to Resolved
- % Done changed from 0 to 100
В r1688, где используются операции над битовыми векторами из Fortress, такая возможность поддерживается.
Вопрос: а семантика отрицательного сдвига определена? есть ли примеры с отрицательным сдвигом?
В домументации по Sim-nML это не обозначено. Что касается Java, то там определена такая семантика: В случае отрицательно смещения, действительное смещение получается как длина смещения от конца буфера (т.е. length - abs(offset)).
Давай сделаем, как в Java.
Да, я реализовал как в Java.
- Published in build set to 20140320
- Status changed from Resolved to Closed
Also available in: Atom
PDF