LLVM  10.0.0svn
PromoteMemToReg.h
Go to the documentation of this file.
1 //===- PromoteMemToReg.h - Promote Allocas to Scalars -----------*- C++ -*-===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 //
9 // This file exposes an interface to promote alloca instructions to SSA
10 // registers, by using the SSA construction algorithm.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLVM_TRANSFORMS_UTILS_PROMOTEMEMTOREG_H
15 #define LLVM_TRANSFORMS_UTILS_PROMOTEMEMTOREG_H
16 
17 namespace llvm {
18 
19 template <typename T> class ArrayRef;
20 class AllocaInst;
21 class DominatorTree;
22 class AliasSetTracker;
23 class AssumptionCache;
24 
25 /// Return true if this alloca is legal for promotion.
26 ///
27 /// This is true if there are only loads, stores, and lifetime markers
28 /// (transitively) using this alloca. This also enforces that there is only
29 /// ever one layer of bitcasts or GEPs between the alloca and the lifetime
30 /// markers.
31 bool isAllocaPromotable(const AllocaInst *AI);
32 
33 /// Promote the specified list of alloca instructions into scalar
34 /// registers, inserting PHI nodes as appropriate.
35 ///
36 /// This function makes use of DominanceFrontier information. This function
37 /// does not modify the CFG of the function at all. All allocas must be from
38 /// the same function.
39 ///
40 void PromoteMemToReg(ArrayRef<AllocaInst *> Allocas, DominatorTree &DT,
41  AssumptionCache *AC = nullptr);
42 
43 } // End llvm namespace
44 
45 #endif
This class represents lattice values for constants.
Definition: AllocatorList.h:23
bool isAllocaPromotable(const AllocaInst *AI)
Return true if this alloca is legal for promotion.
void PromoteMemToReg(ArrayRef< AllocaInst *> Allocas, DominatorTree &DT, AssumptionCache *AC=nullptr)
Promote the specified list of alloca instructions into scalar registers, inserting PHI nodes as appro...