2020-09-15 |
Luke Kenneth Casso... | add MMU MTSPR connection into FSM |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | add in MMU and DCache into MMU FSM |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | add mmu fsm |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | remove more (confusing/spurious) types, should be in... |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | remove more (confusing/spurious) types, should be in... |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | remove more (confusing/spurious) types, should be in... |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | removed (confusing/spurious) types, should be in .pyi... |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | mmu uses RB, go with it |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | add mmu initial pipe_data.py |
tree | commitdiff |
2020-09-07 |
Luke Kenneth Casso... | create eq_from function based on eq_from_execute1 |
tree | commitdiff |
2020-09-07 |
Luke Kenneth Casso... | debug print statement in eq_from_execute |
tree | commitdiff |
2020-09-07 |
Luke Kenneth Casso... | add insn and fn_unit to CompLDSTOpSubset |
tree | commitdiff |
2020-09-07 |
Luke Kenneth Casso... | add pspec and opsubsetkls to CompUnits |
tree | commitdiff |
2020-09-07 |
Luke Kenneth Casso... | convert mul test to use Power Decode subset |
tree | commitdiff |
2020-09-07 |
Luke Kenneth Casso... | convert shift_rot to subset decoder |
tree | commitdiff |
2020-09-07 |
Luke Kenneth Casso... | convert branch test to PowerDecodeSubset form |
tree | commitdiff |
2020-09-07 |
Luke Kenneth Casso... | convert CR to PowerDecodeSubset format |
tree | commitdiff |
2020-09-07 |
Luke Kenneth Casso... | bit of a big reorg of data structures |
tree | commitdiff |
2020-09-07 |
Luke Kenneth Casso... | whoops truncated the mb and me fields |
tree | commitdiff |
2020-09-06 |
Luke Kenneth Casso... | comment, nothing unusual when Trap Type is DEC |
tree | commitdiff |
2020-09-06 |
Luke Kenneth Casso... | add unit test for slow SPRs (SPRG0/1) |
tree | commitdiff |
2020-09-06 |
Luke Kenneth Casso... | minor code-munge on SPR-to-FAST mapping |
tree | commitdiff |
2020-09-06 |
Luke Kenneth Casso... | use with subTest in spr unit test |
tree | commitdiff |
2020-09-06 |
Luke Kenneth Casso... | move DEC and TB from StateRegs to FastRegs for several... |
tree | commitdiff |
2020-09-06 |
Luke Kenneth Casso... | add DEC/TB SPRs to spr pipeline |
tree | commitdiff |
2020-09-05 |
Luke Kenneth Casso... | use stbcix in test |
tree | commitdiff |
2020-09-05 |
Luke Kenneth Casso... | add lwzcix unit test |
tree | commitdiff |
2020-09-05 |
Luke Kenneth Casso... | add simple wishbone GPIO peripheral |
tree | commitdiff |
2020-09-05 |
Samuel A. Falvo II | Add unit test replicating failing proof case |
tree | commitdiff |
2020-09-04 |
Luke Kenneth Casso... | add sld test with RB=64 to see what happens |
tree | commitdiff |
2020-09-04 |
Luke Kenneth Casso... | adding option to include XICS external interrupts. |
tree | commitdiff |
2020-09-04 |
Jacob Lifshay | update to match refactored power-instruction-analyzer API |
tree | commitdiff |
2020-09-03 |
Samuel A. Falvo II | Provide full name and email in copyright notice. |
tree | commitdiff |
2020-09-02 |
Luke Kenneth Casso... | when mtocrf FXM is 0, the CR has to be set to CR7 |
tree | commitdiff |
2020-09-02 |
Luke Kenneth Casso... | fix bug in cmpli (and cmplw) |
tree | commitdiff |
2020-09-02 |
Luke Kenneth Casso... | sign-extend lhax needs 16-64, separate from lwax which... |
tree | commitdiff |
2020-09-02 |
Luke Kenneth Casso... | add bc ctr regression test when CTR=0 and CTR=1 |
tree | commitdiff |
2020-09-02 |
Luke Kenneth Casso... | bug in carry32 handling in OP_CMP |
tree | commitdiff |
2020-09-02 |
Luke Kenneth Casso... | add cmpl regression test (one binary, one assembly) |
tree | commitdiff |
2020-09-02 |
Luke Kenneth Casso... | add cmpl microwatt 1.bin test, cmpl |
tree | commitdiff |
2020-09-02 |
Luke Kenneth Casso... | series of extensive modifications to fix long-standing... |
tree | commitdiff |
2020-08-31 |
Luke Kenneth Casso... | add XER to fastregs and "construct" it in mfspr/mtspr |
tree | commitdiff |
2020-08-30 |
Luke Kenneth Casso... | redo OP_CMP based on microwatt. L=1 had been ignored |
tree | commitdiff |
2020-08-30 |
Luke Kenneth Casso... | reversal of FXM mask for one-hot selection in OP_MTCR... |
tree | commitdiff |
2020-08-30 |
Luke Kenneth Casso... | tidyup on mul proof |
tree | commitdiff |
2020-08-30 |
Luke Kenneth Casso... | set mul post_stage o.ok only when needed, and fix xer_s... |
tree | commitdiff |
2020-08-30 |
Cole Poirier | Merge branch 'master' of git.libre-soc.org:soc |
tree | commitdiff |
2020-08-29 |
Samuel A. Falvo II | Qualify XER_OV output in proof |
tree | commitdiff |
2020-08-29 |
Samuel A. Falvo II | Fix test breakage in MUL proofs |
tree | commitdiff |
2020-08-29 |
Cole Poirier | Merge branch 'master' of git.libre-soc.org:soc |
tree | commitdiff |
2020-08-29 |
Samuel A. Falvo II | BROKEN: xer_ov_o != dut.o.xer_ov.data ???!!! |
tree | commitdiff |
2020-08-29 |
Luke Kenneth Casso... | minor code-shuffle, comments |
tree | commitdiff |
2020-08-29 |
Luke Kenneth Casso... | slowly morphing towards using an XER bit-field selector... |
tree | commitdiff |
2020-08-29 |
Samuel A. Falvo II | MUL pipeline formal proofs complete, I *think*. |
tree | commitdiff |
2020-08-29 |
Samuel A. Falvo II | WIP: prep for 64-bit insns |
tree | commitdiff |
2020-08-29 |
Luke Kenneth Casso... | add additional CR regression tests |
tree | commitdiff |
2020-08-29 |
Luke Kenneth Casso... | CR FXM becomes a full mask. |
tree | commitdiff |
2020-08-27 |
Cole Poirier | Merge branch 'master' of git.libre-soc.org:soc |
tree | commitdiff |
2020-08-27 |
Luke Kenneth Casso... | https://bugs.libre-soc.org/show_bug.cgi?id=476 |
tree | commitdiff |
2020-08-27 |
Luke Kenneth Casso... | xer so is not being passed through to CR0 |
tree | commitdiff |
2020-08-27 |
Luke Kenneth Casso... | augment addme test case to show bug #476 |
tree | commitdiff |
2020-08-27 |
Luke Kenneth Casso... | add addze and addme uni tests |
tree | commitdiff |
2020-08-27 |
Luke Kenneth Casso... | oink, write_cr shiftrot record width was zero (??) |
tree | commitdiff |
2020-08-27 |
Luke Kenneth Casso... | sorting out shift_rot to use new output stage data... |
tree | commitdiff |
2020-08-27 |
Luke Kenneth Casso... | need to read SO if Rc=1 |
tree | commitdiff |
2020-08-27 |
Luke Kenneth Casso... | reorg of SO handling related to CR0 |
tree | commitdiff |
2020-08-26 |
Cole Poirier | Merge branch 'master' of git.libre-soc.org:soc |
tree | commitdiff |
2020-08-26 |
Luke Kenneth Casso... | use sub-test in logical test_pipe_caller |
tree | commitdiff |
2020-08-26 |
Luke Kenneth Casso... | investigating div fsm and simulator bug |
tree | commitdiff |
2020-08-25 |
Cole Poirier | Merge branch 'master' of git.libre-soc.org:soc |
tree | commitdiff |
2020-08-25 |
Jacob Lifshay | fix broken remainder for div FSM |
tree | commitdiff |
2020-08-25 |
Jacob Lifshay | clean up formatting |
tree | commitdiff |
2020-08-25 |
Luke Kenneth Casso... | although shift-rot does not alter XER.so it still needs... |
tree | commitdiff |
2020-08-24 |
Luke Kenneth Casso... | add isel CR tests to run on qemu (confirmed working) |
tree | commitdiff |
2020-08-24 |
Luke Kenneth Casso... | make it easier to select FSM/Pipe DIV unit |
tree | commitdiff |
2020-08-24 |
Cole Poirier | Merge branch 'master' of git.libre-soc.org:soc |
tree | commitdiff |
2020-08-23 |
Luke Kenneth Casso... | update copyright notices to include additional primary... |
tree | commitdiff |
2020-08-23 |
Luke Kenneth Casso... | add load algebraic immediate unit test |
tree | commitdiff |
2020-08-23 |
Luke Kenneth Casso... | add algebraic ld tests lwax, lwaux |
tree | commitdiff |
2020-08-23 |
Michael Nolan | Add copyright to files in fu/ that I was the primary... |
tree | commitdiff |
2020-08-23 |
Luke Kenneth Casso... | multiply does not have invert_in, zero_a or invert_out |
tree | commitdiff |
2020-08-22 |
Luke Kenneth Casso... | rename invert_a to invert_in because logical inverts RB |
tree | commitdiff |
2020-08-22 |
Luke Kenneth Casso... | add extra div regression tests |
tree | commitdiff |
2020-08-22 |
Luke Kenneth Casso... | add eqv to logical unit test |
tree | commitdiff |
2020-08-22 |
Luke Kenneth Casso... | add nor and nand to unit test |
tree | commitdiff |
2020-08-22 |
Luke Kenneth Casso... | moved to div pipe temporarily in compunits |
tree | commitdiff |
2020-08-22 |
Luke Kenneth Casso... | bug in andc and orc, complement was taking place on... |
tree | commitdiff |
2020-08-22 |
Luke Kenneth Casso... | add andc and orc tests, failing because RB needs invers... |
tree | commitdiff |
2020-08-22 |
Luke Kenneth Casso... | modsd bug, https://bugs.libre-soc.org/show_bug.cgi... |
tree | commitdiff |
2020-08-22 |
Luke Kenneth Casso... | add regression test for nonzero addis |
tree | commitdiff |
2020-08-22 |
Luke Kenneth Casso... | r0 zero tests on addis, fails |
tree | commitdiff |
2020-08-21 |
Samuel A. Falvo II | MUL pipeline WIP: mullw and mullwu covered. |
tree | commitdiff |
2020-08-21 |
Samuel A. Falvo II | MUL pipeline: account for overflow flags. WIP |
tree | commitdiff |
2020-08-21 |
Cole Poirier | Merge branch 'master' of git.libre-soc.org:soc |
tree | commitdiff |
2020-08-21 |
Samuel A. Falvo II | MUL pipeline proofs: mulli / mullw WIP. |
tree | commitdiff |
2020-08-20 |
Samuel A. Falvo II | MUL pipeline proof: muldw(u) |
tree | commitdiff |
2020-08-20 |
Samuel A. Falvo II | MUL pipeline proof: signed mulhw |
tree | commitdiff |
2020-08-19 |
Luke Kenneth Casso... | rename and document fields in shift_rot proof |
tree | commitdiff |
2020-08-19 |
Luke Kenneth Casso... | bit of a reorg of mul proof, tracking down missing |
tree | commitdiff |
2020-08-19 |
Luke Kenneth Casso... | move long mul tests to separate unit test |
tree | commitdiff |
next |