Fix QIR verify module result handling

microsoft / qsharp-compiler

Q# compiler, command line tool, and Q# language server

https://docs.microsoft.com/quantum

MIT License

684 stars 172 forks source link

Fix QIR verify module result handling #1590

Closed swernli closed 1 year ago

swernli commented 1 year ago

This change updates the code to correctly incorporate the result of calling LLVMVerifyModule on the generated QIR and failing the rewrite step if the module is not valid.