xref: /llvm-project/llvm/test/tools/lto/discard-value-names.ll (revision f3ac55fab8c30e71987120f76da70b5b6e9075f7)
1; RUN: llvm-as %s -o %t.o
2; RUN: %ld64 -lto_library %llvmshlibdir/libLTO.dylib -dylib -arch x86_64 -macos_version_min 10.10.0 -o %t.dylib %t.o -save-temps  -undefined dynamic_lookup -exported_symbol _bar -lSystem -mllvm -lto-discard-value-names
3; RUN: llvm-dis %t.dylib.lto.opt.bc -o - | FileCheck --check-prefix=DISCARD %s
4
5; RUN: %ld64 -lto_library %llvmshlibdir/libLTO.dylib -dylib -arch x86_64 -macos_version_min 10.10.0 -o %t.dylib %t.o -save-temps  -undefined dynamic_lookup -exported_symbol _bar -lSystem -mllvm -lto-discard-value-names=false
6; RUN: llvm-dis %t.dylib.lto.opt.bc -o - | FileCheck --check-prefix=KEEP %s
7
8; The test requires asserts, as it depends on the default value for
9; -lto-discard-value-names at the moment.
10
11; REQUIRES: asserts
12
13; DISCARD: %{{[0-9]+}} = icmp
14; DISCARD: %add = add i32
15
16; KEEP: %cmp.i = icmp
17; KEEP : %add = add i32
18
19target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
20target triple = "x86_64-apple-macosx10.10.0"
21
22declare void @external()
23
24define internal i32 @foo(i32 %a, i32 %b) {
25entry:
26  %cmp = icmp ult i32 %a, %b
27  br i1 %cmp, label %then, label %else
28
29then:
30  call void @external()
31  ret i32 10
32
33else:
34  ret i32 20
35}
36
37define i32 @bar(i32 %a) {
38  %res = call i32 @foo(i32 %a, i32 10)
39  %add = add i32 %res, %a
40  ret i32 %add
41}
42