Skip to content

Commit

Permalink
Update Zc* extension file names
Browse files Browse the repository at this point in the history
  • Loading branch information
jordancarlin committed Jul 29, 2024
1 parent 65363fe commit b4a6db0
Show file tree
Hide file tree
Showing 4 changed files with 6 additions and 16 deletions.
6 changes: 3 additions & 3 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -23,9 +23,9 @@ SAIL_VLEN := riscv_vlen.sail

# Instruction sources, depending on target
SAIL_CHECK_SRCS = riscv_addr_checks_common.sail riscv_addr_checks.sail riscv_misa_ext.sail
SAIL_DEFAULT_INST = riscv_insts_base.sail riscv_insts_aext.sail riscv_insts_cext.sail riscv_insts_mext.sail riscv_insts_zicsr.sail riscv_insts_next.sail riscv_insts_hints.sail
SAIL_DEFAULT_INST += riscv_insts_fext.sail riscv_insts_cfext.sail
SAIL_DEFAULT_INST += riscv_insts_dext.sail riscv_insts_cdext.sail
SAIL_DEFAULT_INST = riscv_insts_base.sail riscv_insts_aext.sail riscv_insts_zca.sail riscv_insts_mext.sail riscv_insts_zicsr.sail riscv_insts_next.sail riscv_insts_hints.sail
SAIL_DEFAULT_INST += riscv_insts_fext.sail riscv_insts_zcf.sail
SAIL_DEFAULT_INST += riscv_insts_dext.sail riscv_insts_zcd.sail

SAIL_DEFAULT_INST += riscv_insts_svinval.sail

Expand Down
7 changes: 3 additions & 4 deletions model/riscv_insts_cext.sail → model/riscv_insts_zca.sail
Original file line number Diff line number Diff line change
Expand Up @@ -7,11 +7,10 @@
/*=======================================================================================*/

/* ********************************************************************* */
/* This file specifies the compressed instructions in the 'C' extension. */
/* This file specifies the compressed instructions in the 'Zca' extension. */

/* These instructions are only legal if misa[C] is true. Instead of
* checking this in every execute clause, we currently do the check in one place
* in the fetch-execute logic.
/* Instead of checking for Zca in every execute clause, we currently do
* the check in one place in the fetch-execute logic.
*/

/* ****************************************************************** */
Expand Down
9 changes: 0 additions & 9 deletions model/riscv_insts_cdext.sail → model/riscv_insts_zcd.sail
Original file line number Diff line number Diff line change
Expand Up @@ -6,15 +6,6 @@
/* SPDX-License-Identifier: BSD-2-Clause */
/*=======================================================================================*/

/* ********************************************************************* */
/* This file specifies the compressed floating-point instructions.
*
* These instructions are only legal if misa[C] and misa[D]
* are set.
*/

/* ****************************************************************** */

enum clause extension = Ext_Zcd
function clause extensionEnabled(Ext_Zcd) = extensionEnabled(Ext_Zca) & extensionEnabled(Ext_D) & (sizeof(xlen) == 32 | sizeof(xlen) == 64)

Expand Down
File renamed without changes.

0 comments on commit b4a6db0

Please sign in to comment.