4109bac330
Currently BlockAddresses store both the Function and the BasicBlock they reference, and the BlockAddress is part of the use list of both the Function and BasicBlock. This is quite awkward, because this is not really a use of the function itself (and walks of function uses generally skip block addresses for that reason). This also has weird implications on function RAUW (as that will replace the function in block addresses in a way that generally doesn't make sense), and causes other peculiar issues, like the ability to have multiple block addresses for one block (with different functions). Instead, I believe it makes more sense to specify only the basic block and let the function be implied by the BB parent. This does mean that we may have block addresses without a function (if the BB is not inserted), but this should only happen during IR construction.
37 lines
1.1 KiB
C++
37 lines
1.1 KiB
C++
//===- Utils.h - llvm-reduce utility functions ------------------*- C++ -*-===//
|
|
//
|
|
// 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file contains some utility functions supporting llvm-reduce.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_TOOLS_LLVM_REDUCE_DELTAS_UTILS_H
|
|
#define LLVM_TOOLS_LLVM_REDUCE_DELTAS_UTILS_H
|
|
|
|
#include "llvm/Support/CommandLine.h"
|
|
|
|
namespace llvm {
|
|
class BasicBlock;
|
|
class Function;
|
|
class Type;
|
|
class Value;
|
|
|
|
extern cl::opt<bool> Verbose;
|
|
|
|
Value *getDefaultValue(Type *T);
|
|
bool hasAliasUse(Function &F);
|
|
|
|
// Constant fold terminators in \p and minimally prune unreachable code from the
|
|
// function.
|
|
void simpleSimplifyCFG(Function &F, ArrayRef<BasicBlock *> BBs,
|
|
bool FoldBlockIntoPredecessor = true);
|
|
|
|
} // namespace llvm
|
|
|
|
#endif
|