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