reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28

; RUN: opt < %s -ipsccp -S | FileCheck %s

; See PR26774

define i32 @baz() {
  ret i32 10
}

; We can const-prop @baz's return value *into* @foo, but cannot
; constprop @foo's return value into bar.

define linkonce_odr i32 @foo() {
; CHECK-LABEL: @foo(
; CHECK-NEXT:  %val = call i32 @baz()
; CHECK-NEXT:  ret i32 10

  %val = call i32 @baz()
  ret i32 %val
}

define i32 @bar() {
; CHECK-LABEL: @bar(
; CHECK-NEXT:  %val = call i32 @foo()
; CHECK-NEXT:  ret i32 %val

  %val = call i32 @foo()
  ret i32 %val
}