Adding an Argument to a Function in LLVM

Question

I wish to write an LLVM pass that two arguments of type i32 to select functions. My first try (sketched below) failed:

bool MyFunctionPass::runOnFunction(Function &f) 
{
    Type *int32 = Type::getInt32Ty(f.getParent()->getContext());
    Argument *xC = new Argument(int32, "__xC", &f);
    ...

The module verifier crashes if I try the above. The newly added argument type is junk 0xCDCDCDCD (uninitialized heap memory). The function type remains:

void (i32 addrspace(1)*, i32 addrspace(1)*, i32)

instead of being extended by the new i32.

Also, adding the parameter directly to the parameter list Function::getArgumentList() failed as the Argument constructor links itself to the function, and this is detected as a double link.

Do I need a ModulePass to do this, or will a FunctionPass suffice?
Is there an elegant way of doing this?

Thanks!

Oak · Accepted Answer · 2014-03-19 08:10:47Z

8

Adding arguments to a function is surprisingly tricky - as you've discovered, it's not as easy as modifying the argument list.

The most foolproof way of doing it is probably to first create a new function with all the original arguments + the extra arguments, and then call CloneFunctionInto to embed the original function inside your new function.

answered Mar 19, 2014 at 8:10

Oak

27.1k8 gold badges103 silver badges160 bronze badges

Sign up to request clarification or add additional context in comments.

Collectives™ on Stack Overflow

Adding an Argument to a Function in LLVM

1 Answer 1

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

Comments

Your Answer

Sign up or log in

Post as a guest

Related