LLVM 22.0.0git
Instruction.cpp
Go to the documentation of this file.
1//===- Instruction.cpp - The Instructions of Sandbox IR -------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
11
12namespace llvm::sandboxir {
13
15 switch (Opc) {
16#define OP(OPC) \
17 case Opcode::OPC: \
18 return #OPC;
19#define OPCODES(...) __VA_ARGS__
20#define DEF_INSTR(ID, OPC, CLASS) OPC
21#include "llvm/SandboxIR/Values.def"
22 }
23 llvm_unreachable("Unknown Opcode");
24}
25
27 Instruction *Prev = getPrevNode();
28 if (Prev == nullptr) {
29 // If at top of the BB, return the first BB instruction.
30 return &*cast<llvm::BasicBlock>(getParent()->Val)->begin();
31 }
32 // Else get the Previous sandbox IR instruction's bottom IR instruction and
33 // return its successor.
35 return PrevBotI->getNextNode();
36}
37
38BBIterator Instruction::getIterator() const {
40 return BasicBlock::iterator(I->getParent(), I->getIterator(), &Ctx);
41}
42
44 assert(getParent() != nullptr && "Detached!");
45 assert(getIterator() != getParent()->end() && "Already at end!");
46 // `Val` is the bottom-most LLVM IR instruction. Get the next in the chain,
47 // and get the corresponding sandboxir Instruction that maps to it. This works
48 // even for SandboxIR Instructions that map to more than one LLVM Instruction.
49 auto *LLVMI = cast<llvm::Instruction>(Val);
50 assert(LLVMI->getParent() != nullptr && "LLVM IR instr is detached!");
51 auto *NextLLVMI = LLVMI->getNextNode();
52 auto *NextI = cast_or_null<Instruction>(Ctx.getValue(NextLLVMI));
53 if (NextI == nullptr)
54 return nullptr;
55 return NextI;
56}
57
59 assert(getParent() != nullptr && "Detached!");
60 auto It = getIterator();
61 if (It != getParent()->begin())
62 return std::prev(getIterator()).get();
63 return nullptr;
64}
65
67 Ctx.getTracker().emplaceIfTracking<RemoveFromParent>(this);
68
69 // Detach all the LLVM IR instructions from their parent BB.
71 I->removeFromParent();
72}
73
75 assert(users().empty() && "Still connected to users, can't erase!");
76
77 Ctx.runEraseInstrCallbacks(this);
78 std::unique_ptr<Value> Detached = Ctx.detach(this);
79 auto LLVMInstrs = getLLVMInstrs();
80
81 auto &Tracker = Ctx.getTracker();
82 if (Tracker.isTracking()) {
83 Tracker.track(std::make_unique<EraseFromParent>(std::move(Detached)));
84 // We don't actually delete the IR instruction, because then it would be
85 // impossible to bring it back from the dead at the same memory location.
86 // Instead we remove it from its BB and track its current location.
87 for (llvm::Instruction *I : LLVMInstrs)
88 I->removeFromParent();
89 // TODO: Multi-instructions need special treatment because some of the
90 // references are internal to the instruction.
91 for (llvm::Instruction *I : LLVMInstrs)
92 I->dropAllReferences();
93 } else {
94 // Erase in reverse to avoid erasing nstructions with attached uses.
95 for (llvm::Instruction *I : reverse(LLVMInstrs))
96 I->eraseFromParent();
97 }
98}
99
100void Instruction::moveBefore(BasicBlock &BB, const BBIterator &WhereIt) {
101 if (std::next(getIterator()) == WhereIt)
102 // Destination is same as origin, nothing to do.
103 return;
104
105 Ctx.runMoveInstrCallbacks(this, WhereIt);
106 Ctx.getTracker().emplaceIfTracking<MoveInstr>(this);
107
108 auto *LLVMBB = cast<llvm::BasicBlock>(BB.Val);
110 if (WhereIt == BB.end()) {
111 It = LLVMBB->end();
112 } else {
113 Instruction *WhereI = &*WhereIt;
114 It = WhereI->getTopmostLLVMInstruction()->getIterator();
115 }
116 // TODO: Move this to the verifier of sandboxir::Instruction.
118 [](auto *I1, auto *I2) { return I1->comesBefore(I2); }) &&
119 "Expected program order!");
120 // Do the actual move in LLVM IR.
121 for (auto *I : getLLVMInstrs())
122 I->moveBefore(*LLVMBB, It);
123}
124
126 llvm::Instruction *BeforeTopI = BeforeI->getTopmostLLVMInstruction();
127
128 Ctx.getTracker().emplaceIfTracking<InsertIntoBB>(this);
129
130 // Insert the LLVM IR Instructions in program order.
132 I->insertBefore(BeforeTopI->getIterator());
133}
134
136 insertInto(AfterI->getParent(), std::next(AfterI->getIterator()));
138
139void Instruction::insertInto(BasicBlock *BB, const BBIterator &WhereIt) {
140 llvm::BasicBlock *LLVMBB = cast<llvm::BasicBlock>(BB->Val);
141 llvm::Instruction *LLVMBeforeI;
142 llvm::BasicBlock::iterator LLVMBeforeIt;
143 Instruction *BeforeI;
144 if (WhereIt != BB->end()) {
145 BeforeI = &*WhereIt;
146 LLVMBeforeI = BeforeI->getTopmostLLVMInstruction();
147 LLVMBeforeIt = LLVMBeforeI->getIterator();
148 } else {
149 BeforeI = nullptr;
150 LLVMBeforeI = nullptr;
151 LLVMBeforeIt = LLVMBB->end();
152 }
153
154 Ctx.getTracker().emplaceIfTracking<InsertIntoBB>(this);
155
156 // Insert the LLVM IR Instructions in program order.
158 I->insertInto(LLVMBB, LLVMBeforeIt);
159}
160
162 // Get the LLVM IR Instruction that this maps to, get its parent, and get the
163 // corresponding sandboxir::BasicBlock by looking it up in sandboxir::Context.
165 if (BB == nullptr)
166 return nullptr;
167 return cast<BasicBlock>(Ctx.getValue(BB));
168}
169
171 switch (From->getSubclassID()) {
172#define DEF_INSTR(ID, OPC, CLASS) \
173 case ClassID::ID: \
174 return true;
175#include "llvm/SandboxIR/Values.def"
176 default:
177 return false;
178 }
179}
180
182 Ctx.getTracker()
185 this);
186 cast<llvm::Instruction>(Val)->setHasNoUnsignedWrap(B);
187}
190 Ctx.getTracker()
193 cast<llvm::Instruction>(Val)->setHasNoSignedWrap(B);
194}
195
197 Ctx.getTracker()
198 .emplaceIfTracking<
199 GenericSetter<&Instruction::isFast, &Instruction::setFast>>(this);
201}
202
204 Ctx.getTracker()
205 .emplaceIfTracking<
207 cast<llvm::Instruction>(Val)->setIsExact(B);
209
211 Ctx.getTracker()
214 cast<llvm::Instruction>(Val)->setHasAllowReassoc(B);
216
218 Ctx.getTracker()
219 .emplaceIfTracking<
221 this);
222 cast<llvm::Instruction>(Val)->setHasNoNaNs(B);
224
226 Ctx.getTracker()
227 .emplaceIfTracking<
228 GenericSetter<&Instruction::hasNoInfs, &Instruction::setHasNoInfs>>(
229 this);
230 cast<llvm::Instruction>(Val)->setHasNoInfs(B);
231}
232
234 Ctx.getTracker()
237 this);
238 cast<llvm::Instruction>(Val)->setHasNoSignedZeros(B);
239}
240
242 Ctx.getTracker()
245 this);
246 cast<llvm::Instruction>(Val)->setHasAllowReciprocal(B);
247}
248
250 Ctx.getTracker()
253 this);
254 cast<llvm::Instruction>(Val)->setHasAllowContract(B);
255}
256
258 Ctx.getTracker()
261 cast<llvm::Instruction>(Val)->setFastMathFlags(FMF);
262}
263
265 Ctx.getTracker()
266 .emplaceIfTracking<GenericSetter<&Instruction::getFastMathFlags,
268 cast<llvm::Instruction>(Val)->copyFastMathFlags(FMF);
269}
270
274
276 Ctx.getTracker()
277 .emplaceIfTracking<GenericSetter<&Instruction::hasApproxFunc,
279 cast<llvm::Instruction>(Val)->setHasApproxFunc(B);
280}
281
282#ifndef NDEBUG
284 OS << "Unimplemented! Please override dump().";
285}
286#endif // NDEBUG
287
289 Context &Ctx, const Twine &Name) {
290 auto &Builder = setInsertPos(Pos);
291 auto *LLVMI =
292 cast<llvm::VAArgInst>(Builder.CreateVAArg(List->Val, Ty->LLVMTy, Name));
293 return Ctx.createVAArgInst(LLVMI);
295
299
300FreezeInst *FreezeInst::create(Value *V, InsertPosition Pos, Context &Ctx,
301 const Twine &Name) {
302 auto &Builder = setInsertPos(Pos);
303 auto *LLVMI = cast<llvm::FreezeInst>(Builder.CreateFreeze(V->Val, Name));
304 return Ctx.createFreezeInst(LLVMI);
305}
306
308 Context &Ctx, SyncScope::ID SSID) {
309 auto &Builder = Instruction::setInsertPos(Pos);
310 llvm::FenceInst *LLVMI = Builder.CreateFence(Ordering, SSID);
311 return Ctx.createFenceInst(LLVMI);
312}
313
315 Ctx.getTracker()
316 .emplaceIfTracking<
318 this);
319 cast<llvm::FenceInst>(Val)->setOrdering(Ordering);
320}
321
323 Ctx.getTracker()
324 .emplaceIfTracking<GenericSetter<&FenceInst::getSyncScopeID,
326 cast<llvm::FenceInst>(Val)->setSyncScopeID(SSID);
327}
328
330 InsertPosition Pos, Context &Ctx, const Twine &Name) {
331 auto &Builder = Instruction::setInsertPos(Pos);
332 llvm::Value *NewV =
333 Builder.CreateSelect(Cond->Val, True->Val, False->Val, Name);
334 if (auto *NewSI = dyn_cast<llvm::SelectInst>(NewV))
335 return Ctx.createSelectInst(NewSI);
336 assert(isa<llvm::Constant>(NewV) && "Expected constant");
337 return Ctx.getOrCreateConstant(cast<llvm::Constant>(NewV));
338}
339
341 Ctx.getTracker().emplaceIfTracking<UseSwap>(getOperandUse(1),
343 cast<llvm::SelectInst>(Val)->swapValues();
344}
345
346bool SelectInst::classof(const Value *From) {
347 return From->getSubclassID() == ClassID::Select;
348}
349
351 Context &Ctx) {
352 auto &Builder = setInsertPos(Pos);
353 llvm::BranchInst *NewBr =
354 Builder.CreateBr(cast<llvm::BasicBlock>(IfTrue->Val));
355 return Ctx.createBranchInst(NewBr);
357
358BranchInst *BranchInst::create(BasicBlock *IfTrue, BasicBlock *IfFalse,
359 Value *Cond, InsertPosition Pos, Context &Ctx) {
360 auto &Builder = setInsertPos(Pos);
361 llvm::BranchInst *NewBr =
362 Builder.CreateCondBr(Cond->Val, cast<llvm::BasicBlock>(IfTrue->Val),
363 cast<llvm::BasicBlock>(IfFalse->Val));
364 return Ctx.createBranchInst(NewBr);
365}
366
367bool BranchInst::classof(const Value *From) {
368 return From->getSubclassID() == ClassID::Br;
369}
370
372 assert(isConditional() && "Cannot get condition of an uncond branch!");
373 return Ctx.getValue(cast<llvm::BranchInst>(Val)->getCondition());
374}
375
376BasicBlock *BranchInst::getSuccessor(unsigned SuccIdx) const {
377 assert(SuccIdx < getNumSuccessors() &&
378 "Successor # out of range for Branch!");
380 Ctx.getValue(cast<llvm::BranchInst>(Val)->getSuccessor(SuccIdx)));
381}
382
383void BranchInst::setSuccessor(unsigned Idx, BasicBlock *NewSucc) {
384 assert((Idx == 0 || Idx == 1) && "Out of bounds!");
385 setOperand(2u - Idx, NewSucc);
386}
388BasicBlock *BranchInst::LLVMBBToSBBB::operator()(llvm::BasicBlock *BB) const {
389 return cast<BasicBlock>(Ctx.getValue(BB));
390}
392BranchInst::ConstLLVMBBToSBBB::operator()(const llvm::BasicBlock *BB) const {
393 return cast<BasicBlock>(Ctx.getValue(BB));
394}
395
397 Ctx.getTracker()
398 .emplaceIfTracking<
399 GenericSetter<&LoadInst::isVolatile, &LoadInst::setVolatile>>(this);
400 cast<llvm::LoadInst>(Val)->setVolatile(V);
401}
402
404 InsertPosition Pos, bool IsVolatile, Context &Ctx,
405 const Twine &Name) {
406 auto &Builder = setInsertPos(Pos);
407 auto *NewLI =
408 Builder.CreateAlignedLoad(Ty->LLVMTy, Ptr->Val, Align, IsVolatile, Name);
409 auto *NewSBI = Ctx.createLoadInst(NewLI);
410 return NewSBI;
411}
412
413bool LoadInst::classof(const Value *From) {
414 return From->getSubclassID() == ClassID::Load;
416
420
422 Ctx.getTracker()
423 .emplaceIfTracking<
424 GenericSetter<&StoreInst::isVolatile, &StoreInst::setVolatile>>(this);
425 cast<llvm::StoreInst>(Val)->setVolatile(V);
426}
427
429 InsertPosition Pos, bool IsVolatile,
430 Context &Ctx) {
431 auto &Builder = setInsertPos(Pos);
432 auto *NewSI = Builder.CreateAlignedStore(V->Val, Ptr->Val, Align, IsVolatile);
433 auto *NewSBI = Ctx.createStoreInst(NewSI);
434 return NewSBI;
435}
436
437bool StoreInst::classof(const Value *From) {
438 return From->getSubclassID() == ClassID::Store;
439}
440
444
448
449UnreachableInst *UnreachableInst::create(InsertPosition Pos, Context &Ctx) {
450 auto &Builder = setInsertPos(Pos);
451 llvm::UnreachableInst *NewUI = Builder.CreateUnreachable();
452 return Ctx.createUnreachableInst(NewUI);
453}
454
456 return From->getSubclassID() == ClassID::Unreachable;
457}
458
459ReturnInst *ReturnInst::createCommon(Value *RetVal, IRBuilder<> &Builder,
460 Context &Ctx) {
461 llvm::ReturnInst *NewRI;
462 if (RetVal != nullptr)
463 NewRI = Builder.CreateRet(RetVal->Val);
464 else
465 NewRI = Builder.CreateRetVoid();
466 return Ctx.createReturnInst(NewRI);
467}
468
469ReturnInst *ReturnInst::create(Value *RetVal, InsertPosition Pos,
470 Context &Ctx) {
471 auto &Builder = setInsertPos(Pos);
472 return createCommon(RetVal, Builder, Ctx);
473}
474
476 auto *LLVMRetVal = cast<llvm::ReturnInst>(Val)->getReturnValue();
477 return LLVMRetVal != nullptr ? Ctx.getValue(LLVMRetVal) : nullptr;
478}
479
481 return cast<FunctionType>(
482 Ctx.getType(cast<llvm::CallBase>(Val)->getFunctionType()));
483}
484
486 return Ctx.getValue(cast<llvm::CallBase>(Val)->getCalledOperand());
487}
488
490 llvm::Use *LLVMUse = &cast<llvm::CallBase>(Val)->getCalledOperandUse();
491 return Use(LLVMUse, cast<User>(Ctx.getValue(LLVMUse->getUser())), Ctx);
492}
493
496 Ctx.getValue(cast<llvm::CallBase>(Val)->getCalledFunction()));
497}
499 return cast<Function>(Ctx.getValue(cast<llvm::CallBase>(Val)->getCaller()));
500}
501
503 // F's function type is private, so we rely on `setCalledFunction()` to update
504 // it. But even though we are calling `setCalledFunction()` we also need to
505 // track this change at the SandboxIR level, which is why we call
506 // `setCalledOperand()` here.
507 // Note: This may break if `setCalledFunction()` early returns if `F`
508 // is already set, but we do have a unit test for it.
510 cast<llvm::CallBase>(Val)->setCalledFunction(
511 cast<llvm::FunctionType>(F->getFunctionType()->LLVMTy),
512 cast<llvm::Function>(F->Val));
513}
515CallInst *CallInst::create(FunctionType *FTy, Value *Func,
517 Context &Ctx, const Twine &NameStr) {
518 auto &Builder = setInsertPos(Pos);
520 LLVMArgs.reserve(Args.size());
521 for (Value *Arg : Args)
522 LLVMArgs.push_back(Arg->Val);
523 llvm::CallInst *NewCI = Builder.CreateCall(
524 cast<llvm::FunctionType>(FTy->LLVMTy), Func->Val, LLVMArgs, NameStr);
525 return Ctx.createCallInst(NewCI);
526}
527
528InvokeInst *InvokeInst::create(FunctionType *FTy, Value *Func,
529 BasicBlock *IfNormal, BasicBlock *IfException,
531 Context &Ctx, const Twine &NameStr) {
532 auto &Builder = setInsertPos(Pos);
534 LLVMArgs.reserve(Args.size());
535 for (Value *Arg : Args)
536 LLVMArgs.push_back(Arg->Val);
537 llvm::InvokeInst *Invoke = Builder.CreateInvoke(
538 cast<llvm::FunctionType>(FTy->LLVMTy), Func->Val,
539 cast<llvm::BasicBlock>(IfNormal->Val),
540 cast<llvm::BasicBlock>(IfException->Val), LLVMArgs, NameStr);
541 return Ctx.createInvokeInst(Invoke);
542}
543
545 return cast<BasicBlock>(
546 Ctx.getValue(cast<llvm::InvokeInst>(Val)->getNormalDest()));
547}
549 return cast<BasicBlock>(
550 Ctx.getValue(cast<llvm::InvokeInst>(Val)->getUnwindDest()));
551}
553 setOperand(1, BB);
554 assert(getNormalDest() == BB && "LLVM IR uses a different operan index!");
555}
557 setOperand(2, BB);
558 assert(getUnwindDest() == BB && "LLVM IR uses a different operan index!");
562 Ctx.getValue(cast<llvm::InvokeInst>(Val)->getLandingPadInst()));
563 ;
564}
565BasicBlock *InvokeInst::getSuccessor(unsigned SuccIdx) const {
566 return cast<BasicBlock>(
567 Ctx.getValue(cast<llvm::InvokeInst>(Val)->getSuccessor(SuccIdx)));
568}
569
570CallBrInst *CallBrInst::create(FunctionType *FTy, Value *Func,
571 BasicBlock *DefaultDest,
572 ArrayRef<BasicBlock *> IndirectDests,
574 Context &Ctx, const Twine &NameStr) {
575 auto &Builder = setInsertPos(Pos);
576 SmallVector<llvm::BasicBlock *> LLVMIndirectDests;
577 LLVMIndirectDests.reserve(IndirectDests.size());
578 for (BasicBlock *IndDest : IndirectDests)
579 LLVMIndirectDests.push_back(cast<llvm::BasicBlock>(IndDest->Val));
580
582 LLVMArgs.reserve(Args.size());
583 for (Value *Arg : Args)
584 LLVMArgs.push_back(Arg->Val);
585
586 llvm::CallBrInst *CallBr =
587 Builder.CreateCallBr(cast<llvm::FunctionType>(FTy->LLVMTy), Func->Val,
588 cast<llvm::BasicBlock>(DefaultDest->Val),
589 LLVMIndirectDests, LLVMArgs, NameStr);
590 return Ctx.createCallBrInst(CallBr);
591}
592
594 return Ctx.getValue(cast<llvm::CallBrInst>(Val)->getIndirectDestLabel(Idx));
595}
597 return Ctx.getValue(
598 cast<llvm::CallBrInst>(Val)->getIndirectDestLabelUse(Idx));
599}
601 return cast<BasicBlock>(
602 Ctx.getValue(cast<llvm::CallBrInst>(Val)->getDefaultDest()));
605 return cast<BasicBlock>(
606 Ctx.getValue(cast<llvm::CallBrInst>(Val)->getIndirectDest(Idx)));
607}
610 for (llvm::BasicBlock *LLVMBB :
612 BBs.push_back(cast<BasicBlock>(Ctx.getValue(LLVMBB)));
613 return BBs;
614}
616 Ctx.getTracker()
617 .emplaceIfTracking<GenericSetter<&CallBrInst::getDefaultDest,
619 cast<llvm::CallBrInst>(Val)->setDefaultDest(cast<llvm::BasicBlock>(BB->Val));
620}
622 Ctx.getTracker()
623 .emplaceIfTracking<GenericSetterWithIdx<&CallBrInst::getIndirectDest,
625 this, Idx);
626 cast<llvm::CallBrInst>(Val)->setIndirectDest(Idx,
627 cast<llvm::BasicBlock>(BB->Val));
630 return cast<BasicBlock>(
631 Ctx.getValue(cast<llvm::CallBrInst>(Val)->getSuccessor(Idx)));
632}
634LandingPadInst *LandingPadInst::create(Type *RetTy, unsigned NumReservedClauses,
636 const Twine &Name) {
637 auto &Builder = setInsertPos(Pos);
639 Builder.CreateLandingPad(RetTy->LLVMTy, NumReservedClauses, Name);
640 return Ctx.createLandingPadInst(LLVMI);
641}
642
644 Ctx.getTracker()
645 .emplaceIfTracking<GenericSetter<&LandingPadInst::isCleanup,
647 cast<llvm::LandingPadInst>(Val)->setCleanup(V);
649
651 return cast<Constant>(
652 Ctx.getValue(cast<llvm::LandingPadInst>(Val)->getClause(Idx)));
654
660 Ctx.getTracker()
663 cast<llvm::FuncletPadInst>(Val)->setParentPad(ParentPad->Val);
664}
665
667 return Ctx.getValue(cast<llvm::FuncletPadInst>(Val)->getArgOperand(Idx));
669
670void FuncletPadInst::setArgOperand(unsigned Idx, Value *V) {
671 Ctx.getTracker()
674 this, Idx);
675 cast<llvm::FuncletPadInst>(Val)->setArgOperand(Idx, V->Val);
676}
677
680 Ctx.getValue(cast<llvm::CatchPadInst>(Val)->getCatchSwitch()));
681}
682
683CatchPadInst *CatchPadInst::create(Value *ParentPad, ArrayRef<Value *> Args,
685 const Twine &Name) {
686 auto &Builder = setInsertPos(Pos);
688 LLVMArgs.reserve(Args.size());
689 for (auto *Arg : Args)
690 LLVMArgs.push_back(Arg->Val);
691 llvm::CatchPadInst *LLVMI =
692 Builder.CreateCatchPad(ParentPad->Val, LLVMArgs, Name);
693 return Ctx.createCatchPadInst(LLVMI);
694}
695
696CleanupPadInst *CleanupPadInst::create(Value *ParentPad, ArrayRef<Value *> Args,
698 const Twine &Name) {
699 auto &Builder = setInsertPos(Pos);
701 LLVMArgs.reserve(Args.size());
702 for (auto *Arg : Args)
703 LLVMArgs.push_back(Arg->Val);
704 llvm::CleanupPadInst *LLVMI =
705 Builder.CreateCleanupPad(ParentPad->Val, LLVMArgs, Name);
706 return Ctx.createCleanupPadInst(LLVMI);
707}
708
709CatchReturnInst *CatchReturnInst::create(CatchPadInst *CatchPad, BasicBlock *BB,
710 InsertPosition Pos, Context &Ctx) {
711 auto &Builder = setInsertPos(Pos);
712 llvm::CatchReturnInst *LLVMI = Builder.CreateCatchRet(
714 return Ctx.createCatchReturnInst(LLVMI);
715}
716
718 return cast<CatchPadInst>(
719 Ctx.getValue(cast<llvm::CatchReturnInst>(Val)->getCatchPad()));
720}
721
723 Ctx.getTracker()
726 cast<llvm::CatchReturnInst>(Val)->setCatchPad(
727 cast<llvm::CatchPadInst>(CatchPad->Val));
728}
729
731 return cast<BasicBlock>(
732 Ctx.getValue(cast<llvm::CatchReturnInst>(Val)->getSuccessor()));
733}
734
736 Ctx.getTracker()
737 .emplaceIfTracking<GenericSetter<&CatchReturnInst::getSuccessor,
739 cast<llvm::CatchReturnInst>(Val)->setSuccessor(
740 cast<llvm::BasicBlock>(NewSucc->Val));
741}
742
747
748CleanupReturnInst *CleanupReturnInst::create(CleanupPadInst *CleanupPad,
749 BasicBlock *UnwindBB,
750 InsertPosition Pos, Context &Ctx) {
751 auto &Builder = setInsertPos(Pos);
752 auto *LLVMUnwindBB =
753 UnwindBB != nullptr ? cast<llvm::BasicBlock>(UnwindBB->Val) : nullptr;
754 llvm::CleanupReturnInst *LLVMI = Builder.CreateCleanupRet(
755 cast<llvm::CleanupPadInst>(CleanupPad->Val), LLVMUnwindBB);
756 return Ctx.createCleanupReturnInst(LLVMI);
757}
758
763
765 Ctx.getTracker()
768 this);
769 cast<llvm::CleanupReturnInst>(Val)->setCleanupPad(
770 cast<llvm::CleanupPadInst>(CleanupPad->Val));
771}
772
777
779 Ctx.getTracker()
782 this);
783 cast<llvm::CleanupReturnInst>(Val)->setUnwindDest(
784 cast<llvm::BasicBlock>(NewDest->Val));
785}
786
789 Context &Ctx, const Twine &NameStr) {
790 auto &Builder = setInsertPos(Pos);
791 SmallVector<llvm::Value *> LLVMIdxList;
792 LLVMIdxList.reserve(IdxList.size());
793 for (Value *Idx : IdxList)
794 LLVMIdxList.push_back(Idx->Val);
795 llvm::Value *NewV =
796 Builder.CreateGEP(Ty->LLVMTy, Ptr->Val, LLVMIdxList, NameStr);
797 if (auto *NewGEP = dyn_cast<llvm::GetElementPtrInst>(NewV))
798 return Ctx.createGetElementPtrInst(NewGEP);
799 assert(isa<llvm::Constant>(NewV) && "Expected constant");
800 return Ctx.getOrCreateConstant(cast<llvm::Constant>(NewV));
801}
802
807
812
816
821
822BasicBlock *PHINode::LLVMBBToBB::operator()(llvm::BasicBlock *LLVMBB) const {
823 return cast<BasicBlock>(Ctx.getValue(LLVMBB));
824}
825
826PHINode *PHINode::create(Type *Ty, unsigned NumReservedValues,
827 InsertPosition Pos, Context &Ctx, const Twine &Name) {
828 auto &Builder = setInsertPos(Pos);
829 llvm::PHINode *NewPHI =
830 Builder.CreatePHI(Ty->LLVMTy, NumReservedValues, Name);
831 return Ctx.createPHINode(NewPHI);
832}
833
834bool PHINode::classof(const Value *From) {
835 return From->getSubclassID() == ClassID::PHI;
836}
837
838Value *PHINode::getIncomingValue(unsigned Idx) const {
839 return Ctx.getValue(cast<llvm::PHINode>(Val)->getIncomingValue(Idx));
840}
841void PHINode::setIncomingValue(unsigned Idx, Value *V) {
842 Ctx.getTracker()
845 Idx);
846 cast<llvm::PHINode>(Val)->setIncomingValue(Idx, V->Val);
847}
849 return cast<BasicBlock>(
850 Ctx.getValue(cast<llvm::PHINode>(Val)->getIncomingBlock(Idx)));
851}
853 llvm::Use *LLVMUse = U.LLVMUse;
854 llvm::BasicBlock *BB = cast<llvm::PHINode>(Val)->getIncomingBlock(*LLVMUse);
855 return cast<BasicBlock>(Ctx.getValue(BB));
856}
857void PHINode::setIncomingBlock(unsigned Idx, BasicBlock *BB) {
858 // Helper to disambiguate PHINode::getIncomingBlock(unsigned).
859 constexpr BasicBlock *(PHINode::*GetIncomingBlockFn)(unsigned) const =
861 Ctx.getTracker()
862 .emplaceIfTracking<
864 this, Idx);
865 cast<llvm::PHINode>(Val)->setIncomingBlock(Idx,
866 cast<llvm::BasicBlock>(BB->Val));
867}
869 auto &Tracker = Ctx.getTracker();
870 Tracker.emplaceIfTracking<PHIAddIncoming>(this);
871
872 cast<llvm::PHINode>(Val)->addIncoming(V->Val,
873 cast<llvm::BasicBlock>(BB->Val));
874}
876 auto &Tracker = Ctx.getTracker();
878 llvm::Value *LLVMV =
879 cast<llvm::PHINode>(Val)->removeIncomingValue(Idx,
880 /*DeletePHIIfEmpty=*/false);
881 return Ctx.getValue(LLVMV);
882}
884 auto &Tracker = Ctx.getTracker();
886
887 auto *LLVMBB = cast<llvm::BasicBlock>(BB->Val);
888 llvm::Value *LLVMV =
889 cast<llvm::PHINode>(Val)->removeIncomingValue(LLVMBB,
890 /*DeletePHIIfEmpty=*/false);
891 return Ctx.getValue(LLVMV);
892}
894 auto *LLVMBB = cast<llvm::BasicBlock>(BB->Val);
895 return cast<llvm::PHINode>(Val)->getBasicBlockIndex(LLVMBB);
896}
898 auto *LLVMBB = cast<llvm::BasicBlock>(BB->Val);
899 llvm::Value *LLVMV =
900 cast<llvm::PHINode>(Val)->getIncomingValueForBlock(LLVMBB);
901 return Ctx.getValue(LLVMV);
902}
904 llvm::Value *LLVMV = cast<llvm::PHINode>(Val)->hasConstantValue();
905 return LLVMV != nullptr ? Ctx.getValue(LLVMV) : nullptr;
906}
908 assert(New && Old && "Sandbox IR PHI node got a null basic block!");
909 for (unsigned Idx = 0, NumOps = cast<llvm::PHINode>(Val)->getNumOperands();
910 Idx != NumOps; ++Idx)
911 if (getIncomingBlock(Idx) == Old)
912 setIncomingBlock(Idx, New);
913}
914void PHINode::removeIncomingValueIf(function_ref<bool(unsigned)> Predicate) {
915 // Avoid duplicate tracking by going through this->removeIncomingValue here at
916 // the expense of some performance. Copy PHI::removeIncomingValueIf more
917 // directly if performance becomes an issue.
918
919 // Removing the element at index X, moves the element previously at X + 1
920 // to X. Working from the end avoids complications from that.
921 unsigned Idx = getNumIncomingValues();
922 while (Idx > 0) {
923 if (Predicate(Idx - 1))
924 removeIncomingValue(Idx - 1);
925 --Idx;
926 }
927}
928
930 Context &Ctx, const Twine &Name) {
931 auto &Builder = setInsertPos(Pos);
932 auto *LLVMV = Builder.CreateCmp(P, S1->Val, S2->Val, Name);
933 // It may have been folded into a constant.
934 if (auto *LLVMC = dyn_cast<llvm::Constant>(LLVMV))
935 return Ctx.getOrCreateConstant(LLVMC);
936 if (isa<llvm::ICmpInst>(LLVMV))
937 return Ctx.createICmpInst(cast<llvm::ICmpInst>(LLVMV));
938 return Ctx.createFCmpInst(cast<llvm::FCmpInst>(LLVMV));
939}
940
942 const Instruction *F, InsertPosition Pos,
943 Context &Ctx, const Twine &Name) {
944 Value *V = create(P, S1, S2, Pos, Ctx, Name);
945 if (auto *C = dyn_cast<Constant>(V))
946 return C;
947 cast<llvm::CmpInst>(V->Val)->copyIRFlags(F->Val);
948 return V;
949}
950
952 if (auto *VT = dyn_cast<VectorType>(OpndType)) {
953 // TODO: Cleanup when we have more complete support for
954 // sandboxir::VectorType
955 return OpndType->getContext().getType(llvm::VectorType::get(
956 llvm::Type::getInt1Ty(OpndType->getContext().LLVMCtx),
957 cast<llvm::VectorType>(VT->LLVMTy)->getElementCount()));
958 }
959 return Type::getInt1Ty(OpndType->getContext());
960}
961
963 Ctx.getTracker()
964 .emplaceIfTracking<
966 cast<llvm::CmpInst>(Val)->setPredicate(P);
967}
968
970 if (ICmpInst *IC = dyn_cast<ICmpInst>(this))
971 IC->swapOperands();
972 else
973 cast<FCmpInst>(this)->swapOperands();
974}
975
977 Ctx.getTracker().emplaceIfTracking<CmpSwapOperands>(this);
978 cast<llvm::ICmpInst>(Val)->swapOperands();
979}
980
982 Ctx.getTracker().emplaceIfTracking<CmpSwapOperands>(this);
983 cast<llvm::FCmpInst>(Val)->swapOperands();
985
986#ifndef NDEBUG
990}
991
992void CmpInst::dump() const {
993 dumpOS(dbgs());
994 dbgs() << "\n";
995}
996#endif // NDEBUG
997
999 switch (Opc) {
1000 case Instruction::Opcode::ZExt:
1001 return static_cast<llvm::Instruction::CastOps>(llvm::Instruction::ZExt);
1002 case Instruction::Opcode::SExt:
1003 return static_cast<llvm::Instruction::CastOps>(llvm::Instruction::SExt);
1004 case Instruction::Opcode::FPToUI:
1005 return static_cast<llvm::Instruction::CastOps>(llvm::Instruction::FPToUI);
1006 case Instruction::Opcode::FPToSI:
1007 return static_cast<llvm::Instruction::CastOps>(llvm::Instruction::FPToSI);
1008 case Instruction::Opcode::FPExt:
1009 return static_cast<llvm::Instruction::CastOps>(llvm::Instruction::FPExt);
1010 case Instruction::Opcode::PtrToAddr:
1011 return static_cast<llvm::Instruction::CastOps>(
1012 llvm::Instruction::PtrToAddr);
1013 case Instruction::Opcode::PtrToInt:
1014 return static_cast<llvm::Instruction::CastOps>(llvm::Instruction::PtrToInt);
1015 case Instruction::Opcode::IntToPtr:
1016 return static_cast<llvm::Instruction::CastOps>(llvm::Instruction::IntToPtr);
1017 case Instruction::Opcode::SIToFP:
1018 return static_cast<llvm::Instruction::CastOps>(llvm::Instruction::SIToFP);
1019 case Instruction::Opcode::UIToFP:
1020 return static_cast<llvm::Instruction::CastOps>(llvm::Instruction::UIToFP);
1021 case Instruction::Opcode::Trunc:
1022 return static_cast<llvm::Instruction::CastOps>(llvm::Instruction::Trunc);
1023 case Instruction::Opcode::FPTrunc:
1024 return static_cast<llvm::Instruction::CastOps>(llvm::Instruction::FPTrunc);
1025 case Instruction::Opcode::BitCast:
1026 return static_cast<llvm::Instruction::CastOps>(llvm::Instruction::BitCast);
1027 case Instruction::Opcode::AddrSpaceCast:
1028 return static_cast<llvm::Instruction::CastOps>(
1029 llvm::Instruction::AddrSpaceCast);
1030 default:
1031 llvm_unreachable("Opcode not suitable for CastInst!");
1032 }
1033}
1034
1035/// \Returns the LLVM opcode that corresponds to \p Opc.
1037 switch (Opc) {
1038 case Instruction::Opcode::FNeg:
1039 return static_cast<llvm::Instruction::UnaryOps>(llvm::Instruction::FNeg);
1040 default:
1041 llvm_unreachable("Not a unary op!");
1042 }
1043}
1044
1045CatchSwitchInst *CatchSwitchInst::create(Value *ParentPad, BasicBlock *UnwindBB,
1046 unsigned NumHandlers,
1047 InsertPosition Pos, Context &Ctx,
1048 const Twine &Name) {
1049 auto &Builder = setInsertPos(Pos);
1050 llvm::CatchSwitchInst *LLVMCSI = Builder.CreateCatchSwitch(
1051 ParentPad->Val, cast<llvm::BasicBlock>(UnwindBB->Val), NumHandlers, Name);
1052 return Ctx.createCatchSwitchInst(LLVMCSI);
1053}
1054
1058
1060 Ctx.getTracker()
1061 .emplaceIfTracking<GenericSetter<&CatchSwitchInst::getParentPad,
1063 cast<llvm::CatchSwitchInst>(Val)->setParentPad(ParentPad->Val);
1064}
1065
1068 Ctx.getValue(cast<llvm::CatchSwitchInst>(Val)->getUnwindDest()));
1069}
1070
1072 Ctx.getTracker()
1073 .emplaceIfTracking<GenericSetter<&CatchSwitchInst::getUnwindDest,
1075 cast<llvm::CatchSwitchInst>(Val)->setUnwindDest(
1076 cast<llvm::BasicBlock>(UnwindDest->Val));
1077}
1078
1080 Ctx.getTracker().emplaceIfTracking<CatchSwitchAddHandler>(this);
1081 cast<llvm::CatchSwitchInst>(Val)->addHandler(
1083}
1084
1086 auto &Builder = setInsertPos(Pos);
1087 auto *LLVMI = cast<llvm::ResumeInst>(Builder.CreateResume(Exn->Val));
1088 return Ctx.createResumeInst(LLVMI);
1089}
1090
1092 return Ctx.getValue(cast<llvm::ResumeInst>(Val)->getValue());
1093}
1095SwitchInst *SwitchInst::create(Value *V, BasicBlock *Dest, unsigned NumCases,
1097 const Twine &Name) {
1098 auto &Builder = setInsertPos(Pos);
1100 Builder.CreateSwitch(V->Val, cast<llvm::BasicBlock>(Dest->Val), NumCases);
1101 return Ctx.createSwitchInst(LLVMSwitch);
1102}
1103
1105 return Ctx.getValue(cast<llvm::SwitchInst>(Val)->getCondition());
1107
1109 Ctx.getTracker()
1110 .emplaceIfTracking<
1112 this);
1113 cast<llvm::SwitchInst>(Val)->setCondition(V->Val);
1114}
1115
1117 return cast<BasicBlock>(
1118 Ctx.getValue(cast<llvm::SwitchInst>(Val)->getDefaultDest()));
1119}
1120
1122 Ctx.getTracker()
1123 .emplaceIfTracking<GenericSetter<&SwitchInst::getDefaultDest,
1125 cast<llvm::SwitchInst>(Val)->setDefaultDest(
1126 cast<llvm::BasicBlock>(DefaultCase->Val));
1127}
1128
1129template <typename LLVMCaseItT, typename BlockT, typename ConstT>
1130ConstT *
1132 const auto &LLVMCaseHandle = *LLVMCaseIt;
1133 auto *LLVMC = Ctx.getValue(LLVMCaseHandle.getCaseValue());
1134 return cast<ConstT>(LLVMC);
1135}
1137template <typename LLVMCaseItT, typename BlockT, typename ConstT>
1138BlockT *
1140 const {
1141 const auto &LLVMCaseHandle = *LLVMCaseIt;
1142 auto *LLVMBB = LLVMCaseHandle.getCaseSuccessor();
1143 return cast<BlockT>(Ctx.getValue(LLVMBB));
1144}
1145
1147 ConstantInt>;
1149 ConstantInt>;
1151 const BasicBlock, const ConstantInt>;
1153 const BasicBlock, const ConstantInt>;
1154
1156 auto *LLVMC = cast<llvm::SwitchInst>(Val)->findCaseDest(
1157 cast<llvm::BasicBlock>(BB->Val));
1158 return LLVMC != nullptr ? cast<ConstantInt>(Ctx.getValue(LLVMC)) : nullptr;
1159}
1160
1162 Ctx.getTracker().emplaceIfTracking<SwitchAddCase>(this, OnVal);
1163 // TODO: Track this!
1165 cast<llvm::BasicBlock>(Dest->Val));
1166}
1167
1169 Ctx.getTracker().emplaceIfTracking<SwitchRemoveCase>(this);
1170
1172 unsigned CaseNum = It - case_begin();
1173 llvm::SwitchInst::CaseIt LLVMIt(LLVMSwitch, CaseNum);
1174 auto LLVMCaseIt = LLVMSwitch->removeCase(LLVMIt);
1175 unsigned Num = LLVMCaseIt - LLVMSwitch->case_begin();
1176 return CaseIt(this, Num);
1177}
1178
1180 return cast<BasicBlock>(
1181 Ctx.getValue(cast<llvm::SwitchInst>(Val)->getSuccessor(Idx)));
1182}
1183
1184void SwitchInst::setSuccessor(unsigned Idx, BasicBlock *NewSucc) {
1185 Ctx.getTracker()
1188 Idx);
1189 cast<llvm::SwitchInst>(Val)->setSuccessor(
1190 Idx, cast<llvm::BasicBlock>(NewSucc->Val));
1191}
1192
1194 InsertPosition Pos, Context &Ctx,
1195 const Twine &Name) {
1196 auto &Builder = setInsertPos(Pos);
1197 auto *NewLLVMV = Builder.CreateUnOp(getLLVMUnaryOp(Op), OpV->Val, Name);
1198 if (auto *NewUnOpV = dyn_cast<llvm::UnaryOperator>(NewLLVMV)) {
1199 return Ctx.createUnaryOperator(NewUnOpV);
1200 }
1201 assert(isa<llvm::Constant>(NewLLVMV) && "Expected constant");
1202 return Ctx.getOrCreateConstant(cast<llvm::Constant>(NewLLVMV));
1203}
1204
1206 Value *CopyFrom, InsertPosition Pos,
1207 Context &Ctx, const Twine &Name) {
1208 auto *NewV = create(Op, OpV, Pos, Ctx, Name);
1209 if (auto *UnI = dyn_cast<llvm::UnaryOperator>(NewV->Val))
1210 UnI->copyIRFlags(CopyFrom->Val);
1211 return NewV;
1212}
1213
1214/// \Returns the LLVM opcode that corresponds to \p Opc.
1216 switch (Opc) {
1217 case Instruction::Opcode::Add:
1218 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::Add);
1219 case Instruction::Opcode::FAdd:
1220 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::FAdd);
1221 case Instruction::Opcode::Sub:
1222 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::Sub);
1223 case Instruction::Opcode::FSub:
1224 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::FSub);
1225 case Instruction::Opcode::Mul:
1226 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::Mul);
1227 case Instruction::Opcode::FMul:
1228 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::FMul);
1229 case Instruction::Opcode::UDiv:
1230 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::UDiv);
1231 case Instruction::Opcode::SDiv:
1232 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::SDiv);
1233 case Instruction::Opcode::FDiv:
1234 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::FDiv);
1235 case Instruction::Opcode::URem:
1236 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::URem);
1237 case Instruction::Opcode::SRem:
1238 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::SRem);
1239 case Instruction::Opcode::FRem:
1240 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::FRem);
1241 case Instruction::Opcode::Shl:
1242 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::Shl);
1243 case Instruction::Opcode::LShr:
1244 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::LShr);
1245 case Instruction::Opcode::AShr:
1246 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::AShr);
1247 case Instruction::Opcode::And:
1248 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::And);
1249 case Instruction::Opcode::Or:
1250 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::Or);
1251 case Instruction::Opcode::Xor:
1252 return static_cast<llvm::Instruction::BinaryOps>(llvm::Instruction::Xor);
1253 default:
1254 llvm_unreachable("Not a binary op!");
1255 }
1256}
1259 const Twine &Name) {
1260 auto &Builder = setInsertPos(Pos);
1262 Builder.CreateBinOp(getLLVMBinaryOp(Op), LHS->Val, RHS->Val, Name);
1263 if (auto *NewBinOp = dyn_cast<llvm::BinaryOperator>(NewV))
1264 return Ctx.createBinaryOperator(NewBinOp);
1265 assert(isa<llvm::Constant>(NewV) && "Expected constant");
1266 return Ctx.getOrCreateConstant(cast<llvm::Constant>(NewV));
1267}
1268
1270 Value *RHS, Value *CopyFrom,
1272 const Twine &Name) {
1273
1274 Value *NewV = create(Op, LHS, RHS, Pos, Ctx, Name);
1275 if (auto *NewBO = dyn_cast<BinaryOperator>(NewV))
1276 cast<llvm::BinaryOperator>(NewBO->Val)->copyIRFlags(CopyFrom->Val);
1277 return NewV;
1278}
1279
1281 Ctx.getTracker()
1282 .emplaceIfTracking<GenericSetter<&PossiblyDisjointInst::isDisjoint,
1284 this);
1285 cast<llvm::PossiblyDisjointInst>(Val)->setIsDisjoint(B);
1286}
1287
1289 Ctx.getTracker()
1290 .emplaceIfTracking<GenericSetter<&AtomicRMWInst::getAlign,
1292 cast<llvm::AtomicRMWInst>(Val)->setAlignment(Align);
1293}
1294
1296 Ctx.getTracker()
1297 .emplaceIfTracking<GenericSetter<&AtomicRMWInst::isVolatile,
1299 cast<llvm::AtomicRMWInst>(Val)->setVolatile(V);
1300}
1303 Ctx.getTracker()
1304 .emplaceIfTracking<GenericSetter<&AtomicRMWInst::getOrdering,
1306 cast<llvm::AtomicRMWInst>(Val)->setOrdering(Ordering);
1307}
1308
1310 Ctx.getTracker()
1311 .emplaceIfTracking<GenericSetter<&AtomicRMWInst::getSyncScopeID,
1326 InsertPosition Pos, Context &Ctx,
1327 SyncScope::ID SSID, const Twine &Name) {
1328 auto &Builder = setInsertPos(Pos);
1329 auto *LLVMAtomicRMW =
1330 Builder.CreateAtomicRMW(Op, Ptr->Val, Val->Val, Align, Ordering, SSID);
1331 LLVMAtomicRMW->setName(Name);
1332 return Ctx.createAtomicRMWInst(LLVMAtomicRMW);
1333}
1334
1336 Ctx.getTracker()
1337 .emplaceIfTracking<GenericSetter<&AtomicCmpXchgInst::getSyncScopeID,
1339 this);
1340 cast<llvm::AtomicCmpXchgInst>(Val)->setSyncScopeID(SSID);
1341}
1342
1346
1350
1354
1357 AtomicOrdering SuccessOrdering,
1358 AtomicOrdering FailureOrdering, InsertPosition Pos,
1359 Context &Ctx, SyncScope::ID SSID, const Twine &Name) {
1360 auto &Builder = setInsertPos(Pos);
1361 auto *LLVMAtomicCmpXchg =
1362 Builder.CreateAtomicCmpXchg(Ptr->Val, Cmp->Val, New->Val, Align,
1363 SuccessOrdering, FailureOrdering, SSID);
1364 LLVMAtomicCmpXchg->setName(Name);
1365 return Ctx.createAtomicCmpXchgInst(LLVMAtomicCmpXchg);
1366}
1367
1369 Ctx.getTracker()
1370 .emplaceIfTracking<GenericSetter<&AtomicCmpXchgInst::getAlign,
1372 cast<llvm::AtomicCmpXchgInst>(Val)->setAlignment(Align);
1373}
1374
1376 Ctx.getTracker()
1377 .emplaceIfTracking<GenericSetter<&AtomicCmpXchgInst::isVolatile,
1380}
1381
1383 Ctx.getTracker()
1384 .emplaceIfTracking<GenericSetter<&AtomicCmpXchgInst::isWeak,
1386 cast<llvm::AtomicCmpXchgInst>(Val)->setWeak(IsWeak);
1387}
1388
1390 Ctx.getTracker()
1393 this);
1394 cast<llvm::AtomicCmpXchgInst>(Val)->setSuccessOrdering(Ordering);
1395}
1396
1398 Ctx.getTracker()
1401 this);
1402 cast<llvm::AtomicCmpXchgInst>(Val)->setFailureOrdering(Ordering);
1403}
1404
1405AllocaInst *AllocaInst::create(Type *Ty, unsigned AddrSpace, InsertPosition Pos,
1406 Context &Ctx, Value *ArraySize,
1407 const Twine &Name) {
1408 auto &Builder = setInsertPos(Pos);
1409 auto *NewAlloca =
1410 Builder.CreateAlloca(Ty->LLVMTy, AddrSpace, ArraySize->Val, Name);
1411 return Ctx.createAllocaInst(NewAlloca);
1412}
1413
1417
1419 Ctx.getTracker()
1420 .emplaceIfTracking<GenericSetter<&AllocaInst::getAllocatedType,
1422 cast<llvm::AllocaInst>(Val)->setAllocatedType(Ty->LLVMTy);
1423}
1424
1426 Ctx.getTracker()
1427 .emplaceIfTracking<
1429 this);
1430 cast<llvm::AllocaInst>(Val)->setAlignment(Align);
1431}
1432
1434 Ctx.getTracker()
1437 cast<llvm::AllocaInst>(Val)->setUsedWithInAlloca(V);
1438}
1439
1443
1445 return cast<PointerType>(Ctx.getType(cast<llvm::AllocaInst>(Val)->getType()));
1446}
1447
1449 InsertPosition Pos, Context &Ctx, const Twine &Name) {
1450 assert(getLLVMCastOp(Op) && "Opcode not suitable for CastInst!");
1451 auto &Builder = setInsertPos(Pos);
1452 auto *NewV =
1453 Builder.CreateCast(getLLVMCastOp(Op), Operand->Val, DestTy->LLVMTy, Name);
1454 if (auto *NewCI = dyn_cast<llvm::CastInst>(NewV))
1455 return Ctx.createCastInst(NewCI);
1456 assert(isa<llvm::Constant>(NewV) && "Expected constant");
1457 return Ctx.getOrCreateConstant(cast<llvm::Constant>(NewV));
1458}
1459
1460bool CastInst::classof(const Value *From) {
1461 return From->getSubclassID() == ClassID::Cast;
1462}
1463
1465 return Ctx.getType(cast<llvm::CastInst>(Val)->getSrcTy());
1466}
1467
1469 return Ctx.getType(cast<llvm::CastInst>(Val)->getDestTy());
1470}
1471
1473 Ctx.getTracker()
1474 .emplaceIfTracking<GenericSetter<&PossiblyNonNegInst::hasNonNeg,
1477}
1478
1481 const Twine &Name) {
1482 auto &Builder = Instruction::setInsertPos(Pos);
1483 llvm::Value *NewV =
1484 Builder.CreateInsertElement(Vec->Val, NewElt->Val, Idx->Val, Name);
1485 if (auto *NewInsert = dyn_cast<llvm::InsertElementInst>(NewV))
1486 return Ctx.createInsertElementInst(NewInsert);
1487 assert(isa<llvm::Constant>(NewV) && "Expected constant");
1488 return Ctx.getOrCreateConstant(cast<llvm::Constant>(NewV));
1489}
1490
1492 Context &Ctx, const Twine &Name) {
1493 auto &Builder = setInsertPos(Pos);
1494 llvm::Value *NewV = Builder.CreateExtractElement(Vec->Val, Idx->Val, Name);
1495 if (auto *NewExtract = dyn_cast<llvm::ExtractElementInst>(NewV))
1496 return Ctx.createExtractElementInst(NewExtract);
1497 assert(isa<llvm::Constant>(NewV) && "Expected constant");
1498 return Ctx.getOrCreateConstant(cast<llvm::Constant>(NewV));
1499}
1500
1503 const Twine &Name) {
1504 auto &Builder = setInsertPos(Pos);
1505 llvm::Value *NewV =
1506 Builder.CreateShuffleVector(V1->Val, V2->Val, Mask->Val, Name);
1507 if (auto *NewShuffle = dyn_cast<llvm::ShuffleVectorInst>(NewV))
1508 return Ctx.createShuffleVectorInst(NewShuffle);
1509 assert(isa<llvm::Constant>(NewV) && "Expected constant");
1510 return Ctx.getOrCreateConstant(cast<llvm::Constant>(NewV));
1511}
1512
1515 const Twine &Name) {
1516 auto &Builder = setInsertPos(Pos);
1517 llvm::Value *NewV = Builder.CreateShuffleVector(V1->Val, V2->Val, Mask, Name);
1518 if (auto *NewShuffle = dyn_cast<llvm::ShuffleVectorInst>(NewV))
1519 return Ctx.createShuffleVectorInst(NewShuffle);
1520 assert(isa<llvm::Constant>(NewV) && "Expected constant");
1521 return Ctx.getOrCreateConstant(cast<llvm::Constant>(NewV));
1522}
1523
1525 Ctx.getTracker().emplaceIfTracking<ShuffleVectorSetMask>(this);
1526 cast<llvm::ShuffleVectorInst>(Val)->setShuffleMask(Mask);
1527}
1528
1530 return cast<VectorType>(
1531 Ctx.getType(cast<llvm::ShuffleVectorInst>(Val)->getType()));
1532}
1533
1535 Ctx.getTracker().emplaceIfTracking<ShuffleVectorSetMask>(this);
1536 Ctx.getTracker().emplaceIfTracking<UseSwap>(getOperandUse(0),
1537 getOperandUse(1));
1539}
1540
1545
1552
1556
1558 InsertPosition Pos, Context &Ctx,
1559 const Twine &Name) {
1560 auto &Builder = setInsertPos(Pos);
1561 llvm::Value *NewV = Builder.CreateExtractValue(Agg->Val, Idxs, Name);
1562 if (auto *NewExtractValueInst = dyn_cast<llvm::ExtractValueInst>(NewV))
1563 return Ctx.createExtractValueInst(NewExtractValueInst);
1564 assert(isa<llvm::Constant>(NewV) && "Expected constant");
1565 return Ctx.getOrCreateConstant(cast<llvm::Constant>(NewV));
1566}
1567
1569 auto *LLVMTy = llvm::ExtractValueInst::getIndexedType(Agg->LLVMTy, Idxs);
1570 return Agg->getContext().getType(LLVMTy);
1571}
1572
1574 InsertPosition Pos, Context &Ctx,
1575 const Twine &Name) {
1576 auto &Builder = setInsertPos(Pos);
1577 llvm::Value *NewV = Builder.CreateInsertValue(Agg->Val, Val->Val, Idxs, Name);
1578 if (auto *NewInsertValueInst = dyn_cast<llvm::InsertValueInst>(NewV))
1579 return Ctx.createInsertValueInst(NewInsertValueInst);
1580 assert(isa<llvm::Constant>(NewV) && "Expected constant");
1581 return Ctx.getOrCreateConstant(cast<llvm::Constant>(NewV));
1582}
1583
1584ConstantTokenNone *ConstantTokenNone::get(Context &Ctx) {
1585 auto *LLVMC = llvm::ConstantTokenNone::get(Ctx.LLVMCtx);
1586 return cast<ConstantTokenNone>(Ctx.getOrCreateConstant(LLVMC));
1587}
1588
1589} // namespace llvm::sandboxir
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
constexpr LLT S1
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
const size_t AbstractManglingParser< Derived, Alloc >::NumOps
#define F(x, y, z)
Definition MD5.cpp:54
#define I(x, y, z)
Definition MD5.cpp:57
#define P(N)
const SmallVectorImpl< MachineOperand > & Cond
static Value * getParentPad(Value *EHPad)
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition ArrayRef.h:41
size_t size() const
size - Get the array size.
Definition ArrayRef.h:143
void setSyncScopeID(SyncScope::ID SSID)
Sets the synchronization scope ID of this cmpxchg instruction.
SyncScope::ID getSyncScopeID() const
Returns the synchronization scope ID of this cmpxchg instruction.
Align getAlign() const
Return the alignment of the memory that is being allocated by the instruction.
void setAlignment(Align Align)
LLVM Basic Block Representation.
Definition BasicBlock.h:62
iterator end()
Definition BasicBlock.h:472
const Function * getParent() const
Return the enclosing method, or null if none.
Definition BasicBlock.h:213
InstListType::iterator iterator
Instruction iterators...
Definition BasicBlock.h:170
Conditional or Unconditional Branch instruction.
CallBr instruction, tracking function calls that may not return control but instead transfer it to a ...
BasicBlock * getIndirectDest(unsigned i) const
void setDefaultDest(BasicBlock *B)
void setIndirectDest(unsigned i, BasicBlock *B)
This class represents a function call, abstracting a target machine's calling convention.
BasicBlock * getSuccessor() const
void setSuccessor(BasicBlock *NewSucc)
void setUnwindDest(BasicBlock *UnwindDest)
BasicBlock * getUnwindDest() const
void setUnwindDest(BasicBlock *NewDest)
static LLVM_ABI ConstantTokenNone * get(LLVMContext &Context)
Return the ConstantTokenNone.
static LLVM_ABI Type * getIndexedType(Type *Agg, ArrayRef< unsigned > Idxs)
Returns the type of the element that would be extracted with an extractvalue instruction with the spe...
Convenience struct for specifying and reasoning about fast-math flags.
Definition FMF.h:22
An instruction for ordering other memory operations.
void setArgOperand(unsigned i, Value *v)
This provides a uniform API for creating instructions and inserting them into a basic block: either a...
Definition IRBuilder.h:2788
LLVM_ABI void copyFastMathFlags(FastMathFlags FMF)
Convenience function for transferring all fast-math flag values to this instruction,...
LLVM_ABI FastMathFlags getFastMathFlags() const LLVM_READONLY
Convenience function for getting all the fast-math flags, which must be an operator which supports th...
Instruction(const Instruction &)=delete
friend class BasicBlock
Various leaf nodes.
Invoke instruction.
The landingpad instruction holds all of the information necessary to generate correct exception handl...
bool isCleanup() const
Return 'true' if this landingpad instruction is a cleanup.
void setCleanup(bool V)
Indicate that this landingpad instruction is a cleanup.
Return a value (possibly void), from a function.
static LLVM_ABI Constant * convertShuffleMaskForBitcode(ArrayRef< int > Mask, Type *ResultTy)
void reserve(size_type N)
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Multiway switch.
CaseIteratorImpl< ConstCaseHandle > ConstCaseIt
CaseIteratorImpl< CaseHandle > CaseIt
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
Definition Twine.h:82
The instances of the Type class are immutable: once they are created, they are never changed.
Definition Type.h:45
LLVMContext & getContext() const
Return the LLVMContext in which this type was uniqued.
Definition Type.h:128
static LLVM_ABI IntegerType * getInt1Ty(LLVMContext &C)
Definition Type.cpp:294
This function has undefined behavior.
A Use represents the edge between a Value definition and its users.
Definition Use.h:35
Use & Op()
Definition User.h:196
LLVM Value Representation.
Definition Value.h:75
static LLVM_ABI VectorType * get(Type *ElementType, ElementCount EC)
This static method is the primary way to construct an VectorType.
An efficient, type-erasing, non-owning reference to a callable.
self_iterator getIterator()
Definition ilist_node.h:123
NodeTy * getNextNode()
Get the next node, or nullptr for the list tail.
Definition ilist_node.h:348
This class implements an extremely fast bulk output stream that can only output to a stream.
Definition raw_ostream.h:53
bool isUsedWithInAlloca() const
Return true if this alloca is used as an inalloca argument to a call.
LLVM_ABI Type * getAllocatedType() const
Return the type that is being allocated by the instruction.
LLVM_ABI void setAllocatedType(Type *Ty)
for use only in special circumstances that need to generically transform a whole instruction (eg: IR ...
LLVM_ABI Value * getArraySize()
Get the number of elements allocated.
LLVM_ABI PointerType * getType() const
Overload to return most specific pointer type.
LLVM_ABI void setUsedWithInAlloca(bool V)
Specify whether this alloca is used to represent the arguments to a call.
LLVM_ABI void setAlignment(Align Align)
static LLVM_ABI AllocaInst * create(Type *Ty, unsigned AddrSpace, InsertPosition Pos, Context &Ctx, Value *ArraySize=nullptr, const Twine &Name="")
LLVM_ABI void setSuccessOrdering(AtomicOrdering Ordering)
LLVM_ABI void setWeak(bool IsWeak)
LLVM_ABI void setVolatile(bool V)
Specify whether this is a volatile cmpxchg.
LLVM_ABI void setFailureOrdering(AtomicOrdering Ordering)
AtomicOrdering getFailureOrdering() const
LLVM_ABI void setAlignment(Align Align)
static LLVM_ABI AtomicCmpXchgInst * create(Value *Ptr, Value *Cmp, Value *New, MaybeAlign Align, AtomicOrdering SuccessOrdering, AtomicOrdering FailureOrdering, InsertPosition Pos, Context &Ctx, SyncScope::ID SSID=SyncScope::System, const Twine &Name="")
bool isVolatile() const
Return true if this is a cmpxchg from a volatile memory location.
LLVM_ABI void setSyncScopeID(SyncScope::ID SSID)
AtomicOrdering getSuccessOrdering() const
Align getAlign() const
Return the alignment of the memory that is being allocated by the instruction.
bool isWeak() const
Return true if this cmpxchg may spuriously fail.
static LLVM_ABI AtomicRMWInst * create(BinOp Op, Value *Ptr, Value *Val, MaybeAlign Align, AtomicOrdering Ordering, InsertPosition Pos, Context &Ctx, SyncScope::ID SSID=SyncScope::System, const Twine &Name="")
LLVM_ABI void setSyncScopeID(SyncScope::ID SSID)
llvm::AtomicRMWInst::BinOp BinOp
LLVM_ABI void setOrdering(AtomicOrdering Ordering)
SyncScope::ID getSyncScopeID() const
LLVM_ABI void setVolatile(bool V)
AtomicOrdering getOrdering() const
LLVM_ABI Value * getPointerOperand()
LLVM_ABI void setAlignment(Align Align)
static LLVM_ABI Value * create(Instruction::Opcode Op, Value *LHS, Value *RHS, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static LLVM_ABI Value * createWithCopiedFlags(Instruction::Opcode Op, Value *LHS, Value *RHS, Value *CopyFrom, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI BasicBlock * getSuccessor(unsigned SuccIdx) const
LLVM_ABI Value * getCondition() const
LLVM_ABI void setSuccessor(unsigned Idx, BasicBlock *NewSucc)
unsigned getNumSuccessors() const
static LLVM_ABI BranchInst * create(BasicBlock *IfTrue, InsertPosition Pos, Context &Ctx)
static LLVM_ABI bool classof(const Value *From)
For isa/dyn_cast.
LLVM_ABI Function * getCalledFunction() const
LLVM_ABI Use getCalledOperandUse() const
LLVM_ABI FunctionType * getFunctionType() const
LLVM_ABI void setCalledFunction(Function *F)
LLVM_ABI Function * getCaller()
LLVM_ABI Value * getCalledOperand() const
void setCalledOperand(Value *V)
LLVM_ABI Value * getIndirectDestLabelUse(unsigned Idx) const
static LLVM_ABI CallBrInst * create(FunctionType *FTy, Value *Func, BasicBlock *DefaultDest, ArrayRef< BasicBlock * > IndirectDests, ArrayRef< Value * > Args, InsertPosition Pos, Context &Ctx, const Twine &NameStr="")
LLVM_ABI Value * getIndirectDestLabel(unsigned Idx) const
LLVM_ABI BasicBlock * getSuccessor(unsigned Idx) const
LLVM_ABI void setIndirectDest(unsigned Idx, BasicBlock *BB)
LLVM_ABI BasicBlock * getDefaultDest() const
LLVM_ABI BasicBlock * getIndirectDest(unsigned Idx) const
LLVM_ABI SmallVector< BasicBlock *, 16 > getIndirectDests() const
LLVM_ABI void setDefaultDest(BasicBlock *BB)
static LLVM_ABI CallInst * create(FunctionType *FTy, Value *Func, ArrayRef< Value * > Args, InsertPosition Pos, Context &Ctx, const Twine &NameStr="")
LLVM_ABI Type * getSrcTy() const
static LLVM_ABI Value * create(Type *DestTy, Opcode Op, Value *Operand, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI Type * getDestTy() const
static LLVM_ABI bool classof(const Value *From)
For isa/dyn_cast.
static LLVM_ABI CatchPadInst * create(Value *ParentPad, ArrayRef< Value * > Args, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI CatchSwitchInst * getCatchSwitch() const
LLVM_ABI CatchPadInst * getCatchPad() const
LLVM_ABI BasicBlock * getSuccessor() const
LLVM_ABI void setSuccessor(BasicBlock *NewSucc)
LLVM_ABI void setCatchPad(CatchPadInst *CatchPad)
LLVM_ABI Value * getCatchSwitchParentPad() const
static LLVM_ABI CatchReturnInst * create(CatchPadInst *CatchPad, BasicBlock *BB, InsertPosition Pos, Context &Ctx)
LLVM_ABI void addHandler(BasicBlock *Dest)
LLVM_ABI void setParentPad(Value *ParentPad)
LLVM_ABI void setUnwindDest(BasicBlock *UnwindDest)
static LLVM_ABI CatchSwitchInst * create(Value *ParentPad, BasicBlock *UnwindBB, unsigned NumHandlers, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI BasicBlock * getUnwindDest() const
LLVM_ABI Value * getParentPad() const
static LLVM_ABI CleanupPadInst * create(Value *ParentPad, ArrayRef< Value * > Args, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI CleanupPadInst * getCleanupPad() const
LLVM_ABI void setUnwindDest(BasicBlock *NewDest)
static LLVM_ABI CleanupReturnInst * create(CleanupPadInst *CleanupPad, BasicBlock *UnwindBB, InsertPosition Pos, Context &Ctx)
LLVM_ABI BasicBlock * getUnwindDest() const
LLVM_ABI void setCleanupPad(CleanupPadInst *CleanupPad)
llvm::CmpInst::Predicate Predicate
void dumpOS(raw_ostream &OS) const override
LLVM_DUMP_METHOD void dump() const
static LLVM_ABI Value * createWithCopiedFlags(Predicate Pred, Value *S1, Value *S2, const Instruction *FlagsSource, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static LLVM_ABI Type * makeCmpResultType(Type *OpndType)
Create a result type for fcmp/icmp.
static LLVM_ABI Value * create(Predicate Pred, Value *S1, Value *S2, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI void setPredicate(Predicate P)
LLVM_ABI void swapOperands()
static LLVM_ABI ConstantTokenNone * get(Context &Ctx)
Return the ConstantTokenNone.
Type * getType(llvm::Type *LLVMTy)
Definition Context.h:262
LLVM_ABI Constant * getOrCreateConstant(llvm::Constant *LLVMC)
Get or create a sandboxir::Constant from an existing LLVM IR LLVMC.
Definition Context.cpp:445
static LLVM_ABI Value * create(Value *Vec, Value *Idx, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI VectorType * getVectorOperandType() const
static LLVM_ABI Value * create(Value *Agg, ArrayRef< unsigned > Idxs, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static LLVM_ABI Type * getIndexedType(Type *Agg, ArrayRef< unsigned > Idxs)
Returns the type of the element that would be extracted with an extractvalue instruction with the spe...
LLVM_ABI void swapOperands()
static LLVM_ABI FenceInst * create(AtomicOrdering Ordering, InsertPosition Pos, Context &Ctx, SyncScope::ID SSID=SyncScope::System)
LLVM_ABI void setOrdering(AtomicOrdering Ordering)
Sets the ordering constraint of this fence instruction.
SyncScope::ID getSyncScopeID() const
Returns the synchronization scope ID of this fence instruction.
LLVM_ABI void setSyncScopeID(SyncScope::ID SSID)
Sets the synchronization scope ID of this fence instruction.
static LLVM_ABI FreezeInst * create(Value *V, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI Value * getArgOperand(unsigned Idx) const
Return the Idx-th funcletpad argument.
LLVM_ABI Value * getParentPad() const
Return the outer EH-pad this funclet is nested within.
LLVM_ABI void setParentPad(Value *ParentPad)
LLVM_ABI void setArgOperand(unsigned Idx, Value *V)
Set the Idx-th funcletpad argument.
Similar to GenericSetter but the setters/getters have an index as their first argument.
Definition Tracker.h:305
This class can be used for tracking most instruction setters.
Definition Tracker.h:277
LLVM_ABI Type * getResultElementType() const
LLVM_ABI Type * getPointerOperandType() const
LLVM_ABI Type * getSourceElementType() const
LLVM_ABI Value * getPointerOperand() const
static LLVM_ABI Value * create(Type *Ty, Value *Ptr, ArrayRef< Value * > IdxList, InsertPosition Pos, Context &Ctx, const Twine &NameStr="")
LLVM_ABI void swapOperands()
static LLVM_ABI Value * create(Value *Vec, Value *NewElt, Value *Idx, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static LLVM_ABI Value * create(Value *Agg, Value *Val, ArrayRef< unsigned > Idxs, InsertPosition Pos, Context &Ctx, const Twine &Name="")
A sandboxir::User with operands, opcode and linked with previous/next instructions in an instruction ...
Definition Instruction.h:43
bool hasNoUnsignedWrap() const
Determine whether the no signed wrap flag is set.
static IRBuilder & setInsertPos(InsertPosition Pos)
Helper function for create().
LLVM_ABI void setFastMathFlags(FastMathFlags FMF)
Convenience function for setting multiple fast-math flags on this instruction, which must be an opera...
bool hasAllowReassoc() const
Determine whether the allow-reassociation flag is set.
LLVM_ABI void setHasAllowReassoc(bool B)
Set or clear the reassociation flag on this instruction, which must be an operator which supports thi...
bool hasNoSignedZeros() const
Determine whether the no-signed-zeros flag is set.
const char * getOpcodeName() const
LLVM_ABI void setHasNoSignedWrap(bool B=true)
Set or clear the nsw flag on this instruction, which must be an operator which supports this flag.
LLVM_ABI void insertAfter(Instruction *AfterI)
Insert this detached instruction after AfterI.
LLVM_ABI void moveBefore(BasicBlock &BB, const BBIterator &WhereIt)
Move this instruction to WhereIt.
bool hasAllowContract() const
Determine whether the allow-contract flag is set.
LLVM_ABI void setIsExact(bool B=true)
Set or clear the exact flag on this instruction, which must be an operator which supports this flag.
bool hasApproxFunc() const
Determine whether the approximate-math-functions flag is set.
bool hasNoSignedWrap() const
Determine whether the no signed wrap flag is set.
LLVM_ABI void setHasNoUnsignedWrap(bool B=true)
Set or clear the nuw flag on this instruction, which must be an operator which supports this flag.
void dumpOS(raw_ostream &OS) const override
LLVM_ABI BBIterator getIterator() const
\Returns a BasicBlock::iterator for this Instruction.
LLVM_ABI void setFast(bool B)
Set or clear all fast-math-flags on this instruction, which must be an operator which supports this f...
LLVM_ABI void setHasApproxFunc(bool B)
Set or clear the approximate-math-functions flag on this instruction, which must be an operator which...
LLVM_ABI void setHasNoNaNs(bool B)
Set or clear the no-nans flag on this instruction, which must be an operator which supports this flag...
LLVM_ABI void copyFastMathFlags(FastMathFlags FMF)
Convenience function for transferring all fast-math flag values to this instruction,...
LLVM_ABI void setHasNoSignedZeros(bool B)
Set or clear the no-signed-zeros flag on this instruction, which must be an operator which supports t...
LLVM_ABI void insertInto(BasicBlock *BB, const BBIterator &WhereIt)
Insert this detached instruction into BB at WhereIt.
LLVM_ABI llvm::Instruction * getTopmostLLVMInstruction() const
A SandboxIR Instruction may map to multiple LLVM IR Instruction.
LLVM_ABI void setHasAllowContract(bool B)
Set or clear the allow-contract flag on this instruction, which must be an operator which supports th...
virtual SmallVector< llvm::Instruction *, 1 > getLLVMInstrs() const =0
\Returns the LLVM IR Instructions that this SandboxIR maps to in program order.
LLVM_ABI Type * getAccessType() const
Instruction(ClassID ID, Opcode Opc, llvm::Instruction *I, sandboxir::Context &SBCtx)
Definition Instruction.h:53
FastMathFlags getFastMathFlags() const
Convenience function for getting all the fast-math flags, which must be an operator which supports th...
LLVM_ABI Instruction * getNextNode() const
\Returns the next sandboxir::Instruction in the block, or nullptr if at the end of the block.
LLVM_ABI void removeFromParent()
Detach this from its parent BasicBlock without deleting it.
LLVM_ABI Instruction * getPrevNode() const
\Returns the previous sandboxir::Instruction in the block, or nullptr if at the beginning of the bloc...
bool hasAllowReciprocal() const
Determine whether the allow-reciprocal flag is set.
LLVM_ABI void insertBefore(Instruction *BeforeI)
Insert this detached instruction before BeforeI.
LLVM_ABI void eraseFromParent()
Detach this Value from its parent and delete it.
LLVM_ABI void setHasAllowReciprocal(bool B)
Set or clear the allow-reciprocal flag on this instruction, which must be an operator which supports ...
LLVM_ABI void setHasNoInfs(bool B)
Set or clear the no-infs flag on this instruction, which must be an operator which supports this flag...
LLVM_ABI BasicBlock * getParent() const
\Returns the BasicBlock containing this Instruction, or null if it is detached.
static LLVM_ABI bool classof(const sandboxir::Value *From)
For isa/dyn_cast.
LLVM_ABI BasicBlock * getUnwindDest() const
static LLVM_ABI InvokeInst * create(FunctionType *FTy, Value *Func, BasicBlock *IfNormal, BasicBlock *IfException, ArrayRef< Value * > Args, InsertPosition Pos, Context &Ctx, const Twine &NameStr="")
LLVM_ABI void setNormalDest(BasicBlock *BB)
LLVM_ABI void setUnwindDest(BasicBlock *BB)
LLVM_ABI BasicBlock * getSuccessor(unsigned SuccIdx) const
LLVM_ABI BasicBlock * getNormalDest() const
LLVM_ABI LandingPadInst * getLandingPadInst() const
LLVM_ABI void setCleanup(bool V)
Indicate that this landingpad instruction is a cleanup.
LLVM_ABI Constant * getClause(unsigned Idx) const
Get the value of the clause at index Idx.
static LLVM_ABI LandingPadInst * create(Type *RetTy, unsigned NumReservedClauses, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static LLVM_ABI LoadInst * create(Type *Ty, Value *Ptr, MaybeAlign Align, InsertPosition Pos, bool IsVolatile, Context &Ctx, const Twine &Name="")
LLVM_ABI void setVolatile(bool V)
Specify whether this is a volatile load or not.
LLVM_ABI Value * getPointerOperand() const
static LLVM_ABI bool classof(const Value *From)
For isa/dyn_cast.
LLVM_ABI Value * hasConstantValue() const
LLVM_ABI int getBasicBlockIndex(const BasicBlock *BB) const
unsigned getNumIncomingValues() const
LLVM_ABI Value * getIncomingValue(unsigned Idx) const
LLVM_ABI void setIncomingBlock(unsigned Idx, BasicBlock *BB)
LLVM_ABI void removeIncomingValueIf(function_ref< bool(unsigned)> Predicate)
static LLVM_ABI bool classof(const Value *From)
For isa/dyn_cast.
static LLVM_ABI PHINode * create(Type *Ty, unsigned NumReservedValues, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI Value * removeIncomingValue(unsigned Idx)
LLVM_ABI void setIncomingValue(unsigned Idx, Value *V)
LLVM_ABI BasicBlock * getIncomingBlock(unsigned Idx) const
LLVM_ABI void replaceIncomingBlockWith(const BasicBlock *Old, BasicBlock *New)
LLVM_ABI Value * getIncomingValueForBlock(const BasicBlock *BB) const
LLVM_ABI void addIncoming(Value *V, BasicBlock *BB)
static LLVM_ABI ResumeInst * create(Value *Exn, InsertPosition Pos, Context &Ctx)
LLVM_ABI Value * getValue() const
static LLVM_ABI ReturnInst * create(Value *RetVal, InsertPosition Pos, Context &Ctx)
LLVM_ABI Value * getReturnValue() const
\Returns null if there is no return value.
static LLVM_ABI bool classof(const Value *From)
For isa/dyn_cast.
static LLVM_ABI Value * create(Value *Cond, Value *True, Value *False, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI VectorType * getType() const
Overload to return most specific vector type.
LLVM_ABI Constant * getShuffleMaskForBitcode() const
Return the mask for this instruction, for use in bitcode.
LLVM_ABI void commute()
Swap the operands and adjust the mask to preserve the semantics of the instruction.
static LLVM_ABI Value * create(Value *V1, Value *V2, Value *Mask, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static LLVM_ABI Constant * convertShuffleMaskForBitcode(ArrayRef< int > Mask, Type *ResultTy)
LLVM_ABI void setShuffleMask(ArrayRef< int > Mask)
LLVM_ABI void setVolatile(bool V)
Specify whether this is a volatile store or not.
static LLVM_ABI bool classof(const Value *From)
For isa/dyn_cast.
static LLVM_ABI StoreInst * create(Value *V, Value *Ptr, MaybeAlign Align, InsertPosition Pos, bool IsVolatile, Context &Ctx)
LLVM_ABI Value * getPointerOperand() const
LLVM_ABI Value * getValueOperand() const
static LLVM_ABI SwitchInst * create(Value *V, BasicBlock *Dest, unsigned NumCases, InsertPosition Pos, Context &Ctx, const Twine &Name="")
LLVM_ABI void addCase(ConstantInt *OnVal, BasicBlock *Dest)
LLVM_ABI BasicBlock * getSuccessor(unsigned Idx) const
LLVM_ABI void setDefaultDest(BasicBlock *DefaultCase)
LLVM_ABI BasicBlock * getDefaultDest() const
CaseItImpl< llvm::SwitchInst::CaseIt, BasicBlock, ConstantInt > CaseIt
LLVM_ABI Value * getCondition() const
LLVM_ABI void setSuccessor(unsigned Idx, BasicBlock *NewSucc)
LLVM_ABI void setCondition(Value *V)
LLVM_ABI ConstantInt * findCaseDest(BasicBlock *BB)
LLVM_ABI CaseIt removeCase(CaseIt It)
This method removes the specified case and its successor from the switch instruction.
The tracker collects all the change objects and implements the main API for saving / reverting / acce...
Definition Tracker.h:442
bool emplaceIfTracking(ArgsT... Args)
A convenience wrapper for track() that constructs and tracks the Change object if tracking is enabled...
Definition Tracker.h:500
Just like llvm::Type these are immutable, unique, never get freed and can only be created via static ...
Definition Type.h:47
llvm::Type * LLVMTy
Definition Type.h:49
static LLVM_ABI Type * getInt1Ty(Context &Ctx)
Definition Type.cpp:30
Context & getContext() const
Definition Type.h:94
static LLVM_ABI Value * createWithCopiedFlags(Instruction::Opcode Op, Value *OpV, Value *CopyFrom, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static LLVM_ABI Value * create(Instruction::Opcode Op, Value *OpV, InsertPosition Pos, Context &Ctx, const Twine &Name="")
static LLVM_ABI UnreachableInst * create(InsertPosition Pos, Context &Ctx)
static LLVM_ABI bool classof(const Value *From)
Tracks swapping a Use with another Use.
Definition Tracker.h:198
Represents a Def-use/Use-def edge in SandboxIR.
Definition Use.h:33
virtual void setOperand(unsigned OperandIdx, Value *Operand)
Definition User.cpp:91
virtual unsigned getNumOperands() const
Definition User.h:129
Use getOperandUse(unsigned OpIdx) const
\Returns the operand edge for OpIdx.
Definition User.h:126
LLVM_ABI Value * getPointerOperand()
static LLVM_ABI VAArgInst * create(Value *List, Type *Ty, InsertPosition Pos, Context &Ctx, const Twine &Name="")
A SandboxIR Value has users. This is the base class.
Definition Value.h:66
llvm::Value * Val
The LLVM Value that corresponds to this SandboxIR Value.
Definition Value.h:106
ClassID getSubclassID() const
Definition Value.h:191
void dumpCommonSuffix(raw_ostream &OS) const
Definition Value.cpp:107
Context & Ctx
All values point to the context.
Definition Value.h:179
LLVM_ABI Type * getType() const
Definition Value.cpp:46
friend class Use
Definition Value.h:110
iterator_range< user_iterator > users()
Definition Value.h:231
void dumpCommonPrefix(raw_ostream &OS) const
Definition Value.cpp:100
@ LLVMAtomicRMW
Definition Core.h:138
@ LLVMAtomicCmpXchg
Definition Core.h:137
@ LLVMSwitch
Definition Core.h:65
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ C
The default llvm calling convention, compatible with C.
Definition CallingConv.h:34
bool empty() const
Definition BasicBlock.h:101
static llvm::Instruction::CastOps getLLVMCastOp(Instruction::Opcode Opc)
BasicBlock(llvm::BasicBlock *BB, Context &SBCtx)
Definition BasicBlock.h:75
iterator end() const
Definition BasicBlock.h:89
static llvm::Instruction::UnaryOps getLLVMUnaryOp(Instruction::Opcode Opc)
\Returns the LLVM opcode that corresponds to Opc.
LLVM_ABI iterator begin() const
static llvm::Instruction::BinaryOps getLLVMBinaryOp(Instruction::Opcode Opc)
\Returns the LLVM opcode that corresponds to Opc.
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:643
auto cast_or_null(const Y &Val)
Definition Casting.h:714
const Value * getPointerOperand(const Value *V)
A helper function that returns the pointer operand of a load, store or GEP instruction.
auto reverse(ContainerTy &&C)
Definition STLExtras.h:406
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition Debug.cpp:207
bool is_sorted(R &&Range, Compare C)
Wrapper function around std::is_sorted to check if elements in a range R are sorted with respect to a...
Definition STLExtras.h:1920
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
Definition Casting.h:547
AtomicOrdering
Atomic ordering for LLVM's memory model.
DWARFExpression::Operation Op
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
Definition Casting.h:559
This struct is a compact representation of a valid (non-zero power of two) alignment.
Definition Alignment.h:39
This struct is a compact representation of a valid (power of two) or undefined (0) alignment.
Definition Alignment.h:106