From 34135ae9e2b31e2cf4d144e0627094aed3cb3e78 Mon Sep 17 00:00:00 2001
From: Nikita Popov <npopov@redhat.com>
Date: Fri, 1 Apr 2022 16:31:08 +0200
Subject: [PATCH] [MemCpyOpt] Add test for PR54682 (NFC)

---
 llvm/test/Transforms/MemCpyOpt/pr54682.ll | 40 +++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 llvm/test/Transforms/MemCpyOpt/pr54682.ll

diff --git a/llvm/test/Transforms/MemCpyOpt/pr54682.ll b/llvm/test/Transforms/MemCpyOpt/pr54682.ll
new file mode 100644
index 000000000000..868ed7f9de47
--- /dev/null
+++ b/llvm/test/Transforms/MemCpyOpt/pr54682.ll
@@ -0,0 +1,40 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -S -memcpyopt < %s | FileCheck %s
+
+; FIXME: This currently gets miscompiled.
+
+define void @test(i1 %c, i8* nocapture noundef readonly %path, i8* noundef writeonly %name) {
+; CHECK-LABEL: @test(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    [[TMP:%.*]] = alloca [260 x i8], align 16
+; CHECK-NEXT:    br label [[WHILE_BODY:%.*]]
+; CHECK:       while.body:
+; CHECK-NEXT:    [[IV:%.*]] = phi i64 [ [[IV_NEXT:%.*]], [[WHILE_BODY]] ], [ 259, [[ENTRY:%.*]] ]
+; CHECK-NEXT:    [[IV_NEXT]] = add nsw i64 [[IV]], -1
+; CHECK-NEXT:    [[TMP_IV:%.*]] = getelementptr inbounds [260 x i8], [260 x i8]* [[TMP]], i64 0, i64 [[IV]]
+; CHECK-NEXT:    store i8 42, i8* [[TMP_IV]], align 1
+; CHECK-NEXT:    br i1 [[C:%.*]], label [[WHILE_BODY]], label [[EXIT:%.*]]
+; CHECK:       exit:
+; CHECK-NEXT:    [[TMP_IV_1:%.*]] = getelementptr inbounds i8, i8* [[TMP_IV]], i64 1
+; CHECK-NEXT:    [[LEN:%.*]] = sub nsw i64 259, [[IV]]
+; CHECK-NEXT:    ret void
+;
+entry:
+  %tmp = alloca [260 x i8], align 16
+  br label %while.body
+
+while.body:
+  %iv = phi i64 [ %iv.next, %while.body ], [ 259, %entry ]
+  %iv.next = add nsw i64 %iv, -1
+  %tmp.iv = getelementptr inbounds [260 x i8], [260 x i8]* %tmp, i64 0, i64 %iv
+  store i8 42, i8* %tmp.iv, align 1
+  br i1 %c, label %while.body, label %exit
+
+exit:
+  %tmp.iv.1 = getelementptr inbounds i8, i8* %tmp.iv, i64 1
+  %len = sub nsw i64 259, %iv
+  call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 1 %name, i8* nonnull align 1 %tmp.iv.1, i64 %len, i1 false)
+  ret void
+}
+
+declare void @llvm.memcpy.p0i8.p0i8.i64(i8* noalias nocapture writeonly %0, i8* noalias nocapture readonly %1, i64 %2, i1 immarg %3)