note on FP Exception about DDFF VLi=0/1
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 24 May 2023 12:01:51 +0000 (13:01 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 24 May 2023 12:01:51 +0000 (13:01 +0100)
src/openpower/decoder/isa/caller.py

index 714f274af9910450ce0a885c508ebbe2cc11273d..c02db670ca19485d8e794a1ba1973e9dfa9134f3 100644 (file)
@@ -2200,6 +2200,9 @@ class ISACaller(ISACallerHelper, ISAFPHelpers, StepLoop):
             chk = rc_en or is_cr
             ffirst_hit = (yield from self.check_ffirst(info, chk, srcstep))
 
+        # check if a FP Exception occurred. TODO for DD-FFirst, check VLi
+        # and raise the exception *after* if VLi=1 but if VLi=0 then
+        # truncate and make the exception "disappear". 
         if self.FPSCR.FEX and (self.msr[MSRb.FE0] or self.msr[MSRb.FE1]):
             self.call_trap(0x700, PIb.FP)
             return