1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -basicaa -functionattrs -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; CHECK: define i32 @f() #0 4*9880d681SAndroid Build Coastguard Workerdefine i32 @f() { 5*9880d681SAndroid Build Coastguard Workerentry: 6*9880d681SAndroid Build Coastguard Worker %tmp = call i32 @e( ) 7*9880d681SAndroid Build Coastguard Worker ret i32 %tmp 8*9880d681SAndroid Build Coastguard Worker} 9*9880d681SAndroid Build Coastguard Worker 10*9880d681SAndroid Build Coastguard Worker; CHECK: declare i32 @e() #0 11*9880d681SAndroid Build Coastguard Workerdeclare i32 @e() readonly 12*9880d681SAndroid Build Coastguard Worker 13*9880d681SAndroid Build Coastguard Worker; CHECK: attributes #0 = { readonly } 14