From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 23 Nov 2021 15:16:28 +0000 (+0000)
Subject: add write-after-write hazard test for inorder core
X-Git-Tag: sv_maxu_works-initial~708
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b985a1b09e220ec61dd26296c2aa75546c7bb40c;p=openpower-isa.git

add write-after-write hazard test for inorder core
---

diff --git a/src/openpower/test/general/overlap_hazards.py b/src/openpower/test/general/overlap_hazards.py
index 13aa9c3a..a5a8da0a 100644
--- a/src/openpower/test/general/overlap_hazards.py
+++ b/src/openpower/test/general/overlap_hazards.py
@@ -46,18 +46,37 @@ class HazardTestCase(TestAccumulatorBase):
         e.intregs[7] = 4
         self.add_case(Program(lst, bigendian), initial_regs, expected=e)
 
+    def case_div_add_overlap_write_after_write(self):
+        lst = ["divd 3, 1, 2",
+               "add 3, 7, 6", # 2+4=6, overwrites divd
+               "add 5, 3, 2"  # 3+2=5
+               ]
+        initial_regs = [0] * 32
+        initial_regs[1] = 6
+        initial_regs[2] = 2
+        initial_regs[6] = 2
+        initial_regs[7] = 4
+        e = ExpectedState(pc=12)
+        e.intregs[1] = 6
+        e.intregs[2] = 2
+        e.intregs[3] = 3 # 2 plus 4 == 6, overwriting div
+        e.intregs[5] = 5 # 3 plus 2 == 5
+        e.intregs[6] = 2
+        e.intregs[7] = 4
+        self.add_case(Program(lst, bigendian), initial_regs, expected=e)
+
     def cse_div_add_overlap_3(self):
         lst = ["divd 3, 1, 2",
                "mullw 5, 7, 6", # 2*4=6, overwritten later by add
-               "addi 5, 5, 2",  # add 2 to 6 = 8
-               "divd 4, 5, 6",
+               "addi 9, 5, 2",  # add 2 to 6 = 8
+               "divd 4, 9, 6",
                "add 5, 3, 4"]
         initial_regs = [0] * 32
         initial_regs[1] = 6
         initial_regs[2] = 2
         initial_regs[6] = 2
         initial_regs[7] = 4
-        e = ExpectedState(pc=16)
+        e = ExpectedState(pc=20)
         e.intregs[1] = 6
         e.intregs[2] = 2
         e.intregs[3] = 3 # 6 divided by 2 == 3