Andrew Waterman [Fri, 12 Feb 2016 18:59:34 +0000 (10:59 -0800)]
Use simpler MTVEC scheme
Andrew Waterman [Fri, 12 Feb 2016 18:58:43 +0000 (10:58 -0800)]
Fix ERET bug
Andrew Waterman [Tue, 9 Feb 2016 22:26:06 +0000 (14:26 -0800)]
Zero-extend all CSR writes
This fixes an RV32 HTIF issue.
Andrew Waterman [Tue, 9 Feb 2016 07:29:41 +0000 (23:29 -0800)]
Fix ERET serialization strategy
It was screwing up the commit log.
Andrew Waterman [Mon, 8 Feb 2016 01:24:59 +0000 (17:24 -0800)]
Add autoconf check for little-endianness
Andrew Waterman [Mon, 8 Feb 2016 01:05:21 +0000 (17:05 -0800)]
Set default RV32 RAM size to 4 GiB - 256 MiB
This allows, by default, 256 MiB of addressable I/O space.
Andrew Waterman [Mon, 8 Feb 2016 01:04:28 +0000 (17:04 -0800)]
Serialize simulator on ERET
This guarantees interrupts will eventually be taken.
Andrew Waterman [Sat, 6 Feb 2016 02:18:06 +0000 (18:18 -0800)]
WIP on priv spec v1.9
Andrew Waterman [Sat, 6 Feb 2016 02:17:56 +0000 (18:17 -0800)]
Compile debug symbols
Andrew Waterman [Wed, 2 Mar 2016 20:13:55 +0000 (12:13 -0800)]
Mark SoftFloat routines static inline
This avoids duplicate definitions on some platforms.
Andrew Waterman [Wed, 2 Mar 2016 00:24:05 +0000 (16:24 -0800)]
Upgrade to latest SoftFloat
Andrew Waterman [Thu, 4 Feb 2016 07:38:29 +0000 (23:38 -0800)]
Actually refill ITLB on ITLB miss
oops.
Andrew Waterman [Sat, 30 Jan 2016 01:54:20 +0000 (17:54 -0800)]
Fix NaN propagation for fcvt
Andrew Waterman [Sun, 24 Jan 2016 08:01:04 +0000 (00:01 -0800)]
Remove hwacha support
Support for hwacha will continue on the ESP branch (see
https://github.com/ucb-bar/esp-isa-sim).
Andrew Waterman [Wed, 13 Jan 2016 00:13:20 +0000 (16:13 -0800)]
Use new NaN discipline
Andrew Waterman [Wed, 13 Jan 2016 00:12:21 +0000 (16:12 -0800)]
don't ignore data value when writing MIPI
Andrew Waterman [Tue, 5 Jan 2016 18:36:25 +0000 (10:36 -0800)]
fix help message
Scott Beamer [Thu, 17 Dec 2015 20:27:07 +0000 (12:27 -0800)]
another osx clang compatability fix
Andrew Waterman [Fri, 20 Nov 2015 03:00:14 +0000 (19:00 -0800)]
C.ADDIW is reserved for rd=0
Andrew Waterman [Fri, 13 Nov 2015 01:51:46 +0000 (17:51 -0800)]
Generate device tree for target machine
Andrew Waterman [Thu, 29 Oct 2015 20:08:32 +0000 (13:08 -0700)]
Access FP regs through a macro
This makes it easier to hook into them.
Andrew Waterman [Thu, 5 Nov 2015 08:27:42 +0000 (00:27 -0800)]
Merge pull request #34 from zizztux/incorrect_int_reg_count
Fix incorrect upper limit for loop on interactive int register display.
SeungRyeol Lee [Wed, 28 Oct 2015 06:59:10 +0000 (15:59 +0900)]
Fix incorrect upper limit for loop on interactive int register display.
Andrew Waterman [Mon, 26 Oct 2015 20:07:30 +0000 (13:07 -0700)]
Fix histogram for RVC
No need to right-shift PC by 2. It's a map, so this is a false economy.
Andrew Waterman [Tue, 20 Oct 2015 22:58:13 +0000 (15:58 -0700)]
Update to hopefully final RVC 1.9 encoding
Andrew Waterman [Tue, 13 Oct 2015 16:42:36 +0000 (09:42 -0700)]
Fix --dc flag
Resolves #33.
Andrew Waterman [Tue, 6 Oct 2015 07:51:27 +0000 (00:51 -0700)]
RVC encoding tweak
Andrew Waterman [Tue, 6 Oct 2015 04:24:01 +0000 (21:24 -0700)]
more work towards RVC 1.8
Andrew Waterman [Fri, 2 Oct 2015 19:23:24 +0000 (12:23 -0700)]
work towards rvc 1.8
Andrew Waterman [Fri, 2 Oct 2015 18:39:09 +0000 (11:39 -0700)]
clean up shift instruction implementation
Andrew Waterman [Fri, 25 Sep 2015 01:09:26 +0000 (18:09 -0700)]
Refactor memory access code; add MMIO support
Of course, it doesn't do anything yet.
Andrew Waterman [Thu, 24 Sep 2015 21:40:40 +0000 (14:40 -0700)]
Use enum instead of two bools to denote memory access type
Scott Beamer [Wed, 16 Sep 2015 00:43:37 +0000 (17:43 -0700)]
commit log now correctly prints privilege
adopting convention of privilege at time of commit, not after commit
Christopher Celio [Tue, 15 Sep 2015 22:05:11 +0000 (15:05 -0700)]
Zero-extend flw, fmv_s_x instructions
- This makes Spike more consistent with its zero-extending behavior
regarding other SP operations when placed into the 64b f-registers.
Scott Beamer [Sat, 12 Sep 2015 01:04:37 +0000 (18:04 -0700)]
print out current privilege level (if commit log enabled)
Scott Beamer [Sat, 12 Sep 2015 01:01:11 +0000 (18:01 -0700)]
print out commit log (if enabled) for all privilege levels
Andrew Waterman [Fri, 11 Sep 2015 22:13:52 +0000 (15:13 -0700)]
Simplify register_base_instructions
Andrew Waterman [Fri, 11 Sep 2015 22:13:26 +0000 (15:13 -0700)]
Initialize mstatus.prv1/prv2 to U, not S
This doesn't really matter, but it matches Rocket.
Andrew Waterman [Fri, 11 Sep 2015 22:13:08 +0000 (15:13 -0700)]
Support 'G' in ISA strings
It's the same as IMAFD.
Andrew Waterman [Fri, 11 Sep 2015 22:05:32 +0000 (15:05 -0700)]
Merge pull request #32 from riscv/insn-list
Eliminate non-portable sed usage
Albert Ou [Fri, 11 Sep 2015 00:01:59 +0000 (17:01 -0700)]
Fix non-portable sed commands generating insn_list.h
Andrew Waterman [Tue, 8 Sep 2015 22:09:23 +0000 (15:09 -0700)]
Improve instruction fetch
- Performance for variable-length instructions is much better
- Refill is simpler and faster
- Support for instructions with overlapping opcodes (e.g. C.ADD + C.JALR)
Andrew Waterman [Tue, 8 Sep 2015 22:05:31 +0000 (15:05 -0700)]
Add facility to instrument specific opcodes
It's not ideal, because it requires modifying tracer.h. A more general
facility would allow overriding the instruction execution function for
a given opcode dynamically.
Andrew Waterman [Tue, 8 Sep 2015 22:03:03 +0000 (15:03 -0700)]
Refer to LICENSE in some newer source files
Andrew Waterman [Fri, 4 Sep 2015 20:39:42 +0000 (13:39 -0700)]
Move towards RVC v1.8
Andrew Waterman [Wed, 2 Sep 2015 20:36:10 +0000 (13:36 -0700)]
Don't automatically run autoconf
Run it yourself if you modify configure.ac, and commit the configure script.
Andrew Waterman [Thu, 6 Aug 2015 22:59:08 +0000 (15:59 -0700)]
Merge pull request #29 from pmundkur/devel
Enable execution log generation in non-interactive mode.
Prashanth Mundkur [Thu, 6 Aug 2015 21:57:07 +0000 (14:57 -0700)]
Add an option (-l) to display a log of execution in non-interactive mode.
Interactive (-d) mode overrides this option when both are specified.
Christopher Celio [Thu, 30 Jul 2015 20:08:46 +0000 (13:08 -0700)]
Added error message when trying to use histogram
Christopher Celio [Tue, 21 Jul 2015 19:45:17 +0000 (12:45 -0700)]
Update README.md for freg info
Andrew Waterman [Wed, 15 Jul 2015 17:57:11 +0000 (12:57 -0500)]
Merge pull request #28 from sbeamer/master
fixes clang warning (#26)
Scott Beamer [Mon, 13 Jul 2015 23:17:13 +0000 (16:17 -0700)]
simplified default case and added comments
Andrew Waterman [Sat, 11 Jul 2015 03:16:34 +0000 (22:16 -0500)]
Merge pull request #27 from sbeamer/master
fix clang compile error
Scott Beamer [Sat, 11 Jul 2015 02:38:22 +0000 (19:38 -0700)]
fix clang compile error
Andrew Waterman [Sun, 5 Jul 2015 23:47:20 +0000 (16:47 -0700)]
New machine-mode timer facility
Andrew Waterman [Sat, 6 Jun 2015 02:00:16 +0000 (19:00 -0700)]
Merge pull request #25 from vapier/master
few more interactive cleanups and more functionality
Mike Frysinger [Fri, 5 Jun 2015 13:17:19 +0000 (21:17 +0800)]
allow interactive "reg" command to dump all registers
It you want to scan all the registers at once (or at least a few), having
to dump them one by one is kind of a pain. Change the behavior so that if
the register number is omitted, it'll dump all of them.
Mike Frysinger [Fri, 5 Jun 2015 13:13:04 +0000 (21:13 +0800)]
add an interactive "pc" command
This lets you show the current pc quickly. Sometimes when displaying
different state you can lose track of what the pc was. Add a simple
command that plumbs in the existing functions to the user interface.
Mike Frysinger [Fri, 5 Jun 2015 13:06:52 +0000 (21:06 +0800)]
unify interactive core processing
Different functions in here process the core argument in different ways.
Unify all of them with a utility function.
Andrew Waterman [Thu, 4 Jun 2015 23:06:47 +0000 (16:06 -0700)]
Merge pull request #24 from vapier/master
improve interactive behavior a bit more
Mike Frysinger [Thu, 4 Jun 2015 16:04:52 +0000 (00:04 +0800)]
add aliases for common interactive functions
Rather than using one letter commands everywhere, add support for "run"
and "quit" and "help" as aliases to "r" and "q" and "h" respectively.
This makes it a little inconsistent when some commands are one letters
but others are full words.
Mike Frysinger [Thu, 4 Jun 2015 15:59:00 +0000 (23:59 +0800)]
add a help screen to interactive mode
There's no documentation that covers all the available functionality
(in source or the accompanied docs). Start a help command so that the
info is always live and up-to-date for people.
Andrew Waterman [Wed, 3 Jun 2015 21:00:07 +0000 (14:00 -0700)]
Merge pull request #23 from vapier/master
move interactive function init out of main loop
Mike Frysinger [Wed, 3 Jun 2015 13:24:48 +0000 (21:24 +0800)]
move interactive function init out of main loop
These values don't change between runs, so there's no point in recreating
them on every instruction step. Pull it out to the top to simplify.
Andrew Waterman [Mon, 1 Jun 2015 01:28:53 +0000 (18:28 -0700)]
Use single, shared real-time counter
This required disentangling INSTRET/CYCLE from TIME.
Andrew Waterman [Mon, 1 Jun 2015 01:10:20 +0000 (18:10 -0700)]
Execute exactly the # of insns passed to step()
Previously, the value was treated as approximate.
Andrew Waterman [Sun, 31 May 2015 23:38:24 +0000 (16:38 -0700)]
Add rest of RV32C instructions
Andrew Waterman [Sun, 31 May 2015 22:47:11 +0000 (15:47 -0700)]
Fix performance bug when CSR accesses are common
processor_t::step was returning without doing much work, causing the HTIF
to be ticked far more often than necessary.
Andrew Waterman [Thu, 21 May 2015 18:55:52 +0000 (11:55 -0700)]
Fix c.slliw implementation
Andrew Waterman [Thu, 21 May 2015 07:21:46 +0000 (00:21 -0700)]
New RV64C proposal
Andrew Waterman [Wed, 20 May 2015 20:49:01 +0000 (13:49 -0700)]
Take interrupts as soon as interrupts are enabled
Previously, if interrupts were enabled then disabled quickly enough,
no interrupt would ever be taken, resulting in deadlock.
Andrew Waterman [Fri, 15 May 2015 00:35:18 +0000 (17:35 -0700)]
Merge pull request #20 from palmer-dabbelt/package
various fixes to make riscv-isa-sim installable
Andrew Waterman [Mon, 11 May 2015 21:21:03 +0000 (14:21 -0700)]
Fix VM, MIP encoding
Palmer Dabbelt [Wed, 13 May 2015 22:36:57 +0000 (15:36 -0700)]
Install "disasm.h"
Something includes this somewhere, so I see no reason not to just
install it.
Palmer Dabbelt [Wed, 13 May 2015 22:36:45 +0000 (15:36 -0700)]
autoreconf
126beb482ff6 ("Install pkg-config files for Spike")
Palmer Dabbelt [Wed, 13 May 2015 21:54:24 +0000 (14:54 -0700)]
Install pkg-config files for Spike
The actual Spike package consists of a whole bunch of libraries. This
installs a pkg-config file for each generated library, and a meta
pkg-config file (riscv-spike.pc) that links in all the other Spike
libraries except dummy_rocc (which I figure isn't interesting).
This allows me to package and install spike, and then use that package
to build an extension library (so I don't have to fork Spike for my
own ISA extension).
Palmer Dabbelt [Wed, 13 May 2015 21:52:19 +0000 (14:52 -0700)]
Change the behavior of the DESTDIR make variable
DESTDIR is a common make idiom. As per the GNU coding standards
https://www.gnu.org/prep/standards/html_node/DESTDIR.html
"DESTDIR is a variable prepended to each installed target file, like
this:
$(INSTALL_PROGRAM) foo $(DESTDIR)$(bindir)/foo
$(INSTALL_DATA) libfoo.a $(DESTDIR)$(libdir)/libfoo.a
The DESTDIR variable is specified by the user on the make command
line as an absolute file name. For example:
make DESTDIR=/tmp/stage install
DESTDIR should be supported only in the install* and uninstall*
targets, as those are the only targets where it is useful.
If your installation step would normally install /usr/local/bin/foo
and /usr/local/lib/libfoo.a, then an installation invoked as in the
example above would install /tmp/stage/usr/local/bin/foo and
/tmp/stage/usr/local/lib/libfoo.a instead."
The current Makefile.in uses DESTDIR, but has a slightly non-standard
behavior: the target install location doesn't include "$prefix". This
breaks package managers, because stuff ends up getting installed to
the wrong location.
Unfortunately the only way I can think of to fix this involves
silently changing the behavior of DESTDIR. Hopefully nobody is using
it...?
[port of
8a2088b59162fe16c16d26ddc1cfcaaaa8c4156f in riscv-fesvr]
Andrew Waterman [Sat, 9 May 2015 23:12:07 +0000 (16:12 -0700)]
Upgrade to privileged architecture 1.7
Andrew Waterman [Thu, 30 Apr 2015 21:31:25 +0000 (14:31 -0700)]
Fix commit log for CSR instructions
Andrew Waterman [Sun, 26 Apr 2015 00:51:23 +0000 (17:51 -0700)]
Fix I$ simulator hit count
Also, improve performance by allowing the soft-ITLB to refill.
Andrew Waterman [Tue, 14 Apr 2015 22:46:30 +0000 (15:46 -0700)]
Merge pull request #18 from wsong83/master
fix cache line index offset in cachesim.cc
Wei Song [Mon, 13 Apr 2015 15:35:13 +0000 (16:35 +0100)]
fix cache line index offset in cachesim.cc
Andrew Waterman [Thu, 9 Apr 2015 18:25:07 +0000 (11:25 -0700)]
Fix autoconf for RHEL6
Andrew Waterman [Sat, 4 Apr 2015 22:17:13 +0000 (15:17 -0700)]
Check for F extension when accessing FCSR
Andrew Waterman [Sat, 4 Apr 2015 04:53:22 +0000 (21:53 -0700)]
Support setting ISA/subsets with --isa flag
Default is RV64IMAFDC. Can do things like
--isa=RV32 (which implies IMAFDC)
--isa=IM (which implies RV64)
--isa=RV64IMAFDXhwacha
Andrew Waterman [Thu, 2 Apr 2015 21:23:30 +0000 (14:23 -0700)]
Simplify RV32 comparisons
No need to eliminate the upper 32 bits of the 64-bit x-register, as all
RV32 instructions should sign-extend their results to 64 bits.
Andrew Waterman [Tue, 31 Mar 2015 23:07:56 +0000 (16:07 -0700)]
Allow writing mstatus.fs even if FPU isn't present
This allows the OS to track FP state dirtiness.
Andrew Waterman [Tue, 31 Mar 2015 03:28:55 +0000 (20:28 -0700)]
Implement RVC draft
Andrew Waterman [Thu, 26 Mar 2015 07:28:10 +0000 (00:28 -0700)]
Serialize counters without throwing C++ exceptions
Ideally, a similar mechanism will apply to target machine exceptions.
Andrew Waterman [Tue, 24 Mar 2015 22:29:43 +0000 (15:29 -0700)]
New virtual memory implementation (Sv39)
Andrew Waterman [Thu, 26 Mar 2015 06:01:54 +0000 (23:01 -0700)]
Update state.pc on every instruction
This isn't a bug fix for Spike proper, but it makes it possible for
RoCC instructions to access the control thread's PC.
Andrew Waterman [Sat, 21 Mar 2015 06:11:49 +0000 (23:11 -0700)]
For misaligned fetch, set mepc = addr of branch/jump
Yunsup Lee [Tue, 17 Mar 2015 11:33:17 +0000 (04:33 -0700)]
bugfix, mbadaddr should be writable
Yunsup Lee [Tue, 17 Mar 2015 11:32:53 +0000 (04:32 -0700)]
change hwacha cause to follow risc-v cause
Andrew Waterman [Tue, 17 Mar 2015 08:19:40 +0000 (01:19 -0700)]
Merge [shm]call into ecall, [shm]ret into eret
Yunsup Lee [Mon, 16 Mar 2015 09:01:26 +0000 (02:01 -0700)]
bugfix in raising accelerator interrupts
Yunsup Lee [Mon, 16 Mar 2015 08:59:55 +0000 (01:59 -0700)]
vxcptsave->vxcptevac,vxcptrestore->vxcpthold
this change was necessary since the impl csr is gone.
Andrew Waterman [Mon, 16 Mar 2015 03:41:24 +0000 (20:41 -0700)]
Delete all remaining junk on "make clean"
Andrew Waterman [Sat, 14 Mar 2015 09:05:15 +0000 (02:05 -0700)]
Don't set dirty/referenced bits w/o permission
Andrew Waterman [Fri, 13 Mar 2015 06:06:40 +0000 (23:06 -0700)]
Use hcall instead of mcall