diff options
author | Tim Newsome <tim@sifive.com> | 2020-02-12 16:14:08 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-12 18:14:08 -0600 |
commit | 6baf42ac1d93c82ff59669c00a6a8991e3b7e4e1 (patch) | |
tree | 83947d5fc69b453372f4068aba5d978b33c81e27 /riscv/riscv.ac | |
parent | 78344a5a2c88c4c313b8b216bd76f31792812205 (diff) | |
download | spike-6baf42ac1d93c82ff59669c00a6a8991e3b7e4e1.zip spike-6baf42ac1d93c82ff59669c00a6a8991e3b7e4e1.tar.gz spike-6baf42ac1d93c82ff59669c00a6a8991e3b7e4e1.tar.bz2 |
Improve --varch error checking. (#394)
* Improve --varch error checking.
Print out why an option has problems.
Add check that elen must be >= xlen, flen, per the spec.
Since RV32G includes D by default, bump default elen to 64.
* Remove debug printf.
Diffstat (limited to 'riscv/riscv.ac')
-rw-r--r-- | riscv/riscv.ac | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/riscv/riscv.ac b/riscv/riscv.ac index 747c3e3..fc45732 100644 --- a/riscv/riscv.ac +++ b/riscv/riscv.ac @@ -13,10 +13,10 @@ AC_ARG_WITH(priv, AC_DEFINE_UNQUOTED([DEFAULT_PRIV], "MSU", [Default value for --priv switch])) AC_ARG_WITH(varch, - [AS_HELP_STRING([--with-varch=v128:e32:s128], + [AS_HELP_STRING([--with-varch=v128:e64:s128], [Sets the default vector config])], AC_DEFINE_UNQUOTED([DEFAULT_VARCH], "$withval", [Default value for --varch switch]), - AC_DEFINE_UNQUOTED([DEFAULT_VARCH], "v128:e32:s128", [Default value for --varch switch])) + AC_DEFINE_UNQUOTED([DEFAULT_VARCH], "v128:e64:s128", [Default value for --varch switch])) AC_SEARCH_LIBS([dlopen], [dl dld], [], [ |