x86 - CISC с самого начала.То есть он вообще-то RISC, прикидывающийся CISC ? )
в современных процах x86 эмулируют, раскладывая x86 инструкцию в набор внутренних RISC-инструкций и их исполняет.
но из кода x86 никогда не сможешь использовать внутренние RISC-инструкции.как быть с microcode update? )
против процедуры и транзакции - не возражаю, а даже поддерживаю.