[LLVMdev] [LLVM, llvm-link] Opaque types.

[Stepan Dyatkovskiy]

Is it legal to substitute non struct type instead of opaque type?

For example:
; 1.ll
declare void @F(i32*)

; 2.ll
%T1 = type opaque
declare void @F(%T1*)

Is it normal to replace T1 with i32 here?

If yes. Will the next types are isomorphic?:

%T1 = type opaque
{ i32, %T1* }
{ i32, i32* }

-Stepan.