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 |
2020-08-19 |
Luke Kenneth Casso... | use "Mask" class which is more gate-efficient than... |
tree | commitdiff |
2020-08-19 |
Samuel A. Falvo II | WIP: OP_MUL proofs started. |
tree | commitdiff |
2020-08-19 |
Luke Kenneth Casso... | set up StageChain of 3 mul stages |
tree | commitdiff |
2020-08-18 |
Cole Poirier | fu/mul/test/test_pipe_caller.py test case_all_rb_close_... |
tree | commitdiff |
2020-08-18 |
Luke Kenneth Casso... | fix spr state test |
tree | commitdiff |
2020-08-17 |
Luke Kenneth Casso... | turn SelectableInt less/greater into signed versions. |
tree | commitdiff |
2020-08-17 |
Luke Kenneth Casso... | fix signed variants of cmp in alu |
tree | commitdiff |
2020-08-17 |
Luke Kenneth Casso... | add new cmp test for alu |
tree | commitdiff |
2020-08-16 |
Luke Kenneth Casso... | attempting to track down bug in litex bios memtest |
tree | commitdiff |
2020-08-14 |
Luke Kenneth Casso... | hrfid unit test sets up HSRR0 and HSRR1 |
tree | commitdiff |
2020-08-14 |
Luke Kenneth Casso... | hack to get hrfid not to alter msr 51 |
tree | commitdiff |
2020-08-14 |
Luke Kenneth Casso... | fix test_compunit.py after moving decoder rdflags function |
tree | commitdiff |
2020-08-14 |
Luke Kenneth Casso... | add hrfid unit test |
tree | commitdiff |
2020-08-14 |
Luke Kenneth Casso... | sort out instruction stop/cancel when adding a new... |
tree | commitdiff |
2020-08-14 |
Luke Kenneth Casso... | divide shiftrot pipeline into 2 (simple last) |
tree | commitdiff |
2020-08-14 |
Luke Kenneth Casso... | divide alu pipeline into 2 (simple last) |
tree | commitdiff |
2020-08-14 |
Luke Kenneth Casso... | divide logical pipe into 2 (simple phase last) |
tree | commitdiff |
2020-08-11 |
Luke Kenneth Casso... | reduce regfile ports by creating separate STATE regfile |
tree | commitdiff |
2020-08-11 |
Luke Kenneth Casso... | whoops fix change of variable (state) msr/pc |
tree | commitdiff |
2020-08-10 |
Samuel A. Falvo II | WIP!! Make MUL pipeline proof run again. |
tree | commitdiff |
2020-08-09 |
Luke Kenneth Casso... | divwo case makes test_issuer stay busy! |
tree | commitdiff |
2020-08-09 |
Luke Kenneth Casso... | add extra divwo regression test |
tree | commitdiff |
2020-08-08 |
Cole Poirier | Merge branch 'master' of git.libre-soc.org:soc |
tree | commitdiff |
2020-08-08 |
Cole Poirier | Update test case_mulli |
tree | commitdiff |
2020-08-07 |
Cole Poirier | Update test case_mulli |
tree | commitdiff |
2020-08-07 |
Cole Poirier | Update test case_mulli, I think it now works correctly |
tree | commitdiff |
2020-08-07 |
Cole Poirier | Update mulli to try to use immediates not registers |
tree | commitdiff |
2020-08-06 |
Cole Poirier | Fix formatting |
tree | commitdiff |
2020-08-06 |
Cole Poirier | Merge branch 'master' of git.libre-soc.org:soc |
tree | commitdiff |
2020-08-06 |
Cole Poirier | Update test case_all_rb_close_to_ov |
tree | commitdiff |
2020-08-06 |
Cole Poirier | Update test case_all_rb_close_to_ov |
tree | commitdiff |
2020-08-06 |
Cole Poirier | Add special test for case_mulli, apply autopep8 |
tree | commitdiff |
next |