diff options
author | Andrew Waterman <andrew@sifive.com> | 2023-06-17 14:33:42 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2023-06-18 01:23:45 -0700 |
commit | b043cc1d7430d6a4d982aa4d2b07b44dd4b2366c (patch) | |
tree | 896d65d4f1fa310dfd07f5d6799f2b182e9b2727 /riscv/insns/gorci.h | |
parent | fff2699cfdcf9a2fe7e004ca92c299a2c11c37a1 (diff) | |
download | spike-b043cc1d7430d6a4d982aa4d2b07b44dd4b2366c.zip spike-b043cc1d7430d6a4d982aa4d2b07b44dd4b2366c.tar.gz spike-b043cc1d7430d6a4d982aa4d2b07b44dd4b2366c.tar.bz2 |
Remove Xbitmanip from instructions that belong to multiple extensions
Diffstat (limited to 'riscv/insns/gorci.h')
-rw-r--r-- | riscv/insns/gorci.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/riscv/insns/gorci.h b/riscv/insns/gorci.h index d3017f4..a4656fa 100644 --- a/riscv/insns/gorci.h +++ b/riscv/insns/gorci.h @@ -1,6 +1,5 @@ // Zbb contains orc.b but not general gorci -require(((SHAMT == 7) && p->extension_enabled(EXT_ZBB)) - || p->extension_enabled(EXT_XZBP)); +require(((SHAMT == 7) && p->extension_enabled(EXT_ZBB))); require(SHAMT < xlen); reg_t x = RS1; int shamt = SHAMT; |