aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite')
-rw-r--r--gcc/testsuite/ChangeLog8
-rw-r--r--gcc/testsuite/jit.dg/all-non-failing-tests.h7
-rw-r--r--gcc/testsuite/jit.dg/test-debug-strings.c190
-rw-r--r--gcc/testsuite/jit.dg/test-quadratic.c28
4 files changed, 222 insertions, 11 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 285fcb70518..66101a9d6dd 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,11 @@
+2015-06-16 David Malcolm <dmalcolm@redhat.com>
+
+ PR jit/66539
+ * jit.dg/all-non-failing-tests.h: Add test-debug-strings.c.
+ * jit.dg/test-debug-strings.c: New test case.
+ * jit.dg/test-quadratic.c (make_calc_discriminant): Verify that
+ the discriminant has a sane debug string.
+
2015-06-16 Uros Bizjak <ubizjak@gmail.com>
PR target/56766
diff --git a/gcc/testsuite/jit.dg/all-non-failing-tests.h b/gcc/testsuite/jit.dg/all-non-failing-tests.h
index 82ce7368482..f0000cc0c3e 100644
--- a/gcc/testsuite/jit.dg/all-non-failing-tests.h
+++ b/gcc/testsuite/jit.dg/all-non-failing-tests.h
@@ -64,6 +64,13 @@
#undef create_code
#undef verify_code
+/* test-debug-strings.c */
+#define create_code create_code_debug_strings
+#define verify_code verify_code_debug_strings
+#include "test-debug-strings.c"
+#undef create_code
+#undef verify_code
+
/* test-dot-product.c */
#define create_code create_code_dot_product
#define verify_code verify_code_dot_product
diff --git a/gcc/testsuite/jit.dg/test-debug-strings.c b/gcc/testsuite/jit.dg/test-debug-strings.c
new file mode 100644
index 00000000000..e515a176257
--- /dev/null
+++ b/gcc/testsuite/jit.dg/test-debug-strings.c
@@ -0,0 +1,190 @@
+#include <stdlib.h>
+#include <stdio.h>
+
+#include "libgccjit.h"
+
+#include "harness.h"
+
+/* Build various compound expressions, and verify that they have sane debug
+ strings. */
+void
+create_code (gcc_jit_context *ctxt, void *user_data)
+{
+ /* Make a singly-linked list type:
+ struct node
+ {
+ struct node *next;
+ int value;
+ };
+ */
+ gcc_jit_type *t_int =
+ gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT);
+ gcc_jit_struct *t_node =
+ gcc_jit_context_new_opaque_struct (ctxt, NULL, "node");
+ gcc_jit_type *t_node_ptr =
+ gcc_jit_type_get_pointer (gcc_jit_struct_as_type (t_node));
+ gcc_jit_field *f_next =
+ gcc_jit_context_new_field (ctxt, NULL, t_node_ptr, "next");
+ gcc_jit_field *f_value =
+ gcc_jit_context_new_field (ctxt, NULL, t_int, "value");
+ gcc_jit_field *fields[] = {f_next, f_value};
+ gcc_jit_struct_set_fields (t_node, NULL, 2, fields);
+
+ /* Create a dummy function so that we have locals/params to build
+ expressions with. */
+ gcc_jit_type *t_void =
+ gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_VOID);
+ gcc_jit_function *fn =
+ gcc_jit_context_new_function (ctxt, NULL,
+ GCC_JIT_FUNCTION_EXPORTED,
+ t_void,
+ "test_debug_strings",
+ 0, NULL, 0);
+ gcc_jit_rvalue *ptr =
+ gcc_jit_lvalue_as_rvalue (
+ gcc_jit_function_new_local (fn,
+ NULL,
+ t_node_ptr,
+ "ptr"));
+ gcc_jit_rvalue *a =
+ gcc_jit_lvalue_as_rvalue (
+ gcc_jit_function_new_local (fn, NULL, t_int, "a"));
+ gcc_jit_rvalue *b =
+ gcc_jit_lvalue_as_rvalue (
+ gcc_jit_function_new_local (fn, NULL, t_int, "b"));
+ gcc_jit_rvalue *c =
+ gcc_jit_lvalue_as_rvalue (
+ gcc_jit_function_new_local (fn, NULL, t_int, "c"));
+ gcc_jit_rvalue *d =
+ gcc_jit_lvalue_as_rvalue (
+ gcc_jit_function_new_local (fn, NULL, t_int, "d"));
+
+#define CHECK_RVALUE_DEBUG_STRING(RVALUE, EXPECTED) \
+ CHECK_STRING_VALUE ( \
+ gcc_jit_object_get_debug_string (gcc_jit_rvalue_as_object (RVALUE)), \
+ (EXPECTED))
+
+#define CHECK_LVALUE_DEBUG_STRING(LVALUE, EXPECTED) \
+ CHECK_STRING_VALUE ( \
+ gcc_jit_object_get_debug_string (gcc_jit_lvalue_as_object (LVALUE)), \
+ (EXPECTED))
+
+ /* Verify various simple compound expressions. */
+ {
+ CHECK_RVALUE_DEBUG_STRING (ptr, "ptr");
+
+ gcc_jit_lvalue *deref =
+ gcc_jit_rvalue_dereference_field (ptr,
+ NULL,
+ f_value);
+ CHECK_LVALUE_DEBUG_STRING (deref, "ptr->value");
+
+ gcc_jit_rvalue *deref_as_rvalue = gcc_jit_lvalue_as_rvalue (deref);
+
+#define BINOP(OP, A, B) \
+ gcc_jit_context_new_binary_op (ctxt, NULL, \
+ GCC_JIT_BINARY_OP_##OP, t_int, (A), (B))
+#define COMPARISON(OP, A, B) \
+ gcc_jit_context_new_comparison (ctxt, NULL, \
+ GCC_JIT_COMPARISON_##OP,(A), (B))
+
+ CHECK_RVALUE_DEBUG_STRING (
+ BINOP (PLUS, deref_as_rvalue, deref_as_rvalue),
+ "ptr->value + ptr->value");
+ CHECK_RVALUE_DEBUG_STRING (
+ BINOP (MULT, deref_as_rvalue, deref_as_rvalue),
+ "ptr->value * ptr->value");
+
+ /* Multiplication has higher precedence in C than addition, so this
+ dump shouldn't contain parentheses. */
+ CHECK_RVALUE_DEBUG_STRING (
+ BINOP (PLUS,
+ BINOP (MULT, a, b),
+ BINOP (MULT, c, d)),
+ "a * b + c * d");
+
+ /* ...but this one should. */
+ CHECK_RVALUE_DEBUG_STRING (
+ BINOP (MULT,
+ BINOP (PLUS, a, b),
+ BINOP (PLUS, c, d)),
+ "(a + b) * (c + d)");
+
+ /* Equal precedences don't need parentheses. */
+ CHECK_RVALUE_DEBUG_STRING (
+ BINOP (MULT,
+ BINOP (MULT, a, b),
+ BINOP (MULT, c, d)),
+ "a * b * c * d");
+
+ /* Comparisons and logical ops. */
+ CHECK_RVALUE_DEBUG_STRING (
+ COMPARISON (LT, a, b),
+ "a < b");
+
+ CHECK_RVALUE_DEBUG_STRING (
+ BINOP (LOGICAL_AND,
+ COMPARISON (LT, a, b),
+ COMPARISON (GT, c, d)),
+ "a < b && c > d");
+
+ CHECK_RVALUE_DEBUG_STRING (
+ BINOP (LOGICAL_AND,
+ BINOP (LOGICAL_OR,
+ COMPARISON (LT, a, b),
+ COMPARISON (LT, a, c)),
+ BINOP (LOGICAL_OR,
+ COMPARISON (GT, d, b),
+ COMPARISON (GT, d, c))),
+ "(a < b || a < c) && (d > b || d > c)");
+
+ CHECK_RVALUE_DEBUG_STRING (
+ BINOP (LOGICAL_OR,
+ BINOP (LOGICAL_AND,
+ COMPARISON (LT, a, b),
+ COMPARISON (LT, a, c)),
+ BINOP (LOGICAL_AND,
+ COMPARISON (GT, d, b),
+ COMPARISON (GT, d, c))),
+ "a < b && a < c || d > b && d > c");
+
+#undef BINOP
+#undef COMPARISON
+ }
+
+ /* PR jit/66539 "Missing parentheses in jit dumps".
+ Construct the equivalent of
+ ((cast)ptr->next)->next
+ and verify that the appropriate parentheses appear in the debug
+ string. */
+ {
+ /* "ptr->next". */
+ gcc_jit_lvalue *inner_deref =
+ gcc_jit_rvalue_dereference_field (ptr,
+ NULL,
+ f_next);
+ /* "((node *)ptr->next)"; the cast is redundant, purely
+ to exercise dumping. */
+ gcc_jit_rvalue *test_cast =
+ gcc_jit_context_new_cast (ctxt, NULL,
+ gcc_jit_lvalue_as_rvalue (inner_deref),
+ t_node_ptr);
+ /* "((node *)ptr->next)->next". */
+ gcc_jit_lvalue *outer_deref =
+ gcc_jit_rvalue_dereference_field (test_cast, /* gcc_jit_rvalue *ptr */
+ NULL, /* gcc_jit_location *loc */
+ f_next); /* gcc_jit_field *field */
+ CHECK_LVALUE_DEBUG_STRING (outer_deref,
+ "((struct node *)ptr->next)->next");
+ }
+
+#undef CHECK_LVALUE_DEBUG_STRING
+}
+
+void
+verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
+{
+ CHECK_NON_NULL (result);
+ /* We don't actually build any functions above;
+ nothing more to verify. */
+}
diff --git a/gcc/testsuite/jit.dg/test-quadratic.c b/gcc/testsuite/jit.dg/test-quadratic.c
index 715174c92f0..d83a4fb0571 100644
--- a/gcc/testsuite/jit.dg/test-quadratic.c
+++ b/gcc/testsuite/jit.dg/test-quadratic.c
@@ -176,16 +176,8 @@ make_calc_discriminant (struct quadratic_test *testcase)
gcc_jit_param_as_rvalue (param_q),
NULL, testcase->c));
- gcc_jit_block_add_assignment (
- blk, NULL,
-
- /* q->discriminant =... */
- gcc_jit_rvalue_dereference_field (
- gcc_jit_param_as_rvalue (param_q),
- NULL,
- testcase->discriminant),
-
- /* (q->b * q->b) - (4 * q->a * q->c) */
+ /* (q->b * q->b) - (4 * q->a * q->c) */
+ gcc_jit_rvalue *rhs =
gcc_jit_context_new_binary_op (
testcase->ctxt, NULL,
GCC_JIT_BINARY_OP_MINUS,
@@ -213,7 +205,21 @@ make_calc_discriminant (struct quadratic_test *testcase)
testcase->ctxt, NULL,
GCC_JIT_BINARY_OP_MULT,
testcase->numeric_type,
- q_a, q_c)))); /* end of gcc_jit_function_add_assignment call. */
+ q_a, q_c)));
+
+ CHECK_STRING_VALUE (
+ gcc_jit_object_get_debug_string (gcc_jit_rvalue_as_object (rhs)),
+ "q->b * q->b - (double)4 * q->a * q->c");
+
+ gcc_jit_block_add_assignment (
+ blk, NULL,
+
+ /* q->discriminant =... */
+ gcc_jit_rvalue_dereference_field (
+ gcc_jit_param_as_rvalue (param_q),
+ NULL,
+ testcase->discriminant),
+ rhs);
gcc_jit_block_end_with_void_return (blk, NULL);
}
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 16:30:54 +0000