; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes
; RUN: opt -S -passes=openmp-opt < %s | FileCheck %s

@alias = internal unnamed_addr alias void (ptr), ptr @callee

define internal void @callee(ptr) {
; CHECK-LABEL: define {{[^@]+}}@callee
; CHECK-SAME: (ptr [[TMP0:%.*]]) {
; CHECK-NEXT:    ret void
;
  ret void
}

define void @caller(ptr %p) {
; CHECK-LABEL: define {{[^@]+}}@caller
; CHECK-SAME: (ptr [[P:%.*]]) {
; CHECK-NEXT:    call void @alias(ptr [[P]])
; CHECK-NEXT:    ret void
;
  call void @alias(ptr %p)
  ret void
}

!llvm.module.flags = !{!0, !1}
!0 = !{i32 7, !"openmp", i32 50}
!1 = !{i32 7, !"openmp-device", i32 50}