llvm/llvm/unittests/IR/DominatorTreeBatchUpdatesTest.cpp

//===- llvm/unittests/IR/DominatorTreeBatchUpdatesTest.cpp ----------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#include "CFGBuilder.h"
#include "llvm/Analysis/PostDominators.h"
#include "llvm/IR/Dominators.h"
#include "llvm/Support/GenericDomTreeConstruction.h"
#include "gtest/gtest.h"
#include <random>

#define DEBUG_TYPE …

usingnamespacellvm;

namespace {
const auto CFGInsert = …;
const auto CFGDelete = …;

DomUpdate;
static_assert …;
DomSNCA;
PostDomSNCA;
const auto Insert = …;
const auto Delete = …;

std::vector<DomUpdate> ToDomUpdates(CFGBuilder &B,
                                    std::vector<CFGBuilder::Update> &In) { … }
}  // namespace

TEST(DominatorTreeBatchUpdates, LegalizeDomUpdates) { … }

TEST(DominatorTreeBatchUpdates, LegalizePostDomUpdates) { … }

TEST(DominatorTreeBatchUpdates, SingleInsertion) { … }

TEST(DominatorTreeBatchUpdates, SingleDeletion) { … }

TEST(DominatorTreeBatchUpdates, FewInsertion) { … }

TEST(DominatorTreeBatchUpdates, FewDeletions) { … }

TEST(DominatorTreeBatchUpdates, InsertDelete) { … }

TEST(DominatorTreeBatchUpdates, InsertDeleteExhaustive) { … }

// These are some odd flowgraphs, usually generated from csmith cases,
// which are difficult on post dom trees.
TEST(DominatorTreeBatchUpdates, InfiniteLoop) { … }

TEST(DominatorTreeBatchUpdates, DeadBlocks) { … }

TEST(DominatorTreeBatchUpdates, InfiniteLoop2) { … }