avail/avail.interpreter.primitive.types/P_IsInstanceOf/tryToGenerateSpecialPrimitiveInvocation

tryToGenerateSpecialPrimitiveInvocation

open override fun tryToGenerateSpecialPrimitiveInvocation(functionToCallReg: L2ReadBoxedOperand, rawFunction: A_RawFunction, arguments: List<L2ReadBoxedOperand>, argumentTypes: List<A_Type>, translator: L1Translator, callSiteHelper: L1Translator.CallSiteHelper): Boolean

Some identities apply. The terms x and y are the values being compared (not necessarily known statically), and x' and y' are their static types (making them metatypes).

  1. The test is always true if the exact type y1 is known (not a subtype) and x' ∈ y1'.

  2. The test is always false if the exact type x1 is known (not a subtype) and x1' ∉ y'.

  3. The test is always true if y = ⊤.