← Back to branch summary

~ubuntu-branches/ubuntu/quantal/llvm-3.1/quantal

« back to all changes in this revision

Viewing changes to include/llvm/Analysis/Loads.h

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2012-03-29 19:09:51 UTC
  • Revision ID: package-import@ubuntu.com-20120329190951-aq83ivog4cg8bxun
Tags: upstream-3.1~svn153643
Import upstream version 3.1~svn153643

Show diffs side-by-side

added added

removed removed

Lines of Context:
include/llvm/Analysis/Loads.h
 
1
//===- Loads.h - Local load analysis --------------------------------------===//
 
2
//
 
3
//                     The LLVM Compiler Infrastructure
 
4
//
 
5
// This file is distributed under the University of Illinois Open Source
 
6
// License. See LICENSE.TXT for details.
 
7
//
 
8
//===----------------------------------------------------------------------===//
 
9
//
 
10
// This file declares simple local analyses for load instructions.
 
11
//
 
12
//===----------------------------------------------------------------------===//
 
13
 
 
14
#ifndef LLVM_ANALYSIS_LOADS_H
 
15
#define LLVM_ANALYSIS_LOADS_H
 
16
 
 
17
#include "llvm/BasicBlock.h"
 
18
 
 
19
namespace llvm {
 
20
 
 
21
class AliasAnalysis;
 
22
class TargetData;
 
23
class MDNode;
 
24
 
 
25
/// isSafeToLoadUnconditionally - Return true if we know that executing a load
 
26
/// from this value cannot trap.  If it is not obviously safe to load from the
 
27
/// specified pointer, we do a quick local scan of the basic block containing
 
28
/// ScanFrom, to determine if the address is already accessed.
 
29
bool isSafeToLoadUnconditionally(Value *V, Instruction *ScanFrom,
 
30
                                 unsigned Align, const TargetData *TD = 0);
 
31
 
 
32
/// FindAvailableLoadedValue - Scan the ScanBB block backwards (starting at
 
33
/// the instruction before ScanFrom) checking to see if we have the value at
 
34
/// the memory address *Ptr locally available within a small number of
 
35
///  instructions. If the value is available, return it.
 
36
///
 
37
/// If not, return the iterator for the last validated instruction that the 
 
38
/// value would be live through.  If we scanned the entire block and didn't
 
39
/// find something that invalidates *Ptr or provides it, ScanFrom would be
 
40
/// left at begin() and this returns null.  ScanFrom could also be left 
 
41
///
 
42
/// MaxInstsToScan specifies the maximum instructions to scan in the block.
 
43
/// If it is set to 0, it will scan the whole block. You can also optionally
 
44
/// specify an alias analysis implementation, which makes this more precise.
 
45
///
 
46
/// If TBAATag is non-null and a load or store is found, the TBAA tag from the
 
47
/// load or store is recorded there.  If there is no TBAA tag or if no access
 
48
/// is found, it is left unmodified.
 
49
Value *FindAvailableLoadedValue(Value *Ptr, BasicBlock *ScanBB,
 
50
                                BasicBlock::iterator &ScanFrom,
 
51
                                unsigned MaxInstsToScan = 6,
 
52
                                AliasAnalysis *AA = 0,
 
53
                                MDNode **TBAATag = 0);
 
54
 
 
55
}
 
56
 
 
57
#endif