xref: /llvm-project/llvm/test/Transforms/SCCP/issue59661-missing-predicate-info-for-ssa-copy.ll (revision 2c5ffa179c9e257ad7c87d0b8f18b9d63ce1a4fe) 
1*2c5ffa17SMatt Arsenault; REQUIRES: asserts
2*2c5ffa17SMatt Arsenault; XFAIL: *
3*2c5ffa17SMatt Arsenault; RUN: opt -S -passes=ipsccp < %s
4*2c5ffa17SMatt Arsenault
5*2c5ffa17SMatt Arsenault; https://github.com/llvm/llvm-project/issues/59661
6*2c5ffa17SMatt Arsenault
7*2c5ffa17SMatt Arsenaultdefine i32 @bar() {
8*2c5ffa17SMatt Arsenaultentry:
9*2c5ffa17SMatt Arsenault  %call = call i32 @foo()
10*2c5ffa17SMatt Arsenault  ret i32 0
11*2c5ffa17SMatt Arsenault}
12*2c5ffa17SMatt Arsenault
13*2c5ffa17SMatt Arsenaultdefine internal i32 @foo() {
14*2c5ffa17SMatt Arsenaultentry:
15*2c5ffa17SMatt Arsenault  %arst = call ptr @llvm.ssa.copy.p0(ptr @foo)
16*2c5ffa17SMatt Arsenault  ret i32 0
17*2c5ffa17SMatt Arsenault}
18*2c5ffa17SMatt Arsenault
19*2c5ffa17SMatt Arsenaultdeclare ptr @llvm.ssa.copy.p0(ptr) #0
20*2c5ffa17SMatt Arsenault
21*2c5ffa17SMatt Arsenaultattributes #0 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }
22