Eugene Zelenko | 149178d | 2017-10-10 22:33:29 +0000 | [diff] [blame] | 1 | //===- SafeStackLayout.h - SafeStack frame layout --------------*- C++ -*--===// |
Evgeniy Stepanov | a5da256 | 2016-06-29 20:37:43 +0000 | [diff] [blame] | 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 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 |
Evgeniy Stepanov | a5da256 | 2016-06-29 20:37:43 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
| 9 | #ifndef LLVM_LIB_CODEGEN_SAFESTACKLAYOUT_H |
| 10 | #define LLVM_LIB_CODEGEN_SAFESTACKLAYOUT_H |
| 11 | |
| 12 | #include "SafeStackColoring.h" |
Eugene Zelenko | 149178d | 2017-10-10 22:33:29 +0000 | [diff] [blame] | 13 | #include "llvm/ADT/DenseMap.h" |
| 14 | #include "llvm/ADT/SmallVector.h" |
Evgeniy Stepanov | a5da256 | 2016-06-29 20:37:43 +0000 | [diff] [blame] | 15 | |
| 16 | namespace llvm { |
Eugene Zelenko | 149178d | 2017-10-10 22:33:29 +0000 | [diff] [blame] | 17 | |
| 18 | class raw_ostream; |
| 19 | class Value; |
| 20 | |
Evgeniy Stepanov | a5da256 | 2016-06-29 20:37:43 +0000 | [diff] [blame] | 21 | namespace safestack { |
| 22 | |
| 23 | /// Compute the layout of an unsafe stack frame. |
| 24 | class StackLayout { |
| 25 | unsigned MaxAlignment; |
| 26 | |
| 27 | struct StackRegion { |
| 28 | unsigned Start; |
| 29 | unsigned End; |
| 30 | StackColoring::LiveRange Range; |
Eugene Zelenko | 149178d | 2017-10-10 22:33:29 +0000 | [diff] [blame] | 31 | |
Evgeniy Stepanov | a5da256 | 2016-06-29 20:37:43 +0000 | [diff] [blame] | 32 | StackRegion(unsigned Start, unsigned End, |
| 33 | const StackColoring::LiveRange &Range) |
| 34 | : Start(Start), End(End), Range(Range) {} |
| 35 | }; |
Eugene Zelenko | 149178d | 2017-10-10 22:33:29 +0000 | [diff] [blame] | 36 | |
Evgeniy Stepanov | a5da256 | 2016-06-29 20:37:43 +0000 | [diff] [blame] | 37 | /// The list of current stack regions, sorted by StackRegion::Start. |
| 38 | SmallVector<StackRegion, 16> Regions; |
| 39 | |
| 40 | struct StackObject { |
| 41 | const Value *Handle; |
| 42 | unsigned Size, Alignment; |
| 43 | StackColoring::LiveRange Range; |
| 44 | }; |
Eugene Zelenko | 149178d | 2017-10-10 22:33:29 +0000 | [diff] [blame] | 45 | |
Evgeniy Stepanov | a5da256 | 2016-06-29 20:37:43 +0000 | [diff] [blame] | 46 | SmallVector<StackObject, 8> StackObjects; |
| 47 | |
| 48 | DenseMap<const Value *, unsigned> ObjectOffsets; |
Daniel Neilson | 095d729 | 2018-02-12 22:39:47 +0000 | [diff] [blame] | 49 | DenseMap<const Value *, unsigned> ObjectAlignments; |
Evgeniy Stepanov | a5da256 | 2016-06-29 20:37:43 +0000 | [diff] [blame] | 50 | |
| 51 | void layoutObject(StackObject &Obj); |
| 52 | |
| 53 | public: |
| 54 | StackLayout(unsigned StackAlignment) : MaxAlignment(StackAlignment) {} |
Eugene Zelenko | 149178d | 2017-10-10 22:33:29 +0000 | [diff] [blame] | 55 | |
Evgeniy Stepanov | a5da256 | 2016-06-29 20:37:43 +0000 | [diff] [blame] | 56 | /// Add an object to the stack frame. Value pointer is opaque and used as a |
| 57 | /// handle to retrieve the object's offset in the frame later. |
| 58 | void addObject(const Value *V, unsigned Size, unsigned Alignment, |
| 59 | const StackColoring::LiveRange &Range); |
| 60 | |
| 61 | /// Run the layout computation for all previously added objects. |
| 62 | void computeLayout(); |
| 63 | |
| 64 | /// Returns the offset to the object start in the stack frame. |
| 65 | unsigned getObjectOffset(const Value *V) { return ObjectOffsets[V]; } |
| 66 | |
Daniel Neilson | 095d729 | 2018-02-12 22:39:47 +0000 | [diff] [blame] | 67 | /// Returns the alignment of the object |
| 68 | unsigned getObjectAlignment(const Value *V) { return ObjectAlignments[V]; } |
| 69 | |
Evgeniy Stepanov | a5da256 | 2016-06-29 20:37:43 +0000 | [diff] [blame] | 70 | /// Returns the size of the entire frame. |
| 71 | unsigned getFrameSize() { return Regions.empty() ? 0 : Regions.back().End; } |
| 72 | |
| 73 | /// Returns the alignment of the frame. |
| 74 | unsigned getFrameAlignment() { return MaxAlignment; } |
Eugene Zelenko | 149178d | 2017-10-10 22:33:29 +0000 | [diff] [blame] | 75 | |
Evgeniy Stepanov | a5da256 | 2016-06-29 20:37:43 +0000 | [diff] [blame] | 76 | void print(raw_ostream &OS); |
| 77 | }; |
| 78 | |
Eugene Zelenko | 149178d | 2017-10-10 22:33:29 +0000 | [diff] [blame] | 79 | } // end namespace safestack |
| 80 | |
| 81 | } // end namespace llvm |
Evgeniy Stepanov | a5da256 | 2016-06-29 20:37:43 +0000 | [diff] [blame] | 82 | |
| 83 | #endif // LLVM_LIB_CODEGEN_SAFESTACKLAYOUT_H |