Actions
Bug #4015
closed[translator] Shift and Rotate operations: negative distance
Status:
Closed
Priority:
Normal
Assignee:
Andrei Tatarnikov
Category:
-
Target version:
-
Start date:
03/17/2013
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
20140320
Description
Для данных, моделируемых через RawData, не будут работать операторы сдвига и поворота, если второй операнд (на сколько сдвигаем/поворачиваем) будет отрицательным.
Updated by Alexander Kamkin about 11 years ago
Вопрос: а семантика отрицательного сдвига определена? есть ли примеры с отрицательным сдвигом?
Updated by Andrei Tatarnikov about 10 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
В r1688, где используются операции над битовыми векторами из Fortress, такая возможность поддерживается.
Вопрос: а семантика отрицательного сдвига определена? есть ли примеры с отрицательным сдвигом?
В домументации по Sim-nML это не обозначено. Что касается Java, то там определена такая семантика: В случае отрицательно смещения, действительное смещение получается как длина смещения от конца буфера (т.е. length - abs(offset)).
Updated by Alexander Kamkin about 10 years ago
- Published in build set to 20140320
Updated by Alexander Kamkin about 10 years ago
- Status changed from Resolved to Closed
Actions