Macros compiled to inline IR

[miraleung]

Detection of macros is difficult since their instructions are inserted in IR without anything to indicate that it is a macro. Consequently, IR instructions of a function (that uses macros) are indistinguishable from those of the macro, and are offset by an unknown amount. Macro IR inlining also affects conditional block indexing and labelling, not to mention that macros may have such blocks of their own.

[bestchai]

Maybe it's possible to instrument the macros (or their inlining mech) to emit a special macro start/end instructions that you can recognize?