; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --version 5
; RUN: opt < %s -passes=instcombine -S | FileCheck %s

declare void @exit(i32)
declare void @_Exit(i32)

define void @call_exit_0() {
; CHECK-LABEL: define void @call_exit_0() {
; CHECK-NEXT:    call void @exit(i32 0)
; CHECK-NEXT:    ret void
;
  call void @exit(i32 0)
  ret void
}

define void @call_exit_1() {
; CHECK-LABEL: define void @call_exit_1() {
; CHECK-NEXT:    call void @exit(i32 1) #[[ATTR0:[0-9]+]]
; CHECK-NEXT:    ret void
;
  call void @exit(i32 1)
  ret void
}

define void @call__Exit_m1() {
; CHECK-LABEL: define void @call__Exit_m1() {
; CHECK-NEXT:    call void @_Exit(i32 -1) #[[ATTR0]]
; CHECK-NEXT:    ret void
;
  call void @_Exit(i32 -1)
  ret void
}

define void @call__Exit_N(i32 %N) {
; CHECK-LABEL: define void @call__Exit_N(
; CHECK-SAME: i32 [[N:%.*]]) {
; CHECK-NEXT:    call void @_Exit(i32 [[N]])
; CHECK-NEXT:    ret void
;
  call void @_Exit(i32 %N)
  ret void
}

;.
; CHECK: attributes #[[ATTR0]] = { cold }
;.