[Bug][move-compiler-v2] Compiler V2 constant folding folds SHR width == type size

[brmataptos]

🐛 Bug

Compiler V2 constant-folds (0u8 >> 8) to 0, while V1 leaves this operation in to abort at runtime.

The manual says the code "may abort" if the shift width is the same as the type size, so it's technically allowed (and thus not Urgent), but this behavior differs from V1, so would be better corrected.

Case 1:

• third_party/move/move-compiler/tests/move_check/folding/unfoldable_constants.exp
• third_party/move/move-compiler-v2/tests/folding/unfoldable_constants.exp Case 2:
• third_party/move/move-compiler/tests/move_check/folding/unfoldable_constants_blocks.exp
• third_party/move/move-compiler-v2/tests/folding/unfoldable_constants_blocks.exp

[github-actions[bot]]

This issue is stale because it has been open 45 days with no activity. Remove the stale label or comment - otherwise this will be closed in 15 days.