| Duncan Sands | b8f3b14d | 2010-10-30 12:59:44 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -functionattrs -S | FileCheck %s |
| 2 | ; PR8279 |
| 3 | |
| 4 | @g = constant i32 1 |
| 5 | |
| 6 | define void @foo() { |
| James Molloy | 7e9bdd5 | 2015-11-12 10:55:20 +0000 | [diff] [blame] | 7 | ; CHECK: void @foo() #0 { |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 8 | %tmp = load volatile i32, i32* @g |
| Duncan Sands | b8f3b14d | 2010-10-30 12:59:44 +0000 | [diff] [blame] | 9 | ret void |
| 10 | } |
| James Molloy | 7e9bdd5 | 2015-11-12 10:55:20 +0000 | [diff] [blame] | 11 | |
| 12 | ; CHECK: attributes #0 = { norecurse } |