ieee754fpu.git
4 years agofix div specialcases
Luke Kenneth Casson Leighton [Mon, 22 Jul 2019 08:50:09 +0000 (09:50 +0100)]
fix div specialcases

4 years agoconfig/setup/imports
Luke Kenneth Casson Leighton [Mon, 22 Jul 2019 08:47:36 +0000 (09:47 +0100)]
config/setup/imports

4 years agoadd missing ispec/ospecs
Luke Kenneth Casson Leighton [Mon, 22 Jul 2019 08:29:51 +0000 (09:29 +0100)]
add missing ispec/ospecs

4 years agoremove unneeded code
Luke Kenneth Casson Leighton [Mon, 22 Jul 2019 08:22:28 +0000 (09:22 +0100)]
remove unneeded code

4 years agoremove div1.py
Luke Kenneth Casson Leighton [Mon, 22 Jul 2019 08:20:42 +0000 (09:20 +0100)]
remove div1.py

4 years agowhitespace
Luke Kenneth Casson Leighton [Mon, 22 Jul 2019 08:17:39 +0000 (09:17 +0100)]
whitespace

4 years agomore imports / syntax errors
Luke Kenneth Casson Leighton [Mon, 22 Jul 2019 08:11:42 +0000 (09:11 +0100)]
more imports / syntax errors

4 years agoset up DivPipeCoreConfig back in FPDIVMuxInOut, syntax errors
Luke Kenneth Casson Leighton [Mon, 22 Jul 2019 08:06:01 +0000 (09:06 +0100)]
set up DivPipeCoreConfig back in FPDIVMuxInOut, syntax errors

4 years agosort out weirdness in FPDIVBasePipe initialisation
Luke Kenneth Casson Leighton [Mon, 22 Jul 2019 03:51:34 +0000 (04:51 +0100)]
sort out weirdness in FPDIVBasePipe initialisation

4 years agofix imports
Luke Kenneth Casson Leighton [Mon, 22 Jul 2019 03:39:03 +0000 (04:39 +0100)]
fix imports

4 years agocompare_rhs is a multi-bit value (cant use bool())
Luke Kenneth Casson Leighton [Mon, 22 Jul 2019 01:20:25 +0000 (02:20 +0100)]
compare_rhs is a multi-bit value (cant use bool())

4 years agomatch mantissa width up in div config
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 20:24:47 +0000 (21:24 +0100)]
match mantissa width up in div config

4 years agorename exponent_width to e_width, mantissa_width to m_width (shorter)
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 20:15:32 +0000 (21:15 +0100)]
rename exponent_width to e_width, mantissa_width to m_width (shorter)

4 years agocreate get_core_config function
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 20:12:12 +0000 (21:12 +0100)]
create get_core_config function

4 years agorestore important modifications that seemed to be lost
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 20:09:34 +0000 (21:09 +0100)]
restore important modifications that seemed to be lost

4 years agocompensate for div answer being in range 0.49999 to 1.99998
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 17:55:37 +0000 (18:55 +0100)]
compensate for div answer being in range 0.49999 to 1.99998

4 years agoadd comment on what mantissas represent
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 17:44:11 +0000 (18:44 +0100)]
add comment on what mantissas represent

4 years agoupdate comments
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 15:37:46 +0000 (16:37 +0100)]
update comments

4 years agoadd an absolute count on the stages
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 15:26:19 +0000 (16:26 +0100)]
add an absolute count on the stages

4 years agoadd an absolute count on the stages
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 15:25:16 +0000 (16:25 +0100)]
add an absolute count on the stages

4 years agoget DivPipeOutputData converted to mantissa + overflow format
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 15:18:04 +0000 (16:18 +0100)]
get DivPipeOutputData converted to mantissa + overflow format

4 years agostart also putting in additional DivPipe*Stage usage
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 15:09:22 +0000 (16:09 +0100)]
start also putting in additional DivPipe*Stage usage

4 years agoadd preliminary DivPipeCalculateStage and DivPipeFinalStage
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 15:03:46 +0000 (16:03 +0100)]
add preliminary DivPipeCalculateStage and DivPipeFinalStage

4 years agoadd "z" to DivPipeBaseData class so that sign and exponent can be carried
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 14:53:49 +0000 (15:53 +0100)]
add "z" to DivPipeBaseData class so that sign and exponent can be carried
(unmodified) through the pipeline

4 years agostart adding use of DivPipeInputData and DivPipeInterstageData
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 14:48:09 +0000 (15:48 +0100)]
start adding use of DivPipeInputData and DivPipeInterstageData

4 years agostore a and b in dividend and divisor_radicand
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 14:40:50 +0000 (15:40 +0100)]
store a and b in dividend and divisor_radicand

4 years agoadd bug cross-reference to #113 for FCVT unit tests
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 09:33:37 +0000 (10:33 +0100)]
add bug cross-reference to #113 for FCVT unit tests

4 years agosplit out EXP-High shifter to separate module
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 09:28:32 +0000 (10:28 +0100)]
split out EXP-High shifter to separate module

4 years agobeginnings of FP to INT convert
Luke Kenneth Casson Leighton [Sun, 21 Jul 2019 09:28:03 +0000 (10:28 +0100)]
beginnings of FP to INT convert

4 years agohighlight weirdness
Luke Kenneth Casson Leighton [Sat, 20 Jul 2019 05:45:12 +0000 (06:45 +0100)]
highlight weirdness

4 years agoweirdness on INT32->FP32 detected. ui32/i32->f32 test added
Luke Kenneth Casson Leighton [Fri, 19 Jul 2019 11:45:56 +0000 (12:45 +0100)]
weirdness on INT32->FP32 detected.  ui32/i32->f32 test added

4 years agoadd i32 to f64 conversion test
Luke Kenneth Casson Leighton [Fri, 19 Jul 2019 11:15:09 +0000 (12:15 +0100)]
add i32 to f64 conversion test

4 years agoadd an operator class for signed/unsigned
Luke Kenneth Casson Leighton [Fri, 19 Jul 2019 10:29:25 +0000 (11:29 +0100)]
add an operator class for signed/unsigned

4 years agoadd in preliminary signed int conversion
Luke Kenneth Casson Leighton [Fri, 19 Jul 2019 09:58:10 +0000 (10:58 +0100)]
add in preliminary signed int conversion

first example usage of FPPipeContext "operator"

4 years agoupdate comments
Luke Kenneth Casson Leighton [Thu, 18 Jul 2019 16:39:07 +0000 (17:39 +0100)]
update comments

4 years agoadd ui64 to f32 conversion test
Luke Kenneth Casson Leighton [Thu, 18 Jul 2019 13:45:01 +0000 (14:45 +0100)]
add ui64 to f32 conversion test

4 years agoadd larger uint32 and uint64 to fp16 conversion
Luke Kenneth Casson Leighton [Thu, 18 Jul 2019 13:30:01 +0000 (14:30 +0100)]
add larger uint32 and uint64 to fp16 conversion

4 years agochange function names
Luke Kenneth Casson Leighton [Thu, 18 Jul 2019 05:40:15 +0000 (06:40 +0100)]
change function names

4 years agoadd not-a-lot-of-sense test
Luke Kenneth Casson Leighton [Wed, 17 Jul 2019 15:38:42 +0000 (16:38 +0100)]
add not-a-lot-of-sense test

4 years agoadd first version fcvt int to fp16/32/64
Luke Kenneth Casson Leighton [Wed, 17 Jul 2019 11:09:30 +0000 (12:09 +0100)]
add first version fcvt int to fp16/32/64

4 years agoincrease test range, add loop
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 16:44:48 +0000 (17:44 +0100)]
increase test range, add loop

4 years agowhoops fpnorm out by one bit in new FPMSBHigh class
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 16:41:07 +0000 (17:41 +0100)]
whoops fpnorm out by one bit in new FPMSBHigh class

4 years agowhoops rename module
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 16:31:15 +0000 (17:31 +0100)]
whoops rename module

4 years agoadjust FPMSBHigh for use in FPNorm: make it possible to shift in the LSB
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 16:30:35 +0000 (17:30 +0100)]
adjust FPMSBHigh for use in FPNorm: make it possible to shift in the LSB

4 years agosplit out MSB-highing module
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 15:41:23 +0000 (16:41 +0100)]
split out MSB-highing module

4 years agoadd msbhigh module
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 15:32:55 +0000 (16:32 +0100)]
add msbhigh module

4 years agorelative imports are a pain
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 15:09:51 +0000 (16:09 +0100)]
relative imports are a pain

4 years agoadd comments
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 12:03:46 +0000 (13:03 +0100)]
add comments

4 years agoadd FPADD stack documentation
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 09:54:05 +0000 (10:54 +0100)]
add FPADD stack documentation

4 years agodocument the FPMUL stack
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 09:49:51 +0000 (10:49 +0100)]
document the FPMUL stack

4 years agoillustrate use of pspec using DivPipeCoreOperation (or something)
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 08:25:42 +0000 (09:25 +0100)]
illustrate use of pspec using DivPipeCoreOperation (or something)

4 years agocode cleanup
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 06:39:20 +0000 (07:39 +0100)]
code cleanup

4 years agocode cleanup
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 06:30:23 +0000 (07:30 +0100)]
code cleanup

4 years agoadd full coverage fcvt up 32 to 64 test
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 06:22:00 +0000 (07:22 +0100)]
add full coverage fcvt up 32 to 64 test

4 years agoadd full coverage fcvt up 16 to 64 test
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 06:18:42 +0000 (07:18 +0100)]
add full coverage fcvt up 16 to 64 test

4 years agoadd full coverage fcvt up 16 to 32 test
Luke Kenneth Casson Leighton [Tue, 16 Jul 2019 06:15:57 +0000 (07:15 +0100)]
add full coverage fcvt up 16 to 32 test

4 years agohilarious: fp upconvert of zero was wrong
Luke Kenneth Casson Leighton [Mon, 15 Jul 2019 16:45:56 +0000 (17:45 +0100)]
hilarious: fp upconvert of zero was wrong

4 years agorun just a tad more fp upconverts
Luke Kenneth Casson Leighton [Mon, 15 Jul 2019 16:42:46 +0000 (17:42 +0100)]
run just a tad more fp upconverts

4 years agogot 1st version up-convert working
Luke Kenneth Casson Leighton [Mon, 15 Jul 2019 16:40:05 +0000 (17:40 +0100)]
got 1st version up-convert working

4 years agoadd first version of FCVT upconvert
Luke Kenneth Casson Leighton [Mon, 15 Jul 2019 16:06:07 +0000 (17:06 +0100)]
add first version of FCVT upconvert

4 years agominor tidyup on fcvt
Luke Kenneth Casson Leighton [Mon, 15 Jul 2019 14:04:58 +0000 (15:04 +0100)]
minor tidyup on fcvt

4 years agorun loop of 1000 round test_fpmul_pipe.py
Luke Kenneth Casson Leighton [Sun, 14 Jul 2019 11:50:55 +0000 (12:50 +0100)]
run loop of 1000 round test_fpmul_pipe.py

4 years agocopy context/roundz, a and b manually in fpmul align
Luke Kenneth Casson Leighton [Sun, 14 Jul 2019 11:37:06 +0000 (12:37 +0100)]
copy context/roundz, a and b manually in fpmul align

4 years agowhoops forgot to take output from aligner
Luke Kenneth Casson Leighton [Sun, 14 Jul 2019 11:36:06 +0000 (12:36 +0100)]
whoops forgot to take output from aligner

4 years agofinish implementing DivPipeConfig.__init__
Jacob Lifshay [Sun, 14 Jul 2019 10:03:52 +0000 (03:03 -0700)]
finish implementing DivPipeConfig.__init__

4 years agoreduce code duplication
Jacob Lifshay [Sun, 14 Jul 2019 09:42:43 +0000 (02:42 -0700)]
reduce code duplication

4 years agoadd FPFormat class to describe floating-point formats without all the nmigen signals
Jacob Lifshay [Sun, 14 Jul 2019 09:14:58 +0000 (02:14 -0700)]
add FPFormat class to describe floating-point formats without all the nmigen signals

4 years agodocument PipelineSpec
Luke Kenneth Casson Leighton [Sun, 14 Jul 2019 09:02:56 +0000 (10:02 +0100)]
document PipelineSpec

4 years agofix test_fpmul_pipe_32.py after new PipelineSpec class added
Luke Kenneth Casson Leighton [Sun, 14 Jul 2019 08:55:04 +0000 (09:55 +0100)]
fix test_fpmul_pipe_32.py after new PipelineSpec class added

4 years agoadd sticky-propagation to normalisation, as an experiment
Luke Kenneth Casson Leighton [Sun, 14 Jul 2019 08:48:40 +0000 (09:48 +0100)]
add sticky-propagation to normalisation, as an experiment

4 years agoswitch pspec from dict to PipelineSpec
Jacob Lifshay [Sun, 14 Jul 2019 07:13:39 +0000 (00:13 -0700)]
switch pspec from dict to PipelineSpec

4 years agoadd proposed frsqrt instruction encoding table
Jacob Lifshay [Sun, 14 Jul 2019 06:41:46 +0000 (23:41 -0700)]
add proposed frsqrt instruction encoding table

4 years agoadd dual alignment on e/m in fpmul
Luke Kenneth Casson Leighton [Sun, 14 Jul 2019 06:25:48 +0000 (07:25 +0100)]
add dual alignment on e/m in fpmul

4 years agoadd extra fpmul16 regression tests
Luke Kenneth Casson Leighton [Sat, 13 Jul 2019 13:23:17 +0000 (14:23 +0100)]
add extra fpmul16 regression tests

4 years ago1 bit extra accuracy in mul if the top bit of mantissa is zero
Luke Kenneth Casson Leighton [Sat, 13 Jul 2019 13:21:27 +0000 (14:21 +0100)]
1 bit extra accuracy in mul if the top bit of mantissa is zero

4 years agoadd name to Overflow class, also recreate OverflowMod
Luke Kenneth Casson Leighton [Sat, 13 Jul 2019 08:45:25 +0000 (09:45 +0100)]
add name to Overflow class, also recreate OverflowMod

4 years agodelete dead code in fpbase.MultiShift.[lr]shift
Jacob Lifshay [Thu, 11 Jul 2019 10:16:05 +0000 (03:16 -0700)]
delete dead code in fpbase.MultiShift.[lr]shift

4 years agoformat fpbase.py
Jacob Lifshay [Thu, 11 Jul 2019 09:46:58 +0000 (02:46 -0700)]
format fpbase.py

4 years agorename mid -> muxid in comment
Jacob Lifshay [Thu, 11 Jul 2019 09:42:33 +0000 (02:42 -0700)]
rename mid -> muxid in comment

4 years agoadd more tests; they all pass
Jacob Lifshay [Wed, 10 Jul 2019 12:19:10 +0000 (05:19 -0700)]
add more tests; they all pass

4 years agoDivPipeCore tests pass; still need to add more tests
Jacob Lifshay [Wed, 10 Jul 2019 08:01:23 +0000 (01:01 -0700)]
DivPipeCore tests pass; still need to add more tests

4 years agotest_core.py doesn't crash anymore
Jacob Lifshay [Wed, 10 Jul 2019 06:48:19 +0000 (23:48 -0700)]
test_core.py doesn't crash anymore

4 years agomake tests executable
Jacob Lifshay [Tue, 9 Jul 2019 02:21:04 +0000 (19:21 -0700)]
make tests executable

4 years agorename log2_tb -> tb_width
Jacob Lifshay [Tue, 9 Jul 2019 01:34:53 +0000 (18:34 -0700)]
rename log2_tb -> tb_width

4 years agoadd fp32 div pipe test
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 14:50:38 +0000 (15:50 +0100)]
add fp32 div pipe test

4 years agoadd test comment
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 13:41:20 +0000 (14:41 +0100)]
add test comment

4 years agoadd fp cvt 64 to 32 test
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 13:32:53 +0000 (14:32 +0100)]
add fp cvt 64 to 32 test

4 years agoadd fp cvt 64-16 test
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 13:29:24 +0000 (14:29 +0100)]
add fp cvt 64-16 test

4 years agoadd single op fcvt test case
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 13:26:15 +0000 (14:26 +0100)]
add single op fcvt test case

4 years agoadd fcvt regression tests
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 12:59:47 +0000 (13:59 +0100)]
add fcvt regression tests

4 years agoadd single-arg option to fp tests
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 12:59:09 +0000 (13:59 +0100)]
add single-arg option to fp tests

4 years agoenable failing regression tests
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 11:52:19 +0000 (12:52 +0100)]
enable failing regression tests

4 years agoadd fp64 mul unit test
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 11:50:59 +0000 (12:50 +0100)]
add fp64 mul unit test

4 years agoadd fpmul tests
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 11:43:08 +0000 (12:43 +0100)]
add fpmul tests

4 years agoadd fp16 mul (and some regression tests)
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 11:33:10 +0000 (12:33 +0100)]
add fp16 mul (and some regression tests)

4 years agoadd test fp64
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 11:26:00 +0000 (12:26 +0100)]
add test fp64

4 years agoyield inversion of zip of test cases
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 11:25:46 +0000 (12:25 +0100)]
yield inversion of zip of test cases

4 years agoadd test_add fp16
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 11:19:45 +0000 (12:19 +0100)]
add test_add fp16

4 years agomove test pipe class to common location
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 11:07:56 +0000 (12:07 +0100)]
move test pipe class to common location

4 years agoreorg test code towards parameterisation
Luke Kenneth Casson Leighton [Mon, 8 Jul 2019 10:58:36 +0000 (11:58 +0100)]
reorg test code towards parameterisation