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 |
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 |
next |