llvm-project

1
; RUN: llvm-as < %s | llvm-dis | FileCheck %s
2

3
; CHECK: Function Attrs: memory(none)
4
; CHECK: @fn_readnone2()
5
declare void @fn_readnone2() memory(none)
6

7
; CHECK: Function Attrs: memory(read)
8
; CHECK: @fn_readonly()
9
declare void @fn_readonly() memory(read)
10

11
; CHECK: Function Attrs: memory(write)
12
; CHECK: @fn_writeonly()
13
declare void @fn_writeonly() memory(write)
14

15
; CHECK: Function Attrs: memory(readwrite)
16
; CHECK: @fn_readwrite()
17
declare void @fn_readwrite() memory(readwrite)
18

19
; CHECK: Function Attrs: memory(argmem: read)
20
; CHECK: @fn_argmem_read()
21
declare void @fn_argmem_read() memory(argmem: read)
22

23
; CHECK: Function Attrs: memory(argmem: write)
24
; CHECK: @fn_argmem_write()
25
declare void @fn_argmem_write() memory(argmem: write)
26

27
; CHECK: Function Attrs: memory(argmem: readwrite)
28
; CHECK: @fn_argmem_readwrite()
29
declare void @fn_argmem_readwrite() memory(argmem: readwrite)
30

31
; CHECK: Function Attrs: memory(inaccessiblemem: read)
32
; CHECK: @fn_inaccessiblemem_read()
33
declare void @fn_inaccessiblemem_read() memory(inaccessiblemem: read)
34

35
; CHECK: Function Attrs: memory(inaccessiblemem: write)
36
; CHECK: @fn_inaccessiblemem_write()
37
declare void @fn_inaccessiblemem_write() memory(inaccessiblemem: write)
38

39
; CHECK: Function Attrs: memory(inaccessiblemem: readwrite)
40
; CHECK: @fn_inaccessiblemem_readwrite()
41
declare void @fn_inaccessiblemem_readwrite() memory(inaccessiblemem: readwrite)
42

43
; CHECK: Function Attrs: memory(read, argmem: readwrite)
44
; CHECK: @fn_read_argmem_readwrite()
45
declare void @fn_read_argmem_readwrite() memory(read, argmem: readwrite)
46

47
; CHECK: Function Attrs: memory(read, argmem: write)
48
; CHECK: @fn_read_argmem_write()
49
declare void @fn_read_argmem_write() memory(read, argmem: write)
50

51
; CHECK: Function Attrs: memory(read, argmem: none)
52
; CHECK: @fn_read_argmem_none()
53
declare void @fn_read_argmem_none() memory(read, argmem: none)
54

55
; CHECK: Function Attrs: memory(argmem: read, inaccessiblemem: read)
56
; CHECK: @fn_argmem_inaccessiblemem_read()
57
declare void @fn_argmem_inaccessiblemem_read()
58
    memory(argmem: read, inaccessiblemem: read)
59

60
; CHECK: Function Attrs: memory(argmem: read, inaccessiblemem: write)
61
; CHECK: @fn_argmem_read_inaccessiblemem_write()
62
declare void @fn_argmem_read_inaccessiblemem_write()
63
    memory(argmem: read, inaccessiblemem: write)
64

65
; CHECK: Function Attrs: memory(argmem: read, inaccessiblemem: write)
66
; CHECK: @fn_argmem_read_inaccessiblemem_write_reordered()
67
declare void @fn_argmem_read_inaccessiblemem_write_reordered()
68
    memory(inaccessiblemem: write, argmem: read)
69