mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-11-02 22:04:55 +00:00
0b8c9a80f2
into their new header subdirectory: include/llvm/IR. This matches the directory structure of lib, and begins to correct a long standing point of file layout clutter in LLVM. There are still more header files to move here, but I wanted to handle them in separate commits to make tracking what files make sense at each layer easier. The only really questionable files here are the target intrinsic tablegen files. But that's a battle I'd rather not fight today. I've updated both CMake and Makefile build systems (I think, and my tests think, but I may have missed something). I've also re-sorted the includes throughout the project. I'll be committing updates to Clang, DragonEgg, and Polly momentarily. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@171366 91177308-0d34-0410-b5e6-96231b3b80d8
58 lines
2.4 KiB
C++
58 lines
2.4 KiB
C++
//===- Loads.h - Local load analysis --------------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file declares simple local analyses for load instructions.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_ANALYSIS_LOADS_H
|
|
#define LLVM_ANALYSIS_LOADS_H
|
|
|
|
#include "llvm/IR/BasicBlock.h"
|
|
|
|
namespace llvm {
|
|
|
|
class AliasAnalysis;
|
|
class DataLayout;
|
|
class MDNode;
|
|
|
|
/// isSafeToLoadUnconditionally - Return true if we know that executing a load
|
|
/// from this value cannot trap. If it is not obviously safe to load from the
|
|
/// specified pointer, we do a quick local scan of the basic block containing
|
|
/// ScanFrom, to determine if the address is already accessed.
|
|
bool isSafeToLoadUnconditionally(Value *V, Instruction *ScanFrom,
|
|
unsigned Align, const DataLayout *TD = 0);
|
|
|
|
/// FindAvailableLoadedValue - Scan the ScanBB block backwards (starting at
|
|
/// the instruction before ScanFrom) checking to see if we have the value at
|
|
/// the memory address *Ptr locally available within a small number of
|
|
/// instructions. If the value is available, return it.
|
|
///
|
|
/// If not, return the iterator for the last validated instruction that the
|
|
/// value would be live through. If we scanned the entire block and didn't
|
|
/// find something that invalidates *Ptr or provides it, ScanFrom would be
|
|
/// left at begin() and this returns null. ScanFrom could also be left
|
|
///
|
|
/// MaxInstsToScan specifies the maximum instructions to scan in the block.
|
|
/// If it is set to 0, it will scan the whole block. You can also optionally
|
|
/// specify an alias analysis implementation, which makes this more precise.
|
|
///
|
|
/// If TBAATag is non-null and a load or store is found, the TBAA tag from the
|
|
/// load or store is recorded there. If there is no TBAA tag or if no access
|
|
/// is found, it is left unmodified.
|
|
Value *FindAvailableLoadedValue(Value *Ptr, BasicBlock *ScanBB,
|
|
BasicBlock::iterator &ScanFrom,
|
|
unsigned MaxInstsToScan = 6,
|
|
AliasAnalysis *AA = 0,
|
|
MDNode **TBAATag = 0);
|
|
|
|
}
|
|
|
|
#endif
|