From ef20b0a18e4978aac9eb77b91898356c67f6a0e4 Mon Sep 17 00:00:00 2001 From: Antoni Boucher Date: Wed, 1 Jun 2022 22:07:07 -0400 Subject: [PATCH] libgccjit: Fix bug where unary_op will return an integer type instead of the correct type 2022-06-01 Antoni Boucher gcc/jit/ PR target/105812 * jit-playback.cc: Use the correct return when folding in as_truth_value. gcc/testsuite/ PR target/105812 * jit.dg/test-pr105812-bool-operations.c: New test. --- gcc/jit/jit-playback.cc | 3 +- .../jit.dg/test-pr105812-bool-operations.c | 89 +++++++++++++++++++ 2 files changed, 91 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/jit.dg/test-pr105812-bool-operations.c diff --git a/gcc/jit/jit-playback.cc b/gcc/jit/jit-playback.cc index 6be6bdf8dea..c08cba58743 100644 --- a/gcc/jit/jit-playback.cc +++ b/gcc/jit/jit-playback.cc @@ -1025,8 +1025,9 @@ as_truth_value (tree expr, location *loc) if (loc) set_tree_location (typed_zero, loc); + tree type = TREE_TYPE (expr); expr = fold_build2_loc (UNKNOWN_LOCATION, - NE_EXPR, integer_type_node, expr, typed_zero); + NE_EXPR, type, expr, typed_zero); if (loc) set_tree_location (expr, loc); diff --git a/gcc/testsuite/jit.dg/test-pr105812-bool-operations.c b/gcc/testsuite/jit.dg/test-pr105812-bool-operations.c new file mode 100644 index 00000000000..1daa1c3c35a --- /dev/null +++ b/gcc/testsuite/jit.dg/test-pr105812-bool-operations.c @@ -0,0 +1,89 @@ +#include "libgccjit.h" + +#include "harness.h" + +void +create_code (gcc_jit_context *ctxt, void *user_data) +{ + gcc_jit_type* bool_type = + gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_BOOL); + gcc_jit_type* bool_ptr_type = + gcc_jit_type_get_pointer (gcc_jit_type_get_aligned (bool_type, 1)); + + /* Function 1 */ + + gcc_jit_param* param1 = gcc_jit_context_new_param (ctxt, NULL, bool_type, + "param1"); + gcc_jit_function* function1 = + gcc_jit_context_new_function (ctxt, NULL, + GCC_JIT_FUNCTION_EXPORTED, bool_type, + "function1", 1, ¶m1, 0); + gcc_jit_block* block1 = gcc_jit_function_new_block (function1, "start1"); + + gcc_jit_lvalue* var1 = + gcc_jit_function_new_local (function1, NULL, bool_type, "var1"); + gcc_jit_rvalue* addr1 = + gcc_jit_lvalue_get_address (var1, NULL); + gcc_jit_rvalue* ptr1 = + gcc_jit_context_new_cast (ctxt, NULL, addr1, bool_ptr_type); + gcc_jit_lvalue* deref1 = + gcc_jit_rvalue_dereference (ptr1, NULL); + gcc_jit_rvalue* param1_rvalue = + gcc_jit_param_as_rvalue (param1); + gcc_jit_block_add_assignment (block1, NULL, deref1, param1_rvalue); + + gcc_jit_rvalue* one = gcc_jit_context_one (ctxt, bool_type); + gcc_jit_block_end_with_return (block1, NULL, one); + + /* Function 2 */ + + gcc_jit_param* param2 = gcc_jit_context_new_param (ctxt, NULL, bool_type, + "param2"); + gcc_jit_function* function2 = + gcc_jit_context_new_function (ctxt, NULL, + GCC_JIT_FUNCTION_EXPORTED, bool_type, + "function2", 1, ¶m2, 0); + gcc_jit_block* block2 = gcc_jit_function_new_block (function2, "start2"); + + gcc_jit_lvalue* var2 = + gcc_jit_function_new_local (function2, NULL, bool_type, "var2"); + gcc_jit_rvalue* addr2 = + gcc_jit_lvalue_get_address (var2, NULL); + gcc_jit_rvalue* ptr2 = + gcc_jit_context_new_cast (ctxt, NULL, addr2, bool_ptr_type); + gcc_jit_lvalue* deref2 = + gcc_jit_rvalue_dereference (ptr2, NULL); + gcc_jit_rvalue* param2_rvalue = + gcc_jit_param_as_rvalue (param2); + gcc_jit_block_add_assignment (block2, NULL, deref2, param2_rvalue); + + gcc_jit_lvalue* return_value = + gcc_jit_function_new_local (function2, NULL, bool_type, "return_value"); + gcc_jit_rvalue* call = + gcc_jit_context_new_call (ctxt, NULL, function1, 1, ¶m2_rvalue); + gcc_jit_block_add_assignment (block2, NULL, return_value, call); + + gcc_jit_block* block2_1 = + gcc_jit_function_new_block (function2, "end2"); + gcc_jit_block_end_with_jump (block2, NULL, block2_1); + + gcc_jit_rvalue* value = + gcc_jit_context_new_unary_op (ctxt, NULL, + GCC_JIT_UNARY_OP_LOGICAL_NEGATE, bool_type, + param2_rvalue); + gcc_jit_rvalue* return_rvalue = + gcc_jit_lvalue_as_rvalue (return_value); + gcc_jit_rvalue* and = + gcc_jit_context_new_binary_op (ctxt, NULL, + GCC_JIT_BINARY_OP_BITWISE_AND, bool_type, + return_rvalue, value); + + gcc_jit_block_end_with_return (block2_1, NULL, and); +} + +extern void +verify_code (gcc_jit_context *ctxt, gcc_jit_result *result) +{ + /* Verify that no errors were emitted. */ + CHECK_NON_NULL (result); +} -- 2.26.2.7.g19db9cfb68.dirty