[LLVMdev] Resolving an opaque type in llvm-assembly

[Rodney M. Bates]

According to the Assembly language reference: "In LLVM, opaque types can
eventually be resolved to any type (not just a structure type)."  But
the only way I can think of to do so is to give it a type name, then
later redeclare the name.  But that gives an error:

%TO = type opaque
%TF = type i32 ( %TO* )
%TO = type %TF

gives:

$ llvm-as types1.ll
llvm-as: types1.ll:3:1: error: redefinition of type
%TO = type %TF
^

Also, what is the set of things that can be done with an as-yet unresolved
opaque type?



-- 
Rodney Bates
rodney.m.bates at acm.org