Implements syntax and type checking for imul instruction.