<div dir="ltr">Hello,<div><br></div><div>I have a couple basic questions about implementing compiler passes for llvm and was looking for a bit of help since I was looking to write an instrumentation pass of some sort. I am sort of new.</div><div><br></div><div>1. How do compiler passes cope with inline assembly? Can this sometimes violate the optimization assumptions of the pass? </div><div><br></div><div>2. What are good ways to verify and validate passes? Can one prove them correct with Coq? Or is it a matter of running and dumping the AST pre and post transform and using tests to verify their correctness?</div><div><br></div><div>Thanks in advance for your help,</div><div><br></div><div>Carter.</div></div>