[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / FunctionAttrs / 2010-10-30-volatile.ll
blobb9536dce8a489e02c74f4a3f18a6ad7796cfc0b4
1 ; RUN: opt < %s -functionattrs -S | FileCheck %s
2 ; RUN: opt < %s -passes=function-attrs -S | FileCheck %s
3 ; PR8279
5 @g = constant i32 1
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