2014-03-30 01:53:07 +00:00
|
|
|
/* armsupp.c -- ARMulator support code: ARM6 Instruction Emulator.
|
|
|
|
Copyright (C) 1994 Advanced RISC Machines Ltd.
|
2014-07-23 23:16:40 +00:00
|
|
|
|
2014-03-30 01:53:07 +00:00
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
|
|
it under the terms of the GNU General Public License as published by
|
|
|
|
the Free Software Foundation; either version 2 of the License, or
|
|
|
|
(at your option) any later version.
|
2014-07-23 23:16:40 +00:00
|
|
|
|
2014-03-30 01:53:07 +00:00
|
|
|
This program is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
GNU General Public License for more details.
|
2014-07-23 23:16:40 +00:00
|
|
|
|
2014-03-30 01:53:07 +00:00
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
along with this program; if not, write to the Free Software
|
|
|
|
Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
|
|
|
|
|
2015-05-06 05:42:43 +00:00
|
|
|
#include "common/logging/log.h"
|
2015-03-26 16:54:16 +00:00
|
|
|
#include "core/arm/skyeye_common/arm_regformat.h"
|
2015-07-26 01:10:41 +00:00
|
|
|
#include "core/arm/skyeye_common/armstate.h"
|
2016-09-21 06:52:38 +00:00
|
|
|
#include "core/arm/skyeye_common/armsupp.h"
|
2014-04-13 01:55:36 +00:00
|
|
|
|
2015-02-01 01:34:26 +00:00
|
|
|
// Unsigned sum of absolute difference
|
2016-09-18 00:38:01 +00:00
|
|
|
u8 ARMul_UnsignedAbsoluteDifference(u8 left, u8 right) {
|
2015-02-01 01:34:26 +00:00
|
|
|
if (left > right)
|
|
|
|
return left - right;
|
2014-12-28 11:07:24 +00:00
|
|
|
|
2015-02-01 01:34:26 +00:00
|
|
|
return right - left;
|
2014-03-30 01:53:07 +00:00
|
|
|
}
|
|
|
|
|
2015-01-12 05:01:46 +00:00
|
|
|
// Add with carry, indicates if a carry-out or signed overflow occurred.
|
2016-09-18 00:38:01 +00:00
|
|
|
u32 AddWithCarry(u32 left, u32 right, u32 carry_in, bool* carry_out_occurred,
|
|
|
|
bool* overflow_occurred) {
|
2015-01-12 05:01:46 +00:00
|
|
|
u64 unsigned_sum = (u64)left + (u64)right + (u64)carry_in;
|
|
|
|
s64 signed_sum = (s64)(s32)left + (s64)(s32)right + (s64)carry_in;
|
|
|
|
u64 result = (unsigned_sum & 0xFFFFFFFF);
|
|
|
|
|
|
|
|
if (carry_out_occurred)
|
|
|
|
*carry_out_occurred = (result != unsigned_sum);
|
|
|
|
|
|
|
|
if (overflow_occurred)
|
|
|
|
*overflow_occurred = ((s64)(s32)result != signed_sum);
|
|
|
|
|
|
|
|
return (u32)result;
|
|
|
|
}
|
|
|
|
|
2015-01-05 14:10:59 +00:00
|
|
|
// Compute whether an addition of A and B, giving RESULT, overflowed.
|
2016-09-18 00:38:01 +00:00
|
|
|
bool AddOverflow(u32 a, u32 b, u32 result) {
|
|
|
|
return ((NEG(a) && NEG(b) && POS(result)) || (POS(a) && POS(b) && NEG(result)));
|
2014-03-30 01:53:07 +00:00
|
|
|
}
|
|
|
|
|
2015-01-05 14:10:59 +00:00
|
|
|
// Compute whether a subtraction of A and B, giving RESULT, overflowed.
|
2016-09-18 00:38:01 +00:00
|
|
|
bool SubOverflow(u32 a, u32 b, u32 result) {
|
|
|
|
return ((NEG(a) && POS(b) && POS(result)) || (POS(a) && NEG(b) && NEG(result)));
|
2014-03-30 01:53:07 +00:00
|
|
|
}
|
|
|
|
|
2015-01-02 23:21:45 +00:00
|
|
|
// Returns true if the Q flag should be set as a result of overflow.
|
2016-09-18 00:38:01 +00:00
|
|
|
bool ARMul_AddOverflowQ(u32 a, u32 b) {
|
2014-12-23 14:55:07 +00:00
|
|
|
u32 result = a + b;
|
|
|
|
if (((result ^ a) & (u32)0x80000000) && ((a ^ b) & (u32)0x80000000) == 0)
|
2015-01-02 23:21:45 +00:00
|
|
|
return true;
|
|
|
|
|
|
|
|
return false;
|
2014-12-23 14:55:07 +00:00
|
|
|
}
|
|
|
|
|
2015-02-01 01:34:26 +00:00
|
|
|
// 8-bit signed saturated addition
|
2016-09-18 00:38:01 +00:00
|
|
|
u8 ARMul_SignedSaturatedAdd8(u8 left, u8 right) {
|
2014-12-29 05:49:10 +00:00
|
|
|
u8 result = left + right;
|
|
|
|
|
|
|
|
if (((result ^ left) & 0x80) && ((left ^ right) & 0x80) == 0) {
|
|
|
|
if (left & 0x80)
|
|
|
|
result = 0x80;
|
|
|
|
else
|
|
|
|
result = 0x7F;
|
|
|
|
}
|
|
|
|
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2015-02-01 01:34:26 +00:00
|
|
|
// 8-bit signed saturated subtraction
|
2016-09-18 00:38:01 +00:00
|
|
|
u8 ARMul_SignedSaturatedSub8(u8 left, u8 right) {
|
2014-12-29 05:49:10 +00:00
|
|
|
u8 result = left - right;
|
|
|
|
|
|
|
|
if (((result ^ left) & 0x80) && ((left ^ right) & 0x80) != 0) {
|
|
|
|
if (left & 0x80)
|
|
|
|
result = 0x80;
|
|
|
|
else
|
|
|
|
result = 0x7F;
|
|
|
|
}
|
|
|
|
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2015-02-01 01:34:26 +00:00
|
|
|
// 16-bit signed saturated addition
|
2016-09-18 00:38:01 +00:00
|
|
|
u16 ARMul_SignedSaturatedAdd16(u16 left, u16 right) {
|
2014-12-29 05:49:10 +00:00
|
|
|
u16 result = left + right;
|
|
|
|
|
|
|
|
if (((result ^ left) & 0x8000) && ((left ^ right) & 0x8000) == 0) {
|
|
|
|
if (left & 0x8000)
|
|
|
|
result = 0x8000;
|
|
|
|
else
|
|
|
|
result = 0x7FFF;
|
|
|
|
}
|
|
|
|
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2015-02-01 01:34:26 +00:00
|
|
|
// 16-bit signed saturated subtraction
|
2016-09-18 00:38:01 +00:00
|
|
|
u16 ARMul_SignedSaturatedSub16(u16 left, u16 right) {
|
2014-12-29 05:49:10 +00:00
|
|
|
u16 result = left - right;
|
|
|
|
|
|
|
|
if (((result ^ left) & 0x8000) && ((left ^ right) & 0x8000) != 0) {
|
|
|
|
if (left & 0x8000)
|
|
|
|
result = 0x8000;
|
|
|
|
else
|
|
|
|
result = 0x7FFF;
|
|
|
|
}
|
|
|
|
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2015-02-01 01:34:26 +00:00
|
|
|
// 8-bit unsigned saturated addition
|
2016-09-18 00:38:01 +00:00
|
|
|
u8 ARMul_UnsignedSaturatedAdd8(u8 left, u8 right) {
|
2014-12-27 22:06:19 +00:00
|
|
|
u8 result = left + right;
|
|
|
|
|
|
|
|
if (result < left)
|
|
|
|
result = 0xFF;
|
|
|
|
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2015-02-01 01:34:26 +00:00
|
|
|
// 16-bit unsigned saturated addition
|
2016-09-18 00:38:01 +00:00
|
|
|
u16 ARMul_UnsignedSaturatedAdd16(u16 left, u16 right) {
|
2014-12-27 22:06:19 +00:00
|
|
|
u16 result = left + right;
|
|
|
|
|
|
|
|
if (result < left)
|
|
|
|
result = 0xFFFF;
|
|
|
|
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2015-02-01 01:34:26 +00:00
|
|
|
// 8-bit unsigned saturated subtraction
|
2016-09-18 00:38:01 +00:00
|
|
|
u8 ARMul_UnsignedSaturatedSub8(u8 left, u8 right) {
|
2014-12-27 22:06:19 +00:00
|
|
|
if (left <= right)
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
return left - right;
|
|
|
|
}
|
|
|
|
|
2015-02-01 01:34:26 +00:00
|
|
|
// 16-bit unsigned saturated subtraction
|
2016-09-18 00:38:01 +00:00
|
|
|
u16 ARMul_UnsignedSaturatedSub16(u16 left, u16 right) {
|
2014-12-27 22:06:19 +00:00
|
|
|
if (left <= right)
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
return left - right;
|
|
|
|
}
|
|
|
|
|
2014-12-30 03:15:15 +00:00
|
|
|
// Signed saturation.
|
2016-09-18 00:38:01 +00:00
|
|
|
u32 ARMul_SignedSatQ(s32 value, u8 shift, bool* saturation_occurred) {
|
2014-12-30 03:15:15 +00:00
|
|
|
const u32 max = (1 << shift) - 1;
|
|
|
|
const s32 top = (value >> shift);
|
|
|
|
|
|
|
|
if (top > 0) {
|
|
|
|
*saturation_occurred = true;
|
|
|
|
return max;
|
2016-09-18 00:38:01 +00:00
|
|
|
} else if (top < -1) {
|
2014-12-30 03:15:15 +00:00
|
|
|
*saturation_occurred = true;
|
|
|
|
return ~max;
|
|
|
|
}
|
|
|
|
|
|
|
|
*saturation_occurred = false;
|
|
|
|
return (u32)value;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Unsigned saturation
|
2016-09-18 00:38:01 +00:00
|
|
|
u32 ARMul_UnsignedSatQ(s32 value, u8 shift, bool* saturation_occurred) {
|
2014-12-30 03:15:15 +00:00
|
|
|
const u32 max = (1 << shift) - 1;
|
|
|
|
|
|
|
|
if (value < 0) {
|
|
|
|
*saturation_occurred = true;
|
|
|
|
return 0;
|
|
|
|
} else if ((u32)value > max) {
|
|
|
|
*saturation_occurred = true;
|
|
|
|
return max;
|
|
|
|
}
|
|
|
|
|
|
|
|
*saturation_occurred = false;
|
|
|
|
return (u32)value;
|
|
|
|
}
|