[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Qemu-devel] [PATCH v2] sparc32 : Signed integer division overflow
From: |
Olivier Danet |
Subject: |
[Qemu-devel] [PATCH v2] sparc32 : Signed integer division overflow |
Date: |
Wed, 19 Mar 2014 23:29:04 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.3.0 |
The signed integer division -0x8000_0000_0000_0000 / -1 must be handled
separately to avoid an overflow on the QEMU host.
Signed-off-by: Olivier Danet <address@hidden>
---
target-sparc/helper.c | 13 ++++++++-----
1 file changed, 8 insertions(+), 5 deletions(-)
diff --git a/target-sparc/helper.c b/target-sparc/helper.c
index f3c7fbf..3822c48 100644
--- a/target-sparc/helper.c
+++ b/target-sparc/helper.c
@@ -122,12 +122,15 @@ static target_ulong helper_sdiv_common(CPUSPARCState
*env, target_ulong a,
if (x1 == 0) {
cpu_restore_state(CPU(cpu), GETPC());
helper_raise_exception(env, TT_DIV_ZERO);
- }
-
- x0 = x0 / x1;
- if ((int32_t) x0 != x0) {
- x0 = x0 < 0 ? 0x80000000 : 0x7fffffff;
+ } else if (x1 == -1 && x0 == INT64_MIN) {
+ x0 = 0x7fffffff;
overflow = 1;
+ } else {
+ x0 = x0 / x1;
+ if ((int32_t) x0 != x0) {
+ x0 = x0 < 0 ? 0x80000000 : 0x7fffffff;
+ overflow = 1;
+ }
}
if (cc) {
--
1.8.1.5
- [Qemu-devel] [PATCH v2] sparc32 : Signed integer division overflow,
Olivier Danet <=