[MooreToCore] Out-of-bounds moore.extract lowered incorrectly

[maerhart]

In Verilog it's legal to access arrays/bitvectors out-of-bounds which will yield X or 0. Thus a lowBit attribute not within the range is allowed by moore.extract. This is currently lowered 1-1 to comb.extract which does verify that the lowBit attribute is within range. Therefore, MooreToCore needs to check if the attribute is out of bounds and lower it to a constant in that case.

[Rupantar-Borphukan]

Can you assign me this issue please !