test/Transforms/SCCP/comdat-ipo.ll

   1 ; RUN: opt < %s -ipsccp -S | FileCheck %s
   2
   3 ; See PR26774
   4
   5 define 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
  12 define 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
  21 define 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 }