projects
/
soc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Allow the formal engine to perform a same-cycle result in the ALU
[soc.git]
/
src
/
soc
/
fu
/
shift_rot
/
test
/ test_pipe_caller.py
2022-02-27
Luke Kenneth Casso...
fix up shift_rot test_pipe_caller to new regspeckls...
commit
|
commitdiff
2021-12-09
Jacob Lifshay
add bitmanip tests
commit
|
commitdiff
2021-12-09
Jacob Lifshay
add parent_pspec everywhere
commit
|
commitdiff
2021-12-07
Jacob Lifshay
make bitmanip operations conditional on pspec.draft_bit...
commit
|
commitdiff
2021-12-07
Jacob Lifshay
format code
commit
|
commitdiff
2021-08-31
Luke Kenneth Casso...
update ready/valid in shift_rot test_pipe_caller
commit
|
commitdiff
2021-08-24
Luke Kenneth Casso...
replace data_o with o_data and data_i with i_data as...
commit
|
commitdiff
2021-04-23
Luke Kenneth Casso...
move LDST tests to openpower.test
commit
|
commitdiff
2021-04-23
Luke Kenneth Casso...
move shiftrot test cases to openpower.test
commit
|
commitdiff
2021-04-23
Luke Kenneth Casso...
import from openpower.endian
commit
|
commitdiff
2021-04-23
Luke Kenneth Casso...
use openpower.test.common
commit
|
commitdiff
2021-04-23
Luke Kenneth Casso...
move over to from openpower imports
commit
|
commitdiff
2020-10-07
Luke Kenneth Casso...
missing invert_in field from shiftrot input record
commit
|
commitdiff
2020-10-06
Luke Kenneth Casso...
use pdecode2.do not pdecode2.e in test_pipe_caller...
commit
|
commitdiff
2020-09-27
Cesar Strauss
Convert yet another few tests to be able to use latest...
commit
|
commitdiff
2020-09-07
Luke Kenneth Casso...
convert shift_rot to subset decoder
commit
|
commitdiff
2020-09-05
Luke Kenneth Casso...
add simple wishbone GPIO peripheral
commit
|
commitdiff
2020-09-05
Samuel A. Falvo II
Add unit test replicating failing proof case
commit
|
commitdiff
2020-09-04
Luke Kenneth Casso...
add sld test with RB=64 to see what happens
commit
|
commitdiff
2020-08-27
Cole Poirier
Merge branch 'master' of git.libre-soc.org:soc
commit
|
commitdiff
2020-08-27
Luke Kenneth Casso...
sorting out shift_rot to use new output stage data...
commit
|
commitdiff
2020-08-25
Cole Poirier
Merge branch 'master' of git.libre-soc.org:soc
commit
|
commitdiff
2020-08-25
Luke Kenneth Casso...
although shift-rot does not alter XER.so it still needs...
commit
|
commitdiff
2020-08-14
Luke Kenneth Casso...
divide shiftrot pipeline into 2 (simple last)
commit
|
commitdiff
2020-08-01
Luke Kenneth Casso...
add rlwnm test showing that shift rot OP_RLC proof...
commit
|
commitdiff
2020-07-29
Luke Kenneth Casso...
move SHIFTROT test out of subtest indentation
commit
|
commitdiff
2020-07-26
Luke Kenneth Casso...
convert shift_rot test to new base accumulator style
commit
|
commitdiff
2020-07-22
Jacob Lifshay
Merge remote-tracking branch 'origin/master'
commit
|
commitdiff
2020-07-22
Jacob Lifshay
format code
commit
|
commitdiff
2020-07-21
Luke Kenneth Casso...
make cxxsim optional and print warning
commit
|
commitdiff
2020-07-14
Luke Kenneth Casso...
disable cxxsim test
commit
|
commitdiff
2020-07-14
Luke Kenneth Casso...
first attempt running cxxsim
commit
|
commitdiff
2020-07-13
Luke Kenneth Casso...
formal proof of OP_EXTSWSLI
commit
|
commitdiff
2020-07-13
Luke Kenneth Casso...
attempting formal proof of OP_EXTSWSLI
commit
|
commitdiff
2020-07-13
Luke Kenneth Casso...
increase range of test values for extswsli
commit
|
commitdiff
2020-07-13
Luke Kenneth Casso...
enable extswsli tests, fix spec-patching
commit
|
commitdiff
2020-07-13
Luke Kenneth Casso...
add regression test, simulator is wrong
commit
|
commitdiff
2020-07-13
Luke Kenneth Casso...
add simulator test against qemu for extswsli
commit
|
commitdiff
2020-07-13
Luke Kenneth Casso...
add extswsli unit test
commit
|
commitdiff
2020-07-11
Luke Kenneth Casso...
sorting out bigendian/littleendian including in qemu
commit
|
commitdiff
2020-07-08
Jacob Lifshay
Merge branch 'master' of ssh://git.libre-riscv.org...
commit
|
commitdiff
2020-07-05
Luke Kenneth Casso...
big reorg on PowerDecoder2, actually Decode2Execute1Type
commit
|
commitdiff
2020-06-11
Luke Kenneth Casso...
must distinguish between rd/write xer_ca sim helpers
commit
|
commitdiff
2020-06-11
Luke Kenneth Casso...
use ALUHelpers in shift_rot
commit
|
commitdiff
2020-06-10
Luke Kenneth Casso...
move to common ALUHelpers for ShiftRot test_pipe_caller.py
commit
|
commitdiff
2020-06-07
Luke Kenneth Casso...
add carry test to shift_rot test_pipe_caller: it fails...
commit
|
commitdiff
2020-06-07
Luke Kenneth Casso...
add extra args to ISA in test_pipe_caller.py
commit
|
commitdiff
2020-06-04
Luke Kenneth Casso...
no global variables in test suites
commit
|
commitdiff
2020-06-04
Luke Kenneth Casso...
use common TestCase in shift_rot
commit
|
commitdiff
2020-06-04
Luke Kenneth Casso...
use copy of FHDLTestCase
commit
|
commitdiff
2020-06-03
Tobias Platen
Merge branch 'master' of ssh://git.libre-riscv.org...
commit
|
commitdiff
2020-06-03
Luke Kenneth Casso...
convert shift_rot tests to use common get_cu_inputs...
commit
|
commitdiff
2020-06-01
Luke Kenneth Casso...
comment out rlwinm. for now
commit
|
commitdiff
2020-06-01
Luke Kenneth Casso...
add rlwinm. test instruction (sets CR0)
commit
|
commitdiff
2020-05-24
Luke Kenneth Casso...
start using Data in pipelines
commit
|
commitdiff
2020-05-22
Luke Kenneth Casso...
remove sticky overflow from Shift Rot pipeline
commit
|
commitdiff
2020-05-22
Luke Kenneth Casso...
create common input pipe spec to avoid code-duplication
commit
|
commitdiff
2020-05-22
Luke Kenneth Casso...
remove unneeded code
commit
|
commitdiff
2020-05-21
Luke Kenneth Casso...
move common functionality between PipeSpecs to soc...
commit
|
commitdiff
2020-05-21
Luke Kenneth Casso...
create and use ShiftRotPipeSpec
commit
|
commitdiff
2020-05-20
Luke Kenneth Casso...
fixup XER names in shift_rot pipe tests
commit
|
commitdiff
2020-05-18
Luke Kenneth Casso...
mass-rename of modules to soc.fu.*
commit
|
commitdiff
2020-05-18
Luke Kenneth Casso...
rename pipe to fu
commit
|
commitdiff