aboutsummaryrefslogtreecommitdiff
path: root/gcc/ipa-pure-const.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-pure-const.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-pure-const.c')
-rw-r--r--gcc/ipa-pure-const.c2398
1 files changed, 0 insertions, 2398 deletions
diff --git a/gcc/ipa-pure-const.c b/gcc/ipa-pure-const.c
deleted file mode 100644
index 2b4950a..0000000
--- a/gcc/ipa-pure-const.c
+++ /dev/null
@@ -1,2398 +0,0 @@
-/* Callgraph based analysis of static variables.
- Copyright (C) 2004-2022 Free Software Foundation, Inc.
- Contributed by Kenneth Zadeck <zadeck@naturalbridge.com>
-
-This file is part of GCC.
-
-GCC is free software; you can redistribute it and/or modify it under
-the terms of the GNU General Public License as published by the Free
-Software Foundation; either version 3, or (at your option) any later
-version.
-
-GCC is distributed in the hope that it will be useful, but WITHOUT ANY
-WARRANTY; without even the implied warranty of MERCHANTABILITY or
-FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
-for more details.
-
-You should have received a copy of the GNU General Public License
-along with GCC; see the file COPYING3. If not see
-<http://www.gnu.org/licenses/>. */
-
-/* This file marks functions as being either const (TREE_READONLY) or
- pure (DECL_PURE_P). It can also set a variant of these that
- are allowed to loop indefinitely (DECL_LOOPING_CONST_PURE_P).
-
- This must be run after inlining decisions have been made since
- otherwise, the local sets will not contain information that is
- consistent with post inlined state. The global sets are not prone
- to this problem since they are by definition transitive. */
-
-/* The code in this module is called by the ipa pass manager. It
- should be one of the later passes since it's information is used by
- the rest of the compilation. */
-
-#include "config.h"
-#include "system.h"
-#include "coretypes.h"
-#include "backend.h"
-#include "target.h"
-#include "tree.h"
-#include "gimple.h"
-#include "tree-pass.h"
-#include "tree-streamer.h"
-#include "cgraph.h"
-#include "diagnostic.h"
-#include "calls.h"
-#include "cfganal.h"
-#include "tree-eh.h"
-#include "gimple-iterator.h"
-#include "gimple-walk.h"
-#include "tree-cfg.h"
-#include "tree-ssa-loop-niter.h"
-#include "langhooks.h"
-#include "ipa-utils.h"
-#include "gimple-pretty-print.h"
-#include "cfgloop.h"
-#include "tree-scalar-evolution.h"
-#include "intl.h"
-#include "opts.h"
-#include "ssa.h"
-#include "alloc-pool.h"
-#include "symbol-summary.h"
-#include "ipa-prop.h"
-#include "ipa-fnsummary.h"
-#include "symtab-thunks.h"
-#include "dbgcnt.h"
-
-/* Lattice values for const and pure functions. Everything starts out
- being const, then may drop to pure and then neither depending on
- what is found. */
-enum pure_const_state_e
-{
- IPA_CONST,
- IPA_PURE,
- IPA_NEITHER
-};
-
-static const char *pure_const_names[3] = {"const", "pure", "neither"};
-
-enum malloc_state_e
-{
- STATE_MALLOC_TOP,
- STATE_MALLOC,
- STATE_MALLOC_BOTTOM
-};
-
-static const char *malloc_state_names[] = {"malloc_top", "malloc", "malloc_bottom"};
-
-/* Holder for the const_state. There is one of these per function
- decl. */
-class funct_state_d
-{
-public:
- funct_state_d (): pure_const_state (IPA_NEITHER),
- state_previously_known (IPA_NEITHER), looping_previously_known (true),
- looping (true), can_throw (true), can_free (true),
- malloc_state (STATE_MALLOC_BOTTOM) {}
-
- funct_state_d (const funct_state_d &s): pure_const_state (s.pure_const_state),
- state_previously_known (s.state_previously_known),
- looping_previously_known (s.looping_previously_known),
- looping (s.looping), can_throw (s.can_throw), can_free (s.can_free),
- malloc_state (s.malloc_state) {}
-
- /* See above. */
- enum pure_const_state_e pure_const_state;
- /* What user set here; we can be always sure about this. */
- enum pure_const_state_e state_previously_known;
- bool looping_previously_known;
-
- /* True if the function could possibly infinite loop. There are a
- lot of ways that this could be determined. We are pretty
- conservative here. While it is possible to cse pure and const
- calls, it is not legal to have dce get rid of the call if there
- is a possibility that the call could infinite loop since this is
- a behavioral change. */
- bool looping;
-
- bool can_throw;
-
- /* If function can call free, munmap or otherwise make previously
- non-trapping memory accesses trapping. */
- bool can_free;
-
- enum malloc_state_e malloc_state;
-};
-
-typedef class funct_state_d * funct_state;
-
-/* The storage of the funct_state is abstracted because there is the
- possibility that it may be desirable to move this to the cgraph
- local info. */
-
-class funct_state_summary_t:
- public fast_function_summary <funct_state_d *, va_heap>
-{
-public:
- funct_state_summary_t (symbol_table *symtab):
- fast_function_summary <funct_state_d *, va_heap> (symtab) {}
-
- virtual void insert (cgraph_node *, funct_state_d *state);
- virtual void duplicate (cgraph_node *src_node, cgraph_node *dst_node,
- funct_state_d *src_data,
- funct_state_d *dst_data);
-};
-
-static funct_state_summary_t *funct_state_summaries = NULL;
-
-static bool gate_pure_const (void);
-
-namespace {
-
-const pass_data pass_data_ipa_pure_const =
-{
- IPA_PASS, /* type */
- "pure-const", /* name */
- OPTGROUP_NONE, /* optinfo_flags */
- TV_IPA_PURE_CONST, /* tv_id */
- 0, /* properties_required */
- 0, /* properties_provided */
- 0, /* properties_destroyed */
- 0, /* todo_flags_start */
- 0, /* todo_flags_finish */
-};
-
-class pass_ipa_pure_const : public ipa_opt_pass_d
-{
-public:
- pass_ipa_pure_const(gcc::context *ctxt);
-
- /* opt_pass methods: */
- bool gate (function *) { return gate_pure_const (); }
- unsigned int execute (function *fun);
-
- void register_hooks (void);
-
-private:
- bool init_p;
-}; // class pass_ipa_pure_const
-
-} // anon namespace
-
-/* Try to guess if function body will always be visible to compiler
- when compiling the call and whether compiler will be able
- to propagate the information by itself. */
-
-static bool
-function_always_visible_to_compiler_p (tree decl)
-{
- return (!TREE_PUBLIC (decl) || DECL_DECLARED_INLINE_P (decl)
- || DECL_COMDAT (decl));
-}
-
-/* Emit suggestion about attribute ATTRIB_NAME for DECL. KNOWN_FINITE
- is true if the function is known to be finite. The diagnostic is
- controlled by OPTION. WARNED_ABOUT is a hash_set<tree> unique for
- OPTION, this function may initialize it and it is always returned
- by the function. */
-
-static hash_set<tree> *
-suggest_attribute (int option, tree decl, bool known_finite,
- hash_set<tree> *warned_about,
- const char * attrib_name)
-{
- if (!option_enabled (option, lang_hooks.option_lang_mask (), &global_options))
- return warned_about;
- if (TREE_THIS_VOLATILE (decl)
- || (known_finite && function_always_visible_to_compiler_p (decl)))
- return warned_about;
-
- if (!warned_about)
- warned_about = new hash_set<tree>;
- if (warned_about->contains (decl))
- return warned_about;
- warned_about->add (decl);
- warning_at (DECL_SOURCE_LOCATION (decl),
- option,
- known_finite
- ? G_("function might be candidate for attribute %qs")
- : G_("function might be candidate for attribute %qs"
- " if it is known to return normally"), attrib_name);
- return warned_about;
-}
-
-/* Emit suggestion about __attribute_((pure)) for DECL. KNOWN_FINITE
- is true if the function is known to be finite. */
-
-static void
-warn_function_pure (tree decl, bool known_finite)
-{
- /* Declaring a void function pure makes no sense and is diagnosed
- by -Wattributes because calling it would have no effect. */
- if (VOID_TYPE_P (TREE_TYPE (TREE_TYPE (decl))))
- return;
-
- static hash_set<tree> *warned_about;
- warned_about
- = suggest_attribute (OPT_Wsuggest_attribute_pure, decl,
- known_finite, warned_about, "pure");
-}
-
-/* Emit suggestion about __attribute_((const)) for DECL. KNOWN_FINITE
- is true if the function is known to be finite. */
-
-static void
-warn_function_const (tree decl, bool known_finite)
-{
- /* Declaring a void function const makes no sense is diagnosed
- by -Wattributes because calling it would have no effect. */
- if (VOID_TYPE_P (TREE_TYPE (TREE_TYPE (decl))))
- return;
-
- static hash_set<tree> *warned_about;
- warned_about
- = suggest_attribute (OPT_Wsuggest_attribute_const, decl,
- known_finite, warned_about, "const");
-}
-
-/* Emit suggestion about __attribute__((malloc)) for DECL. */
-
-static void
-warn_function_malloc (tree decl)
-{
- static hash_set<tree> *warned_about;
- warned_about
- = suggest_attribute (OPT_Wsuggest_attribute_malloc, decl,
- true, warned_about, "malloc");
-}
-
-/* Emit suggestion about __attribute__((noreturn)) for DECL. */
-
-static void
-warn_function_noreturn (tree decl)
-{
- tree original_decl = decl;
-
- static hash_set<tree> *warned_about;
- if (!lang_hooks.missing_noreturn_ok_p (decl)
- && targetm.warn_func_return (decl))
- warned_about
- = suggest_attribute (OPT_Wsuggest_attribute_noreturn, original_decl,
- true, warned_about, "noreturn");
-}
-
-void
-warn_function_cold (tree decl)
-{
- tree original_decl = decl;
-
- static hash_set<tree> *warned_about;
- warned_about
- = suggest_attribute (OPT_Wsuggest_attribute_cold, original_decl,
- true, warned_about, "cold");
-}
-
-/* Check to see if the use (or definition when CHECKING_WRITE is true)
- variable T is legal in a function that is either pure or const. */
-
-static inline void
-check_decl (funct_state local,
- tree t, bool checking_write, bool ipa)
-{
- /* Do not want to do anything with volatile except mark any
- function that uses one to be not const or pure. */
- if (TREE_THIS_VOLATILE (t))
- {
- local->pure_const_state = IPA_NEITHER;
- if (dump_file)
- fprintf (dump_file, " Volatile operand is not const/pure\n");
- return;
- }
-
- /* Do not care about a local automatic that is not static. */
- if (!TREE_STATIC (t) && !DECL_EXTERNAL (t))
- return;
-
- /* If the variable has the "used" attribute, treat it as if it had a
- been touched by the devil. */
- if (DECL_PRESERVE_P (t))
- {
- local->pure_const_state = IPA_NEITHER;
- if (dump_file)
- fprintf (dump_file, " Used static/global variable is not const/pure\n");
- return;
- }
-
- /* In IPA mode we are not interested in checking actual loads and stores;
- they will be processed at propagation time using ipa_ref. */
- if (ipa)
- return;
-
- /* Since we have dealt with the locals and params cases above, if we
- are CHECKING_WRITE, this cannot be a pure or constant
- function. */
- if (checking_write)
- {
- local->pure_const_state = IPA_NEITHER;
- if (dump_file)
- fprintf (dump_file, " static/global memory write is not const/pure\n");
- return;
- }
-
- if (DECL_EXTERNAL (t) || TREE_PUBLIC (t))
- {
- /* Readonly reads are safe. */
- if (TREE_READONLY (t))
- return; /* Read of a constant, do not change the function state. */
- else
- {
- if (dump_file)
- fprintf (dump_file, " global memory read is not const\n");
- /* Just a regular read. */
- if (local->pure_const_state == IPA_CONST)
- local->pure_const_state = IPA_PURE;
- }
- }
- else
- {
- /* Compilation level statics can be read if they are readonly
- variables. */
- if (TREE_READONLY (t))
- return;
-
- if (dump_file)
- fprintf (dump_file, " static memory read is not const\n");
- /* Just a regular read. */
- if (local->pure_const_state == IPA_CONST)
- local->pure_const_state = IPA_PURE;
- }
-}
-
-
-/* Check to see if the use (or definition when CHECKING_WRITE is true)
- variable T is legal in a function that is either pure or const. */
-
-static inline void
-check_op (funct_state local, tree t, bool checking_write)
-{
- t = get_base_address (t);
- if (t && TREE_THIS_VOLATILE (t))
- {
- local->pure_const_state = IPA_NEITHER;
- if (dump_file)
- fprintf (dump_file, " Volatile indirect ref is not const/pure\n");
- return;
- }
- else if (refs_local_or_readonly_memory_p (t))
- {
- if (dump_file)
- fprintf (dump_file, " Indirect ref to local or readonly "
- "memory is OK\n");
- return;
- }
- else if (checking_write)
- {
- local->pure_const_state = IPA_NEITHER;
- if (dump_file)
- fprintf (dump_file, " Indirect ref write is not const/pure\n");
- return;
- }
- else
- {
- if (dump_file)
- fprintf (dump_file, " Indirect ref read is not const\n");
- if (local->pure_const_state == IPA_CONST)
- local->pure_const_state = IPA_PURE;
- }
-}
-
-/* compute state based on ECF FLAGS and store to STATE and LOOPING. */
-
-static void
-state_from_flags (enum pure_const_state_e *state, bool *looping,
- int flags, bool cannot_lead_to_return)
-{
- *looping = false;
- if (flags & ECF_LOOPING_CONST_OR_PURE)
- {
- *looping = true;
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, " looping\n");
- }
- if (flags & ECF_CONST)
- {
- *state = IPA_CONST;
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, " const\n");
- }
- else if (flags & ECF_PURE)
- {
- *state = IPA_PURE;
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, " pure\n");
- }
- else if (cannot_lead_to_return)
- {
- *state = IPA_PURE;
- *looping = true;
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, " ignoring side effects->pure looping\n");
- }
- else
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, " neither\n");
- *state = IPA_NEITHER;
- *looping = true;
- }
-}
-
-/* Merge STATE and STATE2 and LOOPING and LOOPING2 and store
- into STATE and LOOPING better of the two variants.
- Be sure to merge looping correctly. IPA_NEITHER functions
- have looping 0 even if they don't have to return. */
-
-static inline void
-better_state (enum pure_const_state_e *state, bool *looping,
- enum pure_const_state_e state2, bool looping2)
-{
- if (state2 < *state)
- {
- if (*state == IPA_NEITHER)
- *looping = looping2;
- else
- *looping = MIN (*looping, looping2);
- *state = state2;
- }
- else if (state2 != IPA_NEITHER)
- *looping = MIN (*looping, looping2);
-}
-
-/* Merge STATE and STATE2 and LOOPING and LOOPING2 and store
- into STATE and LOOPING worse of the two variants.
- N is the actual node called. */
-
-static inline void
-worse_state (enum pure_const_state_e *state, bool *looping,
- enum pure_const_state_e state2, bool looping2,
- struct symtab_node *from,
- struct symtab_node *to)
-{
- /* Consider function:
-
- bool a(int *p)
- {
- return *p==*p;
- }
-
- During early optimization we will turn this into:
-
- bool a(int *p)
- {
- return true;
- }
-
- Now if this function will be detected as CONST however when interposed it
- may end up being just pure. We always must assume the worst scenario here.
- */
- if (*state == IPA_CONST && state2 == IPA_CONST
- && to && !TREE_READONLY (to->decl) && !to->binds_to_current_def_p (from))
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Dropping state to PURE because call to %s may not "
- "bind to current def.\n", to->dump_name ());
- state2 = IPA_PURE;
- }
- *state = MAX (*state, state2);
- *looping = MAX (*looping, looping2);
-}
-
-/* Recognize special cases of builtins that are by themselves not const
- but function using them is. */
-bool
-builtin_safe_for_const_function_p (bool *looping, tree callee)
-{
- if (DECL_BUILT_IN_CLASS (callee) == BUILT_IN_NORMAL)
- switch (DECL_FUNCTION_CODE (callee))
- {
- case BUILT_IN_RETURN:
- case BUILT_IN_UNREACHABLE:
- CASE_BUILT_IN_ALLOCA:
- case BUILT_IN_STACK_SAVE:
- case BUILT_IN_STACK_RESTORE:
- case BUILT_IN_EH_POINTER:
- case BUILT_IN_EH_FILTER:
- case BUILT_IN_UNWIND_RESUME:
- case BUILT_IN_CXA_END_CLEANUP:
- case BUILT_IN_EH_COPY_VALUES:
- case BUILT_IN_FRAME_ADDRESS:
- case BUILT_IN_APPLY_ARGS:
- case BUILT_IN_ASAN_BEFORE_DYNAMIC_INIT:
- case BUILT_IN_ASAN_AFTER_DYNAMIC_INIT:
- case BUILT_IN_DWARF_CFA:
- case BUILT_IN_RETURN_ADDRESS:
- *looping = false;
- return true;
- case BUILT_IN_PREFETCH:
- *looping = true;
- return true;
- default:
- break;
- }
- return false;
-}
-
-/* Check the parameters of a function call to CALL_EXPR to see if
- there are any references in the parameters that are not allowed for
- pure or const functions. Also check to see if this is either an
- indirect call, a call outside the compilation unit, or has special
- attributes that may also effect the purity. The CALL_EXPR node for
- the entire call expression. */
-
-static void
-check_call (funct_state local, gcall *call, bool ipa)
-{
- int flags = gimple_call_flags (call);
- tree callee_t = gimple_call_fndecl (call);
- bool possibly_throws = stmt_could_throw_p (cfun, call);
- bool possibly_throws_externally = (possibly_throws
- && stmt_can_throw_external (cfun, call));
-
- if (possibly_throws)
- {
- unsigned int i;
- for (i = 0; i < gimple_num_ops (call); i++)
- if (gimple_op (call, i)
- && tree_could_throw_p (gimple_op (call, i)))
- {
- if (possibly_throws && cfun->can_throw_non_call_exceptions)
- {
- if (dump_file)
- fprintf (dump_file, " operand can throw; looping\n");
- local->looping = true;
- }
- if (possibly_throws_externally)
- {
- if (dump_file)
- fprintf (dump_file, " operand can throw externally\n");
- local->can_throw = true;
- }
- }
- }
-
- /* The const and pure flags are set by a variety of places in the
- compiler (including here). If someone has already set the flags
- for the callee, (such as for some of the builtins) we will use
- them, otherwise we will compute our own information.
-
- Const and pure functions have less clobber effects than other
- functions so we process these first. Otherwise if it is a call
- outside the compilation unit or an indirect call we punt. This
- leaves local calls which will be processed by following the call
- graph. */
- if (callee_t)
- {
- bool call_looping;
-
- if (gimple_call_builtin_p (call, BUILT_IN_NORMAL)
- && !nonfreeing_call_p (call))
- local->can_free = true;
-
- if (builtin_safe_for_const_function_p (&call_looping, callee_t))
- {
- worse_state (&local->pure_const_state, &local->looping,
- IPA_CONST, call_looping,
- NULL, NULL);
- return;
- }
- /* When bad things happen to bad functions, they cannot be const
- or pure. */
- if (setjmp_call_p (callee_t))
- {
- if (dump_file)
- fprintf (dump_file, " setjmp is not const/pure\n");
- local->looping = true;
- local->pure_const_state = IPA_NEITHER;
- }
-
- if (DECL_BUILT_IN_CLASS (callee_t) == BUILT_IN_NORMAL)
- switch (DECL_FUNCTION_CODE (callee_t))
- {
- case BUILT_IN_LONGJMP:
- case BUILT_IN_NONLOCAL_GOTO:
- if (dump_file)
- fprintf (dump_file,
- " longjmp and nonlocal goto is not const/pure\n");
- local->pure_const_state = IPA_NEITHER;
- local->looping = true;
- break;
- default:
- break;
- }
- }
- else if (gimple_call_internal_p (call) && !nonfreeing_call_p (call))
- local->can_free = true;
-
- /* When not in IPA mode, we can still handle self recursion. */
- if (!ipa && callee_t
- && recursive_call_p (current_function_decl, callee_t))
- {
- if (dump_file)
- fprintf (dump_file, " Recursive call can loop.\n");
- local->looping = true;
- }
- /* Either callee is unknown or we are doing local analysis.
- Look to see if there are any bits available for the callee (such as by
- declaration or because it is builtin) and process solely on the basis of
- those bits. Handle internal calls always, those calls don't have
- corresponding cgraph edges and thus aren't processed during
- the propagation. */
- else if (!ipa || gimple_call_internal_p (call))
- {
- enum pure_const_state_e call_state;
- bool call_looping;
- if (possibly_throws && cfun->can_throw_non_call_exceptions)
- {
- if (dump_file)
- fprintf (dump_file, " can throw; looping\n");
- local->looping = true;
- }
- if (possibly_throws_externally)
- {
- if (dump_file)
- {
- fprintf (dump_file, " can throw externally to lp %i\n",
- lookup_stmt_eh_lp (call));
- if (callee_t)
- fprintf (dump_file, " callee:%s\n",
- IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (callee_t)));
- }
- local->can_throw = true;
- }
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, " checking flags for call:");
- state_from_flags (&call_state, &call_looping, flags,
- ((flags & (ECF_NORETURN | ECF_NOTHROW))
- == (ECF_NORETURN | ECF_NOTHROW))
- || (!flag_exceptions && (flags & ECF_NORETURN)));
- worse_state (&local->pure_const_state, &local->looping,
- call_state, call_looping, NULL, NULL);
- }
- /* Direct functions calls are handled by IPA propagation. */
-}
-
-/* Wrapper around check_decl for loads in local more. */
-
-static bool
-check_load (gimple *, tree op, tree, void *data)
-{
- if (DECL_P (op))
- check_decl ((funct_state)data, op, false, false);
- else
- check_op ((funct_state)data, op, false);
- return false;
-}
-
-/* Wrapper around check_decl for stores in local more. */
-
-static bool
-check_store (gimple *, tree op, tree, void *data)
-{
- if (DECL_P (op))
- check_decl ((funct_state)data, op, true, false);
- else
- check_op ((funct_state)data, op, true);
- return false;
-}
-
-/* Wrapper around check_decl for loads in ipa mode. */
-
-static bool
-check_ipa_load (gimple *, tree op, tree, void *data)
-{
- if (DECL_P (op))
- check_decl ((funct_state)data, op, false, true);
- else
- check_op ((funct_state)data, op, false);
- return false;
-}
-
-/* Wrapper around check_decl for stores in ipa mode. */
-
-static bool
-check_ipa_store (gimple *, tree op, tree, void *data)
-{
- if (DECL_P (op))
- check_decl ((funct_state)data, op, true, true);
- else
- check_op ((funct_state)data, op, true);
- return false;
-}
-
-/* Look into pointer pointed to by GSIP and figure out what interesting side
- effects it has. */
-static void
-check_stmt (gimple_stmt_iterator *gsip, funct_state local, bool ipa)
-{
- gimple *stmt = gsi_stmt (*gsip);
-
- if (is_gimple_debug (stmt))
- return;
-
- /* Do consider clobber as side effects before IPA, so we rather inline
- C++ destructors and keep clobber semantics than eliminate them.
-
- Similar logic is in ipa-modref.
-
- TODO: We may get smarter during early optimizations on these and let
- functions containing only clobbers to be optimized more. This is a common
- case of C++ destructors. */
-
- if ((ipa || cfun->after_inlining) && gimple_clobber_p (stmt))
- return;
-
- if (dump_file)
- {
- fprintf (dump_file, " scanning: ");
- print_gimple_stmt (dump_file, stmt, 0);
- }
-
- if (gimple_has_volatile_ops (stmt)
- && !gimple_clobber_p (stmt))
- {
- local->pure_const_state = IPA_NEITHER;
- if (dump_file)
- fprintf (dump_file, " Volatile stmt is not const/pure\n");
- }
-
- /* Look for loads and stores. */
- walk_stmt_load_store_ops (stmt, local,
- ipa ? check_ipa_load : check_load,
- ipa ? check_ipa_store : check_store);
-
- if (gimple_code (stmt) != GIMPLE_CALL
- && stmt_could_throw_p (cfun, stmt))
- {
- if (cfun->can_throw_non_call_exceptions)
- {
- if (dump_file)
- fprintf (dump_file, " can throw; looping\n");
- local->looping = true;
- }
- if (stmt_can_throw_external (cfun, stmt))
- {
- if (dump_file)
- fprintf (dump_file, " can throw externally\n");
- local->can_throw = true;
- }
- else
- if (dump_file)
- fprintf (dump_file, " can throw\n");
- }
- switch (gimple_code (stmt))
- {
- case GIMPLE_CALL:
- check_call (local, as_a <gcall *> (stmt), ipa);
- break;
- case GIMPLE_LABEL:
- if (DECL_NONLOCAL (gimple_label_label (as_a <glabel *> (stmt))))
- /* Target of long jump. */
- {
- if (dump_file)
- fprintf (dump_file, " nonlocal label is not const/pure\n");
- local->pure_const_state = IPA_NEITHER;
- }
- break;
- case GIMPLE_ASM:
- if (gimple_asm_clobbers_memory_p (as_a <gasm *> (stmt)))
- {
- if (dump_file)
- fprintf (dump_file, " memory asm clobber is not const/pure\n");
- /* Abandon all hope, ye who enter here. */
- local->pure_const_state = IPA_NEITHER;
- local->can_free = true;
- }
- if (gimple_asm_volatile_p (as_a <gasm *> (stmt)))
- {
- if (dump_file)
- fprintf (dump_file, " volatile is not const/pure\n");
- /* Abandon all hope, ye who enter here. */
- local->pure_const_state = IPA_NEITHER;
- local->looping = true;
- local->can_free = true;
- }
- return;
- default:
- break;
- }
-}
-
-/* Check that RETVAL is used only in STMT and in comparisons against 0.
- RETVAL is return value of the function and STMT is return stmt. */
-
-static bool
-check_retval_uses (tree retval, gimple *stmt)
-{
- imm_use_iterator use_iter;
- gimple *use_stmt;
-
- FOR_EACH_IMM_USE_STMT (use_stmt, use_iter, retval)
- if (gcond *cond = dyn_cast<gcond *> (use_stmt))
- {
- tree op2 = gimple_cond_rhs (cond);
- if (!integer_zerop (op2))
- return false;
- }
- else if (gassign *ga = dyn_cast<gassign *> (use_stmt))
- {
- enum tree_code code = gimple_assign_rhs_code (ga);
- if (TREE_CODE_CLASS (code) != tcc_comparison)
- return false;
- if (!integer_zerop (gimple_assign_rhs2 (ga)))
- return false;
- }
- else if (is_gimple_debug (use_stmt))
- ;
- else if (use_stmt != stmt)
- return false;
-
- return true;
-}
-
-/* malloc_candidate_p() checks if FUN can possibly be annotated with malloc
- attribute. Currently this function does a very conservative analysis.
- FUN is considered to be a candidate if
- 1) It returns a value of pointer type.
- 2) SSA_NAME_DEF_STMT (return_value) is either a function call or
- a phi, and element of phi is either NULL or
- SSA_NAME_DEF_STMT(element) is function call.
- 3) The return-value has immediate uses only within comparisons (gcond or gassign)
- and return_stmt (and likewise a phi arg has immediate use only within comparison
- or the phi stmt). */
-
-#define DUMP_AND_RETURN(reason) \
-{ \
- if (dump_file && (dump_flags & TDF_DETAILS)) \
- fprintf (dump_file, "\n%s is not a malloc candidate, reason: %s\n", \
- (node->dump_name ()), (reason)); \
- return false; \
-}
-
-static bool
-malloc_candidate_p_1 (function *fun, tree retval, gimple *ret_stmt, bool ipa,
- bitmap visited)
-{
- cgraph_node *node = cgraph_node::get_create (fun->decl);
- if (!bitmap_set_bit (visited, SSA_NAME_VERSION (retval)))
- return true;
-
- if (!check_retval_uses (retval, ret_stmt))
- DUMP_AND_RETURN("Return value has uses outside return stmt"
- " and comparisons against 0.")
-
- gimple *def = SSA_NAME_DEF_STMT (retval);
-
- if (gcall *call_stmt = dyn_cast<gcall *> (def))
- {
- tree callee_decl = gimple_call_fndecl (call_stmt);
- if (!callee_decl)
- return false;
-
- if (!ipa && !DECL_IS_MALLOC (callee_decl))
- DUMP_AND_RETURN("callee_decl does not have malloc attribute for"
- " non-ipa mode.")
-
- cgraph_edge *cs = node->get_edge (call_stmt);
- if (cs)
- {
- ipa_call_summary *es = ipa_call_summaries->get_create (cs);
- es->is_return_callee_uncaptured = true;
- }
- }
-
- else if (gphi *phi = dyn_cast<gphi *> (def))
- {
- bool all_args_zero = true;
- for (unsigned i = 0; i < gimple_phi_num_args (phi); ++i)
- {
- tree arg = gimple_phi_arg_def (phi, i);
- if (integer_zerop (arg))
- continue;
-
- all_args_zero = false;
- if (TREE_CODE (arg) != SSA_NAME)
- DUMP_AND_RETURN ("phi arg is not SSA_NAME.");
- if (!check_retval_uses (arg, phi))
- DUMP_AND_RETURN ("phi arg has uses outside phi"
- " and comparisons against 0.")
-
- gimple *arg_def = SSA_NAME_DEF_STMT (arg);
- if (is_a<gphi *> (arg_def))
- {
- if (!malloc_candidate_p_1 (fun, arg, phi, ipa, visited))
- DUMP_AND_RETURN ("nested phi fail")
- continue;
- }
-
- gcall *call_stmt = dyn_cast<gcall *> (arg_def);
- if (!call_stmt)
- DUMP_AND_RETURN ("phi arg is a not a call_stmt.")
-
- tree callee_decl = gimple_call_fndecl (call_stmt);
- if (!callee_decl)
- return false;
- if (!ipa && !DECL_IS_MALLOC (callee_decl))
- DUMP_AND_RETURN("callee_decl does not have malloc attribute"
- " for non-ipa mode.")
-
- cgraph_edge *cs = node->get_edge (call_stmt);
- if (cs)
- {
- ipa_call_summary *es = ipa_call_summaries->get_create (cs);
- es->is_return_callee_uncaptured = true;
- }
- }
-
- if (all_args_zero)
- DUMP_AND_RETURN ("Return value is a phi with all args equal to 0.")
- }
-
- else
- DUMP_AND_RETURN("def_stmt of return value is not a call or phi-stmt.")
-
- return true;
-}
-
-static bool
-malloc_candidate_p (function *fun, bool ipa)
-{
- basic_block exit_block = EXIT_BLOCK_PTR_FOR_FN (fun);
- edge e;
- edge_iterator ei;
- cgraph_node *node = cgraph_node::get_create (fun->decl);
-
- if (EDGE_COUNT (exit_block->preds) == 0
- || !flag_delete_null_pointer_checks)
- return false;
-
- auto_bitmap visited;
- FOR_EACH_EDGE (e, ei, exit_block->preds)
- {
- gimple_stmt_iterator gsi = gsi_last_bb (e->src);
- greturn *ret_stmt = dyn_cast<greturn *> (gsi_stmt (gsi));
-
- if (!ret_stmt)
- return false;
-
- tree retval = gimple_return_retval (ret_stmt);
- if (!retval)
- DUMP_AND_RETURN("No return value.")
-
- if (TREE_CODE (retval) != SSA_NAME
- || TREE_CODE (TREE_TYPE (retval)) != POINTER_TYPE)
- DUMP_AND_RETURN("Return value is not SSA_NAME or not a pointer type.")
-
- if (!malloc_candidate_p_1 (fun, retval, ret_stmt, ipa, visited))
- return false;
- }
-
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "\nFound %s to be candidate for malloc attribute\n",
- IDENTIFIER_POINTER (DECL_NAME (fun->decl)));
- return true;
-}
-
-#undef DUMP_AND_RETURN
-
-/* Return true if function is known to be finite. */
-
-bool
-finite_function_p ()
-{
- /* Const functions cannot have back edges (an
- indication of possible infinite loop side
- effect. */
- bool finite = true;
- if (mark_dfs_back_edges ())
- {
- /* Preheaders are needed for SCEV to work.
- Simple latches and recorded exits improve chances that loop will
- proved to be finite in testcases such as in loop-15.c
- and loop-24.c */
- loop_optimizer_init (LOOPS_HAVE_PREHEADERS
- | LOOPS_HAVE_SIMPLE_LATCHES
- | LOOPS_HAVE_RECORDED_EXITS);
- if (dump_file && (dump_flags & TDF_DETAILS))
- flow_loops_dump (dump_file, NULL, 0);
- if (mark_irreducible_loops ())
- {
- if (dump_file)
- fprintf (dump_file, " has irreducible loops\n");
- finite = false;
- }
- else
- {
- scev_initialize ();
- for (auto loop : loops_list (cfun, 0))
- if (!finite_loop_p (loop))
- {
- if (dump_file)
- fprintf (dump_file, " cannot prove finiteness of "
- "loop %i\n", loop->num);
- finite =false;
- break;
- }
- scev_finalize ();
- }
- loop_optimizer_finalize ();
- }
- return finite;
-}
-
-/* This is the main routine for finding the reference patterns for
- global variables within a function FN. */
-
-static funct_state
-analyze_function (struct cgraph_node *fn, bool ipa)
-{
- tree decl = fn->decl;
- funct_state l;
- basic_block this_block;
-
- l = XCNEW (class funct_state_d);
- l->pure_const_state = IPA_CONST;
- l->state_previously_known = IPA_NEITHER;
- l->looping_previously_known = true;
- l->looping = false;
- l->can_throw = false;
- l->can_free = false;
- state_from_flags (&l->state_previously_known, &l->looping_previously_known,
- flags_from_decl_or_type (fn->decl),
- fn->cannot_return_p ());
-
- if (fn->thunk || fn->alias)
- {
- /* Thunk gets propagated through, so nothing interesting happens. */
- gcc_assert (ipa);
- if (fn->thunk && thunk_info::get (fn)->virtual_offset_p)
- l->pure_const_state = IPA_NEITHER;
- return l;
- }
-
- if (dump_file)
- {
- fprintf (dump_file, "\n\n local analysis of %s\n ",
- fn->dump_name ());
- }
-
- push_cfun (DECL_STRUCT_FUNCTION (decl));
-
- FOR_EACH_BB_FN (this_block, cfun)
- {
- gimple_stmt_iterator gsi;
- struct walk_stmt_info wi;
-
- memset (&wi, 0, sizeof (wi));
- for (gsi = gsi_start_bb (this_block);
- !gsi_end_p (gsi);
- gsi_next (&gsi))
- {
- /* NULL memory accesses terminates BB. These accesses are known
- to trip undefined behaviour. gimple-ssa-isolate-paths turns them
- to volatile accesses and adds builtin_trap call which would
- confuse us otherwise. */
- if (infer_nonnull_range_by_dereference (gsi_stmt (gsi),
- null_pointer_node))
- {
- if (dump_file)
- fprintf (dump_file, " NULL memory access; terminating BB%s\n",
- flag_non_call_exceptions ? "; looping" : "");
- if (flag_non_call_exceptions)
- {
- l->looping = true;
- if (stmt_can_throw_external (cfun, gsi_stmt (gsi)))
- {
- if (dump_file)
- fprintf (dump_file, " can throw externally\n");
- l->can_throw = true;
- }
- }
- break;
- }
- check_stmt (&gsi, l, ipa);
- if (l->pure_const_state == IPA_NEITHER
- && l->looping
- && l->can_throw
- && l->can_free)
- goto end;
- }
- }
-
-end:
- if (l->pure_const_state != IPA_NEITHER
- && !l->looping
- && !finite_function_p ())
- l->looping = true;
-
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, " checking previously known:");
-
- better_state (&l->pure_const_state, &l->looping,
- l->state_previously_known,
- l->looping_previously_known);
- if (TREE_NOTHROW (decl))
- l->can_throw = false;
-
- l->malloc_state = STATE_MALLOC_BOTTOM;
- if (DECL_IS_MALLOC (decl))
- l->malloc_state = STATE_MALLOC;
- else if (ipa && malloc_candidate_p (DECL_STRUCT_FUNCTION (decl), true))
- l->malloc_state = STATE_MALLOC_TOP;
- else if (malloc_candidate_p (DECL_STRUCT_FUNCTION (decl), false))
- l->malloc_state = STATE_MALLOC;
-
- pop_cfun ();
- if (dump_file)
- {
- if (l->looping)
- fprintf (dump_file, "Function is locally looping.\n");
- if (l->can_throw)
- fprintf (dump_file, "Function is locally throwing.\n");
- if (l->pure_const_state == IPA_CONST)
- fprintf (dump_file, "Function is locally const.\n");
- if (l->pure_const_state == IPA_PURE)
- fprintf (dump_file, "Function is locally pure.\n");
- if (l->can_free)
- fprintf (dump_file, "Function can locally free.\n");
- if (l->malloc_state == STATE_MALLOC)
- fprintf (dump_file, "Function is locally malloc.\n");
- }
- return l;
-}
-
-void
-funct_state_summary_t::insert (cgraph_node *node, funct_state_d *state)
-{
- /* There are some shared nodes, in particular the initializers on
- static declarations. We do not need to scan them more than once
- since all we would be interested in are the addressof
- operations. */
- if (opt_for_fn (node->decl, flag_ipa_pure_const))
- {
- funct_state_d *a = analyze_function (node, true);
- new (state) funct_state_d (*a);
- free (a);
- }
- else
- /* Do not keep stale summaries. */
- funct_state_summaries->remove (node);
-}
-
-/* Called when new clone is inserted to callgraph late. */
-
-void
-funct_state_summary_t::duplicate (cgraph_node *, cgraph_node *dst,
- funct_state_d *src_data,
- funct_state_d *dst_data)
-{
- new (dst_data) funct_state_d (*src_data);
- if (dst_data->malloc_state == STATE_MALLOC
- && VOID_TYPE_P (TREE_TYPE (TREE_TYPE (dst->decl))))
- dst_data->malloc_state = STATE_MALLOC_BOTTOM;
-}
-
-
-void
-pass_ipa_pure_const::
-register_hooks (void)
-{
- if (init_p)
- return;
-
- init_p = true;
-
- funct_state_summaries = new funct_state_summary_t (symtab);
-}
-
-
-/* Analyze each function in the cgraph to see if it is locally PURE or
- CONST. */
-
-static void
-pure_const_generate_summary (void)
-{
- struct cgraph_node *node;
-
- pass_ipa_pure_const *pass = static_cast <pass_ipa_pure_const *> (current_pass);
- pass->register_hooks ();
-
- /* Process all of the functions.
-
- We process AVAIL_INTERPOSABLE functions. We cannot use the results
- by default, but the info can be used at LTO with -fwhole-program or
- when function got cloned and the clone is AVAILABLE. */
-
- FOR_EACH_DEFINED_FUNCTION (node)
- if (opt_for_fn (node->decl, flag_ipa_pure_const))
- {
- funct_state_d *a = analyze_function (node, true);
- new (funct_state_summaries->get_create (node)) funct_state_d (*a);
- free (a);
- }
-}
-
-
-/* Serialize the ipa info for lto. */
-
-static void
-pure_const_write_summary (void)
-{
- struct cgraph_node *node;
- struct lto_simple_output_block *ob
- = lto_create_simple_output_block (LTO_section_ipa_pure_const);
- unsigned int count = 0;
- lto_symtab_encoder_iterator lsei;
- lto_symtab_encoder_t encoder;
-
- encoder = lto_get_out_decl_state ()->symtab_node_encoder;
-
- for (lsei = lsei_start_function_in_partition (encoder); !lsei_end_p (lsei);
- lsei_next_function_in_partition (&lsei))
- {
- node = lsei_cgraph_node (lsei);
- if (node->definition && funct_state_summaries->exists (node))
- count++;
- }
-
- streamer_write_uhwi_stream (ob->main_stream, count);
-
- /* Process all of the functions. */
- for (lsei = lsei_start_function_in_partition (encoder); !lsei_end_p (lsei);
- lsei_next_function_in_partition (&lsei))
- {
- node = lsei_cgraph_node (lsei);
- funct_state_d *fs = funct_state_summaries->get (node);
- if (node->definition && fs != NULL)
- {
- struct bitpack_d bp;
- int node_ref;
- lto_symtab_encoder_t encoder;
-
- encoder = ob->decl_state->symtab_node_encoder;
- node_ref = lto_symtab_encoder_encode (encoder, node);
- streamer_write_uhwi_stream (ob->main_stream, node_ref);
-
- /* Note that flags will need to be read in the opposite
- order as we are pushing the bitflags into FLAGS. */
- bp = bitpack_create (ob->main_stream);
- bp_pack_value (&bp, fs->pure_const_state, 2);
- bp_pack_value (&bp, fs->state_previously_known, 2);
- bp_pack_value (&bp, fs->looping_previously_known, 1);
- bp_pack_value (&bp, fs->looping, 1);
- bp_pack_value (&bp, fs->can_throw, 1);
- bp_pack_value (&bp, fs->can_free, 1);
- bp_pack_value (&bp, fs->malloc_state, 2);
- streamer_write_bitpack (&bp);
- }
- }
-
- lto_destroy_simple_output_block (ob);
-}
-
-
-/* Deserialize the ipa info for lto. */
-
-static void
-pure_const_read_summary (void)
-{
- struct lto_file_decl_data **file_data_vec = lto_get_file_decl_data ();
- struct lto_file_decl_data *file_data;
- unsigned int j = 0;
-
- pass_ipa_pure_const *pass = static_cast <pass_ipa_pure_const *> (current_pass);
- pass->register_hooks ();
-
- while ((file_data = file_data_vec[j++]))
- {
- const char *data;
- size_t len;
- class lto_input_block *ib
- = lto_create_simple_input_block (file_data,
- LTO_section_ipa_pure_const,
- &data, &len);
- if (ib)
- {
- unsigned int i;
- unsigned int count = streamer_read_uhwi (ib);
-
- for (i = 0; i < count; i++)
- {
- unsigned int index;
- struct cgraph_node *node;
- struct bitpack_d bp;
- funct_state fs;
- lto_symtab_encoder_t encoder;
-
- index = streamer_read_uhwi (ib);
- encoder = file_data->symtab_node_encoder;
- node = dyn_cast<cgraph_node *> (lto_symtab_encoder_deref (encoder,
- index));
-
- fs = funct_state_summaries->get_create (node);
- /* Note that the flags must be read in the opposite
- order in which they were written (the bitflags were
- pushed into FLAGS). */
- bp = streamer_read_bitpack (ib);
- fs->pure_const_state
- = (enum pure_const_state_e) bp_unpack_value (&bp, 2);
- fs->state_previously_known
- = (enum pure_const_state_e) bp_unpack_value (&bp, 2);
- fs->looping_previously_known = bp_unpack_value (&bp, 1);
- fs->looping = bp_unpack_value (&bp, 1);
- fs->can_throw = bp_unpack_value (&bp, 1);
- fs->can_free = bp_unpack_value (&bp, 1);
- fs->malloc_state
- = (enum malloc_state_e) bp_unpack_value (&bp, 2);
-
- if (dump_file)
- {
- int flags = flags_from_decl_or_type (node->decl);
- fprintf (dump_file, "Read info for %s ", node->dump_name ());
- if (flags & ECF_CONST)
- fprintf (dump_file, " const");
- if (flags & ECF_PURE)
- fprintf (dump_file, " pure");
- if (flags & ECF_NOTHROW)
- fprintf (dump_file, " nothrow");
- fprintf (dump_file, "\n pure const state: %s\n",
- pure_const_names[fs->pure_const_state]);
- fprintf (dump_file, " previously known state: %s\n",
- pure_const_names[fs->state_previously_known]);
- if (fs->looping)
- fprintf (dump_file," function is locally looping\n");
- if (fs->looping_previously_known)
- fprintf (dump_file," function is previously known looping\n");
- if (fs->can_throw)
- fprintf (dump_file," function is locally throwing\n");
- if (fs->can_free)
- fprintf (dump_file," function can locally free\n");
- fprintf (dump_file, "\n malloc state: %s\n",
- malloc_state_names[fs->malloc_state]);
- }
- }
-
- lto_destroy_simple_input_block (file_data,
- LTO_section_ipa_pure_const,
- ib, data, len);
- }
- }
-}
-
-/* We only propagate across edges that can throw externally and their callee
- is not interposable. */
-
-static bool
-ignore_edge_for_nothrow (struct cgraph_edge *e)
-{
- if (!e->can_throw_external || TREE_NOTHROW (e->callee->decl))
- return true;
-
- enum availability avail;
- cgraph_node *ultimate_target
- = e->callee->function_or_virtual_thunk_symbol (&avail, e->caller);
- if (avail <= AVAIL_INTERPOSABLE || TREE_NOTHROW (ultimate_target->decl))
- return true;
- return ((opt_for_fn (e->callee->decl, flag_non_call_exceptions)
- && !e->callee->binds_to_current_def_p (e->caller))
- || !opt_for_fn (e->caller->decl, flag_ipa_pure_const)
- || !opt_for_fn (ultimate_target->decl, flag_ipa_pure_const));
-}
-
-/* Return true if NODE is self recursive function.
- Indirectly recursive functions appears as non-trivial strongly
- connected components, so we need to care about self recursion
- only. */
-
-static bool
-self_recursive_p (struct cgraph_node *node)
-{
- struct cgraph_edge *e;
- for (e = node->callees; e; e = e->next_callee)
- if (e->callee->function_symbol () == node)
- return true;
- return false;
-}
-
-/* Return true if N is cdtor that is not const or pure. In this case we may
- need to remove unreachable function if it is marked const/pure. */
-
-static bool
-cdtor_p (cgraph_node *n, void *)
-{
- if (DECL_STATIC_CONSTRUCTOR (n->decl) || DECL_STATIC_DESTRUCTOR (n->decl))
- return ((!TREE_READONLY (n->decl) && !DECL_PURE_P (n->decl))
- || DECL_LOOPING_CONST_OR_PURE_P (n->decl));
- return false;
-}
-
-/* Skip edges from and to nodes without ipa_pure_const enabled.
- Ignore not available symbols. */
-
-static bool
-ignore_edge_for_pure_const (struct cgraph_edge *e)
-{
- enum availability avail;
- cgraph_node *ultimate_target
- = e->callee->function_or_virtual_thunk_symbol (&avail, e->caller);
-
- return (avail <= AVAIL_INTERPOSABLE
- || !opt_for_fn (e->caller->decl, flag_ipa_pure_const)
- || !opt_for_fn (ultimate_target->decl,
- flag_ipa_pure_const));
-}
-
-/* Return true if function should be skipped for local pure const analysis. */
-
-static bool
-skip_function_for_local_pure_const (struct cgraph_node *node)
-{
- /* Because we do not schedule pass_fixup_cfg over whole program after early
- optimizations we must not promote functions that are called by already
- processed functions. */
-
- if (function_called_by_processed_nodes_p ())
- {
- if (dump_file)
- fprintf (dump_file, "Function called in recursive cycle; ignoring\n");
- return true;
- }
- /* Save some work and do not analyze functions which are interposable and
- do not have any non-interposable aliases. */
- if (node->get_availability () <= AVAIL_INTERPOSABLE
- && !flag_lto
- && !node->has_aliases_p ())
- {
- if (dump_file)
- fprintf (dump_file,
- "Function is interposable; not analyzing.\n");
- return true;
- }
- return false;
-}
-
-/* Make function const and output warning. If LOCAL is true,
- return true if anything changed. Otherwise return true if
- we may have introduced removale ctors. */
-
-bool
-ipa_make_function_const (struct cgraph_node *node, bool looping, bool local)
-{
- bool cdtor = false;
-
- if (TREE_READONLY (node->decl)
- && (looping || !DECL_LOOPING_CONST_OR_PURE_P (node->decl)))
- return false;
- warn_function_const (node->decl, !looping);
- if (local && skip_function_for_local_pure_const (node))
- return false;
- if (dump_file)
- fprintf (dump_file, "Function found to be %sconst: %s\n",
- looping ? "looping " : "",
- node->dump_name ());
- if (!local && !looping)
- cdtor = node->call_for_symbol_and_aliases (cdtor_p, NULL, true);
- if (!dbg_cnt (ipa_attr))
- return false;
- if (node->set_const_flag (true, looping))
- {
- if (dump_file)
- fprintf (dump_file,
- "Declaration updated to be %sconst: %s\n",
- looping ? "looping " : "",
- node->dump_name ());
- if (local)
- return true;
- return cdtor;
- }
- return false;
-}
-
-/* Make function const and output warning. If LOCAL is true,
- return true if anything changed. Otherwise return true if
- we may have introduced removale ctors. */
-
-bool
-ipa_make_function_pure (struct cgraph_node *node, bool looping, bool local)
-{
- bool cdtor = false;
-
- if (DECL_PURE_P (node->decl)
- && (looping || !DECL_LOOPING_CONST_OR_PURE_P (node->decl)))
- return false;
- warn_function_pure (node->decl, !looping);
- if (local && skip_function_for_local_pure_const (node))
- return false;
- if (dump_file)
- fprintf (dump_file, "Function found to be %spure: %s\n",
- looping ? "looping " : "",
- node->dump_name ());
- if (!local && !looping)
- cdtor = node->call_for_symbol_and_aliases (cdtor_p, NULL, true);
- if (!dbg_cnt (ipa_attr))
- return false;
- if (node->set_pure_flag (true, looping))
- {
- if (dump_file)
- fprintf (dump_file,
- "Declaration updated to be %spure: %s\n",
- looping ? "looping " : "",
- node->dump_name ());
- if (local)
- return true;
- return cdtor;
- }
- return false;
-}
-
-/* Produce transitive closure over the callgraph and compute pure/const
- attributes. */
-
-static bool
-propagate_pure_const (void)
-{
- struct cgraph_node *node;
- struct cgraph_node *w;
- struct cgraph_node **order =
- XCNEWVEC (struct cgraph_node *, symtab->cgraph_count);
- int order_pos;
- int i;
- struct ipa_dfs_info * w_info;
- bool remove_p = false;
-
- order_pos = ipa_reduced_postorder (order, true,
- ignore_edge_for_pure_const);
- if (dump_file)
- {
- cgraph_node::dump_cgraph (dump_file);
- ipa_print_order (dump_file, "reduced", order, order_pos);
- }
-
- /* Propagate the local information through the call graph to produce
- the global information. All the nodes within a cycle will have
- the same info so we collapse cycles first. Then we can do the
- propagation in one pass from the leaves to the roots. */
- for (i = 0; i < order_pos; i++ )
- {
- enum pure_const_state_e pure_const_state = IPA_CONST;
- bool looping = false;
- int count = 0;
- node = order[i];
-
- if (node->alias)
- continue;
-
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Starting cycle\n");
-
- /* Find the worst state for any node in the cycle. */
- w = node;
- while (w && pure_const_state != IPA_NEITHER)
- {
- struct cgraph_edge *e;
- struct cgraph_edge *ie;
- int i;
- struct ipa_ref *ref = NULL;
-
- funct_state w_l = funct_state_summaries->get_create (w);
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, " Visiting %s state:%s looping %i\n",
- w->dump_name (),
- pure_const_names[w_l->pure_const_state],
- w_l->looping);
-
- /* First merge in function body properties.
- We are safe to pass NULL as FROM and TO because we will take care
- of possible interposition when walking callees. */
- worse_state (&pure_const_state, &looping,
- w_l->pure_const_state, w_l->looping,
- NULL, NULL);
- if (pure_const_state == IPA_NEITHER)
- break;
-
- count++;
-
- /* We consider recursive cycles as possibly infinite.
- This might be relaxed since infinite recursion leads to stack
- overflow. */
- if (count > 1)
- looping = true;
-
- /* Now walk the edges and merge in callee properties. */
- for (e = w->callees; e && pure_const_state != IPA_NEITHER;
- e = e->next_callee)
- {
- enum availability avail;
- struct cgraph_node *y = e->callee->
- function_or_virtual_thunk_symbol (&avail,
- e->caller);
- enum pure_const_state_e edge_state = IPA_CONST;
- bool edge_looping = false;
-
- if (e->recursive_p ())
- looping = true;
-
- if (dump_file && (dump_flags & TDF_DETAILS))
- {
- fprintf (dump_file, " Call to %s",
- e->callee->dump_name ());
- }
- if (avail > AVAIL_INTERPOSABLE)
- {
- funct_state y_l = funct_state_summaries->get_create (y);
-
- if (dump_file && (dump_flags & TDF_DETAILS))
- {
- fprintf (dump_file,
- " state:%s looping:%i\n",
- pure_const_names[y_l->pure_const_state],
- y_l->looping);
- }
- if (y_l->pure_const_state > IPA_PURE
- && e->cannot_lead_to_return_p ())
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file,
- " Ignoring side effects"
- " -> pure, looping\n");
- edge_state = IPA_PURE;
- edge_looping = true;
- }
- else
- {
- edge_state = y_l->pure_const_state;
- edge_looping = y_l->looping;
- }
- }
- else if (builtin_safe_for_const_function_p (&edge_looping,
- y->decl))
- edge_state = IPA_CONST;
- else
- state_from_flags (&edge_state, &edge_looping,
- flags_from_decl_or_type (y->decl),
- e->cannot_lead_to_return_p ());
-
- /* Merge the results with what we already know. */
- better_state (&edge_state, &edge_looping,
- w_l->state_previously_known,
- w_l->looping_previously_known);
- worse_state (&pure_const_state, &looping,
- edge_state, edge_looping, e->caller, e->callee);
- if (pure_const_state == IPA_NEITHER)
- break;
- }
-
- /* Now process the indirect call. */
- for (ie = w->indirect_calls;
- ie && pure_const_state != IPA_NEITHER; ie = ie->next_callee)
- {
- enum pure_const_state_e edge_state = IPA_CONST;
- bool edge_looping = false;
-
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, " Indirect call");
- state_from_flags (&edge_state, &edge_looping,
- ie->indirect_info->ecf_flags,
- ie->cannot_lead_to_return_p ());
- /* Merge the results with what we already know. */
- better_state (&edge_state, &edge_looping,
- w_l->state_previously_known,
- w_l->looping_previously_known);
- worse_state (&pure_const_state, &looping,
- edge_state, edge_looping, NULL, NULL);
- if (pure_const_state == IPA_NEITHER)
- break;
- }
-
- /* And finally all loads and stores. */
- for (i = 0; w->iterate_reference (i, ref)
- && pure_const_state != IPA_NEITHER; i++)
- {
- enum pure_const_state_e ref_state = IPA_CONST;
- bool ref_looping = false;
- switch (ref->use)
- {
- case IPA_REF_LOAD:
- /* readonly reads are safe. */
- if (TREE_READONLY (ref->referred->decl))
- break;
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, " nonreadonly global var read\n");
- ref_state = IPA_PURE;
- break;
- case IPA_REF_STORE:
- if (ref->cannot_lead_to_return ())
- break;
- ref_state = IPA_NEITHER;
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, " global var write\n");
- break;
- case IPA_REF_ADDR:
- break;
- default:
- gcc_unreachable ();
- }
- better_state (&ref_state, &ref_looping,
- w_l->state_previously_known,
- w_l->looping_previously_known);
- worse_state (&pure_const_state, &looping,
- ref_state, ref_looping, NULL, NULL);
- if (pure_const_state == IPA_NEITHER)
- break;
- }
- w_info = (struct ipa_dfs_info *) w->aux;
- w = w_info->next_cycle;
- }
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Result %s looping %i\n",
- pure_const_names [pure_const_state],
- looping);
-
- /* Find the worst state of can_free for any node in the cycle. */
- bool can_free = false;
- w = node;
- while (w && !can_free)
- {
- struct cgraph_edge *e;
- funct_state w_l = funct_state_summaries->get (w);
-
- if (w_l->can_free
- || w->get_availability () == AVAIL_INTERPOSABLE
- || w->indirect_calls)
- can_free = true;
-
- for (e = w->callees; e && !can_free; e = e->next_callee)
- {
- enum availability avail;
- struct cgraph_node *y = e->callee->
- function_or_virtual_thunk_symbol (&avail,
- e->caller);
-
- if (avail > AVAIL_INTERPOSABLE)
- can_free = funct_state_summaries->get (y)->can_free;
- else
- can_free = true;
- }
- w_info = (struct ipa_dfs_info *) w->aux;
- w = w_info->next_cycle;
- }
-
- /* Copy back the region's pure_const_state which is shared by
- all nodes in the region. */
- w = node;
- while (w)
- {
- funct_state w_l = funct_state_summaries->get (w);
- enum pure_const_state_e this_state = pure_const_state;
- bool this_looping = looping;
-
- w_l->can_free = can_free;
- w->nonfreeing_fn = !can_free;
- if (!can_free && dump_file)
- fprintf (dump_file, "Function found not to call free: %s\n",
- w->dump_name ());
-
- if (w_l->state_previously_known != IPA_NEITHER
- && this_state > w_l->state_previously_known)
- {
- if (this_state == IPA_NEITHER)
- this_looping = w_l->looping_previously_known;
- this_state = w_l->state_previously_known;
- }
- if (!this_looping && self_recursive_p (w))
- this_looping = true;
- if (!w_l->looping_previously_known)
- this_looping = false;
-
- /* All nodes within a cycle share the same info. */
- w_l->pure_const_state = this_state;
- w_l->looping = this_looping;
-
- /* Inline clones share declaration with their offline copies;
- do not modify their declarations since the offline copy may
- be different. */
- if (!w->inlined_to)
- switch (this_state)
- {
- case IPA_CONST:
- remove_p |= ipa_make_function_const (w, this_looping, false);
- break;
-
- case IPA_PURE:
- remove_p |= ipa_make_function_pure (w, this_looping, false);
- break;
-
- default:
- break;
- }
- w_info = (struct ipa_dfs_info *) w->aux;
- w = w_info->next_cycle;
- }
- }
-
- ipa_free_postorder_info ();
- free (order);
- return remove_p;
-}
-
-/* Produce transitive closure over the callgraph and compute nothrow
- attributes. */
-
-static void
-propagate_nothrow (void)
-{
- struct cgraph_node *node;
- struct cgraph_node *w;
- struct cgraph_node **order =
- XCNEWVEC (struct cgraph_node *, symtab->cgraph_count);
- int order_pos;
- int i;
- struct ipa_dfs_info * w_info;
-
- order_pos = ipa_reduced_postorder (order, true,
- ignore_edge_for_nothrow);
- if (dump_file)
- {
- cgraph_node::dump_cgraph (dump_file);
- ipa_print_order (dump_file, "reduced for nothrow", order, order_pos);
- }
-
- /* Propagate the local information through the call graph to produce
- the global information. All the nodes within a cycle will have
- the same info so we collapse cycles first. Then we can do the
- propagation in one pass from the leaves to the roots. */
- for (i = 0; i < order_pos; i++ )
- {
- bool can_throw = false;
- node = order[i];
-
- if (node->alias)
- continue;
-
- /* Find the worst state for any node in the cycle. */
- w = node;
- while (w && !can_throw)
- {
- struct cgraph_edge *e, *ie;
-
- if (!TREE_NOTHROW (w->decl))
- {
- funct_state w_l = funct_state_summaries->get_create (w);
-
- if (w_l->can_throw
- || w->get_availability () == AVAIL_INTERPOSABLE)
- can_throw = true;
-
- for (e = w->callees; e && !can_throw; e = e->next_callee)
- {
- enum availability avail;
-
- if (!e->can_throw_external || TREE_NOTHROW (e->callee->decl))
- continue;
-
- struct cgraph_node *y = e->callee->
- function_or_virtual_thunk_symbol (&avail,
- e->caller);
-
- /* We can use info about the callee only if we know it
- cannot be interposed.
- When callee is compiled with non-call exceptions we also
- must check that the declaration is bound to current
- body as other semantically equivalent body may still
- throw. */
- if (avail <= AVAIL_INTERPOSABLE
- || (!TREE_NOTHROW (y->decl)
- && (funct_state_summaries->get_create (y)->can_throw
- || (opt_for_fn (y->decl, flag_non_call_exceptions)
- && !e->callee->binds_to_current_def_p (w)))))
- can_throw = true;
- }
- for (ie = w->indirect_calls; ie && !can_throw;
- ie = ie->next_callee)
- if (ie->can_throw_external
- && !(ie->indirect_info->ecf_flags & ECF_NOTHROW))
- can_throw = true;
- }
- w_info = (struct ipa_dfs_info *) w->aux;
- w = w_info->next_cycle;
- }
-
- /* Copy back the region's pure_const_state which is shared by
- all nodes in the region. */
- w = node;
- while (w)
- {
- funct_state w_l = funct_state_summaries->get_create (w);
- if (!can_throw && !TREE_NOTHROW (w->decl))
- {
- /* Inline clones share declaration with their offline copies;
- do not modify their declarations since the offline copy may
- be different. */
- if (!w->inlined_to)
- {
- w->set_nothrow_flag (true);
- if (dump_file)
- fprintf (dump_file, "Function found to be nothrow: %s\n",
- w->dump_name ());
- }
- }
- else if (can_throw && !TREE_NOTHROW (w->decl))
- w_l->can_throw = true;
- w_info = (struct ipa_dfs_info *) w->aux;
- w = w_info->next_cycle;
- }
- }
-
- ipa_free_postorder_info ();
- free (order);
-}
-
-/* Debugging function to dump state of malloc lattice. */
-
-DEBUG_FUNCTION
-static void
-dump_malloc_lattice (FILE *dump_file, const char *s)
-{
- if (!dump_file)
- return;
-
- fprintf (dump_file, "\n\nMALLOC LATTICE %s:\n", s);
- cgraph_node *node;
- FOR_EACH_FUNCTION (node)
- {
- funct_state fs = funct_state_summaries->get (node);
- if (fs)
- fprintf (dump_file, "%s: %s\n", node->dump_name (),
- malloc_state_names[fs->malloc_state]);
- }
-}
-
-/* Propagate malloc attribute across the callgraph. */
-
-static void
-propagate_malloc (void)
-{
- cgraph_node *node;
- FOR_EACH_FUNCTION (node)
- {
- if (DECL_IS_MALLOC (node->decl))
- if (!funct_state_summaries->exists (node))
- {
- funct_state fs = funct_state_summaries->get_create (node);
- fs->malloc_state = STATE_MALLOC;
- }
- }
-
- dump_malloc_lattice (dump_file, "Initial");
- struct cgraph_node **order
- = XNEWVEC (struct cgraph_node *, symtab->cgraph_count);
- int order_pos = ipa_reverse_postorder (order);
- bool changed = true;
-
- while (changed)
- {
- changed = false;
- /* Walk in postorder. */
- for (int i = order_pos - 1; i >= 0; --i)
- {
- cgraph_node *node = order[i];
- if (node->alias
- || !node->definition
- || !funct_state_summaries->exists (node))
- continue;
-
- funct_state l = funct_state_summaries->get (node);
-
- /* FIXME: add support for indirect-calls. */
- if (node->indirect_calls)
- {
- l->malloc_state = STATE_MALLOC_BOTTOM;
- continue;
- }
-
- if (node->get_availability () <= AVAIL_INTERPOSABLE)
- {
- l->malloc_state = STATE_MALLOC_BOTTOM;
- continue;
- }
-
- if (l->malloc_state == STATE_MALLOC_BOTTOM)
- continue;
-
- auto_vec<cgraph_node *, 16> callees;
- for (cgraph_edge *cs = node->callees; cs; cs = cs->next_callee)
- {
- ipa_call_summary *es = ipa_call_summaries->get_create (cs);
- if (es && es->is_return_callee_uncaptured)
- callees.safe_push (cs->callee);
- }
-
- malloc_state_e new_state = l->malloc_state;
- for (unsigned j = 0; j < callees.length (); j++)
- {
- cgraph_node *callee = callees[j];
- if (!funct_state_summaries->exists (node))
- {
- new_state = STATE_MALLOC_BOTTOM;
- break;
- }
- malloc_state_e callee_state
- = funct_state_summaries->get_create (callee)->malloc_state;
- if (new_state < callee_state)
- new_state = callee_state;
- }
- if (new_state != l->malloc_state)
- {
- changed = true;
- l->malloc_state = new_state;
- }
- }
- }
-
- FOR_EACH_DEFINED_FUNCTION (node)
- if (funct_state_summaries->exists (node))
- {
- funct_state l = funct_state_summaries->get (node);
- if (!node->alias
- && l->malloc_state == STATE_MALLOC
- && !node->inlined_to
- && !VOID_TYPE_P (TREE_TYPE (TREE_TYPE (node->decl))))
- {
- if (dump_file && (dump_flags & TDF_DETAILS))
- fprintf (dump_file, "Function %s found to be malloc\n",
- node->dump_name ());
-
- bool malloc_decl_p = DECL_IS_MALLOC (node->decl);
- node->set_malloc_flag (true);
- if (!malloc_decl_p && warn_suggest_attribute_malloc)
- warn_function_malloc (node->decl);
- }
- }
-
- dump_malloc_lattice (dump_file, "after propagation");
- ipa_free_postorder_info ();
- free (order);
-}
-
-/* Produce the global information by preforming a transitive closure
- on the local information that was produced by generate_summary. */
-
-unsigned int
-pass_ipa_pure_const::
-execute (function *)
-{
- bool remove_p;
-
- /* Nothrow makes more function to not lead to return and improve
- later analysis. */
- propagate_nothrow ();
- propagate_malloc ();
- remove_p = propagate_pure_const ();
-
- delete funct_state_summaries;
- return remove_p ? TODO_remove_functions : 0;
-}
-
-static bool
-gate_pure_const (void)
-{
- return flag_ipa_pure_const || in_lto_p;
-}
-
-pass_ipa_pure_const::pass_ipa_pure_const(gcc::context *ctxt)
- : ipa_opt_pass_d(pass_data_ipa_pure_const, ctxt,
- pure_const_generate_summary, /* generate_summary */
- pure_const_write_summary, /* write_summary */
- pure_const_read_summary, /* read_summary */
- NULL, /* write_optimization_summary */
- NULL, /* read_optimization_summary */
- NULL, /* stmt_fixup */
- 0, /* function_transform_todo_flags_start */
- NULL, /* function_transform */
- NULL), /* variable_transform */
- init_p (false) {}
-
-ipa_opt_pass_d *
-make_pass_ipa_pure_const (gcc::context *ctxt)
-{
- return new pass_ipa_pure_const (ctxt);
-}
-
-/* Simple local pass for pure const discovery reusing the analysis from
- ipa_pure_const. This pass is effective when executed together with
- other optimization passes in early optimization pass queue. */
-
-namespace {
-
-const pass_data pass_data_local_pure_const =
-{
- GIMPLE_PASS, /* type */
- "local-pure-const", /* name */
- OPTGROUP_NONE, /* optinfo_flags */
- TV_IPA_PURE_CONST, /* tv_id */
- 0, /* properties_required */
- 0, /* properties_provided */
- 0, /* properties_destroyed */
- 0, /* todo_flags_start */
- 0, /* todo_flags_finish */
-};
-
-class pass_local_pure_const : public gimple_opt_pass
-{
-public:
- pass_local_pure_const (gcc::context *ctxt)
- : gimple_opt_pass (pass_data_local_pure_const, ctxt)
- {}
-
- /* opt_pass methods: */
- opt_pass * clone () { return new pass_local_pure_const (m_ctxt); }
- virtual bool gate (function *) { return gate_pure_const (); }
- virtual unsigned int execute (function *);
-
-}; // class pass_local_pure_const
-
-unsigned int
-pass_local_pure_const::execute (function *fun)
-{
- bool changed = false;
- funct_state l;
- bool skip;
- struct cgraph_node *node;
-
- node = cgraph_node::get (current_function_decl);
- skip = skip_function_for_local_pure_const (node);
-
- if (!warn_suggest_attribute_const
- && !warn_suggest_attribute_pure
- && skip)
- return 0;
-
- l = analyze_function (node, false);
-
- /* Do NORETURN discovery. */
- if (!skip && !TREE_THIS_VOLATILE (current_function_decl)
- && EDGE_COUNT (EXIT_BLOCK_PTR_FOR_FN (fun)->preds) == 0)
- {
- warn_function_noreturn (fun->decl);
- if (dump_file)
- fprintf (dump_file, "Function found to be noreturn: %s\n",
- current_function_name ());
-
- /* Update declaration and reduce profile to executed once. */
- if (cgraph_node::get (current_function_decl)->set_noreturn_flag (true))
- changed = true;
- if (node->frequency > NODE_FREQUENCY_EXECUTED_ONCE)
- node->frequency = NODE_FREQUENCY_EXECUTED_ONCE;
- }
-
- switch (l->pure_const_state)
- {
- case IPA_CONST:
- changed |= ipa_make_function_const
- (cgraph_node::get (current_function_decl), l->looping, true);
- break;
-
- case IPA_PURE:
- changed |= ipa_make_function_pure
- (cgraph_node::get (current_function_decl), l->looping, true);
- break;
-
- default:
- break;
- }
- if (!l->can_throw && !TREE_NOTHROW (current_function_decl))
- {
- node->set_nothrow_flag (true);
- changed = true;
- if (dump_file)
- fprintf (dump_file, "Function found to be nothrow: %s\n",
- current_function_name ());
- }
-
- if (l->malloc_state == STATE_MALLOC
- && !DECL_IS_MALLOC (current_function_decl))
- {
- node->set_malloc_flag (true);
- if (warn_suggest_attribute_malloc)
- warn_function_malloc (node->decl);
- changed = true;
- if (dump_file)
- fprintf (dump_file, "Function found to be malloc: %s\n",
- node->dump_name ());
- }
-
- free (l);
- if (changed)
- return execute_fixup_cfg ();
- else
- return 0;
-}
-
-} // anon namespace
-
-gimple_opt_pass *
-make_pass_local_pure_const (gcc::context *ctxt)
-{
- return new pass_local_pure_const (ctxt);
-}
-
-/* Emit noreturn warnings. */
-
-namespace {
-
-const pass_data pass_data_warn_function_noreturn =
-{
- GIMPLE_PASS, /* type */
- "*warn_function_noreturn", /* name */
- OPTGROUP_NONE, /* optinfo_flags */
- TV_NONE, /* tv_id */
- PROP_cfg, /* properties_required */
- 0, /* properties_provided */
- 0, /* properties_destroyed */
- 0, /* todo_flags_start */
- 0, /* todo_flags_finish */
-};
-
-class pass_warn_function_noreturn : public gimple_opt_pass
-{
-public:
- pass_warn_function_noreturn (gcc::context *ctxt)
- : gimple_opt_pass (pass_data_warn_function_noreturn, ctxt)
- {}
-
- /* opt_pass methods: */
- virtual bool gate (function *) { return warn_suggest_attribute_noreturn; }
- virtual unsigned int execute (function *fun)
- {
- if (!TREE_THIS_VOLATILE (current_function_decl)
- && EDGE_COUNT (EXIT_BLOCK_PTR_FOR_FN (fun)->preds) == 0)
- warn_function_noreturn (current_function_decl);
- return 0;
- }
-
-}; // class pass_warn_function_noreturn
-
-} // anon namespace
-
-gimple_opt_pass *
-make_pass_warn_function_noreturn (gcc::context *ctxt)
-{
- return new pass_warn_function_noreturn (ctxt);
-}
-
-/* Simple local pass for pure const discovery reusing the analysis from
- ipa_pure_const. This pass is effective when executed together with
- other optimization passes in early optimization pass queue. */
-
-namespace {
-
-const pass_data pass_data_nothrow =
-{
- GIMPLE_PASS, /* type */
- "nothrow", /* name */
- OPTGROUP_NONE, /* optinfo_flags */
- TV_IPA_PURE_CONST, /* tv_id */
- 0, /* properties_required */
- 0, /* properties_provided */
- 0, /* properties_destroyed */
- 0, /* todo_flags_start */
- 0, /* todo_flags_finish */
-};
-
-class pass_nothrow : public gimple_opt_pass
-{
-public:
- pass_nothrow (gcc::context *ctxt)
- : gimple_opt_pass (pass_data_nothrow, ctxt)
- {}
-
- /* opt_pass methods: */
- opt_pass * clone () { return new pass_nothrow (m_ctxt); }
- virtual bool gate (function *) { return optimize; }
- virtual unsigned int execute (function *);
-
-}; // class pass_nothrow
-
-unsigned int
-pass_nothrow::execute (function *)
-{
- struct cgraph_node *node;
- basic_block this_block;
-
- if (TREE_NOTHROW (current_function_decl))
- return 0;
-
- node = cgraph_node::get (current_function_decl);
-
- /* We run during lowering, we cannot really use availability yet. */
- if (cgraph_node::get (current_function_decl)->get_availability ()
- <= AVAIL_INTERPOSABLE)
- {
- if (dump_file)
- fprintf (dump_file, "Function is interposable;"
- " not analyzing.\n");
- return true;
- }
-
- FOR_EACH_BB_FN (this_block, cfun)
- {
- for (gimple_stmt_iterator gsi = gsi_start_bb (this_block);
- !gsi_end_p (gsi);
- gsi_next (&gsi))
- if (stmt_can_throw_external (cfun, gsi_stmt (gsi)))
- {
- if (is_gimple_call (gsi_stmt (gsi)))
- {
- tree callee_t = gimple_call_fndecl (gsi_stmt (gsi));
- if (callee_t && recursive_call_p (current_function_decl,
- callee_t))
- continue;
- }
-
- if (dump_file)
- {
- fprintf (dump_file, "Statement can throw: ");
- print_gimple_stmt (dump_file, gsi_stmt (gsi), 0);
- }
- return 0;
- }
- }
-
- node->set_nothrow_flag (true);
-
- bool cfg_changed = false;
- if (self_recursive_p (node))
- FOR_EACH_BB_FN (this_block, cfun)
- if (gimple *g = last_stmt (this_block))
- if (is_gimple_call (g))
- {
- tree callee_t = gimple_call_fndecl (g);
- if (callee_t
- && recursive_call_p (current_function_decl, callee_t)
- && maybe_clean_eh_stmt (g)
- && gimple_purge_dead_eh_edges (this_block))
- cfg_changed = true;
- }
-
- if (dump_file)
- fprintf (dump_file, "Function found to be nothrow: %s\n",
- current_function_name ());
- return cfg_changed ? TODO_cleanup_cfg : 0;
-}
-
-} // anon namespace
-
-gimple_opt_pass *
-make_pass_nothrow (gcc::context *ctxt)
-{
- return new pass_nothrow (ctxt);
-}
generated by cgit v1.1 at 2024-11-11 12:53:55 +0000