Module `Ast.Smov_element_to_GP`

Constraint tying vector element width to GP register width for SMOV.

B/H elements can use W or X (sign-extending to 32 or 64 bits)
S elements must use X (sign-extending 32 to 64 bits)
D elements are not valid for SMOV (no sign extension needed)

type (_, _) t =

| B_to_W : ([ `B ], [ `W ]) t
| B_to_X : ([ `B ], [ `X ]) t
| H_to_W : ([ `H ], [ `W ]) t
| H_to_X : ([ `H ], [ `X ]) t
| S_to_X : ([ `S ], [ `X ]) t