SSCLI-sscli_20021101/tests/security/verifier/opcodes/isinst.il

// ==++==
//
//   
//    Copyright (c) 2002 Microsoft Corporation.  All rights reserved.
//   
//    The use and distribution terms for this software are contained in the file
//    named license.txt, which can be found in the root of this distribution.
//    By using this software in any fashion, you are agreeing to be bound by the
//    terms of this license.
//   
//    You must not remove this notice, or any other, from this software.
//   
//
// ==--==
.assembly extern mscorlib { }
.assembly 'isinst' { }
.class public auto ansi beforefieldinit Test extends [mscorlib]System.Object {
.method public hidebysig instance void Negative1() cil managed
{
	.maxstack  8
	ldc.i8 0
	isinst unsigned int64
	pop
	ret
}
.method public hidebysig instance void Negative2() cil managed
{
	.maxstack  8
	ldstr ""
	isinst int32&
	pop
	ret
}
.method public hidebysig instance void Negative3() cil managed
{
	.maxstack  8
	ldnull
	isinst int32*
	pop
	ret
}
.method public hidebysig instance void Negative4() cil managed
{
	.maxstack  8
	ldnull
	isinst method void*()
	pop
	ret
}
.method public hidebysig instance void Negative5() cil managed
{
	.maxstack  8
	ldnull
	.emitbyte 0x75
	.emitbyte 0x12
	.emitbyte 0x34
	.emitbyte 0x56
	.emitbyte 0x78
	pop
	ret
}
.method public hidebysig instance void Positive6() cil managed
{
	.maxstack  8
	ldc.i4.7
	newarr int8
	isinst int16[]
	pop
	ret
}
.method public hidebysig instance void Positive7() cil managed
{
	.maxstack  8
	ldstr bytearray()
	isinst class [mscorlib]System.Void
	pop
	ret
}
.method public hidebysig instance void Positive8() cil managed
{
	.maxstack  8
	ldstr bytearray()
	isinst class [mscorlib]System.RuntimeTypeHandle
	pop
	ret
}
.method public hidebysig static int32 Main() cil managed
{
	.entrypoint
	.maxstack 8
	.locals init (class Test V_0)
	newobj     instance void Test::.ctor()
	stloc.0
	.try {
		ldloc.0
		callvirt instance void Test::Negative1()
		ldstr "Negative1() passed verification."
		call void [mscorlib]System.Console::WriteLine(string)
		leave IL_FAIL
	} catch [mscorlib]System.Security.VerificationException {
		leave.s IL_NEXT_1
	}
IL_NEXT_1:
/*
	.try {
		ldloc.0
		callvirt instance void Test::Negative2()
		ldstr "Negative2() passed verification."
		call void [mscorlib]System.Console::WriteLine(string)
		leave IL_FAIL
	} catch [mscorlib]System.Security.VerificationException {
		leave.s IL_NEXT_2
	}
IL_NEXT_2:

	.try {
		ldloc.0
		callvirt instance void Test::Negative3()
		ldstr "Negative3() passed verification."
		call void [mscorlib]System.Console::WriteLine(string)
		leave IL_FAIL
	} catch [mscorlib]System.Security.VerificationException {
		leave.s IL_NEXT_3
	}
IL_NEXT_3:
	.try {
		ldloc.0
		callvirt instance void Test::Negative4()
		ldstr "Negative4() passed verification."
		call void [mscorlib]System.Console::WriteLine(string)
		leave IL_FAIL
	} catch [mscorlib]System.Security.VerificationException {
		leave.s IL_NEXT_4
	}
*/
IL_NEXT_4:
	.try {
		ldloc.0
		callvirt instance void Test::Negative5()
		ldstr "Negative5() passed verification."
		call void [mscorlib]System.Console::WriteLine(string)
		leave IL_FAIL
	} catch [mscorlib]System.Security.VerificationException {
		leave.s IL_NEXT_5
	}
IL_NEXT_5:
	ldloc.0
	callvirt instance void Test::Positive6()
IL_NEXT_6:
	ldloc.0
	callvirt instance void Test::Positive7()
IL_NEXT_7:
	ldloc.0
	callvirt instance void Test::Positive8()
IL_NEXT_8:
	ldc.i4 0
	ldstr "PASSED"
	br.s IL_OUT
IL_FAIL:
	ldc.i4 1
	ldstr "FAILED!"
IL_OUT:
	call void [mscorlib]System.Console::WriteLine(string)
	ret
}
.method public hidebysig specialname rtspecialname instance void .ctor() cil managed
{
	.maxstack  8
	ldarg.0
	call instance void [mscorlib]System.Object::.ctor()
	ret
}
}