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 3 4@s = external constant i8 ; <i8*> [#uses=1] 5 6; CHECK: define i8 @f() #0 7define i8 @f() { 8 %tmp = load i8, i8* @s ; <i8> [#uses=1] 9 ret i8 %tmp 10} 11 12; CHECK: attributes #0 = { {{.*}} readnone 13