1 ; RUN: opt < %s -basic-aa -function-attrs -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
8 %tmp = load i8, i8* @s ; <i8> [#uses=1]
12 ; CHECK: attributes #0 = { {{.*}} readnone