OLD | NEW |
---|---|
1 //===- subzero/src/IceInst.h - High-level instructions ----------*- C++ -*-===// | 1 //===- subzero/src/IceInst.h - High-level instructions ----------*- C++ -*-===// |
2 // | 2 // |
3 // The Subzero Code Generator | 3 // The Subzero Code Generator |
4 // | 4 // |
5 // This file is distributed under the University of Illinois Open Source | 5 // This file is distributed under the University of Illinois Open Source |
6 // License. See LICENSE.TXT for details. | 6 // License. See LICENSE.TXT for details. |
7 // | 7 // |
8 //===----------------------------------------------------------------------===// | 8 //===----------------------------------------------------------------------===// |
9 // | 9 // |
10 // This file declares the Inst class and its target-independent | 10 // This file declares the Inst class and its target-independent |
(...skipping 12 matching lines...) Expand all Loading... | |
23 | 23 |
24 // TODO: The Cfg structure, and instructions in particular, need to be | 24 // TODO: The Cfg structure, and instructions in particular, need to be |
25 // validated for things like valid operand types, valid branch | 25 // validated for things like valid operand types, valid branch |
26 // targets, proper ordering of Phi and non-Phi instructions, etc. | 26 // targets, proper ordering of Phi and non-Phi instructions, etc. |
27 // Most of the validity checking will be done in the bitcode reader. | 27 // Most of the validity checking will be done in the bitcode reader. |
28 // We need a list of everything that should be validated, and tests | 28 // We need a list of everything that should be validated, and tests |
29 // for each. | 29 // for each. |
30 | 30 |
31 namespace Ice { | 31 namespace Ice { |
32 | 32 |
33 // Base instruction class for ICE. Inst has two subclasses: | |
34 // InstHighLevel and InstTarget. High-level ICE instructions inherit | |
35 // from InstHighLevel, and low-level (target-specific) ICE | |
36 // instructions inherit from InstTarget. | |
33 class Inst { | 37 class Inst { |
34 public: | 38 public: |
35 enum InstKind { | 39 enum InstKind { |
36 // Arbitrary (alphabetical) order, except put Unreachable first. | 40 // Arbitrary (alphabetical) order, except put Unreachable first. |
37 Unreachable, | 41 Unreachable, |
38 Alloca, | 42 Alloca, |
39 Arithmetic, | 43 Arithmetic, |
40 Assign, // not part of LLVM/PNaCl bitcode | 44 Assign, // not part of LLVM/PNaCl bitcode |
41 Br, | 45 Br, |
42 Call, | 46 Call, |
(...skipping 53 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
96 | 100 |
97 void livenessLightweight(Cfg *Func, llvm::BitVector &Live); | 101 void livenessLightweight(Cfg *Func, llvm::BitVector &Live); |
98 void liveness(InstNumberT InstNumber, llvm::BitVector &Live, | 102 void liveness(InstNumberT InstNumber, llvm::BitVector &Live, |
99 Liveness *Liveness, const CfgNode *Node); | 103 Liveness *Liveness, const CfgNode *Node); |
100 | 104 |
101 // Get the number of native instructions that this instruction | 105 // Get the number of native instructions that this instruction |
102 // ultimately emits. By default, high-level instructions don't | 106 // ultimately emits. By default, high-level instructions don't |
103 // result in any native instructions, and a target-specific | 107 // result in any native instructions, and a target-specific |
104 // instruction results in a single native instruction. | 108 // instruction results in a single native instruction. |
105 virtual uint32_t getEmitInstCount() const { return 0; } | 109 virtual uint32_t getEmitInstCount() const { return 0; } |
106 virtual void emit(const Cfg *Func) const; | 110 virtual void emit(const Cfg *Func) const = 0; |
107 virtual void emitIAS(const Cfg *Func) const; | 111 virtual void emitIAS(const Cfg *Func) const = 0; |
108 virtual void dump(const Cfg *Func) const; | 112 virtual void dump(const Cfg *Func) const; |
109 virtual void dumpExtras(const Cfg *Func) const; | 113 virtual void dumpExtras(const Cfg *Func) const; |
110 void dumpDecorated(const Cfg *Func) const; | 114 void dumpDecorated(const Cfg *Func) const; |
111 void emitSources(const Cfg *Func) const; | 115 void emitSources(const Cfg *Func) const; |
112 void dumpSources(const Cfg *Func) const; | 116 void dumpSources(const Cfg *Func) const; |
113 void dumpDest(const Cfg *Func) const; | 117 void dumpDest(const Cfg *Func) const; |
114 virtual bool isRedundantAssign() const { return false; } | 118 virtual bool isRedundantAssign() const { return false; } |
115 | 119 |
116 virtual ~Inst() {} | 120 virtual ~Inst() {} |
117 | 121 |
(...skipping 40 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
158 // Only the first CHAR_BIT * sizeof(LREndedBits) variables are | 162 // Only the first CHAR_BIT * sizeof(LREndedBits) variables are |
159 // tracked this way. | 163 // tracked this way. |
160 typedef uint32_t LREndedBits; // only first 32 src operands tracked, sorry | 164 typedef uint32_t LREndedBits; // only first 32 src operands tracked, sorry |
161 LREndedBits LiveRangesEnded; | 165 LREndedBits LiveRangesEnded; |
162 | 166 |
163 private: | 167 private: |
164 Inst(const Inst &) LLVM_DELETED_FUNCTION; | 168 Inst(const Inst &) LLVM_DELETED_FUNCTION; |
165 Inst &operator=(const Inst &) LLVM_DELETED_FUNCTION; | 169 Inst &operator=(const Inst &) LLVM_DELETED_FUNCTION; |
166 }; | 170 }; |
167 | 171 |
172 class InstHighLevel : public Inst { | |
173 InstHighLevel(const InstHighLevel &) LLVM_DELETED_FUNCTION; | |
174 InstHighLevel &operator=(const InstHighLevel &) LLVM_DELETED_FUNCTION; | |
175 | |
176 protected: | |
177 InstHighLevel(Cfg *Func, InstKind Kind, SizeT MaxSrcs, Variable *Dest) | |
178 : Inst(Func, Kind, MaxSrcs, Dest) {} | |
179 void emit(const Cfg * /*Func*/) const override { | |
180 llvm_unreachable("emit() called on a non-lowered instruction"); | |
181 } | |
182 void emitIAS(const Cfg * /*Func*/) const override { | |
183 llvm_unreachable("emitIAS() called on a non-lowered instruction"); | |
184 } | |
185 ~InstHighLevel() override {} | |
186 }; | |
187 | |
168 // Alloca instruction. This captures the size in bytes as getSrc(0), | 188 // Alloca instruction. This captures the size in bytes as getSrc(0), |
169 // and the required alignment in bytes. The alignment must be either | 189 // and the required alignment in bytes. The alignment must be either |
170 // 0 (no alignment required) or a power of 2. | 190 // 0 (no alignment required) or a power of 2. |
171 class InstAlloca : public Inst { | 191 class InstAlloca : public InstHighLevel { |
172 public: | 192 public: |
173 static InstAlloca *create(Cfg *Func, Operand *ByteCount, | 193 static InstAlloca *create(Cfg *Func, Operand *ByteCount, |
174 uint32_t AlignInBytes, Variable *Dest) { | 194 uint32_t AlignInBytes, Variable *Dest) { |
175 return new (Func->allocateInst<InstAlloca>()) | 195 return new (Func->allocateInst<InstAlloca>()) |
176 InstAlloca(Func, ByteCount, AlignInBytes, Dest); | 196 InstAlloca(Func, ByteCount, AlignInBytes, Dest); |
177 } | 197 } |
178 uint32_t getAlignInBytes() const { return AlignInBytes; } | 198 uint32_t getAlignInBytes() const { return AlignInBytes; } |
179 Operand *getSizeInBytes() const { return getSrc(0); } | 199 Operand *getSizeInBytes() const { return getSrc(0); } |
180 virtual void dump(const Cfg *Func) const; | 200 void dump(const Cfg *Func) const override; |
181 static bool classof(const Inst *Inst) { return Inst->getKind() == Alloca; } | 201 static bool classof(const Inst *Inst) { return Inst->getKind() == Alloca; } |
182 | 202 |
183 private: | 203 private: |
184 InstAlloca(Cfg *Func, Operand *ByteCount, uint32_t AlignInBytes, | 204 InstAlloca(Cfg *Func, Operand *ByteCount, uint32_t AlignInBytes, |
185 Variable *Dest); | 205 Variable *Dest); |
186 InstAlloca(const InstAlloca &) LLVM_DELETED_FUNCTION; | 206 InstAlloca(const InstAlloca &) LLVM_DELETED_FUNCTION; |
187 InstAlloca &operator=(const InstAlloca &) LLVM_DELETED_FUNCTION; | 207 InstAlloca &operator=(const InstAlloca &) LLVM_DELETED_FUNCTION; |
188 virtual ~InstAlloca() {} | 208 ~InstAlloca() override {} |
189 const uint32_t AlignInBytes; | 209 const uint32_t AlignInBytes; |
190 }; | 210 }; |
191 | 211 |
192 // Binary arithmetic instruction. The source operands are captured in | 212 // Binary arithmetic instruction. The source operands are captured in |
193 // getSrc(0) and getSrc(1). | 213 // getSrc(0) and getSrc(1). |
194 class InstArithmetic : public Inst { | 214 class InstArithmetic : public InstHighLevel { |
195 public: | 215 public: |
196 enum OpKind { | 216 enum OpKind { |
197 #define X(tag, str, commutative) tag, | 217 #define X(tag, str, commutative) tag, |
198 ICEINSTARITHMETIC_TABLE | 218 ICEINSTARITHMETIC_TABLE |
199 #undef X | 219 #undef X |
200 _num | 220 _num |
201 }; | 221 }; |
202 | 222 |
203 static InstArithmetic *create(Cfg *Func, OpKind Op, Variable *Dest, | 223 static InstArithmetic *create(Cfg *Func, OpKind Op, Variable *Dest, |
204 Operand *Source1, Operand *Source2) { | 224 Operand *Source1, Operand *Source2) { |
205 return new (Func->allocateInst<InstArithmetic>()) | 225 return new (Func->allocateInst<InstArithmetic>()) |
206 InstArithmetic(Func, Op, Dest, Source1, Source2); | 226 InstArithmetic(Func, Op, Dest, Source1, Source2); |
207 } | 227 } |
208 OpKind getOp() const { return Op; } | 228 OpKind getOp() const { return Op; } |
209 static const char *getOpName(OpKind Op); | 229 static const char *getOpName(OpKind Op); |
210 bool isCommutative() const; | 230 bool isCommutative() const; |
211 virtual void dump(const Cfg *Func) const; | 231 void dump(const Cfg *Func) const override; |
212 static bool classof(const Inst *Inst) { | 232 static bool classof(const Inst *Inst) { |
213 return Inst->getKind() == Arithmetic; | 233 return Inst->getKind() == Arithmetic; |
214 } | 234 } |
215 | 235 |
216 private: | 236 private: |
217 InstArithmetic(Cfg *Func, OpKind Op, Variable *Dest, Operand *Source1, | 237 InstArithmetic(Cfg *Func, OpKind Op, Variable *Dest, Operand *Source1, |
218 Operand *Source2); | 238 Operand *Source2); |
219 InstArithmetic(const InstArithmetic &) LLVM_DELETED_FUNCTION; | 239 InstArithmetic(const InstArithmetic &) LLVM_DELETED_FUNCTION; |
220 InstArithmetic &operator=(const InstArithmetic &) LLVM_DELETED_FUNCTION; | 240 InstArithmetic &operator=(const InstArithmetic &) LLVM_DELETED_FUNCTION; |
221 virtual ~InstArithmetic() {} | 241 ~InstArithmetic() override {} |
222 | 242 |
223 const OpKind Op; | 243 const OpKind Op; |
224 }; | 244 }; |
225 | 245 |
226 // Assignment instruction. The source operand is captured in | 246 // Assignment instruction. The source operand is captured in |
227 // getSrc(0). This is not part of the LLVM bitcode, but is a useful | 247 // getSrc(0). This is not part of the LLVM bitcode, but is a useful |
228 // abstraction for some of the lowering. E.g., if Phi instruction | 248 // abstraction for some of the lowering. E.g., if Phi instruction |
229 // lowering happens before target lowering, or for representing an | 249 // lowering happens before target lowering, or for representing an |
230 // Inttoptr instruction, or as an intermediate step for lowering a | 250 // Inttoptr instruction, or as an intermediate step for lowering a |
231 // Load instruction. | 251 // Load instruction. |
232 class InstAssign : public Inst { | 252 class InstAssign : public InstHighLevel { |
233 public: | 253 public: |
234 static InstAssign *create(Cfg *Func, Variable *Dest, Operand *Source) { | 254 static InstAssign *create(Cfg *Func, Variable *Dest, Operand *Source) { |
235 return new (Func->allocateInst<InstAssign>()) | 255 return new (Func->allocateInst<InstAssign>()) |
236 InstAssign(Func, Dest, Source); | 256 InstAssign(Func, Dest, Source); |
237 } | 257 } |
238 virtual bool isSimpleAssign() const { return true; } | 258 bool isSimpleAssign() const override { return true; } |
239 virtual void dump(const Cfg *Func) const; | 259 void dump(const Cfg *Func) const override; |
240 static bool classof(const Inst *Inst) { return Inst->getKind() == Assign; } | 260 static bool classof(const Inst *Inst) { return Inst->getKind() == Assign; } |
241 | 261 |
242 private: | 262 private: |
243 InstAssign(Cfg *Func, Variable *Dest, Operand *Source); | 263 InstAssign(Cfg *Func, Variable *Dest, Operand *Source); |
244 InstAssign(const InstAssign &) LLVM_DELETED_FUNCTION; | 264 InstAssign(const InstAssign &) LLVM_DELETED_FUNCTION; |
245 InstAssign &operator=(const InstAssign &) LLVM_DELETED_FUNCTION; | 265 InstAssign &operator=(const InstAssign &) LLVM_DELETED_FUNCTION; |
246 virtual ~InstAssign() {} | 266 ~InstAssign() override {} |
247 }; | 267 }; |
248 | 268 |
249 // Branch instruction. This represents both conditional and | 269 // Branch instruction. This represents both conditional and |
250 // unconditional branches. | 270 // unconditional branches. |
251 class InstBr : public Inst { | 271 class InstBr : public InstHighLevel { |
252 public: | 272 public: |
253 // Create a conditional branch. If TargetTrue==TargetFalse, it is | 273 // Create a conditional branch. If TargetTrue==TargetFalse, it is |
254 // optimized to an unconditional branch. | 274 // optimized to an unconditional branch. |
255 static InstBr *create(Cfg *Func, Operand *Source, CfgNode *TargetTrue, | 275 static InstBr *create(Cfg *Func, Operand *Source, CfgNode *TargetTrue, |
256 CfgNode *TargetFalse) { | 276 CfgNode *TargetFalse) { |
257 return new (Func->allocateInst<InstBr>()) | 277 return new (Func->allocateInst<InstBr>()) |
258 InstBr(Func, Source, TargetTrue, TargetFalse); | 278 InstBr(Func, Source, TargetTrue, TargetFalse); |
259 } | 279 } |
260 // Create an unconditional branch. | 280 // Create an unconditional branch. |
261 static InstBr *create(Cfg *Func, CfgNode *Target) { | 281 static InstBr *create(Cfg *Func, CfgNode *Target) { |
262 return new (Func->allocateInst<InstBr>()) InstBr(Func, Target); | 282 return new (Func->allocateInst<InstBr>()) InstBr(Func, Target); |
263 } | 283 } |
264 bool isUnconditional() const { return getTargetTrue() == NULL; } | 284 bool isUnconditional() const { return getTargetTrue() == NULL; } |
265 Operand *getCondition() const { | 285 Operand *getCondition() const { |
266 assert(!isUnconditional()); | 286 assert(!isUnconditional()); |
267 return getSrc(0); | 287 return getSrc(0); |
268 } | 288 } |
269 CfgNode *getTargetTrue() const { return TargetTrue; } | 289 CfgNode *getTargetTrue() const { return TargetTrue; } |
270 CfgNode *getTargetFalse() const { return TargetFalse; } | 290 CfgNode *getTargetFalse() const { return TargetFalse; } |
271 CfgNode *getTargetUnconditional() const { | 291 CfgNode *getTargetUnconditional() const { |
272 assert(isUnconditional()); | 292 assert(isUnconditional()); |
273 return getTargetFalse(); | 293 return getTargetFalse(); |
274 } | 294 } |
275 virtual NodeList getTerminatorEdges() const; | 295 NodeList getTerminatorEdges() const override; |
276 virtual void dump(const Cfg *Func) const; | 296 void dump(const Cfg *Func) const override; |
277 static bool classof(const Inst *Inst) { return Inst->getKind() == Br; } | 297 static bool classof(const Inst *Inst) { return Inst->getKind() == Br; } |
278 | 298 |
279 private: | 299 private: |
280 // Conditional branch | 300 // Conditional branch |
281 InstBr(Cfg *Func, Operand *Source, CfgNode *TargetTrue, CfgNode *TargetFalse); | 301 InstBr(Cfg *Func, Operand *Source, CfgNode *TargetTrue, CfgNode *TargetFalse); |
282 // Unconditional branch | 302 // Unconditional branch |
283 InstBr(Cfg *Func, CfgNode *Target); | 303 InstBr(Cfg *Func, CfgNode *Target); |
284 InstBr(const InstBr &) LLVM_DELETED_FUNCTION; | 304 InstBr(const InstBr &) LLVM_DELETED_FUNCTION; |
285 InstBr &operator=(const InstBr &) LLVM_DELETED_FUNCTION; | 305 InstBr &operator=(const InstBr &) LLVM_DELETED_FUNCTION; |
286 virtual ~InstBr() {} | 306 ~InstBr() override {} |
287 | 307 |
288 CfgNode *const TargetFalse; // Doubles as unconditional branch target | 308 CfgNode *const TargetFalse; // Doubles as unconditional branch target |
289 CfgNode *const TargetTrue; // NULL if unconditional branch | 309 CfgNode *const TargetTrue; // NULL if unconditional branch |
290 }; | 310 }; |
291 | 311 |
292 // Call instruction. The call target is captured as getSrc(0), and | 312 // Call instruction. The call target is captured as getSrc(0), and |
293 // arg I is captured as getSrc(I+1). | 313 // arg I is captured as getSrc(I+1). |
294 class InstCall : public Inst { | 314 class InstCall : public InstHighLevel { |
295 public: | 315 public: |
296 static InstCall *create(Cfg *Func, SizeT NumArgs, Variable *Dest, | 316 static InstCall *create(Cfg *Func, SizeT NumArgs, Variable *Dest, |
297 Operand *CallTarget, bool HasTailCall) { | 317 Operand *CallTarget, bool HasTailCall) { |
298 // Set HasSideEffects to true so that the call instruction can't be | 318 // Set HasSideEffects to true so that the call instruction can't be |
299 // dead-code eliminated. IntrinsicCalls can override this if the | 319 // dead-code eliminated. IntrinsicCalls can override this if the |
300 // particular intrinsic is deletable and has no side-effects. | 320 // particular intrinsic is deletable and has no side-effects. |
301 const bool HasSideEffects = true; | 321 const bool HasSideEffects = true; |
302 const InstKind Kind = Inst::Call; | 322 const InstKind Kind = Inst::Call; |
303 return new (Func->allocateInst<InstCall>()) InstCall( | 323 return new (Func->allocateInst<InstCall>()) InstCall( |
304 Func, NumArgs, Dest, CallTarget, HasTailCall, HasSideEffects, Kind); | 324 Func, NumArgs, Dest, CallTarget, HasTailCall, HasSideEffects, Kind); |
305 } | 325 } |
306 void addArg(Operand *Arg) { addSource(Arg); } | 326 void addArg(Operand *Arg) { addSource(Arg); } |
307 Operand *getCallTarget() const { return getSrc(0); } | 327 Operand *getCallTarget() const { return getSrc(0); } |
308 Operand *getArg(SizeT I) const { return getSrc(I + 1); } | 328 Operand *getArg(SizeT I) const { return getSrc(I + 1); } |
309 SizeT getNumArgs() const { return getSrcSize() - 1; } | 329 SizeT getNumArgs() const { return getSrcSize() - 1; } |
310 bool isTailcall() const { return HasTailCall; } | 330 bool isTailcall() const { return HasTailCall; } |
311 virtual void dump(const Cfg *Func) const; | 331 void dump(const Cfg *Func) const; |
312 static bool classof(const Inst *Inst) { return Inst->getKind() == Call; } | 332 static bool classof(const Inst *Inst) { return Inst->getKind() == Call; } |
313 Type getReturnType() const; | 333 Type getReturnType() const; |
314 | 334 |
315 protected: | 335 protected: |
316 InstCall(Cfg *Func, SizeT NumArgs, Variable *Dest, Operand *CallTarget, | 336 InstCall(Cfg *Func, SizeT NumArgs, Variable *Dest, Operand *CallTarget, |
317 bool HasTailCall, bool HasSideEff, InstKind Kind) | 337 bool HasTailCall, bool HasSideEff, InstKind Kind) |
318 : Inst(Func, Kind, NumArgs + 1, Dest), | 338 : InstHighLevel(Func, Kind, NumArgs + 1, Dest), HasTailCall(HasTailCall) { |
319 HasTailCall(HasTailCall) { | |
320 HasSideEffects = HasSideEff; | 339 HasSideEffects = HasSideEff; |
321 addSource(CallTarget); | 340 addSource(CallTarget); |
322 } | 341 } |
323 virtual ~InstCall() {} | 342 ~InstCall() override {} |
324 | 343 |
325 private: | 344 private: |
326 bool HasTailCall; | 345 bool HasTailCall; |
327 InstCall(const InstCall &) LLVM_DELETED_FUNCTION; | 346 InstCall(const InstCall &) LLVM_DELETED_FUNCTION; |
328 InstCall &operator=(const InstCall &) LLVM_DELETED_FUNCTION; | 347 InstCall &operator=(const InstCall &) LLVM_DELETED_FUNCTION; |
329 }; | 348 }; |
330 | 349 |
331 // Cast instruction (a.k.a. conversion operation). | 350 // Cast instruction (a.k.a. conversion operation). |
332 class InstCast : public Inst { | 351 class InstCast : public InstHighLevel { |
333 public: | 352 public: |
334 enum OpKind { | 353 enum OpKind { |
335 #define X(tag, str) tag, | 354 #define X(tag, str) tag, |
336 ICEINSTCAST_TABLE | 355 ICEINSTCAST_TABLE |
337 #undef X | 356 #undef X |
338 _num | 357 _num |
339 }; | 358 }; |
340 | 359 |
341 static InstCast *create(Cfg *Func, OpKind CastKind, Variable *Dest, | 360 static InstCast *create(Cfg *Func, OpKind CastKind, Variable *Dest, |
342 Operand *Source) { | 361 Operand *Source) { |
343 return new (Func->allocateInst<InstCast>()) | 362 return new (Func->allocateInst<InstCast>()) |
344 InstCast(Func, CastKind, Dest, Source); | 363 InstCast(Func, CastKind, Dest, Source); |
345 } | 364 } |
346 OpKind getCastKind() const { return CastKind; } | 365 OpKind getCastKind() const { return CastKind; } |
347 virtual void dump(const Cfg *Func) const; | 366 void dump(const Cfg *Func) const override; |
348 static bool classof(const Inst *Inst) { return Inst->getKind() == Cast; } | 367 static bool classof(const Inst *Inst) { return Inst->getKind() == Cast; } |
349 | 368 |
350 private: | 369 private: |
351 InstCast(Cfg *Func, OpKind CastKind, Variable *Dest, Operand *Source); | 370 InstCast(Cfg *Func, OpKind CastKind, Variable *Dest, Operand *Source); |
352 InstCast(const InstCast &) LLVM_DELETED_FUNCTION; | 371 InstCast(const InstCast &) LLVM_DELETED_FUNCTION; |
353 InstCast &operator=(const InstCast &) LLVM_DELETED_FUNCTION; | 372 InstCast &operator=(const InstCast &) LLVM_DELETED_FUNCTION; |
354 virtual ~InstCast() {} | 373 ~InstCast() override {} |
355 const OpKind CastKind; | 374 const OpKind CastKind; |
356 }; | 375 }; |
357 | 376 |
358 // ExtractElement instruction. | 377 // ExtractElement instruction. |
359 class InstExtractElement : public Inst { | 378 class InstExtractElement : public InstHighLevel { |
360 public: | 379 public: |
361 static InstExtractElement *create(Cfg *Func, Variable *Dest, Operand *Source1, | 380 static InstExtractElement *create(Cfg *Func, Variable *Dest, Operand *Source1, |
362 Operand *Source2) { | 381 Operand *Source2) { |
363 return new (Func->allocateInst<InstExtractElement>()) | 382 return new (Func->allocateInst<InstExtractElement>()) |
364 InstExtractElement(Func, Dest, Source1, Source2); | 383 InstExtractElement(Func, Dest, Source1, Source2); |
365 } | 384 } |
366 | 385 |
367 virtual void dump(const Cfg *Func) const; | 386 void dump(const Cfg *Func) const override; |
368 static bool classof(const Inst *Inst) { | 387 static bool classof(const Inst *Inst) { |
369 return Inst->getKind() == ExtractElement; | 388 return Inst->getKind() == ExtractElement; |
370 } | 389 } |
371 | 390 |
372 private: | 391 private: |
373 InstExtractElement(Cfg *Func, Variable *Dest, Operand *Source1, | 392 InstExtractElement(Cfg *Func, Variable *Dest, Operand *Source1, |
374 Operand *Source2); | 393 Operand *Source2); |
375 InstExtractElement(const InstExtractElement &) LLVM_DELETED_FUNCTION; | 394 InstExtractElement(const InstExtractElement &) LLVM_DELETED_FUNCTION; |
376 InstExtractElement & | 395 InstExtractElement & |
377 operator=(const InstExtractElement &) LLVM_DELETED_FUNCTION; | 396 operator=(const InstExtractElement &) LLVM_DELETED_FUNCTION; |
378 virtual ~InstExtractElement() {} | 397 ~InstExtractElement() override {} |
379 }; | 398 }; |
380 | 399 |
381 // Floating-point comparison instruction. The source operands are | 400 // Floating-point comparison instruction. The source operands are |
382 // captured in getSrc(0) and getSrc(1). | 401 // captured in getSrc(0) and getSrc(1). |
383 class InstFcmp : public Inst { | 402 class InstFcmp : public InstHighLevel { |
384 public: | 403 public: |
385 enum FCond { | 404 enum FCond { |
386 #define X(tag, str) tag, | 405 #define X(tag, str) tag, |
387 ICEINSTFCMP_TABLE | 406 ICEINSTFCMP_TABLE |
388 #undef X | 407 #undef X |
389 _num | 408 _num |
390 }; | 409 }; |
391 | 410 |
392 static InstFcmp *create(Cfg *Func, FCond Condition, Variable *Dest, | 411 static InstFcmp *create(Cfg *Func, FCond Condition, Variable *Dest, |
393 Operand *Source1, Operand *Source2) { | 412 Operand *Source1, Operand *Source2) { |
394 return new (Func->allocateInst<InstFcmp>()) | 413 return new (Func->allocateInst<InstFcmp>()) |
395 InstFcmp(Func, Condition, Dest, Source1, Source2); | 414 InstFcmp(Func, Condition, Dest, Source1, Source2); |
396 } | 415 } |
397 FCond getCondition() const { return Condition; } | 416 FCond getCondition() const { return Condition; } |
398 virtual void dump(const Cfg *Func) const; | 417 void dump(const Cfg *Func) const override; |
399 static bool classof(const Inst *Inst) { return Inst->getKind() == Fcmp; } | 418 static bool classof(const Inst *Inst) { return Inst->getKind() == Fcmp; } |
400 | 419 |
401 private: | 420 private: |
402 InstFcmp(Cfg *Func, FCond Condition, Variable *Dest, Operand *Source1, | 421 InstFcmp(Cfg *Func, FCond Condition, Variable *Dest, Operand *Source1, |
403 Operand *Source2); | 422 Operand *Source2); |
404 InstFcmp(const InstFcmp &) LLVM_DELETED_FUNCTION; | 423 InstFcmp(const InstFcmp &) LLVM_DELETED_FUNCTION; |
405 InstFcmp &operator=(const InstFcmp &) LLVM_DELETED_FUNCTION; | 424 InstFcmp &operator=(const InstFcmp &) LLVM_DELETED_FUNCTION; |
406 virtual ~InstFcmp() {} | 425 ~InstFcmp() override {} |
407 const FCond Condition; | 426 const FCond Condition; |
408 }; | 427 }; |
409 | 428 |
410 // Integer comparison instruction. The source operands are captured | 429 // Integer comparison instruction. The source operands are captured |
411 // in getSrc(0) and getSrc(1). | 430 // in getSrc(0) and getSrc(1). |
412 class InstIcmp : public Inst { | 431 class InstIcmp : public InstHighLevel { |
413 public: | 432 public: |
414 enum ICond { | 433 enum ICond { |
415 #define X(tag, str) tag, | 434 #define X(tag, str) tag, |
416 ICEINSTICMP_TABLE | 435 ICEINSTICMP_TABLE |
417 #undef X | 436 #undef X |
418 _num | 437 _num |
419 }; | 438 }; |
420 | 439 |
421 static InstIcmp *create(Cfg *Func, ICond Condition, Variable *Dest, | 440 static InstIcmp *create(Cfg *Func, ICond Condition, Variable *Dest, |
422 Operand *Source1, Operand *Source2) { | 441 Operand *Source1, Operand *Source2) { |
423 return new (Func->allocateInst<InstIcmp>()) | 442 return new (Func->allocateInst<InstIcmp>()) |
424 InstIcmp(Func, Condition, Dest, Source1, Source2); | 443 InstIcmp(Func, Condition, Dest, Source1, Source2); |
425 } | 444 } |
426 ICond getCondition() const { return Condition; } | 445 ICond getCondition() const { return Condition; } |
427 virtual void dump(const Cfg *Func) const; | 446 void dump(const Cfg *Func) const override; |
428 static bool classof(const Inst *Inst) { return Inst->getKind() == Icmp; } | 447 static bool classof(const Inst *Inst) { return Inst->getKind() == Icmp; } |
429 | 448 |
430 private: | 449 private: |
431 InstIcmp(Cfg *Func, ICond Condition, Variable *Dest, Operand *Source1, | 450 InstIcmp(Cfg *Func, ICond Condition, Variable *Dest, Operand *Source1, |
432 Operand *Source2); | 451 Operand *Source2); |
433 InstIcmp(const InstIcmp &) LLVM_DELETED_FUNCTION; | 452 InstIcmp(const InstIcmp &) LLVM_DELETED_FUNCTION; |
434 InstIcmp &operator=(const InstIcmp &) LLVM_DELETED_FUNCTION; | 453 InstIcmp &operator=(const InstIcmp &) LLVM_DELETED_FUNCTION; |
435 virtual ~InstIcmp() {} | 454 ~InstIcmp() override {} |
436 const ICond Condition; | 455 const ICond Condition; |
437 }; | 456 }; |
438 | 457 |
439 // InsertElement instruction. | 458 // InsertElement instruction. |
440 class InstInsertElement : public Inst { | 459 class InstInsertElement : public InstHighLevel { |
441 public: | 460 public: |
442 static InstInsertElement *create(Cfg *Func, Variable *Dest, Operand *Source1, | 461 static InstInsertElement *create(Cfg *Func, Variable *Dest, Operand *Source1, |
443 Operand *Source2, Operand *Source3) { | 462 Operand *Source2, Operand *Source3) { |
444 return new (Func->allocateInst<InstInsertElement>()) | 463 return new (Func->allocateInst<InstInsertElement>()) |
445 InstInsertElement(Func, Dest, Source1, Source2, Source3); | 464 InstInsertElement(Func, Dest, Source1, Source2, Source3); |
446 } | 465 } |
447 | 466 |
448 virtual void dump(const Cfg *Func) const; | 467 void dump(const Cfg *Func) const override; |
449 static bool classof(const Inst *Inst) { | 468 static bool classof(const Inst *Inst) { |
450 return Inst->getKind() == InsertElement; | 469 return Inst->getKind() == InsertElement; |
451 } | 470 } |
452 | 471 |
453 private: | 472 private: |
454 InstInsertElement(Cfg *Func, Variable *Dest, Operand *Source1, | 473 InstInsertElement(Cfg *Func, Variable *Dest, Operand *Source1, |
455 Operand *Source2, Operand *Source3); | 474 Operand *Source2, Operand *Source3); |
456 InstInsertElement(const InstInsertElement &) LLVM_DELETED_FUNCTION; | 475 InstInsertElement(const InstInsertElement &) LLVM_DELETED_FUNCTION; |
457 InstInsertElement &operator=(const InstInsertElement &) LLVM_DELETED_FUNCTION; | 476 InstInsertElement &operator=(const InstInsertElement &) LLVM_DELETED_FUNCTION; |
458 virtual ~InstInsertElement() {} | 477 ~InstInsertElement() override {} |
459 }; | 478 }; |
460 | 479 |
461 // Call to an intrinsic function. The call target is captured as getSrc(0), | 480 // Call to an intrinsic function. The call target is captured as getSrc(0), |
462 // and arg I is captured as getSrc(I+1). | 481 // and arg I is captured as getSrc(I+1). |
463 class InstIntrinsicCall : public InstCall { | 482 class InstIntrinsicCall : public InstCall { |
464 public: | 483 public: |
465 static InstIntrinsicCall *create(Cfg *Func, SizeT NumArgs, Variable *Dest, | 484 static InstIntrinsicCall *create(Cfg *Func, SizeT NumArgs, Variable *Dest, |
466 Operand *CallTarget, | 485 Operand *CallTarget, |
467 const Intrinsics::IntrinsicInfo &Info) { | 486 const Intrinsics::IntrinsicInfo &Info) { |
468 return new (Func->allocateInst<InstIntrinsicCall>()) | 487 return new (Func->allocateInst<InstIntrinsicCall>()) |
469 InstIntrinsicCall(Func, NumArgs, Dest, CallTarget, Info); | 488 InstIntrinsicCall(Func, NumArgs, Dest, CallTarget, Info); |
470 } | 489 } |
471 static bool classof(const Inst *Inst) { | 490 static bool classof(const Inst *Inst) { |
472 return Inst->getKind() == IntrinsicCall; | 491 return Inst->getKind() == IntrinsicCall; |
473 } | 492 } |
474 | 493 |
475 Intrinsics::IntrinsicInfo getIntrinsicInfo() const { return Info; } | 494 Intrinsics::IntrinsicInfo getIntrinsicInfo() const { return Info; } |
476 | 495 |
477 private: | 496 private: |
478 InstIntrinsicCall(Cfg *Func, SizeT NumArgs, Variable *Dest, | 497 InstIntrinsicCall(Cfg *Func, SizeT NumArgs, Variable *Dest, |
479 Operand *CallTarget, const Intrinsics::IntrinsicInfo &Info) | 498 Operand *CallTarget, const Intrinsics::IntrinsicInfo &Info) |
480 : InstCall(Func, NumArgs, Dest, CallTarget, false, Info.HasSideEffects, | 499 : InstCall(Func, NumArgs, Dest, CallTarget, false, Info.HasSideEffects, |
481 Inst::IntrinsicCall), | 500 Inst::IntrinsicCall), |
482 Info(Info) {} | 501 Info(Info) {} |
483 InstIntrinsicCall(const InstIntrinsicCall &) LLVM_DELETED_FUNCTION; | 502 InstIntrinsicCall(const InstIntrinsicCall &) LLVM_DELETED_FUNCTION; |
484 InstIntrinsicCall &operator=(const InstIntrinsicCall &) LLVM_DELETED_FUNCTION; | 503 InstIntrinsicCall &operator=(const InstIntrinsicCall &) LLVM_DELETED_FUNCTION; |
485 virtual ~InstIntrinsicCall() {} | 504 ~InstIntrinsicCall() override {} |
486 const Intrinsics::IntrinsicInfo Info; | 505 const Intrinsics::IntrinsicInfo Info; |
487 }; | 506 }; |
488 | 507 |
489 // Load instruction. The source address is captured in getSrc(0). | 508 // Load instruction. The source address is captured in getSrc(0). |
490 class InstLoad : public Inst { | 509 class InstLoad : public InstHighLevel { |
491 public: | 510 public: |
492 static InstLoad *create(Cfg *Func, Variable *Dest, Operand *SourceAddr, | 511 static InstLoad *create(Cfg *Func, Variable *Dest, Operand *SourceAddr, |
493 uint32_t align = 1) { | 512 uint32_t align = 1) { |
494 // TODO(kschimpf) Stop ignoring alignment specification. | 513 // TODO(kschimpf) Stop ignoring alignment specification. |
495 (void)align; | 514 (void)align; |
496 return new (Func->allocateInst<InstLoad>()) | 515 return new (Func->allocateInst<InstLoad>()) |
497 InstLoad(Func, Dest, SourceAddr); | 516 InstLoad(Func, Dest, SourceAddr); |
498 } | 517 } |
499 Operand *getSourceAddress() const { return getSrc(0); } | 518 Operand *getSourceAddress() const { return getSrc(0); } |
500 virtual void dump(const Cfg *Func) const; | 519 void dump(const Cfg *Func) const override; |
501 static bool classof(const Inst *Inst) { return Inst->getKind() == Load; } | 520 static bool classof(const Inst *Inst) { return Inst->getKind() == Load; } |
502 | 521 |
503 private: | 522 private: |
504 InstLoad(Cfg *Func, Variable *Dest, Operand *SourceAddr); | 523 InstLoad(Cfg *Func, Variable *Dest, Operand *SourceAddr); |
505 InstLoad(const InstLoad &) LLVM_DELETED_FUNCTION; | 524 InstLoad(const InstLoad &) LLVM_DELETED_FUNCTION; |
506 InstLoad &operator=(const InstLoad &) LLVM_DELETED_FUNCTION; | 525 InstLoad &operator=(const InstLoad &) LLVM_DELETED_FUNCTION; |
507 virtual ~InstLoad() {} | 526 ~InstLoad() override {} |
508 }; | 527 }; |
509 | 528 |
510 // Phi instruction. For incoming edge I, the node is Labels[I] and | 529 // Phi instruction. For incoming edge I, the node is Labels[I] and |
511 // the Phi source operand is getSrc(I). | 530 // the Phi source operand is getSrc(I). |
512 class InstPhi : public Inst { | 531 class InstPhi : public InstHighLevel { |
513 public: | 532 public: |
514 static InstPhi *create(Cfg *Func, SizeT MaxSrcs, Variable *Dest) { | 533 static InstPhi *create(Cfg *Func, SizeT MaxSrcs, Variable *Dest) { |
515 return new (Func->allocateInst<InstPhi>()) InstPhi(Func, MaxSrcs, Dest); | 534 return new (Func->allocateInst<InstPhi>()) InstPhi(Func, MaxSrcs, Dest); |
516 } | 535 } |
517 void addArgument(Operand *Source, CfgNode *Label); | 536 void addArgument(Operand *Source, CfgNode *Label); |
518 Operand *getOperandForTarget(CfgNode *Target) const; | 537 Operand *getOperandForTarget(CfgNode *Target) const; |
519 void livenessPhiOperand(llvm::BitVector &Live, CfgNode *Target, | 538 void livenessPhiOperand(llvm::BitVector &Live, CfgNode *Target, |
520 Liveness *Liveness); | 539 Liveness *Liveness); |
521 Inst *lower(Cfg *Func); | 540 Inst *lower(Cfg *Func); |
522 virtual void dump(const Cfg *Func) const; | 541 void dump(const Cfg *Func) const override; |
523 static bool classof(const Inst *Inst) { return Inst->getKind() == Phi; } | 542 static bool classof(const Inst *Inst) { return Inst->getKind() == Phi; } |
524 | 543 |
525 private: | 544 private: |
526 InstPhi(Cfg *Func, SizeT MaxSrcs, Variable *Dest); | 545 InstPhi(Cfg *Func, SizeT MaxSrcs, Variable *Dest); |
527 InstPhi(const InstPhi &) LLVM_DELETED_FUNCTION; | 546 InstPhi(const InstPhi &) LLVM_DELETED_FUNCTION; |
528 InstPhi &operator=(const InstPhi &) LLVM_DELETED_FUNCTION; | 547 InstPhi &operator=(const InstPhi &) LLVM_DELETED_FUNCTION; |
529 virtual void destroy(Cfg *Func) { | 548 void destroy(Cfg *Func) override { |
530 Func->deallocateArrayOf<CfgNode *>(Labels); | 549 Func->deallocateArrayOf<CfgNode *>(Labels); |
531 Inst::destroy(Func); | 550 Inst::destroy(Func); |
532 } | 551 } |
533 virtual ~InstPhi() {} | 552 ~InstPhi() override {} |
534 | 553 |
535 // Labels[] duplicates the InEdges[] information in the enclosing | 554 // Labels[] duplicates the InEdges[] information in the enclosing |
536 // CfgNode, but the Phi instruction is created before InEdges[] | 555 // CfgNode, but the Phi instruction is created before InEdges[] |
537 // is available, so it's more complicated to share the list. | 556 // is available, so it's more complicated to share the list. |
538 CfgNode **Labels; | 557 CfgNode **Labels; |
539 }; | 558 }; |
540 | 559 |
541 // Ret instruction. The return value is captured in getSrc(0), but if | 560 // Ret instruction. The return value is captured in getSrc(0), but if |
542 // there is no return value (void-type function), then | 561 // there is no return value (void-type function), then |
543 // getSrcSize()==0 and hasRetValue()==false. | 562 // getSrcSize()==0 and hasRetValue()==false. |
544 class InstRet : public Inst { | 563 class InstRet : public InstHighLevel { |
545 public: | 564 public: |
546 static InstRet *create(Cfg *Func, Operand *RetValue = NULL) { | 565 static InstRet *create(Cfg *Func, Operand *RetValue = NULL) { |
547 return new (Func->allocateInst<InstRet>()) InstRet(Func, RetValue); | 566 return new (Func->allocateInst<InstRet>()) InstRet(Func, RetValue); |
548 } | 567 } |
549 bool hasRetValue() const { return getSrcSize(); } | 568 bool hasRetValue() const { return getSrcSize(); } |
550 Operand *getRetValue() const { | 569 Operand *getRetValue() const { |
551 assert(hasRetValue()); | 570 assert(hasRetValue()); |
552 return getSrc(0); | 571 return getSrc(0); |
553 } | 572 } |
554 virtual NodeList getTerminatorEdges() const { return NodeList(); } | 573 NodeList getTerminatorEdges() const override { return NodeList(); } |
555 virtual void dump(const Cfg *Func) const; | 574 void dump(const Cfg *Func) const override; |
556 static bool classof(const Inst *Inst) { return Inst->getKind() == Ret; } | 575 static bool classof(const Inst *Inst) { return Inst->getKind() == Ret; } |
557 | 576 |
558 private: | 577 private: |
559 InstRet(Cfg *Func, Operand *RetValue); | 578 InstRet(Cfg *Func, Operand *RetValue); |
560 InstRet(const InstRet &) LLVM_DELETED_FUNCTION; | 579 InstRet(const InstRet &) LLVM_DELETED_FUNCTION; |
561 InstRet &operator=(const InstRet &) LLVM_DELETED_FUNCTION; | 580 InstRet &operator=(const InstRet &) LLVM_DELETED_FUNCTION; |
562 virtual ~InstRet() {} | 581 ~InstRet() override {} |
563 }; | 582 }; |
564 | 583 |
565 // Select instruction. The condition, true, and false operands are captured. | 584 // Select instruction. The condition, true, and false operands are captured. |
566 class InstSelect : public Inst { | 585 class InstSelect : public InstHighLevel { |
567 public: | 586 public: |
568 static InstSelect *create(Cfg *Func, Variable *Dest, Operand *Condition, | 587 static InstSelect *create(Cfg *Func, Variable *Dest, Operand *Condition, |
569 Operand *SourceTrue, Operand *SourceFalse) { | 588 Operand *SourceTrue, Operand *SourceFalse) { |
570 return new (Func->allocateInst<InstSelect>()) | 589 return new (Func->allocateInst<InstSelect>()) |
571 InstSelect(Func, Dest, Condition, SourceTrue, SourceFalse); | 590 InstSelect(Func, Dest, Condition, SourceTrue, SourceFalse); |
572 } | 591 } |
573 Operand *getCondition() const { return getSrc(0); } | 592 Operand *getCondition() const { return getSrc(0); } |
574 Operand *getTrueOperand() const { return getSrc(1); } | 593 Operand *getTrueOperand() const { return getSrc(1); } |
575 Operand *getFalseOperand() const { return getSrc(2); } | 594 Operand *getFalseOperand() const { return getSrc(2); } |
576 virtual void dump(const Cfg *Func) const; | 595 void dump(const Cfg *Func) const override; |
577 static bool classof(const Inst *Inst) { return Inst->getKind() == Select; } | 596 static bool classof(const Inst *Inst) { return Inst->getKind() == Select; } |
578 | 597 |
579 private: | 598 private: |
580 InstSelect(Cfg *Func, Variable *Dest, Operand *Condition, Operand *Source1, | 599 InstSelect(Cfg *Func, Variable *Dest, Operand *Condition, Operand *Source1, |
581 Operand *Source2); | 600 Operand *Source2); |
582 InstSelect(const InstSelect &) LLVM_DELETED_FUNCTION; | 601 InstSelect(const InstSelect &) LLVM_DELETED_FUNCTION; |
583 InstSelect &operator=(const InstSelect &) LLVM_DELETED_FUNCTION; | 602 InstSelect &operator=(const InstSelect &) LLVM_DELETED_FUNCTION; |
584 virtual ~InstSelect() {} | 603 ~InstSelect() override {} |
585 }; | 604 }; |
586 | 605 |
587 // Store instruction. The address operand is captured, along with the | 606 // Store instruction. The address operand is captured, along with the |
588 // data operand to be stored into the address. | 607 // data operand to be stored into the address. |
589 class InstStore : public Inst { | 608 class InstStore : public InstHighLevel { |
590 public: | 609 public: |
591 static InstStore *create(Cfg *Func, Operand *Data, Operand *Addr, | 610 static InstStore *create(Cfg *Func, Operand *Data, Operand *Addr, |
592 uint32_t align = 1) { | 611 uint32_t align = 1) { |
593 // TODO(kschimpf) Stop ignoring alignment specification. | 612 // TODO(kschimpf) Stop ignoring alignment specification. |
594 (void)align; | 613 (void)align; |
595 return new (Func->allocateInst<InstStore>()) InstStore(Func, Data, Addr); | 614 return new (Func->allocateInst<InstStore>()) InstStore(Func, Data, Addr); |
596 } | 615 } |
597 Operand *getAddr() const { return getSrc(1); } | 616 Operand *getAddr() const { return getSrc(1); } |
598 Operand *getData() const { return getSrc(0); } | 617 Operand *getData() const { return getSrc(0); } |
599 virtual void dump(const Cfg *Func) const; | 618 void dump(const Cfg *Func) const override; |
600 static bool classof(const Inst *Inst) { return Inst->getKind() == Store; } | 619 static bool classof(const Inst *Inst) { return Inst->getKind() == Store; } |
601 | 620 |
602 private: | 621 private: |
603 InstStore(Cfg *Func, Operand *Data, Operand *Addr); | 622 InstStore(Cfg *Func, Operand *Data, Operand *Addr); |
604 InstStore(const InstStore &) LLVM_DELETED_FUNCTION; | 623 InstStore(const InstStore &) LLVM_DELETED_FUNCTION; |
605 InstStore &operator=(const InstStore &) LLVM_DELETED_FUNCTION; | 624 InstStore &operator=(const InstStore &) LLVM_DELETED_FUNCTION; |
606 virtual ~InstStore() {} | 625 ~InstStore() override {} |
607 }; | 626 }; |
608 | 627 |
609 // Switch instruction. The single source operand is captured as | 628 // Switch instruction. The single source operand is captured as |
610 // getSrc(0). | 629 // getSrc(0). |
611 class InstSwitch : public Inst { | 630 class InstSwitch : public InstHighLevel { |
612 public: | 631 public: |
613 static InstSwitch *create(Cfg *Func, SizeT NumCases, Operand *Source, | 632 static InstSwitch *create(Cfg *Func, SizeT NumCases, Operand *Source, |
614 CfgNode *LabelDefault) { | 633 CfgNode *LabelDefault) { |
615 return new (Func->allocateInst<InstSwitch>()) | 634 return new (Func->allocateInst<InstSwitch>()) |
616 InstSwitch(Func, NumCases, Source, LabelDefault); | 635 InstSwitch(Func, NumCases, Source, LabelDefault); |
617 } | 636 } |
618 Operand *getComparison() const { return getSrc(0); } | 637 Operand *getComparison() const { return getSrc(0); } |
619 CfgNode *getLabelDefault() const { return LabelDefault; } | 638 CfgNode *getLabelDefault() const { return LabelDefault; } |
620 SizeT getNumCases() const { return NumCases; } | 639 SizeT getNumCases() const { return NumCases; } |
621 uint64_t getValue(SizeT I) const { | 640 uint64_t getValue(SizeT I) const { |
622 assert(I < NumCases); | 641 assert(I < NumCases); |
623 return Values[I]; | 642 return Values[I]; |
624 } | 643 } |
625 CfgNode *getLabel(SizeT I) const { | 644 CfgNode *getLabel(SizeT I) const { |
626 assert(I < NumCases); | 645 assert(I < NumCases); |
627 return Labels[I]; | 646 return Labels[I]; |
628 } | 647 } |
629 void addBranch(SizeT CaseIndex, uint64_t Value, CfgNode *Label); | 648 void addBranch(SizeT CaseIndex, uint64_t Value, CfgNode *Label); |
630 virtual NodeList getTerminatorEdges() const; | 649 NodeList getTerminatorEdges() const override; |
631 virtual void dump(const Cfg *Func) const; | 650 void dump(const Cfg *Func) const override; |
632 static bool classof(const Inst *Inst) { return Inst->getKind() == Switch; } | 651 static bool classof(const Inst *Inst) { return Inst->getKind() == Switch; } |
633 | 652 |
634 private: | 653 private: |
635 InstSwitch(Cfg *Func, SizeT NumCases, Operand *Source, CfgNode *LabelDefault); | 654 InstSwitch(Cfg *Func, SizeT NumCases, Operand *Source, CfgNode *LabelDefault); |
636 InstSwitch(const InstSwitch &) LLVM_DELETED_FUNCTION; | 655 InstSwitch(const InstSwitch &) LLVM_DELETED_FUNCTION; |
637 InstSwitch &operator=(const InstSwitch &) LLVM_DELETED_FUNCTION; | 656 InstSwitch &operator=(const InstSwitch &) LLVM_DELETED_FUNCTION; |
638 virtual void destroy(Cfg *Func) { | 657 void destroy(Cfg *Func) override { |
639 Func->deallocateArrayOf<uint64_t>(Values); | 658 Func->deallocateArrayOf<uint64_t>(Values); |
640 Func->deallocateArrayOf<CfgNode *>(Labels); | 659 Func->deallocateArrayOf<CfgNode *>(Labels); |
641 Inst::destroy(Func); | 660 Inst::destroy(Func); |
642 } | 661 } |
643 virtual ~InstSwitch() {} | 662 ~InstSwitch() override {} |
644 | 663 |
645 CfgNode *LabelDefault; | 664 CfgNode *LabelDefault; |
646 SizeT NumCases; // not including the default case | 665 SizeT NumCases; // not including the default case |
647 uint64_t *Values; // size is NumCases | 666 uint64_t *Values; // size is NumCases |
648 CfgNode **Labels; // size is NumCases | 667 CfgNode **Labels; // size is NumCases |
649 }; | 668 }; |
650 | 669 |
651 // Unreachable instruction. This is a terminator instruction with no | 670 // Unreachable instruction. This is a terminator instruction with no |
652 // operands. | 671 // operands. |
653 class InstUnreachable : public Inst { | 672 class InstUnreachable : public InstHighLevel { |
654 public: | 673 public: |
655 static InstUnreachable *create(Cfg *Func) { | 674 static InstUnreachable *create(Cfg *Func) { |
656 return new (Func->allocateInst<InstUnreachable>()) InstUnreachable(Func); | 675 return new (Func->allocateInst<InstUnreachable>()) InstUnreachable(Func); |
657 } | 676 } |
658 virtual NodeList getTerminatorEdges() const { return NodeList(); } | 677 NodeList getTerminatorEdges() const override { return NodeList(); } |
659 virtual void dump(const Cfg *Func) const; | 678 void dump(const Cfg *Func) const override; |
660 static bool classof(const Inst *Inst) { | 679 static bool classof(const Inst *Inst) { |
661 return Inst->getKind() == Unreachable; | 680 return Inst->getKind() == Unreachable; |
662 } | 681 } |
663 | 682 |
664 private: | 683 private: |
665 InstUnreachable(Cfg *Func); | 684 InstUnreachable(Cfg *Func); |
666 InstUnreachable(const InstUnreachable &) LLVM_DELETED_FUNCTION; | 685 InstUnreachable(const InstUnreachable &) LLVM_DELETED_FUNCTION; |
667 InstUnreachable &operator=(const InstUnreachable &) LLVM_DELETED_FUNCTION; | 686 InstUnreachable &operator=(const InstUnreachable &) LLVM_DELETED_FUNCTION; |
668 virtual ~InstUnreachable() {} | 687 ~InstUnreachable() override {} |
669 }; | 688 }; |
670 | 689 |
671 // FakeDef instruction. This creates a fake definition of a variable, | 690 // FakeDef instruction. This creates a fake definition of a variable, |
672 // which is how we represent the case when an instruction produces | 691 // which is how we represent the case when an instruction produces |
673 // multiple results. This doesn't happen with high-level ICE | 692 // multiple results. This doesn't happen with high-level ICE |
674 // instructions, but might with lowered instructions. For example, | 693 // instructions, but might with lowered instructions. For example, |
675 // this would be a way to represent condition flags being modified by | 694 // this would be a way to represent condition flags being modified by |
676 // an instruction. | 695 // an instruction. |
677 // | 696 // |
678 // It's generally useful to set the optional source operand to be the | 697 // It's generally useful to set the optional source operand to be the |
679 // dest variable of the instruction that actually produces the FakeDef | 698 // dest variable of the instruction that actually produces the FakeDef |
680 // dest. Otherwise, the original instruction could be dead-code | 699 // dest. Otherwise, the original instruction could be dead-code |
681 // eliminated if its dest operand is unused, and therefore the FakeDef | 700 // eliminated if its dest operand is unused, and therefore the FakeDef |
682 // dest wouldn't be properly initialized. | 701 // dest wouldn't be properly initialized. |
683 class InstFakeDef : public Inst { | 702 class InstFakeDef : public InstHighLevel { |
684 public: | 703 public: |
685 static InstFakeDef *create(Cfg *Func, Variable *Dest, Variable *Src = NULL) { | 704 static InstFakeDef *create(Cfg *Func, Variable *Dest, Variable *Src = NULL) { |
686 return new (Func->allocateInst<InstFakeDef>()) InstFakeDef(Func, Dest, Src); | 705 return new (Func->allocateInst<InstFakeDef>()) InstFakeDef(Func, Dest, Src); |
687 } | 706 } |
688 virtual void emit(const Cfg *Func) const; | 707 void emit(const Cfg *Func) const override; |
689 virtual void dump(const Cfg *Func) const; | 708 void emitIAS(const Cfg *Func) const override { emit(Func); } |
709 void dump(const Cfg *Func) const override; | |
690 static bool classof(const Inst *Inst) { return Inst->getKind() == FakeDef; } | 710 static bool classof(const Inst *Inst) { return Inst->getKind() == FakeDef; } |
691 | 711 |
692 private: | 712 private: |
693 InstFakeDef(Cfg *Func, Variable *Dest, Variable *Src); | 713 InstFakeDef(Cfg *Func, Variable *Dest, Variable *Src); |
694 InstFakeDef(const InstFakeDef &) LLVM_DELETED_FUNCTION; | 714 InstFakeDef(const InstFakeDef &) LLVM_DELETED_FUNCTION; |
695 InstFakeDef &operator=(const InstFakeDef &) LLVM_DELETED_FUNCTION; | 715 InstFakeDef &operator=(const InstFakeDef &) LLVM_DELETED_FUNCTION; |
696 virtual ~InstFakeDef() {} | 716 ~InstFakeDef() override {} |
697 }; | 717 }; |
698 | 718 |
699 // FakeUse instruction. This creates a fake use of a variable, to | 719 // FakeUse instruction. This creates a fake use of a variable, to |
700 // keep the instruction that produces that variable from being | 720 // keep the instruction that produces that variable from being |
701 // dead-code eliminated. This is useful in a variety of lowering | 721 // dead-code eliminated. This is useful in a variety of lowering |
702 // situations. The FakeUse instruction has no dest, so it can itself | 722 // situations. The FakeUse instruction has no dest, so it can itself |
703 // never be dead-code eliminated. | 723 // never be dead-code eliminated. |
704 class InstFakeUse : public Inst { | 724 class InstFakeUse : public InstHighLevel { |
705 public: | 725 public: |
706 static InstFakeUse *create(Cfg *Func, Variable *Src) { | 726 static InstFakeUse *create(Cfg *Func, Variable *Src) { |
707 return new (Func->allocateInst<InstFakeUse>()) InstFakeUse(Func, Src); | 727 return new (Func->allocateInst<InstFakeUse>()) InstFakeUse(Func, Src); |
708 } | 728 } |
709 virtual void emit(const Cfg *Func) const; | 729 void emit(const Cfg *Func) const override; |
710 virtual void dump(const Cfg *Func) const; | 730 void emitIAS(const Cfg *Func) const override { emit(Func); } |
731 void dump(const Cfg *Func) const override; | |
711 static bool classof(const Inst *Inst) { return Inst->getKind() == FakeUse; } | 732 static bool classof(const Inst *Inst) { return Inst->getKind() == FakeUse; } |
712 | 733 |
713 private: | 734 private: |
714 InstFakeUse(Cfg *Func, Variable *Src); | 735 InstFakeUse(Cfg *Func, Variable *Src); |
715 InstFakeUse(const InstFakeUse &) LLVM_DELETED_FUNCTION; | 736 InstFakeUse(const InstFakeUse &) LLVM_DELETED_FUNCTION; |
716 InstFakeUse &operator=(const InstFakeUse &) LLVM_DELETED_FUNCTION; | 737 InstFakeUse &operator=(const InstFakeUse &) LLVM_DELETED_FUNCTION; |
717 virtual ~InstFakeUse() {} | 738 ~InstFakeUse() override {} |
718 }; | 739 }; |
719 | 740 |
720 // FakeKill instruction. This "kills" a set of variables by adding a | 741 // FakeKill instruction. This "kills" a set of variables by adding a |
721 // trivial live range at this instruction to each variable. The | 742 // trivial live range at this instruction to each variable. The |
722 // primary use is to indicate that scratch registers are killed after | 743 // primary use is to indicate that scratch registers are killed after |
723 // a call, so that the register allocator won't assign a scratch | 744 // a call, so that the register allocator won't assign a scratch |
724 // register to a variable whose live range spans a call. | 745 // register to a variable whose live range spans a call. |
725 // | 746 // |
726 // The FakeKill instruction also holds a pointer to the instruction | 747 // The FakeKill instruction also holds a pointer to the instruction |
727 // that kills the set of variables, so that if that linked instruction | 748 // that kills the set of variables, so that if that linked instruction |
728 // gets dead-code eliminated, the FakeKill instruction will as well. | 749 // gets dead-code eliminated, the FakeKill instruction will as well. |
729 class InstFakeKill : public Inst { | 750 class InstFakeKill : public InstHighLevel { |
730 public: | 751 public: |
731 static InstFakeKill *create(Cfg *Func, const VarList &KilledRegs, | 752 static InstFakeKill *create(Cfg *Func, const VarList &KilledRegs, |
732 const Inst *Linked) { | 753 const Inst *Linked) { |
733 return new (Func->allocateInst<InstFakeKill>()) | 754 return new (Func->allocateInst<InstFakeKill>()) |
734 InstFakeKill(Func, KilledRegs, Linked); | 755 InstFakeKill(Func, KilledRegs, Linked); |
735 } | 756 } |
736 const Inst *getLinked() const { return Linked; } | 757 const Inst *getLinked() const { return Linked; } |
737 virtual void emit(const Cfg *Func) const; | 758 void emit(const Cfg *Func) const override; |
738 virtual void dump(const Cfg *Func) const; | 759 void emitIAS(const Cfg *Func) const override { emit(Func); } |
jvoung (off chromium)
2014/09/26 16:13:49
At some point we will have to rely on dump to noti
Jim Stichnoth
2014/09/26 16:27:23
Now that you mention it, there's not much reason t
| |
760 void dump(const Cfg *Func) const override; | |
739 static bool classof(const Inst *Inst) { return Inst->getKind() == FakeKill; } | 761 static bool classof(const Inst *Inst) { return Inst->getKind() == FakeKill; } |
740 | 762 |
741 private: | 763 private: |
742 InstFakeKill(Cfg *Func, const VarList &KilledRegs, const Inst *Linked); | 764 InstFakeKill(Cfg *Func, const VarList &KilledRegs, const Inst *Linked); |
743 InstFakeKill(const InstFakeKill &) LLVM_DELETED_FUNCTION; | 765 InstFakeKill(const InstFakeKill &) LLVM_DELETED_FUNCTION; |
744 InstFakeKill &operator=(const InstFakeKill &) LLVM_DELETED_FUNCTION; | 766 InstFakeKill &operator=(const InstFakeKill &) LLVM_DELETED_FUNCTION; |
745 virtual ~InstFakeKill() {} | 767 ~InstFakeKill() override {} |
746 | 768 |
747 // This instruction is ignored if Linked->isDeleted() is true. | 769 // This instruction is ignored if Linked->isDeleted() is true. |
748 const Inst *Linked; | 770 const Inst *Linked; |
749 }; | 771 }; |
750 | 772 |
751 // The Target instruction is the base class for all target-specific | 773 // The Target instruction is the base class for all target-specific |
752 // instructions. | 774 // instructions. |
753 class InstTarget : public Inst { | 775 class InstTarget : public Inst { |
776 InstTarget(const InstTarget &) LLVM_DELETED_FUNCTION; | |
777 InstTarget &operator=(const InstTarget &) LLVM_DELETED_FUNCTION; | |
778 | |
754 public: | 779 public: |
755 virtual uint32_t getEmitInstCount() const { return 1; } | 780 uint32_t getEmitInstCount() const override { return 1; } |
756 virtual void emit(const Cfg *Func) const = 0; | 781 void dump(const Cfg *Func) const override; |
757 virtual void dump(const Cfg *Func) const; | |
758 virtual void dumpExtras(const Cfg *Func) const; | |
759 static bool classof(const Inst *Inst) { return Inst->getKind() >= Target; } | 782 static bool classof(const Inst *Inst) { return Inst->getKind() >= Target; } |
760 | 783 |
761 protected: | 784 protected: |
762 InstTarget(Cfg *Func, InstKind Kind, SizeT MaxSrcs, Variable *Dest) | 785 InstTarget(Cfg *Func, InstKind Kind, SizeT MaxSrcs, Variable *Dest) |
763 : Inst(Func, Kind, MaxSrcs, Dest) { | 786 : Inst(Func, Kind, MaxSrcs, Dest) { |
764 assert(Kind >= Target); | 787 assert(Kind >= Target); |
765 } | 788 } |
766 InstTarget(const InstTarget &) LLVM_DELETED_FUNCTION; | 789 void emitIAS(const Cfg *Func) const override { emit(Func); } |
767 InstTarget &operator=(const InstTarget &) LLVM_DELETED_FUNCTION; | 790 ~InstTarget() override {} |
768 virtual ~InstTarget() {} | |
769 }; | 791 }; |
770 | 792 |
771 } // end of namespace Ice | 793 } // end of namespace Ice |
772 | 794 |
773 #endif // SUBZERO_SRC_ICEINST_H | 795 #endif // SUBZERO_SRC_ICEINST_H |
OLD | NEW |