Change GlobalValue Type/Initializer

Hi,

I am trying to update the initializer of a global value and I have encounter two issues:

The first one is that I can not change the type of the global value. Let say that I have the following variable: @.str = private unnamed_addr constant [6 x i8] c”Test0A\00", align 1

How can I change the ”Test0A\00” to ”OtherTest0A\00”. Is this possible? I know that you can change the initializer with setInitializer but the global value’s type will not be the same.

For now, the only way I found was to create a new global value and to change all theses uses.

The second problem that I have is with the function Verifier::visitGlobalVariable. Sometimes, the verifier tells me that the initializer type does not match the global variable type even when this is the case.

This function will do the following check:

if (GV.hasInitializer()) {
Assert(GV.getInitializer()->getType() == GV.getType()->getElementType(),
"Global variable initializer type does not match global "
“variable type!”,
&GV);

But I did not find any overload for the comparator operator (in the type class). So this will only check if the addresses of the type are the same and not if this is the same type.

To have the same type, I need to create the initializer with the same context as the global variable:

LLVMContext &C = gv->getContext();
ConstantDataArray *data = cast(ConstantDataArray::getString(C, ref, false));
gv->setInitializer(data);

Is this normal? I am missing something?

Greetings,

JOHAN WEHRLI - Product and development

Rue Galilée 7
CH-1400 Yverdon-les-Bains
https://strong.codes

Hi,

I am trying to update the initializer of a global value and I have encounter two issues:

The first one is that I can not change the type of the global value. Let say that I have the following variable: @.str = private unnamed_addr constant [6 x i8] c”Test0A\00", align 1

How can I change the ”Test0A\00” to ”OtherTest0A\00”. Is this possible? I know that you can change the initializer with setInitializer but the global value’s type will not be the same.

For now, the only way I found was to create a new global value and to change all theses uses.

That’s the right thing to do: you need to create a new GV and replace the old one with the new one.

The second problem that I have is with the function Verifier::visitGlobalVariable. Sometimes, the verifier tells me that the initializer type does not match the global variable type even when this is the case.

This function will do the following check:

if (GV.hasInitializer()) {
Assert(GV.getInitializer()->getType() == GV.getType()->getElementType(),
"Global variable initializer type does not match global "
“variable type!”,
&GV);

But I did not find any overload for the comparator operator (in the type class). So this will only check if the addresses of the type are the same and not if this is the same type.

To have the same type, I need to create the initializer with the same context as the global variable:

LLVMContext &C = gv->getContext();
ConstantDataArray *data = cast(ConstantDataArray::getString(C, ref, false));
gv->setInitializer(data);

Is this normal? I am missing something?

Yes it is normal you have to use the same context to manipulate IR inside a Module. The context owns the module and destroying the context destroys everything that is created in the context. It is not clear to me what other context you could even manage to use here conceptually.
Anyway it is rooted quite deeply in LLVM that type can be compared by pointer thanks to this context uniquing.

You can have different LLVMContext when you manipulate multiple Modules (Context are here to enable multi-threading environment), but you won’t be able to compare type from one module to the other for example.

Hi Mehdi,

Thank you for you answer.

Yes it is normal you have to use the same context to manipulate IR inside a Module. The context owns the module and destroying the context destroys everything that is created in the context. It is not clear to me what other context you could even manage to use here conceptually.

Actually I was using llvm::getGlobalContext() in order to get the context.

It seems that this is not the same context as gv->getContext().

Greetings,

JOHAN WEHRLI - Product and development

Rue Galilée 7
CH-1400 Yverdon-les-Bains
https://strong.codes

Hi Mehdi,

Thank you for you answer.

Yes it is normal you have to use the same context to manipulate IR inside a Module. The context owns the module and destroying the context destroys everything that is created in the context. It is not clear to me what other context you could even manage to use here conceptually.

Actually I was using llvm::getGlobalContext() in order to get the context.

I see, I removed getGlobalContext() in LLVM 3.9 because of this kind of confusions.

It seems that this is not the same context as gv->getContext().

It may or may not be: depending if the module was created with getGlobalContext in the first place.

Hi Mehdi,

Thank you for the explanation, it is a lot more clear for me now.

Greetings,

Johan