blob: 435f7810fbde6c5a3537e2cc31bff97fae388333 [file] [log] [blame]
Arthur Eubanks2ca6c422020-07-28 09:08:08 -07001; RUN: opt < %s -function-attrs -S | FileCheck %s
Eric Christophercee313d2019-04-17 04:52:47 +00002; 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}