git.saurik.com Git - apple/javascriptcore.git/blame_incremental

... / ...

Commit	Line	Data
	1	/*
	2	* Copyright (C) 2013 Apple Inc. All rights reserved.
	3	*
	4	* Redistribution and use in source and binary forms, with or without
	5	* modification, are permitted provided that the following conditions
	6	* are met:
	7	* 1. Redistributions of source code must retain the above copyright
	8	* notice, this list of conditions and the following disclaimer.
	9	* 2. Redistributions in binary form must reproduce the above copyright
	10	* notice, this list of conditions and the following disclaimer in the
	11	* documentation and/or other materials provided with the distribution.
	12	*
	13	* THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY
	14	* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
	15	* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
	16	* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR
	17	* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
	18	* EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
	19	* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
	20	* PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
	21	* OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
	22	* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
	23	* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
	24	*/
	25
	26	#ifndef DFGUseKind_h
	27	#define DFGUseKind_h
	28
	29	#include <wtf/Platform.h>
	30
	31	#if ENABLE(DFG_JIT)
	32
	33	#include "SpeculatedType.h"
	34	#include <wtf/PrintStream.h>
	35
	36	namespace JSC { namespace DFG {
	37
	38	enum UseKind {
	39	UntypedUse,
	40	Int32Use,
	41	KnownInt32Use,
	42	RealNumberUse,
	43	NumberUse,
	44	KnownNumberUse,
	45	BooleanUse,
	46	CellUse,
	47	KnownCellUse,
	48	ObjectUse,
	49	ObjectOrOtherUse,
	50	StringUse,
	51	KnownStringUse,
	52	StringObjectUse,
	53	StringOrStringObjectUse,
	54	NotCellUse,
	55	OtherUse,
	56	LastUseKind // Must always be the last entry in the enum, as it is used to denote the number of enum elements.
	57	};
	58
	59	ALWAYS_INLINE SpeculatedType typeFilterFor(UseKind useKind)
	60	{
	61	switch (useKind) {
	62	case UntypedUse:
	63	return SpecEmptyOrTop; // TOP isn't good enough; untyped uses may use the normally unseen empty value, in the case of lazy registers.
	64	case Int32Use:
	65	case KnownInt32Use:
	66	return SpecInt32;
	67	case RealNumberUse:
	68	return SpecRealNumber;
	69	case NumberUse:
	70	case KnownNumberUse:
	71	return SpecNumber;
	72	case BooleanUse:
	73	return SpecBoolean;
	74	case CellUse:
	75	case KnownCellUse:
	76	return SpecCell;
	77	case ObjectUse:
	78	return SpecObject;
	79	case ObjectOrOtherUse:
	80	return SpecObject \| SpecOther;
	81	case StringUse:
	82	case KnownStringUse:
	83	return SpecString;
	84	case StringObjectUse:
	85	return SpecStringObject;
	86	case StringOrStringObjectUse:
	87	return SpecString \| SpecStringObject;
	88	case NotCellUse:
	89	return ~SpecCell;
	90	case OtherUse:
	91	return SpecOther;
	92	default:
	93	RELEASE_ASSERT_NOT_REACHED();
	94	return SpecTop;
	95	}
	96	}
	97
	98	ALWAYS_INLINE bool isNumerical(UseKind kind)
	99	{
	100	switch (kind) {
	101	case Int32Use:
	102	case KnownInt32Use:
	103	case RealNumberUse:
	104	case NumberUse:
	105	return true;
	106	default:
	107	return false;
	108	}
	109	}
	110
	111	} } // namespace JSC::DFG
	112
	113	namespace WTF {
	114
	115	void printInternal(PrintStream&, JSC::DFG::UseKind);
	116
	117	} // namespace WTF
	118
	119	#endif // ENABLE(DFG_JIT)
	120
	121	#endif // DFGUseKind_h
	122