Some patches has upstreamed to fix the bug for MachineVerifier, now we can
run MachineVerifier after more passes.
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Event Timeline
Comment Actions
If your build is configured with -DLLVM_ENABLE_EXPENSIVE_CHECKS=on, verifyer passes may be added even without -verify-machineinstrs. I assume you have tested them...
Comment Actions
Yes, I have used -DLLVM_ENABLE_EXPENSIVE_CHECKS=on to test this patch. Now there are 28 lit errors and 78 lnt errors, and this patch doesn't cause new errors.
llvm/lib/CodeGen/TargetPassConfig.cpp | ||
---|---|---|
1176 | All the test can be passes when enable verification for this pass. | |
1201 | Yes, there still are errors for TwoAddressInstructionPass?. |
I thought there were deeper problems here that prevented this, but it's great if that's not the case anymore