From 73b7582775254b764fd92ddb252a33dc15872c69 Mon Sep 17 00:00:00 2001 From: Richard Sandiford Date: Thu, 17 Dec 2020 00:15:11 +0000 Subject: Add rtl-ssa This patch adds the RTL SSA infrastructure itself. The following fwprop.c patch will make use of it. gcc/ * configure.ac: Add rtl-ssa to the list of dependence directories. * configure: Regenerate. * Makefile.in (rtl-ssa-warn): New variable. (OBJS): Add the rtl-ssa object files. * emit-rtl.h (rtl_data::ssa): New field. * rtl-ssa.h: New file. * system.h: Include when INCLUDE_FUNCTIONAL is defined. * rtl-ssa/access-utils.h: Likewise. * rtl-ssa/accesses.h: New file. * rtl-ssa/accesses.cc: Likewise. * rtl-ssa/blocks.h: New file. * rtl-ssa/blocks.cc: Likewise. * rtl-ssa/change-utils.h: Likewise. * rtl-ssa/changes.h: New file. * rtl-ssa/changes.cc: Likewise. * rtl-ssa/functions.h: New file. * rtl-ssa/functions.cc: Likewise. * rtl-ssa/insn-utils.h: Likewise. * rtl-ssa/insns.h: New file. * rtl-ssa/insns.cc: Likewise. * rtl-ssa/internals.inl: Likewise. * rtl-ssa/is-a.inl: Likewise. * rtl-ssa/member-fns.inl: Likewise. * rtl-ssa/movement.h: Likewise. --- gcc/rtl-ssa/insn-utils.h | 46 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 46 insertions(+) create mode 100644 gcc/rtl-ssa/insn-utils.h (limited to 'gcc/rtl-ssa/insn-utils.h') diff --git a/gcc/rtl-ssa/insn-utils.h b/gcc/rtl-ssa/insn-utils.h new file mode 100644 index 0000000..d7705e9 --- /dev/null +++ b/gcc/rtl-ssa/insn-utils.h @@ -0,0 +1,46 @@ +// Instruction-related utilities for RTL SSA -*- C++ -*- +// Copyright (C) 2020 Free Software Foundation, Inc. +// +// This file is part of GCC. +// +// GCC is free software; you can redistribute it and/or modify it under +// the terms of the GNU General Public License as published by the Free +// Software Foundation; either version 3, or (at your option) any later +// version. +// +// GCC is distributed in the hope that it will be useful, but WITHOUT ANY +// WARRANTY; without even the implied warranty of MERCHANTABILITY or +// FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +// for more details. +// +// You should have received a copy of the GNU General Public License +// along with GCC; see the file COPYING3. If not see +// . + +namespace rtl_ssa { + +// Return whichever of INSN1 and INSN2 occurs earlier in the function's +// reverse postorder. +inline insn_info * +earlier_insn (insn_info *insn1, insn_info *insn2) +{ + return *insn1 < *insn2 ? insn1 : insn2; +} + +// Return whichever of INSN1 and INSN2 occurs later in the function's +// reverse postorder. +inline insn_info * +later_insn (insn_info *insn1, insn_info *insn2) +{ + return *insn1 < *insn2 ? insn2 : insn1; +} + +// Return a closure of operator== for INSN. See insn_is_changing for +// the rationale for defining the function this way. +inline insn_is_closure +insn_is (const insn_info *insn) +{ + return insn_is_closure (insn); +} + +} -- cgit v1.1