ddmd.toir

elem* incUsageElem(IRState* irs, Loc loc);

Produce elem which increments the usage count for a particular line. Used to implement -cov switch (coverage analysis).

elem* getEthis(Loc loc, IRState* irs, Dsymbol fd);

Return elem that evaluates to the static frame pointer for function fd. If fd is a member function, the returned expression will compute the value of fd's 'this' variable. This routine is critical for implementing nested functions.

elem* setEthis(Loc loc, IRState* irs, elem* ey, AggregateDeclaration ad);

Initialize the hidden aggregate member, vthis, with the context pointer.

Returns:

*(ey + ad.vthis.offset) = this;

int intrinsic_op(FuncDeclaration fd);

Convert intrinsic function to operator. Returns that operator, -1 if not an intrinsic function.

elem* resolveLengthVar(VarDeclaration lengthVar, elem** pe, Type t1);

Given an expression e that is an array, determine and set the 'length' variable.

Input: lengthVar Symbol of 'length' variable &e expression that is the array t1 Type of the array

Output: e is rewritten to avoid side effects

Returns:

expression that initializes 'length'

void buildClosure(FuncDeclaration fd, IRState* irs);

Closures are implemented by taking the local variables that need to survive the scope of the function, and copying them into a gc allocated chuck of memory. That chunk, called the closure here, is inserted into the linked list of stack frames instead of the usual stack frame.

buildClosure() inserts code just after the function prolog is complete. It allocates memory for the closure, allocates a local variable (sclosure) to point to it, inserts into it the link to the enclosing frame, and copies into it the parameters that are referred to in nested functions. In VarExp::toElem and SymOffExp::toElem, when referring to a variable that is in a closure, takes the offset from sclosure rather than from the frame pointer.

getEthis() and NewExp::toElem need to use sclosure, if set, rather than the current frame pointer.

RET retStyle(TypeFunction tf);

Determine return style of function - whether in registers or through a hidden pointer to the caller's stack.