[PATCH] D125696: [BasicBlockUtils] Add corner case test for loop metadata.

[Hendrik Greving via Phabricator via llvm-commits]

hgreving created this revision.
hgreving added a reviewer: fhahn.
Herald added a project: All.
hgreving requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

Adds a test to expose #55416.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D125696

Files:
  llvm/test/Transforms/LoopSimplify/update_latch_md2.ll


Index: llvm/test/Transforms/LoopSimplify/update_latch_md2.ll
===================================================================
--- /dev/null
+++ llvm/test/Transforms/LoopSimplify/update_latch_md2.ll
@@ -0,0 +1,36 @@
+; Tests loop-simplify does not move the loop metadata, because
+; the loopexit block is not the latch of the loop _bb6.
+
+; FIXME(#55416): The metadata should not move.
+
+; RUN: opt < %s -passes=loop-simplify -S | FileCheck %s
+; CHECK-LABEL: loop.header.loopexit:
+; CHECK: br label %loop.header, !llvm.loop !0
+; CHECK-LABEL: loop.latch:
+; CHECK-NOT: br i1 %p, label %loop.latch, label %loop.header.loopexit, !llvm.loop !0
+
+define void @func(i1 %p) {
+bb1:
+  br label %loop.header
+
+loop.header:
+  br i1 %p, label %bb2, label %_exit
+
+bb2:
+  br i1 %p, label %bb4, label %bb3
+
+bb4:
+  br label %bb3
+
+bb3:
+  br label %loop.latch
+
+loop.latch:
+  br i1 %p, label %loop.latch, label %loop.header, !llvm.loop !0
+
+_exit:
+  ret void
+}
+
+!0 = distinct !{!0, !1}
+!1 = !{!"llvm.loop.mustprogress"}


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D125696.429731.patch
Type: text/x-patch
Size: 1031 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20220516/68b8bdae/attachment.bin>