aboutsummaryrefslogtreecommitdiff
path: root/gcc/ipa-polymorphic-call.c
diff options
context:
space:
mode:
authorMartin Liska <mliska@suse.cz>2022-01-14 16:56:44 +0100
committerMartin Liska <mliska@suse.cz>2022-01-17 22:12:04 +0100
commit5c69acb32329d49e58c26fa41ae74229a52b9106 (patch)
treeddb05f9d73afb6f998457d2ac4b720e3b3b60483 /gcc/ipa-polymorphic-call.c
parent490e23032baaece71f2ec09fa1805064b150fbc2 (diff)
downloadgcc-5c69acb32329d49e58c26fa41ae74229a52b9106.zip
gcc-5c69acb32329d49e58c26fa41ae74229a52b9106.tar.gz
gcc-5c69acb32329d49e58c26fa41ae74229a52b9106.tar.bz2
Rename .c files to .cc files.
gcc/ada/ChangeLog: * adadecode.c: Moved to... * adadecode.cc: ...here. * affinity.c: Moved to... * affinity.cc: ...here. * argv-lynxos178-raven-cert.c: Moved to... * argv-lynxos178-raven-cert.cc: ...here. * argv.c: Moved to... * argv.cc: ...here. * aux-io.c: Moved to... * aux-io.cc: ...here. * cio.c: Moved to... * cio.cc: ...here. * cstreams.c: Moved to... * cstreams.cc: ...here. * env.c: Moved to... * env.cc: ...here. * exit.c: Moved to... * exit.cc: ...here. * expect.c: Moved to... * expect.cc: ...here. * final.c: Moved to... * final.cc: ...here. * gcc-interface/cuintp.c: Moved to... * gcc-interface/cuintp.cc: ...here. * gcc-interface/decl.c: Moved to... * gcc-interface/decl.cc: ...here. * gcc-interface/misc.c: Moved to... * gcc-interface/misc.cc: ...here. * gcc-interface/targtyps.c: Moved to... * gcc-interface/targtyps.cc: ...here. * gcc-interface/trans.c: Moved to... * gcc-interface/trans.cc: ...here. * gcc-interface/utils.c: Moved to... * gcc-interface/utils.cc: ...here. * gcc-interface/utils2.c: Moved to... * gcc-interface/utils2.cc: ...here. * init.c: Moved to... * init.cc: ...here. * initialize.c: Moved to... * initialize.cc: ...here. * libgnarl/thread.c: Moved to... * libgnarl/thread.cc: ...here. * link.c: Moved to... * link.cc: ...here. * locales.c: Moved to... * locales.cc: ...here. * mkdir.c: Moved to... * mkdir.cc: ...here. * raise.c: Moved to... * raise.cc: ...here. * rtfinal.c: Moved to... * rtfinal.cc: ...here. * rtinit.c: Moved to... * rtinit.cc: ...here. * seh_init.c: Moved to... * seh_init.cc: ...here. * sigtramp-armdroid.c: Moved to... * sigtramp-armdroid.cc: ...here. * sigtramp-ios.c: Moved to... * sigtramp-ios.cc: ...here. * sigtramp-qnx.c: Moved to... * sigtramp-qnx.cc: ...here. * sigtramp-vxworks.c: Moved to... * sigtramp-vxworks.cc: ...here. * socket.c: Moved to... * socket.cc: ...here. * tracebak.c: Moved to... * tracebak.cc: ...here. * version.c: Moved to... * version.cc: ...here. * vx_stack_info.c: Moved to... * vx_stack_info.cc: ...here. gcc/ChangeLog: * adjust-alignment.c: Moved to... * adjust-alignment.cc: ...here. * alias.c: Moved to... * alias.cc: ...here. * alloc-pool.c: Moved to... * alloc-pool.cc: ...here. * asan.c: Moved to... * asan.cc: ...here. * attribs.c: Moved to... * attribs.cc: ...here. * auto-inc-dec.c: Moved to... * auto-inc-dec.cc: ...here. * auto-profile.c: Moved to... * auto-profile.cc: ...here. * bb-reorder.c: Moved to... * bb-reorder.cc: ...here. * bitmap.c: Moved to... * bitmap.cc: ...here. * btfout.c: Moved to... * btfout.cc: ...here. * builtins.c: Moved to... * builtins.cc: ...here. * caller-save.c: Moved to... * caller-save.cc: ...here. * calls.c: Moved to... * calls.cc: ...here. * ccmp.c: Moved to... * ccmp.cc: ...here. * cfg.c: Moved to... * cfg.cc: ...here. * cfganal.c: Moved to... * cfganal.cc: ...here. * cfgbuild.c: Moved to... * cfgbuild.cc: ...here. * cfgcleanup.c: Moved to... * cfgcleanup.cc: ...here. * cfgexpand.c: Moved to... * cfgexpand.cc: ...here. * cfghooks.c: Moved to... * cfghooks.cc: ...here. * cfgloop.c: Moved to... * cfgloop.cc: ...here. * cfgloopanal.c: Moved to... * cfgloopanal.cc: ...here. * cfgloopmanip.c: Moved to... * cfgloopmanip.cc: ...here. * cfgrtl.c: Moved to... * cfgrtl.cc: ...here. * cgraph.c: Moved to... * cgraph.cc: ...here. * cgraphbuild.c: Moved to... * cgraphbuild.cc: ...here. * cgraphclones.c: Moved to... * cgraphclones.cc: ...here. * cgraphunit.c: Moved to... * cgraphunit.cc: ...here. * collect-utils.c: Moved to... * collect-utils.cc: ...here. * collect2-aix.c: Moved to... * collect2-aix.cc: ...here. * collect2.c: Moved to... * collect2.cc: ...here. * combine-stack-adj.c: Moved to... * combine-stack-adj.cc: ...here. * combine.c: Moved to... * combine.cc: ...here. * common/common-targhooks.c: Moved to... * common/common-targhooks.cc: ...here. * common/config/aarch64/aarch64-common.c: Moved to... * common/config/aarch64/aarch64-common.cc: ...here. * common/config/alpha/alpha-common.c: Moved to... * common/config/alpha/alpha-common.cc: ...here. * common/config/arc/arc-common.c: Moved to... * common/config/arc/arc-common.cc: ...here. * common/config/arm/arm-common.c: Moved to... * common/config/arm/arm-common.cc: ...here. * common/config/avr/avr-common.c: Moved to... * common/config/avr/avr-common.cc: ...here. * common/config/bfin/bfin-common.c: Moved to... * common/config/bfin/bfin-common.cc: ...here. * common/config/bpf/bpf-common.c: Moved to... * common/config/bpf/bpf-common.cc: ...here. * common/config/c6x/c6x-common.c: Moved to... * common/config/c6x/c6x-common.cc: ...here. * common/config/cr16/cr16-common.c: Moved to... * common/config/cr16/cr16-common.cc: ...here. * common/config/cris/cris-common.c: Moved to... * common/config/cris/cris-common.cc: ...here. * common/config/csky/csky-common.c: Moved to... * common/config/csky/csky-common.cc: ...here. * common/config/default-common.c: Moved to... * common/config/default-common.cc: ...here. * common/config/epiphany/epiphany-common.c: Moved to... * common/config/epiphany/epiphany-common.cc: ...here. * common/config/fr30/fr30-common.c: Moved to... * common/config/fr30/fr30-common.cc: ...here. * common/config/frv/frv-common.c: Moved to... * common/config/frv/frv-common.cc: ...here. * common/config/gcn/gcn-common.c: Moved to... * common/config/gcn/gcn-common.cc: ...here. * common/config/h8300/h8300-common.c: Moved to... * common/config/h8300/h8300-common.cc: ...here. * common/config/i386/i386-common.c: Moved to... * common/config/i386/i386-common.cc: ...here. * common/config/ia64/ia64-common.c: Moved to... * common/config/ia64/ia64-common.cc: ...here. * common/config/iq2000/iq2000-common.c: Moved to... * common/config/iq2000/iq2000-common.cc: ...here. * common/config/lm32/lm32-common.c: Moved to... * common/config/lm32/lm32-common.cc: ...here. * common/config/m32r/m32r-common.c: Moved to... * common/config/m32r/m32r-common.cc: ...here. * common/config/m68k/m68k-common.c: Moved to... * common/config/m68k/m68k-common.cc: ...here. * common/config/mcore/mcore-common.c: Moved to... * common/config/mcore/mcore-common.cc: ...here. * common/config/microblaze/microblaze-common.c: Moved to... * common/config/microblaze/microblaze-common.cc: ...here. * common/config/mips/mips-common.c: Moved to... * common/config/mips/mips-common.cc: ...here. * common/config/mmix/mmix-common.c: Moved to... * common/config/mmix/mmix-common.cc: ...here. * common/config/mn10300/mn10300-common.c: Moved to... * common/config/mn10300/mn10300-common.cc: ...here. * common/config/msp430/msp430-common.c: Moved to... * common/config/msp430/msp430-common.cc: ...here. * common/config/nds32/nds32-common.c: Moved to... * common/config/nds32/nds32-common.cc: ...here. * common/config/nios2/nios2-common.c: Moved to... * common/config/nios2/nios2-common.cc: ...here. * common/config/nvptx/nvptx-common.c: Moved to... * common/config/nvptx/nvptx-common.cc: ...here. * common/config/or1k/or1k-common.c: Moved to... * common/config/or1k/or1k-common.cc: ...here. * common/config/pa/pa-common.c: Moved to... * common/config/pa/pa-common.cc: ...here. * common/config/pdp11/pdp11-common.c: Moved to... * common/config/pdp11/pdp11-common.cc: ...here. * common/config/pru/pru-common.c: Moved to... * common/config/pru/pru-common.cc: ...here. * common/config/riscv/riscv-common.c: Moved to... * common/config/riscv/riscv-common.cc: ...here. * common/config/rs6000/rs6000-common.c: Moved to... * common/config/rs6000/rs6000-common.cc: ...here. * common/config/rx/rx-common.c: Moved to... * common/config/rx/rx-common.cc: ...here. * common/config/s390/s390-common.c: Moved to... * common/config/s390/s390-common.cc: ...here. * common/config/sh/sh-common.c: Moved to... * common/config/sh/sh-common.cc: ...here. * common/config/sparc/sparc-common.c: Moved to... * common/config/sparc/sparc-common.cc: ...here. * common/config/tilegx/tilegx-common.c: Moved to... * common/config/tilegx/tilegx-common.cc: ...here. * common/config/tilepro/tilepro-common.c: Moved to... * common/config/tilepro/tilepro-common.cc: ...here. * common/config/v850/v850-common.c: Moved to... * common/config/v850/v850-common.cc: ...here. * common/config/vax/vax-common.c: Moved to... * common/config/vax/vax-common.cc: ...here. * common/config/visium/visium-common.c: Moved to... * common/config/visium/visium-common.cc: ...here. * common/config/xstormy16/xstormy16-common.c: Moved to... * common/config/xstormy16/xstormy16-common.cc: ...here. * common/config/xtensa/xtensa-common.c: Moved to... * common/config/xtensa/xtensa-common.cc: ...here. * compare-elim.c: Moved to... * compare-elim.cc: ...here. * config/aarch64/aarch64-bti-insert.c: Moved to... * config/aarch64/aarch64-bti-insert.cc: ...here. * config/aarch64/aarch64-builtins.c: Moved to... * config/aarch64/aarch64-builtins.cc: ...here. * config/aarch64/aarch64-c.c: Moved to... * config/aarch64/aarch64-c.cc: ...here. * config/aarch64/aarch64-d.c: Moved to... * config/aarch64/aarch64-d.cc: ...here. * config/aarch64/aarch64.c: Moved to... * config/aarch64/aarch64.cc: ...here. * config/aarch64/cortex-a57-fma-steering.c: Moved to... * config/aarch64/cortex-a57-fma-steering.cc: ...here. * config/aarch64/driver-aarch64.c: Moved to... * config/aarch64/driver-aarch64.cc: ...here. * config/aarch64/falkor-tag-collision-avoidance.c: Moved to... * config/aarch64/falkor-tag-collision-avoidance.cc: ...here. * config/aarch64/host-aarch64-darwin.c: Moved to... * config/aarch64/host-aarch64-darwin.cc: ...here. * config/alpha/alpha.c: Moved to... * config/alpha/alpha.cc: ...here. * config/alpha/driver-alpha.c: Moved to... * config/alpha/driver-alpha.cc: ...here. * config/arc/arc-c.c: Moved to... * config/arc/arc-c.cc: ...here. * config/arc/arc.c: Moved to... * config/arc/arc.cc: ...here. * config/arc/driver-arc.c: Moved to... * config/arc/driver-arc.cc: ...here. * config/arm/aarch-common.c: Moved to... * config/arm/aarch-common.cc: ...here. * config/arm/arm-builtins.c: Moved to... * config/arm/arm-builtins.cc: ...here. * config/arm/arm-c.c: Moved to... * config/arm/arm-c.cc: ...here. * config/arm/arm-d.c: Moved to... * config/arm/arm-d.cc: ...here. * config/arm/arm.c: Moved to... * config/arm/arm.cc: ...here. * config/arm/driver-arm.c: Moved to... * config/arm/driver-arm.cc: ...here. * config/avr/avr-c.c: Moved to... * config/avr/avr-c.cc: ...here. * config/avr/avr-devices.c: Moved to... * config/avr/avr-devices.cc: ...here. * config/avr/avr-log.c: Moved to... * config/avr/avr-log.cc: ...here. * config/avr/avr.c: Moved to... * config/avr/avr.cc: ...here. * config/avr/driver-avr.c: Moved to... * config/avr/driver-avr.cc: ...here. * config/avr/gen-avr-mmcu-specs.c: Moved to... * config/avr/gen-avr-mmcu-specs.cc: ...here. * config/avr/gen-avr-mmcu-texi.c: Moved to... * config/avr/gen-avr-mmcu-texi.cc: ...here. * config/bfin/bfin.c: Moved to... * config/bfin/bfin.cc: ...here. * config/bpf/bpf.c: Moved to... * config/bpf/bpf.cc: ...here. * config/bpf/coreout.c: Moved to... * config/bpf/coreout.cc: ...here. * config/c6x/c6x.c: Moved to... * config/c6x/c6x.cc: ...here. * config/cr16/cr16.c: Moved to... * config/cr16/cr16.cc: ...here. * config/cris/cris.c: Moved to... * config/cris/cris.cc: ...here. * config/csky/csky.c: Moved to... * config/csky/csky.cc: ...here. * config/darwin-c.c: Moved to... * config/darwin-c.cc: ...here. * config/darwin-d.c: Moved to... * config/darwin-d.cc: ...here. * config/darwin-driver.c: Moved to... * config/darwin-driver.cc: ...here. * config/darwin-f.c: Moved to... * config/darwin-f.cc: ...here. * config/darwin.c: Moved to... * config/darwin.cc: ...here. * config/default-c.c: Moved to... * config/default-c.cc: ...here. * config/default-d.c: Moved to... * config/default-d.cc: ...here. * config/dragonfly-d.c: Moved to... * config/dragonfly-d.cc: ...here. * config/epiphany/epiphany.c: Moved to... * config/epiphany/epiphany.cc: ...here. * config/epiphany/mode-switch-use.c: Moved to... * config/epiphany/mode-switch-use.cc: ...here. * config/epiphany/resolve-sw-modes.c: Moved to... * config/epiphany/resolve-sw-modes.cc: ...here. * config/fr30/fr30.c: Moved to... * config/fr30/fr30.cc: ...here. * config/freebsd-d.c: Moved to... * config/freebsd-d.cc: ...here. * config/frv/frv.c: Moved to... * config/frv/frv.cc: ...here. * config/ft32/ft32.c: Moved to... * config/ft32/ft32.cc: ...here. * config/gcn/driver-gcn.c: Moved to... * config/gcn/driver-gcn.cc: ...here. * config/gcn/gcn-run.c: Moved to... * config/gcn/gcn-run.cc: ...here. * config/gcn/gcn-tree.c: Moved to... * config/gcn/gcn-tree.cc: ...here. * config/gcn/gcn.c: Moved to... * config/gcn/gcn.cc: ...here. * config/gcn/mkoffload.c: Moved to... * config/gcn/mkoffload.cc: ...here. * config/glibc-c.c: Moved to... * config/glibc-c.cc: ...here. * config/glibc-d.c: Moved to... * config/glibc-d.cc: ...here. * config/h8300/h8300.c: Moved to... * config/h8300/h8300.cc: ...here. * config/host-darwin.c: Moved to... * config/host-darwin.cc: ...here. * config/host-hpux.c: Moved to... * config/host-hpux.cc: ...here. * config/host-linux.c: Moved to... * config/host-linux.cc: ...here. * config/host-netbsd.c: Moved to... * config/host-netbsd.cc: ...here. * config/host-openbsd.c: Moved to... * config/host-openbsd.cc: ...here. * config/host-solaris.c: Moved to... * config/host-solaris.cc: ...here. * config/i386/djgpp.c: Moved to... * config/i386/djgpp.cc: ...here. * config/i386/driver-i386.c: Moved to... * config/i386/driver-i386.cc: ...here. * config/i386/driver-mingw32.c: Moved to... * config/i386/driver-mingw32.cc: ...here. * config/i386/gnu-property.c: Moved to... * config/i386/gnu-property.cc: ...here. * config/i386/host-cygwin.c: Moved to... * config/i386/host-cygwin.cc: ...here. * config/i386/host-i386-darwin.c: Moved to... * config/i386/host-i386-darwin.cc: ...here. * config/i386/host-mingw32.c: Moved to... * config/i386/host-mingw32.cc: ...here. * config/i386/i386-builtins.c: Moved to... * config/i386/i386-builtins.cc: ...here. * config/i386/i386-c.c: Moved to... * config/i386/i386-c.cc: ...here. * config/i386/i386-d.c: Moved to... * config/i386/i386-d.cc: ...here. * config/i386/i386-expand.c: Moved to... * config/i386/i386-expand.cc: ...here. * config/i386/i386-features.c: Moved to... * config/i386/i386-features.cc: ...here. * config/i386/i386-options.c: Moved to... * config/i386/i386-options.cc: ...here. * config/i386/i386.c: Moved to... * config/i386/i386.cc: ...here. * config/i386/intelmic-mkoffload.c: Moved to... * config/i386/intelmic-mkoffload.cc: ...here. * config/i386/msformat-c.c: Moved to... * config/i386/msformat-c.cc: ...here. * config/i386/winnt-cxx.c: Moved to... * config/i386/winnt-cxx.cc: ...here. * config/i386/winnt-d.c: Moved to... * config/i386/winnt-d.cc: ...here. * config/i386/winnt-stubs.c: Moved to... * config/i386/winnt-stubs.cc: ...here. * config/i386/winnt.c: Moved to... * config/i386/winnt.cc: ...here. * config/i386/x86-tune-sched-atom.c: Moved to... * config/i386/x86-tune-sched-atom.cc: ...here. * config/i386/x86-tune-sched-bd.c: Moved to... * config/i386/x86-tune-sched-bd.cc: ...here. * config/i386/x86-tune-sched-core.c: Moved to... * config/i386/x86-tune-sched-core.cc: ...here. * config/i386/x86-tune-sched.c: Moved to... * config/i386/x86-tune-sched.cc: ...here. * config/ia64/ia64-c.c: Moved to... * config/ia64/ia64-c.cc: ...here. * config/ia64/ia64.c: Moved to... * config/ia64/ia64.cc: ...here. * config/iq2000/iq2000.c: Moved to... * config/iq2000/iq2000.cc: ...here. * config/linux.c: Moved to... * config/linux.cc: ...here. * config/lm32/lm32.c: Moved to... * config/lm32/lm32.cc: ...here. * config/m32c/m32c-pragma.c: Moved to... * config/m32c/m32c-pragma.cc: ...here. * config/m32c/m32c.c: Moved to... * config/m32c/m32c.cc: ...here. * config/m32r/m32r.c: Moved to... * config/m32r/m32r.cc: ...here. * config/m68k/m68k.c: Moved to... * config/m68k/m68k.cc: ...here. * config/mcore/mcore.c: Moved to... * config/mcore/mcore.cc: ...here. * config/microblaze/microblaze-c.c: Moved to... * config/microblaze/microblaze-c.cc: ...here. * config/microblaze/microblaze.c: Moved to... * config/microblaze/microblaze.cc: ...here. * config/mips/driver-native.c: Moved to... * config/mips/driver-native.cc: ...here. * config/mips/frame-header-opt.c: Moved to... * config/mips/frame-header-opt.cc: ...here. * config/mips/mips-d.c: Moved to... * config/mips/mips-d.cc: ...here. * config/mips/mips.c: Moved to... * config/mips/mips.cc: ...here. * config/mmix/mmix.c: Moved to... * config/mmix/mmix.cc: ...here. * config/mn10300/mn10300.c: Moved to... * config/mn10300/mn10300.cc: ...here. * config/moxie/moxie.c: Moved to... * config/moxie/moxie.cc: ...here. * config/msp430/driver-msp430.c: Moved to... * config/msp430/driver-msp430.cc: ...here. * config/msp430/msp430-c.c: Moved to... * config/msp430/msp430-c.cc: ...here. * config/msp430/msp430-devices.c: Moved to... * config/msp430/msp430-devices.cc: ...here. * config/msp430/msp430.c: Moved to... * config/msp430/msp430.cc: ...here. * config/nds32/nds32-cost.c: Moved to... * config/nds32/nds32-cost.cc: ...here. * config/nds32/nds32-fp-as-gp.c: Moved to... * config/nds32/nds32-fp-as-gp.cc: ...here. * config/nds32/nds32-intrinsic.c: Moved to... * config/nds32/nds32-intrinsic.cc: ...here. * config/nds32/nds32-isr.c: Moved to... * config/nds32/nds32-isr.cc: ...here. * config/nds32/nds32-md-auxiliary.c: Moved to... * config/nds32/nds32-md-auxiliary.cc: ...here. * config/nds32/nds32-memory-manipulation.c: Moved to... * config/nds32/nds32-memory-manipulation.cc: ...here. * config/nds32/nds32-pipelines-auxiliary.c: Moved to... * config/nds32/nds32-pipelines-auxiliary.cc: ...here. * config/nds32/nds32-predicates.c: Moved to... * config/nds32/nds32-predicates.cc: ...here. * config/nds32/nds32-relax-opt.c: Moved to... * config/nds32/nds32-relax-opt.cc: ...here. * config/nds32/nds32-utils.c: Moved to... * config/nds32/nds32-utils.cc: ...here. * config/nds32/nds32.c: Moved to... * config/nds32/nds32.cc: ...here. * config/netbsd-d.c: Moved to... * config/netbsd-d.cc: ...here. * config/netbsd.c: Moved to... * config/netbsd.cc: ...here. * config/nios2/nios2.c: Moved to... * config/nios2/nios2.cc: ...here. * config/nvptx/mkoffload.c: Moved to... * config/nvptx/mkoffload.cc: ...here. * config/nvptx/nvptx-c.c: Moved to... * config/nvptx/nvptx-c.cc: ...here. * config/nvptx/nvptx.c: Moved to... * config/nvptx/nvptx.cc: ...here. * config/openbsd-d.c: Moved to... * config/openbsd-d.cc: ...here. * config/or1k/or1k.c: Moved to... * config/or1k/or1k.cc: ...here. * config/pa/pa-d.c: Moved to... * config/pa/pa-d.cc: ...here. * config/pa/pa.c: Moved to... * config/pa/pa.cc: ...here. * config/pdp11/pdp11.c: Moved to... * config/pdp11/pdp11.cc: ...here. * config/pru/pru-passes.c: Moved to... * config/pru/pru-passes.cc: ...here. * config/pru/pru-pragma.c: Moved to... * config/pru/pru-pragma.cc: ...here. * config/pru/pru.c: Moved to... * config/pru/pru.cc: ...here. * config/riscv/riscv-builtins.c: Moved to... * config/riscv/riscv-builtins.cc: ...here. * config/riscv/riscv-c.c: Moved to... * config/riscv/riscv-c.cc: ...here. * config/riscv/riscv-d.c: Moved to... * config/riscv/riscv-d.cc: ...here. * config/riscv/riscv-shorten-memrefs.c: Moved to... * config/riscv/riscv-shorten-memrefs.cc: ...here. * config/riscv/riscv-sr.c: Moved to... * config/riscv/riscv-sr.cc: ...here. * config/riscv/riscv.c: Moved to... * config/riscv/riscv.cc: ...here. * config/rl78/rl78-c.c: Moved to... * config/rl78/rl78-c.cc: ...here. * config/rl78/rl78.c: Moved to... * config/rl78/rl78.cc: ...here. * config/rs6000/driver-rs6000.c: Moved to... * config/rs6000/driver-rs6000.cc: ...here. * config/rs6000/host-darwin.c: Moved to... * config/rs6000/host-darwin.cc: ...here. * config/rs6000/host-ppc64-darwin.c: Moved to... * config/rs6000/host-ppc64-darwin.cc: ...here. * config/rs6000/rbtree.c: Moved to... * config/rs6000/rbtree.cc: ...here. * config/rs6000/rs6000-c.c: Moved to... * config/rs6000/rs6000-c.cc: ...here. * config/rs6000/rs6000-call.c: Moved to... * config/rs6000/rs6000-call.cc: ...here. * config/rs6000/rs6000-d.c: Moved to... * config/rs6000/rs6000-d.cc: ...here. * config/rs6000/rs6000-gen-builtins.c: Moved to... * config/rs6000/rs6000-gen-builtins.cc: ...here. * config/rs6000/rs6000-linux.c: Moved to... * config/rs6000/rs6000-linux.cc: ...here. * config/rs6000/rs6000-logue.c: Moved to... * config/rs6000/rs6000-logue.cc: ...here. * config/rs6000/rs6000-p8swap.c: Moved to... * config/rs6000/rs6000-p8swap.cc: ...here. * config/rs6000/rs6000-pcrel-opt.c: Moved to... * config/rs6000/rs6000-pcrel-opt.cc: ...here. * config/rs6000/rs6000-string.c: Moved to... * config/rs6000/rs6000-string.cc: ...here. * config/rs6000/rs6000.c: Moved to... * config/rs6000/rs6000.cc: ...here. * config/rx/rx.c: Moved to... * config/rx/rx.cc: ...here. * config/s390/driver-native.c: Moved to... * config/s390/driver-native.cc: ...here. * config/s390/s390-c.c: Moved to... * config/s390/s390-c.cc: ...here. * config/s390/s390-d.c: Moved to... * config/s390/s390-d.cc: ...here. * config/s390/s390.c: Moved to... * config/s390/s390.cc: ...here. * config/sh/divtab-sh4-300.c: Moved to... * config/sh/divtab-sh4-300.cc: ...here. * config/sh/divtab-sh4.c: Moved to... * config/sh/divtab-sh4.cc: ...here. * config/sh/divtab.c: Moved to... * config/sh/divtab.cc: ...here. * config/sh/sh-c.c: Moved to... * config/sh/sh-c.cc: ...here. * config/sh/sh.c: Moved to... * config/sh/sh.cc: ...here. * config/sol2-c.c: Moved to... * config/sol2-c.cc: ...here. * config/sol2-cxx.c: Moved to... * config/sol2-cxx.cc: ...here. * config/sol2-d.c: Moved to... * config/sol2-d.cc: ...here. * config/sol2-stubs.c: Moved to... * config/sol2-stubs.cc: ...here. * config/sol2.c: Moved to... * config/sol2.cc: ...here. * config/sparc/driver-sparc.c: Moved to... * config/sparc/driver-sparc.cc: ...here. * config/sparc/sparc-c.c: Moved to... * config/sparc/sparc-c.cc: ...here. * config/sparc/sparc-d.c: Moved to... * config/sparc/sparc-d.cc: ...here. * config/sparc/sparc.c: Moved to... * config/sparc/sparc.cc: ...here. * config/stormy16/stormy16.c: Moved to... * config/stormy16/stormy16.cc: ...here. * config/tilegx/mul-tables.c: Moved to... * config/tilegx/mul-tables.cc: ...here. * config/tilegx/tilegx-c.c: Moved to... * config/tilegx/tilegx-c.cc: ...here. * config/tilegx/tilegx.c: Moved to... * config/tilegx/tilegx.cc: ...here. * config/tilepro/mul-tables.c: Moved to... * config/tilepro/mul-tables.cc: ...here. * config/tilepro/tilepro-c.c: Moved to... * config/tilepro/tilepro-c.cc: ...here. * config/tilepro/tilepro.c: Moved to... * config/tilepro/tilepro.cc: ...here. * config/v850/v850-c.c: Moved to... * config/v850/v850-c.cc: ...here. * config/v850/v850.c: Moved to... * config/v850/v850.cc: ...here. * config/vax/vax.c: Moved to... * config/vax/vax.cc: ...here. * config/visium/visium.c: Moved to... * config/visium/visium.cc: ...here. * config/vms/vms-c.c: Moved to... * config/vms/vms-c.cc: ...here. * config/vms/vms-f.c: Moved to... * config/vms/vms-f.cc: ...here. * config/vms/vms.c: Moved to... * config/vms/vms.cc: ...here. * config/vxworks-c.c: Moved to... * config/vxworks-c.cc: ...here. * config/vxworks.c: Moved to... * config/vxworks.cc: ...here. * config/winnt-c.c: Moved to... * config/winnt-c.cc: ...here. * config/xtensa/xtensa.c: Moved to... * config/xtensa/xtensa.cc: ...here. * context.c: Moved to... * context.cc: ...here. * convert.c: Moved to... * convert.cc: ...here. * coverage.c: Moved to... * coverage.cc: ...here. * cppbuiltin.c: Moved to... * cppbuiltin.cc: ...here. * cppdefault.c: Moved to... * cppdefault.cc: ...here. * cprop.c: Moved to... * cprop.cc: ...here. * cse.c: Moved to... * cse.cc: ...here. * cselib.c: Moved to... * cselib.cc: ...here. * ctfc.c: Moved to... * ctfc.cc: ...here. * ctfout.c: Moved to... * ctfout.cc: ...here. * data-streamer-in.c: Moved to... * data-streamer-in.cc: ...here. * data-streamer-out.c: Moved to... * data-streamer-out.cc: ...here. * data-streamer.c: Moved to... * data-streamer.cc: ...here. * dbgcnt.c: Moved to... * dbgcnt.cc: ...here. * dbxout.c: Moved to... * dbxout.cc: ...here. * dce.c: Moved to... * dce.cc: ...here. * ddg.c: Moved to... * ddg.cc: ...here. * debug.c: Moved to... * debug.cc: ...here. * df-core.c: Moved to... * df-core.cc: ...here. * df-problems.c: Moved to... * df-problems.cc: ...here. * df-scan.c: Moved to... * df-scan.cc: ...here. * dfp.c: Moved to... * dfp.cc: ...here. * diagnostic-color.c: Moved to... * diagnostic-color.cc: ...here. * diagnostic-show-locus.c: Moved to... * diagnostic-show-locus.cc: ...here. * diagnostic-spec.c: Moved to... * diagnostic-spec.cc: ...here. * diagnostic.c: Moved to... * diagnostic.cc: ...here. * dojump.c: Moved to... * dojump.cc: ...here. * dominance.c: Moved to... * dominance.cc: ...here. * domwalk.c: Moved to... * domwalk.cc: ...here. * double-int.c: Moved to... * double-int.cc: ...here. * dse.c: Moved to... * dse.cc: ...here. * dumpfile.c: Moved to... * dumpfile.cc: ...here. * dwarf2asm.c: Moved to... * dwarf2asm.cc: ...here. * dwarf2cfi.c: Moved to... * dwarf2cfi.cc: ...here. * dwarf2ctf.c: Moved to... * dwarf2ctf.cc: ...here. * dwarf2out.c: Moved to... * dwarf2out.cc: ...here. * early-remat.c: Moved to... * early-remat.cc: ...here. * edit-context.c: Moved to... * edit-context.cc: ...here. * emit-rtl.c: Moved to... * emit-rtl.cc: ...here. * errors.c: Moved to... * errors.cc: ...here. * et-forest.c: Moved to... * et-forest.cc: ...here. * except.c: Moved to... * except.cc: ...here. * explow.c: Moved to... * explow.cc: ...here. * expmed.c: Moved to... * expmed.cc: ...here. * expr.c: Moved to... * expr.cc: ...here. * fibonacci_heap.c: Moved to... * fibonacci_heap.cc: ...here. * file-find.c: Moved to... * file-find.cc: ...here. * file-prefix-map.c: Moved to... * file-prefix-map.cc: ...here. * final.c: Moved to... * final.cc: ...here. * fixed-value.c: Moved to... * fixed-value.cc: ...here. * fold-const-call.c: Moved to... * fold-const-call.cc: ...here. * fold-const.c: Moved to... * fold-const.cc: ...here. * fp-test.c: Moved to... * fp-test.cc: ...here. * function-tests.c: Moved to... * function-tests.cc: ...here. * function.c: Moved to... * function.cc: ...here. * fwprop.c: Moved to... * fwprop.cc: ...here. * gcc-ar.c: Moved to... * gcc-ar.cc: ...here. * gcc-main.c: Moved to... * gcc-main.cc: ...here. * gcc-rich-location.c: Moved to... * gcc-rich-location.cc: ...here. * gcc.c: Moved to... * gcc.cc: ...here. * gcov-dump.c: Moved to... * gcov-dump.cc: ...here. * gcov-io.c: Moved to... * gcov-io.cc: ...here. * gcov-tool.c: Moved to... * gcov-tool.cc: ...here. * gcov.c: Moved to... * gcov.cc: ...here. * gcse-common.c: Moved to... * gcse-common.cc: ...here. * gcse.c: Moved to... * gcse.cc: ...here. * genattr-common.c: Moved to... * genattr-common.cc: ...here. * genattr.c: Moved to... * genattr.cc: ...here. * genattrtab.c: Moved to... * genattrtab.cc: ...here. * genautomata.c: Moved to... * genautomata.cc: ...here. * gencfn-macros.c: Moved to... * gencfn-macros.cc: ...here. * gencheck.c: Moved to... * gencheck.cc: ...here. * genchecksum.c: Moved to... * genchecksum.cc: ...here. * gencodes.c: Moved to... * gencodes.cc: ...here. * genconditions.c: Moved to... * genconditions.cc: ...here. * genconfig.c: Moved to... * genconfig.cc: ...here. * genconstants.c: Moved to... * genconstants.cc: ...here. * genemit.c: Moved to... * genemit.cc: ...here. * genenums.c: Moved to... * genenums.cc: ...here. * generic-match-head.c: Moved to... * generic-match-head.cc: ...here. * genextract.c: Moved to... * genextract.cc: ...here. * genflags.c: Moved to... * genflags.cc: ...here. * gengenrtl.c: Moved to... * gengenrtl.cc: ...here. * gengtype-parse.c: Moved to... * gengtype-parse.cc: ...here. * gengtype-state.c: Moved to... * gengtype-state.cc: ...here. * gengtype.c: Moved to... * gengtype.cc: ...here. * genhooks.c: Moved to... * genhooks.cc: ...here. * genmatch.c: Moved to... * genmatch.cc: ...here. * genmddeps.c: Moved to... * genmddeps.cc: ...here. * genmddump.c: Moved to... * genmddump.cc: ...here. * genmodes.c: Moved to... * genmodes.cc: ...here. * genopinit.c: Moved to... * genopinit.cc: ...here. * genoutput.c: Moved to... * genoutput.cc: ...here. * genpeep.c: Moved to... * genpeep.cc: ...here. * genpreds.c: Moved to... * genpreds.cc: ...here. * genrecog.c: Moved to... * genrecog.cc: ...here. * gensupport.c: Moved to... * gensupport.cc: ...here. * gentarget-def.c: Moved to... * gentarget-def.cc: ...here. * genversion.c: Moved to... * genversion.cc: ...here. * ggc-common.c: Moved to... * ggc-common.cc: ...here. * ggc-none.c: Moved to... * ggc-none.cc: ...here. * ggc-page.c: Moved to... * ggc-page.cc: ...here. * ggc-tests.c: Moved to... * ggc-tests.cc: ...here. * gimple-builder.c: Moved to... * gimple-builder.cc: ...here. * gimple-expr.c: Moved to... * gimple-expr.cc: ...here. * gimple-fold.c: Moved to... * gimple-fold.cc: ...here. * gimple-iterator.c: Moved to... * gimple-iterator.cc: ...here. * gimple-laddress.c: Moved to... * gimple-laddress.cc: ...here. * gimple-loop-jam.c: Moved to... * gimple-loop-jam.cc: ...here. * gimple-low.c: Moved to... * gimple-low.cc: ...here. * gimple-match-head.c: Moved to... * gimple-match-head.cc: ...here. * gimple-pretty-print.c: Moved to... * gimple-pretty-print.cc: ...here. * gimple-ssa-backprop.c: Moved to... * gimple-ssa-backprop.cc: ...here. * gimple-ssa-evrp-analyze.c: Moved to... * gimple-ssa-evrp-analyze.cc: ...here. * gimple-ssa-evrp.c: Moved to... * gimple-ssa-evrp.cc: ...here. * gimple-ssa-isolate-paths.c: Moved to... * gimple-ssa-isolate-paths.cc: ...here. * gimple-ssa-nonnull-compare.c: Moved to... * gimple-ssa-nonnull-compare.cc: ...here. * gimple-ssa-split-paths.c: Moved to... * gimple-ssa-split-paths.cc: ...here. * gimple-ssa-sprintf.c: Moved to... * gimple-ssa-sprintf.cc: ...here. * gimple-ssa-store-merging.c: Moved to... * gimple-ssa-store-merging.cc: ...here. * gimple-ssa-strength-reduction.c: Moved to... * gimple-ssa-strength-reduction.cc: ...here. * gimple-ssa-warn-alloca.c: Moved to... * gimple-ssa-warn-alloca.cc: ...here. * gimple-ssa-warn-restrict.c: Moved to... * gimple-ssa-warn-restrict.cc: ...here. * gimple-streamer-in.c: Moved to... * gimple-streamer-in.cc: ...here. * gimple-streamer-out.c: Moved to... * gimple-streamer-out.cc: ...here. * gimple-walk.c: Moved to... * gimple-walk.cc: ...here. * gimple-warn-recursion.c: Moved to... * gimple-warn-recursion.cc: ...here. * gimple.c: Moved to... * gimple.cc: ...here. * gimplify-me.c: Moved to... * gimplify-me.cc: ...here. * gimplify.c: Moved to... * gimplify.cc: ...here. * godump.c: Moved to... * godump.cc: ...here. * graph.c: Moved to... * graph.cc: ...here. * graphds.c: Moved to... * graphds.cc: ...here. * graphite-dependences.c: Moved to... * graphite-dependences.cc: ...here. * graphite-isl-ast-to-gimple.c: Moved to... * graphite-isl-ast-to-gimple.cc: ...here. * graphite-optimize-isl.c: Moved to... * graphite-optimize-isl.cc: ...here. * graphite-poly.c: Moved to... * graphite-poly.cc: ...here. * graphite-scop-detection.c: Moved to... * graphite-scop-detection.cc: ...here. * graphite-sese-to-poly.c: Moved to... * graphite-sese-to-poly.cc: ...here. * graphite.c: Moved to... * graphite.cc: ...here. * haifa-sched.c: Moved to... * haifa-sched.cc: ...here. * hash-map-tests.c: Moved to... * hash-map-tests.cc: ...here. * hash-set-tests.c: Moved to... * hash-set-tests.cc: ...here. * hash-table.c: Moved to... * hash-table.cc: ...here. * hooks.c: Moved to... * hooks.cc: ...here. * host-default.c: Moved to... * host-default.cc: ...here. * hw-doloop.c: Moved to... * hw-doloop.cc: ...here. * hwint.c: Moved to... * hwint.cc: ...here. * ifcvt.c: Moved to... * ifcvt.cc: ...here. * inchash.c: Moved to... * inchash.cc: ...here. * incpath.c: Moved to... * incpath.cc: ...here. * init-regs.c: Moved to... * init-regs.cc: ...here. * input.c: Moved to... * input.cc: ...here. * internal-fn.c: Moved to... * internal-fn.cc: ...here. * intl.c: Moved to... * intl.cc: ...here. * ipa-comdats.c: Moved to... * ipa-comdats.cc: ...here. * ipa-cp.c: Moved to... * ipa-cp.cc: ...here. * ipa-devirt.c: Moved to... * ipa-devirt.cc: ...here. * ipa-fnsummary.c: Moved to... * ipa-fnsummary.cc: ...here. * ipa-icf-gimple.c: Moved to... * ipa-icf-gimple.cc: ...here. * ipa-icf.c: Moved to... * ipa-icf.cc: ...here. * ipa-inline-analysis.c: Moved to... * ipa-inline-analysis.cc: ...here. * ipa-inline-transform.c: Moved to... * ipa-inline-transform.cc: ...here. * ipa-inline.c: Moved to... * ipa-inline.cc: ...here. * ipa-modref-tree.c: Moved to... * ipa-modref-tree.cc: ...here. * ipa-modref.c: Moved to... * ipa-modref.cc: ...here. * ipa-param-manipulation.c: Moved to... * ipa-param-manipulation.cc: ...here. * ipa-polymorphic-call.c: Moved to... * ipa-polymorphic-call.cc: ...here. * ipa-predicate.c: Moved to... * ipa-predicate.cc: ...here. * ipa-profile.c: Moved to... * ipa-profile.cc: ...here. * ipa-prop.c: Moved to... * ipa-prop.cc: ...here. * ipa-pure-const.c: Moved to... * ipa-pure-const.cc: ...here. * ipa-ref.c: Moved to... * ipa-ref.cc: ...here. * ipa-reference.c: Moved to... * ipa-reference.cc: ...here. * ipa-split.c: Moved to... * ipa-split.cc: ...here. * ipa-sra.c: Moved to... * ipa-sra.cc: ...here. * ipa-utils.c: Moved to... * ipa-utils.cc: ...here. * ipa-visibility.c: Moved to... * ipa-visibility.cc: ...here. * ipa.c: Moved to... * ipa.cc: ...here. * ira-build.c: Moved to... * ira-build.cc: ...here. * ira-color.c: Moved to... * ira-color.cc: ...here. * ira-conflicts.c: Moved to... * ira-conflicts.cc: ...here. * ira-costs.c: Moved to... * ira-costs.cc: ...here. * ira-emit.c: Moved to... * ira-emit.cc: ...here. * ira-lives.c: Moved to... * ira-lives.cc: ...here. * ira.c: Moved to... * ira.cc: ...here. * jump.c: Moved to... * jump.cc: ...here. * langhooks.c: Moved to... * langhooks.cc: ...here. * lcm.c: Moved to... * lcm.cc: ...here. * lists.c: Moved to... * lists.cc: ...here. * loop-doloop.c: Moved to... * loop-doloop.cc: ...here. * loop-init.c: Moved to... * loop-init.cc: ...here. * loop-invariant.c: Moved to... * loop-invariant.cc: ...here. * loop-iv.c: Moved to... * loop-iv.cc: ...here. * loop-unroll.c: Moved to... * loop-unroll.cc: ...here. * lower-subreg.c: Moved to... * lower-subreg.cc: ...here. * lra-assigns.c: Moved to... * lra-assigns.cc: ...here. * lra-coalesce.c: Moved to... * lra-coalesce.cc: ...here. * lra-constraints.c: Moved to... * lra-constraints.cc: ...here. * lra-eliminations.c: Moved to... * lra-eliminations.cc: ...here. * lra-lives.c: Moved to... * lra-lives.cc: ...here. * lra-remat.c: Moved to... * lra-remat.cc: ...here. * lra-spills.c: Moved to... * lra-spills.cc: ...here. * lra.c: Moved to... * lra.cc: ...here. * lto-cgraph.c: Moved to... * lto-cgraph.cc: ...here. * lto-compress.c: Moved to... * lto-compress.cc: ...here. * lto-opts.c: Moved to... * lto-opts.cc: ...here. * lto-section-in.c: Moved to... * lto-section-in.cc: ...here. * lto-section-out.c: Moved to... * lto-section-out.cc: ...here. * lto-streamer-in.c: Moved to... * lto-streamer-in.cc: ...here. * lto-streamer-out.c: Moved to... * lto-streamer-out.cc: ...here. * lto-streamer.c: Moved to... * lto-streamer.cc: ...here. * lto-wrapper.c: Moved to... * lto-wrapper.cc: ...here. * main.c: Moved to... * main.cc: ...here. * mcf.c: Moved to... * mcf.cc: ...here. * mode-switching.c: Moved to... * mode-switching.cc: ...here. * modulo-sched.c: Moved to... * modulo-sched.cc: ...here. * multiple_target.c: Moved to... * multiple_target.cc: ...here. * omp-expand.c: Moved to... * omp-expand.cc: ...here. * omp-general.c: Moved to... * omp-general.cc: ...here. * omp-low.c: Moved to... * omp-low.cc: ...here. * omp-offload.c: Moved to... * omp-offload.cc: ...here. * omp-simd-clone.c: Moved to... * omp-simd-clone.cc: ...here. * opt-suggestions.c: Moved to... * opt-suggestions.cc: ...here. * optabs-libfuncs.c: Moved to... * optabs-libfuncs.cc: ...here. * optabs-query.c: Moved to... * optabs-query.cc: ...here. * optabs-tree.c: Moved to... * optabs-tree.cc: ...here. * optabs.c: Moved to... * optabs.cc: ...here. * opts-common.c: Moved to... * opts-common.cc: ...here. * opts-global.c: Moved to... * opts-global.cc: ...here. * opts.c: Moved to... * opts.cc: ...here. * passes.c: Moved to... * passes.cc: ...here. * plugin.c: Moved to... * plugin.cc: ...here. * postreload-gcse.c: Moved to... * postreload-gcse.cc: ...here. * postreload.c: Moved to... * postreload.cc: ...here. * predict.c: Moved to... * predict.cc: ...here. * prefix.c: Moved to... * prefix.cc: ...here. * pretty-print.c: Moved to... * pretty-print.cc: ...here. * print-rtl-function.c: Moved to... * print-rtl-function.cc: ...here. * print-rtl.c: Moved to... * print-rtl.cc: ...here. * print-tree.c: Moved to... * print-tree.cc: ...here. * profile-count.c: Moved to... * profile-count.cc: ...here. * profile.c: Moved to... * profile.cc: ...here. * read-md.c: Moved to... * read-md.cc: ...here. * read-rtl-function.c: Moved to... * read-rtl-function.cc: ...here. * read-rtl.c: Moved to... * read-rtl.cc: ...here. * real.c: Moved to... * real.cc: ...here. * realmpfr.c: Moved to... * realmpfr.cc: ...here. * recog.c: Moved to... * recog.cc: ...here. * ree.c: Moved to... * ree.cc: ...here. * reg-stack.c: Moved to... * reg-stack.cc: ...here. * regcprop.c: Moved to... * regcprop.cc: ...here. * reginfo.c: Moved to... * reginfo.cc: ...here. * regrename.c: Moved to... * regrename.cc: ...here. * regstat.c: Moved to... * regstat.cc: ...here. * reload.c: Moved to... * reload.cc: ...here. * reload1.c: Moved to... * reload1.cc: ...here. * reorg.c: Moved to... * reorg.cc: ...here. * resource.c: Moved to... * resource.cc: ...here. * rtl-error.c: Moved to... * rtl-error.cc: ...here. * rtl-tests.c: Moved to... * rtl-tests.cc: ...here. * rtl.c: Moved to... * rtl.cc: ...here. * rtlanal.c: Moved to... * rtlanal.cc: ...here. * rtlhash.c: Moved to... * rtlhash.cc: ...here. * rtlhooks.c: Moved to... * rtlhooks.cc: ...here. * rtx-vector-builder.c: Moved to... * rtx-vector-builder.cc: ...here. * run-rtl-passes.c: Moved to... * run-rtl-passes.cc: ...here. * sancov.c: Moved to... * sancov.cc: ...here. * sanopt.c: Moved to... * sanopt.cc: ...here. * sbitmap.c: Moved to... * sbitmap.cc: ...here. * sched-deps.c: Moved to... * sched-deps.cc: ...here. * sched-ebb.c: Moved to... * sched-ebb.cc: ...here. * sched-rgn.c: Moved to... * sched-rgn.cc: ...here. * sel-sched-dump.c: Moved to... * sel-sched-dump.cc: ...here. * sel-sched-ir.c: Moved to... * sel-sched-ir.cc: ...here. * sel-sched.c: Moved to... * sel-sched.cc: ...here. * selftest-diagnostic.c: Moved to... * selftest-diagnostic.cc: ...here. * selftest-rtl.c: Moved to... * selftest-rtl.cc: ...here. * selftest-run-tests.c: Moved to... * selftest-run-tests.cc: ...here. * selftest.c: Moved to... * selftest.cc: ...here. * sese.c: Moved to... * sese.cc: ...here. * shrink-wrap.c: Moved to... * shrink-wrap.cc: ...here. * simplify-rtx.c: Moved to... * simplify-rtx.cc: ...here. * sparseset.c: Moved to... * sparseset.cc: ...here. * spellcheck-tree.c: Moved to... * spellcheck-tree.cc: ...here. * spellcheck.c: Moved to... * spellcheck.cc: ...here. * sreal.c: Moved to... * sreal.cc: ...here. * stack-ptr-mod.c: Moved to... * stack-ptr-mod.cc: ...here. * statistics.c: Moved to... * statistics.cc: ...here. * stmt.c: Moved to... * stmt.cc: ...here. * stor-layout.c: Moved to... * stor-layout.cc: ...here. * store-motion.c: Moved to... * store-motion.cc: ...here. * streamer-hooks.c: Moved to... * streamer-hooks.cc: ...here. * stringpool.c: Moved to... * stringpool.cc: ...here. * substring-locations.c: Moved to... * substring-locations.cc: ...here. * symtab.c: Moved to... * symtab.cc: ...here. * target-globals.c: Moved to... * target-globals.cc: ...here. * targhooks.c: Moved to... * targhooks.cc: ...here. * timevar.c: Moved to... * timevar.cc: ...here. * toplev.c: Moved to... * toplev.cc: ...here. * tracer.c: Moved to... * tracer.cc: ...here. * trans-mem.c: Moved to... * trans-mem.cc: ...here. * tree-affine.c: Moved to... * tree-affine.cc: ...here. * tree-call-cdce.c: Moved to... * tree-call-cdce.cc: ...here. * tree-cfg.c: Moved to... * tree-cfg.cc: ...here. * tree-cfgcleanup.c: Moved to... * tree-cfgcleanup.cc: ...here. * tree-chrec.c: Moved to... * tree-chrec.cc: ...here. * tree-complex.c: Moved to... * tree-complex.cc: ...here. * tree-data-ref.c: Moved to... * tree-data-ref.cc: ...here. * tree-dfa.c: Moved to... * tree-dfa.cc: ...here. * tree-diagnostic.c: Moved to... * tree-diagnostic.cc: ...here. * tree-dump.c: Moved to... * tree-dump.cc: ...here. * tree-eh.c: Moved to... * tree-eh.cc: ...here. * tree-emutls.c: Moved to... * tree-emutls.cc: ...here. * tree-if-conv.c: Moved to... * tree-if-conv.cc: ...here. * tree-inline.c: Moved to... * tree-inline.cc: ...here. * tree-into-ssa.c: Moved to... * tree-into-ssa.cc: ...here. * tree-iterator.c: Moved to... * tree-iterator.cc: ...here. * tree-loop-distribution.c: Moved to... * tree-loop-distribution.cc: ...here. * tree-nested.c: Moved to... * tree-nested.cc: ...here. * tree-nrv.c: Moved to... * tree-nrv.cc: ...here. * tree-object-size.c: Moved to... * tree-object-size.cc: ...here. * tree-outof-ssa.c: Moved to... * tree-outof-ssa.cc: ...here. * tree-parloops.c: Moved to... * tree-parloops.cc: ...here. * tree-phinodes.c: Moved to... * tree-phinodes.cc: ...here. * tree-predcom.c: Moved to... * tree-predcom.cc: ...here. * tree-pretty-print.c: Moved to... * tree-pretty-print.cc: ...here. * tree-profile.c: Moved to... * tree-profile.cc: ...here. * tree-scalar-evolution.c: Moved to... * tree-scalar-evolution.cc: ...here. * tree-sra.c: Moved to... * tree-sra.cc: ...here. * tree-ssa-address.c: Moved to... * tree-ssa-address.cc: ...here. * tree-ssa-alias.c: Moved to... * tree-ssa-alias.cc: ...here. * tree-ssa-ccp.c: Moved to... * tree-ssa-ccp.cc: ...here. * tree-ssa-coalesce.c: Moved to... * tree-ssa-coalesce.cc: ...here. * tree-ssa-copy.c: Moved to... * tree-ssa-copy.cc: ...here. * tree-ssa-dce.c: Moved to... * tree-ssa-dce.cc: ...here. * tree-ssa-dom.c: Moved to... * tree-ssa-dom.cc: ...here. * tree-ssa-dse.c: Moved to... * tree-ssa-dse.cc: ...here. * tree-ssa-forwprop.c: Moved to... * tree-ssa-forwprop.cc: ...here. * tree-ssa-ifcombine.c: Moved to... * tree-ssa-ifcombine.cc: ...here. * tree-ssa-live.c: Moved to... * tree-ssa-live.cc: ...here. * tree-ssa-loop-ch.c: Moved to... * tree-ssa-loop-ch.cc: ...here. * tree-ssa-loop-im.c: Moved to... * tree-ssa-loop-im.cc: ...here. * tree-ssa-loop-ivcanon.c: Moved to... * tree-ssa-loop-ivcanon.cc: ...here. * tree-ssa-loop-ivopts.c: Moved to... * tree-ssa-loop-ivopts.cc: ...here. * tree-ssa-loop-manip.c: Moved to... * tree-ssa-loop-manip.cc: ...here. * tree-ssa-loop-niter.c: Moved to... * tree-ssa-loop-niter.cc: ...here. * tree-ssa-loop-prefetch.c: Moved to... * tree-ssa-loop-prefetch.cc: ...here. * tree-ssa-loop-split.c: Moved to... * tree-ssa-loop-split.cc: ...here. * tree-ssa-loop-unswitch.c: Moved to... * tree-ssa-loop-unswitch.cc: ...here. * tree-ssa-loop.c: Moved to... * tree-ssa-loop.cc: ...here. * tree-ssa-math-opts.c: Moved to... * tree-ssa-math-opts.cc: ...here. * tree-ssa-operands.c: Moved to... * tree-ssa-operands.cc: ...here. * tree-ssa-phiopt.c: Moved to... * tree-ssa-phiopt.cc: ...here. * tree-ssa-phiprop.c: Moved to... * tree-ssa-phiprop.cc: ...here. * tree-ssa-pre.c: Moved to... * tree-ssa-pre.cc: ...here. * tree-ssa-propagate.c: Moved to... * tree-ssa-propagate.cc: ...here. * tree-ssa-reassoc.c: Moved to... * tree-ssa-reassoc.cc: ...here. * tree-ssa-sccvn.c: Moved to... * tree-ssa-sccvn.cc: ...here. * tree-ssa-scopedtables.c: Moved to... * tree-ssa-scopedtables.cc: ...here. * tree-ssa-sink.c: Moved to... * tree-ssa-sink.cc: ...here. * tree-ssa-strlen.c: Moved to... * tree-ssa-strlen.cc: ...here. * tree-ssa-structalias.c: Moved to... * tree-ssa-structalias.cc: ...here. * tree-ssa-tail-merge.c: Moved to... * tree-ssa-tail-merge.cc: ...here. * tree-ssa-ter.c: Moved to... * tree-ssa-ter.cc: ...here. * tree-ssa-threadbackward.c: Moved to... * tree-ssa-threadbackward.cc: ...here. * tree-ssa-threadedge.c: Moved to... * tree-ssa-threadedge.cc: ...here. * tree-ssa-threadupdate.c: Moved to... * tree-ssa-threadupdate.cc: ...here. * tree-ssa-uncprop.c: Moved to... * tree-ssa-uncprop.cc: ...here. * tree-ssa-uninit.c: Moved to... * tree-ssa-uninit.cc: ...here. * tree-ssa.c: Moved to... * tree-ssa.cc: ...here. * tree-ssanames.c: Moved to... * tree-ssanames.cc: ...here. * tree-stdarg.c: Moved to... * tree-stdarg.cc: ...here. * tree-streamer-in.c: Moved to... * tree-streamer-in.cc: ...here. * tree-streamer-out.c: Moved to... * tree-streamer-out.cc: ...here. * tree-streamer.c: Moved to... * tree-streamer.cc: ...here. * tree-switch-conversion.c: Moved to... * tree-switch-conversion.cc: ...here. * tree-tailcall.c: Moved to... * tree-tailcall.cc: ...here. * tree-vect-data-refs.c: Moved to... * tree-vect-data-refs.cc: ...here. * tree-vect-generic.c: Moved to... * tree-vect-generic.cc: ...here. * tree-vect-loop-manip.c: Moved to... * tree-vect-loop-manip.cc: ...here. * tree-vect-loop.c: Moved to... * tree-vect-loop.cc: ...here. * tree-vect-patterns.c: Moved to... * tree-vect-patterns.cc: ...here. * tree-vect-slp-patterns.c: Moved to... * tree-vect-slp-patterns.cc: ...here. * tree-vect-slp.c: Moved to... * tree-vect-slp.cc: ...here. * tree-vect-stmts.c: Moved to... * tree-vect-stmts.cc: ...here. * tree-vector-builder.c: Moved to... * tree-vector-builder.cc: ...here. * tree-vectorizer.c: Moved to... * tree-vectorizer.cc: ...here. * tree-vrp.c: Moved to... * tree-vrp.cc: ...here. * tree.c: Moved to... * tree.cc: ...here. * tsan.c: Moved to... * tsan.cc: ...here. * typed-splay-tree.c: Moved to... * typed-splay-tree.cc: ...here. * ubsan.c: Moved to... * ubsan.cc: ...here. * valtrack.c: Moved to... * valtrack.cc: ...here. * value-prof.c: Moved to... * value-prof.cc: ...here. * var-tracking.c: Moved to... * var-tracking.cc: ...here. * varasm.c: Moved to... * varasm.cc: ...here. * varpool.c: Moved to... * varpool.cc: ...here. * vec-perm-indices.c: Moved to... * vec-perm-indices.cc: ...here. * vec.c: Moved to... * vec.cc: ...here. * vmsdbgout.c: Moved to... * vmsdbgout.cc: ...here. * vr-values.c: Moved to... * vr-values.cc: ...here. * vtable-verify.c: Moved to... * vtable-verify.cc: ...here. * web.c: Moved to... * web.cc: ...here. * xcoffout.c: Moved to... * xcoffout.cc: ...here. gcc/c-family/ChangeLog: * c-ada-spec.c: Moved to... * c-ada-spec.cc: ...here. * c-attribs.c: Moved to... * c-attribs.cc: ...here. * c-common.c: Moved to... * c-common.cc: ...here. * c-cppbuiltin.c: Moved to... * c-cppbuiltin.cc: ...here. * c-dump.c: Moved to... * c-dump.cc: ...here. * c-format.c: Moved to... * c-format.cc: ...here. * c-gimplify.c: Moved to... * c-gimplify.cc: ...here. * c-indentation.c: Moved to... * c-indentation.cc: ...here. * c-lex.c: Moved to... * c-lex.cc: ...here. * c-omp.c: Moved to... * c-omp.cc: ...here. * c-opts.c: Moved to... * c-opts.cc: ...here. * c-pch.c: Moved to... * c-pch.cc: ...here. * c-ppoutput.c: Moved to... * c-ppoutput.cc: ...here. * c-pragma.c: Moved to... * c-pragma.cc: ...here. * c-pretty-print.c: Moved to... * c-pretty-print.cc: ...here. * c-semantics.c: Moved to... * c-semantics.cc: ...here. * c-ubsan.c: Moved to... * c-ubsan.cc: ...here. * c-warn.c: Moved to... * c-warn.cc: ...here. * cppspec.c: Moved to... * cppspec.cc: ...here. * stub-objc.c: Moved to... * stub-objc.cc: ...here. gcc/c/ChangeLog: * c-aux-info.c: Moved to... * c-aux-info.cc: ...here. * c-convert.c: Moved to... * c-convert.cc: ...here. * c-decl.c: Moved to... * c-decl.cc: ...here. * c-errors.c: Moved to... * c-errors.cc: ...here. * c-fold.c: Moved to... * c-fold.cc: ...here. * c-lang.c: Moved to... * c-lang.cc: ...here. * c-objc-common.c: Moved to... * c-objc-common.cc: ...here. * c-parser.c: Moved to... * c-parser.cc: ...here. * c-typeck.c: Moved to... * c-typeck.cc: ...here. * gccspec.c: Moved to... * gccspec.cc: ...here. * gimple-parser.c: Moved to... * gimple-parser.cc: ...here. gcc/cp/ChangeLog: * call.c: Moved to... * call.cc: ...here. * class.c: Moved to... * class.cc: ...here. * constexpr.c: Moved to... * constexpr.cc: ...here. * cp-gimplify.c: Moved to... * cp-gimplify.cc: ...here. * cp-lang.c: Moved to... * cp-lang.cc: ...here. * cp-objcp-common.c: Moved to... * cp-objcp-common.cc: ...here. * cp-ubsan.c: Moved to... * cp-ubsan.cc: ...here. * cvt.c: Moved to... * cvt.cc: ...here. * cxx-pretty-print.c: Moved to... * cxx-pretty-print.cc: ...here. * decl.c: Moved to... * decl.cc: ...here. * decl2.c: Moved to... * decl2.cc: ...here. * dump.c: Moved to... * dump.cc: ...here. * error.c: Moved to... * error.cc: ...here. * except.c: Moved to... * except.cc: ...here. * expr.c: Moved to... * expr.cc: ...here. * friend.c: Moved to... * friend.cc: ...here. * g++spec.c: Moved to... * g++spec.cc: ...here. * init.c: Moved to... * init.cc: ...here. * lambda.c: Moved to... * lambda.cc: ...here. * lex.c: Moved to... * lex.cc: ...here. * mangle.c: Moved to... * mangle.cc: ...here. * method.c: Moved to... * method.cc: ...here. * name-lookup.c: Moved to... * name-lookup.cc: ...here. * optimize.c: Moved to... * optimize.cc: ...here. * parser.c: Moved to... * parser.cc: ...here. * pt.c: Moved to... * pt.cc: ...here. * ptree.c: Moved to... * ptree.cc: ...here. * rtti.c: Moved to... * rtti.cc: ...here. * search.c: Moved to... * search.cc: ...here. * semantics.c: Moved to... * semantics.cc: ...here. * tree.c: Moved to... * tree.cc: ...here. * typeck.c: Moved to... * typeck.cc: ...here. * typeck2.c: Moved to... * typeck2.cc: ...here. * vtable-class-hierarchy.c: Moved to... * vtable-class-hierarchy.cc: ...here. gcc/fortran/ChangeLog: * arith.c: Moved to... * arith.cc: ...here. * array.c: Moved to... * array.cc: ...here. * bbt.c: Moved to... * bbt.cc: ...here. * check.c: Moved to... * check.cc: ...here. * class.c: Moved to... * class.cc: ...here. * constructor.c: Moved to... * constructor.cc: ...here. * convert.c: Moved to... * convert.cc: ...here. * cpp.c: Moved to... * cpp.cc: ...here. * data.c: Moved to... * data.cc: ...here. * decl.c: Moved to... * decl.cc: ...here. * dependency.c: Moved to... * dependency.cc: ...here. * dump-parse-tree.c: Moved to... * dump-parse-tree.cc: ...here. * error.c: Moved to... * error.cc: ...here. * expr.c: Moved to... * expr.cc: ...here. * f95-lang.c: Moved to... * f95-lang.cc: ...here. * frontend-passes.c: Moved to... * frontend-passes.cc: ...here. * gfortranspec.c: Moved to... * gfortranspec.cc: ...here. * interface.c: Moved to... * interface.cc: ...here. * intrinsic.c: Moved to... * intrinsic.cc: ...here. * io.c: Moved to... * io.cc: ...here. * iresolve.c: Moved to... * iresolve.cc: ...here. * match.c: Moved to... * match.cc: ...here. * matchexp.c: Moved to... * matchexp.cc: ...here. * misc.c: Moved to... * misc.cc: ...here. * module.c: Moved to... * module.cc: ...here. * openmp.c: Moved to... * openmp.cc: ...here. * options.c: Moved to... * options.cc: ...here. * parse.c: Moved to... * parse.cc: ...here. * primary.c: Moved to... * primary.cc: ...here. * resolve.c: Moved to... * resolve.cc: ...here. * scanner.c: Moved to... * scanner.cc: ...here. * simplify.c: Moved to... * simplify.cc: ...here. * st.c: Moved to... * st.cc: ...here. * symbol.c: Moved to... * symbol.cc: ...here. * target-memory.c: Moved to... * target-memory.cc: ...here. * trans-array.c: Moved to... * trans-array.cc: ...here. * trans-common.c: Moved to... * trans-common.cc: ...here. * trans-const.c: Moved to... * trans-const.cc: ...here. * trans-decl.c: Moved to... * trans-decl.cc: ...here. * trans-expr.c: Moved to... * trans-expr.cc: ...here. * trans-intrinsic.c: Moved to... * trans-intrinsic.cc: ...here. * trans-io.c: Moved to... * trans-io.cc: ...here. * trans-openmp.c: Moved to... * trans-openmp.cc: ...here. * trans-stmt.c: Moved to... * trans-stmt.cc: ...here. * trans-types.c: Moved to... * trans-types.cc: ...here. * trans.c: Moved to... * trans.cc: ...here. gcc/go/ChangeLog: * go-backend.c: Moved to... * go-backend.cc: ...here. * go-lang.c: Moved to... * go-lang.cc: ...here. * gospec.c: Moved to... * gospec.cc: ...here. gcc/jit/ChangeLog: * dummy-frontend.c: Moved to... * dummy-frontend.cc: ...here. * jit-builtins.c: Moved to... * jit-builtins.cc: ...here. * jit-logging.c: Moved to... * jit-logging.cc: ...here. * jit-playback.c: Moved to... * jit-playback.cc: ...here. * jit-recording.c: Moved to... * jit-recording.cc: ...here. * jit-result.c: Moved to... * jit-result.cc: ...here. * jit-spec.c: Moved to... * jit-spec.cc: ...here. * jit-tempdir.c: Moved to... * jit-tempdir.cc: ...here. * jit-w32.c: Moved to... * jit-w32.cc: ...here. * libgccjit.c: Moved to... * libgccjit.cc: ...here. gcc/lto/ChangeLog: * common.c: Moved to... * common.cc: ...here. * lto-common.c: Moved to... * lto-common.cc: ...here. * lto-dump.c: Moved to... * lto-dump.cc: ...here. * lto-lang.c: Moved to... * lto-lang.cc: ...here. * lto-object.c: Moved to... * lto-object.cc: ...here. * lto-partition.c: Moved to... * lto-partition.cc: ...here. * lto-symtab.c: Moved to... * lto-symtab.cc: ...here. * lto.c: Moved to... * lto.cc: ...here. gcc/objc/ChangeLog: * objc-act.c: Moved to... * objc-act.cc: ...here. * objc-encoding.c: Moved to... * objc-encoding.cc: ...here. * objc-gnu-runtime-abi-01.c: Moved to... * objc-gnu-runtime-abi-01.cc: ...here. * objc-lang.c: Moved to... * objc-lang.cc: ...here. * objc-map.c: Moved to... * objc-map.cc: ...here. * objc-next-runtime-abi-01.c: Moved to... * objc-next-runtime-abi-01.cc: ...here. * objc-next-runtime-abi-02.c: Moved to... * objc-next-runtime-abi-02.cc: ...here. * objc-runtime-shared-support.c: Moved to... * objc-runtime-shared-support.cc: ...here. gcc/objcp/ChangeLog: * objcp-decl.c: Moved to... * objcp-decl.cc: ...here. * objcp-lang.c: Moved to... * objcp-lang.cc: ...here. libcpp/ChangeLog: * charset.c: Moved to... * charset.cc: ...here. * directives.c: Moved to... * directives.cc: ...here. * errors.c: Moved to... * errors.cc: ...here. * expr.c: Moved to... * expr.cc: ...here. * files.c: Moved to... * files.cc: ...here. * identifiers.c: Moved to... * identifiers.cc: ...here. * init.c: Moved to... * init.cc: ...here. * lex.c: Moved to... * lex.cc: ...here. * line-map.c: Moved to... * line-map.cc: ...here. * macro.c: Moved to... * macro.cc: ...here. * makeucnid.c: Moved to... * makeucnid.cc: ...here. * mkdeps.c: Moved to... * mkdeps.cc: ...here. * pch.c: Moved to... * pch.cc: ...here. * symtab.c: Moved to... * symtab.cc: ...here. * traditional.c: Moved to... * traditional.cc: ...here.
Diffstat (limited to 'gcc/ipa-polymorphic-call.c')
-rw-r--r--gcc/ipa-polymorphic-call.c2615
1 files changed, 0 insertions, 2615 deletions
diff --git a/gcc/ipa-polymorphic-call.c b/gcc/ipa-polymorphic-call.c
deleted file mode 100644
index 3d5b95b..0000000
--- a/gcc/ipa-polymorphic-call.c
+++ /dev/null
@@ -1,2615 +0,0 @@
-/* Analysis of polymorphic call context.
- Copyright (C) 2013-2022 Free Software Foundation, Inc.
- Contributed by Jan Hubicka
-
-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/>. */
-
-#include "config.h"
-#include "system.h"
-#include "coretypes.h"
-#include "backend.h"
-#include "rtl.h"
-#include "tree.h"
-#include "gimple.h"
-#include "tree-pass.h"
-#include "tree-ssa-operands.h"
-#include "streamer-hooks.h"
-#include "cgraph.h"
-#include "data-streamer.h"
-#include "diagnostic.h"
-#include "alias.h"
-#include "fold-const.h"
-#include "calls.h"
-#include "ipa-utils.h"
-#include "tree-dfa.h"
-#include "gimple-pretty-print.h"
-#include "tree-into-ssa.h"
-#include "alloc-pool.h"
-#include "symbol-summary.h"
-#include "symtab-thunks.h"
-
-/* Return true when TYPE contains an polymorphic type and thus is interesting
- for devirtualization machinery. */
-
-static bool contains_type_p (tree, HOST_WIDE_INT, tree,
- bool consider_placement_new = true,
- bool consider_bases = true);
-
-bool
-contains_polymorphic_type_p (const_tree type)
-{
- type = TYPE_MAIN_VARIANT (type);
-
- if (RECORD_OR_UNION_TYPE_P (type))
- {
- if (TYPE_BINFO (type)
- && polymorphic_type_binfo_p (TYPE_BINFO (type)))
- return true;
- for (tree fld = TYPE_FIELDS (type); fld; fld = DECL_CHAIN (fld))
- if (TREE_CODE (fld) == FIELD_DECL
- && !DECL_ARTIFICIAL (fld)
- && contains_polymorphic_type_p (TREE_TYPE (fld)))
- return true;
- return false;
- }
- if (TREE_CODE (type) == ARRAY_TYPE)
- return contains_polymorphic_type_p (TREE_TYPE (type));
- return false;
-}
-
-/* Return true if it seems valid to use placement new to build EXPECTED_TYPE
- at position CUR_OFFSET within TYPE.
-
- POD can be changed to an instance of a polymorphic type by
- placement new. Here we play safe and assume that any
- non-polymorphic type is POD. */
-bool
-possible_placement_new (tree type, tree expected_type,
- HOST_WIDE_INT cur_offset)
-{
- if (cur_offset < 0)
- return true;
- return ((TREE_CODE (type) != RECORD_TYPE
- || !TYPE_BINFO (type)
- || cur_offset >= POINTER_SIZE
- || !polymorphic_type_binfo_p (TYPE_BINFO (type)))
- && (!TYPE_SIZE (type)
- || !tree_fits_shwi_p (TYPE_SIZE (type))
- || (cur_offset
- + (expected_type ? tree_to_uhwi (TYPE_SIZE (expected_type))
- : POINTER_SIZE)
- <= tree_to_uhwi (TYPE_SIZE (type)))));
-}
-
-/* THIS->OUTER_TYPE is a type of memory object where object of OTR_TYPE
- is contained at THIS->OFFSET. Walk the memory representation of
- THIS->OUTER_TYPE and find the outermost class type that match
- OTR_TYPE or contain OTR_TYPE as a base. Update THIS
- to represent it.
-
- If OTR_TYPE is NULL, just find outermost polymorphic type with
- virtual table present at position OFFSET.
-
- For example when THIS represents type
- class A
- {
- int a;
- class B b;
- }
- and we look for type at offset sizeof(int), we end up with B and offset 0.
- If the same is produced by multiple inheritance, we end up with A and offset
- sizeof(int).
-
- If we cannot find corresponding class, give up by setting
- THIS->OUTER_TYPE to OTR_TYPE and THIS->OFFSET to NULL.
- Return true when lookup was successful.
-
- When CONSIDER_PLACEMENT_NEW is false, reject contexts that may be made
- valid only via allocation of new polymorphic type inside by means
- of placement new.
-
- When CONSIDER_BASES is false, only look for actual fields, not base types
- of TYPE. */
-
-bool
-ipa_polymorphic_call_context::restrict_to_inner_class (tree otr_type,
- bool consider_placement_new,
- bool consider_bases)
-{
- tree type = outer_type;
- HOST_WIDE_INT cur_offset = offset;
- bool speculative = false;
- bool size_unknown = false;
- unsigned HOST_WIDE_INT otr_type_size = POINTER_SIZE;
-
- /* Update OUTER_TYPE to match EXPECTED_TYPE if it is not set. */
- if (!outer_type)
- {
- clear_outer_type (otr_type);
- type = otr_type;
- cur_offset = 0;
- }
- /* See if OFFSET points inside OUTER_TYPE. If it does not, we know
- that the context is either invalid, or the instance type must be
- derived from OUTER_TYPE.
-
- Because the instance type may contain field whose type is of OUTER_TYPE,
- we cannot derive any effective information about it.
-
- TODO: In the case we know all derived types, we can definitely do better
- here. */
- else if (TYPE_SIZE (outer_type)
- && tree_fits_shwi_p (TYPE_SIZE (outer_type))
- && tree_to_shwi (TYPE_SIZE (outer_type)) >= 0
- && tree_to_shwi (TYPE_SIZE (outer_type)) <= offset)
- {
- bool der = maybe_derived_type; /* clear_outer_type will reset it. */
- bool dyn = dynamic;
- clear_outer_type (otr_type);
- type = otr_type;
- cur_offset = 0;
-
- /* If derived type is not allowed, we know that the context is invalid.
- For dynamic types, we really do not have information about
- size of the memory location. It is possible that completely
- different type is stored after outer_type. */
- if (!der && !dyn)
- {
- clear_speculation ();
- invalid = true;
- return false;
- }
- }
-
- if (otr_type && TYPE_SIZE (otr_type)
- && tree_fits_shwi_p (TYPE_SIZE (otr_type)))
- otr_type_size = tree_to_uhwi (TYPE_SIZE (otr_type));
-
- if (!type || offset < 0)
- goto no_useful_type_info;
-
- /* Find the sub-object the constant actually refers to and mark whether it is
- an artificial one (as opposed to a user-defined one).
-
- This loop is performed twice; first time for outer_type and second time
- for speculative_outer_type. The second run has SPECULATIVE set. */
- while (true)
- {
- unsigned HOST_WIDE_INT pos, size;
- tree fld;
-
- /* If we do not know size of TYPE, we need to be more conservative
- about accepting cases where we cannot find EXPECTED_TYPE.
- Generally the types that do matter here are of constant size.
- Size_unknown case should be very rare. */
- if (TYPE_SIZE (type)
- && tree_fits_shwi_p (TYPE_SIZE (type))
- && tree_to_shwi (TYPE_SIZE (type)) >= 0)
- size_unknown = false;
- else
- size_unknown = true;
-
- /* On a match, just return what we found. */
- if ((otr_type
- && types_odr_comparable (type, otr_type)
- && types_same_for_odr (type, otr_type))
- || (!otr_type
- && TREE_CODE (type) == RECORD_TYPE
- && TYPE_BINFO (type)
- && polymorphic_type_binfo_p (TYPE_BINFO (type))))
- {
- if (speculative)
- {
- /* If we did not match the offset, just give up on speculation. */
- if (cur_offset != 0
- /* Also check if speculation did not end up being same as
- non-speculation. */
- || (types_must_be_same_for_odr (speculative_outer_type,
- outer_type)
- && (maybe_derived_type
- == speculative_maybe_derived_type)))
- clear_speculation ();
- return true;
- }
- else
- {
- /* If type is known to be final, do not worry about derived
- types. Testing it here may help us to avoid speculation. */
- if (otr_type && TREE_CODE (outer_type) == RECORD_TYPE
- && (!in_lto_p || odr_type_p (outer_type))
- && type_with_linkage_p (outer_type)
- && type_known_to_have_no_derivations_p (outer_type))
- maybe_derived_type = false;
-
- /* Type cannot contain itself on an non-zero offset. In that case
- just give up. Still accept the case where size is now known.
- Either the second copy may appear past the end of type or within
- the non-POD buffer located inside the variably sized type
- itself. */
- if (cur_offset != 0)
- goto no_useful_type_info;
- /* If we determined type precisely or we have no clue on
- speculation, we are done. */
- if (!maybe_derived_type || !speculative_outer_type
- || !speculation_consistent_p (speculative_outer_type,
- speculative_offset,
- speculative_maybe_derived_type,
- otr_type))
- {
- clear_speculation ();
- return true;
- }
- /* Otherwise look into speculation now. */
- else
- {
- speculative = true;
- type = speculative_outer_type;
- cur_offset = speculative_offset;
- continue;
- }
- }
- }
-
- /* Walk fields and find corresponding on at OFFSET. */
- if (TREE_CODE (type) == RECORD_TYPE)
- {
- for (fld = TYPE_FIELDS (type); fld; fld = DECL_CHAIN (fld))
- {
- if (TREE_CODE (fld) != FIELD_DECL
- || TREE_TYPE (fld) == error_mark_node)
- continue;
-
- pos = int_bit_position (fld);
- if (pos > (unsigned HOST_WIDE_INT)cur_offset)
- continue;
-
- /* Do not consider vptr itself. Not even for placement new. */
- if (!pos && DECL_ARTIFICIAL (fld)
- && POINTER_TYPE_P (TREE_TYPE (fld))
- && TYPE_BINFO (type)
- && polymorphic_type_binfo_p (TYPE_BINFO (type)))
- continue;
-
- if (!DECL_SIZE (fld) || !tree_fits_uhwi_p (DECL_SIZE (fld)))
- goto no_useful_type_info;
- size = tree_to_uhwi (DECL_SIZE (fld));
-
- /* We can always skip types smaller than pointer size:
- those cannot contain a virtual table pointer.
-
- Disqualifying fields that are too small to fit OTR_TYPE
- saves work needed to walk them for no benefit.
- Because of the way the bases are packed into a class, the
- field's size may be smaller than type size, so it needs
- to be done with a care. */
-
- if (pos <= (unsigned HOST_WIDE_INT)cur_offset
- && (pos + size) >= (unsigned HOST_WIDE_INT)cur_offset
- + POINTER_SIZE
- && (!otr_type
- || !TYPE_SIZE (TREE_TYPE (fld))
- || !tree_fits_shwi_p (TYPE_SIZE (TREE_TYPE (fld)))
- || (pos + tree_to_uhwi (TYPE_SIZE (TREE_TYPE (fld))))
- >= cur_offset + otr_type_size))
- break;
- }
-
- if (!fld)
- goto no_useful_type_info;
-
- type = TYPE_MAIN_VARIANT (TREE_TYPE (fld));
- cur_offset -= pos;
- /* DECL_ARTIFICIAL represents a basetype. */
- if (!DECL_ARTIFICIAL (fld))
- {
- if (!speculative)
- {
- outer_type = type;
- offset = cur_offset;
- /* As soon as we see an field containing the type,
- we know we are not looking for derivations. */
- maybe_derived_type = false;
- }
- else
- {
- speculative_outer_type = type;
- speculative_offset = cur_offset;
- speculative_maybe_derived_type = false;
- }
- }
- else if (!consider_bases)
- goto no_useful_type_info;
- }
- else if (TREE_CODE (type) == ARRAY_TYPE)
- {
- tree subtype = TYPE_MAIN_VARIANT (TREE_TYPE (type));
-
- /* Give up if we don't know array field size.
- Also give up on non-polymorphic types as they are used
- as buffers for placement new. */
- if (!TYPE_SIZE (subtype)
- || !tree_fits_shwi_p (TYPE_SIZE (subtype))
- || tree_to_shwi (TYPE_SIZE (subtype)) <= 0
- || !contains_polymorphic_type_p (subtype))
- goto no_useful_type_info;
-
- HOST_WIDE_INT new_offset = cur_offset % tree_to_shwi (TYPE_SIZE (subtype));
-
- /* We may see buffer for placement new. In this case the expected type
- can be bigger than the subtype. */
- if (TYPE_SIZE (subtype)
- && (cur_offset + otr_type_size
- > tree_to_uhwi (TYPE_SIZE (subtype))))
- goto no_useful_type_info;
-
- cur_offset = new_offset;
- type = TYPE_MAIN_VARIANT (subtype);
- if (!speculative)
- {
- outer_type = type;
- offset = cur_offset;
- maybe_derived_type = false;
- }
- else
- {
- speculative_outer_type = type;
- speculative_offset = cur_offset;
- speculative_maybe_derived_type = false;
- }
- }
- /* Give up on anything else. */
- else
- {
-no_useful_type_info:
- if (maybe_derived_type && !speculative
- && TREE_CODE (outer_type) == RECORD_TYPE
- && TREE_CODE (otr_type) == RECORD_TYPE
- && TYPE_BINFO (otr_type)
- && !offset
- && get_binfo_at_offset (TYPE_BINFO (otr_type), 0, outer_type))
- {
- clear_outer_type (otr_type);
- if (!speculative_outer_type
- || !speculation_consistent_p (speculative_outer_type,
- speculative_offset,
- speculative_maybe_derived_type,
- otr_type))
- clear_speculation ();
- if (speculative_outer_type)
- {
- speculative = true;
- type = speculative_outer_type;
- cur_offset = speculative_offset;
- }
- else
- return true;
- }
- /* We found no way to embed EXPECTED_TYPE in TYPE.
- We still permit two special cases - placement new and
- the case of variadic types containing themselves. */
- if (!speculative
- && consider_placement_new
- && (size_unknown || !type || maybe_derived_type
- || possible_placement_new (type, otr_type, cur_offset)))
- {
- /* In these weird cases we want to accept the context.
- In non-speculative run we have no useful outer_type info
- (TODO: we may eventually want to record upper bound on the
- type size that can be used to prune the walk),
- but we still want to consider speculation that may
- give useful info. */
- if (!speculative)
- {
- clear_outer_type (otr_type);
- if (!speculative_outer_type
- || !speculation_consistent_p (speculative_outer_type,
- speculative_offset,
- speculative_maybe_derived_type,
- otr_type))
- clear_speculation ();
- if (speculative_outer_type)
- {
- speculative = true;
- type = speculative_outer_type;
- cur_offset = speculative_offset;
- }
- else
- return true;
- }
- else
- {
- clear_speculation ();
- return true;
- }
- }
- else
- {
- clear_speculation ();
- if (speculative)
- return true;
- clear_outer_type (otr_type);
- invalid = true;
- return false;
- }
- }
- }
-}
-
-/* Return true if OUTER_TYPE contains OTR_TYPE at OFFSET.
- CONSIDER_PLACEMENT_NEW makes function to accept cases where OTR_TYPE can
- be built within OUTER_TYPE by means of placement new. CONSIDER_BASES makes
- function to accept cases where OTR_TYPE appears as base of OUTER_TYPE or as
- base of one of fields of OUTER_TYPE. */
-
-static bool
-contains_type_p (tree outer_type, HOST_WIDE_INT offset,
- tree otr_type,
- bool consider_placement_new,
- bool consider_bases)
-{
- ipa_polymorphic_call_context context;
-
- /* Check that type is within range. */
- if (offset < 0)
- return false;
-
- /* PR ipa/71207
- As OUTER_TYPE can be a type which has a diamond virtual inheritance,
- it's not necessary that INNER_TYPE will fit within OUTER_TYPE with
- a given offset. It can happen that INNER_TYPE also contains a base object,
- however it would point to the same instance in the OUTER_TYPE. */
-
- context.offset = offset;
- context.outer_type = TYPE_MAIN_VARIANT (outer_type);
- context.maybe_derived_type = false;
- context.dynamic = false;
- return context.restrict_to_inner_class (otr_type, consider_placement_new,
- consider_bases);
-}
-
-
-/* Return a FUNCTION_DECL if FN represent a constructor or destructor.
- If CHECK_CLONES is true, also check for clones of ctor/dtors. */
-
-tree
-polymorphic_ctor_dtor_p (tree fn, bool check_clones)
-{
- if (TREE_CODE (TREE_TYPE (fn)) != METHOD_TYPE
- || (!DECL_CXX_CONSTRUCTOR_P (fn) && !DECL_CXX_DESTRUCTOR_P (fn)))
- {
- if (!check_clones)
- return NULL_TREE;
-
- /* Watch for clones where we constant propagated the first
- argument (pointer to the instance). */
- fn = DECL_ABSTRACT_ORIGIN (fn);
- if (!fn
- || TREE_CODE (TREE_TYPE (fn)) != METHOD_TYPE
- || (!DECL_CXX_CONSTRUCTOR_P (fn) && !DECL_CXX_DESTRUCTOR_P (fn)))
- return NULL_TREE;
- }
-
- if (flags_from_decl_or_type (fn) & (ECF_PURE | ECF_CONST))
- return NULL_TREE;
-
- return fn;
-}
-
-/* Return a FUNCTION_DECL if BLOCK represents a constructor or destructor.
- If CHECK_CLONES is true, also check for clones of ctor/dtors. */
-
-tree
-inlined_polymorphic_ctor_dtor_block_p (tree block, bool check_clones)
-{
- tree fn = block_ultimate_origin (block);
- if (fn == NULL || TREE_CODE (fn) != FUNCTION_DECL)
- return NULL_TREE;
-
- return polymorphic_ctor_dtor_p (fn, check_clones);
-}
-
-
-/* We know that the instance is stored in variable or parameter
- (not dynamically allocated) and we want to disprove the fact
- that it may be in construction at invocation of CALL.
-
- BASE represents memory location where instance is stored.
- If BASE is NULL, it is assumed to be global memory.
- OUTER_TYPE is known type of the instance or NULL if not
- known.
-
- For the variable to be in construction we actually need to
- be in constructor of corresponding global variable or
- the inline stack of CALL must contain the constructor.
- Check this condition. This check works safely only before
- IPA passes, because inline stacks may become out of date
- later. */
-
-bool
-decl_maybe_in_construction_p (tree base, tree outer_type,
- gimple *call, tree function)
-{
- if (outer_type)
- outer_type = TYPE_MAIN_VARIANT (outer_type);
- gcc_assert (!base || DECL_P (base));
-
- /* After inlining the code unification optimizations may invalidate
- inline stacks. Also we need to give up on global variables after
- IPA, because addresses of these may have been propagated to their
- constructors. */
- if (DECL_STRUCT_FUNCTION (function)->after_inlining)
- return true;
-
- /* Pure functions cannot do any changes on the dynamic type;
- that require writing to memory. */
- if ((!base || !auto_var_in_fn_p (base, function))
- && flags_from_decl_or_type (function) & (ECF_PURE | ECF_CONST))
- return false;
-
- bool check_clones = !base || is_global_var (base);
- for (tree block = gimple_block (call); block && TREE_CODE (block) == BLOCK;
- block = BLOCK_SUPERCONTEXT (block))
- if (tree fn = inlined_polymorphic_ctor_dtor_block_p (block, check_clones))
- {
- tree type = TYPE_METHOD_BASETYPE (TREE_TYPE (fn));
-
- if (!outer_type || !types_odr_comparable (type, outer_type))
- {
- if (TREE_CODE (type) == RECORD_TYPE
- && TYPE_BINFO (type)
- && polymorphic_type_binfo_p (TYPE_BINFO (type)))
- return true;
- }
- else if (types_same_for_odr (type, outer_type))
- return true;
- }
-
- if (!base || (VAR_P (base) && is_global_var (base)))
- {
- if (TREE_CODE (TREE_TYPE (function)) != METHOD_TYPE
- || (!DECL_CXX_CONSTRUCTOR_P (function)
- && !DECL_CXX_DESTRUCTOR_P (function)))
- {
- if (!DECL_ABSTRACT_ORIGIN (function))
- return false;
- /* Watch for clones where we constant propagated the first
- argument (pointer to the instance). */
- function = DECL_ABSTRACT_ORIGIN (function);
- if (!function
- || TREE_CODE (TREE_TYPE (function)) != METHOD_TYPE
- || (!DECL_CXX_CONSTRUCTOR_P (function)
- && !DECL_CXX_DESTRUCTOR_P (function)))
- return false;
- }
- tree type = TYPE_METHOD_BASETYPE (TREE_TYPE (function));
- if (!outer_type || !types_odr_comparable (type, outer_type))
- {
- if (TREE_CODE (type) == RECORD_TYPE
- && TYPE_BINFO (type)
- && polymorphic_type_binfo_p (TYPE_BINFO (type)))
- return true;
- }
- else if (types_same_for_odr (type, outer_type))
- return true;
- }
- return false;
-}
-
-/* Dump human readable context to F. If NEWLINE is true, it will be terminated
- by a newline. */
-
-void
-ipa_polymorphic_call_context::dump (FILE *f, bool newline) const
-{
- fprintf (f, " ");
- if (invalid)
- fprintf (f, "Call is known to be undefined");
- else
- {
- if (useless_p ())
- fprintf (f, "nothing known");
- if (outer_type || offset)
- {
- fprintf (f, "Outer type%s:", dynamic ? " (dynamic)":"");
- print_generic_expr (f, outer_type, TDF_SLIM);
- if (maybe_derived_type)
- fprintf (f, " (or a derived type)");
- if (maybe_in_construction)
- fprintf (f, " (maybe in construction)");
- fprintf (f, " offset " HOST_WIDE_INT_PRINT_DEC,
- offset);
- }
- if (speculative_outer_type)
- {
- if (outer_type || offset)
- fprintf (f, " ");
- fprintf (f, "Speculative outer type:");
- print_generic_expr (f, speculative_outer_type, TDF_SLIM);
- if (speculative_maybe_derived_type)
- fprintf (f, " (or a derived type)");
- fprintf (f, " at offset " HOST_WIDE_INT_PRINT_DEC,
- speculative_offset);
- }
- }
- if (newline)
- fprintf(f, "\n");
-}
-
-/* Print context to stderr. */
-
-void
-ipa_polymorphic_call_context::debug () const
-{
- dump (stderr);
-}
-
-/* Stream out the context to OB. */
-
-void
-ipa_polymorphic_call_context::stream_out (struct output_block *ob) const
-{
- struct bitpack_d bp = bitpack_create (ob->main_stream);
-
- bp_pack_value (&bp, invalid, 1);
- bp_pack_value (&bp, maybe_in_construction, 1);
- bp_pack_value (&bp, maybe_derived_type, 1);
- bp_pack_value (&bp, speculative_maybe_derived_type, 1);
- bp_pack_value (&bp, dynamic, 1);
- bp_pack_value (&bp, outer_type != NULL, 1);
- bp_pack_value (&bp, offset != 0, 1);
- bp_pack_value (&bp, speculative_outer_type != NULL, 1);
- streamer_write_bitpack (&bp);
-
- if (outer_type != NULL)
- stream_write_tree (ob, outer_type, true);
- if (offset)
- streamer_write_hwi (ob, offset);
- if (speculative_outer_type != NULL)
- {
- stream_write_tree (ob, speculative_outer_type, true);
- streamer_write_hwi (ob, speculative_offset);
- }
- else
- gcc_assert (!speculative_offset);
-}
-
-/* Stream in the context from IB and DATA_IN. */
-
-void
-ipa_polymorphic_call_context::stream_in (class lto_input_block *ib,
- class data_in *data_in)
-{
- struct bitpack_d bp = streamer_read_bitpack (ib);
-
- invalid = bp_unpack_value (&bp, 1);
- maybe_in_construction = bp_unpack_value (&bp, 1);
- maybe_derived_type = bp_unpack_value (&bp, 1);
- speculative_maybe_derived_type = bp_unpack_value (&bp, 1);
- dynamic = bp_unpack_value (&bp, 1);
- bool outer_type_p = bp_unpack_value (&bp, 1);
- bool offset_p = bp_unpack_value (&bp, 1);
- bool speculative_outer_type_p = bp_unpack_value (&bp, 1);
-
- if (outer_type_p)
- outer_type = stream_read_tree (ib, data_in);
- else
- outer_type = NULL;
- if (offset_p)
- offset = (HOST_WIDE_INT) streamer_read_hwi (ib);
- else
- offset = 0;
- if (speculative_outer_type_p)
- {
- speculative_outer_type = stream_read_tree (ib, data_in);
- speculative_offset = (HOST_WIDE_INT) streamer_read_hwi (ib);
- }
- else
- {
- speculative_outer_type = NULL;
- speculative_offset = 0;
- }
-}
-
-/* Produce polymorphic call context for call method of instance
- that is located within BASE (that is assumed to be a decl) at offset OFF. */
-
-void
-ipa_polymorphic_call_context::set_by_decl (tree base, HOST_WIDE_INT off)
-{
- gcc_assert (DECL_P (base));
- clear_speculation ();
-
- if (!contains_polymorphic_type_p (TREE_TYPE (base)))
- {
- clear_outer_type ();
- offset = off;
- return;
- }
- outer_type = TYPE_MAIN_VARIANT (TREE_TYPE (base));
- offset = off;
- /* Make very conservative assumption that all objects
- may be in construction.
-
- It is up to caller to revisit this via
- get_dynamic_type or decl_maybe_in_construction_p. */
- maybe_in_construction = true;
- maybe_derived_type = false;
- dynamic = false;
-}
-
-/* CST is an invariant (address of decl), try to get meaningful
- polymorphic call context for polymorphic call of method
- if instance of OTR_TYPE that is located at offset OFF of this invariant.
- Return FALSE if nothing meaningful can be found. */
-
-bool
-ipa_polymorphic_call_context::set_by_invariant (tree cst,
- tree otr_type,
- HOST_WIDE_INT off)
-{
- poly_int64 offset2, size, max_size;
- bool reverse;
- tree base;
-
- invalid = false;
- off = 0;
- clear_outer_type (otr_type);
-
- if (TREE_CODE (cst) != ADDR_EXPR)
- return false;
-
- cst = TREE_OPERAND (cst, 0);
- base = get_ref_base_and_extent (cst, &offset2, &size, &max_size, &reverse);
- if (!DECL_P (base) || !known_size_p (max_size) || maybe_ne (max_size, size))
- return false;
-
- /* Only type inconsistent programs can have otr_type that is
- not part of outer type. */
- if (otr_type && !contains_type_p (TREE_TYPE (base), off, otr_type))
- return false;
-
- set_by_decl (base, off);
- return true;
-}
-
-/* See if OP is SSA name initialized as a copy or by single assignment.
- If so, walk the SSA graph up. Because simple PHI conditional is considered
- copy, GLOBAL_VISITED may be used to avoid infinite loop walking the SSA
- graph. */
-
-static tree
-walk_ssa_copies (tree op, hash_set<tree> **global_visited = NULL)
-{
- hash_set <tree> *visited = NULL;
- STRIP_NOPS (op);
- while (TREE_CODE (op) == SSA_NAME
- && !SSA_NAME_IS_DEFAULT_DEF (op)
- /* We might be called via fold_stmt during cfgcleanup where
- SSA form need not be up-to-date. */
- && !name_registered_for_update_p (op)
- && (gimple_assign_single_p (SSA_NAME_DEF_STMT (op))
- || gimple_code (SSA_NAME_DEF_STMT (op)) == GIMPLE_PHI))
- {
- if (global_visited)
- {
- if (!*global_visited)
- *global_visited = new hash_set<tree>;
- if ((*global_visited)->add (op))
- goto done;
- }
- else
- {
- if (!visited)
- visited = new hash_set<tree>;
- if (visited->add (op))
- goto done;
- }
- /* Special case
- if (ptr == 0)
- ptr = 0;
- else
- ptr = ptr.foo;
- This pattern is implicitly produced for casts to non-primary
- bases. When doing context analysis, we do not really care
- about the case pointer is NULL, because the call will be
- undefined anyway. */
- if (gimple_code (SSA_NAME_DEF_STMT (op)) == GIMPLE_PHI)
- {
- gimple *phi = SSA_NAME_DEF_STMT (op);
-
- if (gimple_phi_num_args (phi) > 2)
- goto done;
- if (gimple_phi_num_args (phi) == 1)
- op = gimple_phi_arg_def (phi, 0);
- else if (integer_zerop (gimple_phi_arg_def (phi, 0)))
- op = gimple_phi_arg_def (phi, 1);
- else if (integer_zerop (gimple_phi_arg_def (phi, 1)))
- op = gimple_phi_arg_def (phi, 0);
- else
- goto done;
- }
- else
- {
- if (gimple_assign_load_p (SSA_NAME_DEF_STMT (op)))
- goto done;
- op = gimple_assign_rhs1 (SSA_NAME_DEF_STMT (op));
- }
- STRIP_NOPS (op);
- }
-done:
- if (visited)
- delete (visited);
- return op;
-}
-
-/* Create polymorphic call context from IP invariant CST.
- This is typically &global_var.
- OTR_TYPE specify type of polymorphic call or NULL if unknown, OFF
- is offset of call. */
-
-ipa_polymorphic_call_context::ipa_polymorphic_call_context (tree cst,
- tree otr_type,
- HOST_WIDE_INT off)
-{
- clear_speculation ();
- set_by_invariant (cst, otr_type, off);
-}
-
-/* Build context for pointer REF contained in FNDECL at statement STMT.
- if INSTANCE is non-NULL, return pointer to the object described by
- the context or DECL where context is contained in. */
-
-ipa_polymorphic_call_context::ipa_polymorphic_call_context (tree fndecl,
- tree ref,
- gimple *stmt,
- tree *instance)
-{
- tree otr_type = NULL;
- tree base_pointer;
- hash_set <tree> *visited = NULL;
-
- if (TREE_CODE (ref) == OBJ_TYPE_REF)
- {
- otr_type = obj_type_ref_class (ref);
- base_pointer = OBJ_TYPE_REF_OBJECT (ref);
- }
- else
- base_pointer = ref;
-
- /* Set up basic info in case we find nothing interesting in the analysis. */
- clear_speculation ();
- clear_outer_type (otr_type);
- invalid = false;
-
- /* Walk SSA for outer object. */
- while (true)
- {
- base_pointer = walk_ssa_copies (base_pointer, &visited);
- if (TREE_CODE (base_pointer) == ADDR_EXPR)
- {
- HOST_WIDE_INT offset2, size;
- bool reverse;
- tree base
- = get_ref_base_and_extent_hwi (TREE_OPERAND (base_pointer, 0),
- &offset2, &size, &reverse);
- if (!base)
- break;
-
- combine_speculation_with (TYPE_MAIN_VARIANT (TREE_TYPE (base)),
- offset + offset2,
- true,
- NULL /* Do not change outer type. */);
-
- /* If this is a varying address, punt. */
- if (TREE_CODE (base) == MEM_REF || DECL_P (base))
- {
- /* We found dereference of a pointer. Type of the pointer
- and MEM_REF is meaningless, but we can look further. */
- offset_int mem_offset;
- if (TREE_CODE (base) == MEM_REF
- && mem_ref_offset (base).is_constant (&mem_offset))
- {
- offset_int o = mem_offset * BITS_PER_UNIT;
- o += offset;
- o += offset2;
- if (!wi::fits_shwi_p (o))
- break;
- base_pointer = TREE_OPERAND (base, 0);
- offset = o.to_shwi ();
- outer_type = NULL;
- }
- /* We found base object. In this case the outer_type
- is known. */
- else if (DECL_P (base))
- {
- if (visited)
- delete (visited);
- /* Only type inconsistent programs can have otr_type that is
- not part of outer type. */
- if (otr_type
- && !contains_type_p (TREE_TYPE (base),
- offset + offset2, otr_type))
- {
- invalid = true;
- if (instance)
- *instance = base_pointer;
- return;
- }
- set_by_decl (base, offset + offset2);
- if (outer_type && maybe_in_construction && stmt)
- maybe_in_construction
- = decl_maybe_in_construction_p (base,
- outer_type,
- stmt,
- fndecl);
- if (instance)
- *instance = base;
- return;
- }
- else
- break;
- }
- else
- break;
- }
- else if (TREE_CODE (base_pointer) == POINTER_PLUS_EXPR
- && TREE_CODE (TREE_OPERAND (base_pointer, 1)) == INTEGER_CST)
- {
- offset_int o
- = offset_int::from (wi::to_wide (TREE_OPERAND (base_pointer, 1)),
- SIGNED);
- o *= BITS_PER_UNIT;
- o += offset;
- if (!wi::fits_shwi_p (o))
- break;
- offset = o.to_shwi ();
- base_pointer = TREE_OPERAND (base_pointer, 0);
- }
- else
- break;
- }
-
- if (visited)
- delete (visited);
-
- /* Try to determine type of the outer object. */
- if (TREE_CODE (base_pointer) == SSA_NAME
- && SSA_NAME_IS_DEFAULT_DEF (base_pointer)
- && TREE_CODE (SSA_NAME_VAR (base_pointer)) == PARM_DECL)
- {
- /* See if parameter is THIS pointer of a method. */
- if (TREE_CODE (TREE_TYPE (fndecl)) == METHOD_TYPE
- && SSA_NAME_VAR (base_pointer) == DECL_ARGUMENTS (fndecl))
- {
- outer_type
- = TYPE_MAIN_VARIANT (TREE_TYPE (TREE_TYPE (base_pointer)));
- cgraph_node *node = cgraph_node::get (current_function_decl);
- gcc_assert (TREE_CODE (outer_type) == RECORD_TYPE
- || TREE_CODE (outer_type) == UNION_TYPE);
-
- /* Handle the case we inlined into a thunk. In this case
- thunk has THIS pointer of type bar, but it really receives
- address to its base type foo which sits in bar at
- 0-thunk.fixed_offset. It starts with code that adds
- think.fixed_offset to the pointer to compensate for this.
-
- Because we walked all the way to the beginning of thunk, we now
- see pointer &bar-thunk.fixed_offset and need to compensate
- for it. */
- thunk_info *info = thunk_info::get (node);
- if (info && info->fixed_offset)
- offset -= info->fixed_offset * BITS_PER_UNIT;
-
- /* Dynamic casting has possibly upcasted the type
- in the hierarchy. In this case outer type is less
- informative than inner type and we should forget
- about it. */
- if ((otr_type
- && !contains_type_p (outer_type, offset,
- otr_type))
- || !contains_polymorphic_type_p (outer_type)
- /* If we compile thunk with virtual offset, the THIS pointer
- is adjusted by unknown value. We can't thus use outer info
- at all. */
- || (info && info->virtual_offset_p))
- {
- outer_type = NULL;
- if (instance)
- *instance = base_pointer;
- return;
- }
-
- dynamic = true;
-
- /* If the function is constructor or destructor, then
- the type is possibly in construction, but we know
- it is not derived type. */
- if (DECL_CXX_CONSTRUCTOR_P (fndecl)
- || DECL_CXX_DESTRUCTOR_P (fndecl))
- {
- maybe_in_construction = true;
- maybe_derived_type = false;
- }
- else
- {
- maybe_derived_type = true;
- maybe_in_construction = false;
- }
- if (instance)
- {
- thunk_info *info = thunk_info::get (node);
- /* If method is expanded thunk, we need to apply thunk offset
- to instance pointer. */
- if (info && (info->virtual_offset_p || info->fixed_offset))
- *instance = NULL;
- else
- *instance = base_pointer;
- }
- return;
- }
- /* Non-PODs passed by value are really passed by invisible
- reference. In this case we also know the type of the
- object. */
- if (DECL_BY_REFERENCE (SSA_NAME_VAR (base_pointer)))
- {
- outer_type
- = TYPE_MAIN_VARIANT (TREE_TYPE (TREE_TYPE (base_pointer)));
- /* Only type inconsistent programs can have otr_type that is
- not part of outer type. */
- if (otr_type && !contains_type_p (outer_type, offset,
- otr_type))
- {
- invalid = true;
- if (instance)
- *instance = base_pointer;
- return;
- }
- /* Non-polymorphic types have no interest for us. */
- else if (!otr_type && !contains_polymorphic_type_p (outer_type))
- {
- outer_type = NULL;
- if (instance)
- *instance = base_pointer;
- return;
- }
- maybe_derived_type = false;
- maybe_in_construction = false;
- if (instance)
- *instance = base_pointer;
- return;
- }
- }
-
- tree base_type = TREE_TYPE (base_pointer);
-
- if (TREE_CODE (base_pointer) == SSA_NAME
- && SSA_NAME_IS_DEFAULT_DEF (base_pointer)
- && !(TREE_CODE (SSA_NAME_VAR (base_pointer)) == PARM_DECL
- || TREE_CODE (SSA_NAME_VAR (base_pointer)) == RESULT_DECL))
- {
- invalid = true;
- if (instance)
- *instance = base_pointer;
- return;
- }
- if (TREE_CODE (base_pointer) == SSA_NAME
- && SSA_NAME_DEF_STMT (base_pointer)
- && gimple_assign_single_p (SSA_NAME_DEF_STMT (base_pointer)))
- base_type = TREE_TYPE (gimple_assign_rhs1
- (SSA_NAME_DEF_STMT (base_pointer)));
-
- if (base_type && POINTER_TYPE_P (base_type))
- combine_speculation_with (TYPE_MAIN_VARIANT (TREE_TYPE (base_type)),
- offset,
- true, NULL /* Do not change type here */);
- /* TODO: There are multiple ways to derive a type. For instance
- if BASE_POINTER is passed to an constructor call prior our reference.
- We do not make this type of flow sensitive analysis yet. */
- if (instance)
- *instance = base_pointer;
- return;
-}
-
-/* Structure to be passed in between detect_type_change and
- check_stmt_for_type_change. */
-
-struct type_change_info
-{
- /* Offset into the object where there is the virtual method pointer we are
- looking for. */
- HOST_WIDE_INT offset;
- /* The declaration or SSA_NAME pointer of the base that we are checking for
- type change. */
- tree instance;
- /* The reference to virtual table pointer used. */
- tree vtbl_ptr_ref;
- tree otr_type;
- /* If we actually can tell the type that the object has changed to, it is
- stored in this field. Otherwise it remains NULL_TREE. */
- tree known_current_type;
- HOST_WIDE_INT known_current_offset;
-
- /* Set to nonzero if we possibly missed some dynamic type changes and we
- should consider the set to be speculative. */
- unsigned speculative;
-
- /* Set to true if dynamic type change has been detected. */
- bool type_maybe_changed;
- /* Set to true if multiple types have been encountered. known_current_type
- must be disregarded in that case. */
- bool multiple_types_encountered;
- bool seen_unanalyzed_store;
-};
-
-/* Return true if STMT is not call and can modify a virtual method table pointer.
- We take advantage of fact that vtable stores must appear within constructor
- and destructor functions. */
-
-static bool
-noncall_stmt_may_be_vtbl_ptr_store (gimple *stmt)
-{
- if (is_gimple_assign (stmt))
- {
- tree lhs = gimple_assign_lhs (stmt);
-
- if (gimple_clobber_p (stmt))
- return false;
- if (!AGGREGATE_TYPE_P (TREE_TYPE (lhs)))
- {
- if (flag_strict_aliasing
- && !POINTER_TYPE_P (TREE_TYPE (lhs)))
- return false;
-
- if (TREE_CODE (lhs) == COMPONENT_REF
- && !DECL_VIRTUAL_P (TREE_OPERAND (lhs, 1)))
- return false;
- /* In the future we might want to use get_ref_base_and_extent to find
- if there is a field corresponding to the offset and if so, proceed
- almost like if it was a component ref. */
- }
- }
-
- /* Code unification may mess with inline stacks. */
- if (cfun->after_inlining)
- return true;
-
- /* Walk the inline stack and watch out for ctors/dtors.
- TODO: Maybe we can require the store to appear in toplevel
- block of CTOR/DTOR. */
- for (tree block = gimple_block (stmt); block && TREE_CODE (block) == BLOCK;
- block = BLOCK_SUPERCONTEXT (block))
- if (BLOCK_ABSTRACT_ORIGIN (block)
- && TREE_CODE (block_ultimate_origin (block)) == FUNCTION_DECL)
- return inlined_polymorphic_ctor_dtor_block_p (block, false);
- return (TREE_CODE (TREE_TYPE (current_function_decl)) == METHOD_TYPE
- && (DECL_CXX_CONSTRUCTOR_P (current_function_decl)
- || DECL_CXX_DESTRUCTOR_P (current_function_decl)));
-}
-
-/* If STMT can be proved to be an assignment to the virtual method table
- pointer of ANALYZED_OBJ and the type associated with the new table
- identified, return the type. Otherwise return NULL_TREE if type changes
- in unknown way or ERROR_MARK_NODE if type is unchanged. */
-
-static tree
-extr_type_from_vtbl_ptr_store (gimple *stmt, struct type_change_info *tci,
- HOST_WIDE_INT *type_offset)
-{
- poly_int64 offset, size, max_size;
- tree lhs, rhs, base;
- bool reverse;
-
- if (!gimple_assign_single_p (stmt))
- return NULL_TREE;
-
- lhs = gimple_assign_lhs (stmt);
- rhs = gimple_assign_rhs1 (stmt);
- if (TREE_CODE (lhs) != COMPONENT_REF
- || !DECL_VIRTUAL_P (TREE_OPERAND (lhs, 1)))
- {
- if (dump_file)
- fprintf (dump_file, " LHS is not virtual table.\n");
- return NULL_TREE;
- }
-
- if (tci->vtbl_ptr_ref && operand_equal_p (lhs, tci->vtbl_ptr_ref, 0))
- ;
- else
- {
- base = get_ref_base_and_extent (lhs, &offset, &size, &max_size, &reverse);
- if (DECL_P (tci->instance))
- {
- if (base != tci->instance)
- {
- if (dump_file)
- {
- fprintf (dump_file, " base:");
- print_generic_expr (dump_file, base, TDF_SLIM);
- fprintf (dump_file, " does not match instance:");
- print_generic_expr (dump_file, tci->instance, TDF_SLIM);
- fprintf (dump_file, "\n");
- }
- return NULL_TREE;
- }
- }
- else if (TREE_CODE (base) == MEM_REF)
- {
- if (!operand_equal_p (tci->instance, TREE_OPERAND (base, 0), 0))
- {
- if (dump_file)
- {
- fprintf (dump_file, " base mem ref:");
- print_generic_expr (dump_file, base, TDF_SLIM);
- fprintf (dump_file, " does not match instance:");
- print_generic_expr (dump_file, tci->instance, TDF_SLIM);
- fprintf (dump_file, "\n");
- }
- return NULL_TREE;
- }
- if (!integer_zerop (TREE_OPERAND (base, 1)))
- {
- if (!tree_fits_shwi_p (TREE_OPERAND (base, 1)))
- {
- if (dump_file)
- {
- fprintf (dump_file, " base mem ref:");
- print_generic_expr (dump_file, base, TDF_SLIM);
- fprintf (dump_file, " has non-representable offset:");
- print_generic_expr (dump_file, tci->instance, TDF_SLIM);
- fprintf (dump_file, "\n");
- }
- return NULL_TREE;
- }
- else
- offset += tree_to_shwi (TREE_OPERAND (base, 1)) * BITS_PER_UNIT;
- }
- }
- else if (!operand_equal_p (tci->instance, base, 0)
- || tci->offset)
- {
- if (dump_file)
- {
- fprintf (dump_file, " base:");
- print_generic_expr (dump_file, base, TDF_SLIM);
- fprintf (dump_file, " does not match instance:");
- print_generic_expr (dump_file, tci->instance, TDF_SLIM);
- fprintf (dump_file, " with offset %i\n", (int)tci->offset);
- }
- return tci->offset > POINTER_SIZE ? error_mark_node : NULL_TREE;
- }
- if (maybe_ne (offset, tci->offset)
- || maybe_ne (size, POINTER_SIZE)
- || maybe_ne (max_size, POINTER_SIZE))
- {
- if (dump_file)
- {
- fprintf (dump_file, " wrong offset ");
- print_dec (offset, dump_file);
- fprintf (dump_file, "!=%i or size ", (int) tci->offset);
- print_dec (size, dump_file);
- fprintf (dump_file, "\n");
- }
- return (known_le (offset + POINTER_SIZE, tci->offset)
- || (known_size_p (max_size)
- && known_gt (tci->offset + POINTER_SIZE,
- offset + max_size))
- ? error_mark_node : NULL);
- }
- }
-
- tree vtable;
- unsigned HOST_WIDE_INT offset2;
-
- if (!vtable_pointer_value_to_vtable (rhs, &vtable, &offset2))
- {
- if (dump_file)
- fprintf (dump_file, " Failed to lookup binfo\n");
- return NULL;
- }
-
- tree binfo = subbinfo_with_vtable_at_offset (TYPE_BINFO (DECL_CONTEXT (vtable)),
- offset2, vtable);
- if (!binfo)
- {
- if (dump_file)
- fprintf (dump_file, " Construction vtable used\n");
- /* FIXME: We should support construction contexts. */
- return NULL;
- }
-
- *type_offset = tree_to_shwi (BINFO_OFFSET (binfo)) * BITS_PER_UNIT;
- return DECL_CONTEXT (vtable);
-}
-
-/* Record dynamic type change of TCI to TYPE. */
-
-static void
-record_known_type (struct type_change_info *tci, tree type, HOST_WIDE_INT offset)
-{
- if (dump_file)
- {
- if (type)
- {
- fprintf (dump_file, " Recording type: ");
- print_generic_expr (dump_file, type, TDF_SLIM);
- fprintf (dump_file, " at offset %i\n", (int)offset);
- }
- else
- fprintf (dump_file, " Recording unknown type\n");
- }
-
- /* If we found a constructor of type that is not polymorphic or
- that may contain the type in question as a field (not as base),
- restrict to the inner class first to make type matching bellow
- happier. */
- if (type
- && (offset
- || (TREE_CODE (type) != RECORD_TYPE
- || !TYPE_BINFO (type)
- || !polymorphic_type_binfo_p (TYPE_BINFO (type)))))
- {
- ipa_polymorphic_call_context context;
-
- context.offset = offset;
- context.outer_type = type;
- context.maybe_in_construction = false;
- context.maybe_derived_type = false;
- context.dynamic = true;
- /* If we failed to find the inner type, we know that the call
- would be undefined for type produced here. */
- if (!context.restrict_to_inner_class (tci->otr_type))
- {
- if (dump_file)
- fprintf (dump_file, " Ignoring; does not contain otr_type\n");
- return;
- }
- /* Watch for case we reached an POD type and anticipate placement
- new. */
- if (!context.maybe_derived_type)
- {
- type = context.outer_type;
- offset = context.offset;
- }
- }
- if (tci->type_maybe_changed
- && (!types_same_for_odr (type, tci->known_current_type)
- || offset != tci->known_current_offset))
- tci->multiple_types_encountered = true;
- tci->known_current_type = TYPE_MAIN_VARIANT (type);
- tci->known_current_offset = offset;
- tci->type_maybe_changed = true;
-}
-
-
-/* The maximum number of may-defs we visit when looking for a must-def
- that changes the dynamic type in check_stmt_for_type_change. Tuned
- after the PR12392 testcase which unlimited spends 40% time within
- these alias walks and 8% with the following limit. */
-
-static inline bool
-csftc_abort_walking_p (unsigned speculative)
-{
- unsigned max = param_max_speculative_devirt_maydefs;
- return speculative > max ? true : false;
-}
-
-/* Callback of walk_aliased_vdefs and a helper function for
- detect_type_change to check whether a particular statement may modify
- the virtual table pointer, and if possible also determine the new type of
- the (sub-)object. It stores its result into DATA, which points to a
- type_change_info structure. */
-
-static bool
-check_stmt_for_type_change (ao_ref *ao ATTRIBUTE_UNUSED, tree vdef, void *data)
-{
- gimple *stmt = SSA_NAME_DEF_STMT (vdef);
- struct type_change_info *tci = (struct type_change_info *) data;
- tree fn;
-
- /* If we already gave up, just terminate the rest of walk. */
- if (tci->multiple_types_encountered)
- return true;
-
- if (is_gimple_call (stmt))
- {
- if (gimple_call_flags (stmt) & (ECF_CONST | ECF_PURE))
- return false;
-
- /* Check for a constructor call. */
- if ((fn = gimple_call_fndecl (stmt)) != NULL_TREE
- && DECL_CXX_CONSTRUCTOR_P (fn)
- && TREE_CODE (TREE_TYPE (fn)) == METHOD_TYPE
- && gimple_call_num_args (stmt))
- {
- tree op = walk_ssa_copies (gimple_call_arg (stmt, 0));
- tree type = TYPE_METHOD_BASETYPE (TREE_TYPE (fn));
- HOST_WIDE_INT offset = 0;
- bool reverse;
-
- if (dump_file)
- {
- fprintf (dump_file, " Checking constructor call: ");
- print_gimple_stmt (dump_file, stmt, 0);
- }
-
- /* See if THIS parameter seems like instance pointer. */
- if (TREE_CODE (op) == ADDR_EXPR)
- {
- HOST_WIDE_INT size;
- op = get_ref_base_and_extent_hwi (TREE_OPERAND (op, 0),
- &offset, &size, &reverse);
- if (!op)
- {
- tci->speculative++;
- return csftc_abort_walking_p (tci->speculative);
- }
- if (TREE_CODE (op) == MEM_REF)
- {
- if (!tree_fits_shwi_p (TREE_OPERAND (op, 1)))
- {
- tci->speculative++;
- return csftc_abort_walking_p (tci->speculative);
- }
- offset += tree_to_shwi (TREE_OPERAND (op, 1))
- * BITS_PER_UNIT;
- op = TREE_OPERAND (op, 0);
- }
- else if (DECL_P (op))
- ;
- else
- {
- tci->speculative++;
- return csftc_abort_walking_p (tci->speculative);
- }
- op = walk_ssa_copies (op);
- }
- if (operand_equal_p (op, tci->instance, 0)
- && TYPE_SIZE (type)
- && TREE_CODE (TYPE_SIZE (type)) == INTEGER_CST
- && tree_fits_shwi_p (TYPE_SIZE (type))
- && tree_to_shwi (TYPE_SIZE (type)) + offset > tci->offset
- /* Some inlined constructors may look as follows:
- _3 = operator new (16);
- MEM[(struct &)_3] ={v} {CLOBBER};
- MEM[(struct CompositeClass *)_3]._vptr.CompositeClass
- = &MEM[(void *)&_ZTV14CompositeClass + 16B];
- _7 = &MEM[(struct CompositeClass *)_3].object;
- EmptyClass::EmptyClass (_7);
-
- When determining dynamic type of _3 and because we stop at first
- dynamic type found, we would stop on EmptyClass::EmptyClass (_7).
- In this case the emptyclass is not even polymorphic and we miss
- it is contained in an outer type that is polymorphic. */
-
- && (tci->offset == offset || contains_polymorphic_type_p (type)))
- {
- record_known_type (tci, type, tci->offset - offset);
- return true;
- }
- }
- /* Calls may possibly change dynamic type by placement new. Assume
- it will not happen, but make result speculative only. */
- if (dump_file)
- {
- fprintf (dump_file, " Function call may change dynamic type:");
- print_gimple_stmt (dump_file, stmt, 0);
- }
- tci->speculative++;
- return csftc_abort_walking_p (tci->speculative);
- }
- /* Check for inlined virtual table store. */
- else if (noncall_stmt_may_be_vtbl_ptr_store (stmt))
- {
- tree type;
- HOST_WIDE_INT offset = 0;
- if (dump_file)
- {
- fprintf (dump_file, " Checking vtbl store: ");
- print_gimple_stmt (dump_file, stmt, 0);
- }
-
- type = extr_type_from_vtbl_ptr_store (stmt, tci, &offset);
- if (type == error_mark_node)
- return false;
- gcc_assert (!type || TYPE_MAIN_VARIANT (type) == type);
- if (!type)
- {
- if (dump_file)
- fprintf (dump_file, " Unanalyzed store may change type.\n");
- tci->seen_unanalyzed_store = true;
- tci->speculative++;
- }
- else
- record_known_type (tci, type, offset);
- return true;
- }
- else
- return false;
-}
-
-/* THIS is polymorphic call context obtained from get_polymorphic_context.
- OTR_OBJECT is pointer to the instance returned by OBJ_TYPE_REF_OBJECT.
- INSTANCE is pointer to the outer instance as returned by
- get_polymorphic_context. To avoid creation of temporary expressions,
- INSTANCE may also be an declaration of get_polymorphic_context found the
- value to be in static storage.
-
- If the type of instance is not fully determined
- (either OUTER_TYPE is unknown or MAYBE_IN_CONSTRUCTION/INCLUDE_DERIVED_TYPES
- is set), try to walk memory writes and find the actual construction of the
- instance.
-
- Return true if memory is unchanged from function entry.
-
- We do not include this analysis in the context analysis itself, because
- it needs memory SSA to be fully built and the walk may be expensive.
- So it is not suitable for use withing fold_stmt and similar uses.
-
- AA_WALK_BUDGET_P, if not NULL, is how statements we should allow
- walk_aliased_vdefs to examine. The value should be decremented by the
- number of statements we examined or set to zero if exhausted. */
-
-bool
-ipa_polymorphic_call_context::get_dynamic_type (tree instance,
- tree otr_object,
- tree otr_type,
- gimple *call,
- unsigned *aa_walk_budget_p)
-{
- struct type_change_info tci;
- ao_ref ao;
- bool function_entry_reached = false;
- tree instance_ref = NULL;
- gimple *stmt = call;
- /* Remember OFFSET before it is modified by restrict_to_inner_class.
- This is because we do not update INSTANCE when walking inwards. */
- HOST_WIDE_INT instance_offset = offset;
- tree instance_outer_type = outer_type;
-
- if (!instance)
- return false;
-
- if (otr_type)
- otr_type = TYPE_MAIN_VARIANT (otr_type);
-
- /* Walk into inner type. This may clear maybe_derived_type and save us
- from useless work. It also makes later comparisons with static type
- easier. */
- if (outer_type && otr_type)
- {
- if (!restrict_to_inner_class (otr_type))
- return false;
- }
-
- if (!maybe_in_construction && !maybe_derived_type)
- return false;
-
- /* If we are in fact not looking at any object object or the instance is
- some placement new into a random load, give up straight away. */
- if (TREE_CODE (instance) == MEM_REF)
- return false;
-
- /* We need to obtain reference to virtual table pointer. It is better
- to look it up in the code rather than build our own. This require bit
- of pattern matching, but we end up verifying that what we found is
- correct.
-
- What we pattern match is:
-
- tmp = instance->_vptr.A; // vtbl ptr load
- tmp2 = tmp[otr_token]; // vtable lookup
- OBJ_TYPE_REF(tmp2;instance->0) (instance);
-
- We want to start alias oracle walk from vtbl pointer load,
- but we may not be able to identify it, for example, when PRE moved the
- load around. */
-
- if (gimple_code (call) == GIMPLE_CALL)
- {
- tree ref = gimple_call_fn (call);
- bool reverse;
-
- if (TREE_CODE (ref) == OBJ_TYPE_REF)
- {
- ref = OBJ_TYPE_REF_EXPR (ref);
- ref = walk_ssa_copies (ref);
-
- /* If call target is already known, no need to do the expensive
- memory walk. */
- if (is_gimple_min_invariant (ref))
- return false;
-
- /* Check if definition looks like vtable lookup. */
- if (TREE_CODE (ref) == SSA_NAME
- && !SSA_NAME_IS_DEFAULT_DEF (ref)
- && gimple_assign_load_p (SSA_NAME_DEF_STMT (ref))
- && TREE_CODE (gimple_assign_rhs1
- (SSA_NAME_DEF_STMT (ref))) == MEM_REF)
- {
- ref = get_base_address
- (TREE_OPERAND (gimple_assign_rhs1
- (SSA_NAME_DEF_STMT (ref)), 0));
- ref = walk_ssa_copies (ref);
- /* Find base address of the lookup and see if it looks like
- vptr load. */
- if (TREE_CODE (ref) == SSA_NAME
- && !SSA_NAME_IS_DEFAULT_DEF (ref)
- && gimple_assign_load_p (SSA_NAME_DEF_STMT (ref)))
- {
- HOST_WIDE_INT offset2, size;
- tree ref_exp = gimple_assign_rhs1 (SSA_NAME_DEF_STMT (ref));
- tree base_ref
- = get_ref_base_and_extent_hwi (ref_exp, &offset2,
- &size, &reverse);
-
- /* Finally verify that what we found looks like read from
- OTR_OBJECT or from INSTANCE with offset OFFSET. */
- if (base_ref
- && ((TREE_CODE (base_ref) == MEM_REF
- && ((offset2 == instance_offset
- && TREE_OPERAND (base_ref, 0) == instance)
- || (!offset2
- && TREE_OPERAND (base_ref, 0)
- == otr_object)))
- || (DECL_P (instance) && base_ref == instance
- && offset2 == instance_offset)))
- {
- stmt = SSA_NAME_DEF_STMT (ref);
- instance_ref = ref_exp;
- }
- }
- }
- }
- }
-
- /* If we failed to look up the reference in code, build our own. */
- if (!instance_ref)
- {
- /* If the statement in question does not use memory, we can't tell
- anything. */
- if (!gimple_vuse (stmt))
- return false;
- ao_ref_init_from_ptr_and_size (&ao, otr_object, NULL);
- }
- else
- /* Otherwise use the real reference. */
- ao_ref_init (&ao, instance_ref);
-
- /* We look for vtbl pointer read. */
- ao.size = POINTER_SIZE;
- ao.max_size = ao.size;
- /* We are looking for stores to vptr pointer within the instance of
- outer type.
- TODO: The vptr pointer type is globally known, we probably should
- keep it and do that even when otr_type is unknown. */
- if (otr_type)
- {
- ao.base_alias_set
- = get_alias_set (outer_type ? outer_type : otr_type);
- ao.ref_alias_set
- = get_alias_set (TREE_TYPE (BINFO_VTABLE (TYPE_BINFO (otr_type))));
- }
-
- if (dump_file)
- {
- fprintf (dump_file, "Determining dynamic type for call: ");
- print_gimple_stmt (dump_file, call, 0);
- fprintf (dump_file, " Starting walk at: ");
- print_gimple_stmt (dump_file, stmt, 0);
- fprintf (dump_file, " instance pointer: ");
- print_generic_expr (dump_file, otr_object, TDF_SLIM);
- fprintf (dump_file, " Outer instance pointer: ");
- print_generic_expr (dump_file, instance, TDF_SLIM);
- fprintf (dump_file, " offset: %i (bits)", (int)instance_offset);
- fprintf (dump_file, " vtbl reference: ");
- print_generic_expr (dump_file, instance_ref, TDF_SLIM);
- fprintf (dump_file, "\n");
- }
-
- tci.offset = instance_offset;
- tci.instance = instance;
- tci.vtbl_ptr_ref = instance_ref;
- tci.known_current_type = NULL_TREE;
- tci.known_current_offset = 0;
- tci.otr_type = otr_type;
- tci.type_maybe_changed = false;
- tci.multiple_types_encountered = false;
- tci.speculative = 0;
- tci.seen_unanalyzed_store = false;
-
- unsigned aa_walk_budget = 0;
- if (aa_walk_budget_p)
- aa_walk_budget = *aa_walk_budget_p + 1;
-
- int walked
- = walk_aliased_vdefs (&ao, gimple_vuse (stmt), check_stmt_for_type_change,
- &tci, NULL, &function_entry_reached, aa_walk_budget);
-
- /* If we did not find any type changing statements, we may still drop
- maybe_in_construction flag if the context already have outer type.
-
- Here we make special assumptions about both constructors and
- destructors which are all the functions that are allowed to alter the
- VMT pointers. It assumes that destructors begin with assignment into
- all VMT pointers and that constructors essentially look in the
- following way:
-
- 1) The very first thing they do is that they call constructors of
- ancestor sub-objects that have them.
-
- 2) Then VMT pointers of this and all its ancestors is set to new
- values corresponding to the type corresponding to the constructor.
-
- 3) Only afterwards, other stuff such as constructor of member
- sub-objects and the code written by the user is run. Only this may
- include calling virtual functions, directly or indirectly.
-
- 4) placement new cannot be used to change type of non-POD statically
- allocated variables.
-
- There is no way to call a constructor of an ancestor sub-object in any
- other way.
-
- This means that we do not have to care whether constructors get the
- correct type information because they will always change it (in fact,
- if we define the type to be given by the VMT pointer, it is undefined).
-
- The most important fact to derive from the above is that if, for some
- statement in the section 3, we try to detect whether the dynamic type
- has changed, we can safely ignore all calls as we examine the function
- body backwards until we reach statements in section 2 because these
- calls cannot be ancestor constructors or destructors (if the input is
- not bogus) and so do not change the dynamic type (this holds true only
- for automatically allocated objects but at the moment we devirtualize
- only these). We then must detect that statements in section 2 change
- the dynamic type and can try to derive the new type. That is enough
- and we can stop, we will never see the calls into constructors of
- sub-objects in this code.
-
- Therefore if the static outer type was found (outer_type)
- we can safely ignore tci.speculative that is set on calls and give up
- only if there was dynamic type store that may affect given variable
- (seen_unanalyzed_store) */
-
- if (walked < 0)
- {
- if (dump_file)
- fprintf (dump_file, " AA walk budget exhausted.\n");
- *aa_walk_budget_p = 0;
- return false;
- }
- else if (aa_walk_budget_p)
- *aa_walk_budget_p -= walked;
-
- if (!tci.type_maybe_changed
- || (outer_type
- && !dynamic
- && !tci.seen_unanalyzed_store
- && !tci.multiple_types_encountered
- && ((offset == tci.offset
- && types_same_for_odr (tci.known_current_type,
- outer_type))
- || (instance_offset == offset
- && types_same_for_odr (tci.known_current_type,
- instance_outer_type)))))
- {
- if (!outer_type || tci.seen_unanalyzed_store)
- return false;
- if (maybe_in_construction)
- maybe_in_construction = false;
- if (dump_file)
- fprintf (dump_file, " No dynamic type change found.\n");
- return true;
- }
-
- if (tci.known_current_type
- && !function_entry_reached
- && !tci.multiple_types_encountered)
- {
- if (!tci.speculative)
- {
- outer_type = TYPE_MAIN_VARIANT (tci.known_current_type);
- offset = tci.known_current_offset;
- dynamic = true;
- maybe_in_construction = false;
- maybe_derived_type = false;
- if (dump_file)
- fprintf (dump_file, " Determined dynamic type.\n");
- }
- else if (!speculative_outer_type
- || speculative_maybe_derived_type)
- {
- speculative_outer_type = TYPE_MAIN_VARIANT (tci.known_current_type);
- speculative_offset = tci.known_current_offset;
- speculative_maybe_derived_type = false;
- if (dump_file)
- fprintf (dump_file, " Determined speculative dynamic type.\n");
- }
- }
- else if (dump_file)
- {
- fprintf (dump_file, " Found multiple types%s%s\n",
- function_entry_reached ? " (function entry reached)" : "",
- function_entry_reached ? " (multiple types encountered)" : "");
- }
-
- return false;
-}
-
-/* See if speculation given by SPEC_OUTER_TYPE, SPEC_OFFSET and SPEC_MAYBE_DERIVED_TYPE
- seems consistent (and useful) with what we already have in the non-speculative context. */
-
-bool
-ipa_polymorphic_call_context::speculation_consistent_p (tree spec_outer_type,
- HOST_WIDE_INT spec_offset,
- bool spec_maybe_derived_type,
- tree otr_type) const
-{
- if (!flag_devirtualize_speculatively)
- return false;
-
- /* Non-polymorphic types are useless for deriving likely polymorphic
- call targets. */
- if (!spec_outer_type || !contains_polymorphic_type_p (spec_outer_type))
- return false;
-
- /* If we know nothing, speculation is always good. */
- if (!outer_type)
- return true;
-
- /* Speculation is only useful to avoid derived types.
- This is not 100% true for placement new, where the outer context may
- turn out to be useless, but ignore these for now. */
- if (!maybe_derived_type)
- return false;
-
- /* If types agrees, speculation is consistent, but it makes sense only
- when it says something new. */
- if (types_must_be_same_for_odr (spec_outer_type, outer_type))
- return maybe_derived_type && !spec_maybe_derived_type;
-
- /* If speculation does not contain the type in question, ignore it. */
- if (otr_type
- && !contains_type_p (spec_outer_type, spec_offset, otr_type, false, true))
- return false;
-
- /* If outer type already contains speculation as a filed,
- it is useless. We already know from OUTER_TYPE
- SPEC_TYPE and that it is not in the construction. */
- if (contains_type_p (outer_type, offset - spec_offset,
- spec_outer_type, false, false))
- return false;
-
- /* If speculative outer type is not more specified than outer
- type, just give up.
- We can only decide this safely if we can compare types with OUTER_TYPE.
- */
- if ((!in_lto_p || odr_type_p (outer_type))
- && !contains_type_p (spec_outer_type,
- spec_offset - offset,
- outer_type, false))
- return false;
- return true;
-}
-
-/* Improve THIS with speculation described by NEW_OUTER_TYPE, NEW_OFFSET,
- NEW_MAYBE_DERIVED_TYPE
- If OTR_TYPE is set, assume the context is used with OTR_TYPE. */
-
-bool
-ipa_polymorphic_call_context::combine_speculation_with
- (tree new_outer_type, HOST_WIDE_INT new_offset, bool new_maybe_derived_type,
- tree otr_type)
-{
- if (!new_outer_type)
- return false;
-
- /* restrict_to_inner_class may eliminate wrong speculation making our job
- easier. */
- if (otr_type)
- restrict_to_inner_class (otr_type);
-
- if (!speculation_consistent_p (new_outer_type, new_offset,
- new_maybe_derived_type, otr_type))
- return false;
-
- /* New speculation is a win in case we have no speculation or new
- speculation does not consider derivations. */
- if (!speculative_outer_type
- || (speculative_maybe_derived_type
- && !new_maybe_derived_type))
- {
- speculative_outer_type = new_outer_type;
- speculative_offset = new_offset;
- speculative_maybe_derived_type = new_maybe_derived_type;
- return true;
- }
- else if (types_must_be_same_for_odr (speculative_outer_type,
- new_outer_type))
- {
- if (speculative_offset != new_offset)
- {
- /* OK we have two contexts that seems valid but they disagree,
- just give up.
-
- This is not a lattice operation, so we may want to drop it later. */
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file,
- "Speculative outer types match, "
- "offset mismatch -> invalid speculation\n");
- clear_speculation ();
- return true;
- }
- else
- {
- if (speculative_maybe_derived_type && !new_maybe_derived_type)
- {
- speculative_maybe_derived_type = false;
- return true;
- }
- else
- return false;
- }
- }
- /* Choose type that contains the other. This one either contains the outer
- as a field (thus giving exactly one target) or is deeper in the type
- hierarchy. */
- else if (speculative_outer_type
- && speculative_maybe_derived_type
- && (new_offset > speculative_offset
- || (new_offset == speculative_offset
- && contains_type_p (new_outer_type,
- 0, speculative_outer_type, false))))
- {
- tree old_outer_type = speculative_outer_type;
- HOST_WIDE_INT old_offset = speculative_offset;
- bool old_maybe_derived_type = speculative_maybe_derived_type;
-
- speculative_outer_type = new_outer_type;
- speculative_offset = new_offset;
- speculative_maybe_derived_type = new_maybe_derived_type;
-
- if (otr_type)
- restrict_to_inner_class (otr_type);
-
- /* If the speculation turned out to make no sense, revert to sensible
- one. */
- if (!speculative_outer_type)
- {
- speculative_outer_type = old_outer_type;
- speculative_offset = old_offset;
- speculative_maybe_derived_type = old_maybe_derived_type;
- return false;
- }
- return (old_offset != speculative_offset
- || old_maybe_derived_type != speculative_maybe_derived_type
- || types_must_be_same_for_odr (speculative_outer_type,
- new_outer_type));
- }
- return false;
-}
-
-/* Make speculation less specific so
- NEW_OUTER_TYPE, NEW_OFFSET, NEW_MAYBE_DERIVED_TYPE is also included.
- If OTR_TYPE is set, assume the context is used with OTR_TYPE. */
-
-bool
-ipa_polymorphic_call_context::meet_speculation_with
- (tree new_outer_type, HOST_WIDE_INT new_offset, bool new_maybe_derived_type,
- tree otr_type)
-{
- if (!new_outer_type && speculative_outer_type)
- {
- clear_speculation ();
- return true;
- }
-
- /* restrict_to_inner_class may eliminate wrong speculation making our job
- easier. */
- if (otr_type)
- restrict_to_inner_class (otr_type);
-
- if (!speculative_outer_type
- || !speculation_consistent_p (speculative_outer_type,
- speculative_offset,
- speculative_maybe_derived_type,
- otr_type))
- return false;
-
- if (!speculation_consistent_p (new_outer_type, new_offset,
- new_maybe_derived_type, otr_type))
- {
- clear_speculation ();
- return true;
- }
-
- else if (types_must_be_same_for_odr (speculative_outer_type,
- new_outer_type))
- {
- if (speculative_offset != new_offset)
- {
- clear_speculation ();
- return true;
- }
- else
- {
- if (!speculative_maybe_derived_type && new_maybe_derived_type)
- {
- speculative_maybe_derived_type = true;
- return true;
- }
- else
- return false;
- }
- }
- /* See if one type contains the other as a field (not base). */
- else if (contains_type_p (new_outer_type, new_offset - speculative_offset,
- speculative_outer_type, false, false))
- return false;
- else if (contains_type_p (speculative_outer_type,
- speculative_offset - new_offset,
- new_outer_type, false, false))
- {
- speculative_outer_type = new_outer_type;
- speculative_offset = new_offset;
- speculative_maybe_derived_type = new_maybe_derived_type;
- return true;
- }
- /* See if OUTER_TYPE is base of CTX.OUTER_TYPE. */
- else if (contains_type_p (new_outer_type,
- new_offset - speculative_offset,
- speculative_outer_type, false, true))
- {
- if (!speculative_maybe_derived_type)
- {
- speculative_maybe_derived_type = true;
- return true;
- }
- return false;
- }
- /* See if CTX.OUTER_TYPE is base of OUTER_TYPE. */
- else if (contains_type_p (speculative_outer_type,
- speculative_offset - new_offset, new_outer_type, false, true))
- {
- speculative_outer_type = new_outer_type;
- speculative_offset = new_offset;
- speculative_maybe_derived_type = true;
- return true;
- }
- else
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Giving up on speculative meet\n");
- clear_speculation ();
- return true;
- }
-}
-
-/* Assume that both THIS and a given context is valid and strengthen THIS
- if possible. Return true if any strengthening was made.
- If actual type the context is being used in is known, OTR_TYPE should be
- set accordingly. This improves quality of combined result. */
-
-bool
-ipa_polymorphic_call_context::combine_with (ipa_polymorphic_call_context ctx,
- tree otr_type)
-{
- bool updated = false;
-
- if (ctx.useless_p () || invalid)
- return false;
-
- /* Restricting context to inner type makes merging easier, however do not
- do that unless we know how the context is used (OTR_TYPE is non-NULL) */
- if (otr_type && !invalid && !ctx.invalid)
- {
- restrict_to_inner_class (otr_type);
- ctx.restrict_to_inner_class (otr_type);
- if(invalid)
- return false;
- }
-
- if (dump_file && (dump_flags & TDF_DETAILS))
- {
- fprintf (dump_file, "Polymorphic call context combine:");
- dump (dump_file);
- fprintf (dump_file, "With context: ");
- ctx.dump (dump_file);
- if (otr_type)
- {
- fprintf (dump_file, "To be used with type: ");
- print_generic_expr (dump_file, otr_type, TDF_SLIM);
- fprintf (dump_file, "\n");
- }
- }
-
- /* If call is known to be invalid, we are done. */
- if (ctx.invalid)
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "-> Invalid context\n");
- goto invalidate;
- }
-
- if (!ctx.outer_type)
- ;
- else if (!outer_type)
- {
- outer_type = ctx.outer_type;
- offset = ctx.offset;
- dynamic = ctx.dynamic;
- maybe_in_construction = ctx.maybe_in_construction;
- maybe_derived_type = ctx.maybe_derived_type;
- updated = true;
- }
- /* If types are known to be same, merging is quite easy. */
- else if (types_must_be_same_for_odr (outer_type, ctx.outer_type))
- {
- if (offset != ctx.offset
- && TYPE_SIZE (outer_type)
- && TREE_CODE (TYPE_SIZE (outer_type)) == INTEGER_CST)
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Outer types match, offset mismatch -> invalid\n");
- clear_speculation ();
- clear_outer_type ();
- invalid = true;
- return true;
- }
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Outer types match, merging flags\n");
- if (maybe_in_construction && !ctx.maybe_in_construction)
- {
- updated = true;
- maybe_in_construction = false;
- }
- if (maybe_derived_type && !ctx.maybe_derived_type)
- {
- updated = true;
- maybe_derived_type = false;
- }
- if (dynamic && !ctx.dynamic)
- {
- updated = true;
- dynamic = false;
- }
- }
- /* If we know the type precisely, there is not much to improve. */
- else if (!maybe_derived_type && !maybe_in_construction
- && !ctx.maybe_derived_type && !ctx.maybe_in_construction)
- {
- /* It may be easy to check if second context permits the first
- and set INVALID otherwise. This is not easy to do in general;
- contains_type_p may return false negatives for non-comparable
- types.
-
- If OTR_TYPE is known, we however can expect that
- restrict_to_inner_class should have discovered the same base
- type. */
- if (otr_type && !ctx.maybe_in_construction && !ctx.maybe_derived_type)
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Contextes disagree -> invalid\n");
- goto invalidate;
- }
- }
- /* See if one type contains the other as a field (not base).
- In this case we want to choose the wider type, because it contains
- more information. */
- else if (contains_type_p (ctx.outer_type, ctx.offset - offset,
- outer_type, false, false))
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Second type contain the first as a field\n");
-
- if (maybe_derived_type)
- {
- outer_type = ctx.outer_type;
- maybe_derived_type = ctx.maybe_derived_type;
- offset = ctx.offset;
- dynamic = ctx.dynamic;
- updated = true;
- }
-
- /* If we do not know how the context is being used, we cannot
- clear MAYBE_IN_CONSTRUCTION because it may be offseted
- to other component of OUTER_TYPE later and we know nothing
- about it. */
- if (otr_type && maybe_in_construction
- && !ctx.maybe_in_construction)
- {
- maybe_in_construction = false;
- updated = true;
- }
- }
- else if (contains_type_p (outer_type, offset - ctx.offset,
- ctx.outer_type, false, false))
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "First type contain the second as a field\n");
-
- if (otr_type && maybe_in_construction
- && !ctx.maybe_in_construction)
- {
- maybe_in_construction = false;
- updated = true;
- }
- }
- /* See if OUTER_TYPE is base of CTX.OUTER_TYPE. */
- else if (contains_type_p (ctx.outer_type,
- ctx.offset - offset, outer_type, false, true))
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "First type is base of second\n");
- if (!maybe_derived_type)
- {
- if (!ctx.maybe_in_construction
- && types_odr_comparable (outer_type, ctx.outer_type))
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Second context does not permit base -> invalid\n");
- goto invalidate;
- }
- }
- /* Pick variant deeper in the hierarchy. */
- else
- {
- outer_type = ctx.outer_type;
- maybe_in_construction = ctx.maybe_in_construction;
- maybe_derived_type = ctx.maybe_derived_type;
- offset = ctx.offset;
- dynamic = ctx.dynamic;
- updated = true;
- }
- }
- /* See if CTX.OUTER_TYPE is base of OUTER_TYPE. */
- else if (contains_type_p (outer_type,
- offset - ctx.offset, ctx.outer_type, false, true))
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Second type is base of first\n");
- if (!ctx.maybe_derived_type)
- {
- if (!maybe_in_construction
- && types_odr_comparable (outer_type, ctx.outer_type))
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "First context does not permit base -> invalid\n");
- goto invalidate;
- }
- /* Pick the base type. */
- else if (maybe_in_construction)
- {
- outer_type = ctx.outer_type;
- maybe_in_construction = ctx.maybe_in_construction;
- maybe_derived_type = ctx.maybe_derived_type;
- offset = ctx.offset;
- dynamic = ctx.dynamic;
- updated = true;
- }
- }
- }
- /* TODO handle merging using hierarchy. */
- else if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Giving up on merge\n");
-
- updated |= combine_speculation_with (ctx.speculative_outer_type,
- ctx.speculative_offset,
- ctx.speculative_maybe_derived_type,
- otr_type);
-
- if (updated && dump_file && (dump_flags & TDF_DETAILS))
- {
- fprintf (dump_file, "Updated as: ");
- dump (dump_file);
- fprintf (dump_file, "\n");
- }
- return updated;
-
-invalidate:
- invalid = true;
- clear_speculation ();
- clear_outer_type ();
- return true;
-}
-
-/* Take non-speculative info, merge it with speculative and clear speculation.
- Used when we no longer manage to keep track of actual outer type, but we
- think it is still there.
-
- If OTR_TYPE is set, the transformation can be done more effectively assuming
- that context is going to be used only that way. */
-
-void
-ipa_polymorphic_call_context::make_speculative (tree otr_type)
-{
- tree spec_outer_type = outer_type;
- HOST_WIDE_INT spec_offset = offset;
- bool spec_maybe_derived_type = maybe_derived_type;
-
- if (invalid)
- {
- invalid = false;
- clear_outer_type ();
- clear_speculation ();
- return;
- }
- if (!outer_type)
- return;
- clear_outer_type ();
- combine_speculation_with (spec_outer_type, spec_offset,
- spec_maybe_derived_type,
- otr_type);
-}
-
-/* Use when we cannot track dynamic type change. This speculatively assume
- type change is not happening. */
-
-void
-ipa_polymorphic_call_context::possible_dynamic_type_change (bool in_poly_cdtor,
- tree otr_type)
-{
- if (dynamic)
- make_speculative (otr_type);
- else if (in_poly_cdtor)
- maybe_in_construction = true;
-}
-
-/* Return TRUE if this context conveys the same information as OTHER. */
-
-bool
-ipa_polymorphic_call_context::equal_to
- (const ipa_polymorphic_call_context &x) const
-{
- if (useless_p ())
- return x.useless_p ();
- if (invalid)
- return x.invalid;
- if (x.useless_p () || x.invalid)
- return false;
-
- if (outer_type)
- {
- if (!x.outer_type
- || !types_odr_comparable (outer_type, x.outer_type)
- || !types_same_for_odr (outer_type, x.outer_type)
- || offset != x.offset
- || maybe_in_construction != x.maybe_in_construction
- || maybe_derived_type != x.maybe_derived_type
- || dynamic != x.dynamic)
- return false;
- }
- else if (x.outer_type)
- return false;
-
-
- if (speculative_outer_type
- && speculation_consistent_p (speculative_outer_type, speculative_offset,
- speculative_maybe_derived_type, NULL_TREE))
- {
- if (!x.speculative_outer_type)
- return false;
-
- if (!types_odr_comparable (speculative_outer_type,
- x.speculative_outer_type)
- || !types_same_for_odr (speculative_outer_type,
- x.speculative_outer_type)
- || speculative_offset != x.speculative_offset
- || speculative_maybe_derived_type != x.speculative_maybe_derived_type)
- return false;
- }
- else if (x.speculative_outer_type
- && x.speculation_consistent_p (x.speculative_outer_type,
- x.speculative_offset,
- x.speculative_maybe_derived_type,
- NULL))
- return false;
-
- return true;
-}
-
-/* Modify context to be strictly less restrictive than CTX. */
-
-bool
-ipa_polymorphic_call_context::meet_with (ipa_polymorphic_call_context ctx,
- tree otr_type)
-{
- bool updated = false;
-
- if (useless_p () || ctx.invalid)
- return false;
-
- /* Restricting context to inner type makes merging easier, however do not
- do that unless we know how the context is used (OTR_TYPE is non-NULL) */
- if (otr_type && !useless_p () && !ctx.useless_p ())
- {
- restrict_to_inner_class (otr_type);
- ctx.restrict_to_inner_class (otr_type);
- if(invalid)
- return false;
- }
-
- if (equal_to (ctx))
- return false;
-
- if (ctx.useless_p () || invalid)
- {
- *this = ctx;
- return true;
- }
-
- if (dump_file && (dump_flags & TDF_DETAILS))
- {
- fprintf (dump_file, "Polymorphic call context meet:");
- dump (dump_file);
- fprintf (dump_file, "With context: ");
- ctx.dump (dump_file);
- if (otr_type)
- {
- fprintf (dump_file, "To be used with type: ");
- print_generic_expr (dump_file, otr_type, TDF_SLIM);
- fprintf (dump_file, "\n");
- }
- }
-
- if (!dynamic && ctx.dynamic)
- {
- dynamic = true;
- updated = true;
- }
-
- /* If call is known to be invalid, we are done. */
- if (!outer_type)
- ;
- else if (!ctx.outer_type)
- {
- clear_outer_type ();
- updated = true;
- }
- /* If types are known to be same, merging is quite easy. */
- else if (types_must_be_same_for_odr (outer_type, ctx.outer_type))
- {
- if (offset != ctx.offset
- && TYPE_SIZE (outer_type)
- && TREE_CODE (TYPE_SIZE (outer_type)) == INTEGER_CST)
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Outer types match, offset mismatch -> clearing\n");
- clear_outer_type ();
- return true;
- }
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Outer types match, merging flags\n");
- if (!maybe_in_construction && ctx.maybe_in_construction)
- {
- updated = true;
- maybe_in_construction = true;
- }
- if (!maybe_derived_type && ctx.maybe_derived_type)
- {
- updated = true;
- maybe_derived_type = true;
- }
- if (!dynamic && ctx.dynamic)
- {
- updated = true;
- dynamic = true;
- }
- }
- /* See if one type contains the other as a field (not base). */
- else if (contains_type_p (ctx.outer_type, ctx.offset - offset,
- outer_type, false, false))
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Second type contain the first as a field\n");
-
- /* The second type is more specified, so we keep the first.
- We need to set DYNAMIC flag to avoid declaring context INVALID
- of OFFSET ends up being out of range. */
- if (!dynamic
- && (ctx.dynamic
- || (!otr_type
- && (!TYPE_SIZE (ctx.outer_type)
- || !TYPE_SIZE (outer_type)
- || !operand_equal_p (TYPE_SIZE (ctx.outer_type),
- TYPE_SIZE (outer_type), 0)))))
- {
- dynamic = true;
- updated = true;
- }
- }
- else if (contains_type_p (outer_type, offset - ctx.offset,
- ctx.outer_type, false, false))
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "First type contain the second as a field\n");
-
- if (!dynamic
- && (ctx.dynamic
- || (!otr_type
- && (!TYPE_SIZE (ctx.outer_type)
- || !TYPE_SIZE (outer_type)
- || !operand_equal_p (TYPE_SIZE (ctx.outer_type),
- TYPE_SIZE (outer_type), 0)))))
- dynamic = true;
- outer_type = ctx.outer_type;
- offset = ctx.offset;
- dynamic = ctx.dynamic;
- maybe_in_construction = ctx.maybe_in_construction;
- maybe_derived_type = ctx.maybe_derived_type;
- updated = true;
- }
- /* See if OUTER_TYPE is base of CTX.OUTER_TYPE. */
- else if (contains_type_p (ctx.outer_type,
- ctx.offset - offset, outer_type, false, true))
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "First type is base of second\n");
- if (!maybe_derived_type)
- {
- maybe_derived_type = true;
- updated = true;
- }
- if (!maybe_in_construction && ctx.maybe_in_construction)
- {
- maybe_in_construction = true;
- updated = true;
- }
- if (!dynamic && ctx.dynamic)
- {
- dynamic = true;
- updated = true;
- }
- }
- /* See if CTX.OUTER_TYPE is base of OUTER_TYPE. */
- else if (contains_type_p (outer_type,
- offset - ctx.offset, ctx.outer_type, false, true))
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Second type is base of first\n");
- outer_type = ctx.outer_type;
- offset = ctx.offset;
- updated = true;
- if (!maybe_derived_type)
- maybe_derived_type = true;
- if (!maybe_in_construction && ctx.maybe_in_construction)
- maybe_in_construction = true;
- if (!dynamic && ctx.dynamic)
- dynamic = true;
- }
- /* TODO handle merging using hierarchy. */
- else
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Giving up on meet\n");
- clear_outer_type ();
- updated = true;
- }
-
- updated |= meet_speculation_with (ctx.speculative_outer_type,
- ctx.speculative_offset,
- ctx.speculative_maybe_derived_type,
- otr_type);
-
- if (updated && dump_file && (dump_flags & TDF_DETAILS))
- {
- fprintf (dump_file, "Updated as: ");
- dump (dump_file);
- fprintf (dump_file, "\n");
- }
- return updated;
-}
generated by cgit v1.1 at 2025-09-05 10:21:24 +0000