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