search for: annnotatedtyp

...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 ex...