Module Ast.Widen_mul2
Witness types for widening multiply upper half (SMULL2, UMULL2). Sources are 128-bit, dest is wide. 16B,16B->8H, 8H,8H->4S, 4S,4S->2D
Ast.Widen_mul2Witness types for widening multiply upper half (SMULL2, UMULL2). Sources are 128-bit, dest is wide. 16B,16B->8H, 8H,8H->4S, 4S,4S->2D