; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S < %s | FileCheck %s

declare void @foo()

define internal void @bar() {
; CHECK-LABEL: @bar(
; CHECK-NEXT:    call void @foo() #[[ATTR0:[0-9]+]]
; CHECK-NEXT:    ret void
;
  call void @foo() readnone
  ret void
}