1  #include <stdlib.h>
       2  #include <stdio.h>
       3  
       4  #include "libgccjit.h"
       5  
       6  #include "harness.h"
       7  
       8  #ifdef __cplusplus
       9  extern "C" {
      10  #endif
      11  
      12    struct box { char dummy[64]; int i; };
      13  
      14    extern struct box
      15    returns_struct (int i);
      16  
      17  #ifdef __cplusplus
      18  }
      19  #endif
      20  
      21  void
      22  create_code (gcc_jit_context *ctxt, void *user_data)
      23  {
      24    /* Let's try to inject the equivalent of:
      25  
      26         int test (int i)
      27         {
      28           return [MUST TAIL CALL] returns_struct (i).i;
      29         }
      30  
      31       and verify that we get a sane error when the tail call
      32       optimization can't be done.  */
      33  
      34    gcc_jit_type *char_type =
      35      gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_CHAR);
      36    gcc_jit_type *int_type =
      37      gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT);
      38  
      39    /* Declare "struct box.  */
      40    gcc_jit_type *array_type =
      41      gcc_jit_context_new_array_type (ctxt, NULL, char_type, 64);
      42    gcc_jit_field *field_dummy =
      43      gcc_jit_context_new_field (ctxt, NULL, array_type, "dummy");
      44    gcc_jit_field *field_i =
      45      gcc_jit_context_new_field (ctxt, NULL, int_type, "i");
      46    gcc_jit_field *fields[2] = {field_dummy, field_i};
      47    gcc_jit_struct *struct_box =
      48      gcc_jit_context_new_struct_type (ctxt, NULL, "box", 2, fields);
      49  
      50    /* Declare the imported function.  */
      51    gcc_jit_param *called_fn_param_i =
      52      gcc_jit_context_new_param (ctxt, NULL, int_type, "i");
      53    gcc_jit_function *called_fn =
      54      gcc_jit_context_new_function (ctxt, NULL,
      55                                    GCC_JIT_FUNCTION_IMPORTED,
      56                                    gcc_jit_struct_as_type (struct_box),
      57                                    "called_function",
      58                                    1, &called_fn_param_i,
      59                                    0);
      60  
      61    /* Build the test_fn.  */
      62    gcc_jit_param *caller_param_i =
      63      gcc_jit_context_new_param (ctxt, NULL, int_type, "i");
      64    gcc_jit_function *test_fn =
      65      gcc_jit_context_new_function (ctxt, NULL,
      66                                    GCC_JIT_FUNCTION_EXPORTED,
      67                                    int_type,
      68                                    "test_caller",
      69                                    1, &caller_param_i,
      70                                    0);
      71    gcc_jit_rvalue *arg = gcc_jit_param_as_rvalue (caller_param_i);
      72  
      73    gcc_jit_rvalue *call =
      74      gcc_jit_context_new_call (ctxt, NULL,
      75                                called_fn,
      76                                1, &arg);
      77  
      78    /* Mark the call as requiring tail-call optimization.  */
      79    gcc_jit_rvalue_set_bool_require_tail_call (call, 1);
      80  
      81    gcc_jit_block *block = gcc_jit_function_new_block (test_fn, NULL);
      82    gcc_jit_block_end_with_return (block, NULL,
      83      gcc_jit_rvalue_access_field (call, NULL, field_i));
      84  }
      85  
      86  void
      87  verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
      88  {
      89    CHECK_VALUE (result, NULL);
      90  
      91    CHECK_STRING_VALUE (gcc_jit_context_get_first_error (ctxt),
      92  		      "cannot tail-call: callee returns a structure");
      93  }