Harry Sarson

icon indicating a website link harrysarson.github.io

icon company Garrison Technology icon location London, UK icon location Software engineer, enjoys high quality code.

Results 153 comments of Harry Sarson

rv32d_fclass_d and rv32d_fclass_s contain non-portable code and might misbehave in default case of switch(class)

Code is: https://github.com/physical-computation/sunflower-simulator/blob/master/sim/op-riscv.c#L2222-L2270 and https://github.com/physical-computation/sunflower-simulator/blob/master/sim/op-riscv.c#L1628-L1677 And the spec says: ![image](https://user-images.githubusercontent.com/16308754/70038374-075a3080-15b0-11ea-8230-6fb4db61ed59.png)

rv32d_fclass_d and rv32d_fclass_s contain non-portable code and might misbehave in default case of switch(class)

Can we rely on c using IEEE 754? The spec says it does not have to but in practice all architectures do. If we can rely on an IEEE 754...

Currently can't make memory size > 96000.

Ah sorry! This one is my fault. When doing uncertainty propagation in sunflower we need a (fairly huge) amount of memory to store covariances. As the implementation was left after...