[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / Inline / externally_available.ll
blobba316f134cb7cd91f7b24bc9096cdc1cff02e070
1 ; RUN: opt < %s -inline -constprop -S | FileCheck %s
3 define available_externally i32 @test_function() {
4 ; CHECK-NOT: @test_function
5 entry:
6   ret i32 4
10 define i32 @result() {
11 ; CHECK-LABEL: define i32 @result()
12 entry:
13   %A = call i32 @test_function()
14 ; CHECK-NOT: call
15 ; CHECK-NOT: @test_function
17   %B = add i32 %A, 1
18   ret i32 %B
19 ; CHECK: ret i32 5
22 ; CHECK-NOT: @test_function