Displaying 1 result from an estimated 1 matches for "annnotatedtype".
Did you mean:
annotatedtype
2013 Nov 11
0
[LLVMdev] Improving GC intrinsics in LLVM
...tadata' argument is a
const void* pointer, similar to the existing llvm.gcroot() argument, which
can point to any constant data structure.
There would be a fixed set of annotation ids, one of which would be
GC_ROOT. Other kinds of type annotations could be introduced later for
other purposes.
AnnnotatedType instances would be folded/uniqued just like all other
derived types.
LLVM optimizers and code generators would need to be modified to unwrap the
base type whenever an annotated type was encountered. Ideally,
transformations on values and types would preserve the annotations where
possible. For exa...