This would be great, but it's hard because PatchpointValue has both an Effects and multiple fine-grained sets of clobbered registers.