These are just the kinds of things that an optimizing compiler can use, so would be quite useful for reverse engineering the product of an optimizing compiler to figure out what it is doing.