1 // Copyright 2020 The Tint Authors.
2 //
3 // Licensed under the Apache License, Version 2.0 (the "License");
4 // you may not use this file except in compliance with the License.
5 // You may obtain a copy of the License at
6 //
7 // http://www.apache.org/licenses/LICENSE-2.0
8 //
9 // Unless required by applicable law or agreed to in writing, software
10 // distributed under the License is distributed on an "AS IS" BASIS,
11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12 // See the License for the specific language governing permissions and
13 // limitations under the License.
14
15 #include "src/sem/type.h"
16
17 #include "src/sem/bool_type.h"
18 #include "src/sem/f32_type.h"
19 #include "src/sem/i32_type.h"
20 #include "src/sem/matrix_type.h"
21 #include "src/sem/pointer_type.h"
22 #include "src/sem/reference_type.h"
23 #include "src/sem/sampler_type.h"
24 #include "src/sem/texture_type.h"
25 #include "src/sem/u32_type.h"
26 #include "src/sem/vector_type.h"
27
28 TINT_INSTANTIATE_TYPEINFO(tint::sem::Type);
29
30 namespace tint {
31 namespace sem {
32
33 Type::Type() = default;
34
35 Type::Type(Type&&) = default;
36
37 Type::~Type() = default;
38
UnwrapPtr() const39 const Type* Type::UnwrapPtr() const {
40 auto* type = this;
41 while (auto* ptr = type->As<sem::Pointer>()) {
42 type = ptr->StoreType();
43 }
44 return type;
45 }
46
UnwrapRef() const47 const Type* Type::UnwrapRef() const {
48 auto* type = this;
49 if (auto* ref = type->As<sem::Reference>()) {
50 type = ref->StoreType();
51 }
52 return type;
53 }
54
Size() const55 uint32_t Type::Size() const {
56 return 0;
57 }
58
Align() const59 uint32_t Type::Align() const {
60 return 0;
61 }
62
IsConstructible() const63 bool Type::IsConstructible() const {
64 return false;
65 }
66
is_scalar() const67 bool Type::is_scalar() const {
68 return IsAnyOf<F32, U32, I32, Bool>();
69 }
70
is_numeric_scalar() const71 bool Type::is_numeric_scalar() const {
72 return IsAnyOf<F32, U32, I32>();
73 }
74
is_float_scalar() const75 bool Type::is_float_scalar() const {
76 return Is<F32>();
77 }
78
is_float_matrix() const79 bool Type::is_float_matrix() const {
80 return Is([](const Matrix* m) { return m->type()->is_float_scalar(); });
81 }
82
is_float_vector() const83 bool Type::is_float_vector() const {
84 return Is([](const Vector* v) { return v->type()->is_float_scalar(); });
85 }
86
is_float_scalar_or_vector() const87 bool Type::is_float_scalar_or_vector() const {
88 return is_float_scalar() || is_float_vector();
89 }
90
is_float_scalar_or_vector_or_matrix() const91 bool Type::is_float_scalar_or_vector_or_matrix() const {
92 return is_float_scalar() || is_float_vector() || is_float_matrix();
93 }
94
is_integer_scalar() const95 bool Type::is_integer_scalar() const {
96 return IsAnyOf<U32, I32>();
97 }
98
is_signed_integer_scalar() const99 bool Type::is_signed_integer_scalar() const {
100 return Is<I32>();
101 }
102
is_unsigned_integer_scalar() const103 bool Type::is_unsigned_integer_scalar() const {
104 return Is<U32>();
105 }
106
is_signed_integer_vector() const107 bool Type::is_signed_integer_vector() const {
108 return Is([](const Vector* v) { return v->type()->Is<I32>(); });
109 }
110
is_unsigned_integer_vector() const111 bool Type::is_unsigned_integer_vector() const {
112 return Is([](const Vector* v) { return v->type()->Is<U32>(); });
113 }
114
is_unsigned_scalar_or_vector() const115 bool Type::is_unsigned_scalar_or_vector() const {
116 return Is<U32>() || is_unsigned_integer_vector();
117 }
118
is_signed_scalar_or_vector() const119 bool Type::is_signed_scalar_or_vector() const {
120 return Is<I32>() || is_signed_integer_vector();
121 }
122
is_integer_scalar_or_vector() const123 bool Type::is_integer_scalar_or_vector() const {
124 return is_unsigned_scalar_or_vector() || is_signed_scalar_or_vector();
125 }
126
is_bool_vector() const127 bool Type::is_bool_vector() const {
128 return Is([](const Vector* v) { return v->type()->Is<Bool>(); });
129 }
130
is_bool_scalar_or_vector() const131 bool Type::is_bool_scalar_or_vector() const {
132 return Is<Bool>() || is_bool_vector();
133 }
134
is_numeric_vector() const135 bool Type::is_numeric_vector() const {
136 return Is([](const Vector* v) { return v->type()->is_numeric_scalar(); });
137 }
138
is_scalar_vector() const139 bool Type::is_scalar_vector() const {
140 return Is([](const Vector* v) { return v->type()->is_scalar(); });
141 }
142
is_numeric_scalar_or_vector() const143 bool Type::is_numeric_scalar_or_vector() const {
144 return is_numeric_scalar() || is_numeric_vector();
145 }
146
is_handle() const147 bool Type::is_handle() const {
148 return IsAnyOf<Sampler, Texture>();
149 }
150
151 } // namespace sem
152 } // namespace tint
153