As well as detailed restrictions on CIL code sequences to ensure:
-
Correct CIL
-
Verifiable CIL
There are a few further restrictions, imposed to make it easier to construct a simple CIL-to-native-code compiler. This subclause specifies the general restrictions that apply in addition to this listed for individual instructions.