blob: 1407f25e6f2a1bd94faefe0a08c461b7c8b9bcf2 [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"
Chandler Carruthed0881b2012-12-03 16:50:05 +000014#include "llvm/MC/MCStreamer.h"
15#include "llvm/MC/MCSymbol.h"
Saleem Abdulrasoolab820862014-07-17 03:08:50 +000016#include "llvm/Support/Win64EH.h"
Charles Davis1c8bd5a2011-05-22 03:01:05 +000017
Reid Kleckner97837b72016-05-02 23:22:18 +000018using namespace llvm;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000019
20// NOTE: All relocations generated here are 4-byte image-relative.
21
Saleem Abdulrasoolab820862014-07-17 03:08:50 +000022static uint8_t CountOfUnwindCodes(std::vector<WinEH::Instruction> &Insns) {
Saleem Abdulrasool1e76cbd2014-07-10 04:50:09 +000023 uint8_t Count = 0;
24 for (const auto &I : Insns) {
Saleem Abdulrasoolab820862014-07-17 03:08:50 +000025 switch (static_cast<Win64EH::UnwindOpcodes>(I.Operation)) {
Charles Davis1c8bd5a2011-05-22 03:01:05 +000026 case Win64EH::UOP_PushNonVol:
27 case Win64EH::UOP_AllocSmall:
28 case Win64EH::UOP_SetFPReg:
29 case Win64EH::UOP_PushMachFrame:
Saleem Abdulrasool1e76cbd2014-07-10 04:50:09 +000030 Count += 1;
Charles Davis761313b2011-05-27 02:43:19 +000031 break;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000032 case Win64EH::UOP_SaveNonVol:
33 case Win64EH::UOP_SaveXMM128:
Saleem Abdulrasool1e76cbd2014-07-10 04:50:09 +000034 Count += 2;
Charles Davis761313b2011-05-27 02:43:19 +000035 break;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000036 case Win64EH::UOP_SaveNonVolBig:
37 case Win64EH::UOP_SaveXMM128Big:
Saleem Abdulrasool1e76cbd2014-07-10 04:50:09 +000038 Count += 3;
Charles Davis761313b2011-05-27 02:43:19 +000039 break;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000040 case Win64EH::UOP_AllocLarge:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000041 Count += (I.Offset > 512 * 1024 - 8) ? 3 : 2;
Charles Davis761313b2011-05-27 02:43:19 +000042 break;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000043 }
44 }
Saleem Abdulrasool1e76cbd2014-07-10 04:50:09 +000045 return Count;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000046}
47
Saleem Abdulrasool5705cd82014-07-13 19:03:40 +000048static void EmitAbsDifference(MCStreamer &Streamer, const MCSymbol *LHS,
49 const MCSymbol *RHS) {
50 MCContext &Context = Streamer.getContext();
51 const MCExpr *Diff =
Jim Grosbach13760bd2015-05-30 01:25:56 +000052 MCBinaryExpr::createSub(MCSymbolRefExpr::create(LHS, Context),
53 MCSymbolRefExpr::create(RHS, Context), Context);
Rafael Espindola91f66212014-08-15 02:51:31 +000054 Streamer.EmitValue(Diff, 1);
Charles Davis6d1c4c72011-05-27 03:25:01 +000055}
56
Saleem Abdulrasoolb3be7372014-08-03 18:51:17 +000057static void EmitUnwindCode(MCStreamer &streamer, const MCSymbol *begin,
Saleem Abdulrasoolab820862014-07-17 03:08:50 +000058 WinEH::Instruction &inst) {
Kai Nacke1b7e4862013-08-27 04:16:16 +000059 uint8_t b2;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000060 uint16_t w;
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000061 b2 = (inst.Operation & 0x0F);
Saleem Abdulrasoolab820862014-07-17 03:08:50 +000062 switch (static_cast<Win64EH::UnwindOpcodes>(inst.Operation)) {
Charles Davis1c8bd5a2011-05-22 03:01:05 +000063 case Win64EH::UOP_PushNonVol:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000064 EmitAbsDifference(streamer, inst.Label, begin);
65 b2 |= (inst.Register & 0x0F) << 4;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000066 streamer.EmitIntValue(b2, 1);
67 break;
68 case Win64EH::UOP_AllocLarge:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000069 EmitAbsDifference(streamer, inst.Label, begin);
70 if (inst.Offset > 512 * 1024 - 8) {
Charles Davisea5dc3a2011-05-27 15:10:25 +000071 b2 |= 0x10;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000072 streamer.EmitIntValue(b2, 1);
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000073 w = inst.Offset & 0xFFF8;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000074 streamer.EmitIntValue(w, 2);
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000075 w = inst.Offset >> 16;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000076 } else {
77 streamer.EmitIntValue(b2, 1);
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000078 w = inst.Offset >> 3;
Charles Davis1c8bd5a2011-05-22 03:01:05 +000079 }
80 streamer.EmitIntValue(w, 2);
81 break;
82 case Win64EH::UOP_AllocSmall:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000083 b2 |= (((inst.Offset - 8) >> 3) & 0x0F) << 4;
84 EmitAbsDifference(streamer, inst.Label, begin);
Charles Davis1c8bd5a2011-05-22 03:01:05 +000085 streamer.EmitIntValue(b2, 1);
86 break;
87 case Win64EH::UOP_SetFPReg:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000088 EmitAbsDifference(streamer, inst.Label, begin);
Charles Davis1c8bd5a2011-05-22 03:01:05 +000089 streamer.EmitIntValue(b2, 1);
90 break;
91 case Win64EH::UOP_SaveNonVol:
92 case Win64EH::UOP_SaveXMM128:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000093 b2 |= (inst.Register & 0x0F) << 4;
94 EmitAbsDifference(streamer, inst.Label, begin);
Charles Davis1c8bd5a2011-05-22 03:01:05 +000095 streamer.EmitIntValue(b2, 1);
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +000096 w = inst.Offset >> 3;
97 if (inst.Operation == Win64EH::UOP_SaveXMM128)
Charles Davis1c8bd5a2011-05-22 03:01:05 +000098 w >>= 1;
99 streamer.EmitIntValue(w, 2);
100 break;
101 case Win64EH::UOP_SaveNonVolBig:
102 case Win64EH::UOP_SaveXMM128Big:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +0000103 b2 |= (inst.Register & 0x0F) << 4;
104 EmitAbsDifference(streamer, inst.Label, begin);
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000105 streamer.EmitIntValue(b2, 1);
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +0000106 if (inst.Operation == Win64EH::UOP_SaveXMM128Big)
107 w = inst.Offset & 0xFFF0;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000108 else
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +0000109 w = inst.Offset & 0xFFF8;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000110 streamer.EmitIntValue(w, 2);
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +0000111 w = inst.Offset >> 16;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000112 streamer.EmitIntValue(w, 2);
113 break;
114 case Win64EH::UOP_PushMachFrame:
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +0000115 if (inst.Offset == 1)
Charles Davisea5dc3a2011-05-27 15:10:25 +0000116 b2 |= 0x10;
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +0000117 EmitAbsDifference(streamer, inst.Label, begin);
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000118 streamer.EmitIntValue(b2, 1);
119 break;
120 }
121}
122
Kai Nacke74adc8a2013-09-15 17:46:46 +0000123static void EmitSymbolRefWithOfs(MCStreamer &streamer,
124 const MCSymbol *Base,
125 const MCSymbol *Other) {
126 MCContext &Context = streamer.getContext();
Jim Grosbach13760bd2015-05-30 01:25:56 +0000127 const MCSymbolRefExpr *BaseRef = MCSymbolRefExpr::create(Base, Context);
128 const MCSymbolRefExpr *OtherRef = MCSymbolRefExpr::create(Other, Context);
129 const MCExpr *Ofs = MCBinaryExpr::createSub(OtherRef, BaseRef, Context);
130 const MCSymbolRefExpr *BaseRefRel = MCSymbolRefExpr::create(Base,
Kai Nacke74adc8a2013-09-15 17:46:46 +0000131 MCSymbolRefExpr::VK_COFF_IMGREL32,
132 Context);
Jim Grosbach13760bd2015-05-30 01:25:56 +0000133 streamer.EmitValue(MCBinaryExpr::createAdd(BaseRefRel, Ofs, Context), 4);
Kai Nacke74adc8a2013-09-15 17:46:46 +0000134}
135
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000136static void EmitRuntimeFunction(MCStreamer &streamer,
Saleem Abdulrasoolb3be7372014-08-03 18:51:17 +0000137 const WinEH::FrameInfo *info) {
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000138 MCContext &context = streamer.getContext();
139
Charles Davis761313b2011-05-27 02:43:19 +0000140 streamer.EmitValueToAlignment(4);
Kai Nacke74adc8a2013-09-15 17:46:46 +0000141 EmitSymbolRefWithOfs(streamer, info->Function, info->Begin);
142 EmitSymbolRefWithOfs(streamer, info->Function, info->End);
Jim Grosbach13760bd2015-05-30 01:25:56 +0000143 streamer.EmitValue(MCSymbolRefExpr::create(info->Symbol,
Kai Nacke74adc8a2013-09-15 17:46:46 +0000144 MCSymbolRefExpr::VK_COFF_IMGREL32,
145 context), 4);
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000146}
147
Saleem Abdulrasoolb3be7372014-08-03 18:51:17 +0000148static void EmitUnwindInfo(MCStreamer &streamer, WinEH::FrameInfo *info) {
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000149 // If this UNWIND_INFO already has a symbol, it's already been emitted.
Saleem Abdulrasoolb3be7372014-08-03 18:51:17 +0000150 if (info->Symbol)
151 return;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000152
153 MCContext &context = streamer.getContext();
Jim Grosbach6f482002015-05-18 18:43:14 +0000154 MCSymbol *Label = context.createTempSymbol();
Saleem Abdulrasoolb3be7372014-08-03 18:51:17 +0000155
Charles Davis761313b2011-05-27 02:43:19 +0000156 streamer.EmitValueToAlignment(4);
Saleem Abdulrasoolb3be7372014-08-03 18:51:17 +0000157 streamer.EmitLabel(Label);
158 info->Symbol = Label;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000159
Kai Nacke8539b462013-09-15 18:01:09 +0000160 // Upper 3 bits are the version number (currently 1).
161 uint8_t flags = 0x01;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000162 if (info->ChainedParent)
Charles Davisea5dc3a2011-05-27 15:10:25 +0000163 flags |= Win64EH::UNW_ChainInfo << 3;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000164 else {
165 if (info->HandlesUnwind)
Charles Davisea5dc3a2011-05-27 15:10:25 +0000166 flags |= Win64EH::UNW_TerminateHandler << 3;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000167 if (info->HandlesExceptions)
Charles Davisea5dc3a2011-05-27 15:10:25 +0000168 flags |= Win64EH::UNW_ExceptionHandler << 3;
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000169 }
170 streamer.EmitIntValue(flags, 1);
171
Charles Davisea5dc3a2011-05-27 15:10:25 +0000172 if (info->PrologEnd)
173 EmitAbsDifference(streamer, info->PrologEnd, info->Begin);
174 else
175 streamer.EmitIntValue(0, 1);
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000176
177 uint8_t numCodes = CountOfUnwindCodes(info->Instructions);
178 streamer.EmitIntValue(numCodes, 1);
179
180 uint8_t frame = 0;
181 if (info->LastFrameInst >= 0) {
Saleem Abdulrasoolab820862014-07-17 03:08:50 +0000182 WinEH::Instruction &frameInst = info->Instructions[info->LastFrameInst];
Saleem Abdulrasoolc7c3cb12014-07-13 19:03:45 +0000183 assert(frameInst.Operation == Win64EH::UOP_SetFPReg);
184 frame = (frameInst.Register & 0x0F) | (frameInst.Offset & 0xF0);
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000185 }
186 streamer.EmitIntValue(frame, 1);
187
188 // Emit unwind instructions (in reverse order).
189 uint8_t numInst = info->Instructions.size();
190 for (uint8_t c = 0; c < numInst; ++c) {
Saleem Abdulrasoolab820862014-07-17 03:08:50 +0000191 WinEH::Instruction inst = info->Instructions.back();
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000192 info->Instructions.pop_back();
Charles Davis6d1c4c72011-05-27 03:25:01 +0000193 EmitUnwindCode(streamer, info->Begin, inst);
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000194 }
195
Kai Nacke8539b462013-09-15 18:01:09 +0000196 // For alignment purposes, the instruction array will always have an even
197 // number of entries, with the final entry potentially unused (in which case
198 // the array will be one longer than indicated by the count of unwind codes
199 // field).
200 if (numCodes & 1) {
201 streamer.EmitIntValue(0, 2);
202 }
203
Charles Davisea5dc3a2011-05-27 15:10:25 +0000204 if (flags & (Win64EH::UNW_ChainInfo << 3))
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000205 EmitRuntimeFunction(streamer, info->ChainedParent);
Charles Davisea5dc3a2011-05-27 15:10:25 +0000206 else if (flags &
207 ((Win64EH::UNW_TerminateHandler|Win64EH::UNW_ExceptionHandler) << 3))
Jim Grosbach13760bd2015-05-30 01:25:56 +0000208 streamer.EmitValue(MCSymbolRefExpr::create(info->ExceptionHandler,
Kai Nacke74adc8a2013-09-15 17:46:46 +0000209 MCSymbolRefExpr::VK_COFF_IMGREL32,
210 context), 4);
Kai Nacke8539b462013-09-15 18:01:09 +0000211 else if (numCodes == 0) {
Charles Davisea5dc3a2011-05-27 15:10:25 +0000212 // The minimum size of an UNWIND_INFO struct is 8 bytes. If we're not
213 // a chained unwind info, if there is no handler, and if there are fewer
214 // than 2 slots used in the unwind code array, we have to pad to 8 bytes.
Kai Nacke8539b462013-09-15 18:01:09 +0000215 streamer.EmitIntValue(0, 4);
Charles Davisea5dc3a2011-05-27 15:10:25 +0000216 }
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000217}
218
Reid Kleckner97837b72016-05-02 23:22:18 +0000219void llvm::Win64EH::UnwindEmitter::Emit(MCStreamer &Streamer) const {
Charles Davisbc2daa02011-05-22 04:15:07 +0000220 // Emit the unwind info structs first.
Reid Kleckner4c4422f2017-10-06 17:21:49 +0000221 for (const auto &CFI : Streamer.getWinFrameInfos()) {
Reid Kleckner97837b72016-05-02 23:22:18 +0000222 MCSection *XData = Streamer.getAssociatedXDataSection(CFI->TextSection);
Saleem Abdulrasool427c08d2014-07-10 04:50:06 +0000223 Streamer.SwitchSection(XData);
Reid Kleckner4c4422f2017-10-06 17:21:49 +0000224 ::EmitUnwindInfo(Streamer, CFI.get());
Charles Davis03eef622011-05-27 19:09:24 +0000225 }
Saleem Abdulrasool427c08d2014-07-10 04:50:06 +0000226
Charles Davisbc2daa02011-05-22 04:15:07 +0000227 // Now emit RUNTIME_FUNCTION entries.
Reid Kleckner4c4422f2017-10-06 17:21:49 +0000228 for (const auto &CFI : Streamer.getWinFrameInfos()) {
Reid Kleckner97837b72016-05-02 23:22:18 +0000229 MCSection *PData = Streamer.getAssociatedPDataSection(CFI->TextSection);
Saleem Abdulrasool427c08d2014-07-10 04:50:06 +0000230 Streamer.SwitchSection(PData);
Reid Kleckner4c4422f2017-10-06 17:21:49 +0000231 EmitRuntimeFunction(Streamer, CFI.get());
Charles Davis03eef622011-05-27 19:09:24 +0000232 }
Charles Davisbc2daa02011-05-22 04:15:07 +0000233}
234
Reid Kleckner97837b72016-05-02 23:22:18 +0000235void llvm::Win64EH::UnwindEmitter::EmitUnwindInfo(
236 MCStreamer &Streamer, WinEH::FrameInfo *info) const {
Saleem Abdulrasool64a8cc72014-08-07 02:59:41 +0000237 // Switch sections (the static function above is meant to be called from
238 // here and from Emit().
Reid Kleckner97837b72016-05-02 23:22:18 +0000239 MCSection *XData = Streamer.getAssociatedXDataSection(info->TextSection);
240 Streamer.SwitchSection(XData);
Saleem Abdulrasool64a8cc72014-08-07 02:59:41 +0000241
Reid Kleckner97837b72016-05-02 23:22:18 +0000242 ::EmitUnwindInfo(Streamer, info);
Saleem Abdulrasool64a8cc72014-08-07 02:59:41 +0000243}
Charles Davis1c8bd5a2011-05-22 03:01:05 +0000244