xref: /llvm-project/llvm/test/Transforms/SCCP/comdat-ipo.ll (revision 8ebb3eac02a926ffa4298c12834c57aefb2e8579)

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=ipsccp -S | FileCheck %s

; See PR26774

define i32 @baz() {
; CHECK-LABEL: @baz(
; CHECK-NEXT:    ret i32 10
;
  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
}