CbC/CbC_gcc: gcc/gimple.c comparison

comparison gcc/gimple.c @ 145:1830386684a0

gcc-9.2.0

author	anatofuz
date	Thu, 13 Feb 2020 11:34:05 +0900
parents	84e7813d76e9
children	351920fa3827

comparison

equal deleted inserted replaced

-:84e7813d76e9
+:1830386684a0
 /* Gimple IR support functions.
-Copyright (C) 2007-2018 Free Software Foundation, Inc.
+Copyright (C) 2007-2020 Free Software Foundation, Inc.
 Contributed by Aldy Hernandez <aldyh@redhat.com>
 This file is part of GCC.
 GCC is free software; you can redistribute it and/or modify it under
 #include "selftest.h"
 #include "gimple-pretty-print.h"
 #include "stringpool.h"
 #include "attribs.h"
 #include "asan.h"
+#include "langhooks.h"
 /* All the tuples have their operand vector (if present) at the very bottom
 of the structure.  Therefore, the offset required to find the
 operands vector the size of the structure minus the size of the 1
 }
 /* Return the number of bytes needed to hold a GIMPLE statement with
 code CODE.  */
-static inline size_t
+size_t
-gimple_size (enum gimple_code code)
+gimple_size (enum gimple_code code, unsigned num_ops)
 {
-return gsstruct_code_size[gss_for_code (code)];
+size_t size = gsstruct_code_size[gss_for_code (code)];
+if (num_ops > 0)
+size += (sizeof (tree) * (num_ops - 1));
+return size;
+}
+/* Initialize GIMPLE statement G with CODE and NUM_OPS.  */
+void
+gimple_init (gimple *g, enum gimple_code code, unsigned num_ops)
+{
+gimple_set_code (g, code);
+gimple_set_num_ops (g, num_ops);
+/* Do not call gimple_set_modified here as it has other side
+effects and this tuple is still not completely built.  */
+g->modified = 1;
+gimple_init_singleton (g);
 }
 /* Allocate memory for a GIMPLE statement with code CODE and NUM_OPS
 operands.  */
 gimple_alloc (enum gimple_code code, unsigned num_ops MEM_STAT_DECL)
 {
 size_t size;
 gimple *stmt;
-size = gimple_size (code);
+size = gimple_size (code, num_ops);
-if (num_ops > 0)
-size += sizeof (tree) * (num_ops - 1);
 if (GATHER_STATISTICS)
 {
 enum gimple_alloc_kind kind = gimple_alloc_kind (code);
 gimple_alloc_counts[(int) kind]++;
 gimple_alloc_sizes[(int) kind] += size;
 }
 stmt = ggc_alloc_cleared_gimple_statement_stat (size PASS_MEM_STAT);
-gimple_set_code (stmt, code);
+gimple_init (stmt, code, num_ops);
-gimple_set_num_ops (stmt, num_ops);
-/* Do not call gimple_set_modified here as it has other side
-effects and this tuple is still not completely built.  */
-stmt->modified = 1;
-gimple_init_singleton (stmt);
 return stmt;
 }
 /* Set SUBCODE to be the code of the expression computed by statement G.  */
 /* Build a GIMPLE_OMP_FOR statement.
 BODY is sequence of statements inside the for loop.
 KIND is the `for' variant.
-CLAUSES, are any of the construct's clauses.
+CLAUSES are any of the construct's clauses.
 COLLAPSE is the collapse count.
 PRE_BODY is the sequence of statements that are loop invariant.  */
 gomp_for *
 gimple_build_omp_for (gimple_seq body, int kind, tree clauses, size_t collapse,
 /* Build a GIMPLE_OMP_PARALLEL statement.
 BODY is sequence of statements which are executed in parallel.
-CLAUSES, are the OMP parallel construct's clauses.
+CLAUSES are the OMP parallel construct's clauses.
 CHILD_FN is the function created for the parallel threads to execute.
 DATA_ARG are the shared data argument(s).  */
 gomp_parallel *
 gimple_build_omp_parallel (gimple_seq body, tree clauses, tree child_fn,
 /* Build a GIMPLE_OMP_TASK statement.
 BODY is sequence of statements which are executed by the explicit task.
-CLAUSES, are the OMP parallel construct's clauses.
+CLAUSES are the OMP task construct's clauses.
 CHILD_FN is the function created for the parallel threads to execute.
 DATA_ARG are the shared data argument(s).
 COPY_FN is the optional function for firstprivate initialization.
 ARG_SIZE and ARG_ALIGN are size and alignment of the data block.  */
 }
 /* Build a GIMPLE_OMP_TASKGROUP statement.
 BODY is the sequence of statements to be executed by the taskgroup
-construct.  */
+construct.
+CLAUSES are any of the construct's clauses.  */
 gimple *
-gimple_build_omp_taskgroup (gimple_seq body)
+gimple_build_omp_taskgroup (gimple_seq body, tree clauses)
 {
 gimple *p = gimple_alloc (GIMPLE_OMP_TASKGROUP, 0);
+gimple_omp_taskgroup_set_clauses (p, clauses);
 if (body)
 gimple_omp_set_body (p, body);
 return p;
 }
 gimple_build_omp_return (bool wait_p)
 {
 gimple *p = gimple_alloc (GIMPLE_OMP_RETURN, 0);
 if (wait_p)
 gimple_omp_return_set_nowait (p);
+return p;
+}
+/* Build a GIMPLE_OMP_SCAN statement.
+BODY is the sequence of statements to be executed by the scan
+construct.
+CLAUSES are any of the construct's clauses.  */
+gomp_scan *
+gimple_build_omp_scan (gimple_seq body, tree clauses)
+{
+gomp_scan *p
+= as_a <gomp_scan *> (gimple_alloc (GIMPLE_OMP_SCAN, 0));
+gimple_omp_scan_set_clauses (p, clauses);
+if (body)
+gimple_omp_set_body (p, body);
 return p;
 }
 /* Build a GIMPLE_OMP_ATOMIC_LOAD statement.  */
 gomp_atomic_load *
-gimple_build_omp_atomic_load (tree lhs, tree rhs)
+gimple_build_omp_atomic_load (tree lhs, tree rhs, enum omp_memory_order mo)
 {
 gomp_atomic_load *p
 = as_a <gomp_atomic_load *> (gimple_alloc (GIMPLE_OMP_ATOMIC_LOAD, 0));
 gimple_omp_atomic_load_set_lhs (p, lhs);
 gimple_omp_atomic_load_set_rhs (p, rhs);
+gimple_omp_atomic_set_memory_order (p, mo);
 return p;
 }
 /* Build a GIMPLE_OMP_ATOMIC_STORE statement.
 VAL is the value we are storing.  */
 gomp_atomic_store *
-gimple_build_omp_atomic_store (tree val)
+gimple_build_omp_atomic_store (tree val, enum omp_memory_order mo)
 {
 gomp_atomic_store *p
 = as_a <gomp_atomic_store *> (gimple_alloc (GIMPLE_OMP_ATOMIC_STORE, 0));
 gimple_omp_atomic_store_set_val (p, val);
+gimple_omp_atomic_set_memory_order (p, mo);
 return p;
 }
 /* Build a GIMPLE_TRANSACTION statement.  */
 call_expr_flags, but for gimple tuples.  */
 int
 gimple_call_flags (const gimple *stmt)
 {
-int flags;
+int flags = 0;
-tree decl = gimple_call_fndecl (stmt);
+if (gimple_call_internal_p (stmt))
-if (decl)
-flags = flags_from_decl_or_type (decl);
-else if (gimple_call_internal_p (stmt))
 flags = internal_fn_flags (gimple_call_internal_fn (stmt));
 else
-flags = flags_from_decl_or_type (gimple_call_fntype (stmt));
+{
+tree decl = gimple_call_fndecl (stmt);
+if (decl)
+	flags = flags_from_decl_or_type (decl);
+flags |= flags_from_decl_or_type (gimple_call_fntype (stmt));
+}
 if (stmt->subcode & GF_CALL_NOTHROW)
 flags |= ECF_NOTHROW;
 if (stmt->subcode & GF_CALL_BY_DESCRIPTOR)
 {
 tree fndecl = gimple_call_fndecl (call);
 if (!fndecl)
 return false;
 if (flag_delete_null_pointer_checks && !flag_check_new
-&& DECL_IS_OPERATOR_NEW (fndecl)
+&& DECL_IS_OPERATOR_NEW_P (fndecl)
 && !TREE_NOTHROW (fndecl))
 return true;
 /* References are always non-NULL.  */
 if (flag_delete_null_pointer_checks
 gimple_assign_set_rhs_with_ops (gimple_stmt_iterator *gsi, enum tree_code code,
 				tree op1, tree op2, tree op3)
 {
 unsigned new_rhs_ops = get_gimple_rhs_num_ops (code);
 gimple *stmt = gsi_stmt (*gsi);
+gimple *old_stmt = stmt;
 /* If the new CODE needs more operands, allocate a new statement.  */
 if (gimple_num_ops (stmt) < new_rhs_ops + 1)
 {
-tree lhs = gimple_assign_lhs (stmt);
+tree lhs = gimple_assign_lhs (old_stmt);
-gimple *new_stmt = gimple_alloc (gimple_code (stmt), new_rhs_ops + 1);
+stmt = gimple_alloc (gimple_code (old_stmt), new_rhs_ops + 1);
-memcpy (new_stmt, stmt, gimple_size (gimple_code (stmt)));
+memcpy (stmt, old_stmt, gimple_size (gimple_code (old_stmt)));
-gimple_init_singleton (new_stmt);
+gimple_init_singleton (stmt);
-gsi_replace (gsi, new_stmt, false);
-stmt = new_stmt;
 /* The LHS needs to be reset as this also changes the SSA name
 	 on the LHS.  */
 gimple_assign_set_lhs (stmt, lhs);
 }
 gimple_assign_set_rhs1 (stmt, op1);
 if (new_rhs_ops > 1)
 gimple_assign_set_rhs2 (stmt, op2);
 if (new_rhs_ops > 2)
 gimple_assign_set_rhs3 (stmt, op3);
+if (stmt != old_stmt)
+gsi_replace (gsi, stmt, false);
 }
 /* Return the LHS of a statement that performs an assignment,
 either a GIMPLE_ASSIGN or a GIMPLE_CALL.  Returns NULL_TREE
 if (code == GIMPLE_ASSIGN)
 return gimple_assign_lhs (stmt);
 else if (code == GIMPLE_CALL)
 return gimple_call_lhs (stmt);
+else if (code == GIMPLE_PHI)
+return gimple_phi_result (stmt);
 else
 return NULL_TREE;
 }
 	  t = unshare_expr (gimple_omp_ordered_clauses
 				(as_a <gomp_ordered *> (stmt)));
 	  gimple_omp_ordered_set_clauses (as_a <gomp_ordered *> (copy), t);
 	  goto copy_omp_body;
+	case GIMPLE_OMP_SCAN:
+	  t = gimple_omp_scan_clauses (as_a <gomp_scan *> (stmt));
+	  t = unshare_expr (t);
+	  gimple_omp_scan_set_clauses (as_a <gomp_scan *> (copy), t);
+	  goto copy_omp_body;
+	case GIMPLE_OMP_TASKGROUP:
+	  t = unshare_expr (gimple_omp_taskgroup_clauses (stmt));
+	  gimple_omp_taskgroup_set_clauses (copy, t);
+	  goto copy_omp_body;
 	case GIMPLE_OMP_SECTIONS:
 	  t = unshare_expr (gimple_omp_sections_clauses (stmt));
 	  gimple_omp_sections_set_clauses (copy, t);
 	  t = unshare_expr (gimple_omp_sections_control (stmt));
 	  gimple_omp_sections_set_control (copy, t);
 	  }
 	  /* FALLTHRU  */
 	case GIMPLE_OMP_SECTION:
 	case GIMPLE_OMP_MASTER:
-	case GIMPLE_OMP_TASKGROUP:
 	case GIMPLE_OMP_GRID_BODY:
 	copy_omp_body:
 	  new_seq = gimple_seq_copy (gimple_omp_body (stmt));
 	  gimple_omp_set_body (copy, new_seq);
 	  break;
 cfun->debug_marker_count++;
 return copy;
 }
+/* Move OLD_STMT's vuse and vdef operands to NEW_STMT, on the assumption
+that OLD_STMT is about to be removed.  */
+void
+gimple_move_vops (gimple *new_stmt, gimple *old_stmt)
+{
+tree vdef = gimple_vdef (old_stmt);
+gimple_set_vuse (new_stmt, gimple_vuse (old_stmt));
+gimple_set_vdef (new_stmt, vdef);
+if (vdef && TREE_CODE (vdef) == SSA_NAME)
+SSA_NAME_DEF_STMT (vdef) = new_stmt;
+}
 /* Return true if statement S has side-effects.  We consider a
 statement to have side effects if:
 - It is a GIMPLE_CALL not marked with ECF_PURE or ECF_CONST.
 if (!t || !DECL_P (t) || DECL_WEAK (t))
 	return true;
 return false;
 case GIMPLE_ASSIGN:
-t = gimple_expr_type (s);
 op = gimple_assign_rhs_code (s);
+/* For COND_EXPR and VEC_COND_EXPR only the condition may trap.  */
+if (op == COND_EXPR || op == VEC_COND_EXPR)
+	return tree_could_trap_p (gimple_assign_rhs1 (s));
+/* For comparisons we need to check rhs operand types instead of rhs type
+(which is BOOLEAN_TYPE).  */
+if (TREE_CODE_CLASS (op) == tcc_comparison)
+	t = TREE_TYPE (gimple_assign_rhs1 (s));
+else
+	t = gimple_expr_type (s);
 if (get_gimple_rhs_class (op) == GIMPLE_BINARY_RHS)
 	div = gimple_assign_rhs2 (s);
 return (operation_could_trap_p (op, FLOAT_TYPE_P (t),
 				      (INTEGRAL_TYPE_P (t)
 				       && TYPE_OVERFLOW_TRAPS (t)),
 				      div));
 fprintf (stderr, "\nGIMPLE statements\n");
 fprintf (stderr, "Kind                   Stmts      Bytes\n");
 fprintf (stderr, "---------------------------------------\n");
 for (i = 0; i < (int) gimple_alloc_kind_all; ++i)
 {
-fprintf (stderr, "%-20s %7" PRIu64 " %10" PRIu64 "\n",
+fprintf (stderr, "%-20s %7" PRIu64 "%c %10" PRIu64 "%c\n",
-	       gimple_alloc_kind_names[i], gimple_alloc_counts[i],
+	       gimple_alloc_kind_names[i],
-	       gimple_alloc_sizes[i]);
+	       SIZE_AMOUNT (gimple_alloc_counts[i]),
+	       SIZE_AMOUNT (gimple_alloc_sizes[i]));
 total_tuples += gimple_alloc_counts[i];
 total_bytes += gimple_alloc_sizes[i];
 }
 fprintf (stderr, "---------------------------------------\n");
-fprintf (stderr, "%-20s %7" PRIu64 " %10" PRIu64 "\n", "Total",
+fprintf (stderr, "%-20s %7" PRIu64 "%c %10" PRIu64 "%c\n", "Total",
-	   total_tuples, total_bytes);
+	   SIZE_AMOUNT (total_tuples), SIZE_AMOUNT (total_bytes));
 fprintf (stderr, "---------------------------------------\n");
 }
 /* Return the number of operands needed on the RHS of a GIMPLE
 assignment for an expression with tree code CODE.  */
 unsigned
 get_gimple_rhs_num_ops (enum tree_code code)
 {
-enum gimple_rhs_class rhs_class = get_gimple_rhs_class (code);
+switch (get_gimple_rhs_class (code))
+{
-if (rhs_class == GIMPLE_UNARY_RHS || rhs_class == GIMPLE_SINGLE_RHS)
+case GIMPLE_UNARY_RHS:
-return 1;
+case GIMPLE_SINGLE_RHS:
-else if (rhs_class == GIMPLE_BINARY_RHS)
+return 1;
-return 2;
+case GIMPLE_BINARY_RHS:
-else if (rhs_class == GIMPLE_TERNARY_RHS)
+return 2;
-return 3;
+case GIMPLE_TERNARY_RHS:
-else
+return 3;
-gcc_unreachable ();
+default:
+gcc_unreachable ();
+}
 }
 #define DEFTREECODE(SYM, STRING, TYPE, NARGS)   			    \
 (unsigned char)							    \
 ((TYPE) == tcc_unary ? GIMPLE_UNARY_RHS				    \
 /* t1 == t can happen for boolean nodes which are always unsigned.  */
 if (t1 != t)
 	return get_alias_set (t1);
 }
+/* Allow aliasing between enumeral types and the underlying
+integer type.  This is required for C since those are
+compatible types.  */
+else if (TREE_CODE (t) == ENUMERAL_TYPE)
+{
+tree t1 = lang_hooks.types.type_for_size (tree_to_uhwi (TYPE_SIZE (t)),
+						false /* short-cut above */);
+return get_alias_set (t1);
+}
 return -1;
 }
 /* Helper for gimple_ior_addresses_taken_1.  */
 targs = TREE_CHAIN (targs);
 }
 if (targs && !VOID_TYPE_P (TREE_VALUE (targs)))
 return false;
 return true;
+}
+/* Return true when STMT is operator delete call.  */
+bool
+gimple_call_operator_delete_p (const gcall *stmt)
+{
+tree fndecl;
+if ((fndecl = gimple_call_fndecl (stmt)) != NULL_TREE)
+return DECL_IS_OPERATOR_DELETE_P (fndecl);
+return false;
 }
 /* Return true when STMT is builtins call.  */
 bool

Mercurial > hg > CbC > CbC_gcc

comparison gcc/gimple.c @ 145:1830386684a0