diag-with-hotness-info.ll 10.5 KB