1 ; RUN: opt < %s -functionattrs -S | FileCheck %s 2 ; PR8279 3 4 @g = constant i32 1 5 6 define void @foo() { 7 ; CHECK: void @foo() #0 { 8 %tmp = load volatile i32, i32* @g 9 ret void 10 } 11 12 ; CHECK: attributes #0 = { norecurse } 13