1; RUN: opt < %s -function-attrs -S | FileCheck %s 2; RUN: opt < %s -passes=function-attrs -S | FileCheck %s 3 4; CHECK: define i32* @a(i32** nocapture readonly %p) 5define i32* @a(i32** %p) { 6 %tmp = load i32*, i32** %p 7 ret i32* %tmp 8} 9 10; CHECK: define i32* @b(i32* %q) 11define i32* @b(i32 *%q) { 12 %mem = alloca i32* 13 store i32* %q, i32** %mem 14 %tmp = call i32* @a(i32** %mem) 15 ret i32* %tmp 16} 17 18; CHECK: define i32* @c(i32* readnone returned %r) 19@g = global i32 0 20define i32* @c(i32 *%r) { 21 %a = icmp eq i32* %r, null 22 store i32 1, i32* @g 23 ret i32* %r 24} 25