1; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s 2 3declare ptr @llvm.returnaddress(i32) 4define void @return_address(i32 %var) { 5 ; CHECK: immarg operand has non-immediate parameter 6 ; CHECK-NEXT: i32 %var 7 ; CHECK-NEXT: %result = call ptr @llvm.returnaddress(i32 %var) 8 %result = call ptr @llvm.returnaddress(i32 %var) 9 ret void 10} 11 12declare ptr @llvm.frameaddress(i32) 13define void @frame_address(i32 %var) { 14 ; CHECK: immarg operand has non-immediate parameter 15 ; CHECK-NEXT: i32 %var 16 ; CHECK-NEXT: %result = call ptr @llvm.frameaddress.p0(i32 %var) 17 %result = call ptr @llvm.frameaddress(i32 %var) 18 ret void 19} 20 21declare void @llvm.memcpy.p0.p0.i32(ptr nocapture, ptr nocapture, i32, i1) 22define void @memcpy(ptr %dest, ptr %src, i1 %is.volatile) { 23 ; CHECK: immarg operand has non-immediate parameter 24 ; CHECK-NEXT: i1 %is.volatile 25 ; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr %dest, ptr %src, i32 8, i1 %is.volatile) 26 call void @llvm.memcpy.p0.p0.i32(ptr %dest, ptr %src, i32 8, i1 %is.volatile) 27 ret void 28} 29 30declare void @llvm.memcpy.inline.p0.p0.i32(ptr nocapture, ptr nocapture, i32, i1) 31define void @memcpy_inline_is_volatile(ptr %dest, ptr %src, i1 %is.volatile) { 32 ; CHECK: immarg operand has non-immediate parameter 33 ; CHECK-NEXT: i1 %is.volatile 34 ; CHECK-NEXT: call void @llvm.memcpy.inline.p0.p0.i32(ptr %dest, ptr %src, i32 8, i1 %is.volatile) 35 call void @llvm.memcpy.inline.p0.p0.i32(ptr %dest, ptr %src, i32 8, i1 %is.volatile) 36 ret void 37} 38 39declare void @llvm.memmove.p0.p0.i32(ptr nocapture, ptr nocapture, i32, i1) 40define void @memmove(ptr %dest, ptr %src, i1 %is.volatile) { 41 ; CHECK: immarg operand has non-immediate parameter 42 ; CHECK-NEXT: i1 %is.volatile 43 ; CHECK-NEXT: call void @llvm.memmove.p0.p0.i32(ptr %dest, ptr %src, i32 8, i1 %is.volatile) 44 call void @llvm.memmove.p0.p0.i32(ptr %dest, ptr %src, i32 8, i1 %is.volatile) 45 ret void 46} 47 48declare void @llvm.memset.p0.i32(ptr nocapture, i8, i32, i1) 49define void @memset(ptr %dest, i8 %val, i1 %is.volatile) { 50 ; CHECK: immarg operand has non-immediate parameter 51 ; CHECK-NEXT: i1 %is.volatile 52 ; CHECK-NEXT: call void @llvm.memset.p0.i32(ptr %dest, i8 %val, i32 8, i1 %is.volatile) 53 call void @llvm.memset.p0.i32(ptr %dest, i8 %val, i32 8, i1 %is.volatile) 54 ret void 55} 56 57declare void @llvm.memset.inline.p0.i32(ptr nocapture, i8, i32, i1) 58define void @memset_inline_is_volatile(ptr %dest, i8 %value, i1 %is.volatile) { 59 ; CHECK: immarg operand has non-immediate parameter 60 ; CHECK-NEXT: i1 %is.volatile 61 ; CHECK-NEXT: call void @llvm.memset.inline.p0.i32(ptr %dest, i8 %value, i32 8, i1 %is.volatile) 62 call void @llvm.memset.inline.p0.i32(ptr %dest, i8 %value, i32 8, i1 %is.volatile) 63 ret void 64} 65 66declare void @llvm.experimental.memset.pattern.p0.i32.i32(ptr nocapture, i32, i32, i1) 67define void @memset_pattern_is_volatile(ptr %dest, i32 %value, i1 %is.volatile) { 68 ; CHECK: immarg operand has non-immediate parameter 69 ; CHECK-NEXT: i1 %is.volatile 70 ; CHECK-NEXT: call void @llvm.experimental.memset.pattern.p0.i32.i32(ptr %dest, i32 %value, i32 8, i1 %is.volatile) 71 call void @llvm.experimental.memset.pattern.p0.i32.i32(ptr %dest, i32 %value, i32 8, i1 %is.volatile) 72 ret void 73} 74 75declare i64 @llvm.objectsize.i64.p0(ptr, i1, i1, i1) 76define void @objectsize(ptr %ptr, i1 %a, i1 %b, i1 %c) { 77 ; CHECK: immarg operand has non-immediate parameter 78 ; CHECK-NEXT: i1 %a 79 ; CHECK-NEXT: %val0 = call i64 @llvm.objectsize.i64.p0(ptr %ptr, i1 %a, i1 false, i1 false) 80 %val0 = call i64 @llvm.objectsize.i64.p0(ptr %ptr, i1 %a, i1 false, i1 false) 81 82 ; CHECK: immarg operand has non-immediate parameter 83 ; CHECK-NEXT: i1 %b 84 ; CHECK-NEXT: %val1 = call i64 @llvm.objectsize.i64.p0(ptr %ptr, i1 false, i1 %b, i1 false) 85 %val1 = call i64 @llvm.objectsize.i64.p0(ptr %ptr, i1 false, i1 %b, i1 false) 86 87 ; CHECK: immarg operand has non-immediate parameter 88 ; CHECK-NEXT: i1 %c 89 ; CHECK-NEXT: %val2 = call i64 @llvm.objectsize.i64.p0(ptr %ptr, i1 false, i1 false, i1 %c) 90 %val2 = call i64 @llvm.objectsize.i64.p0(ptr %ptr, i1 false, i1 false, i1 %c) 91 ret void 92} 93 94declare i64 @llvm.smul.fix.i64(i64, i64, i32) 95define i64 @smul_fix(i64 %arg0, i64 %arg1, i32 %arg2) { 96 ; CHECK: immarg operand has non-immediate parameter 97 ; CHECK-NEXT: i32 %arg2 98 ; CHECK-NEXT: %ret = call i64 @llvm.smul.fix.i64(i64 %arg0, i64 %arg1, i32 %arg2) 99 %ret = call i64 @llvm.smul.fix.i64(i64 %arg0, i64 %arg1, i32 %arg2) 100 ret i64 %ret 101} 102 103declare i64 @llvm.smul.fix.sat.i64(i64, i64, i32) 104define i64 @smul_fix_sat(i64 %arg0, i64 %arg1, i32 %arg2) { 105 ; CHECK: immarg operand has non-immediate parameter 106 ; CHECK-NEXT: i32 %arg2 107 ; CHECK-NEXT: %ret = call i64 @llvm.smul.fix.sat.i64(i64 %arg0, i64 %arg1, i32 %arg2) 108 %ret = call i64 @llvm.smul.fix.sat.i64(i64 %arg0, i64 %arg1, i32 %arg2) 109 ret i64 %ret 110} 111 112declare i64 @llvm.umul.fix.i64(i64, i64, i32) 113define i64 @umul_fix(i64 %arg0, i64 %arg1, i32 %arg2) { 114 ; CHECK: immarg operand has non-immediate parameter 115 ; CHECK-NEXT: i32 %arg2 116 ; CHECK-NEXT: %ret = call i64 @llvm.umul.fix.i64(i64 %arg0, i64 %arg1, i32 %arg2) 117 %ret = call i64 @llvm.umul.fix.i64(i64 %arg0, i64 %arg1, i32 %arg2) 118 ret i64 %ret 119} 120 121declare i64 @llvm.umul.fix.sat.i64(i64, i64, i32) 122define i64 @umul_fix_sat(i64 %arg0, i64 %arg1, i32 %arg2) { 123 ; CHECK: immarg operand has non-immediate parameter 124 ; CHECK-NEXT: i32 %arg2 125 ; CHECK-NEXT: %ret = call i64 @llvm.umul.fix.sat.i64(i64 %arg0, i64 %arg1, i32 %arg2) 126 %ret = call i64 @llvm.umul.fix.sat.i64(i64 %arg0, i64 %arg1, i32 %arg2) 127 ret i64 %ret 128} 129 130declare <2 x double> @llvm.masked.load.v2f64.p0(ptr, i32, <2 x i1>, <2 x double>) 131define <2 x double> @masked_load(<2 x i1> %mask, ptr %addr, <2 x double> %dst, i32 %align) { 132 ; CHECK: immarg operand has non-immediate parameter 133 ; CHECK-NEXT: i32 %align 134 ; CHECK-NEXT: %res = call <2 x double> @llvm.masked.load.v2f64.p0(ptr %addr, i32 %align, <2 x i1> %mask, <2 x double> %dst) 135 %res = call <2 x double> @llvm.masked.load.v2f64.p0(ptr %addr, i32 %align, <2 x i1> %mask, <2 x double> %dst) 136 ret <2 x double> %res 137} 138 139declare void @llvm.masked.store.v4i32.p0(<4 x i32>, ptr, i32, <4 x i1>) 140define void @masked_store(<4 x i1> %mask, ptr %addr, <4 x i32> %val, i32 %align) { 141 ; CHECK: immarg operand has non-immediate parameter 142 ; CHECK-NEXT: i32 %align 143 ; CHECK-NEXT: call void @llvm.masked.store.v4i32.p0(<4 x i32> %val, ptr %addr, i32 %align, <4 x i1> %mask) 144 call void @llvm.masked.store.v4i32.p0(<4 x i32> %val, ptr %addr, i32 %align, <4 x i1> %mask) 145 ret void 146} 147 148declare <2 x double> @llvm.masked.gather.v2f64.v2p0(<2 x ptr>, i32, <2 x i1>, <2 x double>) 149define <2 x double> @test_gather(<2 x ptr> %ptrs, <2 x i1> %mask, <2 x double> %src0, i32 %align) { 150 ; CHECK: immarg operand has non-immediate parameter 151 ; CHECK: i32 %align 152 ; CHECK: %res = call <2 x double> @llvm.masked.gather.v2f64.v2p0(<2 x ptr> %ptrs, i32 %align, <2 x i1> %mask, <2 x double> %src0) 153 %res = call <2 x double> @llvm.masked.gather.v2f64.v2p0(<2 x ptr> %ptrs, i32 %align, <2 x i1> %mask, <2 x double> %src0) 154 ret <2 x double> %res 155} 156 157declare void @llvm.masked.scatter.v8i32.v8p0(<8 x i32>, <8 x ptr>, i32, <8 x i1>) 158define void @test_scatter_8i32(<8 x i32> %a1, <8 x ptr> %ptr, <8 x i1> %mask, i32 %align) { 159 ; CHECK: immarg operand has non-immediate parameter 160 ; CHECK-NEXT: i32 %align 161 ; CHECK-NEXT: call void @llvm.masked.scatter.v8i32.v8p0(<8 x i32> %a1, <8 x ptr> %ptr, i32 %align, <8 x i1> %mask) 162 call void @llvm.masked.scatter.v8i32.v8p0(<8 x i32> %a1, <8 x ptr> %ptr, i32 %align, <8 x i1> %mask) 163 ret void 164} 165 166declare void @llvm.lifetime.start.p0(i64, ptr) 167define void @test_lifetime_start(i64 %arg0, ptr %ptr) { 168 ; CHECK: immarg operand has non-immediate parameter 169 ; CHECK-NEXT: i64 %arg0 170 ; CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 %arg0, ptr %ptr) 171 call void @llvm.lifetime.start.p0(i64 %arg0, ptr %ptr) 172 ret void 173} 174 175declare void @llvm.lifetime.end.p0(i64, ptr) 176define void @test_lifetime_end(i64 %arg0, ptr %ptr) { 177 ; CHECK: immarg operand has non-immediate parameter 178 ; CHECK-NEXT: i64 %arg0 179 ; CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 %arg0, ptr %ptr) 180 call void @llvm.lifetime.end.p0(i64 %arg0, ptr %ptr) 181 ret void 182} 183 184declare void @llvm.invariant.start.p0(i64, ptr) 185define void @test_invariant_start(i64 %arg0, ptr %ptr) { 186 ; CHECK: immarg operand has non-immediate parameter 187 ; CHECK-NEXT: i64 %arg0 188 ; CHECK-NEXT: call void @llvm.invariant.start.p0(i64 %arg0, ptr %ptr) 189 call void @llvm.invariant.start.p0(i64 %arg0, ptr %ptr) 190 ret void 191} 192 193declare void @llvm.invariant.end.p0(ptr, i64, ptr) 194define void @test_invariant_end(ptr %scope, i64 %arg1, ptr %ptr) { 195 ; CHECK: immarg operand has non-immediate parameter 196 ; CHECK-NEXT: i64 %arg1 197 ; CHECK-NEXT: call void @llvm.invariant.end.p0(ptr %scope, i64 %arg1, ptr %ptr) 198 call void @llvm.invariant.end.p0(ptr %scope, i64 %arg1, ptr %ptr) 199 ret void 200} 201 202declare void @llvm.prefetch(ptr, i32, i32, i32) 203define void @test_prefetch(ptr %ptr, i32 %arg0, i32 %arg1) { 204 ; CHECK: immarg operand has non-immediate parameter 205 ; CHECK-NEXT: i32 %arg0 206 ; CHECK-NEXT: call void @llvm.prefetch.p0(ptr %ptr, i32 %arg0, i32 0, i32 0) 207 ; CHECK: immarg operand has non-immediate parameter 208 ; CHECK-NEXT: i32 %arg1 209 call void @llvm.prefetch(ptr %ptr, i32 %arg0, i32 0, i32 0) 210 call void @llvm.prefetch(ptr %ptr, i32 0, i32 %arg1, i32 0) 211 ret void 212} 213 214declare void @llvm.localrecover(ptr, ptr, i32) 215define void @test_localrecover(ptr %func, ptr %fp, i32 %idx) { 216 ; CHECK: immarg operand has non-immediate parameter 217 ; CHECK-NEXT: i32 %idx 218 ; CHECK-NEXT: call void @llvm.localrecover(ptr %func, ptr %fp, i32 %idx) 219 call void @llvm.localrecover(ptr %func, ptr %fp, i32 %idx) 220 ret void 221} 222 223declare token @llvm.experimental.gc.statepoint.p0(i64, i32, ptr, i32, i32, ...) 224 225define private void @f() { 226 ret void 227} 228 229define void @calls_statepoint(ptr addrspace(1) %arg0, i64 %arg1, i32 %arg2, i32 %arg4, i32 %arg5) gc "statepoint-example" { 230 ; CHECK: immarg operand has non-immediate parameter 231 ; CHECK-NEXT: i64 %arg1 232 ; CHECK-NEXT: %safepoint0 = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 %arg1, i32 0, ptr @f, i32 0, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0) 233 ; CHECK: immarg operand has non-immediate parameter 234 ; CHECK-NEXT: i32 %arg2 235 ; CHECK-NEXT: %safepoint1 = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 %arg2, ptr @f, i32 0, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0) 236 ; CHECK: immarg operand has non-immediate parameter 237 ; CHECK-NEXT: i32 %arg4 238 ; CHECK-NEXT: %safepoint2 = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr @f, i32 %arg4, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0) 239 ; CHECK: immarg operand has non-immediate parameter 240 ; CHECK-NEXT: i32 %arg5 241 ; CHECK-NEXT: %safepoint3 = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr @f, i32 0, i32 %arg5, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0) 242 %safepoint0 = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 %arg1, i32 0, ptr @f, i32 0, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0) 243 %safepoint1 = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 %arg2, ptr @f, i32 0, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0) 244 %safepoint2 = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr @f, i32 %arg4, i32 0, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0) 245 %safepoint3 = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr @f, i32 0, i32 %arg5, i32 0, i32 5, i32 0, i32 0, i32 0, i32 10, i32 0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0, ptr addrspace(1) %arg0) 246 ret void 247} 248 249declare void @llvm.experimental.patchpoint.void(i64, i32, ptr, i32, ...) 250declare i64 @llvm.experimental.patchpoint.i64(i64, i32, ptr, i32, ...) 251 252define void @test_patchpoint(i64 %arg0, i32 %arg1, i32 %arg2) { 253 ; CHECK: immarg operand has non-immediate parameter 254 ; CHECK-NEXT: i64 %arg0 255 ; CHECK-NEXT: call void (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.void(i64 %arg0, i32 4, ptr null, i32 0) 256 ; CHECK: immarg operand has non-immediate parameter 257 ; CHECK-NEXT: i32 %arg1 258 ; CHECK-NEXT: call void (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.void(i64 0, i32 %arg1, ptr null, i32 0) 259 ; CHECK: immarg operand has non-immediate parameter 260 ; CHECK-NEXT: i32 %arg2 261 ; CHECK-NEXT: call void (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.void(i64 0, i32 4, ptr null, i32 %arg2) 262 ; CHECK: immarg operand has non-immediate parameter 263 ; CHECK-NEXT: i64 %arg0 264 ; CHECK-NEXT: %patchpoint0 = call i64 (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.i64(i64 %arg0, i32 4, ptr null, i32 0) 265 ; CHECK: immarg operand has non-immediate parameter 266 ; CHECK-NEXT: i32 %arg1 267 ; CHECK-NEXT: %patchpoint1 = call i64 (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.i64(i64 0, i32 %arg1, ptr null, i32 0) 268 ; CHECK: immarg operand has non-immediate parameter 269 ; CHECK-NEXT: i32 %arg2 270 ; CHECK-NEXT: %patchpoint2 = call i64 (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.i64(i64 0, i32 4, ptr null, i32 %arg2) 271 call void (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.void(i64 %arg0, i32 4, ptr null, i32 0) 272 call void (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.void(i64 0, i32 %arg1, ptr null, i32 0) 273 call void (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.void(i64 0, i32 4, ptr null, i32 %arg2) 274 %patchpoint0 = call i64 (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.i64(i64 %arg0, i32 4, ptr null, i32 0) 275 %patchpoint1 = call i64 (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.i64(i64 0, i32 %arg1, ptr null, i32 0) 276 %patchpoint2 = call i64 (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.i64(i64 0, i32 4, ptr null, i32 %arg2) 277 ret void 278} 279 280declare void @llvm.hwasan.check.memaccess(ptr, ptr, i32) 281 282define void @hwasan_check_memaccess(ptr %arg0,ptr %arg1, i32 %arg2) { 283 ; CHECK: immarg operand has non-immediate parameter 284 ; CHECK: i32 %arg2 285 ; CHECK: call void @llvm.hwasan.check.memaccess(ptr %arg0, ptr %arg1, i32 %arg2) 286 call void @llvm.hwasan.check.memaccess(ptr %arg0,ptr %arg1, i32 %arg2) 287 ret void 288} 289 290declare void @llvm.eh.sjlj.callsite(i32) 291 292define void @eh_sjlj_callsite(i32 %arg0) { 293 ; CHECK: immarg operand has non-immediate parameter 294 ; CHECK: i32 %arg0 295 ; CHECK: call void @llvm.eh.sjlj.callsite(i32 %arg0) 296 call void @llvm.eh.sjlj.callsite(i32 %arg0) 297 ret void 298} 299