From 665a67f4427ce6e79eaaf8f759573d9930487773 Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Sun, 20 Jun 2021 22:29:21 -0400
Subject: [PATCH] linux actually uses FPU now!

---
 wally-pipelined/testbench/testbench-linux.sv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/wally-pipelined/testbench/testbench-linux.sv b/wally-pipelined/testbench/testbench-linux.sv
index 2f223f737..3fc4ba99b 100644
--- a/wally-pipelined/testbench/testbench-linux.sv
+++ b/wally-pipelined/testbench/testbench-linux.sv
@@ -539,8 +539,8 @@ module testbench();
           if (speculative && (lastPC != pcExpected)) begin
             speculative = ~equal(dut.hart.ifu.PCD,pcExpected,3);
             if(dut.hart.ifu.PCD===pcExpected) begin
-              if((dut.hart.ifu.InstrRawD[6:0] == 7'b1010011) || // for now, NOP out any float instrs
-                 (dut.hart.ifu.PCD == 32'h80001dc6) ||          // as well as stores to PLIC
+              //if((dut.hart.ifu.InstrRawD[6:0] == 7'b1010011) || // We no longer have to NOP out any float instrs!
+              if((dut.hart.ifu.PCD == 32'h80001dc6) ||          // for now, NOP out any stores to PLIC
                  (dut.hart.ifu.PCD == 32'h80001de0) ||
                  (dut.hart.ifu.PCD == 32'h80001de2)) begin 
                 $display("warning: NOPing out %s at PC=%0x, instr %0d, time %0t", PCtextD, dut.hart.ifu.PCD, instrs, $time);