GeezerVison

Followup to #134369 (comment)

This completely removes _CALL_TYPE_1 when the abstract interpreter is able to deduce the result (by knowing the type of the argument).

For example, for something like type(42), we currently do

_LOAD_CONST_INLINE_BORROW (callable: type)
_PUSH_NULL
_LOAD_CONST_INLINE_BORROW (arg: 42)
_CALL_TYPE_1

Note that we still do the call even when we know the result.

In this PR, when the result is known, _CALL_TYPE_1 is replaced with _POP_CALL_ONE_LOAD_CONST_INLINE_BORROW:

_LOAD_CONST_INLINE_BORROW (callable: type)
_PUSH_NULL
_LOAD_CONST_INLINE_BORROW (arg: 42)
- _CALL_TYPE_1
+ _POP_CALL_ONE_LOAD_CONST_INLINE_BORROW (arg: int)

Thanks to some previous work on optimizing remove_unneeded_uops this becomes just:

_LOAD_CONST_INLINE_BORROW (arg: int)

that is, the entire call is replaced with a load.

• Issue: Better uop coverage in the JIT optimizer #131798