1  #include <stdlib.h>
       2  #include <stdio.h>
       3  
       4  #include "libgccjit.h"
       5  
       6  #include "harness.h"
       7  
       8  void
       9  create_code (gcc_jit_context *ctxt, void *user_data)
      10  {
      11    /* Do nothing.  */
      12  }
      13  
      14  void
      15  verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
      16  {
      17    /* Get the built-in functions.  */
      18    gcc_jit_function *builtin_sin =
      19      gcc_jit_context_get_builtin_function (ctxt, "sin");
      20  
      21    CHECK_VALUE (gcc_jit_function_get_param_count(builtin_sin), 1);
      22  
      23    gcc_jit_type *double_type =
      24      gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_DOUBLE);
      25    CHECK_VALUE (gcc_jit_function_get_return_type(builtin_sin), double_type);
      26    CHECK (!gcc_jit_type_is_integral(double_type));
      27  
      28    gcc_jit_type *bool_type =
      29      gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_BOOL);
      30    CHECK (gcc_jit_type_is_bool(bool_type));
      31    CHECK (!gcc_jit_type_is_integral(bool_type));
      32  
      33    gcc_jit_type *aligned_bool_type =
      34      gcc_jit_type_get_aligned(gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_BOOL), 8);
      35    CHECK (gcc_jit_type_is_bool(aligned_bool_type));
      36    CHECK (bool_type != aligned_bool_type);
      37    CHECK_VALUE (gcc_jit_type_unqualified(aligned_bool_type), bool_type);
      38  
      39    CHECK_VALUE (gcc_jit_type_unqualified(gcc_jit_type_get_const(bool_type)), bool_type);
      40    CHECK_VALUE (gcc_jit_type_unqualified(gcc_jit_type_get_volatile(bool_type)), bool_type);
      41  
      42    gcc_jit_type *int64 =
      43      gcc_jit_context_get_int_type(ctxt, 8, 1);
      44    CHECK (gcc_jit_type_is_integral(int64));
      45    gcc_jit_type *uint64 =
      46      gcc_jit_context_get_int_type(ctxt, 8, 0);
      47    CHECK (gcc_jit_type_is_integral(uint64));
      48    gcc_jit_type *int8 =
      49      gcc_jit_context_get_int_type(ctxt, 1, 1);
      50    CHECK (gcc_jit_type_is_integral(int8));
      51    gcc_jit_type *uint8 =
      52      gcc_jit_context_get_int_type(ctxt, 1, 0);
      53    CHECK (gcc_jit_type_is_integral(uint8));
      54  
      55    CHECK (!gcc_jit_type_dyncast_vector(double_type));
      56    gcc_jit_type *vec_type = gcc_jit_type_get_vector (double_type, 4);
      57    gcc_jit_vector_type *vector_type = gcc_jit_type_dyncast_vector(vec_type);
      58    CHECK (vector_type);
      59    CHECK (vec_type != double_type);
      60    CHECK_VALUE (gcc_jit_vector_type_get_element_type(vector_type), double_type);
      61    CHECK_VALUE (gcc_jit_vector_type_get_num_units(vector_type), 4);
      62  
      63    CHECK (!gcc_jit_type_is_pointer(double_type));
      64    CHECK_VALUE (gcc_jit_type_is_pointer(gcc_jit_type_get_pointer(double_type)), double_type);
      65  
      66    gcc_jit_type* params[2] = {int8, uint64};
      67    gcc_jit_type *function_ptr_type = gcc_jit_context_new_function_ptr_type(ctxt, NULL, int64, 2, params, 0);
      68    CHECK (!gcc_jit_type_dyncast_function_ptr_type (int64));
      69    gcc_jit_function_type *function_type = gcc_jit_type_dyncast_function_ptr_type (function_ptr_type);
      70    CHECK (function_type);
      71    int param_count = gcc_jit_function_type_get_param_count(function_type);
      72    CHECK_VALUE (param_count, 2);
      73    gcc_jit_type *return_type = gcc_jit_function_type_get_return_type(function_type);
      74    CHECK_VALUE (return_type, int64);
      75    gcc_jit_type *param1 = gcc_jit_function_type_get_param_type(function_type, 0);
      76    CHECK_VALUE (param1, int8);
      77    gcc_jit_type *param2 = gcc_jit_function_type_get_param_type(function_type, 1);
      78    CHECK_VALUE (param2, uint64);
      79  
      80    gcc_jit_field *field1 = gcc_jit_context_new_field (ctxt, NULL, uint64, "field1");
      81    gcc_jit_field *field2 = gcc_jit_context_new_field (ctxt, NULL, double_type, "field2");
      82    gcc_jit_field *fields[2] = { field1, field2 };
      83    gcc_jit_struct *struct_type = gcc_jit_context_new_struct_type (ctxt, NULL, "testStruct", 2, fields);
      84    CHECK_VALUE (gcc_jit_struct_get_field_count(struct_type), 2);
      85    CHECK_VALUE (gcc_jit_struct_get_field(struct_type, 0), field1);
      86    CHECK_VALUE (gcc_jit_struct_get_field(struct_type, 1), field2);
      87    CHECK (!gcc_jit_type_is_struct(double_type));
      88    gcc_jit_struct *struct_ty = gcc_jit_type_is_struct(gcc_jit_struct_as_type(struct_type));
      89    CHECK_VALUE (struct_ty, struct_type);
      90  
      91    CHECK (!gcc_jit_type_dyncast_array(double_type));
      92    gcc_jit_type* array_type = gcc_jit_context_new_array_type(ctxt, NULL, double_type, 1);
      93    CHECK_VALUE (gcc_jit_type_dyncast_array(array_type), double_type);
      94  }
      95