diff --git a/Makefile b/Makefile index 8b03600..f54342a 100644 --- a/Makefile +++ b/Makefile @@ -4,7 +4,7 @@ XLEN = 64 SPLIT = 10000 INTEGER = 0 PATTERN = '.*' -TESTFLOAT3LEVEL = 1 +TESTFLOAT3LEVEL = 2 SPIKE_INSTALL = $(RISCV) OUTPUT = out/v$(VLEN)x$(XLEN)$(MODE) OUTPUT_STAGE1 = $(OUTPUT)/tests/stage1/ diff --git a/README.md b/README.md index 8a3367e..74d3373 100644 --- a/README.md +++ b/README.md @@ -37,7 +37,7 @@ Options: - `MODE`, default is `machine`, can be `machine`, `virtual` or `user` - `INTEGER`, default is 0, set to 1 if you don't want float tests (i.e. for Zve32x or Zve64x) - `PATTERN`, default is `.*`, set to a valid regex to generate the tests of your interests (e.g. `PATTERN='^v[ls].+\.v$'` to generate load/store tests) -- `TESTFLOAT3LEVEL`, default is 1, must be one of 1 or 2, testing level for testfloat3 generated cases. +- `TESTFLOAT3LEVEL`, default is 2, must be one of 1 or 2, testing level for testfloat3 generated cases. For example, to generate `isa=rv32gcv varch=vlen:128,elen:32 mode=machine` tests, use `make -e VLEN=128 XLEN=32 MODE=machine -j$(nproc)`. diff --git a/main.go b/main.go index 59c0f65..c558231 100644 --- a/main.go +++ b/main.go @@ -31,7 +31,7 @@ var integerF = flag.Bool("integer", false, "only generate integer tests.") var patternF = flag.String("pattern", ".*", "regex to filter out tests.") var stage1OutputDirF = flag.String("stage1output", "", "stage1 output directory.") var configsDirF = flag.String("configs", "configs/", "config files directory.") -var testfloat3LevelF = flag.Int("testfloat3level", 1, "testfloat3 testing level (1 or 2).") +var testfloat3LevelF = flag.Int("testfloat3level", 2, "testfloat3 testing level (1 or 2).") func main() { flag.Parse() diff --git a/single/single.go b/single/single.go index e9017ff..16a94df 100644 --- a/single/single.go +++ b/single/single.go @@ -24,7 +24,7 @@ var vlenF = flag.Int("VLEN", 256, "") var xlenF = flag.Int("XLEN", 64, "") var outputFileF = flag.String("outputfile", "", "output file name.") var configFileF = flag.String("configfile", "", "config file path.") -var testfloat3LevelF = flag.Int("testfloat3level", 1, "testfloat3 testing level (1 or 2).") +var testfloat3LevelF = flag.Int("testfloat3level", 2, "testfloat3 testing level (1 or 2).") func main() { flag.Parse()