From 2c5ffa179c9e257ad7c87d0b8f18b9d63ce1a4fe Mon Sep 17 00:00:00 2001 From: Matt Arsenault Date: Tue, 20 Dec 2022 11:34:06 -0500 Subject: [PATCH] SCCP: Add failing testcase with llvm.ssa.copy --- ...ssue59661-missing-predicate-info-for-ssa-copy.ll | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 llvm/test/Transforms/SCCP/issue59661-missing-predicate-info-for-ssa-copy.ll 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 0000000..564fe95 --- /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) } -- 2.7.4