|
@@ -5367,8 +5367,8 @@ Begin
|
|
begin
|
|
begin
|
|
intval.low := int64rec(AbsA).low;
|
|
intval.low := int64rec(AbsA).low;
|
|
intval.high := int64rec(AbsA).high;
|
|
intval.high := int64rec(AbsA).high;
|
|
- shift64RightJamming( intval.low, intval.high, - shiftCount,
|
|
|
|
- intval.low, intval.high);
|
|
|
|
|
|
+ shift64RightJamming( intval.high, intval.low, - shiftCount,
|
|
|
|
+ intval.high, intval.low);
|
|
int64rec(absA).low := intval.low;
|
|
int64rec(absA).low := intval.low;
|
|
int64rec(absA).high := intval.high;
|
|
int64rec(absA).high := intval.high;
|
|
end
|
|
end
|
|
@@ -5411,8 +5411,8 @@ Begin
|
|
begin
|
|
begin
|
|
intval.low := int64rec(AbsA).low;
|
|
intval.low := int64rec(AbsA).low;
|
|
intval.high := int64rec(AbsA).high;
|
|
intval.high := int64rec(AbsA).high;
|
|
- shift64RightJamming( intval.low, intval.high, - shiftCount,
|
|
|
|
- intval.low, intval.high);
|
|
|
|
|
|
+ shift64RightJamming( intval.high, intval.low, - shiftCount,
|
|
|
|
+ intval.high, intval.low);
|
|
int64rec(absA).low := intval.low;
|
|
int64rec(absA).low := intval.low;
|
|
int64rec(absA).high := intval.high;
|
|
int64rec(absA).high := intval.high;
|
|
end
|
|
end
|