2020-10-08 |
Tobias Platen | Merge branch 'master' of ssh://git.libre-riscv.org... |
tree | commitdiff |
2020-10-08 |
Tobias Platen | add WIP test_pipe_caller.py for mmu |
tree | commitdiff |
2020-10-08 |
Luke Kenneth Casso... | add incoming PortInterface to be connected to LoadStore... |
tree | commitdiff |
2020-10-07 |
Luke Kenneth Casso... | missing invert_in field from shiftrot input record |
tree | commitdiff |
2020-10-07 |
Jacob Lifshay | fix div tests |
tree | commitdiff |
2020-10-07 |
Jacob Lifshay | Fix forgotten test_pipe_caller changes from e0b4334c7d8... |
tree | commitdiff |
2020-10-06 |
Luke Kenneth Casso... | use pdecode2.do not pdecode2.e in test_pipe_caller... |
tree | commitdiff |
2020-10-06 |
Luke Kenneth Casso... | skip Decode2ToOperand from PowerDecodeSubset |
tree | commitdiff |
2020-10-06 |
Luke Kenneth Casso... | add SRR1 setting for LDST memory exception trap |
tree | commitdiff |
2020-10-06 |
Luke Kenneth Casso... | passing LDSTException over to Trap Pipeline |
tree | commitdiff |
2020-10-06 |
Luke Kenneth Casso... | add LDSTException decode/handling in PowerDecoder2 |
tree | commitdiff |
2020-10-06 |
Jacob Lifshay | add divde regression test |
tree | commitdiff |
2020-10-06 |
Jacob Lifshay | add moduw regression test |
tree | commitdiff |
2020-10-06 |
Jacob Lifshay | add workaround for nmigen bug #502 |
tree | commitdiff |
2020-10-06 |
Jacob Lifshay | add modsw regression |
tree | commitdiff |
2020-10-06 |
Jacob Lifshay | add test case for divweu regression |
tree | commitdiff |
2020-10-06 |
Jacob Lifshay | print regs in hex |
tree | commitdiff |
2020-10-04 |
Jacob Lifshay | change div FSM pipeline unit to not have a combinatoria... |
tree | commitdiff |
2020-10-03 |
Jacob Lifshay | add regression testcase |
tree | commitdiff |
2020-09-27 |
Cesar Strauss | Convert yet another few tests to be able to use latest... |
tree | commitdiff |
2020-09-26 |
Luke Kenneth Casso... | do not use simdec2 in test_pipe_caller |
tree | commitdiff |
2020-09-26 |
Luke Kenneth Casso... | fix annoying alu test_pipe_caller bug, missing asmcode |
tree | commitdiff |
2020-09-26 |
Luke Kenneth Casso... | add alternative PowerDecode2 to branch test_pipe_caller |
tree | commitdiff |
2020-09-26 |
Cesar Strauss | Convert a few more tests to be able to use cxxsim |
tree | commitdiff |
2020-09-22 |
Jacob Lifshay | Revert "disable pia in div tests" |
tree | commitdiff |
2020-09-22 |
Luke Kenneth Casso... | disable pia in div tests |
tree | commitdiff |
2020-09-22 |
Luke Kenneth Casso... | add MMU (commented out) |
tree | commitdiff |
2020-09-21 |
Luke Kenneth Casso... | add missing file |
tree | commitdiff |
2020-09-18 |
Luke Kenneth Casso... | can remove unneeded overrides of Prev/Next Control |
tree | commitdiff |
2020-09-17 |
Jacob Lifshay | add divwe regression test case |
tree | commitdiff |
2020-09-17 |
Jacob Lifshay | re-enable test case -- no longer goes into an infinite... |
tree | commitdiff |
2020-09-17 |
Jacob Lifshay | fix bug #492 |
tree | commitdiff |
2020-09-17 |
Jacob Lifshay | replace sim._state.timeline.now with sim._engine.now |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | add back (totally confusing) accidentally-removed code... |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | instantiate MMU from AllFunctionUnits |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | do not need FAST regs in MMU |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | add edge-triggering to dcache/mmu "valid" |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | add OP_MFSPR to mmu |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | use convenience vars |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | add OP_TLBIE to mmu fsm |
tree | commitdiff |
2020-09-15 |
Luke Kenneth Casso... | add OP_DCBZ to mmu fsm, needs RA to be added to MMU... |
tree | commitdiff |
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 |
next |