Home | History | Annotate | Download | only in OCaml

Lines Matching refs:type_of

105   insist (i32_type = type_of c);
114 insist (i64_type = type_of c);
122 insist (i64_type = type_of c);
130 insist (i32_type = type_of c);
140 insist (i64_type = type_of c);
154 insist ((array_type i8_type 11) = type_of c);
162 insist ((array_type i8_type 9) = type_of c);
173 insist (float_type = type_of cs);
178 insist (double_type = type_of cd);
183 insist (double_type = type_of cd);
188 insist (fp128_type = type_of cd);
193 insist (fp128_type = type_of cd);
207 insist ((array_type i32_type 2) = (type_of c));
217 insist ((vector_type i16_type 8) = (type_of c));
225 = (type_of c));
252 insist (i1_type = type_of c);
471 type_of (declare_global float_type "GVar01" m));
480 type_of (declare_qualified_global float_type "QGVar01" 3 m));
645 insist (pointer_type ty = type_of fn);
648 insist (pointer_type ty2 == type_of (declare_function "Fn1" ty2 m));
678 insist (i32_type = type_of params.(0));
679 insist (i64_type = type_of params.(1));
1189 insist((pointer_type (pointer_type i8_type)) = type_of ztid);