1; RUN: opt < %s -inline -constprop -S | FileCheck %s
2
3define available_externally i32 @test_function() {
4; CHECK-NOT: @test_function
5entry:
6  ret i32 4
7}
8
9
10define i32 @result() {
11; CHECK-LABEL: define i32 @result()
12entry:
13  %A = call i32 @test_function()
14; CHECK-NOT: call
15; CHECK-NOT: @test_function
16
17  %B = add i32 %A, 1
18  ret i32 %B
19; CHECK: ret i32 5
20}
21
22; CHECK-NOT: @test_function
23