primitives (clash.sized.vector)

[alexin-ivan]

I think some bug here: https://github.com/christiaanb/clash2/blob/master/primitives/clash.sized.vector.json#L84

Versions:
CAES Language for Synchronous Hardware, version 0.3.0.2
clash-lib-0.3.0.1
clash-prelude-0.5

TestCode:
https://gist.github.com/alexin-ivan/ec568a97cdb27d53fa22#file-fpgamodel-L218

Result:
https://gist.github.com/alexin-ivan/3c6e17eb7f193e3f33b6

Quartus ouput:
Error (10344): VHDL expression error at switchBoxBlock_1.vhdl(66): expression has 32 elements, but must have 17 elements

Patch (just swap tuple elements)

-~RESULT <= (~SYM[1](~SYM[1]'high downto ~LIT[0]),~SYM[1](~LIT[0]-1 downto 0));
+~RESULT <= (~SYM[1](~LIT[0]-1 downto 0), ~SYM[1](~SYM[1]'high downto ~LIT[0]));

[christiaanb]

Thanks for the bug resport, I think it should be however:

-~RESULT <= (~SYM[1](~SYM[1]'high downto ~LIT[0]),~SYM[1](~LIT[0]-1 downto 0));
+~RESULT <= (~SYM[1](~SYM[1]'high downto (~SYM[1]'high - ~LIT[0] + 1)),~SYM[1]((~SYM[1]'high - ~LIT[0]) downto 0));

As the vsplit Haskell code does not swap the two parts of the tuple either. It's just that the VHDL used the wrong indexing.

[christiaanb]

Fixed by: 436bfce