anchor.diff:     Reg#(Tuple3#(CommonState#(e,m),
   		Int#(TAdd#(e,2)),
   		Bool)) rState_S2 <- mkReg(unpack(0));
  -   Reg#(Tuple4#(Bool, Bool, Bool, Int#(TAdd#(e,2)))) rCond_S3 <- mkReg(unpack(0));
  +   Reg#(Tuple3#(Bool, Bool, Bool)) rCond_S3 <- mkReg(unpack(0));
  +   Reg#(Int#(TAdd#(e,2))) rShift_S3 <- mkReg(0);
      Reg#(UInt#(TAdd#(TAdd#(m,1),TAdd#(m,1)))) rsfdres_S2_lsb <- mkReg(0);
      Reg#(UInt#(TAdd#(TAdd#(m,1),TAdd#(m,1)))) rsfdres_S2_msb <- mkReg(0);
   
  
positive.code:    endinterface
  endmodule
  
  ////////////////////////////////////////////////////////////////////////////////
  /// Pipelined Floating Point Multiplier
  ////////////////////////////////////////////////////////////////////////////////
  
negative.code: 	       inbounds = True;
  	    end
  	 end
  	 rCond_S3 <= tuple3(sresInvalid, subnormal, inbounds);
  	 if (implementSubnormal)
  	    rShift_S3 <= shift;
        end
     //endrule
  
  