The documentation for .cfi_startproc should explain what opcodes it emits (or references via CIE) in the normal case and in the 'simple' case. I realize this is target-dependent, but even just a general explanation of what the start of the world is after the .cfi_startproc would make it easier for people writing CFI directives to do it correctly.