• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===-- llvm/CodeGen/GlobalISel/MachineIRBuilder.h - MIBuilder --*- C++ -*-===//
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 /// \file
10 /// This file declares the MachineIRBuilder class.
11 /// This is a helper class to build MachineInstr.
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLVM_CODEGEN_GLOBALISEL_MACHINEIRBUILDER_H
15 #define LLVM_CODEGEN_GLOBALISEL_MACHINEIRBUILDER_H
16 
17 #include "llvm/CodeGen/GlobalISel/Types.h"
18 
19 #include "llvm/CodeGen/LowLevelType.h"
20 #include "llvm/CodeGen/MachineBasicBlock.h"
21 #include "llvm/CodeGen/MachineInstrBuilder.h"
22 #include "llvm/CodeGen/MachineRegisterInfo.h"
23 #include "llvm/IR/Constants.h"
24 #include "llvm/IR/DebugLoc.h"
25 
26 
27 namespace llvm {
28 
29 // Forward declarations.
30 class MachineFunction;
31 class MachineInstr;
32 class TargetInstrInfo;
33 
34 /// Class which stores all the state required in a MachineIRBuilder.
35 /// Since MachineIRBuilders will only store state in this object, it allows
36 /// to transfer BuilderState between different kinds of MachineIRBuilders.
37 struct MachineIRBuilderState {
38   /// MachineFunction under construction.
39   MachineFunction *MF;
40   /// Information used to access the description of the opcodes.
41   const TargetInstrInfo *TII;
42   /// Information used to verify types are consistent and to create virtual registers.
43   MachineRegisterInfo *MRI;
44   /// Debug location to be set to any instruction we create.
45   DebugLoc DL;
46 
47   /// \name Fields describing the insertion point.
48   /// @{
49   MachineBasicBlock *MBB;
50   MachineBasicBlock::iterator II;
51   /// @}
52 
53   std::function<void(MachineInstr *)> InsertedInstr;
54 };
55 
56 /// Helper class to build MachineInstr.
57 /// It keeps internally the insertion point and debug location for all
58 /// the new instructions we want to create.
59 /// This information can be modify via the related setters.
60 class MachineIRBuilderBase {
61 
62   MachineIRBuilderState State;
getTII()63   const TargetInstrInfo &getTII() {
64     assert(State.TII && "TargetInstrInfo is not set");
65     return *State.TII;
66   }
67 
68   void validateTruncExt(unsigned Dst, unsigned Src, bool IsExtend);
69 
70 protected:
getDestFromArg(unsigned Reg)71   unsigned getDestFromArg(unsigned Reg) { return Reg; }
getDestFromArg(LLT Ty)72   unsigned getDestFromArg(LLT Ty) {
73     return getMF().getRegInfo().createGenericVirtualRegister(Ty);
74   }
getDestFromArg(const TargetRegisterClass * RC)75   unsigned getDestFromArg(const TargetRegisterClass *RC) {
76     return getMF().getRegInfo().createVirtualRegister(RC);
77   }
78 
addUseFromArg(MachineInstrBuilder & MIB,unsigned Reg)79   void addUseFromArg(MachineInstrBuilder &MIB, unsigned Reg) {
80     MIB.addUse(Reg);
81   }
82 
addUseFromArg(MachineInstrBuilder & MIB,const MachineInstrBuilder & UseMIB)83   void addUseFromArg(MachineInstrBuilder &MIB, const MachineInstrBuilder &UseMIB) {
84     MIB.addUse(UseMIB->getOperand(0).getReg());
85   }
86 
addUsesFromArgs(MachineInstrBuilder & MIB)87   void addUsesFromArgs(MachineInstrBuilder &MIB) { }
88   template<typename UseArgTy, typename ... UseArgsTy>
addUsesFromArgs(MachineInstrBuilder & MIB,UseArgTy && Arg1,UseArgsTy &&...Args)89   void addUsesFromArgs(MachineInstrBuilder &MIB, UseArgTy &&Arg1, UseArgsTy &&... Args) {
90     addUseFromArg(MIB, Arg1);
91     addUsesFromArgs(MIB, std::forward<UseArgsTy>(Args)...);
92   }
getRegFromArg(unsigned Reg)93   unsigned getRegFromArg(unsigned Reg) { return Reg; }
getRegFromArg(const MachineInstrBuilder & MIB)94   unsigned getRegFromArg(const MachineInstrBuilder &MIB) {
95     return MIB->getOperand(0).getReg();
96   }
97 
98   void validateBinaryOp(unsigned Res, unsigned Op0, unsigned Op1);
99 
100 public:
101   /// Some constructors for easy use.
102   MachineIRBuilderBase() = default;
MachineIRBuilderBase(MachineFunction & MF)103   MachineIRBuilderBase(MachineFunction &MF) { setMF(MF); }
MachineIRBuilderBase(MachineInstr & MI)104   MachineIRBuilderBase(MachineInstr &MI) : MachineIRBuilderBase(*MI.getMF()) {
105     setInstr(MI);
106   }
107 
MachineIRBuilderBase(const MachineIRBuilderState & BState)108   MachineIRBuilderBase(const MachineIRBuilderState &BState) : State(BState) {}
109 
110   /// Getter for the function we currently build.
getMF()111   MachineFunction &getMF() {
112     assert(State.MF && "MachineFunction is not set");
113     return *State.MF;
114   }
115 
116   /// Getter for DebugLoc
getDL()117   const DebugLoc &getDL() { return State.DL; }
118 
119   /// Getter for MRI
getMRI()120   MachineRegisterInfo *getMRI() { return State.MRI; }
121 
122   /// Getter for the State
getState()123   MachineIRBuilderState &getState() { return State; }
124 
125   /// Getter for the basic block we currently build.
getMBB()126   MachineBasicBlock &getMBB() {
127     assert(State.MBB && "MachineBasicBlock is not set");
128     return *State.MBB;
129   }
130 
131   /// Current insertion point for new instructions.
getInsertPt()132   MachineBasicBlock::iterator getInsertPt() { return State.II; }
133 
134   /// Set the insertion point before the specified position.
135   /// \pre MBB must be in getMF().
136   /// \pre II must be a valid iterator in MBB.
137   void setInsertPt(MachineBasicBlock &MBB, MachineBasicBlock::iterator II);
138   /// @}
139 
140   /// \name Setters for the insertion point.
141   /// @{
142   /// Set the MachineFunction where to build instructions.
143   void setMF(MachineFunction &);
144 
145   /// Set the insertion point to the  end of \p MBB.
146   /// \pre \p MBB must be contained by getMF().
147   void setMBB(MachineBasicBlock &MBB);
148 
149   /// Set the insertion point to before MI.
150   /// \pre MI must be in getMF().
151   void setInstr(MachineInstr &MI);
152   /// @}
153 
154   /// \name Control where instructions we create are recorded (typically for
155   /// visiting again later during legalization).
156   /// @{
157   void recordInsertion(MachineInstr *InsertedInstr) const;
158   void recordInsertions(std::function<void(MachineInstr *)> InsertedInstr);
159   void stopRecordingInsertions();
160   /// @}
161 
162   /// Set the debug location to \p DL for all the next build instructions.
setDebugLoc(const DebugLoc & DL)163   void setDebugLoc(const DebugLoc &DL) { this->State.DL = DL; }
164 
165   /// Get the current instruction's debug location.
getDebugLoc()166   DebugLoc getDebugLoc() { return State.DL; }
167 
168   /// Build and insert <empty> = \p Opcode <empty>.
169   /// The insertion point is the one set by the last call of either
170   /// setBasicBlock or setMI.
171   ///
172   /// \pre setBasicBlock or setMI must have been called.
173   ///
174   /// \return a MachineInstrBuilder for the newly created instruction.
175   MachineInstrBuilder buildInstr(unsigned Opcode);
176 
177   /// Build but don't insert <empty> = \p Opcode <empty>.
178   ///
179   /// \pre setMF, setBasicBlock or setMI  must have been called.
180   ///
181   /// \return a MachineInstrBuilder for the newly created instruction.
182   MachineInstrBuilder buildInstrNoInsert(unsigned Opcode);
183 
184   /// Insert an existing instruction at the insertion point.
185   MachineInstrBuilder insertInstr(MachineInstrBuilder MIB);
186 
187   /// Build and insert a DBG_VALUE instruction expressing the fact that the
188   /// associated \p Variable lives in \p Reg (suitably modified by \p Expr).
189   MachineInstrBuilder buildDirectDbgValue(unsigned Reg, const MDNode *Variable,
190                                           const MDNode *Expr);
191 
192   /// Build and insert a DBG_VALUE instruction expressing the fact that the
193   /// associated \p Variable lives in memory at \p Reg (suitably modified by \p
194   /// Expr).
195   MachineInstrBuilder buildIndirectDbgValue(unsigned Reg,
196                                             const MDNode *Variable,
197                                             const MDNode *Expr);
198 
199   /// Build and insert a DBG_VALUE instruction expressing the fact that the
200   /// associated \p Variable lives in the stack slot specified by \p FI
201   /// (suitably modified by \p Expr).
202   MachineInstrBuilder buildFIDbgValue(int FI, const MDNode *Variable,
203                                       const MDNode *Expr);
204 
205   /// Build and insert a DBG_VALUE instructions specifying that \p Variable is
206   /// given by \p C (suitably modified by \p Expr).
207   MachineInstrBuilder buildConstDbgValue(const Constant &C,
208                                          const MDNode *Variable,
209                                          const MDNode *Expr);
210 
211   /// Build and insert \p Res = G_FRAME_INDEX \p Idx
212   ///
213   /// G_FRAME_INDEX materializes the address of an alloca value or other
214   /// stack-based object.
215   ///
216   /// \pre setBasicBlock or setMI must have been called.
217   /// \pre \p Res must be a generic virtual register with pointer type.
218   ///
219   /// \return a MachineInstrBuilder for the newly created instruction.
220   MachineInstrBuilder buildFrameIndex(unsigned Res, int Idx);
221 
222   /// Build and insert \p Res = G_GLOBAL_VALUE \p GV
223   ///
224   /// G_GLOBAL_VALUE materializes the address of the specified global
225   /// into \p Res.
226   ///
227   /// \pre setBasicBlock or setMI must have been called.
228   /// \pre \p Res must be a generic virtual register with pointer type
229   ///      in the same address space as \p GV.
230   ///
231   /// \return a MachineInstrBuilder for the newly created instruction.
232   MachineInstrBuilder buildGlobalValue(unsigned Res, const GlobalValue *GV);
233 
234 
235   /// Build and insert \p Res = G_GEP \p Op0, \p Op1
236   ///
237   /// G_GEP adds \p Op1 bytes to the pointer specified by \p Op0,
238   /// storing the resulting pointer in \p Res.
239   ///
240   /// \pre setBasicBlock or setMI must have been called.
241   /// \pre \p Res and \p Op0 must be generic virtual registers with pointer
242   ///      type.
243   /// \pre \p Op1 must be a generic virtual register with scalar type.
244   ///
245   /// \return a MachineInstrBuilder for the newly created instruction.
246   MachineInstrBuilder buildGEP(unsigned Res, unsigned Op0,
247                                unsigned Op1);
248 
249   /// Materialize and insert \p Res = G_GEP \p Op0, (G_CONSTANT \p Value)
250   ///
251   /// G_GEP adds \p Value bytes to the pointer specified by \p Op0,
252   /// storing the resulting pointer in \p Res. If \p Value is zero then no
253   /// G_GEP or G_CONSTANT will be created and \pre Op0 will be assigned to
254   /// \p Res.
255   ///
256   /// \pre setBasicBlock or setMI must have been called.
257   /// \pre \p Op0 must be a generic virtual register with pointer type.
258   /// \pre \p ValueTy must be a scalar type.
259   /// \pre \p Res must be 0. This is to detect confusion between
260   ///      materializeGEP() and buildGEP().
261   /// \post \p Res will either be a new generic virtual register of the same
262   ///       type as \p Op0 or \p Op0 itself.
263   ///
264   /// \return a MachineInstrBuilder for the newly created instruction.
265   Optional<MachineInstrBuilder> materializeGEP(unsigned &Res, unsigned Op0,
266                                                const LLT &ValueTy,
267                                                uint64_t Value);
268 
269   /// Build and insert \p Res = G_PTR_MASK \p Op0, \p NumBits
270   ///
271   /// G_PTR_MASK clears the low bits of a pointer operand without destroying its
272   /// pointer properties. This has the effect of rounding the address *down* to
273   /// a specified alignment in bits.
274   ///
275   /// \pre setBasicBlock or setMI must have been called.
276   /// \pre \p Res and \p Op0 must be generic virtual registers with pointer
277   ///      type.
278   /// \pre \p NumBits must be an integer representing the number of low bits to
279   ///      be cleared in \p Op0.
280   ///
281   /// \return a MachineInstrBuilder for the newly created instruction.
282   MachineInstrBuilder buildPtrMask(unsigned Res, unsigned Op0,
283                                    uint32_t NumBits);
284 
285   /// Build and insert \p Res, \p CarryOut = G_UADDE \p Op0,
286   /// \p Op1, \p CarryIn
287   ///
288   /// G_UADDE sets \p Res to \p Op0 + \p Op1 + \p CarryIn (truncated to the bit
289   /// width) and sets \p CarryOut to 1 if the result overflowed in unsigned
290   /// arithmetic.
291   ///
292   /// \pre setBasicBlock or setMI must have been called.
293   /// \pre \p Res, \p Op0 and \p Op1 must be generic virtual registers
294   ///      with the same scalar type.
295   /// \pre \p CarryOut and \p CarryIn must be generic virtual
296   ///      registers with the same scalar type (typically s1)
297   ///
298   /// \return The newly created instruction.
299   MachineInstrBuilder buildUAdde(unsigned Res, unsigned CarryOut, unsigned Op0,
300                                  unsigned Op1, unsigned CarryIn);
301 
302 
303   /// Build and insert \p Res = G_ANYEXT \p Op0
304   ///
305   /// G_ANYEXT produces a register of the specified width, with bits 0 to
306   /// sizeof(\p Ty) * 8 set to \p Op. The remaining bits are unspecified
307   /// (i.e. this is neither zero nor sign-extension). For a vector register,
308   /// each element is extended individually.
309   ///
310   /// \pre setBasicBlock or setMI must have been called.
311   /// \pre \p Res must be a generic virtual register with scalar or vector type.
312   /// \pre \p Op must be a generic virtual register with scalar or vector type.
313   /// \pre \p Op must be smaller than \p Res
314   ///
315   /// \return The newly created instruction.
316 
317   MachineInstrBuilder buildAnyExt(unsigned Res, unsigned Op);
318   template <typename DstType, typename ArgType>
buildAnyExt(DstType && Res,ArgType && Arg)319   MachineInstrBuilder buildAnyExt(DstType &&Res, ArgType &&Arg) {
320     return buildAnyExt(getDestFromArg(Res), getRegFromArg(Arg));
321   }
322 
323   /// Build and insert \p Res = G_SEXT \p Op
324   ///
325   /// G_SEXT produces a register of the specified width, with bits 0 to
326   /// sizeof(\p Ty) * 8 set to \p Op. The remaining bits are duplicated from the
327   /// high bit of \p Op (i.e. 2s-complement sign extended).
328   ///
329   /// \pre setBasicBlock or setMI must have been called.
330   /// \pre \p Res must be a generic virtual register with scalar or vector type.
331   /// \pre \p Op must be a generic virtual register with scalar or vector type.
332   /// \pre \p Op must be smaller than \p Res
333   ///
334   /// \return The newly created instruction.
335   template <typename DstType, typename ArgType>
buildSExt(DstType && Res,ArgType && Arg)336   MachineInstrBuilder buildSExt(DstType &&Res, ArgType &&Arg) {
337     return buildSExt(getDestFromArg(Res), getRegFromArg(Arg));
338   }
339   MachineInstrBuilder buildSExt(unsigned Res, unsigned Op);
340 
341   /// Build and insert \p Res = G_ZEXT \p Op
342   ///
343   /// G_ZEXT produces a register of the specified width, with bits 0 to
344   /// sizeof(\p Ty) * 8 set to \p Op. The remaining bits are 0. For a vector
345   /// register, each element is extended individually.
346   ///
347   /// \pre setBasicBlock or setMI must have been called.
348   /// \pre \p Res must be a generic virtual register with scalar or vector type.
349   /// \pre \p Op must be a generic virtual register with scalar or vector type.
350   /// \pre \p Op must be smaller than \p Res
351   ///
352   /// \return The newly created instruction.
353   template <typename DstType, typename ArgType>
buildZExt(DstType && Res,ArgType && Arg)354   MachineInstrBuilder buildZExt(DstType &&Res, ArgType &&Arg) {
355     return buildZExt(getDestFromArg(Res), getRegFromArg(Arg));
356   }
357   MachineInstrBuilder buildZExt(unsigned Res, unsigned Op);
358 
359   /// Build and insert \p Res = G_SEXT \p Op, \p Res = G_TRUNC \p Op, or
360   /// \p Res = COPY \p Op depending on the differing sizes of \p Res and \p Op.
361   ///  ///
362   /// \pre setBasicBlock or setMI must have been called.
363   /// \pre \p Res must be a generic virtual register with scalar or vector type.
364   /// \pre \p Op must be a generic virtual register with scalar or vector type.
365   ///
366   /// \return The newly created instruction.
367   template <typename DstTy, typename UseArgTy>
buildSExtOrTrunc(DstTy && Dst,UseArgTy && Use)368   MachineInstrBuilder buildSExtOrTrunc(DstTy &&Dst, UseArgTy &&Use) {
369     return buildSExtOrTrunc(getDestFromArg(Dst), getRegFromArg(Use));
370   }
371   MachineInstrBuilder buildSExtOrTrunc(unsigned Res, unsigned Op);
372 
373   /// Build and insert \p Res = G_ZEXT \p Op, \p Res = G_TRUNC \p Op, or
374   /// \p Res = COPY \p Op depending on the differing sizes of \p Res and \p Op.
375   ///  ///
376   /// \pre setBasicBlock or setMI must have been called.
377   /// \pre \p Res must be a generic virtual register with scalar or vector type.
378   /// \pre \p Op must be a generic virtual register with scalar or vector type.
379   ///
380   /// \return The newly created instruction.
381   template <typename DstTy, typename UseArgTy>
buildZExtOrTrunc(DstTy && Dst,UseArgTy && Use)382   MachineInstrBuilder buildZExtOrTrunc(DstTy &&Dst, UseArgTy &&Use) {
383     return buildZExtOrTrunc(getDestFromArg(Dst), getRegFromArg(Use));
384   }
385   MachineInstrBuilder buildZExtOrTrunc(unsigned Res, unsigned Op);
386 
387   // Build and insert \p Res = G_ANYEXT \p Op, \p Res = G_TRUNC \p Op, or
388   /// \p Res = COPY \p Op depending on the differing sizes of \p Res and \p Op.
389   ///  ///
390   /// \pre setBasicBlock or setMI must have been called.
391   /// \pre \p Res must be a generic virtual register with scalar or vector type.
392   /// \pre \p Op must be a generic virtual register with scalar or vector type.
393   ///
394   /// \return The newly created instruction.
395   template <typename DstTy, typename UseArgTy>
buildAnyExtOrTrunc(DstTy && Dst,UseArgTy && Use)396   MachineInstrBuilder buildAnyExtOrTrunc(DstTy &&Dst, UseArgTy &&Use) {
397     return buildAnyExtOrTrunc(getDestFromArg(Dst), getRegFromArg(Use));
398   }
399   MachineInstrBuilder buildAnyExtOrTrunc(unsigned Res, unsigned Op);
400 
401   /// Build and insert \p Res = \p ExtOpc, \p Res = G_TRUNC \p
402   /// Op, or \p Res = COPY \p Op depending on the differing sizes of \p Res and
403   /// \p Op.
404   ///  ///
405   /// \pre setBasicBlock or setMI must have been called.
406   /// \pre \p Res must be a generic virtual register with scalar or vector type.
407   /// \pre \p Op must be a generic virtual register with scalar or vector type.
408   ///
409   /// \return The newly created instruction.
410   MachineInstrBuilder buildExtOrTrunc(unsigned ExtOpc, unsigned Res,
411                                       unsigned Op);
412 
413   /// Build and insert an appropriate cast between two registers of equal size.
414   template <typename DstType, typename ArgType>
buildCast(DstType && Res,ArgType && Arg)415   MachineInstrBuilder buildCast(DstType &&Res, ArgType &&Arg) {
416     return buildCast(getDestFromArg(Res), getRegFromArg(Arg));
417   }
418   MachineInstrBuilder buildCast(unsigned Dst, unsigned Src);
419 
420   /// Build and insert G_BR \p Dest
421   ///
422   /// G_BR is an unconditional branch to \p Dest.
423   ///
424   /// \pre setBasicBlock or setMI must have been called.
425   ///
426   /// \return a MachineInstrBuilder for the newly created instruction.
427   MachineInstrBuilder buildBr(MachineBasicBlock &Dest);
428 
429   /// Build and insert G_BRCOND \p Tst, \p Dest
430   ///
431   /// G_BRCOND is a conditional branch to \p Dest.
432   ///
433   /// \pre setBasicBlock or setMI must have been called.
434   /// \pre \p Tst must be a generic virtual register with scalar
435   ///      type. At the beginning of legalization, this will be a single
436   ///      bit (s1). Targets with interesting flags registers may change
437   ///      this. For a wider type, whether the branch is taken must only
438   ///      depend on bit 0 (for now).
439   ///
440   /// \return The newly created instruction.
441   MachineInstrBuilder buildBrCond(unsigned Tst, MachineBasicBlock &Dest);
442 
443   /// Build and insert G_BRINDIRECT \p Tgt
444   ///
445   /// G_BRINDIRECT is an indirect branch to \p Tgt.
446   ///
447   /// \pre setBasicBlock or setMI must have been called.
448   /// \pre \p Tgt must be a generic virtual register with pointer type.
449   ///
450   /// \return a MachineInstrBuilder for the newly created instruction.
451   MachineInstrBuilder buildBrIndirect(unsigned Tgt);
452 
453   /// Build and insert \p Res = G_CONSTANT \p Val
454   ///
455   /// G_CONSTANT is an integer constant with the specified size and value. \p
456   /// Val will be extended or truncated to the size of \p Reg.
457   ///
458   /// \pre setBasicBlock or setMI must have been called.
459   /// \pre \p Res must be a generic virtual register with scalar or pointer
460   ///      type.
461   ///
462   /// \return The newly created instruction.
463   MachineInstrBuilder buildConstant(unsigned Res, const ConstantInt &Val);
464 
465   /// Build and insert \p Res = G_CONSTANT \p Val
466   ///
467   /// G_CONSTANT is an integer constant with the specified size and value.
468   ///
469   /// \pre setBasicBlock or setMI must have been called.
470   /// \pre \p Res must be a generic virtual register with scalar type.
471   ///
472   /// \return The newly created instruction.
473   MachineInstrBuilder buildConstant(unsigned Res, int64_t Val);
474 
475   template <typename DstType>
buildConstant(DstType && Res,int64_t Val)476   MachineInstrBuilder buildConstant(DstType &&Res, int64_t Val) {
477     return buildConstant(getDestFromArg(Res), Val);
478   }
479   /// Build and insert \p Res = G_FCONSTANT \p Val
480   ///
481   /// G_FCONSTANT is a floating-point constant with the specified size and
482   /// value.
483   ///
484   /// \pre setBasicBlock or setMI must have been called.
485   /// \pre \p Res must be a generic virtual register with scalar type.
486   ///
487   /// \return The newly created instruction.
488   template <typename DstType>
buildFConstant(DstType && Res,const ConstantFP & Val)489   MachineInstrBuilder buildFConstant(DstType &&Res, const ConstantFP &Val) {
490     return buildFConstant(getDestFromArg(Res), Val);
491   }
492   MachineInstrBuilder buildFConstant(unsigned Res, const ConstantFP &Val);
493 
494   template <typename DstType>
buildFConstant(DstType && Res,double Val)495   MachineInstrBuilder buildFConstant(DstType &&Res, double Val) {
496     return buildFConstant(getDestFromArg(Res), Val);
497   }
498   MachineInstrBuilder buildFConstant(unsigned Res, double Val);
499 
500   /// Build and insert \p Res = COPY Op
501   ///
502   /// Register-to-register COPY sets \p Res to \p Op.
503   ///
504   /// \pre setBasicBlock or setMI must have been called.
505   ///
506   /// \return a MachineInstrBuilder for the newly created instruction.
507   MachineInstrBuilder buildCopy(unsigned Res, unsigned Op);
508   template <typename DstType, typename SrcType>
buildCopy(DstType && Res,SrcType && Src)509   MachineInstrBuilder buildCopy(DstType &&Res, SrcType &&Src) {
510     return buildCopy(getDestFromArg(Res), getRegFromArg(Src));
511   }
512 
513   /// Build and insert `Res = G_LOAD Addr, MMO`.
514   ///
515   /// Loads the value stored at \p Addr. Puts the result in \p Res.
516   ///
517   /// \pre setBasicBlock or setMI must have been called.
518   /// \pre \p Res must be a generic virtual register.
519   /// \pre \p Addr must be a generic virtual register with pointer type.
520   ///
521   /// \return a MachineInstrBuilder for the newly created instruction.
522   MachineInstrBuilder buildLoad(unsigned Res, unsigned Addr,
523                                 MachineMemOperand &MMO);
524 
525   /// Build and insert `Res = <opcode> Addr, MMO`.
526   ///
527   /// Loads the value stored at \p Addr. Puts the result in \p Res.
528   ///
529   /// \pre setBasicBlock or setMI must have been called.
530   /// \pre \p Res must be a generic virtual register.
531   /// \pre \p Addr must be a generic virtual register with pointer type.
532   ///
533   /// \return a MachineInstrBuilder for the newly created instruction.
534   MachineInstrBuilder buildLoadInstr(unsigned Opcode, unsigned Res,
535                                      unsigned Addr, MachineMemOperand &MMO);
536 
537   /// Build and insert `G_STORE Val, Addr, MMO`.
538   ///
539   /// Stores the value \p Val to \p Addr.
540   ///
541   /// \pre setBasicBlock or setMI must have been called.
542   /// \pre \p Val must be a generic virtual register.
543   /// \pre \p Addr must be a generic virtual register with pointer type.
544   ///
545   /// \return a MachineInstrBuilder for the newly created instruction.
546   MachineInstrBuilder buildStore(unsigned Val, unsigned Addr,
547                                  MachineMemOperand &MMO);
548 
549   /// Build and insert `Res0, ... = G_EXTRACT Src, Idx0`.
550   ///
551   /// \pre setBasicBlock or setMI must have been called.
552   /// \pre \p Res and \p Src must be generic virtual registers.
553   ///
554   /// \return a MachineInstrBuilder for the newly created instruction.
555   MachineInstrBuilder buildExtract(unsigned Res, unsigned Src, uint64_t Index);
556 
557   /// Build and insert \p Res = IMPLICIT_DEF.
buildUndef(DstType && Res)558   template <typename DstType> MachineInstrBuilder buildUndef(DstType &&Res) {
559     return buildUndef(getDestFromArg(Res));
560   }
561   MachineInstrBuilder buildUndef(unsigned Res);
562 
563   /// Build and insert instructions to put \p Ops together at the specified p
564   /// Indices to form a larger register.
565   ///
566   /// If the types of the input registers are uniform and cover the entirity of
567   /// \p Res then a G_MERGE_VALUES will be produced. Otherwise an IMPLICIT_DEF
568   /// followed by a sequence of G_INSERT instructions.
569   ///
570   /// \pre setBasicBlock or setMI must have been called.
571   /// \pre The final element of the sequence must not extend past the end of the
572   ///      destination register.
573   /// \pre The bits defined by each Op (derived from index and scalar size) must
574   ///      not overlap.
575   /// \pre \p Indices must be in ascending order of bit position.
576   void buildSequence(unsigned Res, ArrayRef<unsigned> Ops,
577                      ArrayRef<uint64_t> Indices);
578 
579   /// Build and insert \p Res = G_MERGE_VALUES \p Op0, ...
580   ///
581   /// G_MERGE_VALUES combines the input elements contiguously into a larger
582   /// register.
583   ///
584   /// \pre setBasicBlock or setMI must have been called.
585   /// \pre The entire register \p Res (and no more) must be covered by the input
586   ///      registers.
587   /// \pre The type of all \p Ops registers must be identical.
588   ///
589   /// \return a MachineInstrBuilder for the newly created instruction.
590   MachineInstrBuilder buildMerge(unsigned Res, ArrayRef<unsigned> Ops);
591 
592   /// Build and insert \p Res0, ... = G_UNMERGE_VALUES \p Op
593   ///
594   /// G_UNMERGE_VALUES splits contiguous bits of the input into multiple
595   ///
596   /// \pre setBasicBlock or setMI must have been called.
597   /// \pre The entire register \p Res (and no more) must be covered by the input
598   ///      registers.
599   /// \pre The type of all \p Res registers must be identical.
600   ///
601   /// \return a MachineInstrBuilder for the newly created instruction.
602   MachineInstrBuilder buildUnmerge(ArrayRef<unsigned> Res, unsigned Op);
603 
604   MachineInstrBuilder buildInsert(unsigned Res, unsigned Src,
605                                   unsigned Op, unsigned Index);
606 
607   /// Build and insert either a G_INTRINSIC (if \p HasSideEffects is false) or
608   /// G_INTRINSIC_W_SIDE_EFFECTS instruction. Its first operand will be the
609   /// result register definition unless \p Reg is NoReg (== 0). The second
610   /// operand will be the intrinsic's ID.
611   ///
612   /// Callers are expected to add the required definitions and uses afterwards.
613   ///
614   /// \pre setBasicBlock or setMI must have been called.
615   ///
616   /// \return a MachineInstrBuilder for the newly created instruction.
617   MachineInstrBuilder buildIntrinsic(Intrinsic::ID ID, unsigned Res,
618                                      bool HasSideEffects);
619 
620   /// Build and insert \p Res = G_FPTRUNC \p Op
621   ///
622   /// G_FPTRUNC converts a floating-point value into one with a smaller type.
623   ///
624   /// \pre setBasicBlock or setMI must have been called.
625   /// \pre \p Res must be a generic virtual register with scalar or vector type.
626   /// \pre \p Op must be a generic virtual register with scalar or vector type.
627   /// \pre \p Res must be smaller than \p Op
628   ///
629   /// \return The newly created instruction.
630   template <typename DstType, typename SrcType>
buildFPTrunc(DstType && Res,SrcType && Src)631   MachineInstrBuilder buildFPTrunc(DstType &&Res, SrcType &&Src) {
632     return buildFPTrunc(getDestFromArg(Res), getRegFromArg(Src));
633   }
634   MachineInstrBuilder buildFPTrunc(unsigned Res, unsigned Op);
635 
636   /// Build and insert \p Res = G_TRUNC \p Op
637   ///
638   /// G_TRUNC extracts the low bits of a type. For a vector type each element is
639   /// truncated independently before being packed into the destination.
640   ///
641   /// \pre setBasicBlock or setMI must have been called.
642   /// \pre \p Res must be a generic virtual register with scalar or vector type.
643   /// \pre \p Op must be a generic virtual register with scalar or vector type.
644   /// \pre \p Res must be smaller than \p Op
645   ///
646   /// \return The newly created instruction.
647   MachineInstrBuilder buildTrunc(unsigned Res, unsigned Op);
648   template <typename DstType, typename SrcType>
buildTrunc(DstType && Res,SrcType && Src)649   MachineInstrBuilder buildTrunc(DstType &&Res, SrcType &&Src) {
650     return buildTrunc(getDestFromArg(Res), getRegFromArg(Src));
651   }
652 
653   /// Build and insert a \p Res = G_ICMP \p Pred, \p Op0, \p Op1
654   ///
655   /// \pre setBasicBlock or setMI must have been called.
656 
657   /// \pre \p Res must be a generic virtual register with scalar or
658   ///      vector type. Typically this starts as s1 or <N x s1>.
659   /// \pre \p Op0 and Op1 must be generic virtual registers with the
660   ///      same number of elements as \p Res. If \p Res is a scalar,
661   ///      \p Op0 must be either a scalar or pointer.
662   /// \pre \p Pred must be an integer predicate.
663   ///
664   /// \return a MachineInstrBuilder for the newly created instruction.
665   MachineInstrBuilder buildICmp(CmpInst::Predicate Pred,
666                                 unsigned Res, unsigned Op0, unsigned Op1);
667 
668   /// Build and insert a \p Res = G_FCMP \p Pred\p Op0, \p Op1
669   ///
670   /// \pre setBasicBlock or setMI must have been called.
671 
672   /// \pre \p Res must be a generic virtual register with scalar or
673   ///      vector type. Typically this starts as s1 or <N x s1>.
674   /// \pre \p Op0 and Op1 must be generic virtual registers with the
675   ///      same number of elements as \p Res (or scalar, if \p Res is
676   ///      scalar).
677   /// \pre \p Pred must be a floating-point predicate.
678   ///
679   /// \return a MachineInstrBuilder for the newly created instruction.
680   MachineInstrBuilder buildFCmp(CmpInst::Predicate Pred,
681                                 unsigned Res, unsigned Op0, unsigned Op1);
682 
683   /// Build and insert a \p Res = G_SELECT \p Tst, \p Op0, \p Op1
684   ///
685   /// \pre setBasicBlock or setMI must have been called.
686   /// \pre \p Res, \p Op0 and \p Op1 must be generic virtual registers
687   ///      with the same type.
688   /// \pre \p Tst must be a generic virtual register with scalar, pointer or
689   ///      vector type. If vector then it must have the same number of
690   ///      elements as the other parameters.
691   ///
692   /// \return a MachineInstrBuilder for the newly created instruction.
693   MachineInstrBuilder buildSelect(unsigned Res, unsigned Tst,
694                                   unsigned Op0, unsigned Op1);
695 
696   /// Build and insert \p Res = G_INSERT_VECTOR_ELT \p Val,
697   /// \p Elt, \p Idx
698   ///
699   /// \pre setBasicBlock or setMI must have been called.
700   /// \pre \p Res and \p Val must be a generic virtual register
701   //       with the same vector type.
702   /// \pre \p Elt and \p Idx must be a generic virtual register
703   ///      with scalar type.
704   ///
705   /// \return The newly created instruction.
706   MachineInstrBuilder buildInsertVectorElement(unsigned Res, unsigned Val,
707                                                unsigned Elt, unsigned Idx);
708 
709   /// Build and insert \p Res = G_EXTRACT_VECTOR_ELT \p Val, \p Idx
710   ///
711   /// \pre setBasicBlock or setMI must have been called.
712   /// \pre \p Res must be a generic virtual register with scalar type.
713   /// \pre \p Val must be a generic virtual register with vector type.
714   /// \pre \p Idx must be a generic virtual register with scalar type.
715   ///
716   /// \return The newly created instruction.
717   MachineInstrBuilder buildExtractVectorElement(unsigned Res, unsigned Val,
718                                                 unsigned Idx);
719 
720   /// Build and insert `OldValRes<def>, SuccessRes<def> =
721   /// G_ATOMIC_CMPXCHG_WITH_SUCCESS Addr, CmpVal, NewVal, MMO`.
722   ///
723   /// Atomically replace the value at \p Addr with \p NewVal if it is currently
724   /// \p CmpVal otherwise leaves it unchanged. Puts the original value from \p
725   /// Addr in \p Res, along with an s1 indicating whether it was replaced.
726   ///
727   /// \pre setBasicBlock or setMI must have been called.
728   /// \pre \p OldValRes must be a generic virtual register of scalar type.
729   /// \pre \p SuccessRes must be a generic virtual register of scalar type. It
730   ///      will be assigned 0 on failure and 1 on success.
731   /// \pre \p Addr must be a generic virtual register with pointer type.
732   /// \pre \p OldValRes, \p CmpVal, and \p NewVal must be generic virtual
733   ///      registers of the same type.
734   ///
735   /// \return a MachineInstrBuilder for the newly created instruction.
736   MachineInstrBuilder
737   buildAtomicCmpXchgWithSuccess(unsigned OldValRes, unsigned SuccessRes,
738                                 unsigned Addr, unsigned CmpVal, unsigned NewVal,
739                                 MachineMemOperand &MMO);
740 
741   /// Build and insert `OldValRes<def> = G_ATOMIC_CMPXCHG Addr, CmpVal, NewVal,
742   /// MMO`.
743   ///
744   /// Atomically replace the value at \p Addr with \p NewVal if it is currently
745   /// \p CmpVal otherwise leaves it unchanged. Puts the original value from \p
746   /// Addr in \p Res.
747   ///
748   /// \pre setBasicBlock or setMI must have been called.
749   /// \pre \p OldValRes must be a generic virtual register of scalar type.
750   /// \pre \p Addr must be a generic virtual register with pointer type.
751   /// \pre \p OldValRes, \p CmpVal, and \p NewVal must be generic virtual
752   ///      registers of the same type.
753   ///
754   /// \return a MachineInstrBuilder for the newly created instruction.
755   MachineInstrBuilder buildAtomicCmpXchg(unsigned OldValRes, unsigned Addr,
756                                          unsigned CmpVal, unsigned NewVal,
757                                          MachineMemOperand &MMO);
758 
759   /// Build and insert `OldValRes<def> = G_ATOMICRMW_<Opcode> Addr, Val, MMO`.
760   ///
761   /// Atomically read-modify-update the value at \p Addr with \p Val. Puts the
762   /// original value from \p Addr in \p OldValRes. The modification is
763   /// determined by the opcode.
764   ///
765   /// \pre setBasicBlock or setMI must have been called.
766   /// \pre \p OldValRes must be a generic virtual register.
767   /// \pre \p Addr must be a generic virtual register with pointer type.
768   /// \pre \p OldValRes, and \p Val must be generic virtual registers of the
769   ///      same type.
770   ///
771   /// \return a MachineInstrBuilder for the newly created instruction.
772   MachineInstrBuilder buildAtomicRMW(unsigned Opcode, unsigned OldValRes,
773                                      unsigned Addr, unsigned Val,
774                                      MachineMemOperand &MMO);
775 
776   /// Build and insert `OldValRes<def> = G_ATOMICRMW_XCHG Addr, Val, MMO`.
777   ///
778   /// Atomically replace the value at \p Addr with \p Val. Puts the original
779   /// value from \p Addr in \p OldValRes.
780   ///
781   /// \pre setBasicBlock or setMI must have been called.
782   /// \pre \p OldValRes must be a generic virtual register.
783   /// \pre \p Addr must be a generic virtual register with pointer type.
784   /// \pre \p OldValRes, and \p Val must be generic virtual registers of the
785   ///      same type.
786   ///
787   /// \return a MachineInstrBuilder for the newly created instruction.
788   MachineInstrBuilder buildAtomicRMWXchg(unsigned OldValRes, unsigned Addr,
789                                          unsigned Val, MachineMemOperand &MMO);
790 
791   /// Build and insert `OldValRes<def> = G_ATOMICRMW_ADD Addr, Val, MMO`.
792   ///
793   /// Atomically replace the value at \p Addr with the addition of \p Val and
794   /// the original value. Puts the original value from \p Addr in \p OldValRes.
795   ///
796   /// \pre setBasicBlock or setMI must have been called.
797   /// \pre \p OldValRes must be a generic virtual register.
798   /// \pre \p Addr must be a generic virtual register with pointer type.
799   /// \pre \p OldValRes, and \p Val must be generic virtual registers of the
800   ///      same type.
801   ///
802   /// \return a MachineInstrBuilder for the newly created instruction.
803   MachineInstrBuilder buildAtomicRMWAdd(unsigned OldValRes, unsigned Addr,
804                                          unsigned Val, MachineMemOperand &MMO);
805 
806   /// Build and insert `OldValRes<def> = G_ATOMICRMW_SUB Addr, Val, MMO`.
807   ///
808   /// Atomically replace the value at \p Addr with the subtraction of \p Val and
809   /// the original value. Puts the original value from \p Addr in \p OldValRes.
810   ///
811   /// \pre setBasicBlock or setMI must have been called.
812   /// \pre \p OldValRes must be a generic virtual register.
813   /// \pre \p Addr must be a generic virtual register with pointer type.
814   /// \pre \p OldValRes, and \p Val must be generic virtual registers of the
815   ///      same type.
816   ///
817   /// \return a MachineInstrBuilder for the newly created instruction.
818   MachineInstrBuilder buildAtomicRMWSub(unsigned OldValRes, unsigned Addr,
819                                          unsigned Val, MachineMemOperand &MMO);
820 
821   /// Build and insert `OldValRes<def> = G_ATOMICRMW_AND Addr, Val, MMO`.
822   ///
823   /// Atomically replace the value at \p Addr with the bitwise and of \p Val and
824   /// the original value. Puts the original value from \p Addr in \p OldValRes.
825   ///
826   /// \pre setBasicBlock or setMI must have been called.
827   /// \pre \p OldValRes must be a generic virtual register.
828   /// \pre \p Addr must be a generic virtual register with pointer type.
829   /// \pre \p OldValRes, and \p Val must be generic virtual registers of the
830   ///      same type.
831   ///
832   /// \return a MachineInstrBuilder for the newly created instruction.
833   MachineInstrBuilder buildAtomicRMWAnd(unsigned OldValRes, unsigned Addr,
834                                          unsigned Val, MachineMemOperand &MMO);
835 
836   /// Build and insert `OldValRes<def> = G_ATOMICRMW_NAND Addr, Val, MMO`.
837   ///
838   /// Atomically replace the value at \p Addr with the bitwise nand of \p Val
839   /// and the original value. Puts the original value from \p Addr in \p
840   /// OldValRes.
841   ///
842   /// \pre setBasicBlock or setMI must have been called.
843   /// \pre \p OldValRes must be a generic virtual register.
844   /// \pre \p Addr must be a generic virtual register with pointer type.
845   /// \pre \p OldValRes, and \p Val must be generic virtual registers of the
846   ///      same type.
847   ///
848   /// \return a MachineInstrBuilder for the newly created instruction.
849   MachineInstrBuilder buildAtomicRMWNand(unsigned OldValRes, unsigned Addr,
850                                          unsigned Val, MachineMemOperand &MMO);
851 
852   /// Build and insert `OldValRes<def> = G_ATOMICRMW_OR Addr, Val, MMO`.
853   ///
854   /// Atomically replace the value at \p Addr with the bitwise or of \p Val and
855   /// the original value. Puts the original value from \p Addr in \p OldValRes.
856   ///
857   /// \pre setBasicBlock or setMI must have been called.
858   /// \pre \p OldValRes must be a generic virtual register.
859   /// \pre \p Addr must be a generic virtual register with pointer type.
860   /// \pre \p OldValRes, and \p Val must be generic virtual registers of the
861   ///      same type.
862   ///
863   /// \return a MachineInstrBuilder for the newly created instruction.
864   MachineInstrBuilder buildAtomicRMWOr(unsigned OldValRes, unsigned Addr,
865                                        unsigned Val, MachineMemOperand &MMO);
866 
867   /// Build and insert `OldValRes<def> = G_ATOMICRMW_XOR Addr, Val, MMO`.
868   ///
869   /// Atomically replace the value at \p Addr with the bitwise xor of \p Val and
870   /// the original value. Puts the original value from \p Addr in \p OldValRes.
871   ///
872   /// \pre setBasicBlock or setMI must have been called.
873   /// \pre \p OldValRes must be a generic virtual register.
874   /// \pre \p Addr must be a generic virtual register with pointer type.
875   /// \pre \p OldValRes, and \p Val must be generic virtual registers of the
876   ///      same type.
877   ///
878   /// \return a MachineInstrBuilder for the newly created instruction.
879   MachineInstrBuilder buildAtomicRMWXor(unsigned OldValRes, unsigned Addr,
880                                         unsigned Val, MachineMemOperand &MMO);
881 
882   /// Build and insert `OldValRes<def> = G_ATOMICRMW_MAX Addr, Val, MMO`.
883   ///
884   /// Atomically replace the value at \p Addr with the signed maximum of \p
885   /// Val and the original value. Puts the original value from \p Addr in \p
886   /// OldValRes.
887   ///
888   /// \pre setBasicBlock or setMI must have been called.
889   /// \pre \p OldValRes must be a generic virtual register.
890   /// \pre \p Addr must be a generic virtual register with pointer type.
891   /// \pre \p OldValRes, and \p Val must be generic virtual registers of the
892   ///      same type.
893   ///
894   /// \return a MachineInstrBuilder for the newly created instruction.
895   MachineInstrBuilder buildAtomicRMWMax(unsigned OldValRes, unsigned Addr,
896                                         unsigned Val, MachineMemOperand &MMO);
897 
898   /// Build and insert `OldValRes<def> = G_ATOMICRMW_MIN Addr, Val, MMO`.
899   ///
900   /// Atomically replace the value at \p Addr with the signed minimum of \p
901   /// Val and the original value. Puts the original value from \p Addr in \p
902   /// OldValRes.
903   ///
904   /// \pre setBasicBlock or setMI must have been called.
905   /// \pre \p OldValRes must be a generic virtual register.
906   /// \pre \p Addr must be a generic virtual register with pointer type.
907   /// \pre \p OldValRes, and \p Val must be generic virtual registers of the
908   ///      same type.
909   ///
910   /// \return a MachineInstrBuilder for the newly created instruction.
911   MachineInstrBuilder buildAtomicRMWMin(unsigned OldValRes, unsigned Addr,
912                                         unsigned Val, MachineMemOperand &MMO);
913 
914   /// Build and insert `OldValRes<def> = G_ATOMICRMW_UMAX Addr, Val, MMO`.
915   ///
916   /// Atomically replace the value at \p Addr with the unsigned maximum of \p
917   /// Val and the original value. Puts the original value from \p Addr in \p
918   /// OldValRes.
919   ///
920   /// \pre setBasicBlock or setMI must have been called.
921   /// \pre \p OldValRes must be a generic virtual register.
922   /// \pre \p Addr must be a generic virtual register with pointer type.
923   /// \pre \p OldValRes, and \p Val must be generic virtual registers of the
924   ///      same type.
925   ///
926   /// \return a MachineInstrBuilder for the newly created instruction.
927   MachineInstrBuilder buildAtomicRMWUmax(unsigned OldValRes, unsigned Addr,
928                                          unsigned Val, MachineMemOperand &MMO);
929 
930   /// Build and insert `OldValRes<def> = G_ATOMICRMW_UMIN Addr, Val, MMO`.
931   ///
932   /// Atomically replace the value at \p Addr with the unsigned minimum of \p
933   /// Val and the original value. Puts the original value from \p Addr in \p
934   /// OldValRes.
935   ///
936   /// \pre setBasicBlock or setMI must have been called.
937   /// \pre \p OldValRes must be a generic virtual register.
938   /// \pre \p Addr must be a generic virtual register with pointer type.
939   /// \pre \p OldValRes, and \p Val must be generic virtual registers of the
940   ///      same type.
941   ///
942   /// \return a MachineInstrBuilder for the newly created instruction.
943   MachineInstrBuilder buildAtomicRMWUmin(unsigned OldValRes, unsigned Addr,
944                                          unsigned Val, MachineMemOperand &MMO);
945 
946   /// Build and insert \p Res = G_BLOCK_ADDR \p BA
947   ///
948   /// G_BLOCK_ADDR computes the address of a basic block.
949   ///
950   /// \pre setBasicBlock or setMI must have been called.
951   /// \pre \p Res must be a generic virtual register of a pointer type.
952   ///
953   /// \return The newly created instruction.
954   MachineInstrBuilder buildBlockAddress(unsigned Res, const BlockAddress *BA);
955 };
956 
957 /// A CRTP class that contains methods for building instructions that can
958 /// be constant folded. MachineIRBuilders that want to inherit from this will
959 /// need to implement buildBinaryOp (for constant folding binary ops).
960 /// Alternatively, they can implement buildInstr(Opc, Dst, Uses...) to perform
961 /// additional folding for Opc.
962 template <typename Base>
963 class FoldableInstructionsBuilder : public MachineIRBuilderBase {
base()964   Base &base() { return static_cast<Base &>(*this); }
965 
966 public:
967   using MachineIRBuilderBase::MachineIRBuilderBase;
968   /// Build and insert \p Res = G_ADD \p Op0, \p Op1
969   ///
970   /// G_ADD sets \p Res to the sum of integer parameters \p Op0 and \p Op1,
971   /// truncated to their width.
972   ///
973   /// \pre setBasicBlock or setMI must have been called.
974   /// \pre \p Res, \p Op0 and \p Op1 must be generic virtual registers
975   ///      with the same (scalar or vector) type).
976   ///
977   /// \return a MachineInstrBuilder for the newly created instruction.
978 
buildAdd(unsigned Dst,unsigned Src0,unsigned Src1)979   MachineInstrBuilder buildAdd(unsigned Dst, unsigned Src0, unsigned Src1) {
980     return base().buildBinaryOp(TargetOpcode::G_ADD, Dst, Src0, Src1);
981   }
982   template <typename DstTy, typename... UseArgsTy>
buildAdd(DstTy && Ty,UseArgsTy &&...UseArgs)983   MachineInstrBuilder buildAdd(DstTy &&Ty, UseArgsTy &&... UseArgs) {
984     unsigned Res = base().getDestFromArg(Ty);
985     return base().buildAdd(Res, (base().getRegFromArg(UseArgs))...);
986   }
987 
988   /// Build and insert \p Res = G_SUB \p Op0, \p Op1
989   ///
990   /// G_SUB sets \p Res to the sum of integer parameters \p Op0 and \p Op1,
991   /// truncated to their width.
992   ///
993   /// \pre setBasicBlock or setMI must have been called.
994   /// \pre \p Res, \p Op0 and \p Op1 must be generic virtual registers
995   ///      with the same (scalar or vector) type).
996   ///
997   /// \return a MachineInstrBuilder for the newly created instruction.
998 
buildSub(unsigned Dst,unsigned Src0,unsigned Src1)999   MachineInstrBuilder buildSub(unsigned Dst, unsigned Src0, unsigned Src1) {
1000     return base().buildBinaryOp(TargetOpcode::G_SUB, Dst, Src0, Src1);
1001   }
1002   template <typename DstTy, typename... UseArgsTy>
buildSub(DstTy && Ty,UseArgsTy &&...UseArgs)1003   MachineInstrBuilder buildSub(DstTy &&Ty, UseArgsTy &&... UseArgs) {
1004     unsigned Res = base().getDestFromArg(Ty);
1005     return base().buildSub(Res, (base().getRegFromArg(UseArgs))...);
1006   }
1007 
1008   /// Build and insert \p Res = G_MUL \p Op0, \p Op1
1009   ///
1010   /// G_MUL sets \p Res to the sum of integer parameters \p Op0 and \p Op1,
1011   /// truncated to their width.
1012   ///
1013   /// \pre setBasicBlock or setMI must have been called.
1014   /// \pre \p Res, \p Op0 and \p Op1 must be generic virtual registers
1015   ///      with the same (scalar or vector) type).
1016   ///
1017   /// \return a MachineInstrBuilder for the newly created instruction.
buildMul(unsigned Dst,unsigned Src0,unsigned Src1)1018   MachineInstrBuilder buildMul(unsigned Dst, unsigned Src0, unsigned Src1) {
1019     return base().buildBinaryOp(TargetOpcode::G_MUL, Dst, Src0, Src1);
1020   }
1021   template <typename DstTy, typename... UseArgsTy>
buildMul(DstTy && Ty,UseArgsTy &&...UseArgs)1022   MachineInstrBuilder buildMul(DstTy &&Ty, UseArgsTy &&... UseArgs) {
1023     unsigned Res = base().getDestFromArg(Ty);
1024     return base().buildMul(Res, (base().getRegFromArg(UseArgs))...);
1025   }
1026 
1027   /// Build and insert \p Res = G_AND \p Op0, \p Op1
1028   ///
1029   /// G_AND sets \p Res to the bitwise and of integer parameters \p Op0 and \p
1030   /// Op1.
1031   ///
1032   /// \pre setBasicBlock or setMI must have been called.
1033   /// \pre \p Res, \p Op0 and \p Op1 must be generic virtual registers
1034   ///      with the same (scalar or vector) type).
1035   ///
1036   /// \return a MachineInstrBuilder for the newly created instruction.
1037 
buildAnd(unsigned Dst,unsigned Src0,unsigned Src1)1038   MachineInstrBuilder buildAnd(unsigned Dst, unsigned Src0, unsigned Src1) {
1039     return base().buildBinaryOp(TargetOpcode::G_AND, Dst, Src0, Src1);
1040   }
1041   template <typename DstTy, typename... UseArgsTy>
buildAnd(DstTy && Ty,UseArgsTy &&...UseArgs)1042   MachineInstrBuilder buildAnd(DstTy &&Ty, UseArgsTy &&... UseArgs) {
1043     unsigned Res = base().getDestFromArg(Ty);
1044     return base().buildAnd(Res, (base().getRegFromArg(UseArgs))...);
1045   }
1046 
1047   /// Build and insert \p Res = G_OR \p Op0, \p Op1
1048   ///
1049   /// G_OR sets \p Res to the bitwise or of integer parameters \p Op0 and \p
1050   /// Op1.
1051   ///
1052   /// \pre setBasicBlock or setMI must have been called.
1053   /// \pre \p Res, \p Op0 and \p Op1 must be generic virtual registers
1054   ///      with the same (scalar or vector) type).
1055   ///
1056   /// \return a MachineInstrBuilder for the newly created instruction.
buildOr(unsigned Dst,unsigned Src0,unsigned Src1)1057   MachineInstrBuilder buildOr(unsigned Dst, unsigned Src0, unsigned Src1) {
1058     return base().buildBinaryOp(TargetOpcode::G_OR, Dst, Src0, Src1);
1059   }
1060   template <typename DstTy, typename... UseArgsTy>
buildOr(DstTy && Ty,UseArgsTy &&...UseArgs)1061   MachineInstrBuilder buildOr(DstTy &&Ty, UseArgsTy &&... UseArgs) {
1062     unsigned Res = base().getDestFromArg(Ty);
1063     return base().buildOr(Res, (base().getRegFromArg(UseArgs))...);
1064   }
1065 };
1066 
1067 class MachineIRBuilder : public FoldableInstructionsBuilder<MachineIRBuilder> {
1068 public:
1069   using FoldableInstructionsBuilder<
1070       MachineIRBuilder>::FoldableInstructionsBuilder;
buildBinaryOp(unsigned Opcode,unsigned Dst,unsigned Src0,unsigned Src1)1071   MachineInstrBuilder buildBinaryOp(unsigned Opcode, unsigned Dst,
1072                                     unsigned Src0, unsigned Src1) {
1073     validateBinaryOp(Dst, Src0, Src1);
1074     return buildInstr(Opcode).addDef(Dst).addUse(Src0).addUse(Src1);
1075   }
1076   using FoldableInstructionsBuilder<MachineIRBuilder>::buildInstr;
1077   /// DAG like Generic method for building arbitrary instructions as above.
1078   /// \Opc opcode for the instruction.
1079   /// \Ty Either LLT/TargetRegisterClass/unsigned types for Dst
1080   /// \Args Variadic list of uses of types(unsigned/MachineInstrBuilder)
1081   /// Uses of type MachineInstrBuilder will perform
1082   /// getOperand(0).getReg() to convert to register.
1083   template <typename DstTy, typename... UseArgsTy>
buildInstr(unsigned Opc,DstTy && Ty,UseArgsTy &&...Args)1084   MachineInstrBuilder buildInstr(unsigned Opc, DstTy &&Ty,
1085                                  UseArgsTy &&... Args) {
1086     auto MIB = buildInstr(Opc).addDef(getDestFromArg(Ty));
1087     addUsesFromArgs(MIB, std::forward<UseArgsTy>(Args)...);
1088     return MIB;
1089   }
1090 };
1091 
1092 } // End namespace llvm.
1093 #endif // LLVM_CODEGEN_GLOBALISEL_MACHINEIRBUILDER_H
1094