[llvm] 2c5ffa1 - SCCP: Add failing testcase with llvm.ssa.copy

[Matt Arsenault via llvm-commits]

Author: Matt Arsenault
Date: 2022-12-22T17:14:38-05:00
New Revision: 2c5ffa179c9e257ad7c87d0b8f18b9d63ce1a4fe

URL: https://github.com/llvm/llvm-project/commit/2c5ffa179c9e257ad7c87d0b8f18b9d63ce1a4fe
DIFF: https://github.com/llvm/llvm-project/commit/2c5ffa179c9e257ad7c87d0b8f18b9d63ce1a4fe.diff

LOG: SCCP: Add failing testcase with llvm.ssa.copy

Added: 
    llvm/test/Transforms/SCCP/issue59661-missing-predicate-info-for-ssa-copy.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/SCCP/issue59661-missing-predicate-info-for-ssa-copy.ll b/llvm/test/Transforms/SCCP/issue59661-missing-predicate-info-for-ssa-copy.ll
new file mode 100644
index 0000000000000..564fe95d22196
--- /dev/null
+++ b/llvm/test/Transforms/SCCP/issue59661-missing-predicate-info-for-ssa-copy.ll
@@ -0,0 +1,21 @@
+; REQUIRES: asserts
+; XFAIL: *
+; RUN: opt -S -passes=ipsccp < %s
+
+; https://github.com/llvm/llvm-project/issues/59661
+
+define i32 @bar() {
+entry:
+  %call = call i32 @foo()
+  ret i32 0
+}
+
+define internal i32 @foo() {
+entry:
+  %arst = call ptr @llvm.ssa.copy.p0(ptr @foo)
+  ret i32 0
+}
+
+declare ptr @llvm.ssa.copy.p0(ptr) #0
+
+attributes #0 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }