• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===- GlobalStatus.h - Compute status info for globals ---------*- C++ -*-===//
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 #ifndef LLVM_TRANSFORMS_UTILS_GLOBALSTATUS_H
11 #define LLVM_TRANSFORMS_UTILS_GLOBALSTATUS_H
12 
13 #include "llvm/IR/Instructions.h"
14 
15 namespace llvm {
16 class Value;
17 class Function;
18 
19 /// It is safe to destroy a constant iff it is only used by constants itself.
20 /// Note that constants cannot be cyclic, so this test is pretty easy to
21 /// implement recursively.
22 ///
23 bool isSafeToDestroyConstant(const Constant *C);
24 
25 /// As we analyze each global, keep track of some information about it.  If we
26 /// find out that the address of the global is taken, none of this info will be
27 /// accurate.
28 struct GlobalStatus {
29   /// True if the global's address is used in a comparison.
30   bool IsCompared;
31 
32   /// True if the global is ever loaded.  If the global isn't ever loaded it
33   /// can be deleted.
34   bool IsLoaded;
35 
36   /// Keep track of what stores to the global look like.
37   enum StoredType {
38     /// There is no store to this global.  It can thus be marked constant.
39     NotStored,
40 
41     /// This global is stored to, but the only thing stored is the constant it
42     /// was initialized with. This is only tracked for scalar globals.
43     InitializerStored,
44 
45     /// This global is stored to, but only its initializer and one other value
46     /// is ever stored to it.  If this global isStoredOnce, we track the value
47     /// stored to it in StoredOnceValue below.  This is only tracked for scalar
48     /// globals.
49     StoredOnce,
50 
51     /// This global is stored to by multiple values or something else that we
52     /// cannot track.
53     Stored
54   } StoredType;
55 
56   /// If only one value (besides the initializer constant) is ever stored to
57   /// this global, keep track of what value it is.
58   Value *StoredOnceValue;
59 
60   /// These start out null/false.  When the first accessing function is noticed,
61   /// it is recorded. When a second different accessing function is noticed,
62   /// HasMultipleAccessingFunctions is set to true.
63   const Function *AccessingFunction;
64   bool HasMultipleAccessingFunctions;
65 
66   /// Set to true if this global has a user that is not an instruction (e.g. a
67   /// constant expr or GV initializer).
68   bool HasNonInstructionUser;
69 
70   /// Set to the strongest atomic ordering requirement.
71   AtomicOrdering Ordering;
72 
73   /// Look at all uses of the global and fill in the GlobalStatus structure.  If
74   /// the global has its address taken, return true to indicate we can't do
75   /// anything with it.
76   static bool analyzeGlobal(const Value *V, GlobalStatus &GS);
77 
78   GlobalStatus();
79 };
80 }
81 
82 #endif
83