Project

General

Profile

Bug #4015

[translator] Shift and Rotate operations: negative distance

Added by Andrei Tatarnikov about 6 years ago. Updated about 5 years ago.

Status:
Closed
Priority:
Normal
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, не будут работать операторы сдвига и поворота, если второй операнд (на сколько сдвигаем/поворачиваем) будет отрицательным.

History

#1

Updated by Alexander Kamkin about 6 years ago

Вопрос: а семантика отрицательного сдвига определена? есть ли примеры с отрицательным сдвигом?

#2

Updated by Andrei Tatarnikov about 5 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 100

В r1688, где используются операции над битовыми векторами из Fortress, такая возможность поддерживается.

Вопрос: а семантика отрицательного сдвига определена? есть ли примеры с отрицательным сдвигом?

В домументации по Sim-nML это не обозначено. Что касается Java, то там определена такая семантика: В случае отрицательно смещения, действительное смещение получается как длина смещения от конца буфера (т.е. length - abs(offset)).

#3

Updated by Alexander Kamkin about 5 years ago

Давай сделаем, как в Java.

#4

Updated by Andrei Tatarnikov about 5 years ago

Да, я реализовал как в Java.

#5

Updated by Alexander Kamkin about 5 years ago

  • Published in build set to 20140320
#6

Updated by Alexander Kamkin about 5 years ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF