Arthur Eubanks | 2ca6c42 | 2020-07-28 09:08:08 -0700 | [diff] [blame] | 1 | ; RUN: opt < %s -function-attrs -S | FileCheck %s |
Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame] | 2 | ; RUN: opt < %s -passes=function-attrs -S | FileCheck %s |
3 | ; PR8279 | ||||
4 | |||||
5 | @g = constant i32 1 | ||||
6 | |||||
7 | ; CHECK: Function Attrs | ||||
8 | ; CHECK-SAME: norecurse | ||||
9 | ; CHECK-NOT: readonly | ||||
10 | ; CHECK-NEXT: void @foo() | ||||
11 | define void @foo() { | ||||
12 | %tmp = load volatile i32, i32* @g | ||||
13 | ret void | ||||
14 | } |