Displaying 3 results from an estimated 3 matches for "remabstracttypeuser".
2008 Nov 13
0
[LLVMdev] RefineAbstractType
On Nov 12, 2008, at 5:07 PM, David Greene wrote:
> On Wednesday 12 November 2008 18:58, Chris Lattner wrote:
>> On Nov 12, 2008, at 3:37 PM, David Greene wrote:
>>>>> Unfortunately, calling FunctionType::refineAbstractType(opaque,
>>>>> void
>>>>> (...))
>>>>> doesn't work because RefineAbstractType doesn't recurse
2008 Nov 14
3
[LLVMdev] RefineAbstractType
...Derived new type: i32 (opaque *) *
*** First refinement ***
REFINING abstract type [0x3afd350 opaque] to [0x3a8c450 i32 (opaque *)]!
REFINING user 0[0x3a8c310] of abstract type [0x3afd350 opaque] to [0x3a8c450
i32 (opaque *)]!
RefineAbstractType(0x3afd350[opaque], 0x3a8c450 [i32 (opaque *)])
remAbstractTypeUser[0x3afd350, opaque][0] User = 0x3a8c310
REFINING abstract type [0x3a8c310 i32 (\2) *] to [0x3a8c680 i32 (\2 *) *]!
Derived new type: opaque
remAbstractTypeUser[0x3a8c450, i32 (\2 *)][1] User = 0x3a8c310
REFINING user 0[0x3a8c450] of abstract type [0x3a8c310 i32 (\2) *] to
[0x3a8c680 i32 (\2 *) *...
2008 Nov 13
3
[LLVMdev] RefineAbstractType
On Wednesday 12 November 2008 18:58, Chris Lattner wrote:
> On Nov 12, 2008, at 3:37 PM, David Greene wrote:
> >>> Unfortunately, calling FunctionType::refineAbstractType(opaque, void
> >>> (...))
> >>> doesn't work because RefineAbstractType doesn't recurse down into
> >>> the
> >>> pointee types.
> >>
> >>