tree 828bc85d7348b3513f6fed5690667c4a18263955
parent e359ab1eca5727ce4c688bb49323b8a09478d61c
author Francis Visoiu Mistrih <francisvm@yahoo.com> 1593752941 -0700
committer Francis Visoiu Mistrih <francisvm@yahoo.com> 1593814823 -0700

[LoopDeletion] Emit a remark when a dead loop is deleted

This emits a remark when LoopDeletion deletes a dead loop, using the
source location of the loop's header. There are currently two reasons
for removing the loop: invariant loop or loop that never executes.

Differential Revision: https://reviews.llvm.org/D83113