170771d8bSJohannes Doerfert; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
270771d8bSJohannes Doerfert; RUN: opt -S < %s | FileCheck %s
370771d8bSJohannes Doerfert
470771d8bSJohannes Doerfertdeclare void @foo()
570771d8bSJohannes Doerfert
670771d8bSJohannes Doerfertdefine internal void @bar() {
770771d8bSJohannes Doerfert; CHECK-LABEL: @bar(
8*cd1bd6e5SJohannes Doerfert; CHECK-NEXT:    call void @foo() #[[ATTR0:[0-9]+]]
970771d8bSJohannes Doerfert; CHECK-NEXT:    ret void
1070771d8bSJohannes Doerfert;
1170771d8bSJohannes Doerfert  call void @foo() readnone
1270771d8bSJohannes Doerfert  ret void
1370771d8bSJohannes Doerfert}
14