1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt < %s -passes=ipsccp -S | FileCheck %s
3 ; Should not propagate the result of a weak function.
6 define weak i32 @foo() nounwind {
9 ; CHECK-NEXT: ret i32 1
15 define i32 @main() nounwind {
18 ; CHECK-NEXT: [[R:%.*]] = call i32 @foo() #0
19 ; CHECK-NEXT: ret i32 [[R]]
22 %r = call i32 @foo( ) nounwind