gcc/testsuite/jit.dg/test-types.c

   1 #include <stdint.h>
   2 #include <stdlib.h>
   3 #include <stdio.h>
   4 #include <stddef.h>
   5 #include <stdbool.h>
   6
   7 #include "libgccjit.h"
   8
   9 #include "harness.h"
  10
  11 struct zoo
  12 {
  13   void *m_void_ptr;
  14
  15   bool m_bool;
  16
  17   char m_char;
  18   signed char m_signed_char;
  19   unsigned char m_unsigned_char;
  20
  21   short m_short;
  22   unsigned short m_unsigned_short;
  23
  24   int m_int;
  25   unsigned int m_unsigned_int;
  26
  27   long m_long;
  28   unsigned long m_unsigned_long;
  29
  30   long long m_long_long;
  31   unsigned long long m_unsigned_long_long;
  32
  33   uint8_t m_u8;
  34   uint16_t m_u16;
  35   uint32_t m_u32;
  36   uint64_t m_u64;
  37
  38   int8_t m_i8;
  39   int16_t m_i16;
  40   int32_t m_i32;
  41   int64_t m_i64;
  42
  43 #ifdef __SIZEOF_INT128__
  44   __uint128_t m_u128;
  45   __int128_t m_i128;
  46 #endif
  47
  48   int m_sized_int_type;
  49
  50   float m_float;
  51   double m_double;
  52   long double m_long_double;
  53
  54   const char *m_const_char_ptr;
  55
  56   size_t m_size_t;
  57
  58   FILE *m_FILE_ptr;
  59 };
  60
  61 int test_int = 42;
  62 int *test_ptr = &test_int;
  63
  64 const char *test_string = "test_string";
  65
  66 void
  67 create_code (gcc_jit_context *ctxt, void *user_data)
  68 {
  69   /* Let's try to inject the equivalent of:
  70
  71      void
  72      test_caller (struct zoo *z)
  73      {
  74         for each fields "m_field":
  75           z->m_field = ...some data;
  76      }
  77   */
  78   gcc_jit_type *void_type =
  79     gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID);
  80
  81 #define CREATE_FIELD(TYPE, NAME) \
  82   gcc_jit_context_new_field ( \
  83         ctxt, NULL, \
  84         gcc_jit_context_get_type (ctxt, TYPE), \
  85         NAME)
  86
  87   gcc_jit_field *field_m_void_ptr =
  88     CREATE_FIELD (GCC_JIT_TYPE_VOID_PTR, "m_void_ptr");
  89
  90   gcc_jit_field *field_m_bool =
  91     CREATE_FIELD (GCC_JIT_TYPE_BOOL, "m_bool");
  92
  93   gcc_jit_field *field_m_char =
  94     CREATE_FIELD (GCC_JIT_TYPE_CHAR, "m_char");
  95   gcc_jit_field *field_m_signed_char =
  96     CREATE_FIELD (GCC_JIT_TYPE_SIGNED_CHAR, "m_signed_char");
  97   gcc_jit_field *field_m_unsigned_char =
  98     CREATE_FIELD (GCC_JIT_TYPE_UNSIGNED_CHAR, "m_unsigned_char");
  99
 100   gcc_jit_field *field_m_short =
 101     CREATE_FIELD (GCC_JIT_TYPE_SHORT, "m_short");
 102   gcc_jit_field *field_m_unsigned_short =
 103     CREATE_FIELD (GCC_JIT_TYPE_UNSIGNED_SHORT, "m_unsigned_short");
 104
 105   gcc_jit_field *field_m_int =
 106     CREATE_FIELD (GCC_JIT_TYPE_INT, "m_int");
 107   gcc_jit_field *field_m_unsigned_int =
 108     CREATE_FIELD (GCC_JIT_TYPE_UNSIGNED_INT, "m_unsigned_int");
 109
 110   gcc_jit_field *field_m_long =
 111     CREATE_FIELD (GCC_JIT_TYPE_LONG, "m_long");
 112   gcc_jit_field *field_m_unsigned_long =
 113     CREATE_FIELD (GCC_JIT_TYPE_UNSIGNED_LONG, "m_unsigned_long");
 114
 115   gcc_jit_field *field_m_long_long =
 116     CREATE_FIELD (GCC_JIT_TYPE_LONG_LONG, "m_long_long");
 117   gcc_jit_field *field_m_unsigned_long_long =
 118     CREATE_FIELD (GCC_JIT_TYPE_UNSIGNED_LONG_LONG, "m_unsigned_long_long");
 119
 120   gcc_jit_field *field_m_u8 =
 121     CREATE_FIELD (GCC_JIT_TYPE_UINT8_T, "m_u8");
 122   gcc_jit_field *field_m_u16 =
 123     CREATE_FIELD (GCC_JIT_TYPE_UINT16_T, "m_u16");
 124   gcc_jit_field *field_m_u32 =
 125     CREATE_FIELD (GCC_JIT_TYPE_UINT32_T, "m_u32");
 126   gcc_jit_field *field_m_u64 =
 127     CREATE_FIELD (GCC_JIT_TYPE_UINT64_T, "m_u64");
 128
 129   gcc_jit_field *field_m_i8 =
 130     CREATE_FIELD (GCC_JIT_TYPE_INT8_T, "m_i8");
 131   gcc_jit_field *field_m_i16 =
 132     CREATE_FIELD (GCC_JIT_TYPE_INT16_T, "m_i16");
 133   gcc_jit_field *field_m_i32 =
 134     CREATE_FIELD (GCC_JIT_TYPE_INT32_T, "m_i32");
 135   gcc_jit_field *field_m_i64 =
 136     CREATE_FIELD (GCC_JIT_TYPE_INT64_T, "m_i64");
 137
 138 #ifdef __SIZEOF_INT128__
 139   gcc_jit_field *field_m_u128 =
 140     CREATE_FIELD (GCC_JIT_TYPE_UINT128_T, "m_u128");
 141   gcc_jit_field *field_m_i128 =
 142     CREATE_FIELD (GCC_JIT_TYPE_INT128_T, "m_i128");
 143 #endif
 144
 145   /* Signed int type with sizeof (int): */
 146   gcc_jit_type *sized_int_type =
 147     gcc_jit_context_get_int_type (ctxt, sizeof (int), 1);
 148   gcc_jit_field *field_m_sized_int_type =
 149     gcc_jit_context_new_field (
 150       ctxt, NULL, sized_int_type, "m_sized_int_type");
 151
 152   gcc_jit_field *field_m_float =
 153     CREATE_FIELD (GCC_JIT_TYPE_FLOAT, "m_float");
 154   gcc_jit_field *field_m_double =
 155     CREATE_FIELD (GCC_JIT_TYPE_DOUBLE, "m_double");
 156   gcc_jit_field *field_m_long_double =
 157     CREATE_FIELD (GCC_JIT_TYPE_LONG_DOUBLE, "m_long_double");
 158
 159   gcc_jit_field *field_m_const_char_ptr =
 160     CREATE_FIELD (GCC_JIT_TYPE_CONST_CHAR_PTR, "m_const_char_ptr");
 161
 162   gcc_jit_field *field_m_size_t =
 163     CREATE_FIELD (GCC_JIT_TYPE_SIZE_T, "m_size_t");
 164
 165   gcc_jit_field *field_m_FILE_ptr =
 166     CREATE_FIELD (GCC_JIT_TYPE_FILE_PTR, "m_FILE_ptr");
 167
 168 #undef CREATE_FIELD
 169
 170   gcc_jit_field *zoo_fields[] = {
 171     field_m_void_ptr,
 172
 173     field_m_bool,
 174
 175     field_m_char,
 176     field_m_signed_char,
 177     field_m_unsigned_char,
 178
 179     field_m_short,
 180     field_m_unsigned_short,
 181
 182     field_m_int,
 183     field_m_unsigned_int,
 184
 185     field_m_long,
 186     field_m_unsigned_long,
 187
 188     field_m_long_long,
 189     field_m_unsigned_long_long,
 190
 191     field_m_u8,
 192     field_m_u16,
 193     field_m_u32,
 194     field_m_u64,
 195
 196     field_m_i8,
 197     field_m_i16,
 198     field_m_i32,
 199     field_m_i64,
 200
 201 #ifdef __SIZEOF_INT128__
 202     field_m_u128,
 203     field_m_i128,
 204 #endif
 205
 206     field_m_sized_int_type,
 207
 208     field_m_float,
 209     field_m_double,
 210     field_m_long_double,
 211
 212     field_m_const_char_ptr,
 213
 214     field_m_size_t,
 215
 216     field_m_FILE_ptr
 217   };
 218
 219   gcc_jit_type *zoo_type =
 220     gcc_jit_struct_as_type (
 221       gcc_jit_context_new_struct_type (
 222         ctxt,
 223         NULL,
 224         "zoo",
 225         sizeof (zoo_fields) / sizeof (zoo_fields[0]),
 226         zoo_fields));
 227
 228   gcc_jit_type *zoo_ptr_type =
 229     gcc_jit_type_get_pointer (zoo_type);
 230
 231   /* Build the test_fn.  */
 232   gcc_jit_param *param_z =
 233     gcc_jit_context_new_param (ctxt, NULL, zoo_ptr_type, "z");
 234   gcc_jit_function *test_fn =
 235     gcc_jit_context_new_function (ctxt, NULL,
 236                                   GCC_JIT_FUNCTION_EXPORTED,
 237                                   void_type,
 238                                   "test_types",
 239                                   1, &param_z,
 240                                   0);
 241   gcc_jit_block *block = gcc_jit_function_new_block (test_fn, NULL);
 242
 243   /* Write to the various fields of param "z".  */
 244 #define ASSIGN(FIELD, EXPR) \
 245   gcc_jit_block_add_assignment (                \
 246     block, NULL,                                \
 247     gcc_jit_rvalue_dereference_field (          \
 248       gcc_jit_param_as_rvalue (param_z),        \
 249       NULL,                                     \
 250       (FIELD)),                         \
 251     (EXPR));
 252
 253   ASSIGN(
 254     field_m_void_ptr,
 255     gcc_jit_context_new_rvalue_from_ptr (
 256       ctxt,
 257       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID_PTR),
 258       test_ptr))
 259
 260   ASSIGN(field_m_bool,
 261     gcc_jit_context_new_rvalue_from_int (
 262       ctxt,
 263       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_BOOL), 1))
 264
 265   ASSIGN(field_m_char,
 266     gcc_jit_context_new_rvalue_from_int (
 267       ctxt,
 268       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_CHAR),
 269       'V'))
 270   ASSIGN(field_m_signed_char,
 271     gcc_jit_context_new_rvalue_from_int (
 272       ctxt,
 273       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_SIGNED_CHAR),
 274       -37))
 275   ASSIGN(field_m_unsigned_char,
 276     gcc_jit_context_new_rvalue_from_int (
 277       ctxt,
 278       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UNSIGNED_CHAR),
 279       200))
 280
 281   ASSIGN(field_m_short,
 282     gcc_jit_context_new_rvalue_from_int (
 283       ctxt,
 284       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_SHORT),
 285       -900))
 286   ASSIGN(field_m_unsigned_short,
 287     gcc_jit_context_new_rvalue_from_int (
 288       ctxt,
 289       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UNSIGNED_SHORT),
 290       0x3000))
 291
 292   ASSIGN(field_m_int,
 293     gcc_jit_context_new_rvalue_from_int (
 294       ctxt,
 295       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT),
 296       -0x2000))
 297   ASSIGN(field_m_unsigned_int,
 298     gcc_jit_context_new_rvalue_from_int (
 299       ctxt,
 300       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UNSIGNED_INT),
 301       1234567))
 302
 303   ASSIGN(field_m_long,
 304     gcc_jit_context_new_rvalue_from_int (
 305       ctxt,
 306       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_LONG),
 307       -5))
 308   ASSIGN(field_m_unsigned_long,
 309     gcc_jit_context_new_rvalue_from_int (
 310       ctxt,
 311       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UNSIGNED_LONG),
 312       12345678))
 313
 314   ASSIGN(field_m_long_long,
 315     gcc_jit_context_new_rvalue_from_int (
 316       ctxt,
 317       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_LONG_LONG),
 318       -42))
 319   ASSIGN(field_m_unsigned_long_long,
 320     gcc_jit_context_new_rvalue_from_int (
 321       ctxt,
 322       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UNSIGNED_LONG_LONG),
 323       123456789))
 324
 325   ASSIGN(field_m_u8,
 326     gcc_jit_context_new_rvalue_from_int (
 327       ctxt,
 328       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UINT8_T),
 329       123))
 330   ASSIGN(field_m_u16,
 331     gcc_jit_context_new_rvalue_from_int (
 332       ctxt,
 333       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UINT16_T),
 334       12345))
 335   ASSIGN(field_m_u32,
 336     gcc_jit_context_new_rvalue_from_int (
 337       ctxt,
 338       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UINT32_T),
 339       123456789))
 340   ASSIGN(field_m_u64,
 341     gcc_jit_context_new_rvalue_from_int (
 342       ctxt,
 343       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UINT64_T),
 344       123456789))
 345
 346   ASSIGN(field_m_i8,
 347     gcc_jit_context_new_rvalue_from_int (
 348       ctxt,
 349       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT8_T),
 350       -1))
 351   ASSIGN(field_m_i16,
 352     gcc_jit_context_new_rvalue_from_int (
 353       ctxt,
 354       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT16_T),
 355       -2))
 356   ASSIGN(field_m_i32,
 357     gcc_jit_context_new_rvalue_from_int (
 358       ctxt,
 359       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT32_T),
 360       -3))
 361   ASSIGN(field_m_i64,
 362     gcc_jit_context_new_rvalue_from_int (
 363       ctxt,
 364       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT64_T),
 365       -4))
 366
 367 #ifdef __SIZEOF_INT128__
 368   ASSIGN(field_m_u128,
 369     gcc_jit_context_new_rvalue_from_int (
 370       ctxt,
 371       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_UINT128_T),
 372       123456789))
 373   ASSIGN(field_m_i128,
 374     gcc_jit_context_new_rvalue_from_int (
 375       ctxt,
 376       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT128_T),
 377       -5))
 378 #endif
 379
 380   ASSIGN(field_m_sized_int_type,
 381     gcc_jit_context_new_rvalue_from_int (
 382       ctxt,
 383       sized_int_type, 500))
 384
 385   ASSIGN(field_m_float,
 386     gcc_jit_context_new_rvalue_from_double (
 387       ctxt,
 388       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_FLOAT),
 389       3.141))
 390   ASSIGN(field_m_double,
 391     gcc_jit_context_new_rvalue_from_double (
 392       ctxt,
 393       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_DOUBLE),
 394       3.141))
 395   ASSIGN(field_m_long_double,
 396     gcc_jit_context_new_rvalue_from_double (
 397       ctxt,
 398       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_LONG_DOUBLE),
 399       3.141))
 400
 401   ASSIGN(field_m_const_char_ptr,
 402     gcc_jit_context_new_rvalue_from_ptr (
 403       ctxt,
 404       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_CONST_CHAR_PTR),
 405       (char *)test_string))
 406
 407   ASSIGN(field_m_size_t,
 408     gcc_jit_context_new_rvalue_from_int (
 409       ctxt,
 410       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_SIZE_T),
 411       sizeof (struct zoo)))
 412
 413   ASSIGN(field_m_FILE_ptr,
 414     gcc_jit_context_new_rvalue_from_ptr (
 415       ctxt,
 416       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_FILE_PTR),
 417       stderr))
 418
 419 #undef ASSIGN
 420
 421   gcc_jit_block_end_with_void_return (block, NULL);
 422 }
 423
 424 void
 425 verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
 426 {
 427   typedef void (*fn_type) (struct zoo *);
 428   CHECK_NON_NULL (result);
 429
 430   fn_type test_types =
 431     (fn_type)gcc_jit_result_get_code (result, "test_types");
 432   CHECK_NON_NULL (test_types);
 433
 434   struct zoo z;
 435   memset (&z, 0xf0, sizeof (z));
 436
 437   /* Call the JIT-generated function.  */
 438   test_types (&z);
 439
 440   /* Verify that it correctly wrote to the various fields.  */
 441   CHECK_VALUE (z.m_void_ptr, test_ptr);
 442
 443   CHECK_VALUE (z.m_bool, true);
 444
 445   CHECK_VALUE (z.m_char, 'V');
 446   CHECK_VALUE (z.m_signed_char, -37);
 447   CHECK_VALUE (z.m_unsigned_char, 200);
 448
 449   CHECK_VALUE (z.m_short, -900);
 450   CHECK_VALUE (z.m_unsigned_short, 0x3000);
 451
 452   CHECK_VALUE (z.m_int, -0x2000);
 453   CHECK_VALUE (z.m_unsigned_int, 1234567);
 454
 455   CHECK_VALUE (z.m_long, -5);
 456   CHECK_VALUE (z.m_unsigned_long, 12345678);
 457
 458   CHECK_VALUE (z.m_long_long, -42);
 459   CHECK_VALUE (z.m_unsigned_long_long, 123456789);
 460
 461   CHECK_VALUE (z.m_u8, 123);
 462   CHECK_VALUE (z.m_u16, 12345);
 463   CHECK_VALUE (z.m_u32, 123456789);
 464   CHECK_VALUE (z.m_u64, 123456789);
 465
 466   CHECK_VALUE (z.m_i8, -1);
 467   CHECK_VALUE (z.m_i16, -2);
 468   CHECK_VALUE (z.m_i32, -3);
 469   CHECK_VALUE (z.m_i64, -4);
 470
 471 #ifdef __SIZEOF_INT128__
 472   CHECK_VALUE (z.m_u128, 123456789);
 473   CHECK_VALUE (z.m_i128, -5);
 474 #endif
 475
 476   CHECK_VALUE (z.m_sized_int_type, 500);
 477
 478   CHECK_VALUE (z.m_float, 3.141f);
 479   CHECK_VALUE (z.m_double, 3.141);
 480   CHECK_VALUE (z.m_long_double, 3.141);
 481
 482   CHECK_VALUE (z.m_const_char_ptr, test_string);
 483
 484   CHECK_VALUE (z.m_size_t, sizeof (struct zoo));
 485
 486   CHECK_VALUE (z.m_FILE_ptr, stderr);
 487
 488   if (sizeof(long) == 8)
 489     CHECK (gcc_jit_compatible_types (
 490       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_LONG),
 491       gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT64_T)));
 492
 493   CHECK_VALUE (gcc_jit_type_get_size (gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_FLOAT)), sizeof (float));
 494   CHECK_VALUE (gcc_jit_type_get_size (gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_DOUBLE)), sizeof (double));
 495 }