[PATCH] D118168: [LLVM] Introduce llvm.loop.finite metadata to represent loops which are known to iterate a finite number of times

Roman Lebedev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sat Mar 5 12:30:47 PST 2022


lebedev.ri added inline comments.
Herald added a project: All.


================
Comment at: llvm/docs/LangRef.rst:6876-6877
 
+'``llvm.loop.finite``' Metadata
+^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+
----------------



================
Comment at: llvm/test/Analysis/ScalarEvolution/lt-overflow.ll:256
+
+define void @test_finite(i32 %S, i32 %N) {
+entry:
----------------
Is this test missing the actual CHECK line?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D118168/new/

https://reviews.llvm.org/D118168



More information about the llvm-commits mailing list