Luke Kenneth Casson Leighton [Mon, 30 Mar 2020 12:10:54 +0000 (13:10 +0100)]
add break (leave) statement
Luke Kenneth Casson Leighton [Mon, 30 Mar 2020 12:05:36 +0000 (13:05 +0100)]
sigh add in do while syntax
Luke Kenneth Casson Leighton [Mon, 30 Mar 2020 11:19:25 +0000 (12:19 +0100)]
add support for for-loops
Luke Kenneth Casson Leighton [Mon, 30 Mar 2020 11:03:04 +0000 (12:03 +0100)]
add token-preprocessing step to make code look more like python
Luke Kenneth Casson Leighton [Mon, 30 Mar 2020 10:30:34 +0000 (11:30 +0100)]
get if/else comparisons working with python3
Luke Kenneth Casson Leighton [Mon, 30 Mar 2020 10:19:36 +0000 (11:19 +0100)]
add concatenation of signals (by way of global function, "concat")
Luke Kenneth Casson Leighton [Sun, 29 Mar 2020 20:54:48 +0000 (21:54 +0100)]
annoying. convert to python3
Michael Nolan [Sun, 29 Mar 2020 17:54:17 +0000 (13:54 -0400)]
Update proof_decoder2 to handle signed immediates
Michael Nolan [Sun, 29 Mar 2020 17:50:51 +0000 (13:50 -0400)]
Fix issue 271, remove unneeded fields in power_fieldsn.py
Luke Kenneth Casson Leighton [Sun, 29 Mar 2020 13:43:41 +0000 (14:43 +0100)]
add listmaker
Luke Kenneth Casson Leighton [Sun, 29 Mar 2020 12:20:57 +0000 (13:20 +0100)]
start to convert to POWER decoder, add slice/subscript
Luke Kenneth Casson Leighton [Sun, 29 Mar 2020 11:34:02 +0000 (12:34 +0100)]
add while statement to GardenSnake. cute!
Luke Kenneth Casson Leighton [Sun, 29 Mar 2020 10:52:40 +0000 (11:52 +0100)]
add support for ELSE statement, enable debug etc.
Luke Kenneth Casson Leighton [Sun, 29 Mar 2020 10:21:30 +0000 (11:21 +0100)]
add ply to dependencies
Luke Kenneth Casson Leighton [Sun, 29 Mar 2020 10:14:32 +0000 (11:14 +0100)]
add first python-ply recovered working version of GardenSnake.py since 2006!
Luke Kenneth Casson Leighton [Thu, 26 Mar 2020 20:31:06 +0000 (20:31 +0000)]
add TODO for cry_in==CA
Luke Kenneth Casson Leighton [Thu, 26 Mar 2020 20:30:51 +0000 (20:30 +0000)]
add TODO for cry_in==CA
Luke Kenneth Casson Leighton [Thu, 26 Mar 2020 16:56:53 +0000 (16:56 +0000)]
fix 1-overflow
Luke Kenneth Casson Leighton [Thu, 26 Mar 2020 16:54:54 +0000 (16:54 +0000)]
brackets to be safe
Michael Nolan [Thu, 26 Mar 2020 14:55:24 +0000 (10:55 -0400)]
Add tests for subfic and neg
Michael Nolan [Thu, 26 Mar 2020 14:41:17 +0000 (10:41 -0400)]
Sub instruction working
Luke Kenneth Casson Leighton [Thu, 26 Mar 2020 11:42:56 +0000 (11:42 +0000)]
add newline to stop gnu-as whining
Luke Kenneth Casson Leighton [Thu, 26 Mar 2020 11:35:55 +0000 (11:35 +0000)]
seeing spurious failures on gdb connection
Luke Kenneth Casson Leighton [Thu, 26 Mar 2020 11:16:05 +0000 (11:16 +0000)]
missed cd build
Luke Kenneth Casson Leighton [Thu, 26 Mar 2020 11:08:29 +0000 (11:08 +0000)]
add README describing build process for simulator (gdb ppc)
Luke Kenneth Casson Leighton [Thu, 26 Mar 2020 11:03:28 +0000 (11:03 +0000)]
add pygdbmi to dependencies
Luke Kenneth Casson Leighton [Thu, 26 Mar 2020 11:01:33 +0000 (11:01 +0000)]
wait for communication with closing program and close the stdin/out pipes
Michael Nolan [Wed, 25 Mar 2020 22:38:18 +0000 (18:38 -0400)]
Directly compare simulator with qemu
I'm getting an error where it says some files are still open, but I
can't figure out what they are
Michael Nolan [Wed, 25 Mar 2020 21:16:07 +0000 (17:16 -0400)]
Assemble whole program instead of instruction by instruction
Michael Nolan [Wed, 25 Mar 2020 20:44:17 +0000 (16:44 -0400)]
Add rudimentary python qemu interface
Michael Nolan [Wed, 25 Mar 2020 17:26:15 +0000 (13:26 -0400)]
Add instructions for how to launch qemu
Michael Nolan [Wed, 25 Mar 2020 17:23:16 +0000 (13:23 -0400)]
Add qemu test directory
Luke Kenneth Casson Leighton [Tue, 24 Mar 2020 11:14:13 +0000 (11:14 +0000)]
change name of test function in addr_split
Luke Kenneth Casson Leighton [Tue, 24 Mar 2020 10:59:18 +0000 (10:59 +0000)]
whitespace
Luke Kenneth Casson Leighton [Tue, 24 Mar 2020 10:57:56 +0000 (10:57 +0000)]
whitespace cleanup
Luke Kenneth Casson Leighton [Tue, 24 Mar 2020 10:26:10 +0000 (10:26 +0000)]
add cross-references to bugreports and wiki
Luke Kenneth Casson Leighton [Tue, 24 Mar 2020 10:24:02 +0000 (10:24 +0000)]
add routing of store data through splitters
Luke Kenneth Casson Leighton [Tue, 24 Mar 2020 10:13:24 +0000 (10:13 +0000)]
move ashift out to common area
Michael Nolan [Mon, 23 Mar 2020 20:01:10 +0000 (16:01 -0400)]
Implement load and store of bytes, halfwords, and words
Michael Nolan [Mon, 23 Mar 2020 18:40:22 +0000 (14:40 -0400)]
Properly sign extend immediates
Michael Nolan [Mon, 23 Mar 2020 18:24:20 +0000 (14:24 -0400)]
Fix broken test
Michael Nolan [Mon, 23 Mar 2020 15:46:36 +0000 (11:46 -0400)]
Add support for extended/indexed ld/st
Luke Kenneth Casson Leighton [Mon, 23 Mar 2020 18:05:23 +0000 (18:05 +0000)]
hmm start adding st in (half done)
Michael Nolan [Mon, 23 Mar 2020 14:53:53 +0000 (10:53 -0400)]
Add memory loads and stores to simulator
Michael Nolan [Mon, 23 Mar 2020 14:21:44 +0000 (10:21 -0400)]
Begin adding backend simulator
Michael Nolan [Mon, 23 Mar 2020 13:41:35 +0000 (09:41 -0400)]
Move gnu assembler interface to separate file
Luke Kenneth Casson Leighton [Mon, 23 Mar 2020 13:46:19 +0000 (13:46 +0000)]
split sim classes out into separate module
Luke Kenneth Casson Leighton [Mon, 23 Mar 2020 10:05:22 +0000 (10:05 +0000)]
add twin partial address mapper class
designed to be used with LDSTSplitter which creates two addresses for
misaligned LD/STs across cache-lines
Luke Kenneth Casson Leighton [Mon, 23 Mar 2020 09:24:06 +0000 (09:24 +0000)]
sort out unit test for address split
Luke Kenneth Casson Leighton [Sun, 22 Mar 2020 14:38:37 +0000 (14:38 +0000)]
get AddrSplitter working for data len=8
Luke Kenneth Casson Leighton [Sun, 22 Mar 2020 13:56:46 +0000 (13:56 +0000)]
working on simulation to test Address Splitter
Luke Kenneth Casson Leighton [Sun, 22 Mar 2020 12:34:01 +0000 (12:34 +0000)]
link up output from ld1/ld2 and merge into request
Luke Kenneth Casson Leighton [Sun, 22 Mar 2020 11:33:44 +0000 (11:33 +0000)]
start putting LDSTSplitter together
Luke Kenneth Casson Leighton [Sat, 21 Mar 2020 19:02:18 +0000 (19:02 +0000)]
set bigendian=1 in formal proofs of decoder (TODO: bigendian=0)
Luke Kenneth Casson Leighton [Sat, 21 Mar 2020 18:58:39 +0000 (18:58 +0000)]
whoops cut/paste error
Luke Kenneth Casson Leighton [Sat, 21 Mar 2020 18:55:33 +0000 (18:55 +0000)]
start on address splitter, idea is to use Queues
Luke Kenneth Casson Leighton [Sat, 21 Mar 2020 12:12:00 +0000 (12:12 +0000)]
mention instruction fetch mapping section
Luke Kenneth Casson Leighton [Sat, 21 Mar 2020 11:48:14 +0000 (11:48 +0000)]
shorten variables, add comments
Luke Kenneth Casson Leighton [Sat, 21 Mar 2020 11:46:11 +0000 (11:46 +0000)]
add option to switch endianness on gnu as
Luke Kenneth Casson Leighton [Sat, 21 Mar 2020 11:08:29 +0000 (11:08 +0000)]
add big/little byte-reversing
Michael Nolan [Fri, 20 Mar 2020 14:50:47 +0000 (10:50 -0400)]
Fix proof_decoder2
Michael Nolan [Fri, 20 Mar 2020 14:41:18 +0000 (10:41 -0400)]
Delete log messages in power_fields and power_fieldsn
Michael Nolan [Fri, 20 Mar 2020 14:40:54 +0000 (10:40 -0400)]
Minor cleanup
Michael Nolan [Fri, 20 Mar 2020 14:38:28 +0000 (10:38 -0400)]
Add test for branch to lr/ctr
Michael Nolan [Fri, 20 Mar 2020 14:17:11 +0000 (10:17 -0400)]
Add tests for branch instructions
Michael Nolan [Fri, 20 Mar 2020 14:07:53 +0000 (10:07 -0400)]
Add test for rotate/shift instructions
Michael Nolan [Fri, 20 Mar 2020 13:57:27 +0000 (09:57 -0400)]
Remove unneeded condition register decoder
Michael Nolan [Thu, 19 Mar 2020 19:21:43 +0000 (15:21 -0400)]
Add test for cmp with register
Michael Nolan [Thu, 19 Mar 2020 18:48:31 +0000 (14:48 -0400)]
Add tests for load/store with immediate offset
Michael Nolan [Thu, 19 Mar 2020 18:35:01 +0000 (14:35 -0400)]
Add ld and st instructions to the reg/reg test
Michael Nolan [Thu, 19 Mar 2020 18:24:39 +0000 (14:24 -0400)]
Add checks for the decoding of RC (the . in some instructions)
Michael Nolan [Thu, 19 Mar 2020 18:08:29 +0000 (14:08 -0400)]
Add tests for register+immediate ops
Fix issue with decoder where a signed shifted immediate wasn't shifted
by the right amount
Michael Nolan [Thu, 19 Mar 2020 17:38:44 +0000 (13:38 -0400)]
Factor out instruction generation and testing from simulation
Michael Nolan [Thu, 19 Mar 2020 15:43:25 +0000 (11:43 -0400)]
Cleanup test_decoder_gas.py
Michael Nolan [Thu, 19 Mar 2020 15:41:03 +0000 (11:41 -0400)]
Add assertions for input registers
Luke Kenneth Casson Leighton [Thu, 19 Mar 2020 06:53:36 +0000 (06:53 +0000)]
fix silly errors in power_fieldsn.py
Luke Kenneth Casson Leighton [Thu, 19 Mar 2020 02:58:38 +0000 (02:58 +0000)]
invert bits of field in decoder (not instruction bits)
Michael Nolan [Wed, 18 Mar 2020 15:48:04 +0000 (11:48 -0400)]
Begin adding a test using GNU AS
Michael Nolan [Wed, 18 Mar 2020 13:35:07 +0000 (09:35 -0400)]
Add proof that all other opcodes decode to INVALID
Michael Nolan [Wed, 18 Mar 2020 13:34:45 +0000 (09:34 -0400)]
Fix bug where enum values weren't getting set to int
Luke Kenneth Casson Leighton [Wed, 18 Mar 2020 16:10:32 +0000 (16:10 +0000)]
use function which reverses bit-order
Luke Kenneth Casson Leighton [Wed, 18 Mar 2020 16:06:30 +0000 (16:06 +0000)]
comment reverse-order of bit-fields
Luke Kenneth Casson Leighton [Wed, 18 Mar 2020 13:59:48 +0000 (13:59 +0000)]
done, bugs.libre-riscv.org/show_bug.cgi?id=261
Michael Nolan [Wed, 18 Mar 2020 13:30:03 +0000 (09:30 -0400)]
Create SPR enum from sprs.csv
Michael Nolan [Wed, 18 Mar 2020 13:00:05 +0000 (09:00 -0400)]
Add more to decoder proof
Michael Nolan [Mon, 16 Mar 2020 19:15:49 +0000 (15:15 -0400)]
Begin adding proof for decoder stage 1
Luke Kenneth Casson Leighton [Wed, 18 Mar 2020 12:12:21 +0000 (12:12 +0000)]
add comment about SPRs CSV
Luke Kenneth Casson Leighton [Wed, 18 Mar 2020 12:03:42 +0000 (12:03 +0000)]
add comments
Luke Kenneth Casson Leighton [Wed, 18 Mar 2020 11:30:58 +0000 (11:30 +0000)]
import absolute paths
Luke Kenneth Casson Leighton [Mon, 16 Mar 2020 17:19:43 +0000 (17:19 +0000)]
clarify is_match manually
Luke Kenneth Casson Leighton [Mon, 16 Mar 2020 13:18:48 +0000 (13:18 +0000)]
add exploratory unit test for partial address matching
Luke Kenneth Casson Leighton [Mon, 16 Mar 2020 12:39:28 +0000 (12:39 +0000)]
comment out addr_we_i, seems not to be used
Luke Kenneth Casson Leighton [Mon, 16 Mar 2020 12:39:03 +0000 (12:39 +0000)]
connect up expander output, set up is_match to check bitmap and wrapped bitmap
(crossing cache line boundary)
Luke Kenneth Casson Leighton [Mon, 16 Mar 2020 12:12:43 +0000 (12:12 +0000)]
connect LenExpanders into PartialAddrBitmap
Luke Kenneth Casson Leighton [Sun, 15 Mar 2020 22:16:20 +0000 (22:16 +0000)]
crossreference to bugreport
Luke Kenneth Casson Leighton [Sun, 15 Mar 2020 22:15:42 +0000 (22:15 +0000)]
add description of how PartialAddrBitmap works
Luke Kenneth Casson Leighton [Sun, 15 Mar 2020 11:20:02 +0000 (11:20 +0000)]
add beginnings of link to lenexpanders
Luke Kenneth Casson Leighton [Sat, 14 Mar 2020 17:50:58 +0000 (17:50 +0000)]
add a LenExpand class which takes a (length, addr) pair,
turns it into a bitmap of bytes that would be affected by that LD/ST
Luke Kenneth Casson Leighton [Sat, 14 Mar 2020 11:56:07 +0000 (11:56 +0000)]
add beginnings of PartialAddrBitmap elaborate
Luke Kenneth Casson Leighton [Fri, 13 Mar 2020 22:36:19 +0000 (22:36 +0000)]
allow over-ride of address match function in PartialAddrMatch