v8/test/cctest/compiler/test-run-unwinding-info.cc
Camillo Bruni e3e8ea5d65 [flags] Rename --opt to --turbofan
To be consistent with the all the other tiers and avoid confusion, we
rename --opt to ---turbofan, and --always-opt to --always-turbofan.

Change-Id: Ie23dc8282b3fb4cf2fbf73b6c3d5264de5d09718
Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3610431
Reviewed-by: Leszek Swirski <leszeks@chromium.org>
Commit-Queue: Camillo Bruni <cbruni@chromium.org>
Reviewed-by: Jakob Linke <jgruber@chromium.org>
Cr-Commit-Position: refs/heads/main@{#80336}
2022-05-03 12:10:30 +00:00

63 lines
1.9 KiB
C++

// Copyright 2016 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
// Test enabled only on supported architectures.
#if V8_OS_LINUX && \
(defined(V8_TARGET_ARCH_X64) || defined(V8_TARGET_ARCH_ARM) || \
defined(V8_TARGET_ARCH_ARM64))
#include "src/flags/flags.h"
#include "src/objects/objects-inl.h"
#include "src/objects/objects.h"
#include "test/cctest/compiler/function-tester.h"
namespace v8 {
namespace internal {
namespace compiler {
TEST(RunUnwindingInfo) {
FLAG_always_turbofan = true;
FLAG_perf_prof_unwinding_info = true;
FunctionTester tester(
"(function (x) {\n"
" function f(x) { return x*x; }\n"
" return x > 0 ? x+1 : f(x);\n"
"})");
tester.Call(tester.Val(-1));
CHECK(tester.function->code().has_unwinding_info());
}
// TODO(ssanfilippo) Build low-level graph and check that state is correctly
// restored in the following situation:
//
// +-----------------+
// | no frame |---+
// check that a +-----------------+ |
// a noframe state | construct frame |<--+
// is restored here --> +-----------------+ |
// | construct frame |<--+
// +-----------------+
//
// Same for <construct>/<destruct>/<destruct> (a <construct> status is restored)
// TODO(ssanfilippo) Intentionally reach a BB with different initial states
// and check that the UnwindingInforWriter fails in debug mode:
//
// +----------------+
// +---| State A |
// | +----------------+
// | | State B != A |---+
// | +----------------+ |
// +-->| Failure here |<--+
// +----------------+
} // namespace compiler
} // namespace internal
} // namespace v8
#endif