Use machine verifier to vet our low-level expansions #118
Description
Low level expansions need to set physreg liveness properties. Machine verifier can check this.
We should verify we're doing this right for things like the chkstk expansion
{{ message }}