[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / FunctionAttrs / 2008-12-29-Constant.ll
blobee1a8caa20edf313a03b2ce89f60f8700b4484ec
1 ; RUN: opt < %s -basicaa -functionattrs -S | FileCheck %s
2 ; RUN: opt < %s -aa-pipeline=basic-aa -passes=function-attrs -S | FileCheck %s
4 @s = external constant i8               ; <i8*> [#uses=1]
6 ; CHECK: define i8 @f() #0
7 define i8 @f() {
8         %tmp = load i8, i8* @s          ; <i8> [#uses=1]
9         ret i8 %tmp
12 ; CHECK: attributes #0 = { {{.*}} readnone