From 54056df4bcb3a3055da0bb0850bbbf57b2d6e36d Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 22 Jan 2016 17:03:35 +0000
Subject: mips: revert accidental removal of overflow check from daddi. It is
 broken but this is not the fix...

---
 mips/mips.sail | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mips/mips.sail b/mips/mips.sail
index bac6d24b..d318116b 100644
--- a/mips/mips.sail
+++ b/mips/mips.sail
@@ -271,9 +271,9 @@ function clause execute (DADDI (rs, rt, imm)) =
   {
     let (temp, overflow, _) = (rGPR(rs) +_s EXTS(imm)) in (* XXX is this the same definition of overflow as in spec? *)
     {
-      (*if overflow then
+      if overflow then
         SignalException(Ov)
-      else*)
+      else
         wGPR(rt) := temp
     }
   }
-- 
cgit v1.2.3