blob: 15dd92db1ec393320e69d473452542315250eb13 [file] [log] [blame]
Chris Lattnercf3056d2003-10-13 03:32:08 +00001//===- WriterInternals.h - Data structures shared by the Writer -*- C++ -*-===//
Misha Brukman23c6d2c2005-04-21 21:48:46 +00002//
John Criswell856ba762003-10-21 15:17:13 +00003// The LLVM Compiler Infrastructure
4//
5// This file was developed by the LLVM research group and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
Misha Brukman23c6d2c2005-04-21 21:48:46 +00007//
John Criswell856ba762003-10-21 15:17:13 +00008//===----------------------------------------------------------------------===//
Chris Lattner00950542001-06-06 20:29:01 +00009//
10// This header defines the interface used between components of the bytecode
11// writer.
12//
Chris Lattner00950542001-06-06 20:29:01 +000013//===----------------------------------------------------------------------===//
14
15#ifndef LLVM_LIB_BYTECODE_WRITER_WRITERINTERNALS_H
16#define LLVM_LIB_BYTECODE_WRITER_WRITERINTERNALS_H
17
Reid Spencerd1fb1b72004-07-04 11:44:27 +000018#include "SlotCalculator.h"
19#include "llvm/Bytecode/Writer.h"
Chris Lattner00950542001-06-06 20:29:01 +000020#include "llvm/Bytecode/Format.h"
Chris Lattner00950542001-06-06 20:29:01 +000021#include "llvm/Instruction.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000022#include "llvm/Support/DataTypes.h"
Reid Spencerad89bd62004-07-25 18:07:36 +000023#include <string>
24#include <vector>
Chris Lattner00950542001-06-06 20:29:01 +000025
Brian Gaeked0fde302003-11-11 22:41:34 +000026namespace llvm {
27
Chris Lattnere8fdde12001-09-07 16:39:41 +000028class BytecodeWriter {
Reid Spencerad89bd62004-07-25 18:07:36 +000029 std::vector<unsigned char> &Out;
Chris Lattner00950542001-06-06 20:29:01 +000030 SlotCalculator Table;
31public:
Reid Spencerad89bd62004-07-25 18:07:36 +000032 BytecodeWriter(std::vector<unsigned char> &o, const Module *M);
Chris Lattner00950542001-06-06 20:29:01 +000033
Chris Lattner83bb3d22004-01-14 23:36:54 +000034private:
Chris Lattner186a1f72003-03-19 20:56:46 +000035 void outputConstants(bool isFunction);
Chris Lattner83bb3d22004-01-14 23:36:54 +000036 void outputConstantStrings();
Chris Lattner186a1f72003-03-19 20:56:46 +000037 void outputFunction(const Function *F);
Chris Lattnercf3e67f2004-01-18 21:08:52 +000038 void outputCompactionTable();
Reid Spencerd1fb1b72004-07-04 11:44:27 +000039 void outputCompactionTypes(unsigned StartNo);
Chris Lattnercf3e67f2004-01-18 21:08:52 +000040 void outputCompactionTablePlane(unsigned PlaneNo,
41 const std::vector<const Value*> &TypePlane,
42 unsigned StartNo);
43 void outputInstructions(const Function *F);
44 void outputInstruction(const Instruction &I);
Reid Spencerad89bd62004-07-25 18:07:36 +000045 void outputInstructionFormat0(const Instruction *I, unsigned Opcode,
Misha Brukman23c6d2c2005-04-21 21:48:46 +000046 const SlotCalculator &Table,
47 unsigned Type);
48 void outputInstrVarArgsCall(const Instruction *I,
49 unsigned Opcode,
50 const SlotCalculator &Table,
51 unsigned Type) ;
52 inline void outputInstructionFormat1(const Instruction *I,
53 unsigned Opcode,
54 unsigned *Slots,
55 unsigned Type) ;
56 inline void outputInstructionFormat2(const Instruction *I,
57 unsigned Opcode,
58 unsigned *Slots,
59 unsigned Type) ;
60 inline void outputInstructionFormat3(const Instruction *I,
61 unsigned Opcode,
62 unsigned *Slots,
63 unsigned Type) ;
Chris Lattner00950542001-06-06 20:29:01 +000064
Chris Lattner00950542001-06-06 20:29:01 +000065 void outputModuleInfoBlock(const Module *C);
66 void outputSymbolTable(const SymbolTable &ST);
Reid Spencerd1fb1b72004-07-04 11:44:27 +000067 void outputTypes(unsigned StartNo);
Vikram S. Adve054bd682002-07-14 23:05:53 +000068 void outputConstantsInPlane(const std::vector<const Value*> &Plane,
69 unsigned StartNo);
Chris Lattner83bb3d22004-01-14 23:36:54 +000070 void outputConstant(const Constant *CPV);
Chris Lattner00950542001-06-06 20:29:01 +000071 void outputType(const Type *T);
Reid Spencerad89bd62004-07-25 18:07:36 +000072
73 /// @brief Unsigned integer output primitive
74 inline void output(unsigned i, int pos = -1);
75
76 /// @brief Signed integer output primitive
77 inline void output(int i);
78
79 /// @brief 64-bit variable bit rate output primitive.
80 inline void output_vbr(uint64_t i);
81
82 /// @brief 32-bit variable bit rate output primitive.
83 inline void output_vbr(unsigned i);
84
85 /// @brief Signed 64-bit variable bit rate output primitive.
86 inline void output_vbr(int64_t i);
87
88 /// @brief Signed 32-bit variable bit rate output primitive.
89 inline void output_vbr(int i);
90
Reid Spencer38d54be2004-08-17 07:45:14 +000091 inline void output(const std::string &s );
Reid Spencerad89bd62004-07-25 18:07:36 +000092
93 inline void output_data(const void *Ptr, const void *End);
94
95 inline void output_float(float& FloatVal);
96 inline void output_double(double& DoubleVal);
97
98 inline void output_typeid(unsigned i);
99
100 inline size_t size() const { return Out.size(); }
101 inline void resize(size_t S) { Out.resize(S); }
102 friend class BytecodeBlock;
Chris Lattner00950542001-06-06 20:29:01 +0000103};
104
Chris Lattner0baa0af2004-01-15 21:06:57 +0000105/// BytecodeBlock - Little helper class is used by the bytecode writer to help
106/// do backpatching of bytecode block sizes really easily. It backpatches when
107/// it goes out of scope.
108///
Chris Lattner00950542001-06-06 20:29:01 +0000109class BytecodeBlock {
Reid Spencerad89bd62004-07-25 18:07:36 +0000110 unsigned Id;
Chris Lattner00950542001-06-06 20:29:01 +0000111 unsigned Loc;
Reid Spencerad89bd62004-07-25 18:07:36 +0000112 BytecodeWriter& Writer;
Chris Lattner00950542001-06-06 20:29:01 +0000113
Chris Lattner0baa0af2004-01-15 21:06:57 +0000114 /// ElideIfEmpty - If this is true and the bytecode block ends up being empty,
115 /// the block can remove itself from the output stream entirely.
116 bool ElideIfEmpty;
117
Reid Spencerad89bd62004-07-25 18:07:36 +0000118 /// If this is true then the block is written with a long format header using
119 /// a uint (32-bits) for both the block id and size. Otherwise, it uses the
120 /// short format which is a single uint with 27 bits for size and 5 bits for
121 /// the block id. Both formats are used in a bc file with version 1.3.
122 /// Previously only the long format was used.
123 bool HasLongFormat;
124
Chris Lattner00950542001-06-06 20:29:01 +0000125 BytecodeBlock(const BytecodeBlock &); // do not implement
126 void operator=(const BytecodeBlock &); // do not implement
127public:
Reid Spencerad89bd62004-07-25 18:07:36 +0000128 inline BytecodeBlock(unsigned ID, BytecodeWriter& w,
129 bool elideIfEmpty = false, bool hasLongFormat = false);
Chris Lattner00950542001-06-06 20:29:01 +0000130
Reid Spencerad89bd62004-07-25 18:07:36 +0000131 inline ~BytecodeBlock();
Chris Lattner00950542001-06-06 20:29:01 +0000132};
133
Brian Gaeked0fde302003-11-11 22:41:34 +0000134} // End llvm namespace
Chris Lattner00950542001-06-06 20:29:01 +0000135
136#endif