an RFC is required for adding dynamic partitioned signal support into nmigen.
i made a start (see URL field) which begins to describe what the problem is (m.If/Else/Switch not understanding Dynamic SIMD) and illustrating what a complete nightmare it would be without nmigen integrated support. the IEEE754 FP library is 45,000 lines of code (so far) and there is no way in hell we are multiplying that amount of code up by an order of magnitude, with hand written SIMD for-loops.
discussion about whether PartitionedBool would be necessary https://libre-soc.org/irclog/%23libre-soc.2021-03-13.log.html#t2021-03-13T23:49:13