diff --git a/wally-pipelined/config/buildroot/wally-config.vh b/wally-pipelined/config/buildroot/wally-config.vh index 1bf19b54..53ea1153 100644 --- a/wally-pipelined/config/buildroot/wally-config.vh +++ b/wally-pipelined/config/buildroot/wally-config.vh @@ -36,6 +36,9 @@ // RV32 or RV64: XLEN = 32 or 64 `define XLEN 64 +// IEEE 754 compliance +`define IEEE754 0 + `define MISA (32'h0014112D) `define ZICSR_SUPPORTED 1 `define ZIFENCEI_SUPPORTED 1 diff --git a/wally-pipelined/config/coremark/wally-config.vh b/wally-pipelined/config/coremark/wally-config.vh index f26b6d2a..fa089a3d 100644 --- a/wally-pipelined/config/coremark/wally-config.vh +++ b/wally-pipelined/config/coremark/wally-config.vh @@ -35,6 +35,9 @@ // RV32 or RV64: XLEN = 32 or 64 `define XLEN 64 +// IEEE 754 compliance +`define IEEE754 0 + //`define MISA (32'h00000104) `define MISA (32'h00000104 | 1<<5 | 1<<18 | 1 << 20 | 1 << 12) `define ZICSR_SUPPORTED 1 diff --git a/wally-pipelined/config/coremark_bare/wally-config.vh b/wally-pipelined/config/coremark_bare/wally-config.vh index c357af64..b7061fd5 100644 --- a/wally-pipelined/config/coremark_bare/wally-config.vh +++ b/wally-pipelined/config/coremark_bare/wally-config.vh @@ -35,6 +35,9 @@ // RV32 or RV64: XLEN = 32 or 64 `define XLEN 64 +// IEEE 754 compliance +`define IEEE754 0 + //`define MISA (32'h00000104) //`define MISA (32'h00001104 | 1<<5 | 1<<18 | 1 << 20 | 1 << 12 | 1 << 0) `define MISA (32'h00000104 | 1 << 5 | 1 << 3 | 1 << 18 | 1 << 20 | 1 << 12 | 1 << 0) diff --git a/wally-pipelined/config/fpga/wally-config.vh b/wally-pipelined/config/fpga/wally-config.vh index 2e6b0494..c2ef2446 100644 --- a/wally-pipelined/config/fpga/wally-config.vh +++ b/wally-pipelined/config/fpga/wally-config.vh @@ -37,6 +37,9 @@ // RV32 or RV64: XLEN = 32 or 64 `define XLEN 64 +// IEEE 754 compliance +`define IEEE754 0 + `define MISA (32'h0014112D) `define ZICSR_SUPPORTED 1 `define ZIFENCEI_SUPPORTED 1 diff --git a/wally-pipelined/config/rv32gc/wally-config.vh b/wally-pipelined/config/rv32gc/wally-config.vh index bcc42ec5..06499180 100644 --- a/wally-pipelined/config/rv32gc/wally-config.vh +++ b/wally-pipelined/config/rv32gc/wally-config.vh @@ -36,6 +36,9 @@ // RV32 or RV64: XLEN = 32 or 64 `define XLEN 32 +// IEEE 754 compliance +`define IEEE754 0 + `define MISA (32'h00000104 | 1 << 20 | 1 << 18 | 1 << 12 | 1 << 0 | 1 <<3 | 1 << 5) `define ZICSR_SUPPORTED 1 `define ZIFENCEI_SUPPORTED 1 diff --git a/wally-pipelined/config/rv32ic/wally-config.vh b/wally-pipelined/config/rv32ic/wally-config.vh index b393119d..36146e65 100644 --- a/wally-pipelined/config/rv32ic/wally-config.vh +++ b/wally-pipelined/config/rv32ic/wally-config.vh @@ -36,6 +36,9 @@ // RV32 or RV64: XLEN = 32 or 64 `define XLEN 32 +// IEEE 754 compliance +`define IEEE754 0 + `define MISA (32'h00000104) `define ZICSR_SUPPORTED 1 `define ZIFENCEI_SUPPORTED 1 diff --git a/wally-pipelined/config/rv64BP/wally-config.vh b/wally-pipelined/config/rv64BP/wally-config.vh index 7a310bdf..d2934901 100644 --- a/wally-pipelined/config/rv64BP/wally-config.vh +++ b/wally-pipelined/config/rv64BP/wally-config.vh @@ -37,6 +37,9 @@ // RV32 or RV64: XLEN = 32 or 64 `define XLEN 64 +// IEEE 754 compliance +`define IEEE754 0 + //`define MISA (32'h00000105) `define MISA (32'h00000104 | 1 << 5 | 1 << 3 | 1 << 18 | 1 << 20 | 1 << 12 | 1 << 0) `define ZICSR_SUPPORTED 1 diff --git a/wally-pipelined/config/rv64gc/wally-config.vh b/wally-pipelined/config/rv64gc/wally-config.vh index 599d6d96..6f7dbd88 100644 --- a/wally-pipelined/config/rv64gc/wally-config.vh +++ b/wally-pipelined/config/rv64gc/wally-config.vh @@ -36,6 +36,9 @@ // RV32 or RV64: XLEN = 32 or 64 `define XLEN 64 +// IEEE 754 compliance +`define IEEE754 0 + // MISA RISC-V configuration per specification `define MISA (32'h00000104 | 1 << 5 | 1 << 3 | 1 << 18 | 1 << 20 | 1 << 12 | 1 << 0 ) `define ZICSR_SUPPORTED 1 diff --git a/wally-pipelined/config/rv64ic/wally-config.vh b/wally-pipelined/config/rv64ic/wally-config.vh index d02fa871..b4b93ed0 100644 --- a/wally-pipelined/config/rv64ic/wally-config.vh +++ b/wally-pipelined/config/rv64ic/wally-config.vh @@ -36,6 +36,9 @@ // RV32 or RV64: XLEN = 32 or 64 `define XLEN 64 +// IEEE 754 compliance +`define IEEE754 0 + // MISA RISC-V configuration per specification `define MISA (32'h00000104) `define ZICSR_SUPPORTED 1