{

// NOTE: If we ever have phantom arguments, we can compile them but we cannot

// OSR enter.

switch (node->op()) {

case JSConstant:

case LazyJSConstant:

case GetLocal:

case SetLocal:

case PutStack:

case KillStack:

case GetStack:

case MovHint:

case ZombieHint:

case ExitOK:

case Phantom:

case Flush:

case PhantomLocal:

case ExtractFromTuple:

case SetArgumentDefinitely:

case SetArgumentMaybe:

case Return:

case ArithBitNot:

case ArithBitAnd:

case ArithBitOr:

case ArithBitXor:

case ArithBitRShift:

case ArithBitLShift:

case ArithBitURShift:

case CheckStructure:

case CheckStructureOrEmpty:

case DoubleAsInt32:

case Arrayify:

case ArrayifyToStructure:

case PutStructure:

case GetButterfly:

case NewObject:

case NewStringObject:

case NewRegExpUntyped:

case NewSymbol:

case NewArray:

case NewArrayWithSpread:

case NewInternalFieldObject:

case Spread:

case NewArrayBuffer:

case NewTypedArray:

case NewTypedArrayBuffer:

case GetByOffset:

case GetGetterSetterByOffset:

case GetGetter:

case GetSetter:

case PutByOffset:

case GetGlobalVar:

case GetGlobalLexicalVariable:

case PutGlobalVariable:

case ValueBitAnd:

case ValueBitXor:

case ValueBitOr:

case ValueBitNot:

case ValueBitLShift:

case ValueBitRShift:

case ValueBitURShift:

case ValueNegate:

case ValueAdd:

case ValueSub:

case ValueMul:

case ValueDiv:

case ValueMod:

case ValuePow:

case Inc:

case Dec:

case StrCat:

case ArithAdd:

case ArithClz32:

case ArithSub:

case ArithMul:

case ArithDiv:

case ArithMod:

case ArithMin:

case ArithMax:

case ArithAbs:

case ArithPow:

case ArithRandom:

case ArithRound:

case ArithFloor:

case ArithCeil:

case ArithTrunc:

case ArithSqrt:

case ArithFRound:

case ArithF16Round:

case ArithNegate:

case ArithUnary:

case UInt32ToNumber:

case Jump:

case ForceOSRExit:

case Phi:

case Upsilon:

case ExtractOSREntryLocal:

case ExtractCatchLocal:

case ClearCatchLocals:

case LoopHint:

case SkipScope:

case GetGlobalObject:

case GetGlobalThis:

case UnwrapGlobalProxy:

case CreateActivation:

case PushWithScope:

case NewFunction:

case NewGeneratorFunction:

case NewAsyncFunction:

case NewAsyncGeneratorFunction:

case NewBoundFunction:

case GetClosureVar:

case PutClosureVar:

case GetInternalField:

case PutInternalField:

case CreateDirectArguments:

case CreateScopedArguments:

case CreateClonedArguments:

case GetFromArguments:

case PutToArguments:

case GetArgument:

case InvalidationPoint:

case StringAt:

case StringCharAt:

case StringLocaleCompare:

case CheckIsConstant:

case CheckBadValue:

case CheckNotEmpty:

case AssertNotEmpty:

case CheckIdent:

case CheckTraps:

case StringCharCodeAt:

case StringCodePointAt:

case StringFromCharCode:

case StringIndexOf:

case StringStartsWith:

case StringEndsWith:

case AllocatePropertyStorage:

case ReallocatePropertyStorage:

case NukeStructureAndSetButterfly:

case GetTypedArrayByteOffset:

case GetTypedArrayByteOffsetAsInt52:

case GetPrototypeOf:

case GetWebAssemblyInstanceExports:

case NotifyWrite:

case StoreBarrier:

case FencedStoreBarrier:

case Call:

case DirectCall:

case TailCall:

case DirectTailCall:

case TailCallInlinedCaller:

case DirectTailCallInlinedCaller:

case Construct:

case DirectConstruct:

case CallVarargs:

case CallDirectEval:

case TailCallVarargs:

case TailCallVarargsInlinedCaller:

case ConstructVarargs:

case CallForwardVarargs:

case TailCallForwardVarargs:

case TailCallForwardVarargsInlinedCaller:

case ConstructForwardVarargs:

case CallWasm:

case TailCallInlinedCallerWasm:

case CallCustomAccessorGetter:

case CallCustomAccessorSetter:

case VarargsLength:

case LoadVarargs:

case ValueToInt32:

case Branch:

case ToBoolean:

case LogicalNot:

case AssertInBounds:

case CheckInBounds:

case CheckInBoundsInt52:

case ConstantStoragePointer:

case Check:

case CheckVarargs:

case CheckArray:

case CheckArrayOrEmpty:

case CheckDetached:

case CountExecution:

case SuperSamplerBegin:

case SuperSamplerEnd:

case GetExecutable:

case GetScope:

case GetEvalScope:

case GetCallee:

case SetCallee:

case GetArgumentCountIncludingThis:

case SetArgumentCountIncludingThis:

case ToNumber:

case ToNumeric:

case ToString:

case FunctionToString:

case FunctionBind:

case ToObject:

case CallObjectConstructor:

case CallStringConstructor:

case CallNumberConstructor:

case ObjectAssign:

case ObjectCreate:

case ObjectKeys:

case ObjectGetOwnPropertyNames:

case ObjectGetOwnPropertySymbols:

case ObjectToString:

case ReflectOwnKeys:

case MakeRope:

case MakeAtomString:

case NewArrayWithSize:

case NewArrayWithButterfly:

case NewButterflyWithSize:

case NewArrayWithSpecies:

case NewArrayWithSizeAndStructure:

case TryGetById:

case GetById:

case GetByIdFlush:

case GetByIdMegamorphic:

case GetByIdWithThis:

case GetByIdWithThisMegamorphic:

case GetByIdDirect:

case GetByIdDirectFlush:

case ToThis:

case MultiGetByOffset:

case MultiPutByOffset:

case MultiDeleteByOffset:

case ToPrimitive:

case ToPropertyKey:

case ToPropertyKeyOrNumber:

case Throw:

case ThrowStaticError:

case Unreachable:

case InByVal:

case InById:

case InByValMegamorphic:

case InByIdMegamorphic:

case HasPrivateName:

case HasPrivateBrand:

case HasOwnProperty:

case IsCellWithType:

case MapHash:

case NormalizeMapKey:

case MapGet:

case LoadMapValue:

case MapIterationNext:

case MapIterationEntry:

case MapIterationEntryKey:

case MapIterationEntryValue:

case MapOrSetSize:

case GetRegExpFlag:

case MapStorage:

case MapStorageOrSentinel:

case MapIteratorNext:

case MapIteratorKey:

case MapIteratorValue:

case ExtractValueFromWeakMapGet:

case SetAdd:

case MapSet:

case MapOrSetDelete:

case WeakMapGet:

case WeakSetAdd:

case WeakMapSet:

case IsEmpty:

case IsEmptyStorage:

case TypeOfIsUndefined:

case TypeOfIsObject:

case TypeOfIsFunction:

case IsUndefinedOrNull:

case IsBoolean:

case IsNumber:

case IsBigInt:

case NumberIsInteger:

case GlobalIsNaN:

case NumberIsNaN:

case GlobalIsFinite:

case NumberIsFinite:

case NumberIsSafeInteger:

case IsObject:

case IsCallable:

case IsConstructor:

case IsTypedArrayView:

case ArrayIsArray:

case CheckTypeInfoFlags:

case HasStructureWithFlags:

case OverridesHasInstance:

case InstanceOf:

case InstanceOfMegamorphic:

case InstanceOfCustom:

case DoubleRep:

case ValueRep:

case Int52Rep:

case PurifyNaN:

case DoubleConstant:

case Int52Constant:

case BooleanToNumber:

case HasIndexedProperty:

case GetIndexedPropertyStorage:

case ResolveRope:

case GetPropertyEnumerator:

case EnumeratorNextUpdateIndexAndMode:

case EnumeratorNextUpdatePropertyName:

case EnumeratorGetByVal:

case EnumeratorInByVal:

case EnumeratorHasOwnProperty:

case EnumeratorPutByVal:

case BottomValue:

case PhantomNewObject:

case PhantomNewArrayWithButterfly:

case PhantomNewButterflyWithSize:

case PhantomNewFunction:

case PhantomNewGeneratorFunction:

case PhantomNewAsyncGeneratorFunction:

case PhantomNewAsyncFunction:

case PhantomNewInternalFieldObject:

case PhantomCreateActivation:

case PhantomNewRegExp:

case PutHint:

case CheckStructureImmediate:

case MaterializeNewObject:

case MaterializeNewArrayWithButterfly:

case MaterializeCreateActivation:

case MaterializeNewInternalFieldObject:

case PhantomDirectArguments:

case PhantomCreateRest:

case PhantomSpread:

case PhantomNewArrayWithSpread:

case PhantomNewArrayBuffer:

case PhantomClonedArguments:

case GetMyArgumentByVal:

case GetMyArgumentByValOutOfBounds:

case ForwardVarargs:

case EntrySwitch:

case Switch:

case TypeOf:

case PutById:

case PutByIdDirect:

case PutByIdFlush:

case PutByIdMegamorphic:

case PutByIdWithThis:

case PutGetterById:

case PutSetterById:

case PutGetterSetterById:

case PutGetterByVal:

case PutSetterByVal:

case DeleteById:

case DeleteByVal:

case CreateRest:

case RegExpExec:

case RegExpExecNonGlobalOrSticky:

case RegExpTest:

case RegExpTestInline:

case RegExpMatchFast:

case RegExpMatchFastGlobal:

case RegExpSearch:

case NewRegExp:

case NewMap:

case NewSet:

case StringReplace:

case StringReplaceAll:

case StringReplaceRegExp:

case StringReplaceString:

case GetRegExpObjectLastIndex:

case SetRegExpObjectLastIndex:

case RecordRegExpCachedResult:

case SetFunctionName:

case LogShadowChickenPrologue:

case LogShadowChickenTail:

case ResolveScope:

case ResolveScopeForHoistingFuncDeclInEval:

case GetDynamicVar:

case PutDynamicVar:

case CompareEq:

case CompareEqPtr:

case CompareLess:

case CompareLessEq:

case CompareGreater:

case CompareGreaterEq:

case CompareBelow:

case CompareBelowEq:

case CompareStrictEq:

case SameValue:

case DefineDataProperty:

case DefineAccessorProperty:

case ObjectDefineProperty:

case StringValueOf:

case StringSlice:

case StringSubstring:

case ToUpperCase:

case ToLowerCase:

case NumberToStringWithRadix:

case NumberToStringWithValidRadixConstant:

case CheckJSCast:

case CheckNotJSCast:

case CallDOM:

case CallDOMGetter:

case ArraySlice:

case ArraySplice:

case ArrayIncludes:

case ArrayIndexOf:

case ArrayPop:

case ArrayPush:

case ParseInt:

case ToIntegerOrInfinity:

case ToLength:

case AtomicsAdd:

case AtomicsAnd:

case AtomicsCompareExchange:

case AtomicsExchange:

case AtomicsLoad:

case AtomicsOr:

case AtomicsStore:

case AtomicsSub:

case AtomicsXor:

case AtomicsIsLockFree:

case InitializeEntrypointArguments:

case CPUIntrinsic:

case GetArrayLength:

case GetUndetachedTypeArrayLength:

case GetTypedArrayLengthAsInt52:

case GetVectorLength:

case GetByVal:

case GetByValMegamorphic:

case GetByValWithThis:

case GetByValWithThisMegamorphic:

case MultiGetByVal:

case MultiPutByVal:

case PutByVal:

case PutByValDirectResolved:

case PutByValMegamorphic:

case PutByValDirect:

case PutByValWithThis:

case PutPrivateName:

case PutPrivateNameById:

case GetPrivateName:

case GetPrivateNameById:

case CheckPrivateBrand:

case SetPrivateBrand:

case MatchStructure:

case FilterCallLinkStatus:

case FilterGetByStatus:

case FilterPutByStatus:

case FilterInByStatus:

case FilterDeleteByStatus:

case FilterCheckPrivateBrandStatus:

case FilterSetPrivateBrandStatus:

case CreateThis:

case CreatePromise:

case CreateGenerator:

case CreateAsyncGenerator:

case DataViewGetByteLength:

case DataViewGetByteLengthAsInt52:

case DataViewGetInt:

case DataViewGetFloat:

case DataViewSet:

case DateGetInt32OrNaN:

case DateGetTime:

case DateSetTime:

case ResolvePromiseFirstResolving:

case RejectPromiseFirstResolving:

case FulfillPromiseFirstResolving:

case NewResolvedPromise:

case NewRejectedPromise:

case PromiseResolve:

case PromiseReject:

case PromiseThen:

case PerformPromiseThen:

// These are OK.

break;

case Identity:

// No backend handles this because it will be optimized out. But we may check

// for capabilities before optimization. It would be a deep error to remove this

// case because it would prevent us from catching bugs where the FTL backend

// pipeline failed to optimize out an Identity.

break;

case IdentityWithProfile:

case CheckTierUpInLoop:

case CheckTierUpAndOSREnter:

case CheckTierUpAtReturn:

case FiatInt52:

case ArithIMul:

case ProfileType:

case ProfileControlFlow:

case LastNodeType:

return CannotCompile;

}

return CanCompileAndOSREnter;

{

if (graph.m_codeBlock->bytecodeCost() > Options::maximumFTLCandidateBytecodeCost()) {

dataLogLnIf(verboseCapabilities(), "FTL rejecting ", *graph.m_codeBlock, " because it's too big.");

return CannotCompile;

}

if (graph.m_codeBlock->ownerExecutable()->neverFTLOptimize()) [[unlikely]] {

dataLogLnIf(verboseCapabilities(), "FTL rejecting ", *graph.m_codeBlock, " because it is marked as never FTL compile.");

return CannotCompile;

}

CapabilityLevel result = CanCompileAndOSREnter;

for (BlockIndex blockIndex = graph.numBlocks(); blockIndex--;) {

BasicBlock* block = graph.block(blockIndex);

if (!block)

continue;

// We don't care if we can compile blocks that the CFA hasn't visited.

if (!block->cfaHasVisited)

continue;

for (unsigned nodeIndex = 0; nodeIndex < block->size(); ++nodeIndex) {

Node* node = block->at(nodeIndex);

for (unsigned childIndex = graph.numChildren(node); childIndex--;) {

Edge edge = graph.child(node, childIndex);

if (!edge)

continue;

switch (edge.useKind()) {

case UntypedUse:

case Int32Use:

case KnownInt32Use:

case Int52RepUse:

case NumberUse:

case RealNumberUse:

case DoubleRepUse:

case DoubleRepRealUse:

case BooleanUse:

case KnownBooleanUse:

case CellUse:

case KnownCellUse:

case KnownStorageUse:

case CellOrOtherUse:

case ObjectUse:

case ArrayUse:

case FunctionUse:

case ObjectOrOtherUse:

case StringUse:

case StringOrOtherUse:

case KnownStringUse:

case KnownPrimitiveUse:

case StringObjectUse:

case StringOrStringObjectUse:

case SymbolUse:

case AnyBigIntUse:

case BigInt32Use:

case HeapBigIntUse:

case DateObjectUse:

case MapObjectUse:

case MapIteratorObjectUse:

case SetObjectUse:

case SetIteratorObjectUse:

case WeakMapObjectUse:

case WeakSetObjectUse:

case DataViewObjectUse:

case FinalObjectUse:

case PromiseObjectUse:

case RegExpObjectUse:

case ProxyObjectUse:

case GlobalProxyUse:

case DerivedArrayUse:

case NotCellUse:

case NotCellNorBigIntUse:

case OtherUse:

case KnownOtherUse:

case MiscUse:

case StringIdentUse:

case NotStringVarUse:

case NotSymbolUse:

case AnyIntUse:

case DoubleRepAnyIntUse:

case NotDoubleUse:

case NeitherDoubleNorHeapBigIntUse:

case NeitherDoubleNorHeapBigIntNorStringUse:

// These are OK.

break;

default:

// Don't know how to handle anything else.

if (verboseCapabilities()) [[unlikely]] {

WTF::dataFile().atomically([&](auto&) {

dataLogLn("FTL rejecting node in ", *graph.m_codeBlock, " because of bad use kind: ", edge.useKind(), " in node:");

graph.dump(WTF::dataFile(), " ", node);

});

}

return CannotCompile;

}

}

switch (canCompile(node)) {

case CannotCompile:

if (verboseCapabilities()) [[unlikely]] {

WTF::dataFile().atomically([&](auto&) {

dataLogLn("FTL rejecting node in ", *graph.m_codeBlock, ":");

graph.dump(WTF::dataFile(), " ", node);

});

}

return CannotCompile;

case CanCompile:

if (result == CanCompileAndOSREnter && verboseCompilationEnabled()) [[unlikely]] {

WTF::dataFile().atomically([&](auto&) {

dataLogLn("FTL disabling OSR entry because of node:");

graph.dump(WTF::dataFile(), " ", node);

});

}

result = CanCompile;

break;

case CanCompileAndOSREnter:

break;

}

if (node->op() == ForceOSRExit)

break;

}

}

return result;