annotate llvm/test/TableGen/intrinsic-pointer-to-any.td @ 207:2e18cbf3894f

LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: llvm-tblgen -gen-intrinsic-impl %s | FileCheck %s
anatofuz
parents:
diff changeset
2
anatofuz
parents:
diff changeset
3 // This test is validating that it an Intrinsic with an LLVMPointerType to
anatofuz
parents:
diff changeset
4 // llvm_any_ty still properly work after r363233. That patch rewrote the
anatofuz
parents:
diff changeset
5 // substitution handling code in the Intrinsic Emitter, and didn't consider this
anatofuz
parents:
diff changeset
6 // case, so TableGen would hit an assertion in EncodeFixedType that was checking
anatofuz
parents:
diff changeset
7 // to ensure that the substitution being processed was correctly replaced.
anatofuz
parents:
diff changeset
8
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
9 class IntrinsicProperty<bit is_default = 0> {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
10 bit IsDefault = is_default;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
11 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
12
150
anatofuz
parents:
diff changeset
13 class SDNodeProperty;
anatofuz
parents:
diff changeset
14
anatofuz
parents:
diff changeset
15 class ValueType<int size, int value> {
anatofuz
parents:
diff changeset
16 string Namespace = "MVT";
anatofuz
parents:
diff changeset
17 int Size = size;
anatofuz
parents:
diff changeset
18 int Value = value;
anatofuz
parents:
diff changeset
19 }
anatofuz
parents:
diff changeset
20
anatofuz
parents:
diff changeset
21 def iPTR : ValueType<0 , 254>;
anatofuz
parents:
diff changeset
22 def Any : ValueType<0 , 255>;
anatofuz
parents:
diff changeset
23
anatofuz
parents:
diff changeset
24 class LLVMType<ValueType vt> {
anatofuz
parents:
diff changeset
25 ValueType VT = vt;
anatofuz
parents:
diff changeset
26 int isAny = 0;
anatofuz
parents:
diff changeset
27 }
anatofuz
parents:
diff changeset
28
anatofuz
parents:
diff changeset
29
anatofuz
parents:
diff changeset
30 class Intrinsic<list<LLVMType> ret_types> {
anatofuz
parents:
diff changeset
31 string LLVMName = "";
anatofuz
parents:
diff changeset
32 string TargetPrefix = ""; // Set to a prefix for target-specific intrinsics.
anatofuz
parents:
diff changeset
33 list<LLVMType> RetTypes = ret_types;
anatofuz
parents:
diff changeset
34 list<LLVMType> ParamTypes = [];
anatofuz
parents:
diff changeset
35 list<IntrinsicProperty> IntrProperties = [];
anatofuz
parents:
diff changeset
36 list<SDNodeProperty> Properties = [];
anatofuz
parents:
diff changeset
37 bit isTarget = 0;
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
38 bit DisableDefaultAttributes = 1;
150
anatofuz
parents:
diff changeset
39 }
anatofuz
parents:
diff changeset
40
anatofuz
parents:
diff changeset
41 class LLVMQualPointerType<LLVMType elty>
anatofuz
parents:
diff changeset
42 : LLVMType<iPTR>{
anatofuz
parents:
diff changeset
43 LLVMType ElTy = elty;
anatofuz
parents:
diff changeset
44 int AddrSpace = 0;
anatofuz
parents:
diff changeset
45 }
anatofuz
parents:
diff changeset
46
anatofuz
parents:
diff changeset
47 class LLVMPointerType<LLVMType elty>
anatofuz
parents:
diff changeset
48 : LLVMQualPointerType<elty>;
anatofuz
parents:
diff changeset
49
anatofuz
parents:
diff changeset
50 let isAny = 1 in {
anatofuz
parents:
diff changeset
51 def llvm_any_ty : LLVMType<Any>;
anatofuz
parents:
diff changeset
52 }
anatofuz
parents:
diff changeset
53 def i8 : ValueType<8, 3>;
anatofuz
parents:
diff changeset
54 def llvm_i8_ty : LLVMType<i8>;
anatofuz
parents:
diff changeset
55
anatofuz
parents:
diff changeset
56 def int_has_ptr_to_any : Intrinsic<[LLVMPointerType<llvm_any_ty>, llvm_i8_ty]>;
anatofuz
parents:
diff changeset
57 // CHECK: /* 0 */ 21, 14, 15, 0, 2, 0