推荐订阅源

 

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	retVal on callee evaluation stack (not always present) à …, retVal on 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