Displaying 1 result from an estimated 1 matches for "precheckir".
2015 Dec 14
2
[GlobalISel][RFC] New verifier stages
...passes in a row like Legalizer and RegBankSelect.
>
> I don’t understand the Cons, maybe because I don’t see the implementation you have in mind.
>
> Let me illustrate a rough sketch:
>
> class MyMachinePass {
>
> public:
> // Returns false on error
> bool preCheckIR(MachineFunction &F) {
> MachineVerifier V;
> V.setSSA(true);
> V.allowsGeneric(false);
> return V.verify(F);
> }
>
> // Returns false on error
> void postCheckIR(MachineFunction &F) {
> MachineVerifier V;
> V.setSSA(true);
> V.allowsG...