| Dan Gohman | 2c74fe9 | 2017-11-08 21:59:51 +0000 | [diff] [blame] | 1 | ; RUN: opt -S < %s -functionattrs | FileCheck %s |
| Fedor Sergeev | 6660fd0 | 2018-03-23 21:46:16 +0000 | [diff] [blame] | 2 | ; RUN: opt -S < %s -passes=function-attrs | FileCheck %s |
| Dan Gohman | 2c74fe9 | 2017-11-08 21:59:51 +0000 | [diff] [blame] | 3 | |
| Fedor Sergeev | 6660fd0 | 2018-03-23 21:46:16 +0000 | [diff] [blame] | 4 | ; CHECK: Function Attrs |
| 5 | ; CHECK-SAME: inaccessiblememonly |
| 6 | ; CHECK-NEXT: declare void @llvm.sideeffect() |
| Dan Gohman | 2c74fe9 | 2017-11-08 21:59:51 +0000 | [diff] [blame] | 7 | declare void @llvm.sideeffect() |
| 8 | |
| 9 | ; Don't add readnone or similar attributes when an @llvm.sideeffect() intrinsic |
| 10 | ; is present. |
| 11 | |
| Fedor Sergeev | 6660fd0 | 2018-03-23 21:46:16 +0000 | [diff] [blame] | 12 | ; CHECK: Function Attrs |
| 13 | ; CHECK-NOT: readnone |
| 14 | ; CHECK: define void @test() |
| Dan Gohman | 2c74fe9 | 2017-11-08 21:59:51 +0000 | [diff] [blame] | 15 | define void @test() { |
| 16 | call void @llvm.sideeffect() |
| 17 | ret void |
| 18 | } |
| 19 | |
| Fedor Sergeev | 6660fd0 | 2018-03-23 21:46:16 +0000 | [diff] [blame] | 20 | ; CHECK: Function Attrs |
| 21 | ; CHECK-NOT: readnone |
| 22 | ; CHECK: define void @loop() |
| Dan Gohman | 2c74fe9 | 2017-11-08 21:59:51 +0000 | [diff] [blame] | 23 | define void @loop() { |
| 24 | br label %loop |
| 25 | |
| 26 | loop: |
| 27 | call void @llvm.sideeffect() |
| 28 | br label %loop |
| 29 | } |