(root)/
gcc-13.2.0/
gcc/
testsuite/
jit.dg/
test-pr105812-bool-operations.c
       1  #include "libgccjit.h"
       2  
       3  #include "harness.h"
       4  
       5  void
       6  create_code (gcc_jit_context *ctxt, void *user_data)
       7  {
       8    gcc_jit_type* bool_type =
       9      gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_BOOL);
      10    gcc_jit_type* bool_ptr_type =
      11      gcc_jit_type_get_pointer (gcc_jit_type_get_aligned (bool_type, 1));
      12  
      13    /* Function 1 */
      14  
      15    gcc_jit_param* param1 = gcc_jit_context_new_param (ctxt, NULL, bool_type,
      16  						     "param1");
      17    gcc_jit_function* function1 =
      18      gcc_jit_context_new_function (ctxt, NULL,
      19  				  GCC_JIT_FUNCTION_EXPORTED, bool_type,
      20  				  "function1", 1, &param1, 0);
      21    gcc_jit_block* block1 = gcc_jit_function_new_block (function1, "start1");
      22  
      23    gcc_jit_lvalue* var1 =
      24      gcc_jit_function_new_local (function1, NULL, bool_type, "var1");
      25    gcc_jit_rvalue* addr1 =
      26      gcc_jit_lvalue_get_address (var1, NULL);
      27    gcc_jit_rvalue* ptr1 =
      28      gcc_jit_context_new_cast (ctxt, NULL, addr1, bool_ptr_type);
      29    gcc_jit_lvalue* deref1 =
      30      gcc_jit_rvalue_dereference (ptr1, NULL);
      31    gcc_jit_rvalue* param1_rvalue =
      32      gcc_jit_param_as_rvalue (param1);
      33    gcc_jit_block_add_assignment (block1, NULL, deref1, param1_rvalue);
      34  
      35    gcc_jit_rvalue* one = gcc_jit_context_one (ctxt, bool_type);
      36    gcc_jit_block_end_with_return (block1, NULL, one);
      37  
      38    /* Function 2 */
      39  
      40    gcc_jit_param* param2 = gcc_jit_context_new_param (ctxt, NULL, bool_type,
      41  						     "param2");
      42    gcc_jit_function* function2 =
      43      gcc_jit_context_new_function (ctxt, NULL,
      44  				  GCC_JIT_FUNCTION_EXPORTED, bool_type,
      45  				  "function2", 1, &param2, 0);
      46    gcc_jit_block* block2 = gcc_jit_function_new_block (function2, "start2");
      47  
      48    gcc_jit_lvalue* var2 =
      49      gcc_jit_function_new_local (function2, NULL, bool_type, "var2");
      50    gcc_jit_rvalue* addr2 =
      51      gcc_jit_lvalue_get_address (var2, NULL);
      52    gcc_jit_rvalue* ptr2 =
      53      gcc_jit_context_new_cast (ctxt, NULL, addr2, bool_ptr_type);
      54    gcc_jit_lvalue* deref2 =
      55      gcc_jit_rvalue_dereference (ptr2, NULL);
      56    gcc_jit_rvalue* param2_rvalue =
      57      gcc_jit_param_as_rvalue (param2);
      58    gcc_jit_block_add_assignment (block2, NULL, deref2, param2_rvalue);
      59  
      60    gcc_jit_lvalue* return_value =
      61      gcc_jit_function_new_local (function2, NULL, bool_type, "return_value");
      62    gcc_jit_rvalue* call =
      63      gcc_jit_context_new_call (ctxt, NULL, function1, 1, &param2_rvalue);
      64    gcc_jit_block_add_assignment (block2, NULL, return_value, call);
      65  
      66    gcc_jit_block* block2_1 =
      67      gcc_jit_function_new_block (function2, "end2");
      68    gcc_jit_block_end_with_jump (block2, NULL, block2_1);
      69  
      70    gcc_jit_rvalue* value =
      71      gcc_jit_context_new_unary_op (ctxt, NULL,
      72  				  GCC_JIT_UNARY_OP_LOGICAL_NEGATE, bool_type,
      73  				  param2_rvalue);
      74    gcc_jit_rvalue* return_rvalue =
      75      gcc_jit_lvalue_as_rvalue (return_value);
      76    gcc_jit_rvalue* and =
      77      gcc_jit_context_new_binary_op (ctxt, NULL,
      78  				   GCC_JIT_BINARY_OP_BITWISE_AND, bool_type,
      79  				   return_rvalue, value);
      80  
      81    gcc_jit_block_end_with_return (block2_1, NULL, and);
      82  }
      83  
      84  extern void
      85  verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
      86  {
      87    /* Verify that no errors were emitted.  */
      88    CHECK_NON_NULL (result);
      89  }