47 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --version 52; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 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 void11;12 call void @exit(i32 0)13 ret void14}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 void20;21 call void @exit(i32 1)22 ret void23}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 void29;30 call void @_Exit(i32 -1)31 ret void32}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 void39;40 call void @_Exit(i32 %N)41 ret void42}43 44;.45; CHECK: attributes #[[ATTR0]] = { cold }46;.47