Module Ast.Widen_mul
Witness types for widening multiply (SMULL, UMULL). Sources are narrow, dest is wide. 8B,8B->8H, 4H,4H->4S, 2S,2S->2D
Ast.Widen_mulWitness types for widening multiply (SMULL, UMULL). Sources are narrow, dest is wide. 8B,8B->8H, 4H,4H->4S, 2S,2S->2D