1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S < %s | FileCheck %s
3
4declare void @foo()
5
6define internal void @bar() {
7; CHECK-LABEL: @bar(
8; CHECK-NEXT:    call void @foo() #[[ATTR0:[0-9]+]]
9; CHECK-NEXT:    ret void
10;
11  call void @foo() readnone
12  ret void
13}
14