[查阅]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