;
%SQ1 = type { i31 }
-%ITy = type opaque
%SQ2 = type { %ITy }
%ITy = type i31
%Composite = type { %0, %1 }
; Test simple opaque type resolution...
-%i31ty = type opaque
%i31ty = type i31
; Perform a simple forward reference...
%Y1 = type { { \3 * }, \2 * }
%Z1 = type { { \3 * }, [12x\3] *, { { { \5 * } } } }
-implementation