1/*
2 * Copyright (C) 2013-2015 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#include "config.h"
27#include "FTLExitValue.h"
28
29#if ENABLE(FTL_JIT)
30
31#include "FTLExitTimeObjectMaterialization.h"
32#include "JSCInlines.h"
33#include "TrackedReferences.h"
34
35namespace JSC { namespace FTL {
36
37ExitValue ExitValue::materializeNewObject(ExitTimeObjectMaterialization* data)
38{
39 ExitValue result;
40 result.m_kind = ExitValueMaterializeNewObject;
41 UnionType u;
42 u.newObjectMaterializationData = data;
43 result.m_value = WTFMove(u);
44 return result;
45}
46
47ExitValue ExitValue::withLocalsOffset(int offset) const
48{
49 if (!isInJSStackSomehow())
50 return *this;
51 if (!virtualRegister().isLocal())
52 return *this;
53 return withVirtualRegister(virtualRegister() + offset);
54}
55
56DataFormat ExitValue::dataFormat() const
57{
58 switch (kind()) {
59 case InvalidExitValue:
60 RELEASE_ASSERT_NOT_REACHED();
61 return DataFormatNone;
62
63 case ExitValueDead:
64 case ExitValueConstant:
65 case ExitValueInJSStack:
66 case ExitValueMaterializeNewObject:
67 return DataFormatJS;
68
69 case ExitValueArgument:
70 return exitArgument().format();
71
72 case ExitValueInJSStackAsInt32:
73 return DataFormatInt32;
74
75 case ExitValueInJSStackAsInt52:
76 return DataFormatInt52;
77
78 case ExitValueInJSStackAsDouble:
79 return DataFormatDouble;
80 }
81
82 RELEASE_ASSERT_NOT_REACHED();
83}
84
85void ExitValue::dumpInContext(PrintStream& out, DumpContext* context) const
86{
87 switch (kind()) {
88 case InvalidExitValue:
89 out.print("Invalid");
90 return;
91 case ExitValueDead:
92 out.print("Dead");
93 return;
94 case ExitValueArgument:
95 out.print("Argument(", exitArgument(), ")");
96 return;
97 case ExitValueConstant:
98 out.print("Constant(", inContext(constant(), context), ")");
99 return;
100 case ExitValueInJSStack:
101 out.print("InJSStack:", virtualRegister());
102 return;
103 case ExitValueInJSStackAsInt32:
104 out.print("InJSStackAsInt32:", virtualRegister());
105 return;
106 case ExitValueInJSStackAsInt52:
107 out.print("InJSStackAsInt52:", virtualRegister());
108 return;
109 case ExitValueInJSStackAsDouble:
110 out.print("InJSStackAsDouble:", virtualRegister());
111 return;
112 case ExitValueMaterializeNewObject:
113 out.print("Materialize(", WTF::RawPointer(objectMaterialization()), ")");
114 return;
115 }
116
117 RELEASE_ASSERT_NOT_REACHED();
118}
119
120void ExitValue::dump(PrintStream& out) const
121{
122 dumpInContext(out, 0);
123}
124
125void ExitValue::validateReferences(const TrackedReferences& trackedReferences) const
126{
127 if (isConstant())
128 trackedReferences.check(constant());
129}
130
131} } // namespace JSC::FTL
132
133#endif // ENABLE(FTL_JIT)
134
135