| ; RUN: opt < %s -inline -constprop -S | FileCheck %s | |
| define available_externally i32 @test_function() { | |
| ; CHECK-NOT: @test_function | |
| entry: | |
| ret i32 4 | |
| } | |
| define i32 @result() { | |
| ; CHECK-LABEL: define i32 @result() | |
| entry: | |
| %A = call i32 @test_function() | |
| ; CHECK-NOT: call | |
| ; CHECK-NOT: @test_function | |
| %B = add i32 %A, 1 | |
| ret i32 %B | |
| ; CHECK: ret i32 5 | |
| } | |
| ; CHECK-NOT: @test_function |