mirror of
https://github.com/gcc-mirror/gcc.git
synced 2024-11-21 13:40:47 +00:00
50332a4fdd
I've tried to build stage3 with -Wleading-whitespace=blanks -Wtrailing-whitespace=blank -Wno-error=leading-whitespace=blanks -Wno-error=trailing-whitespace=blank added to STRICT_WARN and that expectably resulted in about 2744 unique trailing whitespace warnings and 124837 leading whitespace warnings when excluding *.md files (which obviously is in big part a generator issue). Others from that are generator related, I think those need to be solved later. The following patch just fixes up the easy case (trailing whitespace), which could be easily automated: for i in `find . -name \*.h -o -name \*.cc -o -name \*.c | xargs grep -l '[ ]$' | grep -v testsuite/`; do sed -i -e 's/[ ]*$//' $i; done I've excluded files which I knew are obviously generated or go FE. Is there anything else we'd want to avoid the changes? Due to patch size, I've split it between gcc/ part (this patch) and rest (include/, libiberty/, libgcc/, libcpp/, libstdc++-v3/). 2024-10-24 Jakub Jelinek <jakub@redhat.com> gcc/ * lra-assigns.cc: Remove trailing whitespace. * symtab.cc: Likewise. * stmt.cc: Likewise. * cgraphbuild.cc: Likewise. * cfgcleanup.cc: Likewise. * loop-init.cc: Likewise. * df-problems.cc: Likewise. * diagnostic-macro-unwinding.cc: Likewise. * langhooks.h: Likewise. * except.cc: Likewise. * tree-vect-loop.cc: Likewise. * coverage.cc: Likewise. * hash-table.cc: Likewise. * ggc-page.cc: Likewise. * gimple-ssa-strength-reduction.cc: Likewise. * tree-parloops.cc: Likewise. * internal-fn.cc: Likewise. * ipa-split.cc: Likewise. * calls.cc: Likewise. * reorg.cc: Likewise. * sbitmap.h: Likewise. * omp-offload.cc: Likewise. * cfgrtl.cc: Likewise. * reginfo.cc: Likewise. * gengtype.h: Likewise. * omp-general.h: Likewise. * ipa-comdats.cc: Likewise. * gimple-range-edge.h: Likewise. * tree-ssa-structalias.cc: Likewise. * target.def: Likewise. * basic-block.h: Likewise. * graphite-isl-ast-to-gimple.cc: Likewise. * auto-profile.cc: Likewise. * optabs.cc: Likewise. * gengtype-lex.l: Likewise. * optabs.def: Likewise. * ira-build.cc: Likewise. * ira.cc: Likewise. * function.h: Likewise. * tree-ssa-propagate.cc: Likewise. * gcov-io.cc: Likewise. * builtin-types.def: Likewise. * ddg.cc: Likewise. * lra-spills.cc: Likewise. * cfg.cc: Likewise. * bitmap.cc: Likewise. * gimple-range-gori.h: Likewise. * tree-ssa-loop-im.cc: Likewise. * cfghooks.h: Likewise. * genmatch.cc: Likewise. * explow.cc: Likewise. * lto-streamer-in.cc: Likewise. * graphite-scop-detection.cc: Likewise. * ipa-prop.cc: Likewise. * gcc.cc: Likewise. * vec.h: Likewise. * cfgexpand.cc: Likewise. * config/alpha/vms.h: Likewise. * config/alpha/alpha.cc: Likewise. * config/alpha/driver-alpha.cc: Likewise. * config/alpha/elf.h: Likewise. * config/iq2000/iq2000.h: Likewise. * config/iq2000/iq2000.cc: Likewise. * config/pa/pa-64.h: Likewise. * config/pa/som.h: Likewise. * config/pa/pa.cc: Likewise. * config/pa/pa.h: Likewise. * config/pa/pa32-regs.h: Likewise. * config/c6x/c6x.cc: Likewise. * config/openbsd-stdint.h: Likewise. * config/elfos.h: Likewise. * config/lm32/lm32.cc: Likewise. * config/lm32/lm32.h: Likewise. * config/lm32/lm32-protos.h: Likewise. * config/darwin-c.cc: Likewise. * config/rx/rx.cc: Likewise. * config/host-darwin.h: Likewise. * config/netbsd.h: Likewise. * config/ia64/ia64.cc: Likewise. * config/ia64/freebsd.h: Likewise. * config/avr/avr-c.cc: Likewise. * config/avr/avr.cc: Likewise. * config/avr/avr-arch.h: Likewise. * config/avr/avr.h: Likewise. * config/avr/stdfix.h: Likewise. * config/avr/gen-avr-mmcu-specs.cc: Likewise. * config/avr/avr-log.cc: Likewise. * config/avr/elf.h: Likewise. * config/avr/gen-avr-mmcu-texi.cc: Likewise. * config/avr/avr-devices.cc: Likewise. * config/nvptx/nvptx.cc: Likewise. * config/vx-common.h: Likewise. * config/sol2.cc: Likewise. * config/rl78/rl78.cc: Likewise. * config/cris/cris.cc: Likewise. * config/arm/symbian.h: Likewise. * config/arm/unknown-elf.h: Likewise. * config/arm/linux-eabi.h: Likewise. * config/arm/arm.cc: Likewise. * config/arm/arm-mve-builtins.h: Likewise. * config/arm/bpabi.h: Likewise. * config/arm/vxworks.h: Likewise. * config/arm/arm.h: Likewise. * config/arm/aout.h: Likewise. * config/arm/elf.h: Likewise. * config/host-linux.cc: Likewise. * config/sh/sh_treg_combine.cc: Likewise. * config/sh/vxworks.h: Likewise. * config/sh/elf.h: Likewise. * config/sh/netbsd-elf.h: Likewise. * config/sh/sh.cc: Likewise. * config/sh/embed-elf.h: Likewise. * config/sh/sh.h: Likewise. * config/darwin-driver.cc: Likewise. * config/m32c/m32c.cc: Likewise. * config/frv/frv.cc: Likewise. * config/openbsd.h: Likewise. * config/aarch64/aarch64-protos.h: Likewise. * config/aarch64/aarch64-builtins.cc: Likewise. * config/aarch64/aarch64-cost-tables.h: Likewise. * config/aarch64/aarch64.cc: Likewise. * config/bfin/bfin.cc: Likewise. * config/bfin/bfin.h: Likewise. * config/bfin/bfin-protos.h: Likewise. * config/i386/gmm_malloc.h: Likewise. * config/i386/djgpp.h: Likewise. * config/i386/sol2.h: Likewise. * config/i386/stringop.def: Likewise. * config/i386/i386-features.cc: Likewise. * config/i386/openbsdelf.h: Likewise. * config/i386/cpuid.h: Likewise. * config/i386/i386.h: Likewise. * config/i386/smmintrin.h: Likewise. * config/i386/avx10_2-512convertintrin.h: Likewise. * config/i386/i386-options.cc: Likewise. * config/i386/i386-opts.h: Likewise. * config/i386/i386-expand.cc: Likewise. * config/i386/avx512dqintrin.h: Likewise. * config/i386/wmmintrin.h: Likewise. * config/i386/gnu-user.h: Likewise. * config/i386/host-mingw32.cc: Likewise. * config/i386/avx10_2bf16intrin.h: Likewise. * config/i386/cygwin.h: Likewise. * config/i386/driver-i386.cc: Likewise. * config/i386/biarch64.h: Likewise. * config/i386/host-cygwin.cc: Likewise. * config/i386/cygming.h: Likewise. * config/i386/i386-builtins.cc: Likewise. * config/i386/avx10_2convertintrin.h: Likewise. * config/i386/i386.cc: Likewise. * config/i386/gas.h: Likewise. * config/i386/freebsd.h: Likewise. * config/mingw/winnt-cxx.cc: Likewise. * config/mingw/winnt.cc: Likewise. * config/h8300/h8300.cc: Likewise. * config/host-solaris.cc: Likewise. * config/m32r/m32r.h: Likewise. * config/m32r/m32r.cc: Likewise. * config/darwin.h: Likewise. * config/sparc/linux64.h: Likewise. * config/sparc/sparc-protos.h: Likewise. * config/sparc/sysv4.h: Likewise. * config/sparc/sparc.h: Likewise. * config/sparc/linux.h: Likewise. * config/sparc/freebsd.h: Likewise. * config/sparc/sparc.cc: Likewise. * config/gcn/gcn-run.cc: Likewise. * config/gcn/gcn.cc: Likewise. * config/gcn/gcn-tree.cc: Likewise. * config/kopensolaris-gnu.h: Likewise. * config/nios2/nios2.h: Likewise. * config/nios2/elf.h: Likewise. * config/nios2/nios2.cc: Likewise. * config/host-netbsd.cc: Likewise. * config/rtems.h: Likewise. * config/pdp11/pdp11.cc: Likewise. * config/pdp11/pdp11.h: Likewise. * config/mn10300/mn10300.cc: Likewise. * config/mn10300/linux.h: Likewise. * config/moxie/moxie.h: Likewise. * config/moxie/moxie.cc: Likewise. * config/rs6000/aix71.h: Likewise. * config/rs6000/vec_types.h: Likewise. * config/rs6000/xcoff.h: Likewise. * config/rs6000/rs6000.cc: Likewise. * config/rs6000/rs6000-internal.h: Likewise. * config/rs6000/rs6000-p8swap.cc: Likewise. * config/rs6000/rs6000-c.cc: Likewise. * config/rs6000/aix.h: Likewise. * config/rs6000/rs6000-logue.cc: Likewise. * config/rs6000/rs6000-string.cc: Likewise. * config/rs6000/rs6000-call.cc: Likewise. * config/rs6000/ppu_intrinsics.h: Likewise. * config/rs6000/altivec.h: Likewise. * config/rs6000/darwin.h: Likewise. * config/rs6000/host-darwin.cc: Likewise. * config/rs6000/freebsd64.h: Likewise. * config/rs6000/spu2vmx.h: Likewise. * config/rs6000/linux.h: Likewise. * config/rs6000/si2vmx.h: Likewise. * config/rs6000/driver-rs6000.cc: Likewise. * config/rs6000/freebsd.h: Likewise. * config/vxworksae.h: Likewise. * config/mips/frame-header-opt.cc: Likewise. * config/mips/mips.h: Likewise. * config/mips/mips.cc: Likewise. * config/mips/sde.h: Likewise. * config/darwin-protos.h: Likewise. * config/mcore/mcore-elf.h: Likewise. * config/mcore/mcore.h: Likewise. * config/mcore/mcore.cc: Likewise. * config/epiphany/epiphany.cc: Likewise. * config/fr30/fr30.h: Likewise. * config/fr30/fr30.cc: Likewise. * config/riscv/riscv-vector-builtins-shapes.cc: Likewise. * config/riscv/riscv-vector-builtins-bases.cc: Likewise. * config/visium/visium.h: Likewise. * config/mmix/mmix.cc: Likewise. * config/v850/v850.cc: Likewise. * config/v850/v850-c.cc: Likewise. * config/v850/v850.h: Likewise. * config/stormy16/stormy16.cc: Likewise. * config/stormy16/stormy16-protos.h: Likewise. * config/stormy16/stormy16.h: Likewise. * config/arc/arc.cc: Likewise. * config/vxworks.cc: Likewise. * config/microblaze/microblaze-c.cc: Likewise. * config/microblaze/microblaze-protos.h: Likewise. * config/microblaze/microblaze.h: Likewise. * config/microblaze/microblaze.cc: Likewise. * config/freebsd-spec.h: Likewise. * config/m68k/m68kelf.h: Likewise. * config/m68k/m68k.cc: Likewise. * config/m68k/netbsd-elf.h: Likewise. * config/m68k/linux.h: Likewise. * config/freebsd.h: Likewise. * config/host-openbsd.cc: Likewise. * regcprop.cc: Likewise. * dumpfile.cc: Likewise. * combine.cc: Likewise. * tree-ssa-forwprop.cc: Likewise. * ipa-profile.cc: Likewise. * hw-doloop.cc: Likewise. * opts.cc: Likewise. * gcc-ar.cc: Likewise. * tree-cfg.cc: Likewise. * incpath.cc: Likewise. * tree-ssa-sccvn.cc: Likewise. * function.cc: Likewise. * genattrtab.cc: Likewise. * rtl.def: Likewise. * genchecksum.cc: Likewise. * profile.cc: Likewise. * df-core.cc: Likewise. * tree-pretty-print.cc: Likewise. * tree.h: Likewise. * plugin.cc: Likewise. * tree-ssa-loop-ch.cc: Likewise. * emit-rtl.cc: Likewise. * haifa-sched.cc: Likewise. * gimple-range-edge.cc: Likewise. * range-op.cc: Likewise. * tree-ssa-ccp.cc: Likewise. * dwarf2cfi.cc: Likewise. * recog.cc: Likewise. * vtable-verify.cc: Likewise. * system.h: Likewise. * regrename.cc: Likewise. * tree-ssa-dom.cc: Likewise. * loop-unroll.cc: Likewise. * lra-constraints.cc: Likewise. * pretty-print.cc: Likewise. * ifcvt.cc: Likewise. * ipa.cc: Likewise. * alloc-pool.h: Likewise. * collect2.cc: Likewise. * pointer-query.cc: Likewise. * cfgloop.cc: Likewise. * toplev.cc: Likewise. * sese.cc: Likewise. * gengtype.cc: Likewise. * gimplify-me.cc: Likewise. * double-int.cc: Likewise. * bb-reorder.cc: Likewise. * dwarf2out.cc: Likewise. * tree-ssa-loop-ivcanon.cc: Likewise. * tree-ssa-reassoc.cc: Likewise. * cgraph.cc: Likewise. * sel-sched.cc: Likewise. * attribs.cc: Likewise. * expr.cc: Likewise. * tree-ssa-scopedtables.h: Likewise. * gimple-range-cache.cc: Likewise. * ipa-pure-const.cc: Likewise. * tree-inline.cc: Likewise. * genhooks.cc: Likewise. * gimple-range-phi.h: Likewise. * shrink-wrap.cc: Likewise. * tree.cc: Likewise. * gimple.cc: Likewise. * backend.h: Likewise. * opts-common.cc: Likewise. * cfg-flags.def: Likewise. * gcse-common.cc: Likewise. * tree-ssa-scopedtables.cc: Likewise. * ccmp.cc: Likewise. * builtins.def: Likewise. * builtin-attrs.def: Likewise. * postreload.cc: Likewise. * sched-deps.cc: Likewise. * ipa-inline-transform.cc: Likewise. * tree-vect-generic.cc: Likewise. * ipa-polymorphic-call.cc: Likewise. * builtins.cc: Likewise. * sel-sched-ir.cc: Likewise. * trans-mem.cc: Likewise. * ipa-visibility.cc: Likewise. * cgraph.h: Likewise. * tree-ssa-phiopt.cc: Likewise. * genopinit.cc: Likewise. * ipa-inline.cc: Likewise. * omp-low.cc: Likewise. * ipa-utils.cc: Likewise. * tree-ssa-math-opts.cc: Likewise. * tree-ssa-ifcombine.cc: Likewise. * gimple-range.cc: Likewise. * ipa-fnsummary.cc: Likewise. * ira-color.cc: Likewise. * value-prof.cc: Likewise. * varasm.cc: Likewise. * ipa-icf.cc: Likewise. * ira-emit.cc: Likewise. * lto-streamer.h: Likewise. * lto-wrapper.cc: Likewise. * regs.h: Likewise. * gengtype-parse.cc: Likewise. * alias.cc: Likewise. * lto-streamer.cc: Likewise. * real.h: Likewise. * wide-int.h: Likewise. * targhooks.cc: Likewise. * gimple-ssa-warn-access.cc: Likewise. * real.cc: Likewise. * ipa-reference.cc: Likewise. * bitmap.h: Likewise. * ginclude/float.h: Likewise. * ginclude/stddef.h: Likewise. * ginclude/stdarg.h: Likewise. * ginclude/stdatomic.h: Likewise. * optabs.h: Likewise. * sel-sched-ir.h: Likewise. * convert.cc: Likewise. * cgraphunit.cc: Likewise. * lra-remat.cc: Likewise. * tree-if-conv.cc: Likewise. * gcov-dump.cc: Likewise. * tree-predcom.cc: Likewise. * dominance.cc: Likewise. * gimple-range-cache.h: Likewise. * ipa-devirt.cc: Likewise. * rtl.h: Likewise. * ubsan.cc: Likewise. * tree-ssa.cc: Likewise. * ssa.h: Likewise. * cse.cc: Likewise. * jump.cc: Likewise. * hwint.h: Likewise. * caller-save.cc: Likewise. * coretypes.h: Likewise. * ipa-fnsummary.h: Likewise. * tree-ssa-strlen.cc: Likewise. * modulo-sched.cc: Likewise. * cgraphclones.cc: Likewise. * lto-cgraph.cc: Likewise. * hw-doloop.h: Likewise. * data-streamer.h: Likewise. * compare-elim.cc: Likewise. * profile-count.h: Likewise. * tree-vect-loop-manip.cc: Likewise. * ree.cc: Likewise. * reload.cc: Likewise. * tree-ssa-loop-split.cc: Likewise. * tree-into-ssa.cc: Likewise. * gcse.cc: Likewise. * cfgloopmanip.cc: Likewise. * df.h: Likewise. * fold-const.cc: Likewise. * wide-int.cc: Likewise. * gengtype-state.cc: Likewise. * sanitizer.def: Likewise. * tree-ssa-sink.cc: Likewise. * target-hooks-macros.h: Likewise. * tree-ssa-pre.cc: Likewise. * gimple-pretty-print.cc: Likewise. * ipa-utils.h: Likewise. * tree-outof-ssa.cc: Likewise. * tree-ssa-coalesce.cc: Likewise. * gimple-match.h: Likewise. * tree-ssa-loop-niter.cc: Likewise. * tree-loop-distribution.cc: Likewise. * tree-emutls.cc: Likewise. * tree-eh.cc: Likewise. * varpool.cc: Likewise. * ssa-iterators.h: Likewise. * asan.cc: Likewise. * reload1.cc: Likewise. * cfgloopanal.cc: Likewise. * tree-vectorizer.cc: Likewise. * simplify-rtx.cc: Likewise. * opts-global.cc: Likewise. * gimple-ssa-store-merging.cc: Likewise. * expmed.cc: Likewise. * tree-ssa-loop-prefetch.cc: Likewise. * tree-ssa-dse.h: Likewise. * tree-vect-stmts.cc: Likewise. * gimple-fold.cc: Likewise. * lra-coalesce.cc: Likewise. * data-streamer-out.cc: Likewise. * diagnostic.cc: Likewise. * tree-ssa-alias.cc: Likewise. * tree-vect-patterns.cc: Likewise. * common/common-target.def: Likewise. * common/config/rx/rx-common.cc: Likewise. * common/config/msp430/msp430-common.cc: Likewise. * common/config/avr/avr-common.cc: Likewise. * common/config/i386/i386-common.cc: Likewise. * common/config/pdp11/pdp11-common.cc: Likewise. * common/config/rs6000/rs6000-common.cc: Likewise. * common/config/mcore/mcore-common.cc: Likewise. * graphite.cc: Likewise. * gimple-low.cc: Likewise. * genmodes.cc: Likewise. * gimple-loop-jam.cc: Likewise. * lto-streamer-out.cc: Likewise. * predict.cc: Likewise. * omp-expand.cc: Likewise. * gimple-array-bounds.cc: Likewise. * predict.def: Likewise. * opts.h: Likewise. * tree-stdarg.cc: Likewise. * gimplify.cc: Likewise. * ira-lives.cc: Likewise. * loop-doloop.cc: Likewise. * lra.cc: Likewise. * gimple-iterator.h: Likewise. * tree-sra.cc: Likewise. gcc/fortran/ * trans-openmp.cc: Remove trailing whitespace. * trans-common.cc: Likewise. * match.h: Likewise. * scanner.cc: Likewise. * gfortranspec.cc: Likewise. * io.cc: Likewise. * iso-c-binding.def: Likewise. * iso-fortran-env.def: Likewise. * types.def: Likewise. * openmp.cc: Likewise. * f95-lang.cc: Likewise. gcc/analyzer/ * state-purge.cc: Remove trailing whitespace. * region-model.h: Likewise. * region-model.cc: Likewise. * program-point.cc: Likewise. * exploded-graph.h: Likewise. * program-state.cc: Likewise. * supergraph.cc: Likewise. gcc/c-family/ * c-ubsan.cc: Remove trailing whitespace. * stub-objc.cc: Likewise. * c-pragma.cc: Likewise. * c-ppoutput.cc: Likewise. * c-indentation.cc: Likewise. * c-ada-spec.cc: Likewise. * c-opts.cc: Likewise. * c-common.cc: Likewise. * c-format.cc: Likewise. * c-omp.cc: Likewise. * c-objc.h: Likewise. * c-cppbuiltin.cc: Likewise. * c-attribs.cc: Likewise. * c-target.def: Likewise. * c-common.h: Likewise. gcc/c/ * c-typeck.cc: Remove trailing whitespace. * gimple-parser.cc: Likewise. * c-parser.cc: Likewise. * c-decl.cc: Likewise. gcc/cp/ * vtable-class-hierarchy.cc: Remove trailing whitespace. * typeck2.cc: Likewise. * decl.cc: Likewise. * init.cc: Likewise. * semantics.cc: Likewise. * module.cc: Likewise. * rtti.cc: Likewise. * cxx-pretty-print.cc: Likewise. * cvt.cc: Likewise. * mangle.cc: Likewise. * name-lookup.h: Likewise. * coroutines.cc: Likewise. * error.cc: Likewise. * lambda.cc: Likewise. * tree.cc: Likewise. * g++spec.cc: Likewise. * decl2.cc: Likewise. * cp-tree.h: Likewise. * parser.cc: Likewise. * pt.cc: Likewise. * call.cc: Likewise. * lex.cc: Likewise. * cp-lang.cc: Likewise. * cp-tree.def: Likewise. * constexpr.cc: Likewise. * typeck.cc: Likewise. * name-lookup.cc: Likewise. * optimize.cc: Likewise. * search.cc: Likewise. * mapper-client.cc: Likewise. * ptree.cc: Likewise. * class.cc: Likewise. gcc/jit/ * docs/examples/tut04-toyvm/toyvm.cc: Remove trailing whitespace. gcc/lto/ * lto-object.cc: Remove trailing whitespace. * lto-symtab.cc: Likewise. * lto-partition.cc: Likewise. * lang-specs.h: Likewise. * lto-lang.cc: Likewise. gcc/objc/ * objc-encoding.cc: Remove trailing whitespace. * objc-map.h: Likewise. * objc-next-runtime-abi-01.cc: Likewise. * objc-act.cc: Likewise. * objc-map.cc: Likewise. gcc/objcp/ * objcp-decl.cc: Remove trailing whitespace. * objcp-lang.cc: Likewise. * objcp-decl.h: Likewise. gcc/rust/ * util/optional.h: Remove trailing whitespace. * util/expected.h: Likewise. * util/rust-unicode-data.h: Likewise. gcc/m2/ * mc-boot/GFpuIO.cc: Remove trailing whitespace. * mc-boot/GFIO.cc: Likewise. * mc-boot/GFormatStrings.cc: Likewise. * mc-boot/GCmdArgs.cc: Likewise. * mc-boot/GDebug.h: Likewise. * mc-boot/GM2Dependent.cc: Likewise. * mc-boot/GRTint.cc: Likewise. * mc-boot/GDebug.cc: Likewise. * mc-boot/GmcError.cc: Likewise. * mc-boot/Gmcp4.cc: Likewise. * mc-boot/GM2RTS.cc: Likewise. * mc-boot/GIO.cc: Likewise. * mc-boot/Gmcp5.cc: Likewise. * mc-boot/GDynamicStrings.cc: Likewise. * mc-boot/Gmcp1.cc: Likewise. * mc-boot/GFormatStrings.h: Likewise. * mc-boot/Gmcp2.cc: Likewise. * mc-boot/Gmcp3.cc: Likewise. * pge-boot/GFIO.cc: Likewise. * pge-boot/GDebug.h: Likewise. * pge-boot/GM2Dependent.cc: Likewise. * pge-boot/GDebug.cc: Likewise. * pge-boot/GM2RTS.cc: Likewise. * pge-boot/GSymbolKey.cc: Likewise. * pge-boot/GIO.cc: Likewise. * pge-boot/GIndexing.cc: Likewise. * pge-boot/GDynamicStrings.cc: Likewise. * pge-boot/GFormatStrings.h: Likewise. gcc/go/ * go-gcc.cc: Remove trailing whitespace. * gospec.cc: Likewise.
2223 lines
63 KiB
C++
2223 lines
63 KiB
C++
/* Read the GIMPLE representation from a file stream.
|
|
|
|
Copyright (C) 2009-2024 Free Software Foundation, Inc.
|
|
Contributed by Kenneth Zadeck <zadeck@naturalbridge.com>
|
|
Re-implemented by Diego Novillo <dnovillo@google.com>
|
|
|
|
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
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#define INCLUDE_MEMORY
|
|
#include "config.h"
|
|
#include "system.h"
|
|
#include "coretypes.h"
|
|
#include "backend.h"
|
|
#include "target.h"
|
|
#include "rtl.h"
|
|
#include "tree.h"
|
|
#include "gimple.h"
|
|
#include "cfghooks.h"
|
|
#include "tree-pass.h"
|
|
#include "ssa.h"
|
|
#include "gimple-streamer.h"
|
|
#include "toplev.h"
|
|
#include "gimple-iterator.h"
|
|
#include "tree-cfg.h"
|
|
#include "tree-into-ssa.h"
|
|
#include "tree-dfa.h"
|
|
#include "tree-ssa.h"
|
|
#include "except.h"
|
|
#include "cgraph.h"
|
|
#include "cfgloop.h"
|
|
#include "debug.h"
|
|
#include "alloc-pool.h"
|
|
#include "toplev.h"
|
|
|
|
/* Allocator used to hold string slot entries for line map streaming. */
|
|
static struct object_allocator<struct string_slot> *string_slot_allocator;
|
|
|
|
/* The table to hold the file names. */
|
|
static hash_table<string_slot_hasher> *file_name_hash_table;
|
|
|
|
/* The table to hold the relative pathname prefixes. */
|
|
|
|
/* This obstack holds file names used in locators. Line map datastructures
|
|
points here and thus it needs to be kept allocated as long as linemaps
|
|
exists. */
|
|
static struct obstack file_name_obstack;
|
|
|
|
/* Map a pair of nul terminated strings where the first one can be
|
|
pointer compared, but the second can't, to another string. */
|
|
struct string_pair_map
|
|
{
|
|
const char *str1;
|
|
const char *str2;
|
|
const char *str3;
|
|
hashval_t hash;
|
|
bool prefix;
|
|
};
|
|
|
|
/* Allocator used to hold string pair map entries for line map streaming. */
|
|
static struct object_allocator<struct string_pair_map>
|
|
*string_pair_map_allocator;
|
|
|
|
struct string_pair_map_hasher : nofree_ptr_hash <string_pair_map>
|
|
{
|
|
static inline hashval_t hash (const string_pair_map *);
|
|
static inline bool equal (const string_pair_map *, const string_pair_map *);
|
|
};
|
|
|
|
inline hashval_t
|
|
string_pair_map_hasher::hash (const string_pair_map *spm)
|
|
{
|
|
return spm->hash;
|
|
}
|
|
|
|
inline bool
|
|
string_pair_map_hasher::equal (const string_pair_map *spm1,
|
|
const string_pair_map *spm2)
|
|
{
|
|
return (spm1->hash == spm2->hash
|
|
&& spm1->str1 == spm2->str1
|
|
&& spm1->prefix == spm2->prefix
|
|
&& strcmp (spm1->str2, spm2->str2) == 0);
|
|
}
|
|
|
|
/* The table to hold the pairs of pathnames and corresponding
|
|
resulting pathname. Used for both mapping of get_src_pwd ()
|
|
and recorded source working directory to relative path prefix
|
|
from current working directory to the recorded one, and for
|
|
mapping of that relative path prefix and some relative path
|
|
to those concatenated. */
|
|
static hash_table<string_pair_map_hasher> *path_name_pair_hash_table;
|
|
|
|
|
|
/* Check that tag ACTUAL has one of the given values. NUM_TAGS is the
|
|
number of valid tag values to check. */
|
|
|
|
void
|
|
lto_tag_check_set (enum LTO_tags actual, int ntags, ...)
|
|
{
|
|
va_list ap;
|
|
int i;
|
|
|
|
va_start (ap, ntags);
|
|
for (i = 0; i < ntags; i++)
|
|
if ((unsigned) actual == va_arg (ap, unsigned))
|
|
{
|
|
va_end (ap);
|
|
return;
|
|
}
|
|
|
|
va_end (ap);
|
|
internal_error ("bytecode stream: unexpected tag %s", lto_tag_name (actual));
|
|
}
|
|
|
|
|
|
/* Read LENGTH bytes from STREAM to ADDR. */
|
|
|
|
void
|
|
lto_input_data_block (class lto_input_block *ib, void *addr, size_t length)
|
|
{
|
|
size_t i;
|
|
unsigned char *const buffer = (unsigned char *) addr;
|
|
|
|
for (i = 0; i < length; i++)
|
|
buffer[i] = streamer_read_uchar (ib);
|
|
}
|
|
|
|
/* Compute the relative path to get to DATA_WD (absolute directory name)
|
|
from CWD (another absolute directory name). E.g. for
|
|
DATA_WD of "/tmp/foo/bar" and CWD of "/tmp/baz/qux" return
|
|
"../../foo/bar". Returned string should be freed by the caller.
|
|
Return NULL if absolute file name needs to be used. */
|
|
|
|
static char *
|
|
relative_path_prefix (const char *data_wd, const char *cwd)
|
|
{
|
|
const char *d = data_wd;
|
|
const char *c = cwd;
|
|
#ifdef HAVE_DOS_BASED_FILE_SYSTEM
|
|
if (d[1] == ':')
|
|
{
|
|
if (!IS_DIR_SEPARATOR (d[2]))
|
|
return NULL;
|
|
if (c[0] == d[0] && c[1] == ':' && IS_DIR_SEPARATOR (c[2]))
|
|
{
|
|
c += 3;
|
|
d += 3;
|
|
}
|
|
else
|
|
return NULL;
|
|
}
|
|
else if (c[1] == ':')
|
|
return NULL;
|
|
#endif
|
|
do
|
|
{
|
|
while (IS_DIR_SEPARATOR (*d))
|
|
d++;
|
|
while (IS_DIR_SEPARATOR (*c))
|
|
c++;
|
|
size_t i;
|
|
for (i = 0; c[i] && !IS_DIR_SEPARATOR (c[i]) && c[i] == d[i]; i++)
|
|
;
|
|
if ((c[i] == '\0' || IS_DIR_SEPARATOR (c[i]))
|
|
&& (d[i] == '\0' || IS_DIR_SEPARATOR (d[i])))
|
|
{
|
|
c += i;
|
|
d += i;
|
|
if (*c == '\0' || *d == '\0')
|
|
break;
|
|
}
|
|
else
|
|
break;
|
|
}
|
|
while (1);
|
|
size_t num_up = 0;
|
|
do
|
|
{
|
|
while (IS_DIR_SEPARATOR (*c))
|
|
c++;
|
|
if (*c == '\0')
|
|
break;
|
|
num_up++;
|
|
while (*c && !IS_DIR_SEPARATOR (*c))
|
|
c++;
|
|
}
|
|
while (1);
|
|
while (IS_DIR_SEPARATOR (*d))
|
|
d++;
|
|
size_t len = strlen (d);
|
|
if (len == 0 && num_up == 0)
|
|
return xstrdup (".");
|
|
char *ret = XNEWVEC (char, num_up * 3 + len + 1);
|
|
char *p = ret;
|
|
for (; num_up; num_up--)
|
|
{
|
|
const char dir_up[3] = { '.', '.', DIR_SEPARATOR };
|
|
memcpy (p, dir_up, 3);
|
|
p += 3;
|
|
}
|
|
memcpy (p, d, len + 1);
|
|
return ret;
|
|
}
|
|
|
|
/* Look up DATA_WD in hash table of relative prefixes. If found,
|
|
return relative path from CWD to DATA_WD from the hash table,
|
|
otherwise create it. */
|
|
|
|
static const char *
|
|
canon_relative_path_prefix (const char *data_wd, const char *cwd)
|
|
{
|
|
if (!IS_ABSOLUTE_PATH (data_wd) || !IS_ABSOLUTE_PATH (cwd))
|
|
return NULL;
|
|
|
|
if (!path_name_pair_hash_table)
|
|
{
|
|
path_name_pair_hash_table
|
|
= new hash_table<string_pair_map_hasher> (37);
|
|
string_pair_map_allocator
|
|
= new object_allocator <struct string_pair_map>
|
|
("line map string pair map hash");
|
|
}
|
|
|
|
inchash::hash h;
|
|
h.add_ptr (cwd);
|
|
h.merge_hash (htab_hash_string (data_wd));
|
|
h.add_int (true);
|
|
|
|
string_pair_map s_slot;
|
|
s_slot.str1 = cwd;
|
|
s_slot.str2 = data_wd;
|
|
s_slot.str3 = NULL;
|
|
s_slot.hash = h.end ();
|
|
s_slot.prefix = true;
|
|
|
|
string_pair_map **slot
|
|
= path_name_pair_hash_table->find_slot (&s_slot, INSERT);
|
|
if (*slot == NULL)
|
|
{
|
|
/* Compute relative path from cwd directory to data_wd directory.
|
|
E.g. if cwd is /tmp/foo/bar and data_wd is /tmp/baz/qux ,
|
|
it will return ../../baz/qux . */
|
|
char *relative_path = relative_path_prefix (data_wd, cwd);
|
|
const char *relative = relative_path ? relative_path : data_wd;
|
|
size_t relative_len = strlen (relative);
|
|
gcc_assert (relative_len);
|
|
|
|
size_t data_wd_len = strlen (data_wd);
|
|
bool add_separator = false;
|
|
if (!IS_DIR_SEPARATOR (relative[relative_len - 1]))
|
|
add_separator = true;
|
|
|
|
size_t len = relative_len + 1 + data_wd_len + 1 + add_separator;
|
|
|
|
char *saved_string = XOBNEWVEC (&file_name_obstack, char, len);
|
|
struct string_pair_map *new_slot
|
|
= string_pair_map_allocator->allocate ();
|
|
memcpy (saved_string, data_wd, data_wd_len + 1);
|
|
memcpy (saved_string + data_wd_len + 1, relative, relative_len);
|
|
if (add_separator)
|
|
saved_string[len - 2] = DIR_SEPARATOR;
|
|
saved_string[len - 1] = '\0';
|
|
new_slot->str1 = cwd;
|
|
new_slot->str2 = saved_string;
|
|
new_slot->str3 = saved_string + data_wd_len + 1;
|
|
if (relative_len == 1 && relative[0] == '.')
|
|
new_slot->str3 = NULL;
|
|
new_slot->hash = s_slot.hash;
|
|
new_slot->prefix = true;
|
|
*slot = new_slot;
|
|
free (relative_path);
|
|
return new_slot->str3;
|
|
}
|
|
else
|
|
{
|
|
string_pair_map *old_slot = *slot;
|
|
return old_slot->str3;
|
|
}
|
|
}
|
|
|
|
/* Look up the pair of RELATIVE_PREFIX and STRING strings in a hash table.
|
|
If found, return the concatenation of those from the hash table,
|
|
otherwise concatenate them. */
|
|
|
|
static const char *
|
|
canon_relative_file_name (const char *relative_prefix, const char *string)
|
|
{
|
|
inchash::hash h;
|
|
h.add_ptr (relative_prefix);
|
|
h.merge_hash (htab_hash_string (string));
|
|
|
|
string_pair_map s_slot;
|
|
s_slot.str1 = relative_prefix;
|
|
s_slot.str2 = string;
|
|
s_slot.str3 = NULL;
|
|
s_slot.hash = h.end ();
|
|
s_slot.prefix = false;
|
|
|
|
string_pair_map **slot
|
|
= path_name_pair_hash_table->find_slot (&s_slot, INSERT);
|
|
if (*slot == NULL)
|
|
{
|
|
size_t relative_prefix_len = strlen (relative_prefix);
|
|
size_t string_len = strlen (string);
|
|
size_t len = relative_prefix_len + string_len + 1;
|
|
|
|
char *saved_string = XOBNEWVEC (&file_name_obstack, char, len);
|
|
struct string_pair_map *new_slot
|
|
= string_pair_map_allocator->allocate ();
|
|
memcpy (saved_string, relative_prefix, relative_prefix_len);
|
|
memcpy (saved_string + relative_prefix_len, string, string_len + 1);
|
|
new_slot->str1 = relative_prefix;
|
|
new_slot->str2 = saved_string + relative_prefix_len;
|
|
new_slot->str3 = saved_string;
|
|
new_slot->hash = s_slot.hash;
|
|
new_slot->prefix = false;
|
|
*slot = new_slot;
|
|
return new_slot->str3;
|
|
}
|
|
else
|
|
{
|
|
string_pair_map *old_slot = *slot;
|
|
return old_slot->str3;
|
|
}
|
|
}
|
|
|
|
/* Lookup STRING in file_name_hash_table. If found, return the existing
|
|
string, otherwise insert STRING as the canonical version.
|
|
If STRING is a relative pathname and RELATIVE_PREFIX is non-NULL, use
|
|
canon_relative_file_name instead. */
|
|
|
|
static const char *
|
|
canon_file_name (const char *relative_prefix, const char *string)
|
|
{
|
|
if (relative_prefix && !IS_ABSOLUTE_PATH (string))
|
|
return canon_relative_file_name (relative_prefix, string);
|
|
|
|
string_slot **slot;
|
|
struct string_slot s_slot;
|
|
size_t len = strlen (string);
|
|
|
|
s_slot.s = string;
|
|
s_slot.len = len;
|
|
|
|
slot = file_name_hash_table->find_slot (&s_slot, INSERT);
|
|
if (*slot == NULL)
|
|
{
|
|
char *saved_string;
|
|
struct string_slot *new_slot;
|
|
|
|
saved_string = XOBNEWVEC (&file_name_obstack, char, len + 1);
|
|
new_slot = string_slot_allocator->allocate ();
|
|
memcpy (saved_string, string, len + 1);
|
|
new_slot->s = saved_string;
|
|
new_slot->len = len;
|
|
*slot = new_slot;
|
|
return saved_string;
|
|
}
|
|
else
|
|
{
|
|
struct string_slot *old_slot = *slot;
|
|
return old_slot->s;
|
|
}
|
|
}
|
|
|
|
/* Pointer to currently alive instance of lto_location_cache. */
|
|
|
|
lto_location_cache *lto_location_cache::current_cache;
|
|
|
|
/* Sort locations in source order. Start with file from last application. */
|
|
|
|
int
|
|
lto_location_cache::cmp_loc (const void *pa, const void *pb)
|
|
{
|
|
const cached_location *a = ((const cached_location *)pa);
|
|
const cached_location *b = ((const cached_location *)pb);
|
|
const char *current_file = current_cache->current_file;
|
|
int current_line = current_cache->current_line;
|
|
|
|
if (a->file == current_file && b->file != current_file)
|
|
return -1;
|
|
if (a->file != current_file && b->file == current_file)
|
|
return 1;
|
|
if (a->file == current_file && b->file == current_file)
|
|
{
|
|
if (a->line == current_line && b->line != current_line)
|
|
return -1;
|
|
if (a->line != current_line && b->line == current_line)
|
|
return 1;
|
|
}
|
|
if (a->file != b->file)
|
|
return strcmp (a->file, b->file);
|
|
if (a->sysp != b->sysp)
|
|
return a->sysp ? 1 : -1;
|
|
if (a->line != b->line)
|
|
return a->line - b->line;
|
|
if (a->col != b->col)
|
|
return a->col - b->col;
|
|
if (a->discr != b->discr)
|
|
return a->discr - b->discr;
|
|
if ((a->block == NULL_TREE) != (b->block == NULL_TREE))
|
|
return a->block ? 1 : -1;
|
|
if (a->block)
|
|
{
|
|
if (BLOCK_NUMBER (a->block) < BLOCK_NUMBER (b->block))
|
|
return -1;
|
|
if (BLOCK_NUMBER (a->block) > BLOCK_NUMBER (b->block))
|
|
return 1;
|
|
}
|
|
return 0;
|
|
}
|
|
|
|
/* Apply all changes in location cache. Add locations into linemap and patch
|
|
trees. */
|
|
|
|
bool
|
|
lto_location_cache::apply_location_cache ()
|
|
{
|
|
static const char *prev_file;
|
|
if (!loc_cache.length ())
|
|
return false;
|
|
if (loc_cache.length () > 1)
|
|
loc_cache.qsort (cmp_loc);
|
|
|
|
for (unsigned int i = 0; i < loc_cache.length (); i++)
|
|
{
|
|
struct cached_location loc = loc_cache[i];
|
|
|
|
if (current_file != loc.file)
|
|
linemap_add (line_table, prev_file ? LC_RENAME : LC_ENTER,
|
|
loc.sysp, loc.file, loc.line);
|
|
else if (current_line != loc.line)
|
|
{
|
|
int max = loc.col;
|
|
|
|
for (unsigned int j = i + 1; j < loc_cache.length (); j++)
|
|
if (loc.file != loc_cache[j].file
|
|
|| loc.line != loc_cache[j].line)
|
|
break;
|
|
else if (max < loc_cache[j].col)
|
|
max = loc_cache[j].col;
|
|
linemap_line_start (line_table, loc.line, max + 1);
|
|
}
|
|
gcc_assert (*loc.loc == BUILTINS_LOCATION + 1);
|
|
if (current_file != loc.file
|
|
|| current_line != loc.line
|
|
|| current_col != loc.col)
|
|
{
|
|
current_loc = linemap_position_for_column (line_table, loc.col);
|
|
if (loc.block)
|
|
current_loc = set_block (current_loc, loc.block);
|
|
if (loc.discr)
|
|
current_loc = location_with_discriminator (current_loc, loc.discr);
|
|
}
|
|
else if (current_block != loc.block)
|
|
{
|
|
if (loc.block)
|
|
current_loc = set_block (current_loc, loc.block);
|
|
else
|
|
current_loc = LOCATION_LOCUS (current_loc);
|
|
if (loc.discr)
|
|
current_loc = location_with_discriminator (current_loc, loc.discr);
|
|
}
|
|
else if (current_discr != loc.discr)
|
|
current_loc = location_with_discriminator (current_loc, loc.discr);
|
|
*loc.loc = current_loc;
|
|
current_line = loc.line;
|
|
prev_file = current_file = loc.file;
|
|
current_col = loc.col;
|
|
current_block = loc.block;
|
|
current_discr = loc.discr;
|
|
}
|
|
loc_cache.truncate (0);
|
|
accepted_length = 0;
|
|
return true;
|
|
}
|
|
|
|
/* Tree merging did not succeed; mark all changes in the cache as accepted. */
|
|
|
|
void
|
|
lto_location_cache::accept_location_cache ()
|
|
{
|
|
gcc_assert (current_cache == this);
|
|
accepted_length = loc_cache.length ();
|
|
}
|
|
|
|
/* Tree merging did succeed; throw away recent changes. */
|
|
|
|
void
|
|
lto_location_cache::revert_location_cache ()
|
|
{
|
|
loc_cache.truncate (accepted_length);
|
|
}
|
|
|
|
/* Read a location bitpack from bit pack BP and either update *LOC directly
|
|
or add it to the location cache. If IB is non-NULL, stream in a block
|
|
afterwards.
|
|
It is neccesary to call apply_location_cache to get *LOC updated. */
|
|
|
|
void
|
|
lto_location_cache::input_location_and_block (location_t *loc,
|
|
struct bitpack_d *bp,
|
|
class lto_input_block *ib,
|
|
class data_in *data_in)
|
|
{
|
|
static const char *stream_file;
|
|
static int stream_line;
|
|
static int stream_col;
|
|
static bool stream_sysp;
|
|
static tree stream_block;
|
|
static unsigned stream_discr;
|
|
static const char *stream_relative_path_prefix;
|
|
|
|
gcc_assert (current_cache == this);
|
|
|
|
*loc = bp_unpack_int_in_range (bp, "location", 0,
|
|
RESERVED_LOCATION_COUNT + 1);
|
|
|
|
if (*loc < RESERVED_LOCATION_COUNT)
|
|
{
|
|
if (ib)
|
|
{
|
|
bool block_change = bp_unpack_value (bp, 1);
|
|
if (block_change)
|
|
stream_block = stream_read_tree (ib, data_in);
|
|
if (stream_block)
|
|
*loc = set_block (*loc, stream_block);
|
|
}
|
|
return;
|
|
}
|
|
|
|
bool file_change = (*loc == RESERVED_LOCATION_COUNT + 1);
|
|
/* Keep value RESERVED_LOCATION_COUNT in *loc as linemap lookups will
|
|
ICE on it. */
|
|
*loc = RESERVED_LOCATION_COUNT;
|
|
bool line_change = bp_unpack_value (bp, 1);
|
|
bool column_change = bp_unpack_value (bp, 1);
|
|
bool discr_change = bp_unpack_value (bp, 1);
|
|
|
|
if (file_change)
|
|
{
|
|
bool pwd_change = bp_unpack_value (bp, 1);
|
|
if (pwd_change)
|
|
{
|
|
const char *pwd = bp_unpack_string (data_in, bp);
|
|
const char *src_pwd = get_src_pwd ();
|
|
if (strcmp (pwd, src_pwd) == 0)
|
|
stream_relative_path_prefix = NULL;
|
|
else
|
|
stream_relative_path_prefix
|
|
= canon_relative_path_prefix (pwd, src_pwd);
|
|
}
|
|
stream_file = canon_file_name (stream_relative_path_prefix,
|
|
bp_unpack_string (data_in, bp));
|
|
stream_sysp = bp_unpack_value (bp, 1);
|
|
}
|
|
|
|
if (line_change)
|
|
stream_line = bp_unpack_var_len_unsigned (bp);
|
|
|
|
if (column_change)
|
|
stream_col = bp_unpack_var_len_unsigned (bp);
|
|
|
|
if (discr_change)
|
|
stream_discr = bp_unpack_var_len_unsigned (bp);
|
|
|
|
tree block = NULL_TREE;
|
|
if (ib)
|
|
{
|
|
bool block_change = bp_unpack_value (bp, 1);
|
|
if (block_change)
|
|
stream_block = stream_read_tree (ib, data_in);
|
|
block = stream_block;
|
|
}
|
|
|
|
/* This optimization saves location cache operations during gimple
|
|
streaming. */
|
|
|
|
if (current_file == stream_file
|
|
&& current_line == stream_line
|
|
&& current_col == stream_col
|
|
&& current_sysp == stream_sysp
|
|
&& current_discr == stream_discr)
|
|
{
|
|
if (current_block == block)
|
|
*loc = current_loc;
|
|
else if (block)
|
|
*loc = set_block (current_loc, block);
|
|
else
|
|
*loc = LOCATION_LOCUS (current_loc);
|
|
return;
|
|
}
|
|
|
|
struct cached_location entry
|
|
= {stream_file, loc, stream_line, stream_col, stream_sysp, block, stream_discr};
|
|
loc_cache.safe_push (entry);
|
|
}
|
|
|
|
/* Read a location bitpack from bit pack BP and either update *LOC directly
|
|
or add it to the location cache.
|
|
It is neccesary to call apply_location_cache to get *LOC updated. */
|
|
|
|
void
|
|
lto_location_cache::input_location (location_t *loc, struct bitpack_d *bp,
|
|
class data_in *data_in)
|
|
{
|
|
return input_location_and_block (loc, bp, NULL, data_in);
|
|
}
|
|
|
|
/* Read a location bitpack from input block IB and either update *LOC directly
|
|
or add it to the location cache.
|
|
It is neccesary to call apply_location_cache to get *LOC updated. */
|
|
|
|
void
|
|
lto_input_location (location_t *loc, struct bitpack_d *bp,
|
|
class data_in *data_in)
|
|
{
|
|
data_in->location_cache.input_location (loc, bp, data_in);
|
|
}
|
|
|
|
/* Read a reference to a tree node from DATA_IN using input block IB.
|
|
TAG is the expected node that should be found in IB, if TAG belongs
|
|
to one of the indexable trees, expect to read a reference index to
|
|
be looked up in one of the symbol tables, otherwise read the pysical
|
|
representation of the tree using stream_read_tree. FN is the
|
|
function scope for the read tree. */
|
|
|
|
tree
|
|
lto_input_tree_ref (class lto_input_block *ib, class data_in *data_in,
|
|
struct function *fn, enum LTO_tags tag)
|
|
{
|
|
unsigned HOST_WIDE_INT ix_u;
|
|
tree result = NULL_TREE;
|
|
|
|
if (tag == LTO_ssa_name_ref)
|
|
{
|
|
ix_u = streamer_read_uhwi (ib);
|
|
result = (*SSANAMES (fn))[ix_u];
|
|
}
|
|
else
|
|
{
|
|
gcc_checking_assert (tag == LTO_global_stream_ref);
|
|
ix_u = streamer_read_uhwi (ib);
|
|
result = (*data_in->file_data->current_decl_state
|
|
->streams[LTO_DECL_STREAM])[ix_u];
|
|
}
|
|
|
|
gcc_assert (result);
|
|
|
|
return result;
|
|
}
|
|
|
|
/* Read VAR_DECL reference to DATA from IB. */
|
|
|
|
tree
|
|
lto_input_var_decl_ref (lto_input_block *ib, lto_file_decl_data *file_data)
|
|
{
|
|
unsigned int ix_u = streamer_read_uhwi (ib);
|
|
tree result = (*file_data->current_decl_state
|
|
->streams[LTO_DECL_STREAM])[ix_u];
|
|
gcc_assert (VAR_P (result));
|
|
return result;
|
|
}
|
|
|
|
/* Read VAR_DECL reference to DATA from IB. */
|
|
|
|
tree
|
|
lto_input_fn_decl_ref (lto_input_block *ib, lto_file_decl_data *file_data)
|
|
{
|
|
unsigned int ix_u = streamer_read_uhwi (ib);
|
|
tree result = (*file_data->current_decl_state
|
|
->streams[LTO_DECL_STREAM])[ix_u];
|
|
gcc_assert (TREE_CODE (result) == FUNCTION_DECL);
|
|
return result;
|
|
}
|
|
|
|
|
|
/* Read and return a double-linked list of catch handlers from input
|
|
block IB, using descriptors in DATA_IN. */
|
|
|
|
static struct eh_catch_d *
|
|
lto_input_eh_catch_list (class lto_input_block *ib, class data_in *data_in,
|
|
eh_catch *last_p)
|
|
{
|
|
eh_catch first;
|
|
enum LTO_tags tag;
|
|
|
|
*last_p = first = NULL;
|
|
tag = streamer_read_record_start (ib);
|
|
while (tag)
|
|
{
|
|
tree list;
|
|
eh_catch n;
|
|
|
|
lto_tag_check_range (tag, LTO_eh_catch, LTO_eh_catch);
|
|
|
|
/* Read the catch node. */
|
|
n = ggc_cleared_alloc<eh_catch_d> ();
|
|
n->type_list = stream_read_tree (ib, data_in);
|
|
n->filter_list = stream_read_tree (ib, data_in);
|
|
n->label = stream_read_tree (ib, data_in);
|
|
|
|
/* Register all the types in N->FILTER_LIST. */
|
|
for (list = n->filter_list; list; list = TREE_CHAIN (list))
|
|
add_type_for_runtime (TREE_VALUE (list));
|
|
|
|
/* Chain N to the end of the list. */
|
|
if (*last_p)
|
|
(*last_p)->next_catch = n;
|
|
n->prev_catch = *last_p;
|
|
*last_p = n;
|
|
|
|
/* Set the head of the list the first time through the loop. */
|
|
if (first == NULL)
|
|
first = n;
|
|
|
|
tag = streamer_read_record_start (ib);
|
|
}
|
|
|
|
return first;
|
|
}
|
|
|
|
|
|
/* Read and return EH region IX from input block IB, using descriptors
|
|
in DATA_IN. */
|
|
|
|
static eh_region
|
|
input_eh_region (class lto_input_block *ib, class data_in *data_in, int ix)
|
|
{
|
|
enum LTO_tags tag;
|
|
eh_region r;
|
|
|
|
/* Read the region header. */
|
|
tag = streamer_read_record_start (ib);
|
|
if (tag == LTO_null)
|
|
return NULL;
|
|
|
|
r = ggc_cleared_alloc<eh_region_d> ();
|
|
r->index = streamer_read_hwi (ib);
|
|
|
|
gcc_assert (r->index == ix);
|
|
|
|
/* Read all the region pointers as region numbers. We'll fix up
|
|
the pointers once the whole array has been read. */
|
|
r->outer = (eh_region) (intptr_t) streamer_read_hwi (ib);
|
|
r->inner = (eh_region) (intptr_t) streamer_read_hwi (ib);
|
|
r->next_peer = (eh_region) (intptr_t) streamer_read_hwi (ib);
|
|
|
|
switch (tag)
|
|
{
|
|
case LTO_ert_cleanup:
|
|
r->type = ERT_CLEANUP;
|
|
break;
|
|
|
|
case LTO_ert_try:
|
|
{
|
|
struct eh_catch_d *last_catch;
|
|
r->type = ERT_TRY;
|
|
r->u.eh_try.first_catch = lto_input_eh_catch_list (ib, data_in,
|
|
&last_catch);
|
|
r->u.eh_try.last_catch = last_catch;
|
|
break;
|
|
}
|
|
|
|
case LTO_ert_allowed_exceptions:
|
|
{
|
|
tree l;
|
|
|
|
r->type = ERT_ALLOWED_EXCEPTIONS;
|
|
r->u.allowed.type_list = stream_read_tree (ib, data_in);
|
|
r->u.allowed.label = stream_read_tree (ib, data_in);
|
|
r->u.allowed.filter = streamer_read_uhwi (ib);
|
|
|
|
for (l = r->u.allowed.type_list; l ; l = TREE_CHAIN (l))
|
|
add_type_for_runtime (TREE_VALUE (l));
|
|
}
|
|
break;
|
|
|
|
case LTO_ert_must_not_throw:
|
|
{
|
|
r->type = ERT_MUST_NOT_THROW;
|
|
r->u.must_not_throw.failure_decl = stream_read_tree (ib, data_in);
|
|
bitpack_d bp = streamer_read_bitpack (ib);
|
|
stream_input_location (&r->u.must_not_throw.failure_loc,
|
|
&bp, data_in);
|
|
}
|
|
break;
|
|
|
|
default:
|
|
gcc_unreachable ();
|
|
}
|
|
|
|
r->landing_pads = (eh_landing_pad) (intptr_t) streamer_read_hwi (ib);
|
|
|
|
return r;
|
|
}
|
|
|
|
|
|
/* Read and return EH landing pad IX from input block IB, using descriptors
|
|
in DATA_IN. */
|
|
|
|
static eh_landing_pad
|
|
input_eh_lp (class lto_input_block *ib, class data_in *data_in, int ix)
|
|
{
|
|
enum LTO_tags tag;
|
|
eh_landing_pad lp;
|
|
|
|
/* Read the landing pad header. */
|
|
tag = streamer_read_record_start (ib);
|
|
if (tag == LTO_null)
|
|
return NULL;
|
|
|
|
lto_tag_check_range (tag, LTO_eh_landing_pad, LTO_eh_landing_pad);
|
|
|
|
lp = ggc_cleared_alloc<eh_landing_pad_d> ();
|
|
lp->index = streamer_read_hwi (ib);
|
|
gcc_assert (lp->index == ix);
|
|
lp->next_lp = (eh_landing_pad) (intptr_t) streamer_read_hwi (ib);
|
|
lp->region = (eh_region) (intptr_t) streamer_read_hwi (ib);
|
|
lp->post_landing_pad = stream_read_tree (ib, data_in);
|
|
|
|
return lp;
|
|
}
|
|
|
|
|
|
/* After reading the EH regions, pointers to peer and children regions
|
|
are region numbers. This converts all these region numbers into
|
|
real pointers into the rematerialized regions for FN. ROOT_REGION
|
|
is the region number for the root EH region in FN. */
|
|
|
|
static void
|
|
fixup_eh_region_pointers (struct function *fn, HOST_WIDE_INT root_region)
|
|
{
|
|
unsigned i;
|
|
vec<eh_region, va_gc> *eh_array = fn->eh->region_array;
|
|
vec<eh_landing_pad, va_gc> *lp_array = fn->eh->lp_array;
|
|
eh_region r;
|
|
eh_landing_pad lp;
|
|
|
|
gcc_assert (eh_array && lp_array);
|
|
|
|
gcc_assert (root_region >= 0);
|
|
fn->eh->region_tree = (*eh_array)[root_region];
|
|
|
|
#define FIXUP_EH_REGION(r) (r) = (*eh_array)[(HOST_WIDE_INT) (intptr_t) (r)]
|
|
#define FIXUP_EH_LP(p) (p) = (*lp_array)[(HOST_WIDE_INT) (intptr_t) (p)]
|
|
|
|
/* Convert all the index numbers stored in pointer fields into
|
|
pointers to the corresponding slots in the EH region array. */
|
|
FOR_EACH_VEC_ELT (*eh_array, i, r)
|
|
{
|
|
/* The array may contain NULL regions. */
|
|
if (r == NULL)
|
|
continue;
|
|
|
|
gcc_assert (i == (unsigned) r->index);
|
|
FIXUP_EH_REGION (r->outer);
|
|
FIXUP_EH_REGION (r->inner);
|
|
FIXUP_EH_REGION (r->next_peer);
|
|
FIXUP_EH_LP (r->landing_pads);
|
|
}
|
|
|
|
/* Convert all the index numbers stored in pointer fields into
|
|
pointers to the corresponding slots in the EH landing pad array. */
|
|
FOR_EACH_VEC_ELT (*lp_array, i, lp)
|
|
{
|
|
/* The array may contain NULL landing pads. */
|
|
if (lp == NULL)
|
|
continue;
|
|
|
|
gcc_assert (i == (unsigned) lp->index);
|
|
FIXUP_EH_LP (lp->next_lp);
|
|
FIXUP_EH_REGION (lp->region);
|
|
}
|
|
|
|
#undef FIXUP_EH_REGION
|
|
#undef FIXUP_EH_LP
|
|
}
|
|
|
|
|
|
/* Initialize EH support. */
|
|
|
|
void
|
|
lto_init_eh (void)
|
|
{
|
|
static bool eh_initialized_p = false;
|
|
|
|
if (eh_initialized_p)
|
|
return;
|
|
|
|
/* Contrary to most other FEs, we only initialize EH support when at
|
|
least one of the files in the set contains exception regions in
|
|
it. Since this happens much later than the call to init_eh in
|
|
lang_dependent_init, we have to set flag_exceptions and call
|
|
init_eh again to initialize the EH tables. */
|
|
flag_exceptions = 1;
|
|
init_eh ();
|
|
|
|
eh_initialized_p = true;
|
|
}
|
|
|
|
|
|
/* Read the exception table for FN from IB using the data descriptors
|
|
in DATA_IN. */
|
|
|
|
static void
|
|
input_eh_regions (class lto_input_block *ib, class data_in *data_in,
|
|
struct function *fn)
|
|
{
|
|
HOST_WIDE_INT i, root_region, len;
|
|
enum LTO_tags tag;
|
|
|
|
tag = streamer_read_record_start (ib);
|
|
if (tag == LTO_null)
|
|
return;
|
|
|
|
lto_tag_check_range (tag, LTO_eh_table, LTO_eh_table);
|
|
|
|
gcc_assert (fn->eh);
|
|
|
|
root_region = streamer_read_hwi (ib);
|
|
gcc_assert (root_region == (int) root_region);
|
|
|
|
/* Read the EH region array. */
|
|
len = streamer_read_hwi (ib);
|
|
gcc_assert (len == (int) len);
|
|
if (len > 0)
|
|
{
|
|
vec_safe_grow_cleared (fn->eh->region_array, len, true);
|
|
for (i = 0; i < len; i++)
|
|
{
|
|
eh_region r = input_eh_region (ib, data_in, i);
|
|
(*fn->eh->region_array)[i] = r;
|
|
}
|
|
}
|
|
|
|
/* Read the landing pads. */
|
|
len = streamer_read_hwi (ib);
|
|
gcc_assert (len == (int) len);
|
|
if (len > 0)
|
|
{
|
|
vec_safe_grow_cleared (fn->eh->lp_array, len, true);
|
|
for (i = 0; i < len; i++)
|
|
{
|
|
eh_landing_pad lp = input_eh_lp (ib, data_in, i);
|
|
(*fn->eh->lp_array)[i] = lp;
|
|
}
|
|
}
|
|
|
|
/* Read the runtime type data. */
|
|
len = streamer_read_hwi (ib);
|
|
gcc_assert (len == (int) len);
|
|
if (len > 0)
|
|
{
|
|
vec_safe_grow_cleared (fn->eh->ttype_data, len, true);
|
|
for (i = 0; i < len; i++)
|
|
{
|
|
tree ttype = stream_read_tree (ib, data_in);
|
|
(*fn->eh->ttype_data)[i] = ttype;
|
|
}
|
|
}
|
|
|
|
/* Read the table of action chains. */
|
|
len = streamer_read_hwi (ib);
|
|
gcc_assert (len == (int) len);
|
|
if (len > 0)
|
|
{
|
|
if (targetm.arm_eabi_unwinder)
|
|
{
|
|
vec_safe_grow_cleared (fn->eh->ehspec_data.arm_eabi, len, true);
|
|
for (i = 0; i < len; i++)
|
|
{
|
|
tree t = stream_read_tree (ib, data_in);
|
|
(*fn->eh->ehspec_data.arm_eabi)[i] = t;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
vec_safe_grow_cleared (fn->eh->ehspec_data.other, len, true);
|
|
for (i = 0; i < len; i++)
|
|
{
|
|
uchar c = streamer_read_uchar (ib);
|
|
(*fn->eh->ehspec_data.other)[i] = c;
|
|
}
|
|
}
|
|
}
|
|
|
|
/* Reconstruct the EH region tree by fixing up the peer/children
|
|
pointers. */
|
|
fixup_eh_region_pointers (fn, root_region);
|
|
|
|
tag = streamer_read_record_start (ib);
|
|
lto_tag_check_range (tag, LTO_null, LTO_null);
|
|
}
|
|
|
|
|
|
/* Make a new basic block with index INDEX in function FN. */
|
|
|
|
static basic_block
|
|
make_new_block (struct function *fn, unsigned int index)
|
|
{
|
|
basic_block bb = alloc_block ();
|
|
bb->index = index;
|
|
SET_BASIC_BLOCK_FOR_FN (fn, index, bb);
|
|
n_basic_blocks_for_fn (fn)++;
|
|
return bb;
|
|
}
|
|
|
|
|
|
/* Read the CFG for function FN from input block IB. */
|
|
|
|
static void
|
|
input_cfg (class lto_input_block *ib, class data_in *data_in,
|
|
struct function *fn)
|
|
{
|
|
unsigned int bb_count;
|
|
basic_block p_bb;
|
|
unsigned int i;
|
|
int index;
|
|
bool full_profile = false;
|
|
|
|
init_empty_tree_cfg_for_function (fn);
|
|
|
|
profile_status_for_fn (fn) = streamer_read_enum (ib, profile_status_d,
|
|
PROFILE_LAST);
|
|
|
|
bb_count = streamer_read_uhwi (ib);
|
|
|
|
last_basic_block_for_fn (fn) = bb_count;
|
|
if (bb_count > basic_block_info_for_fn (fn)->length ())
|
|
vec_safe_grow_cleared (basic_block_info_for_fn (fn), bb_count, true);
|
|
|
|
if (bb_count > label_to_block_map_for_fn (fn)->length ())
|
|
vec_safe_grow_cleared (label_to_block_map_for_fn (fn), bb_count, true);
|
|
|
|
index = streamer_read_hwi (ib);
|
|
while (index != -1)
|
|
{
|
|
basic_block bb = BASIC_BLOCK_FOR_FN (fn, index);
|
|
unsigned int edge_count;
|
|
|
|
if (bb == NULL)
|
|
bb = make_new_block (fn, index);
|
|
|
|
edge_count = streamer_read_uhwi (ib);
|
|
|
|
/* Connect up the CFG. */
|
|
for (i = 0; i < edge_count; i++)
|
|
{
|
|
bitpack_d bp = streamer_read_bitpack (ib);
|
|
unsigned int dest_index = bp_unpack_var_len_unsigned (&bp);
|
|
unsigned int edge_flags = bp_unpack_var_len_unsigned (&bp);
|
|
basic_block dest = BASIC_BLOCK_FOR_FN (fn, dest_index);
|
|
|
|
if (dest == NULL)
|
|
dest = make_new_block (fn, dest_index);
|
|
|
|
edge e = make_edge (bb, dest, edge_flags);
|
|
data_in->location_cache.input_location_and_block (&e->goto_locus,
|
|
&bp, ib, data_in);
|
|
e->probability = profile_probability::stream_in (ib);
|
|
if (!e->probability.initialized_p ())
|
|
full_profile = false;
|
|
|
|
}
|
|
|
|
index = streamer_read_hwi (ib);
|
|
}
|
|
|
|
p_bb = ENTRY_BLOCK_PTR_FOR_FN (fn);
|
|
index = streamer_read_hwi (ib);
|
|
while (index != -1)
|
|
{
|
|
basic_block bb = BASIC_BLOCK_FOR_FN (fn, index);
|
|
bb->prev_bb = p_bb;
|
|
p_bb->next_bb = bb;
|
|
p_bb = bb;
|
|
index = streamer_read_hwi (ib);
|
|
}
|
|
|
|
/* ??? The cfgloop interface is tied to cfun. */
|
|
gcc_assert (cfun == fn);
|
|
|
|
/* Input the loop tree. */
|
|
unsigned n_loops = streamer_read_uhwi (ib);
|
|
if (n_loops == 0)
|
|
return;
|
|
|
|
struct loops *loops = ggc_cleared_alloc<struct loops> ();
|
|
init_loops_structure (fn, loops, n_loops);
|
|
set_loops_for_fn (fn, loops);
|
|
|
|
/* Input each loop and associate it with its loop header so
|
|
flow_loops_find can rebuild the loop tree. */
|
|
for (unsigned i = 1; i < n_loops; ++i)
|
|
{
|
|
int header_index = streamer_read_hwi (ib);
|
|
if (header_index == -1)
|
|
{
|
|
loops->larray->quick_push (NULL);
|
|
continue;
|
|
}
|
|
|
|
class loop *loop = alloc_loop ();
|
|
loop->header = BASIC_BLOCK_FOR_FN (fn, header_index);
|
|
loop->header->loop_father = loop;
|
|
|
|
/* Read everything copy_loop_info copies. */
|
|
loop->estimate_state = streamer_read_enum (ib, loop_estimation, EST_LAST);
|
|
loop->any_upper_bound = streamer_read_hwi (ib);
|
|
if (loop->any_upper_bound)
|
|
loop->nb_iterations_upper_bound
|
|
= bound_wide_int::from (streamer_read_widest_int (ib), SIGNED);
|
|
loop->any_likely_upper_bound = streamer_read_hwi (ib);
|
|
if (loop->any_likely_upper_bound)
|
|
loop->nb_iterations_likely_upper_bound
|
|
= bound_wide_int::from (streamer_read_widest_int (ib), SIGNED);
|
|
loop->any_estimate = streamer_read_hwi (ib);
|
|
if (loop->any_estimate)
|
|
loop->nb_iterations_estimate
|
|
= bound_wide_int::from (streamer_read_widest_int (ib), SIGNED);
|
|
|
|
/* Read OMP SIMD related info. */
|
|
loop->safelen = streamer_read_hwi (ib);
|
|
loop->unroll = streamer_read_hwi (ib);
|
|
loop->owned_clique = streamer_read_hwi (ib);
|
|
loop->dont_vectorize = streamer_read_hwi (ib);
|
|
loop->force_vectorize = streamer_read_hwi (ib);
|
|
loop->finite_p = streamer_read_hwi (ib);
|
|
loop->simduid = stream_read_tree (ib, data_in);
|
|
|
|
place_new_loop (fn, loop);
|
|
|
|
/* flow_loops_find doesn't like loops not in the tree, hook them
|
|
all as siblings of the tree root temporarily. */
|
|
flow_loop_tree_node_add (loops->tree_root, loop);
|
|
}
|
|
|
|
/* Rebuild the loop tree. */
|
|
flow_loops_find (loops);
|
|
cfun->cfg->full_profile = full_profile;
|
|
}
|
|
|
|
|
|
/* Read the SSA names array for function FN from DATA_IN using input
|
|
block IB. */
|
|
|
|
static void
|
|
input_ssa_names (class lto_input_block *ib, class data_in *data_in,
|
|
struct function *fn)
|
|
{
|
|
unsigned int i, size;
|
|
|
|
size = streamer_read_uhwi (ib);
|
|
init_tree_ssa (fn, size);
|
|
cfun->gimple_df->in_ssa_p = true;
|
|
init_ssa_operands (fn);
|
|
|
|
i = streamer_read_uhwi (ib);
|
|
while (i)
|
|
{
|
|
tree ssa_name, name;
|
|
bool is_default_def;
|
|
|
|
/* Skip over the elements that had been freed. */
|
|
while (SSANAMES (fn)->length () < i)
|
|
SSANAMES (fn)->quick_push (NULL_TREE);
|
|
|
|
is_default_def = (streamer_read_uchar (ib) != 0);
|
|
name = stream_read_tree (ib, data_in);
|
|
ssa_name = make_ssa_name_fn (fn, name, NULL);
|
|
|
|
if (is_default_def)
|
|
{
|
|
set_ssa_default_def (cfun, SSA_NAME_VAR (ssa_name), ssa_name);
|
|
SSA_NAME_DEF_STMT (ssa_name) = gimple_build_nop ();
|
|
}
|
|
|
|
i = streamer_read_uhwi (ib);
|
|
}
|
|
}
|
|
|
|
|
|
/* Go through all NODE edges and fixup call_stmt pointers
|
|
so they point to STMTS. */
|
|
|
|
static void
|
|
fixup_call_stmt_edges_1 (struct cgraph_node *node, gimple **stmts,
|
|
struct function *fn)
|
|
{
|
|
#define STMT_UID_NOT_IN_RANGE(uid) \
|
|
(gimple_stmt_max_uid (fn) < uid || uid == 0)
|
|
|
|
struct cgraph_edge *cedge;
|
|
struct ipa_ref *ref = NULL;
|
|
unsigned int i;
|
|
|
|
for (cedge = node->callees; cedge; cedge = cedge->next_callee)
|
|
{
|
|
if (STMT_UID_NOT_IN_RANGE (cedge->lto_stmt_uid))
|
|
fatal_error (input_location,
|
|
"Cgraph edge statement index out of range");
|
|
cedge->call_stmt = as_a <gcall *> (stmts[cedge->lto_stmt_uid - 1]);
|
|
cedge->lto_stmt_uid = 0;
|
|
if (!cedge->call_stmt)
|
|
fatal_error (input_location,
|
|
"Cgraph edge statement index not found");
|
|
}
|
|
for (cedge = node->indirect_calls; cedge; cedge = cedge->next_callee)
|
|
{
|
|
if (STMT_UID_NOT_IN_RANGE (cedge->lto_stmt_uid))
|
|
fatal_error (input_location,
|
|
"Cgraph edge statement index out of range");
|
|
cedge->call_stmt = as_a <gcall *> (stmts[cedge->lto_stmt_uid - 1]);
|
|
cedge->lto_stmt_uid = 0;
|
|
if (!cedge->call_stmt)
|
|
fatal_error (input_location, "Cgraph edge statement index not found");
|
|
}
|
|
for (i = 0; node->iterate_reference (i, ref); i++)
|
|
if (ref->lto_stmt_uid)
|
|
{
|
|
if (STMT_UID_NOT_IN_RANGE (ref->lto_stmt_uid))
|
|
fatal_error (input_location,
|
|
"Reference statement index out of range");
|
|
ref->stmt = stmts[ref->lto_stmt_uid - 1];
|
|
ref->lto_stmt_uid = 0;
|
|
if (!ref->stmt)
|
|
fatal_error (input_location, "Reference statement index not found");
|
|
}
|
|
}
|
|
|
|
|
|
/* Fixup call_stmt pointers in NODE and all clones. */
|
|
|
|
static void
|
|
fixup_call_stmt_edges (struct cgraph_node *orig, gimple **stmts)
|
|
{
|
|
struct cgraph_node *node;
|
|
struct function *fn;
|
|
|
|
while (orig->clone_of)
|
|
orig = orig->clone_of;
|
|
fn = DECL_STRUCT_FUNCTION (orig->decl);
|
|
|
|
if (!orig->thunk)
|
|
fixup_call_stmt_edges_1 (orig, stmts, fn);
|
|
if (orig->clones)
|
|
for (node = orig->clones; node != orig;)
|
|
{
|
|
if (!node->thunk)
|
|
fixup_call_stmt_edges_1 (node, stmts, fn);
|
|
if (node->clones)
|
|
node = node->clones;
|
|
else if (node->next_sibling_clone)
|
|
node = node->next_sibling_clone;
|
|
else
|
|
{
|
|
while (node != orig && !node->next_sibling_clone)
|
|
node = node->clone_of;
|
|
if (node != orig)
|
|
node = node->next_sibling_clone;
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
/* Input the base body of struct function FN from DATA_IN
|
|
using input block IB. */
|
|
|
|
static void
|
|
input_struct_function_base (struct function *fn, class data_in *data_in,
|
|
class lto_input_block *ib)
|
|
{
|
|
struct bitpack_d bp;
|
|
int len;
|
|
|
|
/* Read the static chain and non-local goto save area. */
|
|
fn->static_chain_decl = stream_read_tree (ib, data_in);
|
|
fn->nonlocal_goto_save_area = stream_read_tree (ib, data_in);
|
|
|
|
/* Read all the local symbols. */
|
|
len = streamer_read_hwi (ib);
|
|
if (len > 0)
|
|
{
|
|
int i;
|
|
vec_safe_grow_cleared (fn->local_decls, len, true);
|
|
for (i = 0; i < len; i++)
|
|
{
|
|
tree t = stream_read_tree (ib, data_in);
|
|
(*fn->local_decls)[i] = t;
|
|
}
|
|
}
|
|
|
|
/* Input the current IL state of the function. */
|
|
fn->curr_properties = streamer_read_uhwi (ib);
|
|
|
|
/* Read all the attributes for FN. */
|
|
bp = streamer_read_bitpack (ib);
|
|
fn->is_thunk = bp_unpack_value (&bp, 1);
|
|
fn->has_local_explicit_reg_vars = bp_unpack_value (&bp, 1);
|
|
fn->returns_pcc_struct = bp_unpack_value (&bp, 1);
|
|
fn->returns_struct = bp_unpack_value (&bp, 1);
|
|
fn->can_throw_non_call_exceptions = bp_unpack_value (&bp, 1);
|
|
fn->can_delete_dead_exceptions = bp_unpack_value (&bp, 1);
|
|
fn->always_inline_functions_inlined = bp_unpack_value (&bp, 1);
|
|
fn->after_inlining = bp_unpack_value (&bp, 1);
|
|
fn->stdarg = bp_unpack_value (&bp, 1);
|
|
fn->has_nonlocal_label = bp_unpack_value (&bp, 1);
|
|
fn->has_forced_label_in_static = bp_unpack_value (&bp, 1);
|
|
fn->calls_alloca = bp_unpack_value (&bp, 1);
|
|
fn->calls_setjmp = bp_unpack_value (&bp, 1);
|
|
fn->calls_eh_return = bp_unpack_value (&bp, 1);
|
|
fn->has_force_vectorize_loops = bp_unpack_value (&bp, 1);
|
|
fn->has_simduid_loops = bp_unpack_value (&bp, 1);
|
|
fn->has_musttail = bp_unpack_value (&bp, 1);
|
|
fn->has_unroll = bp_unpack_value (&bp, 1);
|
|
fn->assume_function = bp_unpack_value (&bp, 1);
|
|
fn->va_list_fpr_size = bp_unpack_value (&bp, 8);
|
|
fn->va_list_gpr_size = bp_unpack_value (&bp, 8);
|
|
fn->last_clique = bp_unpack_value (&bp, sizeof (short) * 8);
|
|
|
|
/* Input the function start and end loci. */
|
|
stream_input_location (&fn->function_start_locus, &bp, data_in);
|
|
stream_input_location (&fn->function_end_locus, &bp, data_in);
|
|
|
|
/* Restore the instance discriminators if present. */
|
|
int instance_number = bp_unpack_value (&bp, 1);
|
|
if (instance_number)
|
|
{
|
|
instance_number = bp_unpack_value (&bp, sizeof (int) * CHAR_BIT);
|
|
maybe_create_decl_to_instance_map ()->put (fn->decl, instance_number);
|
|
}
|
|
}
|
|
|
|
/* Read a chain of tree nodes from input block IB. DATA_IN contains
|
|
tables and descriptors for the file being read. */
|
|
|
|
static tree
|
|
streamer_read_chain (class lto_input_block *ib, class data_in *data_in)
|
|
{
|
|
tree first, prev, curr;
|
|
|
|
/* The chain is written as NULL terminated list of trees. */
|
|
first = prev = NULL_TREE;
|
|
do
|
|
{
|
|
curr = stream_read_tree (ib, data_in);
|
|
if (prev)
|
|
TREE_CHAIN (prev) = curr;
|
|
else
|
|
first = curr;
|
|
|
|
prev = curr;
|
|
}
|
|
while (curr);
|
|
|
|
return first;
|
|
}
|
|
|
|
/* Read the body of function FN_DECL from DATA_IN using input block IB. */
|
|
|
|
static void
|
|
input_function (tree fn_decl, class data_in *data_in,
|
|
class lto_input_block *ib, class lto_input_block *ib_cfg,
|
|
cgraph_node *node)
|
|
{
|
|
struct function *fn;
|
|
enum LTO_tags tag;
|
|
gimple **stmts;
|
|
basic_block bb;
|
|
|
|
tag = streamer_read_record_start (ib);
|
|
lto_tag_check (tag, LTO_function);
|
|
|
|
/* Read decls for parameters and args. */
|
|
DECL_RESULT (fn_decl) = stream_read_tree (ib, data_in);
|
|
DECL_ARGUMENTS (fn_decl) = streamer_read_chain (ib, data_in);
|
|
|
|
/* Read debug args if available. */
|
|
unsigned n_debugargs = streamer_read_uhwi (ib);
|
|
if (n_debugargs)
|
|
{
|
|
vec<tree, va_gc> **debugargs = decl_debug_args_insert (fn_decl);
|
|
vec_safe_grow (*debugargs, n_debugargs, true);
|
|
for (unsigned i = 0; i < n_debugargs; ++i)
|
|
(**debugargs)[i] = stream_read_tree (ib, data_in);
|
|
}
|
|
|
|
/* Read the tree of lexical scopes for the function. */
|
|
DECL_INITIAL (fn_decl) = stream_read_tree (ib, data_in);
|
|
unsigned block_leaf_count = streamer_read_uhwi (ib);
|
|
while (block_leaf_count--)
|
|
stream_read_tree (ib, data_in);
|
|
|
|
if (!streamer_read_uhwi (ib))
|
|
return;
|
|
|
|
push_struct_function (fn_decl);
|
|
fn = DECL_STRUCT_FUNCTION (fn_decl);
|
|
|
|
gimple_register_cfg_hooks ();
|
|
|
|
input_struct_function_base (fn, data_in, ib);
|
|
input_cfg (ib_cfg, data_in, fn);
|
|
|
|
/* Read all the SSA names. */
|
|
input_ssa_names (ib, data_in, fn);
|
|
|
|
/* Read the exception handling regions in the function. */
|
|
input_eh_regions (ib, data_in, fn);
|
|
|
|
gcc_assert (DECL_INITIAL (fn_decl));
|
|
DECL_SAVED_TREE (fn_decl) = NULL_TREE;
|
|
|
|
/* Read all the basic blocks. */
|
|
tag = streamer_read_record_start (ib);
|
|
while (tag)
|
|
{
|
|
input_bb (ib, tag, data_in, fn,
|
|
node->count_materialization_scale);
|
|
tag = streamer_read_record_start (ib);
|
|
}
|
|
|
|
/* Finalize gimple_location/gimple_block of stmts and phis. */
|
|
data_in->location_cache.apply_location_cache ();
|
|
|
|
/* Fix up the call statements that are mentioned in the callgraph
|
|
edges. */
|
|
set_gimple_stmt_max_uid (cfun, 0);
|
|
FOR_ALL_BB_FN (bb, cfun)
|
|
{
|
|
gimple_stmt_iterator gsi;
|
|
for (gsi = gsi_start_phis (bb); !gsi_end_p (gsi); gsi_next (&gsi))
|
|
{
|
|
gimple *stmt = gsi_stmt (gsi);
|
|
gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
|
|
}
|
|
for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
|
|
{
|
|
gimple *stmt = gsi_stmt (gsi);
|
|
gimple_set_uid (stmt, inc_gimple_stmt_max_uid (cfun));
|
|
}
|
|
}
|
|
stmts = (gimple **) xcalloc (gimple_stmt_max_uid (fn), sizeof (gimple *));
|
|
FOR_ALL_BB_FN (bb, cfun)
|
|
{
|
|
gimple_stmt_iterator bsi = gsi_start_phis (bb);
|
|
while (!gsi_end_p (bsi))
|
|
{
|
|
gimple *stmt = gsi_stmt (bsi);
|
|
gsi_next (&bsi);
|
|
stmts[gimple_uid (stmt)] = stmt;
|
|
}
|
|
bsi = gsi_start_bb (bb);
|
|
while (!gsi_end_p (bsi))
|
|
{
|
|
gimple *stmt = gsi_stmt (bsi);
|
|
bool remove = false;
|
|
/* If we're recompiling LTO objects with debug stmts but
|
|
we're not supposed to have debug stmts, remove them now.
|
|
We can't remove them earlier because this would cause uid
|
|
mismatches in fixups, but we can do it at this point, as
|
|
long as debug stmts don't require fixups.
|
|
Similarly remove all IFN_*SAN_* internal calls */
|
|
if (!flag_wpa)
|
|
{
|
|
if (is_gimple_debug (stmt)
|
|
&& (gimple_debug_nonbind_marker_p (stmt)
|
|
? !MAY_HAVE_DEBUG_MARKER_STMTS
|
|
: !MAY_HAVE_DEBUG_BIND_STMTS))
|
|
remove = true;
|
|
/* In case the linemap overflows locations can be dropped
|
|
to zero. Thus do not keep nonsensical inline entry markers
|
|
we'd later ICE on. */
|
|
tree block;
|
|
if (gimple_debug_inline_entry_p (stmt)
|
|
&& (((block = gimple_block (stmt))
|
|
&& !inlined_function_outer_scope_p (block))
|
|
|| !debug_inline_points))
|
|
remove = true;
|
|
if (is_gimple_call (stmt)
|
|
&& gimple_call_internal_p (stmt))
|
|
{
|
|
bool replace = false;
|
|
switch (gimple_call_internal_fn (stmt))
|
|
{
|
|
case IFN_UBSAN_NULL:
|
|
if ((flag_sanitize
|
|
& (SANITIZE_NULL | SANITIZE_ALIGNMENT)) == 0)
|
|
replace = true;
|
|
break;
|
|
case IFN_UBSAN_BOUNDS:
|
|
if ((flag_sanitize & SANITIZE_BOUNDS) == 0)
|
|
replace = true;
|
|
break;
|
|
case IFN_UBSAN_VPTR:
|
|
if ((flag_sanitize & SANITIZE_VPTR) == 0)
|
|
replace = true;
|
|
break;
|
|
case IFN_UBSAN_OBJECT_SIZE:
|
|
if ((flag_sanitize & SANITIZE_OBJECT_SIZE) == 0)
|
|
replace = true;
|
|
break;
|
|
case IFN_UBSAN_PTR:
|
|
if ((flag_sanitize & SANITIZE_POINTER_OVERFLOW) == 0)
|
|
replace = true;
|
|
break;
|
|
case IFN_ASAN_MARK:
|
|
if ((flag_sanitize & SANITIZE_ADDRESS) == 0)
|
|
replace = true;
|
|
break;
|
|
case IFN_TSAN_FUNC_EXIT:
|
|
if ((flag_sanitize & SANITIZE_THREAD) == 0)
|
|
replace = true;
|
|
break;
|
|
default:
|
|
break;
|
|
}
|
|
if (replace)
|
|
{
|
|
gimple_call_set_internal_fn (as_a <gcall *> (stmt),
|
|
IFN_NOP);
|
|
update_stmt (stmt);
|
|
}
|
|
}
|
|
}
|
|
if (remove)
|
|
{
|
|
gimple_stmt_iterator gsi = bsi;
|
|
gsi_next (&bsi);
|
|
unlink_stmt_vdef (stmt);
|
|
release_defs (stmt);
|
|
gsi_remove (&gsi, true);
|
|
}
|
|
else
|
|
{
|
|
gsi_next (&bsi);
|
|
stmts[gimple_uid (stmt)] = stmt;
|
|
|
|
/* Remember that the input function has begin stmt
|
|
markers, so that we know to expect them when emitting
|
|
debug info. */
|
|
if (!cfun->debug_nonbind_markers
|
|
&& gimple_debug_nonbind_marker_p (stmt))
|
|
cfun->debug_nonbind_markers = true;
|
|
}
|
|
}
|
|
}
|
|
|
|
/* Set the gimple body to the statement sequence in the entry
|
|
basic block. FIXME lto, this is fairly hacky. The existence
|
|
of a gimple body is used by the cgraph routines, but we should
|
|
really use the presence of the CFG. */
|
|
{
|
|
edge_iterator ei = ei_start (ENTRY_BLOCK_PTR_FOR_FN (cfun)->succs);
|
|
gimple_set_body (fn_decl, bb_seq (ei_edge (ei)->dest));
|
|
}
|
|
|
|
update_max_bb_count ();
|
|
fixup_call_stmt_edges (node, stmts);
|
|
execute_all_ipa_stmt_fixups (node, stmts);
|
|
|
|
free_dominance_info (CDI_DOMINATORS);
|
|
free_dominance_info (CDI_POST_DOMINATORS);
|
|
free (stmts);
|
|
pop_cfun ();
|
|
}
|
|
|
|
/* Read the body of function FN_DECL from DATA_IN using input block IB. */
|
|
|
|
static void
|
|
input_constructor (tree var, class data_in *data_in,
|
|
class lto_input_block *ib)
|
|
{
|
|
DECL_INITIAL (var) = stream_read_tree (ib, data_in);
|
|
}
|
|
|
|
|
|
/* Read the body from DATA for function NODE and fill it in.
|
|
FILE_DATA are the global decls and types. SECTION_TYPE is either
|
|
LTO_section_function_body or LTO_section_static_initializer. If
|
|
section type is LTO_section_function_body, FN must be the decl for
|
|
that function. */
|
|
|
|
static void
|
|
lto_read_body_or_constructor (struct lto_file_decl_data *file_data, struct symtab_node *node,
|
|
const char *data, enum lto_section_type section_type)
|
|
{
|
|
const struct lto_function_header *header;
|
|
class data_in *data_in;
|
|
int cfg_offset;
|
|
int main_offset;
|
|
int string_offset;
|
|
tree fn_decl = node->decl;
|
|
|
|
header = (const struct lto_function_header *) data;
|
|
if (TREE_CODE (node->decl) == FUNCTION_DECL)
|
|
{
|
|
cfg_offset = sizeof (struct lto_function_header);
|
|
main_offset = cfg_offset + header->cfg_size;
|
|
string_offset = main_offset + header->main_size;
|
|
}
|
|
else
|
|
{
|
|
main_offset = sizeof (struct lto_function_header);
|
|
string_offset = main_offset + header->main_size;
|
|
}
|
|
|
|
data_in = lto_data_in_create (file_data, data + string_offset,
|
|
header->string_size, vNULL);
|
|
|
|
if (section_type == LTO_section_function_body)
|
|
{
|
|
struct lto_in_decl_state *decl_state;
|
|
unsigned from;
|
|
|
|
gcc_checking_assert (node);
|
|
|
|
/* Use the function's decl state. */
|
|
decl_state = lto_get_function_in_decl_state (file_data, fn_decl);
|
|
gcc_assert (decl_state);
|
|
file_data->current_decl_state = decl_state;
|
|
|
|
|
|
/* Set up the struct function. */
|
|
from = data_in->reader_cache->nodes.length ();
|
|
lto_input_block ib_main (data + main_offset, header->main_size,
|
|
file_data);
|
|
if (TREE_CODE (node->decl) == FUNCTION_DECL)
|
|
{
|
|
lto_input_block ib_cfg (data + cfg_offset, header->cfg_size,
|
|
file_data);
|
|
input_function (fn_decl, data_in, &ib_main, &ib_cfg,
|
|
dyn_cast <cgraph_node *>(node));
|
|
}
|
|
else
|
|
input_constructor (fn_decl, data_in, &ib_main);
|
|
data_in->location_cache.apply_location_cache ();
|
|
/* And fixup types we streamed locally. */
|
|
{
|
|
struct streamer_tree_cache_d *cache = data_in->reader_cache;
|
|
unsigned len = cache->nodes.length ();
|
|
unsigned i;
|
|
for (i = len; i-- > from;)
|
|
{
|
|
tree t = streamer_tree_cache_get_tree (cache, i);
|
|
if (t == NULL_TREE)
|
|
continue;
|
|
|
|
if (TYPE_P (t))
|
|
{
|
|
gcc_assert (TYPE_STRUCTURAL_EQUALITY_P (t));
|
|
if (type_with_alias_set_p (t)
|
|
&& canonical_type_used_p (t))
|
|
TYPE_CANONICAL (t) = TYPE_MAIN_VARIANT (t);
|
|
if (TYPE_MAIN_VARIANT (t) != t)
|
|
{
|
|
gcc_assert (TYPE_NEXT_VARIANT (t) == NULL_TREE);
|
|
TYPE_NEXT_VARIANT (t)
|
|
= TYPE_NEXT_VARIANT (TYPE_MAIN_VARIANT (t));
|
|
TYPE_NEXT_VARIANT (TYPE_MAIN_VARIANT (t)) = t;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
/* Restore decl state */
|
|
file_data->current_decl_state = file_data->global_decl_state;
|
|
}
|
|
|
|
lto_data_in_delete (data_in);
|
|
}
|
|
|
|
|
|
/* Read the body of NODE using DATA. FILE_DATA holds the global
|
|
decls and types. */
|
|
|
|
void
|
|
lto_input_function_body (struct lto_file_decl_data *file_data,
|
|
struct cgraph_node *node, const char *data)
|
|
{
|
|
lto_read_body_or_constructor (file_data, node, data, LTO_section_function_body);
|
|
}
|
|
|
|
/* Read the body of NODE using DATA. FILE_DATA holds the global
|
|
decls and types. */
|
|
|
|
void
|
|
lto_input_variable_constructor (struct lto_file_decl_data *file_data,
|
|
struct varpool_node *node, const char *data)
|
|
{
|
|
lto_read_body_or_constructor (file_data, node, data, LTO_section_function_body);
|
|
}
|
|
|
|
|
|
/* Queue of acummulated decl -> DIE mappings. Similar to locations those
|
|
are only applied to prevailing tree nodes during tree merging. */
|
|
vec<dref_entry> dref_queue;
|
|
|
|
/* Read the physical representation of a tree node EXPR from
|
|
input block IB using the per-file context in DATA_IN. */
|
|
|
|
static void
|
|
lto_read_tree_1 (class lto_input_block *ib, class data_in *data_in, tree expr)
|
|
{
|
|
/* Read all the bitfield values in EXPR. Note that for LTO, we
|
|
only write language-independent bitfields, so no more unpacking is
|
|
needed. */
|
|
streamer_read_tree_bitfields (ib, data_in, expr);
|
|
|
|
/* Read all the pointer fields in EXPR. */
|
|
streamer_read_tree_body (ib, data_in, expr);
|
|
|
|
/* Read any LTO-specific data not read by the tree streamer. Do not use
|
|
stream_read_tree here since that flushes the dref_queue in mids of
|
|
SCC reading. */
|
|
if (DECL_P (expr)
|
|
&& TREE_CODE (expr) != FUNCTION_DECL
|
|
&& TREE_CODE (expr) != TRANSLATION_UNIT_DECL)
|
|
DECL_INITIAL (expr)
|
|
= lto_input_tree_1 (ib, data_in, streamer_read_record_start (ib), 0);
|
|
|
|
/* Stream references to early generated DIEs. Keep in sync with the
|
|
trees handled in dwarf2out_register_external_die. */
|
|
if ((DECL_P (expr)
|
|
&& TREE_CODE (expr) != FIELD_DECL
|
|
&& TREE_CODE (expr) != DEBUG_EXPR_DECL
|
|
&& TREE_CODE (expr) != TYPE_DECL)
|
|
|| TREE_CODE (expr) == BLOCK)
|
|
{
|
|
const char *str = streamer_read_string (data_in, ib);
|
|
if (str)
|
|
{
|
|
unsigned HOST_WIDE_INT off = streamer_read_uhwi (ib);
|
|
dref_entry e = { expr, str, off };
|
|
dref_queue.safe_push (e);
|
|
}
|
|
/* When there's no early DIE to refer to but dwarf2out set up
|
|
things in a way to expect that fixup. This tends to happen
|
|
with -g1, see for example PR113488. */
|
|
else if (DECL_P (expr) && DECL_ABSTRACT_ORIGIN (expr) == expr)
|
|
DECL_ABSTRACT_ORIGIN (expr) = NULL_TREE;
|
|
}
|
|
|
|
#ifdef ACCEL_COMPILER
|
|
if ((VAR_P (expr)
|
|
|| TREE_CODE (expr) == PARM_DECL
|
|
|| TREE_CODE (expr) == FIELD_DECL)
|
|
&& DECL_MODE (expr) == VOIDmode)
|
|
{
|
|
tree type = TREE_TYPE (expr);
|
|
if (AGGREGATE_TYPE_P (type))
|
|
SET_DECL_MODE (expr, TYPE_MODE (type));
|
|
else if (VECTOR_TYPE_P (type))
|
|
SET_DECL_MODE (expr, TYPE_MODE_RAW (type));
|
|
}
|
|
|
|
if (VECTOR_TYPE_P (expr) && TYPE_MODE (expr) == VOIDmode)
|
|
{
|
|
poly_uint64 nunits = TYPE_VECTOR_SUBPARTS (expr);
|
|
tree innertype = TREE_TYPE (expr);
|
|
machine_mode vmode
|
|
= mode_for_vector (SCALAR_TYPE_MODE (innertype), nunits).else_blk ();
|
|
SET_TYPE_MODE (expr, vmode);
|
|
}
|
|
#endif
|
|
}
|
|
|
|
/* Read the physical representation of a tree node with tag TAG from
|
|
input block IB using the per-file context in DATA_IN. */
|
|
|
|
static tree
|
|
lto_read_tree (class lto_input_block *ib, class data_in *data_in,
|
|
enum LTO_tags tag, hashval_t hash)
|
|
{
|
|
/* Instantiate a new tree node. */
|
|
tree result = streamer_alloc_tree (ib, data_in, tag);
|
|
|
|
/* Enter RESULT in the reader cache. This will make RESULT
|
|
available so that circular references in the rest of the tree
|
|
structure can be resolved in subsequent calls to stream_read_tree. */
|
|
streamer_tree_cache_append (data_in->reader_cache, result, hash);
|
|
|
|
lto_read_tree_1 (ib, data_in, result);
|
|
|
|
return result;
|
|
}
|
|
|
|
|
|
/* Populate the reader cache with trees materialized from the SCC
|
|
following in the IB, DATA_IN stream.
|
|
If SHARED_SCC is true we input LTO_tree_scc. */
|
|
|
|
hashval_t
|
|
lto_input_scc (class lto_input_block *ib, class data_in *data_in,
|
|
unsigned *len, unsigned *entry_len, bool shared_scc)
|
|
{
|
|
unsigned size = streamer_read_uhwi (ib);
|
|
hashval_t scc_hash = 0;
|
|
unsigned scc_entry_len = 1;
|
|
|
|
if (shared_scc)
|
|
{
|
|
if (size & 1)
|
|
scc_entry_len = streamer_read_uhwi (ib);
|
|
size /= 2;
|
|
scc_hash = streamer_read_uhwi (ib);
|
|
}
|
|
|
|
if (size == 1)
|
|
{
|
|
enum LTO_tags tag = streamer_read_record_start (ib);
|
|
lto_input_tree_1 (ib, data_in, tag, scc_hash);
|
|
}
|
|
else
|
|
{
|
|
unsigned int first = data_in->reader_cache->nodes.length ();
|
|
tree result;
|
|
|
|
/* Materialize size trees by reading their headers. */
|
|
for (unsigned i = 0; i < size; ++i)
|
|
{
|
|
enum LTO_tags tag = streamer_read_record_start (ib);
|
|
if (tag == LTO_null
|
|
|| tag == LTO_global_stream_ref
|
|
|| tag == LTO_tree_pickle_reference
|
|
|| tag == LTO_integer_cst
|
|
|| tag == LTO_tree_scc
|
|
|| tag == LTO_trees)
|
|
gcc_unreachable ();
|
|
|
|
result = streamer_alloc_tree (ib, data_in, tag);
|
|
streamer_tree_cache_append (data_in->reader_cache, result, 0);
|
|
}
|
|
|
|
/* Read the tree bitpacks and references. */
|
|
for (unsigned i = 0; i < size; ++i)
|
|
{
|
|
result = streamer_tree_cache_get_tree (data_in->reader_cache,
|
|
first + i);
|
|
lto_read_tree_1 (ib, data_in, result);
|
|
}
|
|
}
|
|
|
|
*len = size;
|
|
*entry_len = scc_entry_len;
|
|
return scc_hash;
|
|
}
|
|
|
|
/* Read reference to tree from IB and DATA_IN.
|
|
This is used for streaming tree bodies where we know that
|
|
the tree is already in cache or is indexable and
|
|
must be matched with stream_write_tree_ref. */
|
|
|
|
tree
|
|
stream_read_tree_ref (lto_input_block *ib, data_in *data_in)
|
|
{
|
|
int ix = streamer_read_hwi (ib);
|
|
if (!ix)
|
|
return NULL_TREE;
|
|
if (ix > 0)
|
|
return streamer_tree_cache_get_tree (data_in->reader_cache, ix - 1);
|
|
|
|
ix = -ix - 1;
|
|
int id = ix & 1;
|
|
ix /= 2;
|
|
|
|
tree ret;
|
|
if (!id)
|
|
ret = (*data_in->file_data->current_decl_state
|
|
->streams[LTO_DECL_STREAM])[ix];
|
|
else
|
|
ret = (*SSANAMES (cfun))[ix];
|
|
return ret;
|
|
}
|
|
|
|
/* Read a tree from input block IB using the per-file context in
|
|
DATA_IN. This context is used, for example, to resolve references
|
|
to previously read nodes. */
|
|
|
|
tree
|
|
lto_input_tree_1 (class lto_input_block *ib, class data_in *data_in,
|
|
enum LTO_tags tag, hashval_t hash)
|
|
{
|
|
tree result;
|
|
|
|
gcc_assert ((unsigned) tag < (unsigned) LTO_NUM_TAGS);
|
|
|
|
if (tag == LTO_null)
|
|
result = NULL_TREE;
|
|
else if (tag == LTO_global_stream_ref || tag == LTO_ssa_name_ref)
|
|
{
|
|
/* If TAG is a reference to an indexable tree, the next value
|
|
in IB is the index into the table where we expect to find
|
|
that tree. */
|
|
result = lto_input_tree_ref (ib, data_in, cfun, tag);
|
|
}
|
|
else if (tag == LTO_tree_pickle_reference)
|
|
{
|
|
/* If TAG is a reference to a previously read tree, look it up in
|
|
the reader cache. */
|
|
result = streamer_get_pickled_tree (ib, data_in);
|
|
}
|
|
else if (tag == LTO_integer_cst)
|
|
{
|
|
/* For shared integer constants in singletons we can use the
|
|
existing tree integer constant merging code. */
|
|
tree type = stream_read_tree_ref (ib, data_in);
|
|
unsigned HOST_WIDE_INT len = streamer_read_uhwi (ib);
|
|
unsigned HOST_WIDE_INT i;
|
|
HOST_WIDE_INT abuf[WIDE_INT_MAX_INL_ELTS], *a = abuf;
|
|
|
|
if (UNLIKELY (len > WIDE_INT_MAX_INL_ELTS))
|
|
a = XALLOCAVEC (HOST_WIDE_INT, len);
|
|
for (i = 0; i < len; i++)
|
|
a[i] = streamer_read_hwi (ib);
|
|
gcc_assert (TYPE_PRECISION (type) <= WIDE_INT_MAX_PRECISION);
|
|
result
|
|
= wide_int_to_tree (type,
|
|
wide_int::from_array (a, len,
|
|
TYPE_PRECISION (type)));
|
|
streamer_tree_cache_append (data_in->reader_cache, result, hash);
|
|
}
|
|
else if (tag == LTO_tree_scc || tag == LTO_trees)
|
|
gcc_unreachable ();
|
|
else
|
|
{
|
|
/* Otherwise, materialize a new node from IB. */
|
|
result = lto_read_tree (ib, data_in, tag, hash);
|
|
}
|
|
|
|
return result;
|
|
}
|
|
|
|
tree
|
|
lto_input_tree (class lto_input_block *ib, class data_in *data_in)
|
|
{
|
|
enum LTO_tags tag;
|
|
|
|
/* Input pickled trees needed to stream in the reference. */
|
|
while ((tag = streamer_read_record_start (ib)) == LTO_trees)
|
|
{
|
|
unsigned len, entry_len;
|
|
lto_input_scc (ib, data_in, &len, &entry_len, false);
|
|
|
|
/* Register DECLs with the debuginfo machinery. */
|
|
while (!dref_queue.is_empty ())
|
|
{
|
|
dref_entry e = dref_queue.pop ();
|
|
debug_hooks->register_external_die (e.decl, e.sym, e.off);
|
|
}
|
|
}
|
|
tree t = lto_input_tree_1 (ib, data_in, tag, 0);
|
|
|
|
if (!dref_queue.is_empty ())
|
|
{
|
|
dref_entry e = dref_queue.pop ();
|
|
debug_hooks->register_external_die (e.decl, e.sym, e.off);
|
|
gcc_checking_assert (dref_queue.is_empty ());
|
|
}
|
|
return t;
|
|
}
|
|
|
|
|
|
/* Input toplevel asms. */
|
|
|
|
void
|
|
lto_input_toplevel_asms (struct lto_file_decl_data *file_data, int order_base)
|
|
{
|
|
size_t len;
|
|
const char *data
|
|
= lto_get_summary_section_data (file_data, LTO_section_asm, &len);
|
|
const struct lto_simple_header_with_strings *header
|
|
= (const struct lto_simple_header_with_strings *) data;
|
|
int string_offset;
|
|
class data_in *data_in;
|
|
tree str;
|
|
|
|
if (! data)
|
|
return;
|
|
|
|
string_offset = sizeof (*header) + header->main_size;
|
|
|
|
lto_input_block ib (data + sizeof (*header), header->main_size,
|
|
file_data);
|
|
|
|
data_in = lto_data_in_create (file_data, data + string_offset,
|
|
header->string_size, vNULL);
|
|
|
|
while ((str = streamer_read_string_cst (data_in, &ib)))
|
|
{
|
|
asm_node *node = symtab->finalize_toplevel_asm (str);
|
|
node->order = streamer_read_hwi (&ib) + order_base;
|
|
if (node->order >= symtab->order)
|
|
symtab->order = node->order + 1;
|
|
}
|
|
|
|
lto_data_in_delete (data_in);
|
|
|
|
lto_free_section_data (file_data, LTO_section_asm, NULL, data, len);
|
|
}
|
|
|
|
|
|
/* Input mode table. */
|
|
|
|
void
|
|
lto_input_mode_table (struct lto_file_decl_data *file_data)
|
|
{
|
|
size_t len;
|
|
const char *data
|
|
= lto_get_summary_section_data (file_data, LTO_section_mode_table, &len);
|
|
if (! data)
|
|
internal_error ("cannot read LTO mode table from %s",
|
|
file_data->file_name);
|
|
|
|
const struct lto_simple_header_with_strings *header
|
|
= (const struct lto_simple_header_with_strings *) data;
|
|
int string_offset;
|
|
class data_in *data_in;
|
|
string_offset = sizeof (*header) + header->main_size;
|
|
|
|
lto_input_block ib (data + sizeof (*header), header->main_size, NULL);
|
|
data_in = lto_data_in_create (file_data, data + string_offset,
|
|
header->string_size, vNULL);
|
|
bitpack_d bp = streamer_read_bitpack (&ib);
|
|
|
|
#ifdef ACCEL_COMPILER
|
|
host_num_poly_int_coeffs
|
|
= bp_unpack_value (&bp, MAX_NUM_POLY_INT_COEFFS_BITS);
|
|
#endif
|
|
|
|
unsigned mode_bits = bp_unpack_value (&bp, 5);
|
|
unsigned char *table = ggc_cleared_vec_alloc<unsigned char> (1 << mode_bits);
|
|
|
|
file_data->mode_table = table;
|
|
file_data->mode_bits = mode_bits;
|
|
|
|
table[VOIDmode] = VOIDmode;
|
|
table[BLKmode] = BLKmode;
|
|
unsigned int m;
|
|
while ((m = bp_unpack_value (&bp, mode_bits)) != VOIDmode)
|
|
{
|
|
enum mode_class mclass
|
|
= bp_unpack_enum (&bp, mode_class, MAX_MODE_CLASS);
|
|
poly_uint16 size = bp_unpack_poly_value (&bp, 16);
|
|
poly_uint16 prec = bp_unpack_poly_value (&bp, 16);
|
|
machine_mode inner = (machine_mode) bp_unpack_value (&bp, mode_bits);
|
|
poly_uint16 nunits = bp_unpack_poly_value (&bp, 16);
|
|
unsigned int ibit = 0, fbit = 0;
|
|
unsigned int real_fmt_len = 0;
|
|
const char *real_fmt_name = NULL;
|
|
switch (mclass)
|
|
{
|
|
case MODE_FRACT:
|
|
case MODE_UFRACT:
|
|
case MODE_ACCUM:
|
|
case MODE_UACCUM:
|
|
ibit = bp_unpack_value (&bp, 8);
|
|
fbit = bp_unpack_value (&bp, 8);
|
|
break;
|
|
case MODE_FLOAT:
|
|
case MODE_DECIMAL_FLOAT:
|
|
real_fmt_name = bp_unpack_indexed_string (data_in, &bp,
|
|
&real_fmt_len);
|
|
break;
|
|
default:
|
|
break;
|
|
}
|
|
/* First search just the GET_CLASS_NARROWEST_MODE to wider modes,
|
|
if not found, fallback to all modes. */
|
|
int pass;
|
|
for (pass = 0; pass < 2; pass++)
|
|
for (machine_mode mr = pass ? VOIDmode
|
|
: GET_CLASS_NARROWEST_MODE (mclass);
|
|
pass ? mr < MAX_MACHINE_MODE : mr != VOIDmode;
|
|
pass ? mr = (machine_mode) (mr + 1)
|
|
: mr = GET_MODE_WIDER_MODE (mr).else_void ())
|
|
if (GET_MODE_CLASS (mr) != mclass
|
|
|| maybe_ne (GET_MODE_SIZE (mr), size)
|
|
|| maybe_ne (GET_MODE_PRECISION (mr), prec)
|
|
|| (inner == m
|
|
? GET_MODE_INNER (mr) != mr
|
|
: GET_MODE_INNER (mr) != table[(int) inner])
|
|
|| GET_MODE_IBIT (mr) != ibit
|
|
|| GET_MODE_FBIT (mr) != fbit
|
|
|| maybe_ne (GET_MODE_NUNITS (mr), nunits))
|
|
continue;
|
|
else if ((mclass == MODE_FLOAT || mclass == MODE_DECIMAL_FLOAT)
|
|
&& strcmp (REAL_MODE_FORMAT (mr)->name, real_fmt_name) != 0)
|
|
continue;
|
|
else
|
|
{
|
|
table[m] = mr;
|
|
pass = 2;
|
|
break;
|
|
}
|
|
unsigned int mname_len;
|
|
const char *mname = bp_unpack_indexed_string (data_in, &bp, &mname_len);
|
|
if (pass == 2)
|
|
{
|
|
switch (mclass)
|
|
{
|
|
case MODE_VECTOR_BOOL:
|
|
case MODE_VECTOR_INT:
|
|
case MODE_VECTOR_FLOAT:
|
|
case MODE_VECTOR_FRACT:
|
|
case MODE_VECTOR_UFRACT:
|
|
case MODE_VECTOR_ACCUM:
|
|
case MODE_VECTOR_UACCUM:
|
|
/* Vector modes are recomputed on accel side and shouldn't have
|
|
been streamed-out from host. */
|
|
gcc_unreachable ();
|
|
/* FALLTHRU */
|
|
default:
|
|
/* This is only used for offloading-target compilations and
|
|
is a user-facing error. Give a better error message for
|
|
the common modes; see also mode-classes.def. */
|
|
if (mclass == MODE_FLOAT)
|
|
fatal_error (UNKNOWN_LOCATION,
|
|
"%s - %u-bit-precision floating-point numbers "
|
|
"unsupported (mode %qs)", TARGET_MACHINE,
|
|
prec.to_constant (), mname);
|
|
else if (mclass == MODE_DECIMAL_FLOAT)
|
|
fatal_error (UNKNOWN_LOCATION,
|
|
"%s - %u-bit-precision decimal floating-point "
|
|
"numbers unsupported (mode %qs)", TARGET_MACHINE,
|
|
prec.to_constant (), mname);
|
|
else if (mclass == MODE_COMPLEX_FLOAT)
|
|
fatal_error (UNKNOWN_LOCATION,
|
|
"%s - %u-bit-precision complex floating-point "
|
|
"numbers unsupported (mode %qs)", TARGET_MACHINE,
|
|
prec.to_constant (), mname);
|
|
else if (mclass == MODE_INT)
|
|
fatal_error (UNKNOWN_LOCATION,
|
|
"%s - %u-bit integer numbers unsupported (mode "
|
|
"%qs)", TARGET_MACHINE, prec.to_constant (), mname);
|
|
else
|
|
fatal_error (UNKNOWN_LOCATION, "%s - unsupported mode %qs",
|
|
TARGET_MACHINE, mname);
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
lto_data_in_delete (data_in);
|
|
|
|
lto_free_section_data (file_data, LTO_section_mode_table, NULL, data, len);
|
|
}
|
|
|
|
|
|
/* Initialization for the LTO reader. */
|
|
|
|
void
|
|
lto_reader_init (void)
|
|
{
|
|
lto_streamer_init ();
|
|
file_name_hash_table
|
|
= new hash_table<string_slot_hasher> (37);
|
|
string_slot_allocator = new object_allocator <struct string_slot>
|
|
("line map file name hash");
|
|
gcc_obstack_init (&file_name_obstack);
|
|
}
|
|
|
|
/* Free hash table used to stream in location file names. */
|
|
|
|
void
|
|
lto_free_file_name_hash (void)
|
|
{
|
|
delete file_name_hash_table;
|
|
file_name_hash_table = NULL;
|
|
delete string_slot_allocator;
|
|
string_slot_allocator = NULL;
|
|
delete path_name_pair_hash_table;
|
|
path_name_pair_hash_table = NULL;
|
|
delete string_pair_map_allocator;
|
|
string_pair_map_allocator = NULL;
|
|
/* file_name_obstack must stay allocated since it is referred to by
|
|
line map table. */
|
|
}
|
|
|
|
|
|
/* Create a new data_in object for FILE_DATA. STRINGS is the string
|
|
table to use with LEN strings. RESOLUTIONS is the vector of linker
|
|
resolutions (NULL if not using a linker plugin). */
|
|
|
|
class data_in *
|
|
lto_data_in_create (struct lto_file_decl_data *file_data, const char *strings,
|
|
unsigned len,
|
|
vec<ld_plugin_symbol_resolution_t> resolutions)
|
|
{
|
|
class data_in *data_in = new (class data_in);
|
|
data_in->file_data = file_data;
|
|
data_in->strings = strings;
|
|
data_in->strings_len = len;
|
|
data_in->globals_resolution = resolutions;
|
|
data_in->reader_cache = streamer_tree_cache_create (false, false, true);
|
|
return data_in;
|
|
}
|
|
|
|
|
|
/* Remove DATA_IN. */
|
|
|
|
void
|
|
lto_data_in_delete (class data_in *data_in)
|
|
{
|
|
data_in->globals_resolution.release ();
|
|
streamer_tree_cache_delete (data_in->reader_cache);
|
|
delete data_in;
|
|
}
|