%CLIObject = type {i8*, i8*, i8*}

;;; Types for CLI arrays. A size of 0 means an undefined size.
%CLIArray = type { %CLIObject, i32 }
%ArrayDouble = type { %CLIObject, i32, [0 x double] }
%ArrayFloat = type { %CLIObject, i32, [0 x float] }
%ArrayLong = type { %CLIObject, i32, [0 x i64] }
%ArrayObject = type { %CLIObject, i32, [0 x %CLIObject*] }
%ArraySInt16 = type { %CLIObject, i32, [0 x i16] }
%ArraySInt32 = type { %CLIObject, i32, [0 x i32] }
%ArraySInt8 = type { %CLIObject, i32, [0 x i8] }
%ArrayUInt16 = type { %CLIObject, i32, [0 x i16] }
%ArrayUInt32 = type { %CLIObject, i32, [0 x i32] }
%ArrayUInt8 = type { %CLIObject, i32, [0 x i8] }

%CacheNode = type {i8*, i8*, i8*, i8*, i8*, i1}

%Enveloppe = type {i8*, %CacheNode*, i8*, i8*}

declare void @MarkAndTrace(%CLIObject*)
declare void @CLIObjectTracer(%CLIObject*)

declare %CLIObject* @initialiseClass(i8*)

declare %CacheNode* @n3VirtualLookup(%CacheNode*, %CLIObject*)

declare %CLIObject* @newArray(i8*, i32)
declare %CLIObject* @newObject(i8*)
declare %CLIObject* @newMultiArray(i8*)
declare %CLIObject* @newString(i8*)

declare %CLIObject* @initialiseObject(i8*, i32) readnone

declare i32 @arrayLength(%CLIArray*) readnone

declare void @n3NullPointerException()
declare void @n3ClassCastException()
declare void @indexOutOfBounds(%CLIObject*, i32)

declare void @ThrowException(%CLIObject*)
declare void @ClearException()
declare i8* @GetCppException()
declare %CLIObject* @GetCLIException()
declare i1 @CompareException(i8*)

declare i32 @n3InstanceOf(%CLIObject*, i8*)

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;; Debugging methods ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

declare void @printExecution(i32, i32)