Luke Kenneth Casson Leighton [Wed, 20 May 2020 04:44:52 +0000 (05:44 +0100)]
convert Logical to use new XER use of Data()
Luke Kenneth Casson Leighton [Wed, 20 May 2020 04:42:45 +0000 (05:42 +0100)]
convert alu output to use Data for XER and CR0
Luke Kenneth Casson Leighton [Wed, 20 May 2020 01:01:19 +0000 (02:01 +0100)]
whoops changed name of ALUInputData to LogicalInputData
Luke Kenneth Casson Leighton [Wed, 20 May 2020 00:58:38 +0000 (01:58 +0100)]
fix a series of random imports
Luke Kenneth Casson Leighton [Wed, 20 May 2020 00:23:00 +0000 (01:23 +0100)]
add DIV and MUL to POWER Function enum
Luke Kenneth Casson Leighton [Tue, 19 May 2020 21:55:54 +0000 (22:55 +0100)]
output ilang to branch_pipeline.il for branch
Luke Kenneth Casson Leighton [Tue, 19 May 2020 21:54:44 +0000 (22:54 +0100)]
use field AA directly
Luke Kenneth Casson Leighton [Tue, 19 May 2020 21:14:00 +0000 (22:14 +0100)]
add OP_RFID to enums
Luke Kenneth Casson Leighton [Tue, 19 May 2020 21:11:54 +0000 (22:11 +0100)]
update submodule to latest (including OP_TDI/OP_TRAP
Luke Kenneth Casson Leighton [Tue, 19 May 2020 20:58:13 +0000 (21:58 +0100)]
remove SPR3 from Branch Data, rename lr and spr to SPR1 and SPR2
colepoirier [Tue, 19 May 2020 20:43:13 +0000 (13:43 -0700)]
Renamed bperm files in fu/logical and fu/logical formal to correct name
of operation 'bpermd', added up-to-date docstring from spec v3.1
Luke Kenneth Casson Leighton [Tue, 19 May 2020 20:38:51 +0000 (21:38 +0100)]
rename module, remove extraneous code and imports
Luke Kenneth Casson Leighton [Tue, 19 May 2020 20:37:40 +0000 (21:37 +0100)]
hmmm, branch sets nia to Data as well and sets nia.ok if branch should occur
therefore do the same thing?
Luke Kenneth Casson Leighton [Tue, 19 May 2020 20:34:02 +0000 (21:34 +0100)]
whitespace
Luke Kenneth Casson Leighton [Tue, 19 May 2020 20:33:38 +0000 (21:33 +0100)]
use Data on SPRs in Trap InputData just like in BranchOutputData
Luke Kenneth Casson Leighton [Tue, 19 May 2020 20:30:42 +0000 (21:30 +0100)]
code-munge
Luke Kenneth Casson Leighton [Tue, 19 May 2020 20:22:38 +0000 (21:22 +0100)]
update comments
Michael Nolan [Tue, 19 May 2020 19:59:33 +0000 (15:59 -0400)]
Add should_trap signal to trap output data
Michael Nolan [Tue, 19 May 2020 19:52:52 +0000 (15:52 -0400)]
Add trap main stage
Michael Nolan [Tue, 19 May 2020 19:34:49 +0000 (15:34 -0400)]
Update to latest wiki version - fixing OP_TRAP
Michael Nolan [Tue, 19 May 2020 19:34:35 +0000 (15:34 -0400)]
Change OP_TWI/TDI/TW/TD to OP_TRAP
Michael Nolan [Tue, 19 May 2020 19:26:48 +0000 (15:26 -0400)]
Begin adding trap FU
Luke Kenneth Casson Leighton [Tue, 19 May 2020 17:33:48 +0000 (18:33 +0100)]
rename ALUPipeData to LogicalPipeData
Luke Kenneth Casson Leighton [Tue, 19 May 2020 16:25:51 +0000 (17:25 +0100)]
annoying syntax error
Luke Kenneth Casson Leighton [Tue, 19 May 2020 16:25:18 +0000 (17:25 +0100)]
code-shuffle on OP_CNTZ
Michael Nolan [Tue, 19 May 2020 16:06:52 +0000 (12:06 -0400)]
Implement 32 bit cntlz and cnttz
Michael Nolan [Tue, 19 May 2020 15:58:19 +0000 (11:58 -0400)]
Actually implement cntlzd
Michael Nolan [Tue, 19 May 2020 15:35:54 +0000 (11:35 -0400)]
Fix weird edge cases with carry
Michael Nolan [Tue, 19 May 2020 15:20:04 +0000 (11:20 -0400)]
Add ca32 to caller.py
Michael Nolan [Tue, 19 May 2020 15:06:04 +0000 (11:06 -0400)]
Handle carry out in alu
Michael Nolan [Tue, 19 May 2020 15:05:41 +0000 (11:05 -0400)]
Handle carry in caller.py
Luke Kenneth Casson Leighton [Tue, 19 May 2020 15:15:54 +0000 (16:15 +0100)]
add TRAP FunctionUnit type
Luke Kenneth Casson Leighton [Mon, 18 May 2020 10:30:50 +0000 (11:30 +0100)]
32-bit testing of output for CR0 conditions
colepoirier [Tue, 19 May 2020 00:18:59 +0000 (17:18 -0700)]
Added luke's suggested code to cover all 3 assertions in proof_bperm.py
colepoirier [Mon, 18 May 2020 22:25:37 +0000 (15:25 -0700)]
Added 2nd of 3 assertions for proof_bperm.py, currently not correct
Michael Nolan [Mon, 18 May 2020 17:53:48 +0000 (13:53 -0400)]
Fix error with selecting a selectableint using a selectableint
Michael Nolan [Mon, 18 May 2020 17:53:32 +0000 (13:53 -0400)]
Update to latest wiki version
Luke Kenneth Casson Leighton [Mon, 18 May 2020 10:11:32 +0000 (11:11 +0100)]
move countzero to fu/logical
Luke Kenneth Casson Leighton [Mon, 18 May 2020 03:59:19 +0000 (04:59 +0100)]
fix countzero import on test
Luke Kenneth Casson Leighton [Mon, 18 May 2020 03:58:05 +0000 (04:58 +0100)]
correct import after soc.fu move
Luke Kenneth Casson Leighton [Mon, 18 May 2020 03:56:54 +0000 (04:56 +0100)]
dumb syntax error
Luke Kenneth Casson Leighton [Mon, 18 May 2020 03:56:29 +0000 (04:56 +0100)]
mass-rename of modules to soc.fu.*
Luke Kenneth Casson Leighton [Mon, 18 May 2020 03:52:43 +0000 (04:52 +0100)]
rename pipe to fu
Luke Kenneth Casson Leighton [Mon, 18 May 2020 03:52:30 +0000 (04:52 +0100)]
move pipelines to pipe dir
colepoirier [Sun, 17 May 2020 18:49:16 +0000 (11:49 -0700)]
Removed extraneous variable from 'ports=[..]' of main in bperm.py
colepoirier [Sun, 17 May 2020 18:41:52 +0000 (11:41 -0700)]
Applied PEP8 formatting to bperm.py
Luke Kenneth Casson Leighton [Sun, 17 May 2020 18:18:57 +0000 (19:18 +0100)]
test 32/64 bit mode CTR in branch
Luke Kenneth Casson Leighton [Sun, 17 May 2020 18:12:04 +0000 (19:12 +0100)]
add comments from spec on branch
Luke Kenneth Casson Leighton [Sun, 17 May 2020 17:47:21 +0000 (18:47 +0100)]
add instruction to assert statement so if there is an error the failed
insn is displayed
Luke Kenneth Casson Leighton [Sun, 17 May 2020 17:45:09 +0000 (18:45 +0100)]
rename nia_out to nia, clarify with variables in main_stage branch
Luke Kenneth Casson Leighton [Sun, 17 May 2020 17:43:55 +0000 (18:43 +0100)]
rename nia_out to just nia, we know it is an output
Luke Kenneth Casson Leighton [Sun, 17 May 2020 17:41:55 +0000 (18:41 +0100)]
add convenience name to branch main stage and branch output data
Luke Kenneth Casson Leighton [Sun, 17 May 2020 17:36:09 +0000 (18:36 +0100)]
bit of code-munging in branch main stage
Luke Kenneth Casson Leighton [Sun, 17 May 2020 17:26:09 +0000 (18:26 +0100)]
field cleanup
Luke Kenneth Casson Leighton [Sun, 17 May 2020 17:17:24 +0000 (18:17 +0100)]
whitespace cleanup
Luke Kenneth Casson Leighton [Sun, 17 May 2020 17:10:58 +0000 (18:10 +0100)]
simplify field access
Michael Nolan [Sun, 17 May 2020 17:12:32 +0000 (13:12 -0400)]
Add incomplete proof_bperm.py with comments on how to finish the proof
Michael Nolan [Sun, 17 May 2020 16:50:02 +0000 (12:50 -0400)]
Move perm inside Bpermd as it's not an input or output
Luke Kenneth Casson Leighton [Sun, 17 May 2020 16:33:40 +0000 (17:33 +0100)]
code-shuffle
Luke Kenneth Casson Leighton [Sun, 17 May 2020 16:24:44 +0000 (17:24 +0100)]
realised that the instruction fields have a namedtuple thing going on
Luke Kenneth Casson Leighton [Sun, 17 May 2020 16:15:58 +0000 (17:15 +0100)]
use slightly more elegant way to access CR lookup table
Luke Kenneth Casson Leighton [Sun, 17 May 2020 16:08:22 +0000 (17:08 +0100)]
use Cat(*list) on CR mask
Luke Kenneth Casson Leighton [Sun, 17 May 2020 14:21:06 +0000 (15:21 +0100)]
try lbzu
Luke Kenneth Casson Leighton [Sun, 17 May 2020 13:00:46 +0000 (14:00 +0100)]
remove condition stopping wr_reset from firing on LD
Luke Kenneth Casson Leighton [Sun, 17 May 2020 12:43:03 +0000 (13:43 +0100)]
switch off LD/ST address when load activates
Luke Kenneth Casson Leighton [Sun, 17 May 2020 11:02:19 +0000 (12:02 +0100)]
fix address latching however LD is not working
Luke Kenneth Casson Leighton [Sun, 17 May 2020 10:50:36 +0000 (11:50 +0100)]
keep address held sustained whilst valid
Luke Kenneth Casson Leighton [Sun, 17 May 2020 10:04:11 +0000 (11:04 +0100)]
latest not-quite-working LDSTCompUnit experimentation
Luke Kenneth Casson Leighton [Sun, 17 May 2020 09:56:28 +0000 (10:56 +0100)]
update comments on condition register
colepoirier [Sat, 16 May 2020 22:15:57 +0000 (15:15 -0700)]
Removed from bperm.py extraneous creation of temporary Signal()
colepoirier [Sat, 16 May 2020 22:02:36 +0000 (15:02 -0700)]
Made creation of Array of Signals in bperm.py more concise, changed
string formatting to use python3 f"string{x}"
Michael Nolan [Sat, 16 May 2020 21:50:46 +0000 (17:50 -0400)]
Add ilang output to test_maskgen.py
Luke Kenneth Casson Leighton [Sat, 16 May 2020 21:44:23 +0000 (22:44 +0100)]
whitespace cleanup to PEP8-ish standards
colepoirier [Sat, 16 May 2020 21:08:48 +0000 (14:08 -0700)]
Implemented luke's TODOs by adding 'reset_less' to all Signal()'s,
assigning index to a Signal() instead of a python AST fragment, fixed
formatting
Luke Kenneth Casson Leighton [Sat, 16 May 2020 20:04:04 +0000 (21:04 +0100)]
comments / code-morph
Michael Nolan [Sat, 16 May 2020 18:36:39 +0000 (14:36 -0400)]
Implement mfcr and mfocrf
Luke Kenneth Casson Leighton [Sat, 16 May 2020 18:26:25 +0000 (19:26 +0100)]
add debug info of what instruction was executed and Asserted
Luke Kenneth Casson Leighton [Sat, 16 May 2020 18:17:13 +0000 (19:17 +0100)]
code-munge on CR pipeline
Michael Nolan [Sat, 16 May 2020 18:05:55 +0000 (14:05 -0400)]
Implement mtocrf (which isn't different from mtcrf?)
Michael Nolan [Sat, 16 May 2020 18:05:38 +0000 (14:05 -0400)]
Remove noisy print statements in selectable_int.py
Michael Nolan [Sat, 16 May 2020 18:05:03 +0000 (14:05 -0400)]
Add sprset.patch
Michael Nolan [Sat, 16 May 2020 18:01:53 +0000 (14:01 -0400)]
Add condition.patch
Michael Nolan [Sat, 16 May 2020 17:35:22 +0000 (13:35 -0400)]
Minor cleanup
Michael Nolan [Sat, 16 May 2020 17:34:16 +0000 (13:34 -0400)]
Implement mtcrf
Michael Nolan [Sat, 16 May 2020 17:07:35 +0000 (13:07 -0400)]
Add comments on what CROP (crand, cror) do and how they work
Michael Nolan [Sat, 16 May 2020 15:30:52 +0000 (11:30 -0400)]
Add ports to ilang for test_caller.py
Michael Nolan [Sat, 16 May 2020 15:20:40 +0000 (11:20 -0400)]
Fix bug in branch's pipe_data
Michael Nolan [Sat, 16 May 2020 15:19:21 +0000 (11:19 -0400)]
Consolidate every pipe_data to use alu's integer data
Michael Nolan [Sat, 16 May 2020 14:02:48 +0000 (10:02 -0400)]
OP_CROP fully working
Michael Nolan [Sat, 16 May 2020 14:02:27 +0000 (10:02 -0400)]
Update to latest wiki version - fix bug with crxor
Michael Nolan [Sat, 16 May 2020 13:38:02 +0000 (09:38 -0400)]
Implement mcrf in CR FU
Michael Nolan [Sat, 16 May 2020 13:37:39 +0000 (09:37 -0400)]
Get working mcrf in caller.py
Michael Nolan [Sat, 16 May 2020 13:16:34 +0000 (09:16 -0400)]
Update to latest wiki version - move crand to own opcode
Luke Kenneth Casson Leighton [Sat, 16 May 2020 04:48:20 +0000 (05:48 +0100)]
update with TODO comments
Luke Kenneth Casson Leighton [Sat, 16 May 2020 04:23:36 +0000 (05:23 +0100)]
no need to else continue
Luke Kenneth Casson Leighton [Sat, 16 May 2020 04:20:26 +0000 (05:20 +0100)]
missing m.d.comb +=
colepoirier [Sat, 16 May 2020 01:12:53 +0000 (18:12 -0700)]
Added working bperm.py, but is too gate heavy, as well as dummy unit
test file to be implemented tomorrow
Luke Kenneth Casson Leighton [Sat, 16 May 2020 01:10:30 +0000 (02:10 +0100)]
add comment in branch test_pipe_caller.py about decoding needed of op
to set spr1/2/3 correctly
Luke Kenneth Casson Leighton [Sat, 16 May 2020 00:13:02 +0000 (01:13 +0100)]
rename branch input data regs to spr1/2/3 according to FU Operand table
Michael Nolan [Fri, 15 May 2020 23:15:35 +0000 (19:15 -0400)]
Make opcode for crand and friends