Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | llvm-dis | FileCheck %s |
| 2 | ; PR12696 |
| 3 | |
| 4 | define void @f1(i8 zeroext) |
| 5 | ; CHECK: define void @f1(i8 zeroext) |
| 6 | { |
| 7 | ret void; |
| 8 | } |
| 9 | |
| 10 | define void @f2(i8 signext) |
| 11 | ; CHECK: define void @f2(i8 signext) |
| 12 | { |
| 13 | ret void; |
| 14 | } |
| 15 | |
| 16 | define void @f3() noreturn |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 17 | ; CHECK: define void @f3() #0 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 18 | { |
| 19 | ret void; |
| 20 | } |
| 21 | |
| 22 | define void @f4(i8 inreg) |
| 23 | ; CHECK: define void @f4(i8 inreg) |
| 24 | { |
| 25 | ret void; |
| 26 | } |
| 27 | |
| 28 | define void @f5(i8* sret) |
| 29 | ; CHECK: define void @f5(i8* sret) |
| 30 | { |
| 31 | ret void; |
| 32 | } |
| 33 | |
| 34 | define void @f6() nounwind |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 35 | ; CHECK: define void @f6() #1 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 36 | { |
| 37 | ret void; |
| 38 | } |
| 39 | |
| 40 | define void @f7(i8* noalias) |
| 41 | ; CHECK: define void @f7(i8* noalias) |
| 42 | { |
| 43 | ret void; |
| 44 | } |
| 45 | |
| 46 | define void @f8(i8* byval) |
| 47 | ; CHECK: define void @f8(i8* byval) |
| 48 | { |
| 49 | ret void; |
| 50 | } |
| 51 | |
| 52 | define void @f9(i8* nest) |
| 53 | ; CHECK: define void @f9(i8* nest) |
| 54 | { |
| 55 | ret void; |
| 56 | } |
| 57 | |
| 58 | define void @f10() readnone |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 59 | ; CHECK: define void @f10() #2 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 60 | { |
| 61 | ret void; |
| 62 | } |
| 63 | |
| 64 | define void @f11() readonly |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 65 | ; CHECK: define void @f11() #3 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 66 | { |
| 67 | ret void; |
| 68 | } |
| 69 | |
| 70 | define void @f12() noinline |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 71 | ; CHECK: define void @f12() #4 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 72 | { |
| 73 | ret void; |
| 74 | } |
| 75 | |
| 76 | define void @f13() alwaysinline |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 77 | ; CHECK: define void @f13() #5 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 78 | { |
| 79 | ret void; |
| 80 | } |
| 81 | |
| 82 | define void @f14() optsize |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 83 | ; CHECK: define void @f14() #6 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 84 | { |
| 85 | ret void; |
| 86 | } |
| 87 | |
| 88 | define void @f15() ssp |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 89 | ; CHECK: define void @f15() #7 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 90 | { |
| 91 | ret void; |
| 92 | } |
| 93 | |
| 94 | define void @f16() sspreq |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 95 | ; CHECK: define void @f16() #8 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 96 | { |
| 97 | ret void; |
| 98 | } |
| 99 | |
| 100 | define void @f17(i8 align 4) |
| 101 | ; CHECK: define void @f17(i8 align 4) |
| 102 | { |
| 103 | ret void; |
| 104 | } |
| 105 | |
| 106 | define void @f18(i8* nocapture) |
| 107 | ; CHECK: define void @f18(i8* nocapture) |
| 108 | { |
| 109 | ret void; |
| 110 | } |
| 111 | |
| 112 | define void @f19() noredzone |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 113 | ; CHECK: define void @f19() #9 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 114 | { |
| 115 | ret void; |
| 116 | } |
| 117 | |
| 118 | define void @f20() noimplicitfloat |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 119 | ; CHECK: define void @f20() #10 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 120 | { |
| 121 | ret void; |
| 122 | } |
| 123 | |
| 124 | define void @f21() naked |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 125 | ; CHECK: define void @f21() #11 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 126 | { |
| 127 | ret void; |
| 128 | } |
| 129 | |
| 130 | define void @f22() inlinehint |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 131 | ; CHECK: define void @f22() #12 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 132 | { |
| 133 | ret void; |
| 134 | } |
| 135 | |
| 136 | define void @f23() alignstack(4) |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 137 | ; CHECK: define void @f23() #13 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 138 | { |
| 139 | ret void; |
| 140 | } |
| 141 | |
| 142 | define void @f24() returns_twice |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 143 | ; CHECK: define void @f24() #14 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 144 | { |
| 145 | ret void; |
| 146 | } |
| 147 | |
| 148 | define void @f25() uwtable |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 149 | ; CHECK: define void @f25() #15 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 150 | { |
| 151 | ret void; |
| 152 | } |
| 153 | |
| 154 | define void @f26() nonlazybind |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 155 | ; CHECK: define void @f26() #16 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 156 | { |
| 157 | ret void; |
| 158 | } |
| 159 | |
Kostya Serebryany | 8eec41f | 2013-02-26 06:58:09 +0000 | [diff] [blame] | 160 | define void @f27() sanitize_address |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 161 | ; CHECK: define void @f27() #17 |
Meador Inge | e99f8be | 2012-05-28 15:45:43 +0000 | [diff] [blame] | 162 | { |
| 163 | ret void; |
| 164 | } |
Kostya Serebryany | 8eec41f | 2013-02-26 06:58:09 +0000 | [diff] [blame] | 165 | define void @f28() sanitize_thread |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 166 | ; CHECK: define void @f28() #18 |
Kostya Serebryany | ab39afa | 2013-02-11 08:13:54 +0000 | [diff] [blame] | 167 | { |
| 168 | ret void; |
| 169 | } |
Kostya Serebryany | 8eec41f | 2013-02-26 06:58:09 +0000 | [diff] [blame] | 170 | define void @f29() sanitize_memory |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 171 | ; CHECK: define void @f29() #19 |
Kostya Serebryany | ab39afa | 2013-02-11 08:13:54 +0000 | [diff] [blame] | 172 | { |
| 173 | ret void; |
| 174 | } |
Bill Wendling | d7fdee4 | 2013-02-12 09:14:20 +0000 | [diff] [blame] | 175 | |
| 176 | define void @f30() "cpu"="cortex-a8" |
Bill Wendling | 7ab6c76 | 2013-02-20 07:21:42 +0000 | [diff] [blame] | 177 | ; CHECK: define void @f30() #20 |
Bill Wendling | d7fdee4 | 2013-02-12 09:14:20 +0000 | [diff] [blame] | 178 | { |
| 179 | ret void; |
| 180 | } |
| 181 | |
| 182 | ; CHECK: attributes #0 = { noreturn } |
| 183 | ; CHECK: attributes #1 = { nounwind } |
| 184 | ; CHECK: attributes #2 = { readnone } |
| 185 | ; CHECK: attributes #3 = { readonly } |
| 186 | ; CHECK: attributes #4 = { noinline } |
| 187 | ; CHECK: attributes #5 = { alwaysinline } |
| 188 | ; CHECK: attributes #6 = { optsize } |
| 189 | ; CHECK: attributes #7 = { ssp } |
| 190 | ; CHECK: attributes #8 = { sspreq } |
| 191 | ; CHECK: attributes #9 = { noredzone } |
| 192 | ; CHECK: attributes #10 = { noimplicitfloat } |
| 193 | ; CHECK: attributes #11 = { naked } |
| 194 | ; CHECK: attributes #12 = { inlinehint } |
| 195 | ; CHECK: attributes #13 = { alignstack=4 } |
| 196 | ; CHECK: attributes #14 = { returns_twice } |
| 197 | ; CHECK: attributes #15 = { uwtable } |
| 198 | ; CHECK: attributes #16 = { nonlazybind } |
Kostya Serebryany | 8eec41f | 2013-02-26 06:58:09 +0000 | [diff] [blame] | 199 | ; CHECK: attributes #17 = { sanitize_address } |
| 200 | ; CHECK: attributes #18 = { sanitize_thread } |
| 201 | ; CHECK: attributes #19 = { sanitize_memory } |
Bill Wendling | d7fdee4 | 2013-02-12 09:14:20 +0000 | [diff] [blame] | 202 | ; CHECK: attributes #20 = { "cpu"="cortex-a8" } |