[llvm-dev] Change GlobalValue Type/Initializer

[Johan Wehrli via llvm-dev]

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>(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 <https://strong.codes/>


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160824/a094b24c/attachment.html>