mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 03:33:20 +01:00
62ba5df396
If TBAA is on an intrinsic and it gets upgraded, it'll delete the call instruction that we collected in a vector. Even if we were to use WeakVH, it'll drop the TBAA and we'll hit the assert on the upgrade path. r263673 gave a shot to make sure the TBAA upgrade happens before intrinsics upgrade, but failed to account for all cases. Instead of collecting instructions in a vector, this patch makes it just upgrade the TBAA on the fly, because metadata are always already loaded at this point. Differential Revision: https://reviews.llvm.org/D24533 llvm-svn: 281549
84 lines
3.1 KiB
C++
84 lines
3.1 KiB
C++
//===- AutoUpgrade.h - AutoUpgrade Helpers ----------------------*- C++ -*-===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// These functions are implemented by lib/IR/AutoUpgrade.cpp.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_IR_AUTOUPGRADE_H
|
|
#define LLVM_IR_AUTOUPGRADE_H
|
|
|
|
#include "llvm/ADT/StringRef.h"
|
|
|
|
namespace llvm {
|
|
class CallInst;
|
|
class Constant;
|
|
class Function;
|
|
class Instruction;
|
|
class MDNode;
|
|
class Module;
|
|
class GlobalVariable;
|
|
class Type;
|
|
class Value;
|
|
|
|
/// This is a more granular function that simply checks an intrinsic function
|
|
/// for upgrading, and returns true if it requires upgrading. It may return
|
|
/// null in NewFn if the all calls to the original intrinsic function
|
|
/// should be transformed to non-function-call instructions.
|
|
bool UpgradeIntrinsicFunction(Function *F, Function *&NewFn);
|
|
|
|
/// This is the complement to the above, replacing a specific call to an
|
|
/// intrinsic function with a call to the specified new function.
|
|
void UpgradeIntrinsicCall(CallInst *CI, Function *NewFn);
|
|
|
|
/// This is an auto-upgrade hook for any old intrinsic function syntaxes
|
|
/// which need to have both the function updated as well as all calls updated
|
|
/// to the new function. This should only be run in a post-processing fashion
|
|
/// so that it can update all calls to the old function.
|
|
void UpgradeCallsToIntrinsic(Function* F);
|
|
|
|
/// This checks for global variables which should be upgraded. It returns true
|
|
/// if it requires upgrading.
|
|
bool UpgradeGlobalVariable(GlobalVariable *GV);
|
|
|
|
/// This checks for module flags which should be upgraded. It returns true if
|
|
/// module is modified.
|
|
bool UpgradeModuleFlags(Module &M);
|
|
|
|
/// If the given TBAA tag uses the scalar TBAA format, create a new node
|
|
/// corresponding to the upgrade to the struct-path aware TBAA format.
|
|
/// Otherwise return the \p TBAANode itself.
|
|
MDNode *UpgradeTBAANode(MDNode &TBAANode);
|
|
|
|
/// This is an auto-upgrade for bitcast between pointers with different
|
|
/// address spaces: the instruction is replaced by a pair ptrtoint+inttoptr.
|
|
Instruction *UpgradeBitCastInst(unsigned Opc, Value *V, Type *DestTy,
|
|
Instruction *&Temp);
|
|
|
|
/// This is an auto-upgrade for bitcast constant expression between pointers
|
|
/// with different address spaces: the instruction is replaced by a pair
|
|
/// ptrtoint+inttoptr.
|
|
Value *UpgradeBitCastExpr(unsigned Opc, Constant *C, Type *DestTy);
|
|
|
|
/// Check the debug info version number, if it is out-dated, drop the debug
|
|
/// info. Return true if module is modified.
|
|
bool UpgradeDebugInfo(Module &M);
|
|
|
|
/// Check whether a string looks like an old loop attachment tag.
|
|
inline bool mayBeOldLoopAttachmentTag(StringRef Name) {
|
|
return Name.startswith("llvm.vectorizer.");
|
|
}
|
|
|
|
/// Upgrade the loop attachment metadata node.
|
|
MDNode *upgradeInstructionLoopAttachment(MDNode &N);
|
|
|
|
} // End llvm namespace
|
|
|
|
#endif
|