search for: rafael_

Displaying 7 results from an estimated 7 matches for "rafael_".

Did you mean: rafael
2012 Jan 13
2
[LLVMdev] ValueMapper question: no type mapping for GlobalValue?
=?ISO-8859-1?Q?Rafael_=C1vila_de_Esp=EDndola?= wrote: > > I can reproduce this consistently, but only under an extremely large pile of > > code :-) I haven't tried to strip it down to minimal a test case yet, but I > > will. One salient difference with the code you've provided is that in my &g...
2012 Jan 12
2
[LLVMdev] ValueMapper question: no type mapping for GlobalValue?
=?ISO-8859-1?Q?Rafael_=C1vila_de_Esp=EDndola?= wrote: > On 11/01/12 07:50 AM, Michael Muller wrote: > > > > Hi all, I was looking at the ValueMapper code this morning and I notice that > > it doesn't do type mapping for GlobalValues. Is this correct? > > > > I ask because I am seei...
2012 Nov 15
1
[LLVMdev] ValueMapper question: no type mapping for GlobalValue?
...ion succeeds, > but the linker fails with a type assertion. > > BTW, if no one has the bandwidth to work on this I'm willing to attempt a fix, > assuming that you agree that the verifier should discover this condition. > > Michael Muller wrote: >> >> =?ISO-8859-1?Q?Rafael_=C1vila_de_Esp=EDndola?= wrote: >>>> I can reproduce this consistently, but only under an extremely large pile of >>>> code :-) I haven't tried to strip it down to minimal a test case yet, but I >>>> will. One salient difference with the code you've prov...
2012 Jan 17
0
[LLVMdev] ValueMapper question: no type mapping for GlobalValue?
...reproduces the problem - verification succeeds, but the linker fails with a type assertion. BTW, if no one has the bandwidth to work on this I'm willing to attempt a fix, assuming that you agree that the verifier should discover this condition. Michael Muller wrote: > > =?ISO-8859-1?Q?Rafael_=C1vila_de_Esp=EDndola?= wrote: > > > I can reproduce this consistently, but only under an extremely large pile of > > > code :-) I haven't tried to strip it down to minimal a test case yet, but I > > > will. One salient difference with the code you've provided i...
2012 Jan 13
0
[LLVMdev] ValueMapper question: no type mapping for GlobalValue?
> I can reproduce this consistently, but only under an extremely large pile of > code :-) I haven't tried to strip it down to minimal a test case yet, but I > will. One salient difference with the code you've provided is that in my > code, @a is a struct type. However, changing the example to use a minimal > structure doesn't trigger the assertion failure. Is the
2012 Jan 12
0
[LLVMdev] ValueMapper question: no type mapping for GlobalValue?
On 11/01/12 07:50 AM, Michael Muller wrote: > > Hi all, I was looking at the ValueMapper code this morning and I notice that > it doesn't do type mapping for GlobalValues. Is this correct? > > I ask because I am seeing a case where I'm failing type assertions from > ModuleLinker::linkGlobalInits() when an array initializer references an > external global. It looks
2012 Jan 11
2
[LLVMdev] ValueMapper question: no type mapping for GlobalValue?
Hi all, I was looking at the ValueMapper code this morning and I notice that it doesn't do type mapping for GlobalValues. Is this correct? I ask because I am seeing a case where I'm failing type assertions from ModuleLinker::linkGlobalInits() when an array initializer references an external global. It looks like the external global is being mapped directly and this causes an element