xref: /llvm-project/llvm/test/Transforms/InstCombine/lib-call-exit.ll (revision 67fb7c34f11df03ac359571dd4d503a36e06275e)
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --version 5
2; RUN: opt < %s -passes=instcombine -S | FileCheck %s
3
4declare void @exit(i32)
5declare void @_Exit(i32)
6
7define void @call_exit_0() {
8; CHECK-LABEL: define void @call_exit_0() {
9; CHECK-NEXT:    call void @exit(i32 0)
10; CHECK-NEXT:    ret void
11;
12  call void @exit(i32 0)
13  ret void
14}
15
16define void @call_exit_1() {
17; CHECK-LABEL: define void @call_exit_1() {
18; CHECK-NEXT:    call void @exit(i32 1) #[[ATTR0:[0-9]+]]
19; CHECK-NEXT:    ret void
20;
21  call void @exit(i32 1)
22  ret void
23}
24
25define void @call__Exit_m1() {
26; CHECK-LABEL: define void @call__Exit_m1() {
27; CHECK-NEXT:    call void @_Exit(i32 -1) #[[ATTR0]]
28; CHECK-NEXT:    ret void
29;
30  call void @_Exit(i32 -1)
31  ret void
32}
33
34define void @call__Exit_N(i32 %N) {
35; CHECK-LABEL: define void @call__Exit_N(
36; CHECK-SAME: i32 [[N:%.*]]) {
37; CHECK-NEXT:    call void @_Exit(i32 [[N]])
38; CHECK-NEXT:    ret void
39;
40  call void @_Exit(i32 %N)
41  ret void
42}
43
44;.
45; CHECK: attributes #[[ATTR0]] = { cold }
46;.
47