diff options
| author | Chih-Min Chao <chihmin.chao@sifive.com> | 2020-04-29 01:02:41 -0700 |
|---|---|---|
| committer | Chih-Min Chao <chihmin.chao@sifive.com> | 2020-04-29 01:02:49 -0700 |
| commit | 325865c6cc2058a93206cb1c1d507ce158172340 (patch) | |
| tree | 9c6957b151ed06c92adcae934e154a3be4edfc5b | |
| parent | 6657a560699e2e2da1a3b8e86a227d2929a3dc5b (diff) | |
| download | spike-325865c6cc2058a93206cb1c1d507ce158172340.zip spike-325865c6cc2058a93206cb1c1d507ce158172340.tar.gz spike-325865c6cc2058a93206cb1c1d507ce158172340.tar.bz2 | |
zfh: zfh require F extension support
Signed-off-by: Chih-Min Chao <chihmin.chao@sifive.com>
| -rw-r--r-- | riscv/processor.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/riscv/processor.cc b/riscv/processor.cc index efcbb2c..926bd37 100644 --- a/riscv/processor.cc +++ b/riscv/processor.cc @@ -289,6 +289,9 @@ void processor_t::parse_isa_string(const char* str) if (!supports_extension('I')) bad_isa_string(str, "'I' extension is required"); + if (supports_extension(EXT_ZFH) && !supports_extension('F')) + bad_isa_string(str, "'Zfh' extension requires 'F'"); + if (supports_extension('D') && !supports_extension('F')) bad_isa_string(str, "'D' extension requires 'F'"); |