test-js-context-specialization.cc revision b8a8cc1952d61a2f3a2568848933943a543b5d3e
1b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Copyright 2014 the V8 project authors. All rights reserved. 2b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Use of this source code is governed by a BSD-style license that can be 3b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// found in the LICENSE file. 4b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 5b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#include "src/compiler/js-context-specialization.h" 6b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#include "src/compiler/js-operator.h" 7b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#include "src/compiler/node-matchers.h" 8b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#include "src/compiler/node-properties-inl.h" 9b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#include "src/compiler/source-position.h" 10b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#include "src/compiler/typer.h" 11b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#include "test/cctest/cctest.h" 12b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#include "test/cctest/compiler/function-tester.h" 13b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#include "test/cctest/compiler/graph-builder-tester.h" 14b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 15b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochusing namespace v8::internal; 16b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochusing namespace v8::internal::compiler; 17b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 18b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochclass ContextSpecializationTester : public HandleAndZoneScope, 19b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch public DirectGraphBuilder { 20b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch public: 21b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch ContextSpecializationTester() 22b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch : DirectGraphBuilder(new (main_zone()) Graph(main_zone())), 23b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch common_(main_zone()), 24b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch javascript_(main_zone()), 25b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch machine_(), 26b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch simplified_(main_zone()), 27b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch typer_(main_zone()), 28b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch jsgraph_(graph(), common(), &javascript_, &typer_, &machine_), 29b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch info_(main_isolate(), main_zone()) {} 30b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 31b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Factory* factory() { return main_isolate()->factory(); } 32b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CommonOperatorBuilder* common() { return &common_; } 33b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch JSOperatorBuilder* javascript() { return &javascript_; } 34b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch SimplifiedOperatorBuilder* simplified() { return &simplified_; } 35b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch JSGraph* jsgraph() { return &jsgraph_; } 36b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CompilationInfo* info() { return &info_; } 37b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 38b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch private: 39b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CommonOperatorBuilder common_; 40b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch JSOperatorBuilder javascript_; 41b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch MachineOperatorBuilder machine_; 42b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch SimplifiedOperatorBuilder simplified_; 43b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Typer typer_; 44b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch JSGraph jsgraph_; 45b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CompilationInfo info_; 46b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch}; 47b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 48b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 49b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochTEST(ReduceJSLoadContext) { 50b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch ContextSpecializationTester t; 51b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 52b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* start = t.NewNode(t.common()->Start(0)); 53b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch t.graph()->SetStart(start); 54b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 55b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Make a context and initialize it a bit for this test. 56b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Context> native = t.factory()->NewNativeContext(); 57b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Context> subcontext1 = t.factory()->NewNativeContext(); 58b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Context> subcontext2 = t.factory()->NewNativeContext(); 59b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch subcontext2->set_previous(*subcontext1); 60b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch subcontext1->set_previous(*native); 61b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Object> expected = t.factory()->InternalizeUtf8String("gboy!"); 62b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch const int slot = Context::GLOBAL_OBJECT_INDEX; 63b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch native->set(slot, *expected); 64b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 65b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* const_context = t.jsgraph()->Constant(native); 66b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* deep_const_context = t.jsgraph()->Constant(subcontext2); 67b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* param_context = t.NewNode(t.common()->Parameter(0), start); 68b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch JSContextSpecializer spec(t.info(), t.jsgraph(), const_context); 69b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 70b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch { 71b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Mutable slot, constant context, depth = 0 => do nothing. 72b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* load = t.NewNode(t.javascript()->LoadContext(0, 0, false), 73b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch const_context, const_context, start); 74b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Reduction r = spec.ReduceJSLoadContext(load); 75b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(!r.Changed()); 76b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 77b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 78b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch { 79b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Mutable slot, non-constant context, depth = 0 => do nothing. 80b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* load = t.NewNode(t.javascript()->LoadContext(0, 0, false), 81b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch param_context, param_context, start); 82b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Reduction r = spec.ReduceJSLoadContext(load); 83b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(!r.Changed()); 84b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 85b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 86b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch { 87b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Mutable slot, constant context, depth > 0 => fold-in parent context. 88b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* load = t.NewNode( 89b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch t.javascript()->LoadContext(2, Context::GLOBAL_EVAL_FUN_INDEX, false), 90b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch deep_const_context, deep_const_context, start); 91b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Reduction r = spec.ReduceJSLoadContext(load); 92b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(r.Changed()); 93b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* new_context_input = NodeProperties::GetValueInput(r.replacement(), 0); 94b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK_EQ(IrOpcode::kHeapConstant, new_context_input->opcode()); 95b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch HeapObjectMatcher<Context> match(new_context_input); 96b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK_EQ(*native, *match.Value().handle()); 97b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch ContextAccess access = OpParameter<ContextAccess>(r.replacement()); 98b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK_EQ(Context::GLOBAL_EVAL_FUN_INDEX, access.index()); 99b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK_EQ(0, access.depth()); 100b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK_EQ(false, access.immutable()); 101b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 102b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 103b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch { 104b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Immutable slot, constant context, depth = 0 => specialize. 105b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* load = t.NewNode(t.javascript()->LoadContext(0, slot, true), 106b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch const_context, const_context, start); 107b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Reduction r = spec.ReduceJSLoadContext(load); 108b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(r.Changed()); 109b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(r.replacement() != load); 110b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 111b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch HeapObjectMatcher<Object> match(r.replacement()); 112b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(match.HasValue()); 113b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK_EQ(*expected, *match.Value().handle()); 114b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 115b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 116b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // TODO(titzer): test with other kinds of contexts, e.g. a function context. 117b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // TODO(sigurds): test that loads below create context are not optimized 118b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 119b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 120b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 121b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochTEST(ReduceJSStoreContext) { 122b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch ContextSpecializationTester t; 123b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 124b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* start = t.NewNode(t.common()->Start(0)); 125b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch t.graph()->SetStart(start); 126b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 127b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Make a context and initialize it a bit for this test. 128b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Context> native = t.factory()->NewNativeContext(); 129b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Context> subcontext1 = t.factory()->NewNativeContext(); 130b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Context> subcontext2 = t.factory()->NewNativeContext(); 131b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch subcontext2->set_previous(*subcontext1); 132b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch subcontext1->set_previous(*native); 133b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Object> expected = t.factory()->InternalizeUtf8String("gboy!"); 134b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch const int slot = Context::GLOBAL_OBJECT_INDEX; 135b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch native->set(slot, *expected); 136b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 137b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* const_context = t.jsgraph()->Constant(native); 138b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* deep_const_context = t.jsgraph()->Constant(subcontext2); 139b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* param_context = t.NewNode(t.common()->Parameter(0), start); 140b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch JSContextSpecializer spec(t.info(), t.jsgraph(), const_context); 141b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 142b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch { 143b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Mutable slot, constant context, depth = 0 => do nothing. 144b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* load = t.NewNode(t.javascript()->StoreContext(0, 0), const_context, 145b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch const_context, start); 146b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Reduction r = spec.ReduceJSStoreContext(load); 147b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(!r.Changed()); 148b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 149b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 150b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch { 151b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Mutable slot, non-constant context, depth = 0 => do nothing. 152b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* load = t.NewNode(t.javascript()->StoreContext(0, 0), param_context, 153b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch param_context, start); 154b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Reduction r = spec.ReduceJSStoreContext(load); 155b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(!r.Changed()); 156b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 157b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 158b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch { 159b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Immutable slot, constant context, depth = 0 => do nothing. 160b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* load = t.NewNode(t.javascript()->StoreContext(0, slot), const_context, 161b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch const_context, start); 162b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Reduction r = spec.ReduceJSStoreContext(load); 163b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(!r.Changed()); 164b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 165b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 166b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch { 167b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Mutable slot, constant context, depth > 0 => fold-in parent context. 168b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* load = t.NewNode( 169b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch t.javascript()->StoreContext(2, Context::GLOBAL_EVAL_FUN_INDEX), 170b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch deep_const_context, deep_const_context, start); 171b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Reduction r = spec.ReduceJSStoreContext(load); 172b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(r.Changed()); 173b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* new_context_input = NodeProperties::GetValueInput(r.replacement(), 0); 174b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK_EQ(IrOpcode::kHeapConstant, new_context_input->opcode()); 175b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch HeapObjectMatcher<Context> match(new_context_input); 176b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK_EQ(*native, *match.Value().handle()); 177b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch ContextAccess access = OpParameter<ContextAccess>(r.replacement()); 178b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK_EQ(Context::GLOBAL_EVAL_FUN_INDEX, access.index()); 179b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK_EQ(0, access.depth()); 180b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK_EQ(false, access.immutable()); 181b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 182b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 183b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 184b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 185b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// TODO(titzer): factor out common code with effects checking in typed lowering. 186b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochstatic void CheckEffectInput(Node* effect, Node* use) { 187b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK_EQ(effect, NodeProperties::GetEffectInput(use)); 188b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 189b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 190b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 191b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochTEST(SpecializeToContext) { 192b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch ContextSpecializationTester t; 193b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 194b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* start = t.NewNode(t.common()->Start(0)); 195b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch t.graph()->SetStart(start); 196b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 197b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Make a context and initialize it a bit for this test. 198b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Context> native = t.factory()->NewNativeContext(); 199b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Object> expected = t.factory()->InternalizeUtf8String("gboy!"); 200b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch const int slot = Context::GLOBAL_OBJECT_INDEX; 201b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch native->set(slot, *expected); 202b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch t.info()->SetContext(native); 203b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 204b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* const_context = t.jsgraph()->Constant(native); 205b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* param_context = t.NewNode(t.common()->Parameter(0), start); 206b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch JSContextSpecializer spec(t.info(), t.jsgraph(), const_context); 207b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 208b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch { 209b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Check that SpecializeToContext() replaces values and forwards effects 210b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // correctly, and folds values from constant and non-constant contexts 211b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* effect_in = start; 212b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* load = t.NewNode(t.javascript()->LoadContext(0, slot, true), 213b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch const_context, const_context, effect_in); 214b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 215b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 216b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* value_use = t.NewNode(t.simplified()->ChangeTaggedToInt32(), load); 217b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* other_load = t.NewNode(t.javascript()->LoadContext(0, slot, true), 218b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch param_context, param_context, load); 219b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* effect_use = other_load; 220b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* other_use = 221b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch t.NewNode(t.simplified()->ChangeTaggedToInt32(), other_load); 222b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 223b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* add = t.NewNode(t.javascript()->Add(), value_use, other_use, 224b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch param_context, other_load, start); 225b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 226b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* ret = t.NewNode(t.common()->Return(), add, effect_use, start); 227b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* end = t.NewNode(t.common()->End(), ret); 228b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch USE(end); 229b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch t.graph()->SetEnd(end); 230b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 231b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Double check the above graph is what we expect, or the test is broken. 232b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CheckEffectInput(effect_in, load); 233b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CheckEffectInput(load, effect_use); 234b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 235b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Perform the substitution on the entire graph. 236b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch spec.SpecializeToContext(); 237b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 238b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Effects should have been forwarded (not replaced with a value). 239b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CheckEffectInput(effect_in, effect_use); 240b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 241b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Use of {other_load} should not have been replaced. 242b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK_EQ(other_load, other_use->InputAt(0)); 243b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 244b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Node* replacement = value_use->InputAt(0); 245b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch HeapObjectMatcher<Object> match(replacement); 246b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(match.HasValue()); 247b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK_EQ(*expected, *match.Value().handle()); 248b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 249b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // TODO(titzer): clean up above test and test more complicated effects. 250b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 251b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 252b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 253b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochTEST(SpecializeJSFunction_ToConstant1) { 254b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch FunctionTester T( 255b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch "(function() { var x = 1; function inc(a)" 256b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch " { return a + x; } return inc; })()"); 257b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 258b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch T.CheckCall(1.0, 0.0, 0.0); 259b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch T.CheckCall(2.0, 1.0, 0.0); 260b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch T.CheckCall(2.1, 1.1, 0.0); 261b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 262b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 263b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 264b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochTEST(SpecializeJSFunction_ToConstant2) { 265b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch FunctionTester T( 266b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch "(function() { var x = 1.5; var y = 2.25; var z = 3.75;" 267b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch " function f(a) { return a - x + y - z; } return f; })()"); 268b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 269b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch T.CheckCall(-3.0, 0.0, 0.0); 270b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch T.CheckCall(-2.0, 1.0, 0.0); 271b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch T.CheckCall(-1.9, 1.1, 0.0); 272b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 273b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 274b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 275b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochTEST(SpecializeJSFunction_ToConstant3) { 276b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch FunctionTester T( 277b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch "(function() { var x = -11.5; function inc()" 278b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch " { return (function(a) { return a + x; }); }" 279b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch " return inc(); })()"); 280b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 281b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch T.CheckCall(-11.5, 0.0, 0.0); 282b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch T.CheckCall(-10.5, 1.0, 0.0); 283b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch T.CheckCall(-10.4, 1.1, 0.0); 284b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 285b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 286b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 287b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochTEST(SpecializeJSFunction_ToConstant_uninit) { 288b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch { 289b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch FunctionTester T( 290b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch "(function() { if (false) { var x = 1; } function inc(a)" 291b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch " { return x; } return inc; })()"); // x is undefined! 292b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 293b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(T.Call(T.Val(0.0), T.Val(0.0)).ToHandleChecked()->IsUndefined()); 294b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(T.Call(T.Val(2.0), T.Val(0.0)).ToHandleChecked()->IsUndefined()); 295b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(T.Call(T.Val(-2.1), T.Val(0.0)).ToHandleChecked()->IsUndefined()); 296b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 297b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 298b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch { 299b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch FunctionTester T( 300b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch "(function() { if (false) { var x = 1; } function inc(a)" 301b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch " { return a + x; } return inc; })()"); // x is undefined! 302b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 303b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(T.Call(T.Val(0.0), T.Val(0.0)).ToHandleChecked()->IsNaN()); 304b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(T.Call(T.Val(2.0), T.Val(0.0)).ToHandleChecked()->IsNaN()); 305b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CHECK(T.Call(T.Val(-2.1), T.Val(0.0)).ToHandleChecked()->IsNaN()); 306b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 307b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 308