#include "CoroInternal.h"
#include "llvm/ADT/BitVector.h"
#include "llvm/Analysis/PtrUseVisitor.h"
#include "llvm/Transforms/Utils/Local.h"
#include "llvm/Config/llvm-config.h"
#include "llvm/IR/CFG.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/IRBuilder.h"
#include "llvm/IR/InstIterator.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/MathExtras.h"
#include "llvm/Support/circular_raw_ostream.h"
#include "llvm/Transforms/Utils/BasicBlockUtils.h"
#include "llvm/Transforms/Utils/PromoteMemToReg.h"

Include dependency graph for CoroFrame.cpp:

Macros
#define	DEBUG_TYPE "coro-suspend-crossing"

#define	DEBUG_TYPE "coro-frame"

Typedefs
using	SpillInfo = SmallVector< Spill, 8 >

typedef SmallPtrSet< BasicBlock *, 8 >	VisitedBlocksSet

Enumerations
enum	{ SmallVectorThreshold = 32 }

Functions
static void	dump (StringRef Title, SpillInfo const &Spills)

static StructType *	buildFrameType (Function &F, coro::Shape &Shape, SpillInfo &Spills)

static bool	mightWriteIntoAllocaPtr (AllocaInst &A, const DominatorTree &DT, const CoroBeginInst &CB)

static Instruction *	splitBeforeCatchSwitch (CatchSwitchInst *CatchSwitch)

static Instruction *	insertSpills (const SpillInfo &Spills, coro::Shape &Shape)

static void	setUnwindEdgeTo (Instruction TI, BasicBlock Succ)

static void	updatePhiNodes (BasicBlock DestBB, BasicBlock OldPred, BasicBlock NewPred, PHINode LandingPadReplacement)

static BasicBlock *	ehAwareSplitEdge (BasicBlock BB, BasicBlock Succ, LandingPadInst OriginalPad, PHINode LandingPadReplacement)

static void	rewritePHIs (BasicBlock &BB)

static void	rewritePHIs (Function &F)

static bool	materializable (Instruction &V)

static bool	isCoroutineStructureIntrinsic (Instruction &I)

static void	rewriteMaterializableInstructions (IRBuilder<> &IRB, SpillInfo const &Spills)

static BasicBlock *	splitBlockIfNotFirst (Instruction *I, const Twine &Name)

static void	splitAround (Instruction *I, const Twine &Name)

static bool	isSuspendBlock (BasicBlock *BB)

static bool	isSuspendReachableFrom (BasicBlock *From, VisitedBlocksSet &VisitedOrFreeBBs)
	Does control flow starting at the given block ever reach a suspend instruction before reaching a block in VisitedOrFreeBBs? More...

static bool	isLocalAlloca (CoroAllocaAllocInst *AI)
	Is the given alloca "local", i.e. More...

static bool	willLeaveFunctionImmediatelyAfter (BasicBlock *BB, unsigned depth=3)
	After we split the coroutine, will the given basic block be along an obvious exit path for the resumption function? More...

static bool	localAllocaNeedsStackSave (CoroAllocaAllocInst *AI)

static void	lowerLocalAllocas (ArrayRef< CoroAllocaAllocInst > LocalAllocas, SmallVectorImpl< Instruction > &DeadInsts)
	Turn each of the given local allocas into a normal (dynamic) alloca instruction. More...

static Instruction *	lowerNonLocalAlloca (CoroAllocaAllocInst AI, coro::Shape &Shape, SmallVectorImpl< Instruction > &DeadInsts)
	Turn the given coro.alloca.alloc call into a dynamic allocation. More...

static Value *	emitGetSwiftErrorValue (IRBuilder<> &Builder, Type *ValueTy, coro::Shape &Shape)
	Get the current swifterror value. More...

static Value *	emitSetSwiftErrorValue (IRBuilder<> &Builder, Value *V, coro::Shape &Shape)
	Set the given value as the current swifterror value. More...

static Value *	emitSetAndGetSwiftErrorValueAround (Instruction Call, AllocaInst Alloca, coro::Shape &Shape)
	Set the swifterror value from the given alloca before a call, then put in back in the alloca afterwards. More...

static void	eliminateSwiftErrorAlloca (Function &F, AllocaInst *Alloca, coro::Shape &Shape)
	Eliminate a formerly-swifterror alloca by inserting the get/set intrinsics and attempting to MemToReg the alloca away. More...

static void	eliminateSwiftErrorArgument (Function &F, Argument &Arg, coro::Shape &Shape, SmallVectorImpl< AllocaInst *> &AllocasToPromote)
	"Eliminate" a swifterror argument by reducing it to the alloca case and then loading and storing in the prologue and epilog. More...

static void	eliminateSwiftError (Function &F, coro::Shape &Shape)
	Eliminate all problematic uses of swifterror arguments and allocas from the function. More...