blob: ecb9ae1069104ccf2d94da2a87d3aebb87004437 [file] [log] [blame]
Charles Davis1c8bd5a2011-05-22 03:01:05 +00001//===- lib/MC/MCWin64EH.cpp - MCWin64EH implementation --------------------===//
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#include "llvm/MC/MCWin64EH.h"
Evan Cheng76792992011-07-20 05:58:47 +000011#include "llvm/ADT/Twine.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000012#include "llvm/MC/MCContext.h"
13#include "llvm/MC/MCExpr.h"
14#include "llvm/MC/MCObjectFileInfo.h"
15#include "llvm/MC/MCSectionCOFF.h"
16#include "llvm/MC/MCStreamer.h"
17#include "llvm/MC/MCSymbol.h"
Saleem Abdulrasoolab820862014-07-17 03:08:50 +000018#include "llvm/Support/Win64EH.h"
Charles Davis1c8bd5a2011-05-22 03:01:05 +000019
20namespace llvm {
21
22// NOTE: All relocations generated here are 4-byte image-relative.
23
Saleem Abdulrasoolab820862014-07-17 03:08:50 +000024static uint8_t CountOfUnwindCodes(std::vector<WinEH::Instruction> &Insns) {
Saleem Abdulrasool1e76cbd2014-07-10 04:50:09 +000025 uint8_t Count = 0;
26 for (const auto &I : Insns) {
Saleem Abdulrasoolab820862014-07-17 03:08:50 +000027 switch (static_cast<Win64EH::UnwindOpcodes>(I.Operation)) {
Charles Davis1c8bd5a2011-05-22 03:01:05 +000028 case Win64EH::UOP_PushNonVol:
29 case Win64EH::UOP_AllocSmall:
30 case Win64EH::UOP_SetFPReg:
31 case Win64EH::UOP_PushMachFrame:
Saleem Abdulrasool1e76cbd2014-07-10 04:50:09 +000032 Count += 1;
Charles Davis761313b2011-05-27 02:43:19 +000033 break;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000034 case Win64EH::UOP_SaveNonVol:
35 case Win64EH::UOP_SaveXMM128:
Saleem Abdulrasool1e76cbd2014-07-10 04:50:09 +000036 Count += 2;
Charles Davis761313b2011-05-27 02:43:19 +000037 break;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000038 case Win64EH::UOP_SaveNonVolBig:
39 case Win64EH::UOP_SaveXMM128Big:
Saleem Abdulrasool1e76cbd2014-07-10 04:50:09 +000040 Count += 3;
Charles Davis761313b2011-05-27 02:43:19 +000041 break;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000042 case Win64EH::UOP_AllocLarge:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000043 Count += (I.Offset > 512 * 1024 - 8) ? 3 : 2;
Charles Davis761313b2011-05-27 02:43:19 +000044 break;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000045 }
46 }
Saleem Abdulrasool1e76cbd2014-07-10 04:50:09 +000047 return Count;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000048}
49
Saleem Abdulrasool5705cd82014-07-13 19:03:40 +000050static void EmitAbsDifference(MCStreamer &Streamer, const MCSymbol *LHS,
51 const MCSymbol *RHS) {
52 MCContext &Context = Streamer.getContext();
53 const MCExpr *Diff =
54 MCBinaryExpr::CreateSub(MCSymbolRefExpr::Create(LHS, Context),
55 MCSymbolRefExpr::Create(RHS, Context), Context);
56 Streamer.EmitAbsValue(Diff, 1);
Charles Davis6d1c4c72011-05-27 03:25:01 +000057}
58
Saleem Abdulrasoolb3be7372014-08-03 18:51:17 +000059static void EmitUnwindCode(MCStreamer &streamer, const MCSymbol *begin,
Saleem Abdulrasoolab820862014-07-17 03:08:50 +000060 WinEH::Instruction &inst) {
Kai Nacke1b7e4862013-08-27 04:16:16 +000061 uint8_t b2;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000062 uint16_t w;
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000063 b2 = (inst.Operation & 0x0F);
Saleem Abdulrasoolab820862014-07-17 03:08:50 +000064 switch (static_cast<Win64EH::UnwindOpcodes>(inst.Operation)) {
Charles Davis1c8bd5a2011-05-22 03:01:05 +000065 case Win64EH::UOP_PushNonVol:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000066 EmitAbsDifference(streamer, inst.Label, begin);
67 b2 |= (inst.Register & 0x0F) << 4;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000068 streamer.EmitIntValue(b2, 1);
69 break;
70 case Win64EH::UOP_AllocLarge:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000071 EmitAbsDifference(streamer, inst.Label, begin);
72 if (inst.Offset > 512 * 1024 - 8) {
Charles Davisea5dc3a2011-05-27 15:10:25 +000073 b2 |= 0x10;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000074 streamer.EmitIntValue(b2, 1);
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000075 w = inst.Offset & 0xFFF8;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000076 streamer.EmitIntValue(w, 2);
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000077 w = inst.Offset >> 16;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000078 } else {
79 streamer.EmitIntValue(b2, 1);
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000080 w = inst.Offset >> 3;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000081 }
82 streamer.EmitIntValue(w, 2);
83 break;
84 case Win64EH::UOP_AllocSmall:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000085 b2 |= (((inst.Offset - 8) >> 3) & 0x0F) << 4;
86 EmitAbsDifference(streamer, inst.Label, begin);
Charles Davis1c8bd5a2011-05-22 03:01:05 +000087 streamer.EmitIntValue(b2, 1);
88 break;
89 case Win64EH::UOP_SetFPReg:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000090 EmitAbsDifference(streamer, inst.Label, begin);
Charles Davis1c8bd5a2011-05-22 03:01:05 +000091 streamer.EmitIntValue(b2, 1);
92 break;
93 case Win64EH::UOP_SaveNonVol:
94 case Win64EH::UOP_SaveXMM128:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000095 b2 |= (inst.Register & 0x0F) << 4;
96 EmitAbsDifference(streamer, inst.Label, begin);
Charles Davis1c8bd5a2011-05-22 03:01:05 +000097 streamer.EmitIntValue(b2, 1);
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000098 w = inst.Offset >> 3;
99 if (inst.Operation == Win64EH::UOP_SaveXMM128)
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000100 w >>= 1;
101 streamer.EmitIntValue(w, 2);
102 break;
103 case Win64EH::UOP_SaveNonVolBig:
104 case Win64EH::UOP_SaveXMM128Big:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +0000105 b2 |= (inst.Register & 0x0F) << 4;
106 EmitAbsDifference(streamer, inst.Label, begin);
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000107 streamer.EmitIntValue(b2, 1);
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +0000108 if (inst.Operation == Win64EH::UOP_SaveXMM128Big)
109 w = inst.Offset & 0xFFF0;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000110 else
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +0000111 w = inst.Offset & 0xFFF8;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000112 streamer.EmitIntValue(w, 2);
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +0000113 w = inst.Offset >> 16;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000114 streamer.EmitIntValue(w, 2);
115 break;
116 case Win64EH::UOP_PushMachFrame:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +0000117 if (inst.Offset == 1)
Charles Davisea5dc3a2011-05-27 15:10:25 +0000118 b2 |= 0x10;
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +0000119 EmitAbsDifference(streamer, inst.Label, begin);
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000120 streamer.EmitIntValue(b2, 1);
121 break;
122 }
123}
124
Kai Nacke74adc8a2013-09-15 17:46:46 +0000125static void EmitSymbolRefWithOfs(MCStreamer &streamer,
126 const MCSymbol *Base,
127 const MCSymbol *Other) {
128 MCContext &Context = streamer.getContext();
129 const MCSymbolRefExpr *BaseRef = MCSymbolRefExpr::Create(Base, Context);
130 const MCSymbolRefExpr *OtherRef = MCSymbolRefExpr::Create(Other, Context);
131 const MCExpr *Ofs = MCBinaryExpr::CreateSub(OtherRef, BaseRef, Context);
132 const MCSymbolRefExpr *BaseRefRel = MCSymbolRefExpr::Create(Base,
133 MCSymbolRefExpr::VK_COFF_IMGREL32,
134 Context);
135 streamer.EmitValue(MCBinaryExpr::CreateAdd(BaseRefRel, Ofs, Context), 4);
136}
137
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000138static void EmitRuntimeFunction(MCStreamer &streamer,
Saleem Abdulrasoolb3be7372014-08-03 18:51:17 +0000139 const WinEH::FrameInfo *info) {
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000140 MCContext &context = streamer.getContext();
141
Charles Davis761313b2011-05-27 02:43:19 +0000142 streamer.EmitValueToAlignment(4);
Kai Nacke74adc8a2013-09-15 17:46:46 +0000143 EmitSymbolRefWithOfs(streamer, info->Function, info->Begin);
144 EmitSymbolRefWithOfs(streamer, info->Function, info->End);
145 streamer.EmitValue(MCSymbolRefExpr::Create(info->Symbol,
146 MCSymbolRefExpr::VK_COFF_IMGREL32,
147 context), 4);
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000148}
149
Saleem Abdulrasoolb3be7372014-08-03 18:51:17 +0000150static void EmitUnwindInfo(MCStreamer &streamer, WinEH::FrameInfo *info) {
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000151 // If this UNWIND_INFO already has a symbol, it's already been emitted.
Saleem Abdulrasoolb3be7372014-08-03 18:51:17 +0000152 if (info->Symbol)
153 return;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000154
155 MCContext &context = streamer.getContext();
Saleem Abdulrasoolb3be7372014-08-03 18:51:17 +0000156 MCSymbol *Label = context.CreateTempSymbol();
157
Charles Davis761313b2011-05-27 02:43:19 +0000158 streamer.EmitValueToAlignment(4);
Saleem Abdulrasoolb3be7372014-08-03 18:51:17 +0000159 streamer.EmitLabel(Label);
160 info->Symbol = Label;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000161
Kai Nacke8539b462013-09-15 18:01:09 +0000162 // Upper 3 bits are the version number (currently 1).
163 uint8_t flags = 0x01;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000164 if (info->ChainedParent)
Charles Davisea5dc3a2011-05-27 15:10:25 +0000165 flags |= Win64EH::UNW_ChainInfo << 3;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000166 else {
167 if (info->HandlesUnwind)
Charles Davisea5dc3a2011-05-27 15:10:25 +0000168 flags |= Win64EH::UNW_TerminateHandler << 3;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000169 if (info->HandlesExceptions)
Charles Davisea5dc3a2011-05-27 15:10:25 +0000170 flags |= Win64EH::UNW_ExceptionHandler << 3;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000171 }
172 streamer.EmitIntValue(flags, 1);
173
Charles Davisea5dc3a2011-05-27 15:10:25 +0000174 if (info->PrologEnd)
175 EmitAbsDifference(streamer, info->PrologEnd, info->Begin);
176 else
177 streamer.EmitIntValue(0, 1);
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000178
179 uint8_t numCodes = CountOfUnwindCodes(info->Instructions);
180 streamer.EmitIntValue(numCodes, 1);
181
182 uint8_t frame = 0;
183 if (info->LastFrameInst >= 0) {
Saleem Abdulrasoolab820862014-07-17 03:08:50 +0000184 WinEH::Instruction &frameInst = info->Instructions[info->LastFrameInst];
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +0000185 assert(frameInst.Operation == Win64EH::UOP_SetFPReg);
186 frame = (frameInst.Register & 0x0F) | (frameInst.Offset & 0xF0);
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000187 }
188 streamer.EmitIntValue(frame, 1);
189
190 // Emit unwind instructions (in reverse order).
191 uint8_t numInst = info->Instructions.size();
192 for (uint8_t c = 0; c < numInst; ++c) {
Saleem Abdulrasoolab820862014-07-17 03:08:50 +0000193 WinEH::Instruction inst = info->Instructions.back();
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000194 info->Instructions.pop_back();
Charles Davis6d1c4c72011-05-27 03:25:01 +0000195 EmitUnwindCode(streamer, info->Begin, inst);
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000196 }
197
Kai Nacke8539b462013-09-15 18:01:09 +0000198 // For alignment purposes, the instruction array will always have an even
199 // number of entries, with the final entry potentially unused (in which case
200 // the array will be one longer than indicated by the count of unwind codes
201 // field).
202 if (numCodes & 1) {
203 streamer.EmitIntValue(0, 2);
204 }
205
Charles Davisea5dc3a2011-05-27 15:10:25 +0000206 if (flags & (Win64EH::UNW_ChainInfo << 3))
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000207 EmitRuntimeFunction(streamer, info->ChainedParent);
Charles Davisea5dc3a2011-05-27 15:10:25 +0000208 else if (flags &
209 ((Win64EH::UNW_TerminateHandler|Win64EH::UNW_ExceptionHandler) << 3))
Kai Nacke74adc8a2013-09-15 17:46:46 +0000210 streamer.EmitValue(MCSymbolRefExpr::Create(info->ExceptionHandler,
211 MCSymbolRefExpr::VK_COFF_IMGREL32,
212 context), 4);
Kai Nacke8539b462013-09-15 18:01:09 +0000213 else if (numCodes == 0) {
Charles Davisea5dc3a2011-05-27 15:10:25 +0000214 // The minimum size of an UNWIND_INFO struct is 8 bytes. If we're not
215 // a chained unwind info, if there is no handler, and if there are fewer
216 // than 2 slots used in the unwind code array, we have to pad to 8 bytes.
Kai Nacke8539b462013-09-15 18:01:09 +0000217 streamer.EmitIntValue(0, 4);
Charles Davisea5dc3a2011-05-27 15:10:25 +0000218 }
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000219}
220
Saleem Abdulrasool64a8cc72014-08-07 02:59:41 +0000221namespace Win64EH {
222void UnwindEmitter::Emit(MCStreamer &Streamer) const {
Saleem Abdulrasool427c08d2014-07-10 04:50:06 +0000223 MCContext &Context = Streamer.getContext();
224
Charles Davisbc2daa02011-05-22 04:15:07 +0000225 // Emit the unwind info structs first.
Saleem Abdulrasool3f3cefd2014-07-13 19:03:36 +0000226 for (const auto &CFI : Streamer.getWinFrameInfos()) {
Saleem Abdulrasool427c08d2014-07-10 04:50:06 +0000227 const MCSection *XData =
Saleem Abdulrasool64a8cc72014-08-07 02:59:41 +0000228 GetXDataSection(GetSectionSuffix(CFI->Function), Context);
Saleem Abdulrasool427c08d2014-07-10 04:50:06 +0000229 Streamer.SwitchSection(XData);
230 EmitUnwindInfo(Streamer, CFI);
Charles Davis03eef622011-05-27 19:09:24 +0000231 }
Saleem Abdulrasool427c08d2014-07-10 04:50:06 +0000232
Charles Davisbc2daa02011-05-22 04:15:07 +0000233 // Now emit RUNTIME_FUNCTION entries.
Saleem Abdulrasool3f3cefd2014-07-13 19:03:36 +0000234 for (const auto &CFI : Streamer.getWinFrameInfos()) {
Saleem Abdulrasool427c08d2014-07-10 04:50:06 +0000235 const MCSection *PData =
Saleem Abdulrasool64a8cc72014-08-07 02:59:41 +0000236 GetPDataSection(GetSectionSuffix(CFI->Function), Context);
Saleem Abdulrasool427c08d2014-07-10 04:50:06 +0000237 Streamer.SwitchSection(PData);
238 EmitRuntimeFunction(Streamer, CFI);
Charles Davis03eef622011-05-27 19:09:24 +0000239 }
Charles Davisbc2daa02011-05-22 04:15:07 +0000240}
241
Saleem Abdulrasool64a8cc72014-08-07 02:59:41 +0000242void UnwindEmitter::EmitUnwindInfo(MCStreamer &Streamer,
243 WinEH::FrameInfo *info) const {
244 // Switch sections (the static function above is meant to be called from
245 // here and from Emit().
246 MCContext &context = Streamer.getContext();
247 const MCSection *xdataSect =
248 GetXDataSection(GetSectionSuffix(info->Function), context);
249 Streamer.SwitchSection(xdataSect);
250
251 llvm::EmitUnwindInfo(Streamer, info);
252}
253}
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000254} // End of namespace llvm
255