turboshaft-test-branch-combine.cc | Explore in Territory

// Copyright 2024 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.

#include "src/base/overflowing-math.h"
#include "src/objects/objects-inl.h"
#include "test/cctest/cctest.h"
#include "test/cctest/compiler/turboshaft-codegen-tester.h"
#include "test/common/value-helper.h"

namespace v8::internal::compiler::turboshaft {

static TurboshaftComparison int32cmp_opcodes[] = …;

TEST(BranchCombineWord32EqualZero_1) { … }

TEST(BranchCombineWord32EqualZero_chain) { … }

TEST(BranchCombineInt32LessThanZero_1) { … }

TEST(BranchCombineUint32LessThan100_1) { … }

TEST(BranchCombineUint32LessThanOrEqual100_1) { … }

TEST(BranchCombineZeroLessThanInt32_1) { … }

TEST(BranchCombineInt32GreaterThanZero_1) { … }

TEST(BranchCombineWord32EqualP) { … }

TEST(BranchCombineWord32EqualI) { … }

TEST(BranchCombineInt32CmpP) { … }

TEST(BranchCombineInt32CmpI) { … }

// Now come the sophisticated tests for many input shape combinations.

// Materializes a boolean (1 or 0) from a comparison.
class CmpMaterializeBoolGen : public BinopGen<int32_t> { … };

// Generates a branch and return one of two values from a comparison.
class CmpBranchGen : public BinopGen<int32_t> { … };

TEST(BranchCombineInt32CmpAllInputShapes_materialized) { … }

TEST(BranchCombineInt32CmpAllInputShapes_inverted_materialized) { … }

TEST(BranchCombineInt32CmpAllInputShapes_branch_true) { … }

TEST(BranchCombineInt32CmpAllInputShapes_branch_false) { … }

TEST(BranchCombineInt32CmpAllInputShapes_inverse_branch_true) { … }

TEST(BranchCombineInt32CmpAllInputShapes_inverse_branch_false) { … }

TEST(BranchCombineFloat64Compares) { … }

TEST(BranchCombineEffectLevel) { … }

TEST(BranchCombineWord32AddLessThanZero) { … }

TEST(BranchCombineWord32AddGreaterThanOrEqualZero) { … }

TEST(BranchCombineInt32ZeroGreaterThanAdd) { … }

TEST(BranchCombineInt32ZeroLessThanOrEqualAdd) { … }

TEST(BranchCombineUWord32AddLessThanOrEqualZero) { … }

TEST(BranchCombineUWord32AddGreaterThanZero) { … }

TEST(BranchCombineUint32ZeroGreaterThanOrEqualAdd) { … }

TEST(BranchCombineUint32ZeroLessThanAdd) { … }

TEST(BranchCombineWord32BitwiseAndLessThanZero) { … }

TEST(BranchCombineWord32BitwiseAndGreaterThanOrEqualZero) { … }

TEST(BranchCombineInt32ZeroGreaterThanAnd) { … }

TEST(BranchCombineInt32ZeroLessThanOrEqualAnd) { … }

TEST(BranchCombineUint32AndLessThanOrEqualZero) { … }

TEST(BranchCombineUint32AndGreaterThanZero) { … }

TEST(BranchCombineUint32ZeroGreaterThanOrEqualAnd) { … }

TEST(BranchCombineUint32ZeroLessThanAnd) { … }

}  // namespace v8::internal::compiler::turboshaft
chromium/v8/test/cctest/compiler/turboshaft-test-branch-combine.cc
