Я читал спецификацию ECMA CLI c:
http://www.ecma-international.org/publications/standards/Ecma-335.htm
, и я озадачен использованием запятых в переходе стека диаграммы для некоторых инструкций. Например, вот документированный переход стека для ldloc (аргумент загрузки в стек):
… => …, value
А вот переход стека для ldsfld (загрузка стати c поле класса):
…, => …, value
Мой вопрос касается лишней запятой перед инструкцией: имеет ли она какое-либо значение? Другой пример: jmp (переход к методу):
… => …
и br.<length> (безусловная ветвь):
…, => …
Есть также примеры запятых, таких как nop и starg.<length>. Это просто несоответствие или есть нюанс в этой записи, который я не понимаю?