diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-03-07 15:10:13 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-03-07 15:10:13 -0800 |
| commit | 6e9bf2c5fb774d58eda16a24c827cc3d6d5f6a8d (patch) | |
| tree | f195e6751639f84a4b987d12f996655d1621e5ad /model/rvfi_dii.sail | |
| parent | 1d85b196527dfeb1e126364afeaa5b7e632cc2a9 (diff) | |
| download | sail-riscv-6e9bf2c5fb774d58eda16a24c827cc3d6d5f6a8d.zip sail-riscv-6e9bf2c5fb774d58eda16a24c827cc3d6d5f6a8d.tar.gz sail-riscv-6e9bf2c5fb774d58eda16a24c827cc3d6d5f6a8d.tar.bz2 | |
Get rvfi building again.
Diffstat (limited to 'model/rvfi_dii.sail')
| -rw-r--r-- | model/rvfi_dii.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model/rvfi_dii.sail b/model/rvfi_dii.sail index 9680ab4..b0e3a06 100644 --- a/model/rvfi_dii.sail +++ b/model/rvfi_dii.sail @@ -63,7 +63,7 @@ register rvfi_exec : RVFI_DII_Execution_Packet val rvfi_zero_exec_packet : unit -> unit effect {wreg} function rvfi_zero_exec_packet () = - rvfi_exec = Mk_RVFI_DII_Execution_Packet(zero_extend(0b0,704)) + rvfi_exec = Mk_RVFI_DII_Execution_Packet(sail_zero_extend(0b0,704)) val rvfi_halt_exec_packet : unit -> unit effect {wreg} |