Update additional profile, add record output pruning

qir-alliance / qat

QIR compiler tools and optimization passes for targeting QIR to different hardware backends

https://qir-alliance.github.io/qat/

MIT License

26 stars 14 forks source link

Update additional profile, add record output pruning #77

Closed swernli closed 2 years ago

swernli commented 2 years ago

This adds details for the thrid profile configured for validation.

It also adds a new option disabling record output support, which will prune all of the __quantum__rt__*_record_output function calls. This is on by default to match the behavior of other runtime support functions, and can be turned off via --no-disable-record-output-support.

swernli commented 2 years ago

@troelsfr I've added the pruning of the new runtime functions as default behavior, so I re-requested your review. Let me know if anything in there looks amiss, and either you or I can merge the change if you sign off again!

troelsfr commented 2 years ago

@swernli it looks good to me.