search for: typeisrefined

Displaying 3 results from an estimated 3 matches for "typeisrefined".

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
...que remAbstractTypeUser[0x3a8c450, i32 (\2 *)][1] User = 0x3a8c310 REFINING user 0[0x3a8c450] of abstract type [0x3a8c310 i32 (\2) *] to [0x3a8c680 i32 (\2 *) *]! RefineAbstractType(0x3a8c310[i32 (\2) *], 0x3a8c680 [i32 (\2 *) *]) remAbstractTypeUser[0x3a8c310, i32 (\2) *][0] User = 0x3a8c450 typeIsREFINED type: 0x3a8c680 i32 (\2) * remAbstractTypeUser[0x3a8c680, i32 (\2) *][0] User = 0x3a8c450 typeIsREFINED type: 0x3a8c450 i32 (i32 (\2) *) remAbstractTypeUser[0x3a8c450, i32 (i32 (\2) *)][0] User = 0x3a8c680 remAbstractTypeUser[0x3a8c810, opaque][0] User = 0x3a8c310 TypeMap<>::add table c...
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. > >> > >>