1; RUN: opt < %s -ipsccp -S | FileCheck %s 2 3; See PR26774 4 5define i32 @baz() { 6 ret i32 10 7} 8 9; We can const-prop @baz's return value *into* @foo, but cannot 10; constprop @foo's return value into bar. 11 12define linkonce_odr i32 @foo() { 13; CHECK-LABEL: @foo( 14; CHECK-NEXT: %val = call i32 @baz() 15; CHECK-NEXT: ret i32 10 16 17 %val = call i32 @baz() 18 ret i32 %val 19} 20 21define i32 @bar() { 22; CHECK-LABEL: @bar( 23; CHECK-NEXT: %val = call i32 @foo() 24; CHECK-NEXT: ret i32 %val 25 26 %val = call i32 @foo() 27 ret i32 %val 28} 29