MSIL指令大全

MSIL Instruction Set

Base Instructions

	Instruction	Description	Stack Transition
1	add	add two values, returning a new value	…, value1, value2…, result
2	add.ovf.<signed>	add integer value with overflow check	…, value1, value2…, result
3	and	bitwise AND	…, value1, value2 …, result
4	arglist	get argument list	…  …, argListHandle
5	beq.<length>	branch on equal	…, value1, value2  …
6	bge.<length>	branch on greater than or equal to	…, value1, value2  …
7	bge.un.<length>	branch on greater/equal, unsigned or unordered	…, value1, value2  …
8	bgt.<length>	branch on greater than	…, value1, value2  …
9	bgt.un<length>	branch on greater than, unsigned or unordered	…, value1, value2  …
10	ble.<length>	branch on less than or equal to	…, value1, value2  …
11	ble..un<length>	branch on less/equal, unsigned or unordered	…, value1, value2  …
12	blt.<length>	branch on less than	…, value1, value2  …
13	blt.un.<length>	branch on less than, unsigned or unordered	…, value1, value2  …
14	bne.un<length>	branch on not equal or unorded	…, value1, value2  …
15	br.<length>	unconditional branch	…,  …
16	break	breakpoint instruction	…,  …
17	brfalse.<length>	branch on false, null, or zero	…, value …
18	brtrue.<length>	branch on non-false or non-null	…, value …
19	call	call a method	…, arg1, arg2 … argn  …, retVal (not always returned)
20	calli	indirect method call	…, arg1, arg2 … argn, ftn  …, retVal (not always returned)
21	ceq	compare equal	…, value1, value2…, result
22	cgt	compare greater than	…, value1, value2…, result
23	cgt.un	compare greater than, unsigned or unordered	…, value1, value2…, result
24	ckfinite	check for a finite real number	…, value  …, value
25	clt	compare less than	…, value1, value2…, result
26	clt.un	compare less than, unsigned or unordered	…, value1, value2…, result
27	conv.<to type>	data conversion	…, value  …, result
28	conv.ovf<to type>	data conversion with overflow detection	…, value  …, result
29	conv.ovf.<to type>.un	unsigned data conversion with overflow detection	…, value  …, result
30	cpblk	copy data from memory to memory	…, destaddr, srcaddr, size  …
31	div	divide values	…, value1, value2…, result
32	div.un	divide integer values, unsigned	…, value1, value2…, result
33	dup	duplicate the top value of the stack	…, value  …, value, value
34	endfilter	end filter clause of SEH	…, value  …
35	endfinally	end the finally or fault clause of exception block	…  …
36	initblk	initialize a block of memory to a value	…, addr, value, size  …
37	jmp	jump to method	…  …
38	ldarg.<length>	load argument onto the stack	…  …, value
39	ldarga.<length>	load an argument address	…,  …, address of argument number argNum
40	ldc.<type>	load numeric constant	…  …, num
41	ldftn	load method pointer	…  …, ftn
42	ldind.<type>	load value indirect onto the stack	…, addr  …, value
43	ldloc	load local variable onto the stack	…  …, value
44	ldloca.<length>	load local variable address	…  …, address
45	ldnull	load a null pointer	…  …, null value
46	leave.<length>	exit a protected region of code	…, 
47	localloc	allocate space in the local dynamic memory pool	size  address
48	mul	multiply values	…, value1, value2  …, result
49	mul.ovf<type>	multiply integer values with overflow check	…, value1, value2  …, result
50	neg	negate	…, value  …, result
51	nop	no operation	…,  …,
52	not	bitwise complement	…, value  …, result
53	or	bitwise OR	…, value1, value2  …, result
54	pop	remove the top element of the stack	…, value  …
55	rem	compute the remainder	…, value1, value2  …, result
56	rem.un	compute integer remainder, unsigned	…, value1, value2  …, result
57	ret	return from method	retValon callee evaluation stack (not always present)  …, retValon caller evaluation stack (not always present)
58	shl	shift integer left	…, value, shiftAmount  …, result
59	shr	shift integer right	…, value, shiftAmount  …, result
60	shr.un	shift integer right, unsigned	…, value, shiftAmount  …, result
61	starg.<length>	store a value in an argument slot	…, value  …,
62	stind.<type>	store value indirect from stack	…, addr, val  …
63	stloc	pop value from stack to local variable	…, value  …
64	sub	substract numeric values	…, value1, value2  …, result
65	sub.ovf.<type>	substract integer values, checking for overflow	…, value1, value2  …, result
66	switch	table switch on value	…, value  …,
67	xor	bitwise XOR	..., value1, value2  ..., result

 

 

Object Model Instructions

	Instruction	Description	Stack Transition
1	box	convert value type to object reference	…, valueType  …, obj
2	callvirt	call a method associated, a runtime, with an object	…, obj, arg1, … argN  …, returnVal (not always returned)
3	cast class	cast an object to a class	…, obj  …, obj2
4	cpobj	copy a value type	…, destValObj, srcValObj  …,
5	initobj	Initialize a value type	…,addrOfValObj  …,
6	isinst	test if an object is is an instance of a class or interface	…, obj  …, result
7	ldelem.<type>	load an element fo an array	…,array, index  …, value
8	ldelema	load address of an element of an array	…, array, index  …, address
9	ldfld	load field of an object	…,obj  …, value
10	ldflda	load field address	…,obj  …, address
11	ldlen	load the length of an array	…, array  …, length
12	ldobj	copy value type to the stack	…, addrOfValObj  …, valObj
13	ldsfld	load static field of a class	…,  …, value
14	ldsflda	load static field address	…,  …, address
15	ldstr	load a literal string	…,  …, string
16	ldtoken	load the runtime representation of metadata token	…  …, RuntimeHandle
17	ldvirtfn	load a virtual method pointer	… object  …, ftn
18	mkrefany	push a typed reference on the stack	…, ptr  …, typedRef
19	newarr	Create a zero-base, on-dimensional array	…, numElems  …, array
20	newobj	create a new object	…, arg1, … argN  …, obj
21	refanytype	load the type out of a typed reference	…,TypedRef  …, type
22	refanyval	load the address out of a typed reference	…,TypedRef  …, address
23	rethrow	rethrow the current exception	…,  …,
24	sizeof	load the size in bytes of a value type	…,  …, size (4 bytes, unsigned)
25	stelem.<type>	store an element of an array	…, array, index, value  …,
26	stfld	store into a field of an object	…, obj, value  …,
27	stobj	store a value type from the stack into memory	…, addr, valObj  …,
28	stsfld	store a static field of class	…, val  …,
29	throw	throw an exception	…, object  …,
30	unbox	convert boxed value type to its raw form