1; RUN: opt -S < %s -functionattrs | FileCheck %s
2
3declare void @llvm.sideeffect()
4
5; Don't add readnone or similar attributes when an @llvm.sideeffect() intrinsic
6; is present.
7
8; CHECK: define void @test() {
9define void @test() {
10    call void @llvm.sideeffect()
11    ret void
12}
13
14; CHECK: define void @loop() {
15define void @loop() {
16    br label %loop
17
18loop:
19    call void @llvm.sideeffect()
20    br label %loop
21}
22