Performance diagnosis for inefficient loops