| ; 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 |
| } |
