Arguably the effort presented assumes the context of LLVM, where there is information on the actual compiler behavior.