1. 01 Jan, 2019 1 commit
  2. 06 Aug, 2018 1 commit
    • cse support for clobber_high · 99788e06
      gcc/
      	* cse.c (invalidate_reg): New function extracted from...
      	(invalidate): ...here.
      	(canonicalize_insn): Check for clobber high.
      	(invalidate_from_clobbers): invalidate clobber highs.
      	(invalidate_from_sets_and_clobbers): Likewise.
      	(count_reg_usage): Check for clobber high.
      	(insn_live_p): Likewise.
      	* cselib.c (cselib_expand_value_rtx_1):Likewise.
      	(cselib_invalidate_regno): Check for clobber in setter.
      	(cselib_invalidate_rtx): Pass through setter.
      	(cselib_invalidate_rtx_note_stores):
      	(cselib_process_insn): Check for clobber high.
      	* cselib.h (cselib_invalidate_rtx): Add operand.
      
      From-SVN: r263330
      Alan Hayward committed
  3. 03 Jan, 2018 1 commit
  4. 31 Mar, 2017 1 commit
    • re PR debug/80025 (ICE w/ -O2 (-O3, -Ofast) -g -ftracer (infinite recursion in… · 005f12bf
      re PR debug/80025 (ICE w/ -O2 (-O3, -Ofast) -g -ftracer (infinite recursion in rtx_equal_for_cselib_1))
      
      	PR debug/80025
      	* cselib.h (rtx_equal_for_cselib_1): Add depth argument.
      	(rtx_equal_for_cselib_p): Pass 0 to it.
      	* cselib.c (cselib_hasher::equal): Likewise.
      	(rtx_equal_for_cselib_1): Add depth argument.  If depth
      	is 128, don't look up VALUE locs and punt.  Increment
      	depth in recursive calls when walking VALUE locs.
      
      	* gcc.dg/torture/pr80025.c: New test.
      
      From-SVN: r246606
      Jakub Jelinek committed
  5. 01 Jan, 2017 1 commit
  6. 02 May, 2016 1 commit
  7. 04 Jan, 2016 1 commit
  8. 16 Jul, 2015 1 commit
    • Add new object_allocator and clean-up allocator usage. · fb0b2914
      	* c-format.c (static void check_format_info_main): Use
      	object_allocator instead of pool_allocator.
      	(check_format_arg): Likewise.
      	(check_format_info_main): Likewise.
      	* alloc-pool.h
      	(object_allocator): Add new class.
      	(pool_allocator::initialize): Use the underlying class.
      	(pool_allocator::allocate): Likewise.
      	(pool_allocator::remove): Likewise.
      	(operator new): A new generic allocator.
      	* asan.c (struct asan_mem_ref): Remove unused members.
      	(asan_mem_ref_new): Replace new operator with
      	object_allocator::allocate.
      	(free_mem_ref_resources): Change deallocation.
      	* cfg.c (initialize_original_copy_tables): Replace pool_allocator
      	with object_allocator.
      	* config/sh/sh.c (add_constant): Replace new operator with
      	object_allocator::allocate.
      	(sh_reorg): Change call to a release method.
      	* cselib.c (struct elt_list): Remove unused members.
      	(new_elt_list): Replace new operator with
      	object_allocator::allocate.
      	(new_elt_loc_list): Likewise.
      	(new_cselib_val): Likewise.
      	(unchain_one_elt_list): Change delete operator with remove method.
      	(unchain_one_elt_loc_list): Likewise.
      	(unchain_one_value): Likewise.
      	(cselib_finish): Release newly added static allocators.
      	* cselib.h (struct cselib_val): Remove unused members.
      	(struct elt_loc_list): Likewise.
      	* df-problems.c (df_chain_alloc): Replace pool_allocator with
      	object_allocator.
      	* df-scan.c (struct df_scan_problem_data): Likewise.
      	(df_scan_alloc): Likewise.
      	* df.h (struct dataflow): Likewise.
      	* dse.c (struct read_info_type): Likewise.
      	(struct insn_info_type): Likewise.
      	(struct dse_bb_info_type): Likewise.
      	(struct group_info): Likewise.
      	(struct deferred_change): Likewise.
      	(get_group_info): Likewise.
      	(delete_dead_store_insn): Likewise.
      	(free_read_records): Likewise.
      	(replace_read): Likewise.
      	(check_mem_read_rtx): Likewise.
      	(scan_insn): Likewise.
      	(dse_step1): Likewise.
      	(dse_step7): Likewise.
      	* et-forest.c (struct et_occ): Remove unused members.
      	(et_new_occ): Use allocate instead of new operator.
      	(et_new_tree): Likewise.
      	(et_free_tree): Call release method explicitly.
      	(et_free_tree_force): Likewise.
      	(et_free_pools): Likewise.
      	(et_split): Use remove instead of delete operator.
      	* et-forest.h (struct et_node): Remove unused members.
      	* ipa-cp.c: Change pool_allocator to object_allocator.
      	* ipa-inline-analysis.c: Likewise.
      	* ipa-profile.c: Likewise.
      	* ipa-prop.c: Likewise.
      	* ipa-prop.h: Likewise.
      	* ira-build.c (initiate_cost_vectors): Cast return value.
      	(ira_allocate_cost_vector): Likewise.
      	* ira-color.c (struct update_cost_record): Remove unused members.
      	* lra-int.h (struct lra_live_range): Likewise.
      	(struct lra_copy): Likewise.
      	(struct lra_insn_reg): Likewise.
      	* lra-lives.c (lra_live_ranges_finish): Release new static allocator.
      	* lra.c (new_insn_reg): Replace new operator with allocate method.
      	(free_insn_regs): Same for operator delete.
      	(finish_insn_regs): Release new static allocator.
      	(finish_insn_recog_data): Likewise.
      	(lra_free_copies): Replace delete operator with remove method.
      	(lra_create_copy): Replace operator new with allocate method.
      	(invalidate_insn_data_regno_info): Same for remove method.
      	* regcprop.c (struct queued_debug_insn_change): Remove unused members.
      	(free_debug_insn_changes): Replace delete operator with remove method.
      	(replace_oldest_value_reg): Replace operator new with allocate method.
      	(pass_cprop_hardreg::execute): Release new static variable.
      	* sched-deps.c (sched_deps_init): Change pool_allocator to
      	object_allocator.
      	* sel-sched-ir.c: Likewise.
      	* sel-sched-ir.h: Likewise.
      	* stmt.c (expand_case): Likewise.
      	(expand_sjlj_dispatch_table): Likewise.
      	* tree-sra.c (struct access): Remove unused members.
      	(struct assign_link): Likewise.
      	(sra_deinitialize): Release newly added static pools.
      	(create_access_1):Replace operator new with allocate method.
      	(build_accesses_from_assign): Likewise.
      	(create_artificial_child_access): Likewise.
      	* tree-ssa-math-opts.c (pass_cse_reciprocals::execute): Change
      	pool_allocator to object_allocator.
      	* tree-ssa-pre.c: Likewise.
      	* tree-ssa-reassoc.c: Likewise.
      	* tree-ssa-sccvn.c (allocate_vn_table): Likewise.
      	* tree-ssa-strlen.c: Likewise.
      	* tree-ssa-structalias.c: Likewise.
      	* var-tracking.c (onepart_pool_allocate): New function.
      	(unshare_variable): Use the newly added function.
      	(variable_merge_over_cur): Likewise.
      	(variable_from_dropped): Likewise.
      	(variable_was_changed): Likewise.
      	(set_slot_part): Likewise.
      	(emit_notes_for_differences_1): Likewise.
      	(vt_finalize): Release newly added static pools.
      
      From-SVN: r225869
      Martin Liska committed
  9. 01 Jun, 2015 1 commit
  10. 02 May, 2015 1 commit
  11. 05 Jan, 2015 1 commit
  12. 29 Oct, 2014 1 commit
    • decl.c, [...]: Remove redundant enum from machine_mode. · ef4bddc2
      gcc/ada/
      	* gcc-interface/decl.c, gcc-interface/gigi.h, gcc-interface/misc.c,
      	gcc-interface/trans.c, gcc-interface/utils.c, gcc-interface/utils2.c:
      	Remove redundant enum from machine_mode.
      
      gcc/c-family/
      	* c-common.c, c-common.h, c-cppbuiltin.c, c-lex.c: Remove redundant
      	enum from machine_mode.
      
      gcc/c/
      	* c-decl.c, c-tree.h, c-typeck.c: Remove redundant enum from
      	machine_mode.
      
      gcc/cp/
      	* constexpr.c: Remove redundant enum from machine_mode.
      
      gcc/fortran/
      	* trans-types.c, trans-types.h: Remove redundant enum from
      	machine_mode.
      
      gcc/go/
      	* go-lang.c: Remove redundant enum from machine_mode.
      
      gcc/java/
      	* builtins.c, java-tree.h, typeck.c: Remove redundant enum from
      	machine_mode.
      
      gcc/lto/
      	* lto-lang.c: Remove redundant enum from machine_mode.
      
      gcc/
      	* addresses.h, alias.c, asan.c, auto-inc-dec.c, bt-load.c, builtins.c,
      	builtins.h, caller-save.c, calls.c, calls.h, cfgexpand.c, cfgloop.h,
      	cfgrtl.c, combine.c, compare-elim.c, config/aarch64/aarch64-builtins.c,
      	config/aarch64/aarch64-protos.h, config/aarch64/aarch64-simd.md,
      	config/aarch64/aarch64.c, config/aarch64/aarch64.h,
      	config/aarch64/aarch64.md, config/alpha/alpha-protos.h,
      	config/alpha/alpha.c, config/arc/arc-protos.h, config/arc/arc.c,
      	config/arc/arc.h, config/arc/predicates.md,
      	config/arm/aarch-common-protos.h, config/arm/aarch-common.c,
      	config/arm/arm-protos.h, config/arm/arm.c, config/arm/arm.h,
      	config/arm/arm.md, config/arm/neon.md, config/arm/thumb2.md,
      	config/avr/avr-log.c, config/avr/avr-protos.h, config/avr/avr.c,
      	config/avr/avr.md, config/bfin/bfin-protos.h, config/bfin/bfin.c,
      	config/c6x/c6x-protos.h, config/c6x/c6x.c, config/c6x/c6x.md,
      	config/cr16/cr16-protos.h, config/cr16/cr16.c,
      	config/cris/cris-protos.h, config/cris/cris.c, config/cris/cris.md,
      	config/darwin-protos.h, config/darwin.c,
      	config/epiphany/epiphany-protos.h, config/epiphany/epiphany.c,
      	config/epiphany/epiphany.md, config/fr30/fr30.c,
      	config/frv/frv-protos.h, config/frv/frv.c, config/frv/predicates.md,
      	config/h8300/h8300-protos.h, config/h8300/h8300.c,
      	config/i386/i386-builtin-types.awk, config/i386/i386-protos.h,
      	config/i386/i386.c, config/i386/i386.md, config/i386/predicates.md,
      	config/i386/sse.md, config/i386/sync.md, config/ia64/ia64-protos.h,
      	config/ia64/ia64.c, config/iq2000/iq2000-protos.h,
      	config/iq2000/iq2000.c, config/iq2000/iq2000.md,
      	config/lm32/lm32-protos.h, config/lm32/lm32.c,
      	config/m32c/m32c-protos.h, config/m32c/m32c.c,
      	config/m32r/m32r-protos.h, config/m32r/m32r.c,
      	config/m68k/m68k-protos.h, config/m68k/m68k.c,
      	config/mcore/mcore-protos.h, config/mcore/mcore.c,
      	config/mcore/mcore.md, config/mep/mep-protos.h, config/mep/mep.c,
      	config/microblaze/microblaze-protos.h, config/microblaze/microblaze.c,
      	config/mips/mips-protos.h, config/mips/mips.c,
      	config/mmix/mmix-protos.h, config/mmix/mmix.c,
      	config/mn10300/mn10300-protos.h, config/mn10300/mn10300.c,
      	config/moxie/moxie.c, config/msp430/msp430-protos.h,
      	config/msp430/msp430.c, config/nds32/nds32-cost.c,
      	config/nds32/nds32-intrinsic.c, config/nds32/nds32-md-auxiliary.c,
      	config/nds32/nds32-protos.h, config/nds32/nds32.c,
      	config/nios2/nios2-protos.h, config/nios2/nios2.c,
      	config/pa/pa-protos.h, config/pa/pa.c, config/pdp11/pdp11-protos.h,
      	config/pdp11/pdp11.c, config/rl78/rl78-protos.h, config/rl78/rl78.c,
      	config/rs6000/altivec.md, config/rs6000/rs6000-c.c,
      	config/rs6000/rs6000-protos.h, config/rs6000/rs6000.c,
      	config/rs6000/rs6000.h, config/rx/rx-protos.h, config/rx/rx.c,
      	config/s390/predicates.md, config/s390/s390-protos.h,
      	config/s390/s390.c, config/s390/s390.h, config/s390/s390.md,
      	config/sh/predicates.md, config/sh/sh-protos.h, config/sh/sh.c,
      	config/sh/sh.md, config/sparc/predicates.md,
      	config/sparc/sparc-protos.h, config/sparc/sparc.c,
      	config/sparc/sparc.md, config/spu/spu-protos.h, config/spu/spu.c,
      	config/stormy16/stormy16-protos.h, config/stormy16/stormy16.c,
      	config/tilegx/tilegx-protos.h, config/tilegx/tilegx.c,
      	config/tilegx/tilegx.md, config/tilepro/tilepro-protos.h,
      	config/tilepro/tilepro.c, config/v850/v850-protos.h,
      	config/v850/v850.c, config/v850/v850.md, config/vax/vax-protos.h,
      	config/vax/vax.c, config/vms/vms-c.c, config/xtensa/xtensa-protos.h,
      	config/xtensa/xtensa.c, coverage.c, cprop.c, cse.c, cselib.c, cselib.h,
      	dbxout.c, ddg.c, df-problems.c, dfp.c, dfp.h, doc/md.texi,
      	doc/rtl.texi, doc/tm.texi, doc/tm.texi.in, dojump.c, dse.c,
      	dwarf2cfi.c, dwarf2out.c, dwarf2out.h, emit-rtl.c, emit-rtl.h,
      	except.c, explow.c, expmed.c, expmed.h, expr.c, expr.h, final.c,
      	fixed-value.c, fixed-value.h, fold-const.c, function.c, function.h,
      	fwprop.c, gcse.c, gengenrtl.c, genmodes.c, genopinit.c, genoutput.c,
      	genpreds.c, genrecog.c, gensupport.c, gimple-ssa-strength-reduction.c,
      	graphite-clast-to-gimple.c, haifa-sched.c, hooks.c, hooks.h, ifcvt.c,
      	internal-fn.c, ira-build.c, ira-color.c, ira-conflicts.c, ira-costs.c,
      	ira-emit.c, ira-int.h, ira-lives.c, ira.c, ira.h, jump.c, langhooks.h,
      	libfuncs.h, lists.c, loop-doloop.c, loop-invariant.c, loop-iv.c,
      	loop-unroll.c, lower-subreg.c, lower-subreg.h, lra-assigns.c,
      	lra-constraints.c, lra-eliminations.c, lra-int.h, lra-lives.c,
      	lra-spills.c, lra.c, lra.h, machmode.h, omp-low.c, optabs.c, optabs.h,
      	output.h, postreload.c, print-tree.c, read-rtl.c, real.c, real.h,
      	recog.c, recog.h, ree.c, reg-stack.c, regcprop.c, reginfo.c,
      	regrename.c, regs.h, reload.c, reload.h, reload1.c, rtl.c, rtl.h,
      	rtlanal.c, rtlhash.c, rtlhooks-def.h, rtlhooks.c, sched-deps.c,
      	sel-sched-dump.c, sel-sched-ir.c, sel-sched-ir.h, sel-sched.c,
      	simplify-rtx.c, stmt.c, stor-layout.c, stor-layout.h, target.def,
      	targhooks.c, targhooks.h, tree-affine.c, tree-call-cdce.c,
      	tree-complex.c, tree-data-ref.c, tree-dfa.c, tree-if-conv.c,
      	tree-inline.c, tree-outof-ssa.c, tree-scalar-evolution.c,
      	tree-ssa-address.c, tree-ssa-ccp.c, tree-ssa-loop-ivopts.c,
      	tree-ssa-loop-ivopts.h, tree-ssa-loop-manip.c,
      	tree-ssa-loop-prefetch.c, tree-ssa-math-opts.c, tree-ssa-reassoc.c,
      	tree-ssa-sccvn.c, tree-streamer-in.c, tree-switch-conversion.c,
      	tree-vect-data-refs.c, tree-vect-generic.c, tree-vect-loop.c,
      	tree-vect-patterns.c, tree-vect-slp.c, tree-vect-stmts.c,
      	tree-vrp.c, tree.c, tree.h, tsan.c, ubsan.c, valtrack.c,
      	var-tracking.c, varasm.c: Remove redundant enum from
      	machine_mode.
      gcc/
      	* gengtype.c (main): Treat machine_mode as a scalar typedef.
      	* genmodes.c (emit_insn_modes_h): Hide inline functions if
      	USED_FOR_TARGET.
      
      From-SVN: r216834
      Richard Sandiford committed
  13. 18 Sep, 2014 1 commit
    • Add header guard to several header files. · f1717f8d
      2014-09-19  Kito Cheng  <kito@0xlab.org>
      
      	* except.h: Fix header guard.
      	* addresses.h: Add missing header guard.
      	* cfghooks.h: Likewise.
      	* collect-utils.h: Likewise.
      	* collect2-aix.h: Likewise.
      	* conditions.h: Likewise.
      	* cselib.h: Likewise.
      	* dwarf2asm.h: Likewise.
      	* graphds.h: Likewise.
      	* graphite-scop-detection.h: Likewise.
      	* gsyms.h: Likewise.
      	* hw-doloop.h: Likewise.
      	* incpath.h: Likewise.
      	* ipa-inline.h: Likewise.
      	* ipa-ref.h: Likewise.
      	* ira-int.h: Likewise.
      	* ira.h: Likewise.
      	* lra-int.h: Likewise.
      	* lra.h: Likewise.
      	* lto-section-names.h: Likewise.
      	* read-md.h: Likewise.
      	* reload.h: Likewise.
      	* rtl-error.h: Likewise.
      	* sdbout.h: Likewise.
      	* targhooks.h: Likewise.
      	* tree-affine.h: Likewise.
      	* xcoff.h: Likewise.
      	* xcoffout.h: Likewise.
      
      From-SVN: r215365
      Kito Cheng committed
  14. 26 Aug, 2014 3 commits
    • cselib (also touches sched-deps.c) · 12ea1b95
      gcc/
      2014-08-26  David Malcolm  <dmalcolm@redhat.com>
      
      	* cselib.h (struct elt_loc_list): Strengthen field "setting_insn"
      	from rtx to rtx_insn *.
      	(cselib_lookup_from_insn): Likewise for final param.
      	(cselib_subst_to_values_from_insn): Likewise.
      	(cselib_add_permanent_equiv): Likewise.
      
      	* cselib.c (cselib_current_insn): Likewise for this variable.
      	(cselib_subst_to_values_from_insn): Likewise for param "insn".
      	(cselib_lookup_from_insn): Likewise.
      	(cselib_add_permanent_equiv): Likewise for param "insn" and local
      	"save_cselib_current_insn".
      	(cselib_process_insn): Replace use of NULL_RTX with NULL.
      
      	* sched-deps.c (add_insn_mem_dependence): Strengthen param "insn"
      	from rtx to rtx_insn *.
      
      From-SVN: r214550
      David Malcolm committed
    • cselib_record_sets_hook takes an rtx_insn · 46665961
      gcc/
      	* cselib.h (cselib_record_sets_hook):  Strengthen initial param
      	"insn" from rtx to rtx_insn *.
      
      	* cselib.c (cselib_record_sets_hook): Likewise.
      
      	* var-tracking.c (add_with_sets): Likewise, renaming back from
      	"uncast_insn" to "insn" and eliminating the checked cast from rtx
      	to rtx_insn *.
      
      From-SVN: r214535
      David Malcolm committed
    • cselib and incdec · dd60a84c
      gcc/
      	* rtl.h (for_each_inc_dec): Strengthen param 1 from rtx * to
      	rtx_insn **.
      	(check_for_inc_dec): Strengthen param "insn" from rtx to
      	rtx_insn *.
      
      	* cselib.h (cselib_process_insn): Likewise.
      
      	* cselib.c (cselib_record_sets): Likewise.
      	(cselib_process_insn): Likewise.
      
      	* dse.c (struct insn_info): Likewise for field "insn".
      	(check_for_inc_dec_1): Likewise for local "insn".
      	(check_for_inc_dec): Likewise for param "insn".
      	(scan_insn): Likewise.
      	(dse_step1): Likewise for local "insn".
      
      	* rtlanal.c (for_each_inc_dec): Strengthen param 1 from rtx * to
      	rtx_insn **.  Use for_each_rtx_in_insn rather than for_each_rtx.
      
      From-SVN: r214531
      David Malcolm committed
  15. 02 Jan, 2014 1 commit
  16. 10 Dec, 2013 1 commit
    • cgraph.h (cgraph_node_set_iterator, [...]): Remove typedef. · 84562394
      	* gcc/cgraph.h (cgraph_node_set_iterator, varpool_node_set_iterator):
      	Remove typedef.
      	(cgraph_inline_failed_enum, cgraph_inline_failed_t): Remove typedef and
      	rename to cgraph_inline_failed_t.
      	* gcc/tree-ssa-alias.h (ao_ref_s, ao_ref): Remove typedef and rename
      	to ao_ref.
      	* gcc/reload.h (reg_equivs_s, reg_equivs_t): Remove typedef and rename
      	to reg_equivs_t.
      	* gcc/conditions.h (CC_STATUS): Remove typedef.
      	* gcc/bitmap.h (bitmap_obstack): Remove typedef.
      	(bitmap_element_def, bitmap_element): Remove typedef and rename to
      	bitmap_element.
      	(bitmap_head_def, bitmap_head): Remove typedef and rename to
      	bitmap_head.
      	(bitmap_iterator): Remove typedef.
      	* gcc/target.h (cumulative_args_t, print_switch_type,
      	secondary_reload_info): Remove typedef.
      	* gcc/dwarf2out.h (dw_cfi_oprnd_struct, dw_cfi_oprnd): Remove
      	dw_cfi_oprnd_struct alias.
      	(dw_cfi_struct, dw_cfi_node): Remove typedef and rename to dw_cfi_node.
      	(dw_fde_struct, dw_fde_node): Remove typedef and rename to dw_fde_node.
      	(cfa_loc, dw_cfa_location): Remove typedef and rename to
      	dw_cfa_location.
      	(dw_vec_struct, dw_vec_const): Remove typedef and rename to
      	dw_vec_const.
      	(dw_val_struct, dw_val_node): Remove typedef and rename to dw_val_node.
      	(dw_loc_descr_struct, dw_loc_descr_node): Remove typedef and rename to
      	dw_loc_descr_node.
      	* gcc/params.h (param_info, compiler_param): Remove typedef.
      	* gcc/opts.h (cl_deferred_param): Remove typedef.
      	* gcc/sreal.h (sreal): Remove typedef.
      	* gcc/ddg.h (dep_type, dep_data_type): Remove typedef.
      	* gcc/graphite-clast-to-gimple.h (cloog_prog_clast, bb_pbb_def): Remove
      	typedef.
      	* gcc/lto-streamer.h (lto_decl_stream_e_t, lto_encoder_entry,
      	lto_symtab_encoder_iterator, res_pair): Remove typedef.
      	* gcc/tree-affine.h (affine_tree_combination, aff_tree): Remove typedef
      	and rename to aff_tree.
      	* gcc/sched-int.h (region): Remove typedef.
      	* gcc/diagnostic.h (diagnostic_info,
      	diagnostic_classification_change_t): Remove typedef.
      	* gcc/tree-ssa-loop.h (affine_iv_d): Remove typedef and rename to
      	affine_iv.
      	* gcc/sbitmap.h (sbitmap_iterator): Remove typedef.
      	* gcc/ssa-iterators.h (immediate_use_iterator_d, imm_use_iterator):
      	Remove typedef and rename to imm_use_iterator.
      	(ssa_operand_iterator_d, ssa_op_iter): Remove typedef and rename to
      	ssa_op_iter.
      	* gcc/ggc-internal.h (ggc_statistics): Remove typedef.
      	* gcc/cselib.h (cselib_val_struct, cselib_val): Remove typedef and
      	rename to cselib_val.
      	* gcc/tree-core.h (alias_pair): Remove typedef.
      	(constructor_elt_d, constructor_elt): Remove typedef and rename to
      	constructor_elt.
      	(ssa_use_operand_d, ssa_use_operand_t): Remove typedef and rename to
      	ssa_use_operand_t.
      	* gcc/graphite-sese-to-poly.h (base_alias_pair): Remove typedef.
      	* gcc/tree-data-ref.h (conflict_function): Remove typedef.
      	* gcc/tree-inline.h (copy_body_data): Remove typedef.
      	* gcc/ipa-inline.h (condition, size_time_entry, inline_param_summary_t,
      	edge_growth_cache_entry): Remove typedef.
      	* gcc/regrename.h (operand_rr_info, insn_rr_info): Remove typedef.
      	* gcc/gimple-iterator.h (gimple_stmt_iterator_d, gimple_stmt_iterator):
      	Remove typedef and rename to gimple_stmt_iterator.
      	* gcc/basic-block.h (ce_if_block, ce_if_block_t): Remove typedef and
      	rename to ce_if_block.
      	(edge_iterator): Remove typedef.
      	* gcc/ipa-prop.h (ipa_agg_jf_item, ipa_agg_jf_item_t): Remove typedef
      	and rename to ipa_agg_jf_item.
      	(ipa_agg_jump_function_t, ipa_param_descriptor_t, ipa_node_params_t,
      	ipa_parm_adjustment_t): Remove typedef.
      	(ipa_jump_func, ipa_jump_func_t): Remove typedef and rename to
      	ipa_jump_func.
      	(ipa_edge_args, ipa_edge_args_t): Remove typedef and rename to
      	ipa_edge_args.
      	* gcc/gcov-io.h (gcov_bucket_type): Remove typedef.
      	(gcov_working_set_info, gcov_working_set_t): Remove typedef and rename
      	to gcov_working_set_t.
      	* gcc/ira-int.h (minmax_set_iterator, ira_allocno_iterator,
      	ira_object_iterator, ira_allocno_object_iterator, ira_pref_iterator,
      	ira_copy_iterator, ira_object_conflict_iterator): Remove typedef.
      	* gcc/tree-iterator.h (tree_stmt_iterator): Remove typedef.
      	* gcc/rtl.h (addr_diff_vec_flags, mem_attrs, reg_attrs,
      	replace_label_data): Remove typedef.
      	(rtunion_def, rtunion): Remove typedef and rename to rtunion.
      	* gcc/hard-reg-set.h (hard_reg_set_iterator): Remove typedef.
      	* gcc/sel-sched-ir.h (_list_iterator, sel_global_bb_info_def,
      	sel_region_bb_info_def, succ_iterator): Remove typedef.
      	(deps_where_def, deps_where_t): Remove typedef and rename to
      	deps_where_t.
      	* gcc/coretypes.h: Adapt forward declarations.
      	* gcc/tree-scalar-evolution.h: Likewise.
      	* gcc/tree-ssa-address.h: Likewise.
      	* gcc/tree-ssa-operands.h: Likewise.
      	* gcc/function.h: Likewise.
      	* gcc/config/frv/frv-protos.h: Likewise.
      	* gcc/targhooks.h: Likewise.
      	* gcc/basic_block.h: Likewise.
      	* gcc/rtl.def: Adapt documentation.
      	* gcc/doc/tm.texi: Likewise.
      	* gcc/ipa-cp.c: Adapt uses.
      	* gcc/bitmap.c: Likewise.
      	* gcc/dwarf2out.c: Likewise.
      	* gcc/target.def: Likewise.
      	* gcc/ipa-inline-analysis.c: Likewise.
      	* gcc/dwarf2cfi.c: Likewise.
      	* gcc/tree-ssa-loop-ivopts.c: Likewise.
      	* gcc/lto-cgraph.c: Likewise.
      	* gcc/config/frv/frv.c: Likewise.
      	* gcc/ifcvt.c: Likewise.
      	* gcc/ipa-prop.c: Likewise.
      
      From-SVN: r205863
      Oleg Endo committed
  17. 10 Jan, 2013 1 commit
  18. 20 Nov, 2012 1 commit
    • re PR middle-end/54921 (wrong code with -Os -fno-omit-frame-pointer… · 40155239
      re PR middle-end/54921 (wrong code with -Os -fno-omit-frame-pointer -fsched2-use-superblocks -fstack-protector -ftree-slp-vectorize)
      
      	PR rtl-optimization/54921
      	* cselib.h (fp_setter_insn): New prototype.
      	* cselib.c (fp_setter_insn): New function.
      	(cselib_process_insn): If frame_pointer_needed,
      	call cselib_invalidate_rtx (stack_pointer_rtx) after
      	processing a frame pointer setter.
      	* var-tracking.c (fp_setter): Removed.
      	(vt_initialize): Use fp_setter_insn instead of fp_setter.
      
      	* gcc.dg/pr54921.c: New test.
      
      From-SVN: r193647
      Jakub Jelinek committed
  19. 16 Oct, 2012 1 commit
    • re PR debug/54796 (Non-addressable stack parameter debug quality regression) · 0fe03ac3
      	PR debug/54796
      	* rtl.h: Document jump flag on VALUE.
      	* cselib.h (cselib_set_value_sp_based,
      	cselib_sp_based_value_p): New prototypes.
      	* alias.c (find_base_term): For cselib_sp_based_value_p
      	return static_reg_base_value[STACK_POINTER_REGNUM].
      	* cselib.c (SP_BASED_VALUE_P): Define.
      	(cselib_set_value_sp_based, cselib_sp_based_value_p): New functions.
      	* var-tracking.c (add_stores): Call cselib_set_value_sp_based
      	for not yet preserved VALUEs of sp on sp assignments if
      	hard_frame_pointer_adjustment != -1.
      	(vt_initialize): When setting hard_frame_pointer_adjustment,
      	disassociate sp from its previous value and call
      	cselib_set_value_sp_based on a new VALUE created for sp.
      
      	* gcc.dg/guality/pr54796.c: New test.
      
      From-SVN: r192494
      Jakub Jelinek committed
  20. 01 Mar, 2012 1 commit
    • re PR debug/52001 (Huge compile-time regression with var-tracking) · 0f68ba3e
      PR debug/52001
      PR rtl-optimization/52417
      * cselib.c (cselib_any_perm_equivs): New variable.
      (cselib_reset_table): Check that it's not set when not
      preserving constants.
      (cselib_add_permanent_equiv): Set it.
      (cselib_have_permanent_equivalences): New.
      (cselib_init, cselib_finish): Reset it.
      * cselib.h (cselib_have_permanent_equivalences): Declare.
      * alias.c (get_addr): Restore earlier behavior when there
      aren't permanent equivalences.
      
      From-SVN: r184750
      Alexandre Oliva committed
  21. 13 Feb, 2012 1 commit
  22. 31 Dec, 2011 1 commit
    • cselib.h (cselib_add_permanent_equiv): Declare. · 6f2ffb4b
      * cselib.h (cselib_add_permanent_equiv): Declare.
      (canonical_cselib_val): New.
      * cselib.c (new_elt_loc_list): Rework to support value
      equivalences.  Adjust all callers.
      (preserve_only_constants): Retain value equivalences.
      (references_value_p): Retain preserved values.
      (rtx_equal_for_cselib_1): Handle value equivalences.
      (cselib_invalidate_regno): Use canonical value.
      (cselib_add_permanent_equiv): New.
      * alias.c (find_base_term): Reset locs lists while recursing.
      * var-tracking.c (val_bind): New.  Don't add equivalences
      present in cselib table, compared with code moved from...
      (val_store): ... here.
      (val_resolve): Use val_bind.
      (VAL_EXPR_HAS_REVERSE): Drop.
      (add_uses): Do not create MOps for addresses.  Do not mark
      non-REG non-MEM expressions as requiring resolution.
      (reverse_op): Record reverse as a cselib equivalence.
      (add_stores): Use it.  Do not create MOps for addresses.
      Do not require resolution for non-REG non-MEM expressions.
      Simplify support for reverse operations.
      (compute_bb_dataflow): Drop reverse support.
      (emit_notes_in_bb): Likewise.
      (create_entry_value): Rename to...
      (record_entry_value): ... this.  Use cselib equivalences.
      (vt_add_function_parameter): Adjust.
      
      From-SVN: r182760
      Alexandre Oliva committed
  23. 03 Feb, 2011 1 commit
    • re PR debug/43092 (Wrong debuginfo with VTA and -fomit-frame-pointer/-mno-accumulate-outgoing-args) · 4deef538
      PR debug/43092
      PR rtl-optimization/43494
      * rtl.h (for_each_inc_dec_fn): New type.
      (for_each_inc_dec): Declare.
      * rtlanal.c (struct for_each_inc_dec_ops): New type.
      (for_each_inc_dec_find_inc_dec): New fn.
      (for_each_inc_dec_find_mem): New fn.
      (for_each_inc_dec): New fn.
      * dse.c (struct insn_size): Remove.
      (replace_inc_dec, replace_inc_dec_mem): Remove.
      (emit_inc_dec_insn_before): New fn.
      (check_for_inc_dec): Use it, along with for_each_inc_dec.
      (canon_address): Pass mem modes to cselib_lookup.
      * cselib.h (cselib_lookup): Add memmode argument.  Adjust callers.
      (cselib_lookup_from_insn): Likewise.
      (cselib_subst_to_values): Likewise.
      * cselib.c (find_slot_memmode): New var.
      (cselib_find_slot): New fn.  Use it instead of
      htab_find_slot_with_hash everywhere.
      (entry_and_rtx_equal_p): Use find_slot_memmode.
      (autoinc_split): New fn.
      (rtx_equal_for_cselib_p): Rename and implement in terms of...
      (rtx_equal_for_cselib_1): ... this.  Take memmode, pass it on.
      Deal with autoinc.  Special-case recursion into MEMs.
      (cselib_hash_rtx): Likewise.
      (cselib_lookup_mem): Infer pmode from address mode.  Distinguish
      address and MEM modes.
      (cselib_subst_to_values): Add memmode, pass it on.
      Deal with autoinc.
      (cselib_lookup): Add memmode argument, pass it on.
      (cselib_lookup_from_insn): Add memmode.
      (cselib_invalidate_rtx): Discard obsolete push_operand handling.
      (struct cselib_record_autoinc_data): New.
      (cselib_record_autoinc_cb): New fn.
      (cselib_record_sets): Use it, along with for_each_inc_dec.  Pass MEM
      mode to cselib_lookup.  Reset autoinced REGs here instead of...
      (cselib_process_insn): ... here.
      * var-tracking.c (replace_expr_with_values, use_type): Pass MEM mode
      to cselib_lookup.
      (add_uses): Likewise, also to cselib_subst_to_values.
      (add_stores): Likewise.
      * sched-deps.c 	(add_insn_mem_dependence): Pass mode to
      cselib_subst_to_values.
      (sched_analyze_1, sched_analyze_2): Likewise.  Adjusted.
      * gcse.c (do_local_cprop): Adjusted.
      * postreload.c (reload_cse_simplify_set): Adjusted.
      (reload_cse_simplify_operands): Adjusted.
      * sel-sched-dump (debug_mem_addr_value): Pass mode.
      
      From-SVN: r169782
      Alexandre Oliva committed
  24. 03 Dec, 2010 2 commits
    • basic-block.h (struct edge_prediction): Remove forward declaration. · fba4cb03
      2010-12-01  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
      
      	* basic-block.h (struct edge_prediction): Remove forward
      	declaration.
      	* tree-flow.h (struct edge_prediction): Move from here...
      	* predict.c (struct edge_prediction): ...to here.
      	* cselib.h (struct elt_list): Move from here...
      	* cselib.c (struct elt_list): ...to here.
      
      From-SVN: r167409
      Laurynas Biveinis committed
    • tree.h (struct call_expr_arg_iterator_d): Remove GTY tag. · 1aa67003
      2010-11-30  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
      
      	* tree.h (struct call_expr_arg_iterator_d): Remove GTY tag.
      	(const_call_expr_arg_iterator_d): Likewise.
      	(expanded_location): Likewise.
      	* c-tree.h (struct c_arg_tag_d): Likewise.
      	* dwarf2out.c (struct cfa_loc): Likewise.
      	(struct skeleton_chain_struct): Likewise.
      	* except.c (struct ttypes_filter): Likewise.
      	* cselib.h (struct cselib_val_struct): Likewise.
      	(elt_loc_list): Likewise.
      	(elt_list): Likewise.
      	* varasm.c (struct addr_const): Likewise.
      	* tree-flow.h (struct edge_prediction): Likewise.
      	(struct int_tree_map): Likewise.
      	(struct _edge_var_map): Likewise.
      
      ada:
      
      2010-11-30  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
      
      	* gcc-interface/decl.c (struct subst_pair_d): Remove GTY tag.
      	(variant_desc_d): Likewise.
      
      cp:
      
      2010-11-30  Laurynas Biveinis  <laurynas.biveinis@gmail.com>
      
      	* cp-tree.h (struct aggr_init_expr_arg_iterator_d): Remove GTY
      	tag.
      
      From-SVN: r167406
      Laurynas Biveinis committed
  25. 30 Jun, 2010 1 commit
    • re PR debug/44694 (Long var tracking compile time of GiNaC tests) · 9de9cbaf
      	PR debug/44694
      	* cselib.h (cselib_preserve_cfa_base_value): Add regno argument.
      	* cselib.c (cfa_base_preserved_regno): New static variable.
      	(cselib_reset_table): Don't reset cfa_base_preserved_regno instead
      	of REGNO (cfa_base_preserved_val->locs->loc).
      	(cselib_preserve_cfa_base_value): Add regno argument, set
      	cfa_base_preserved_regno to it.
      	(cselib_invalidate_regno): Allow removal of registers other than
      	cfa_base_preserved_regno from cfa_base_preserved_val.
      	(cselib_finish): Set cfa_base_preserved_regno to INVALID_REGNUM.
      	* var-tracking.c (adjust_mems): Replace sp or hfp even outside
      	of MEM addresses, if not on LHS.
      	(reverse_op): Don't add reverse ops for cfa_base_rtx.
      	(vt_init_cfa_base): Adjust cselib_preserve_cfa_base_value caller.
      
      From-SVN: r161587
      Jakub Jelinek committed
  26. 30 Mar, 2010 1 commit
    • re PR debug/42977 ("-fcompare-debug failure" with "-O2 -finline-functions… · 5847e8da
      re PR debug/42977 ("-fcompare-debug failure" with "-O2 -finline-functions -fomit-frame-pointer -ftracer -fsched2-use-superblocks -fPIC")
      
      	PR debug/42977
      	* cselib.c (n_useless_values): Document handling of debug locs.
      	(n_useless_debug_values, n_debug_values): New variables.
      	(new_elt_loc_list): Don't add to debug values, keep count.
      	(promote_debug_loc): New.
      	(cselib_reset_table): Zero new variables.
      	(entry_and_rtx_equal_p): Promote debug locs.
      	(discard_useless_locs): Increment n_useless_debug_values for
      	debug values.
      	(remove_useless_values): Adjust n_useless_values and n_debug_values
      	with n_useless_debug_values.
      	(add_mem_for_addr): Promote debug locs.
      	(cselib_lookup_mem): Likewise.
      	(cselib_lookup_addr): Renamed to...
      	(cselib_lookup_addr_1): ... this.  Promote debug locs.
      	Don't call...
      	(cselib_log_lookup): ... this.  Turn into...
      	(cselib_lookup_addr): ... new wrapper.
      	(cselib_lookup_from_insn): New.
      	(cselib_invalidate_regno): Increment n_useless_debug_values for
      	debug values.
      	(cselib_invalidate_mem): Likewise.
      	(cselib_process_insn): Take n_deleted and n_debug_values into
      	account to guard remove_useless_value call.
      	(cselib_finish): Zero n_useless_debug_values.
      	* cselib.h (cselib_lookup_from_insn): Declare.
      	* sched-deps.c (sched_analyze_1): Use cselib_lookup_from_insn.
      	(sched_analyze_2): Likewise.
      
      From-SVN: r157837
      Alexandre Oliva committed
  27. 16 Mar, 2010 1 commit
    • re PR debug/43051 (VTA causes a stack living parameter unavailable in most of the function) · 457eeaae
      	PR debug/43051
      	PR debug/43092
      	* cselib.c (cselib_preserve_constants,
      	cfa_base_preserved_val): New static variables.
      	(preserve_only_constants): New function.
      	(cselib_reset_table): If cfa_base_preserved_val is non-NULL, don't
      	clear its REG_VALUES.  If cselib_preserve_constants, don't 
      	empty the whole hash table, but preserve there VALUEs with constants,
      	cfa_base_preserved_val and cfa_base_preserved_val plus constant.
      	(cselib_preserve_cfa_base_value): New function.
      	(cselib_invalidate_regno): Don't invalidate cfa_base_preserved_val.
      	(cselib_init): Change argument to int bitfield.  Set
      	cselib_preserve_constants to whether CSELIB_PRESERVE_CONSTANTS
      	is in it.
      	(cselib_finish): Clear cselib_preserve_constants and
      	cfa_base_preserved_val.
      	* cselib.h (enum cselib_record_what): New enum.
      	(cselib_init): Change argument to int.
      	(cselib_preserve_cfa_base_value): New prototype.
      	* postreload.c (reload_cse_regs_1): Adjust cselib_init caller.
      	* dse.c (dse_step1): Likewise.
      	* cfgcleanup.c (thread_jump): Likewise.
      	* sched-deps.c (sched_analyze): Likewise.
      	* gcse.c (local_cprop_pass): Likewise.
      	* simplify-rtx.c (simplify_replace_fn_rtx): Add argument to callback.
      	If FN is non-NULL, call the callback always and whenever it returns
      	non-NULL just return that.  Only do rtx_equal_p if FN is NULL.
      	* rtl.h (simplify_replace_fn_rtx): Add argument to callback.
      	* combine.c (propagate_for_debug_subst): Add old_rtx argument,
      	compare from with old_rtx and if it isn't rtx_equal_p, return NULL.
      	* Makefile.in (var-tracking.o): Depend on $(RECOG_H).
      	* var-tracking.c: Include recog.h.
      	(bb_stack_adjust_offset): Remove.
      	(vt_stack_adjustments): Don't call it, instead just gather the
      	adjustments using insn_stack_adjust_offset_pre_post on each bb insn.
      	(adjust_stack_reference): Remove.
      	(compute_cfa_pointer): New function.
      	(hard_frame_pointer_adjustment, cfa_base_rtx): New static variables.
      	(struct adjust_mem_data): New type.
      	(adjust_mems, adjust_mem_uses, adjust_mem_stores, adjust_insn): New
      	functions.
      	(get_address_mode): New function.
      	(replace_expr_with_values): Use it.
      	(use_type): Don't do cselib_lookup for VAR_LOC_UNKNOWN_P.
      	Use get_address_mode.  For cfa_base_rtx return MO_CLOBBER.
      	(adjust_sets): Remove.
      	(add_uses): Don't add extra MO_VAL_USE for cfa_base_rtx plus constant.
      	Use get_address_mode.
      	(get_adjusted_src): Remove.
      	(add_stores): Don't call it.  Never reuse expr SET.  Don't add extra
      	MO_VAL_USE for cfa_base_rtx plus constant.  Use get_address_mode.
      	(add_with_sets): Don't call adjust_sets.
      	(fp_setter, vt_init_cfa_base): New functions.
      	(vt_initialize): Change return type to bool.  Move most of pool etc.
      	initialization to the beginning of the function from end.  Pass
      	CSELIB_RECORD_MEMORY | CSELIB_PRESERVE_CONSTANTS to cselib_init.
      	If !frame_pointer_needed, call vt_stack_adjustment before mos
      	vector is filled, call vt_init_cfa_base if argp/framep has been
      	eliminated to sp.  If frame_pointer_needed and argp/framep has
      	been eliminated to hard frame pointer, set
      	hard_frame_pointer_adjustment and call vt_init_cfa_base after
      	encountering fp setter in the prologue.  For MO_ADJUST, call
      	log_op_type before pusing the op into mos vector, not afterwards.
      	Call adjust_insn before cselib_process_insn/add_with_sets,
      	call cancel_changes (0) afterwards.
      	(variable_tracking_main_1): Adjust for vt_initialize calling
      	vt_stack_adjustments and returning whether it succeeded or not.
      
      	* gcc.dg/guality/pr43051-1.c: New test.
      
      From-SVN: r157476
      Jakub Jelinek committed
  28. 12 Mar, 2010 1 commit
    • cselib.c (LONG_TERM_PRESERVED_VALUE_P): Remove. · 0de3e43f
      	* cselib.c (LONG_TERM_PRESERVED_VALUE_P): Remove.
      	(cselib_preserve_definitely, cselib_clear_preserve): Remove.
      	(cselib_preserve_only_values): Remove retain argument, don't
      	traverse hash table with cselib_{preserve_definitely,clear_preserve}.
      	* cselib.h (cselib_preserve_only_values): Remove retain argument.
      	* var-tracking.c (micro_operation): Move insn field before union.
      	Add DEF_VEC_O and DEF_VEC_ALLOC_O for this type.
      	(struct variable_tracking_info_def): Remove n_mos field, change
      	mos into a vector of micro_operations.
      	(count_uses, count_uses_1, count_stores, count_with_sets): Remove.
      	(bb_stack_adjust_offset, log_op_type, add_uses, add_stores,
      	compute_bb_dataflow, emit_notes_in_bb): Adjust for VTI (bb)->mos
      	changing into a vector.
      	(add_with_sets): Likewise.  Ensure MO_VAL_USE uops from add_stores
      	come before all other uops generated by add_stores.
      	(vt_add_function_parameters): Adjust for cselib_preserve_only_values
      	argument removal.
      	(vt_initialize): Likewise.  Adjust for VTI (bb)->mos changing into
      	a vector.  Run just one pass over the bbs instead of separate counting
      	and computation phase.
      	(vt_finalize): Free VTI (bb)->mos vector instead of array.
      
      From-SVN: r157403
      Jakub Jelinek committed
  29. 07 Mar, 2010 1 commit
    • re PR debug/43176 (var-tracking fails to notice a value change) · 864ddef7
      	PR debug/43176
      	* Makefile.in (var-tracking.o): Depend on pointer-set.h.
      	* cselib.c (struct expand_value_data): Add dummy field.
      	(cselib_expand_value_rtx, cselib_expand_value_rtx_cb): Initialize
      	dummy to false.
      	(cselib_dummy_expand_value_rtx_cb): New function.
      	(cselib_expand_value_rtx_1): If evd->dummy is true, don't allocate
      	any rtl.
      	* cselib.h (cselib_dummy_expand_value_rtx_cb): New prototype.
      	* var-tracking.c: Include pointer-set.h.
      	(variable): Change n_var_parts to char from int.  Add
      	cur_loc_changed and in_changed_variables fields.
      	(variable_canonicalize): Remove.
      	(shared_var_p): New inline function.
      	(unshare_variable): Maintain cur_loc_changed and
      	in_changed_variables fields.  If var was in changed_variables,
      	replace it there with new_var.  Just copy cur_loc instead of
      	resetting it to something else.
      	(variable_union): Don't recompute cur_loc.  Use shared_var_p.
      	(dataflow_set_union): Don't call variable_canonicalize.
      	(loc_cmp): If both x and y are DEBUG_EXPRs, compare uids
      	of their DEBUG_EXPR_TREE_DECLs.
      	(canonicalize_loc_order_check): Verify that cur_loc is NULL
      	and in_changed_variables and cur_loc_changed is false.
      	(variable_merge_over_cur): Clear cur_loc, in_changed_variables
      	and cur_loc_changed.  Don't update cur_loc here.
      	(variable_merge_over_src): Don't call variable_canonicalize.
      	(dataflow_set_preserve_mem_locs): Use shared_var_p.  When
      	removing loc that is equal to cur_loc, clear cur_loc,
      	set cur_loc_changed and ensure variable_was_changed is called.
      	(dataflow_set_remove_mem_locs): Use shared_var_p.  Only
      	compare pointers in cur_loc check, if it is equal to loc,
      	clear cur_loc and set cur_loc_changed.  Don't recompute cur_loc here.
      	(variable_different_p): Remove compare_current_location argument,
      	don't compare cur_loc.
      	(dataflow_set_different_1): Adjust variable_different_p caller.
      	(variable_was_changed): If dv had some var in changed_variables
      	already, reset in_changed_variables flag for it and propagate
      	cur_loc_changed over to the new variable.  On empty var
      	always set cur_loc_changed.  Set in_changed_variables on whatever
      	var is added to changed_variables.
      	(set_slot_part): Clear cur_loc_changed and in_changed_variables.
      	Use shared_var_p.  When removing loc that is equal to cur_loc,
      	clear cur_loc and set cur_loc_changed.  If cur_loc is NULL at the
      	end, don't set it to something else, just call variable_was_changed.
      	(delete_slot_part): Use shared_var_p.  When cur_loc equals to
      	loc being removed, clear cur_loc and set cur_loc_changed.
      	Set cur_loc_changed if all locations have been removed.
      	(struct expand_loc_callback_data): New type.
      	(vt_expand_loc_callback): Add dummy mode in which no rtxes are
      	allocated.  Always create SUBREGs if simplify_subreg failed.
      	Prefer to use cur_loc, when that fails and still in
      	changed_variables (and seen first time) recompute it.  Set
      	cur_loc_changed of variables which had to change cur_loc and
      	compute elcd->cur_loc_changed if any of the subexpressions used
      	had to change cur_loc.
      	(vt_expand_loc): Adjust to pass arguments in
      	expand_loc_callback_data structure.
      	(vt_expand_loc_dummy): New function.
      	(emitted_notes): New variable.
      	(emit_note_insn_var_location): For VALUEs and DEBUG_EXPR_DECLs
      	that weren't used for any other decl in current
      	emit_notes_for_changes call call vt_expand_loc_dummy to update
      	cur_loc.  For -fno-var-tracking-assignments, set cur_loc to
      	first loc_chain location if NULL before.  Always use just
      	cur_loc instead of first loc_chain location.  When cur_loc_changed
      	is false, when not --enable-checking=rtl just don't emit any note.
      	When rtl checking, compute the note and assert it is the same
      	as previous note.  Clear cur_loc_changed and in_changed_variables
      	at the end before removing from changed_variables.
      	(check_changed_vars_3): New function.
      	(emit_notes_for_changes): Traverse changed_vars to call
      	check_changed_vars_3 on each changed var.
      	(emit_notes_for_differences_1): Clear cur_loc_changed and
      	in_changed_variables.  Recompute cur_loc of new_var.
      	(emit_notes_for_differences_2): Clear cur_loc if new variable
      	appears.
      	(vt_emit_notes): Initialize and destroy emitted_notes.
      
      From-SVN: r157264
      Jakub Jelinek committed
  30. 03 Feb, 2010 1 commit
    • re PR debug/42896 (Random debug generation differences, bootstrap fails) · 5440c0e7
      2010-02-03  Alexandre Oliva  <aoliva@redhat.com>
      
      	PR debug/42896
      	* cselib.h (struct cselib_val_struct): Add uid.  Rename value to
      	hash.
      	(cselib_reset_table): Renamed from...
      	(cselib_reset_table_with_next_value): ... this.
      	(cselib_get_next_uid): Renamed from...
      	(cselib_get_next_unknown_value): ... this.
      	* cselib.c (next_uid): Renamed from...
      	(next_unknown_value): ... this.
      	(cselib_clear_table): Adjust.
      	(cselib_reset_table): Adjust.  Renamed from...
      	(cselib_reset_table_with_next_value): ... this.
      	(cselib_get_next_uid): Adjust.  Renamed from...
      	(cselib_get_next_unknown_value): ... this.
      	(get_value_hash): Use hash.
      	(cselib_hash_rtx): Likewise.
      	(new_cselib_val): Adjust.  Set and dump uid.
      	(cselib_lookup_mem): Pass next_uid as hash.
      	(cselib_subst_to_values): Likewise.
      	(cselib_log_lookup): Dump uid.
      	(cselib_lookup): Pass next_uid as hash.  Adjust.
      	(cselib_process_insn): Adjust.
      	(cselib_init): Initialize next_uid.
      	(cselib_finish): Adjust.
      	(dump_cselib_table): Likewise.
      	* dse.c (canon_address): Dump value uid.
      	* print-rtl.c (print_rtx): Print value uid.
      	* var-tracking.c (VARIABLE_HASH_VAL): Dropped.
      	(dvuid): New type.
      	(dv_uid): New function, sort of renamed from...
      	(dv_htab_hash): ... this, reimplemented in terms of it and...
      	(dv_uid2hash): ... this.  New.
      	(variable_htab_eq): Drop excess assertions.
      	(tie_break_pointers): Removed.
      	(canon_value_cmp): Compare uids.
      	(variable_post_merge_New_vals): Print uids.
      	(vt_add_function_parameters): Adjust.
      	(vt_initialize): Reset table.  Adjust.
      
      From-SVN: r156468
      Alexandre Oliva committed
  31. 02 Sep, 2009 1 commit
    • invoke.texi (-fvar-tracking-assignments): New. · b5b8b0ac
      gcc/ChangeLog:
      * doc/invoke.texi (-fvar-tracking-assignments): New.
      (-fvar-tracking-assignments-toggle): New.
      (-fdump-final-insns=file): Mark filename as optional.
      (--param min-nondebug-insn-uid): New.
      (-gdwarf-@{version}): Mention version 4.
      * opts.c (common_handle_option): Accept it.
      * tree-vrp.c (find_assert_locations_1): Skip debug stmts.
      * regrename.c (regrename_optimize): Drop last.  Don't count debug
      insns as uses.  Don't reject change because of debug insn.
      (do_replace): Reject DEBUG_INSN as chain starter.  Take base_regno
      from the chain starter, and check for inexact matches in
      DEBUG_INSNS.
      (scan_rtx_reg): Accept inexact matches in DEBUG_INSNs.
      (build_def_use): Simplify and fix the marking of DEBUG_INSNs.
      * sched-ebb.c (schedule_ebbs): Skip boundary debug insns.
      * fwprop.c (forward_propagate_and_simplify): ...into debug insns.
      * doc/gimple.texi (is_gimple_debug): New.
      (gimple_debug_bind_p): New.
      (is_gimple_call, gimple_assign_cast_p): End sentence with period.
      * doc/install.texi (bootstrap-debug): More details.
      (bootstrap-debug-big, bootstrap-debug-lean): Document.
      (bootstrap-debug-lib): More details.
      (bootstrap-debug-ckovw): Update.
      (bootstrap-time): New.
      * tree-into-ssa.c (mark_def_sites): Skip debug stmts.
      (insert_phi_nodes_for): Insert debug stmts.
      (rewrite_stmt): Take iterator.  Insert debug stmts.
      (rewrite_enter_block): Adjust.
      (maybe_replace_use_in_debug_stmt): New.
      (rewrite_update_stmt): Use it.
      (mark_use_interesting): Return early for debug stmts.
      * tree-ssa-loop-im.c (rewrite_bittest): Propagate DEFs into debug
      stmts before replacing stmt.
      (move_computations_stmt): Likewise.
      * ira-conflicts.c (add_copies): Skip debug insns.
      * regstat.c (regstat_init_n_sets_and_refs): Discount debug insns.
      (regstat_bb_compute_ri): Skip debug insns.
      * tree-ssa-threadupdate.c (redirection_block_p): Skip debug stmts.
      * tree-ssa-loop-manip.c (find_uses_to_rename_stmt,
      check_loop_closed_ssa_stmt): Skip debug stmts.
      * tree-tailcall.c (find_tail_calls): Likewise.
      * tree-ssa-loop-ch.c (should_duplicate_loop_header_p): Likewise.
      * tree.h (MAY_HAVE_DEBUG_STMTS): New.
      (build_var_debug_value_stat): Declare.
      (build_var_debug_value): Define.
      (target_for_debug_bind): Declare.
      * reload.c (find_equiv_reg): Skip debug insns.
      * rtlanal.c (reg_used_between_p): Skip debug insns.
      (side_effects_p): Likewise.
      (canonicalize_condition): Likewise.
      * ddg.c (create_ddg_dep_from_intra_loop_link): Check that non-debug
      insns never depend on debug insns.
      (create_ddg_dep_no_link): Likewise.
      (add_cross_iteration_register_deps): Use ANTI_DEP for debug insns.
      Don't add inter-loop dependencies for debug insns.
      (build_intra_loop_deps): Likewise.
      (create_ddg): Count debug insns.
      * ddg.h (struct ddg::num_debug): New.
      (num_backargs): Pair up with previous int field.
      * diagnostic.c (diagnostic_report_diagnostic): Skip notes on
      -fcompare-debug-second.
      * final.c (get_attr_length_1): Skip debug insns.
      (rest_of_clean-state): Don't dump CFA_RESTORE_STATE.
      * gcc.c (invoke_as): Call compare-debug-dump-opt.
      (driver_self_specs): Map -fdump-final-insns to
      -fdump-final-insns=..
      (get_local_tick): New.
      (compare_debug_dump_opt_spec_function): Test for . argument and
      compute output name.  Compute temp output spec without flag name.
      Compute -frandom-seed.
      (OPT): Undef after use.
      * cfgloopanal.c (num_loop_insns): Skip debug insns.
      (average_num_loop_insns): Likewise.
      * params.h (MIN_NONDEBUG_INSN_UID): New.
      * gimple.def (GIMPLE_DEBUG): New.
      * ipa-reference.c (scan_stmt_for_static_refs): Skip debug stmts.
      * auto-inc-dec.c (merge_in_block): Skip debug insns.
      (merge_in_block): Fix whitespace.
      * toplev.c (flag_var_tracking): Update comment.
      (flag_var_tracking_assignments): New.
      (flag_var_tracking_assignments_toggle): New.
      (process_options): Don't open final insns dump file if we're not
      going to write to it.  Compute defaults for var_tracking.
      * df-scan.c (df_insn_rescan_debug_internal): New.
      (df_uses_record): Handle debug insns.
      * haifa-sched.c (ready): Initialize n_debug.
      (contributes_to_priority): Skip debug insns.
      (dep_list_size): New.
      (priority): Use it.
      (rank_for_schedule): Likewise.  Schedule debug insns as soon as
      they're ready.  Disregard previous debug insns to make decisions.
      (queue_insn): Never queue debug insns.
      (ready_add, ready_remove_first, ready_remove): Count debug insns.
      (schedule_insn): Don't reject debug insns because of issue rate.
      (get_ebb_head_tail, no_real_insns_p): Skip boundary debug insns.
      (queue_to_ready): Skip and discount debug insns.
      (choose_ready): Let debug insns through.
      (schedule_block): Check boundary debug insns.  Discount debug
      insns, schedule them early.  Adjust whitespace.
      (set_priorities): Check for boundary debug insns.
      (add_jump_dependencies): Use dep_list_size.
      (prev_non_location_insn): New.
      (check_cfg): Use it.
      * tree-ssa-loop-ivopts.c (find-interesting_users): Skip debug
      stmts.
      (remove_unused_ivs): Reset debug stmts.
      * modulo-sched.c (const_iteration_count): Skip debug insns.
      (res_MII): Discount debug insns.
      (loop_single_full_bb_p): Skip debug insns.
      (sms_schedule): Likewise.
      (sms_schedule_by_order): Likewise.
      (ps_has_conflicts): Likewise.
      * caller-save.c (refmarker_fn): New.
      (save_call_clobbered_regs): Replace regs with saved mem in
      debug insns.
      (mark_referenced_regs): Take pointer, mark and arg.  Adjust.
      Call refmarker_fn mark for hardregnos.
      (mark_reg_as_referenced): New.
      (replace_reg_with_saved_mem): New.
      * ipa-pure-const.c (check_stmt): Skip debug stmts.
      * cse.c (cse_insn): Canonicalize debug insns.  Skip them when
      searching back.
      (cse_extended_basic_block): Skip debug insns.
      (count_reg_usage): Likewise.
      (is_dead_reg): New, split out of...
      (set_live_p): ... here.
      (insn_live_p): Use it for debug insns.
      * tree-stdarg.c (check_all_va_list_escapes): Skip debug stmts.
      (execute_optimize_stdarg): Likewise.
      * tree-ssa-dom.c (propagate_rhs_into_lhs): Likewise.
      * tree-ssa-propagate.c (substitute_and_fold): Don't regard
      changes in debug stmts as changes.
      * sel-sched.c (moving_insn_creates_bookkeeping_block_p): New.
      (moveup_expr): Don't move across debug insns.  Don't move
      debug insn if it would create a bookkeeping block.
      (moveup_expr_cached): Don't use cache for debug insns that
      are heads of blocks.
      (compute_av_set_inside_bb): Skip debug insns.
      (sel_rank_for_schedule): Schedule debug insns first.  Remove
      dead code.
      (block_valid_for_bookkeeping_p); Support lax searches.
      (create_block_for_bookkeeping): Adjust block numbers when
      encountering debug-only blocks.
      (find_place_for_bookkeeping): Deal with debug-only blocks.
      (generate_bookkeeping_insn): Accept no place to insert.
      (remove_temp_moveop_nops): New argument full_tidying.
      (prepare_place_to_insert): Deal with debug insns.
      (advance_state_on_fence): Debug insns don't start cycles.
      (update_boundaries): Take fence as argument.  Deal with
      debug insns.
      (schedule_expr_on_boundary): No full_tidying on debug insns.
      (fill_insns): Deal with debug insns.
      (track_scheduled_insns_and_blocks): Don't count debug insns.
      (need_nop_to_preserve_insn_bb): New, split out of...
      (remove_insn_from_stream): ... this.
      (fur_orig_expr_not_found): Skip debug insns.
      * rtl.def (VALUE): Move up.
      (DEBUG_INSN): New.
      * tree-ssa-sink.c (all_immediate_uses_same_place): Skip debug
      stmts.
      (nearest_common_dominator_of_uses): Take debug_stmts argument.
      Set it if debug stmts are found.
      (statement_sink_location): Skip debug stmts.  Propagate
      moving defs into debug stmts.
      * ifcvt.c (first_active_insn): Skip debug insns.
      (last_active_insns): Likewise.
      (cond_exec_process_insns): Likewise.
      (noce_process_if_block): Likewise.
      (check_cond_move_block): Likewise.
      (cond_move_convert_if_block): Likewise.
      (block_jumps_and_fallthru_p): Likewise.
      (dead_or_predicable): Likewise.
      * dwarf2out.c (debug_str_hash_forced): New.
      (find_AT_string): Add comment.
      (gen_label_for_indirect_string): New.
      (get_debug_string_label): New.
      (AT_string_form): Use it.
      (mem_loc_descriptor): Handle non-TLS symbols.  Handle MINUS , DIV,
      MOD, AND, IOR, XOR, NOT, ABS, NEG, and CONST_STRING.  Accept but
      discard COMPARE, IF_THEN_ELSE, ROTATE, ROTATERT, TRUNCATE and
      several operations that cannot be represented with DWARF opcodes.
      (loc_descriptor): Ignore SIGN_EXTEND and ZERO_EXTEND.  Require
      dwarf_version 4 for DW_OP_implicit_value and DW_OP_stack_value.
      (dwarf2out_var_location): Take during-call mark into account.
      (output_indirect_string): Update comment.  Output if there are
      label and references.
      (prune_indirect_string): New.
      (prune_unused_types): Call it if debug_str_hash_forced.
      More in dwarf2out.c, from Jakub Jelinek <jakub@redhat.com>:
      (dw_long_long_const): Remove.
      (struct dw_val_struct): Change val_long_long type to rtx.
      (print_die, attr_checksum, same_dw_val_p, loc_descriptor): Adjust for
      val_long_long change to CONST_DOUBLE rtx from a long hi/lo pair.
      (output_die): Likewise.  Use HOST_BITS_PER_WIDE_INT size of each
      component instead of HOST_BITS_PER_LONG.
      (output_loc_operands): Likewise.   For const8* assert
      HOST_BITS_PER_WIDE_INT rather than HOST_BITS_PER_LONG is >= 64.
      (output_loc_operands_raw): For const8* assert HOST_BITS_PER_WIDE_INT
      rather than HOST_BITS_PER_LONG is >= 64.
      (add_AT_long_long): Remove val_hi and val_lo arguments, add
      val_const_double.
      (size_of_die): Use HOST_BITS_PER_WIDE_INT size multiplier instead of
      HOST_BITS_PER_LONG for dw_val_class_long_long.
      (add_const_value_attribute): Adjust add_AT_long_long caller.  Don't
      handle TLS SYMBOL_REFs.  If CONST wraps a constant, tail recurse.
      (dwarf_stack_op_name): Handle DW_OP_implicit_value and
      DW_OP_stack_value.
      (size_of_loc_descr, output_loc_operands, output_loc_operands_raw):
      Handle DW_OP_implicit_value.
      (extract_int): Move prototype earlier.
      (mem_loc_descriptor): For SUBREG punt if inner
      mode size is wider than DWARF2_ADDR_SIZE.  Handle SIGN_EXTEND
      and ZERO_EXTEND by DW_OP_shl and DW_OP_shr{a,}.  Handle
      EQ, NE, GT, GE, LT, LE, GTU, GEU, LTU, LEU, SMIN, SMAX, UMIN,
      UMAX, SIGN_EXTRACT, ZERO_EXTRACT.
      (loc_descriptor): Compare mode size with DWARF2_ADDR_SIZE
      instead of Pmode size.
      (loc_descriptor): Add MODE argument.  Handle CONST_INT, CONST_DOUBLE,
      CONST_VECTOR, CONST, LABEL_REF and SYMBOL_REF if mode != VOIDmode,
      attempt to handle other expressions.  Don't handle TLS SYMBOL_REFs.
      (concat_loc_descriptor, concatn_loc_descriptor,
      loc_descriptor_from_tree_1): Adjust loc_descriptor callers.
      (add_location_or_const_value_attribute): Likewise.  For single
      location loc_lists attempt to use add_const_value_attribute
      for constant decls.  Add DW_AT_const_value even if
      NOTE_VAR_LOCATION is VAR_LOCATION with CONSTANT_P or CONST_STRING
      in its expression.
      * cfgbuild.c (inside_basic_block_p): Handle debug insns.
      (control_flow_insn_p): Likewise.
      * tree-parloops.c (eliminate_local_variables_stmt): Handle debug
      stmt.
      (separate_decls_in_region_debug_bind): New.
      (separate_decls_in_region): Process debug bind stmts afterwards.
      * recog.c (verify_changes): Handle debug insns.
      (extract_insn): Likewise.
      (peephole2_optimize): Skip debug insns.
      * dse.c (scan_insn): Skip debug insns.
      * sel-sched-ir.c (return_nop_to_pool): Take full_tidying argument.
      Pass it on.
      (setup_id_for_insn): Handle debug insns.
      (maybe_tidy_empty_bb): Adjust whitespace.
      (tidy_control_flow): Skip debug insns.
      (sel_remove_insn): Adjust for debug insns.
      (sel_estimate_number_of_insns): Skip debug insns.
      (create_insn_rtx_from_pattern): Handle debug insns.
      (create_copy_of_insn_rtx): Likewise.
      * sel-sched-.h (sel_bb_end): Declare.
      (sel_bb_empty_or_nop_p): New.
      (get_all_loop_exits): Use it.
      (_eligible_successor_edge_p): Likewise.
      (return_nop_to_pool): Adjust.
      * tree-eh.c (tre_empty_eh_handler_p): Skip debug stmts.
      * ira-lives.c (process_bb_node_lives): Skip debug insns.
      * gimple-pretty-print.c (dump_gimple_debug): New.
      (dump_gimple_stmt): Use it.
      (dump_bb_header): Skip gimple debug stmts.
      * regmove.c (optimize_reg_copy_1): Discount debug insns.
      (fixup_match_2): Likewise.
      (regmove_backward_pass): Likewise.  Simplify combined
      replacement.  Handle debug insns.
      * function.c (instantiate_virtual_regs): Handle debug insns.
      * function.h (struct emit_status): Add x_cur_debug_insn_uid.
      * print-rtl.h: Include cselib.h.
      (print_rtx): Print VALUEs.  Split out and recurse for
      VAR_LOCATIONs.
      * df.h (df_inns_rescan_debug_internal): Declare.
      * gcse.c (alloc_hash_table): Estimate n_insns.
      (cprop_insn): Don't regard debug insns as changes.
      (bypass_conditional_jumps): Skip debug insns.
      (one_pre_gcse_pass): Adjust.
      (one_code_hoisting_pass): Likewise.
      (compute_ld_motion_mems): Skip debug insns.
      (one_cprop_pass): Adjust.
      * tree-if-conv.c (tree_if_convert_stmt): Reset debug stmts.
      (if_convertible_stmt_p): Handle debug stmts.
      * init-regs.c (initialize_uninitialized_regs): Skip debug insns.
      * tree-vect-loop.c (vect_is_simple_reduction): Skip debug stmts.
      * ira-build.c (create_bb_allocnos): Skip debug insns.
      * tree-flow-inline.h (has_zero_uses): Discount debug stmts.
      (has_single_use): Likewise.
      (single_imm_use): Likewise.
      (num_imm_uses): Likewise.
      * tree-ssa-phiopt.c (empty_block_p): Skip debug stmts.
      * tree-ssa-coalesce.c (build_ssa_conflict_graph): Skip debug stmts.
      (create_outofssa_var_map): Likewise.
      * lower-subreg.c (adjust_decomposed_uses): New.
      (resolve_debug): New.
      (decompose_multiword_subregs): Use it.
      * tree-dfa.c (find_referenced_vars): Skip debug stmts.
      * emit-rtl.c: Include params.h.
      (cur_debug_insn_uid): Define.
      (set_new_first_and_last_insn): Set cur_debug_insn_uid too.
      (copy_rtx_if_shared_1): Handle debug insns.
      (reset_used_flags): Likewise.
      (set_used_flags): LIkewise.
      (get_max_insn_count): New.
      (next_nondebug_insn): New.
      (prev_nondebug_insn): New.
      (make_debug_insn_raw): New.
      (emit_insn_before_noloc): Handle debug insns.
      (emit_jump_insn_before_noloc): Likewise.
      (emit_call_insn_before_noloc): Likewise.
      (emit_debug_insn_before_noloc): New.
      (emit_insn_after_noloc): Handle debug insns.
      (emit_jump_insn_after_noloc): Likewise.
      (emit_call_insn_after_noloc): Likewise.
      (emit_debug_insn_after_noloc): Likewise.
      (emit_insn_after): Take loc from earlier non-debug insn.
      (emit_jump_insn_after): Likewise.
      (emit_call_insn_after): Likewise.
      (emit_debug_insn_after_setloc): New.
      (emit_debug_insn_after): New.
      (emit_insn_before): Take loc from later non-debug insn.
      (emit_jump_insn_before): Likewise.
      (emit_call_insn_before): Likewise.
      (emit_debug_insn_before_setloc): New.
      (emit_debug_insn_before): New.
      (emit_insn): Handle debug insns.
      (emit_debug_insn): New.
      (emit_jump_insn): Handle debug insns.
      (emit_call_insn): Likewise.
      (emit): Likewise.
      (init_emit): Take min-nondebug-insn-uid into account.
      Initialize cur_debug_insn_uid.
      (emit_copy_of_insn_after): Handle debug insns.
      * cfgexpand.c (gimple_assign_rhs_to_tree): Do not overwrite
      location of single rhs in place.
      (maybe_dump_rtl_for_gimple_stmt): Dump lineno.
      (floor_sdiv_adjust): New.
      (cell_sdiv_adjust): New.
      (cell_udiv_adjust): New.
      (round_sdiv_adjust): New.
      (round_udiv_adjust): New.
      (wrap_constant): Moved from cselib.
      (unwrap_constant): New.
      (expand_debug_expr): New.
      (expand_debug_locations): New.
      (expand_gimple_basic_block): Drop hiding redeclaration.  Expand
      debug bind stmts.
      (gimple_expand_cfg): Expand debug locations.
      * cselib.c: Include tree-pass.h.
      (struct expand_value_data): New.
      (cselib_record_sets_hook): New.
      (PRESERVED_VALUE_P, LONG_TERM_PRESERVED_VALUE_P): New.
      (cselib_clear_table): Move, and implemnet in terms of...
      (cselib_reset_table_with_next_value): ... this.
      (cselib_get_next_unknown_value): New.
      (discard_useless_locs): Don't discard preserved values.
      (cselib_preserve_value): New.
      (cselib_preserved_value_p): New.
      (cselib_preserve_definitely): New.
      (cselib_clear_preserve): New.
      (cselib_preserve_only_values): New.
      (new_cselib_val): Take rtx argument.  Dump it in details.
      (cselib_lookup_mem): Adjust.
      (expand_loc): Take regs_active in struct.  Adjust.  Silence
      dumps unless details are requested.
      (cselib_expand_value_rtx_cb): New.
      (cselib_expand_value_rtx): Rename and reimplment in terms of...
      (cselib_expand_value_rtx_1): ... this.  Adjust.  Silence dumps
      without details.  Copy more subregs.  Try to resolve values
      using a callback.  Wrap constants.
      (cselib_subst_to_values): Adjust.
      (cselib_log_lookup): New.
      (cselib_lookup): Call it.
      (cselib_invalidate_regno): Don't count preserved values as
      useless.
      (cselib_invalidate_mem): Likewise.
      (cselib_record_set): Likewise.
      (struct set): Renamed to cselib_set, moved to cselib.h.
      (cselib_record_sets): Adjust.  Call hook.
      (cselib_process_insn): Reset table when it would be cleared.
      (dump_cselib_val): New.
      (dump_cselib_table): New.
      * tree-cfgcleanup.c (tree_forwarded_block_p): Skip debug stmts.
      (remove_forwarder_block): Support moving debug stmts.
      * cselib.h (cselib_record_sets_hook): Declare.
      (cselib_expand_callback): New type.
      (cselib_expand_value_rtx_cb): Declare.
      (cselib_reset_table_with_next_value): Declare.
      (cselib_get_next_unknown_value): Declare.
      (cselib_preserve_value): Declare.
      (cselib_preserved_value_p): Declare.
      (cselib_preserve_only_values): Declare.
      (dump_cselib_table): Declare.
      * cfgcleanup.c (flow_find_cross_jump): Skip debug insns.
      (try_crossjump_to_edge): Likewise.
      (delete_unreachable_blocks): Remove dominant GIMPLE blocks after
      dominated blocks when debug stmts are present.
      * simplify-rtx.c (delegitimize_mem_from_attrs): New.
      * tree-ssa-live.c (remove_unused_locals): Skip debug stmts.
      (set_var_live_on_entry): Likewise.
      * loop-invariant.c (find_invariants_bb): Skip debug insns.
      * cfglayout.c (curr_location, last_location): Make static.
      (set_curr_insn_source_location): Don't avoid bouncing.
      (get_curr_insn_source_location): New.
      (get_curr_insn_block): New.
      (duplicate_insn_chain): Handle debug insns.
      * tree-ssa-forwprop.c (forward_propagate_addr_expr): Propagate
      into debug stmts.
      * common.opt (fcompare-debug): Move to sort order.
      (fdump-unnumbered-links): Likewise.
      (fvar-tracking-assignments): New.
      (fvar-tracking-assignments-toggle): New.
      * tree-ssa-dce.c (mark_stmt_necessary): Don't mark blocks
      because of debug stmts.
      (mark_stmt_if_obviously_necessary): Mark debug stmts.
      (eliminate_unnecessary_stmts): Walk dominated blocks before
      dominators.
      * tree-ssa-ter.c (find_replaceable_in_bb): Skip debug stmts.
      * ira.c (memref_used_between_p): Skip debug insns.
      (update_equiv_regs): Likewise.
      * sched-deps.c (sd_lists_size): Accept empty list.
      (sd_init_insn): Mark debug insns.
      (sd_finish_insn): Unmark them.
      (sd_add_dep): Reject non-debug deps on debug insns.
      (fixup_sched_groups): Give debug insns group treatment.
      Skip debug insns.
      (sched_analyze_reg): Don't mark debug insns for sched before call.
      (sched_analyze_2): Handle debug insns.
      (sched_analyze_insn): Compute next non-debug insn.  Handle debug
      insns.
      (deps_analyze_insn): Handle debug insns.
      (deps_start_bb): Skip debug insns.
      (init_deps): Initialize last_debug_insn.
      * tree-ssa.c (target_for_debug_bind): New.
      (find_released_ssa_name): New.
      (propagate_var_def_into_debug_stmts): New.
      (propagate_defs_into_debug_stmts): New.
      (verify_ssa): Skip debug bind stmts without values.
      (warn_uninialized_vars): Skip debug stmts.
      * target-def.h (TARGET_DELEGITIMIZE_ADDRESS): Set default.
      * rtl.c (rtx_equal_p_cb): Handle VALUEs.
      (rtx_equal_p): Likewise.
      * ira-costs.c (scan_one_insn): Skip debug insns.
      (process_bb_node_for_hard_reg_moves): Likewise.
      * rtl.h (DEBUG_INSN_P): New.
      (NONDEBUG_INSN_P): New.
      (MAY_HAVE_DEBUG_INSNS): New.
      (INSN_P): Accept debug insns.
      (RTX_FRAME_RELATED_P): Likewise.
      (INSN_DELETED_P): Likewise
      (PAT_VAR_LOCATION_DECL): New.
      (PAT_VAR_LOCATION_LOC): New.
      (PAT_VAR_OCATION_STATUS): New.
      (NOTE_VAR_LOCATION_DECL): Reimplement.
      (NOTE_VAR_LOCATION_LOC): Likewise.
      (NOTE_VAR_LOCATION_STATUS): Likewise.
      (INSN_VAR_LOCATION): New.
      (INSN_VAR_LOCATION_DECL): New.
      (INSN_VAR_LOCATION_LOC): New.
      (INSN_VAR_LOCATION_STATUS): New.
      (gen_rtx_UNKNOWN_VAR_LOC): New.
      (VAR_LOC_UNKNOWN_P): New.
      (NOTE_DURING_CALL_P): New.
      (SCHED_GROUP_P): Accept debug insns.
      (emit_debug_insn_before): Declare.
      (emit_debug_insn_before_noloc): Declare.
      (emit_debug_insn_beore_setloc): Declare.
      (emit_debug_insn_after): Declare.
      (emit_debug_insn_after_noloc): Declare.
      (emit_debug_insn_after_setloc): Declare.
      (emit_debug_insn): Declare.
      (make_debug_insn_raw): Declare.
      (prev_nondebug_insn): Declare.
      (next_nondebug_insn): Declare.
      (delegitimize_mem_from_attrs): Declare.
      (get_max_insn_count): Declare.
      (wrap_constant): Declare.
      (unwrap_constant): Declare.
      (get_curr_insn_source_location): Declare.
      (get_curr_insn_block): Declare.
      * tree-inline.c (insert_debug_decl_map): New.
      (processing_debug_stmt): New.
      (remap_decl): Don't create new mappings in debug stmts.
      (remap_gimple_op_r): Don't add references in debug stmts.
      (copy_tree_body_r): Likewise.
      (remap_gimple_stmt): Handle debug bind stmts.
      (copy_bb): Skip debug stmts.
      (copy_edges_for_bb): Likewise.
      (copy_debug_stmt): New.
      (copy_debug_stmts): New.
      (copy_body): Copy debug stmts at the end.
      (insert_init_debug_bind): New.
      (insert_init_stmt): Take id.  Skip and emit debug stmts.
      (setup_one_parameter): Remap variable earlier, register debug
      mapping.
      (estimate_num_insns): Skip debug stmts.
      (expand_call_inline): Preserve debug_map.
      (optimize_inline_calls): Check for no debug_stmts left-overs.
      (unsave_expr_now): Preserve debug_map.
      (copy_gimple_seq_and_replace_locals): Likewise.
      (tree_function_versioning): Check for no debug_stmts left-overs.
      Init and destroy debug_map as needed.  Split edges unconditionally.
      (build_duplicate_type): Init and destroy debug_map as needed.
      * tree-inline.h: Include gimple.h instead of pointer-set.h.
      (struct copy_body_data): Add debug_stmts and debug_map.
      * sched-int.h (struct ready_list): Add n_debug.
      (struct deps): Add last_debug_insn.
      (DEBUG_INSN_SCHED_P): New.
      (BOUNDARY_DEBUG_INSN_P): New.
      (SCHEDULE_DEBUG_INSN_P): New.
      (sd_iterator_cond): Accept empty list.
      * combine.c (create_log_links): Skip debug insns.
      (combine_instructions): Likewise.
      (cleanup_auto_inc_dec): New.  From Jakub Jelinek: Make sure the
      return value is always unshared.
      (struct rtx_subst_pair): New.
      (auto_adjust_pair): New.
      (propagate_for_debug_subst): New.
      (propagate_for_debug): New.
      (try_combine): Skip debug insns.  Propagate removed defs into
      debug insns.
      (next_nonnote_nondebug_insn): New.
      (distribute_notes): Use it.  Skip debug insns.
      (distribute_links): Skip debug insns.
      * tree-outof-ssa.c (set_location_for_edge): Likewise.
      * resource.c (mark_target_live_regs): Likewise.
      * var-tracking.c: Include cselib.h and target.h.
      (enum micro_operation_type): Add MO_VAL_USE, MO_VAL_LOC, and
      MO_VAL_SET.
      (micro_operation_type_name): New.
      (enum emit_note_where): Add EMIT_NOTE_AFTER_CALL_INSN.
      (struct micro_operation_def): Update comments.
      (decl_or_value): New type.  Use instead of decls.
      (struct emit_note_data_def): Add vars.
      (struct attrs_def): Use decl_or_value.
      (struct variable_tracking_info_def): Add permp, flooded.
      (struct location_chain_def): Update comment.
      (struct variable_part_def): Use decl_or_value.
      (struct variable_def): Make var_part a variable length array.
      (valvar_pool): New.
      (scratch_regs): New.
      (cselib_hook_called): New.
      (dv_is_decl_p): New.
      (dv_is_value_p): New.
      (dv_as_decl): New.
      (dv_as_value): New.
      (dv_as_opaque): New.
      (dv_onepart_p): New.
      (dv_pool): New.
      (IS_DECL_CODE): New.
      (check_value_is_not_decl): New.
      (dv_from_decl): New.
      (dv_from_value): New.
      (dv_htab_hash): New.
      (variable_htab_hash): Use it.
      (variable_htab_eq): Support values.
      (variable_htab_free): Free from the right pool.
      (attrs_list_member, attrs_list_insert): Use decl_or_value.
      (attrs_list_union): Adjust.
      (attrs_list_mpdv_union): New.
      (tie_break_pointers): New.
      (canon_value_cmp): New.
      (unshare_variable): Return possibly-modified slot.
      (vars_copy_1): Adjust.
      (var_reg_decl_set): Adjust.  Split out of...
      (var_reg_set): ... this.
      (get_init_value): Adjust.
      (var_reg_delete_and_set): Adjust.
      (var_reg_delete): Adjust.
      (var_regno_delete): Adjust.
      (var_mem_decl_set): Split out of...
      (var_mem_set): ... this.
      (var_mem_delete_and_set): Adjust.
      (var_mem_delete): Adjust.
      (val_store): New.
      (val_reset): New.
      (val_resolve): New.
      (variable_union): Adjust.  Speed up merge of 1-part vars.
      (variable_canonicalize): Use unshared slot.
      (VALUED_RECURSED_INTO): New.
      (find_loc_in_1pdv): New.
      (struct dfset_merge): New.
      (insert_into_intersection): New.
      (intersect_loc_chains): New.
      (loc_cmp): New.
      (canonicalize_loc_order_check): New.
      (canonicalize_values_mark): New.
      (canonicalize_values_star): New.
      (variable_merge_over_cur): New.
      (variable_merge_over_src): New.
      (dataflow_set_merge): New.
      (dataflow_set_equiv_regs): New.
      (remove_duplicate_values): New.
      (struct dfset_post_merge): New.
      (variable_post_merge_new_vals): New.
      (variable_post_merge_perm_vals): New.
      (dataflow_post_merge_adjust): New.
      (find_mem_expr_in_1pdv): New.
      (dataflow_set_preserve_mem_locs): New.
      (dataflow_set_remove_mem_locs): New.
      (dataflow_set_clear_at_call): New.
      (onepart_variable_different_p): New.
      (variable_different_p): Use it.
      (dataflow_set_different_1): Adjust.  Make detailed dump
      more verbose.
      (track_expr_p): Add need_rtl parameter.  Don't generate rtl
      if not needed.
      (track_loc_p): Pass it true.
      (struct count_use_info): New.
      (find_use_val): New.
      (replace_expr_with_values): New.
      (log_op_type): New.
      (use_type): New, partially split out of...
      (count_uses): ... this.  Count new micro-ops.
      (count_uses_1): Adjust.
      (count_stores): Adjust.
      (count_with_sets): New.
      (VAL_NEEDS_RESOLUTION): New.
      (VAL_HOLDS_TRACK_EXPR): New.
      (VAL_EXPR_IS_COPIED): New.
      (VAL_EXPR_IS_CLOBBERED): New.
      (add_uses): Adjust.  Generate new micro-ops.
      (add_uses_1): Adjust.
      (add_stores): Generate new micro-ops.
      (add_with_sets): New.
      (find_src_status): Adjust.
      (find_src_set_src): Adjust.
      (compute_bb_dataflow): Use dataflow_set_clear_at_call.
      Handle new micro-ops.  Canonicalize value equivalances.
      (vt_find_locations): Compute total size of hash tables for
      dumping.  Perform merge for var-tracking-assignments.  Don't
      disregard single-block loops.
      (dump_attrs_list): Handle decl_or_value.
      (dump_variable): Take variable.  Deal with decl_or_value.
      (dump_variable_slot): New.
      (dump_vars): Use it.
      (dump_dataflow_sets): Adjust.
      (set_slot_part): New, extended to support one-part variables
      after splitting out of...
      (set_variable_part): ... this.
      (clobber_slot_part): New, split out of...
      (clobber_variable_part): ... this.
      (delete_slot_part): New, split out of...
      (delete_variable_part): .... this.
      (check_wrap_constant): New.
      (vt_expand_loc_callback): New.
      (vt_expand_loc): New.
      (emit_note_insn_var_location): Adjust.  Handle values.  Handle
      EMIT_NOTE_AFTER_CALL_INSN.
      (emit_notes_for_differences_1): Adjust.  Handle values.
      (emit_notes_for_differences_2): Likewise.
      (emit_notes_for_differences): Adjust.
      (emit_notes_in_bb): Take pointer to set.  Emit AFTER_CALL_INSN
      notes.  Adjust.  Handle new micro-ops.
      (vt_add_function_parameters): Adjust.  Create and bind values.
      (vt_initialize): Adjust.  Initialize scratch_regs and
      valvar_pool, flooded and perm..  Initialize and use cselib.  Log
      operations.  Move some code to count_with_sets and add_with_sets.
      (delete_debug_insns): New.
      (vt_debug_insns_local): New.
      (vt_finalize): Release permp, valvar_pool, scratch_regs.  Finish
      cselib.
      (var_tracking_main): If var-tracking-assignments is enabled
      but var-tracking isn't, delete debug insns and leave.  Likewise
      if we exceed limits or fail the stack adjustments tests, and
      after all var-tracking processing.
      More in var-tracking, from Jakub Jelinek <jakub@redhat.com>:
      (dataflow_set): Add traversed_vars.
      (value_chain, const_value_chain): New typedefs.
      (value_chain_pool, value_chains): New variables.
      (value_chain_htab_hash, value_chain_htab_eq, add_value_chain,
      add_value_chains, add_cselib_value_chains, remove_value_chain,
      remove_value_chains, remove_cselib_value_chains): New functions.
      (shared_hash_find_slot_unshare_1, shared_hash_find_slot_1,
      shared_hash_find_slot_noinsert_1, shared_hash_find_1): New
      static inlines.
      (shared_hash_find_slot_unshare, shared_hash_find_slot,
      shared_hash_find_slot_noinsert, shared_hash_find): Update.
      (dst_can_be_shared): New variable.
      (unshare_variable): Unshare set->vars if shared, use shared_hash_*.
      Clear dst_can_be_shared.  If set->traversed_vars is non-NULL and
      different from set->vars, look up slot again instead of using the
      passed in slot.
      (dataflow_set_init): Initialize traversed_vars.
      (variable_union): Use shared_hash_*.  Use initially NO_INSERT
      lookup if set->vars is shared.  Don't keep slot cleared before
      calling unshare_variable.  Unshare set->vars if needed.  Adjust
      unshare_variable callers.  Clear dst_can_be_shared if needed.
      Even ->refcount == 1 vars must be unshared if set->vars is shared
      and var needs to be modified.
      (dataflow_set_union): Set traversed_vars during canonicalization.
      (VALUE_CHANGED, DECL_CHANGED): Define.
      (set_dv_changed, dv_changed_p): New static inlines.
      (track_expr_p): Clear DECL_CHANGED.
      (dump_dataflow_sets): Set it.
      (variable_was_changed): Call set_dv_changed.
      (emit_note_insn_var_location): Likewise.
      (changed_variables_stack): New variable.
      (check_changed_vars_1, check_changed_vars_2): New functions.
      (emit_notes_for_changes): Do nothing if changed_variables is
      empty.  Traverse changed_variables with check_changed_vars_1,
      call check_changed_vars_2 on each changed_variables_stack entry.
      (emit_notes_in_bb): Add SET argument.  Just clear it at the
      beginning, use it instead of local &set, don't destroy it at the
      end.
      (vt_emit_notes): Call dataflow_set_clear early on all
      VTI(bb)->out sets, never use them, instead use emit_notes_in_bb
      computed set, dataflow_set_clear also VTI(bb)->in when we are
      done with the basic block.  Initialize changed_variables_stack,
      free it afterwards.  If ENABLE_CHECKING verify that after noting
      differences to an empty set value_chains hash table is empty.
      (vt_initialize): Initialize value_chains and value_chain_pool.
      (vt_finalize): Delete value_chains htab, free value_chain_pool.
      (variable_tracking_main): Call dump_dataflow_sets before calling
      vt_emit_notes, not after it.
      * tree-flow.h (propagate_defs_into_debug_stmts): Declare.
      (propagate_var_def_into_debug_stmts): Declare.
      * df-problems.c (df_lr_bb_local_compute): Skip debug insns.
      (df_set_note): Reject debug insns.
      (df_whole_mw_reg_dead_p): Take added_notes_p argument.  Don't
      add notes to debug insns.
      (df_note_bb_compute): Adjust.  Likewise.
      (df_simulate_uses): Skip debug insns.
      (df_simulate_initialize_backwards): Likewise.
      * reg-stack.c (subst_stack_regs_in_debug_insn): New.
      (subst_stack_regs_pat): Reject debug insns.
      (convert_regs_1): Handle debug insns.
      * Makefile.in (TREE_INLINE_H): Take pointer-set.h from GIMPLE_H.
      (print-rtl.o): Depend on cselib.h.
      (cselib.o): Depend on TREE_PASS_H.
      (var-tracking.o): Depend on cselib.h and TARGET_H.
      * sched-rgn.c (rgn_estimate_number_of_insns): Discount
      debug insns.
      (init_ready_list): Skip boundary debug insns.
      (add_branch_dependences): Skip debug insns.
      (free_block_dependencies): Check for blocks with only debug
      insns.
      (compute_priorities): Likewise.
      * gimple.c (gss_for_code): Handle GIMPLE_DEBUG.
      (gimple_build_with_ops_stat): Take subcode as unsigned.  Adjust
      all callers.
      (gimple_build_debug_bind_stat): New.
      (empty_body_p): Skip debug stmts.
      (gimple_has_side_effects): Likewise.
      (gimple_rhs_has_side_effects): Likewise.
      * gimple.h (enum gimple_debug_subcode, GIMPLE_DEBUG_BIND): New.
      (gimple_build_debug_bind_stat): Declare.
      (gimple_build_debug_bind): Define.
      (is_gimple_debug): New.
      (gimple_debug_bind_p): New.
      (gimple_debug_bind_get_var): New.
      (gimple_debug_bind_get_value): New.
      (gimple_debug_bind_get_value_ptr): New.
      (gimple_debug_bind_set_var): New.
      (gimple_debug_bind_set_value): New.
      (GIMPLE_DEBUG_BIND_NOVALUE): New internal temporary macro.
      (gimple_debug_bind_reset_value): New.
      (gimple_debug_bind_has_value_p): New.
      (gsi_next_nondebug): New.
      (gsi_prev_nondebug): New.
      (gsi_start_nondebug_bb): New.
      (gsi_last_nondebug_bb): New.
      * sched-vis.c (print_pattern): Handle VAR_LOCATION.
      (print_insn): Handle DEBUG_INSN.
      * tree-cfg.c (remove_bb): Walk stmts backwards.  Let loc
      of first insn prevail.
      (first_stmt): Skip debug stmts.
      (first_non_label_stmt): Likewise.
      (last_stmt): Likewise.
      (has_zero_uses_1): New.
      (single_imm_use_1): New.
      (verify_gimple_debug): New.
      (verify_types_in_gimple_stmt): Handle debug stmts.
      (verify_stmt): Likewise.
      (debug_loop_num): Skip debug stmts.
      (remove_edge_and_dominated_blocks): Remove dominators last.
      * tree-ssa-reasssoc.c (rewrite_expr_tree): Propagate into
      debug stmts.
      (linearize_expr): Likewise.
      * config/i386/i386.c (ix86_delegitimize_address): Call
      default implementation.
      * config/ia64/ia64.c (ia64_safe_itanium_class): Handle debug
      insns.
      (group_barrier_needed): Skip debug insns.
      (emit_insn_group_barriers): Likewise.
      (emit_all_insn_group_barriers): Likewise.
      (ia64_variable_issue): Handle debug insns.
      (ia64_dfa_new_cycle): Likewise.
      (final_emit_insn_group_barriers): Skip debug insns.
      (ia64_dwarf2out_def_steady_cfa): Take frame argument.  Don't
      def cfa without frame.
      (process_set): Likewise.
      (process_for_unwind_directive): Pass frame on.
      * config/rs6000/rs6000.c (TARGET_DELEGITIMIZE_ADDRESS): Define.
      (rs6000_delegitimize_address): New.
      (rs6000_debug_adjust_cost): Handle debug insns.
      (is_microcoded_insn): Likewise.
      (is_cracked_insn): Likewise.
      (is_nonpipeline_insn): Likewise.
      (insn_must_be_first_in_group): Likewise.
      (insn_must_be_last_in_group): Likewise.
      (force_new_group): Likewise.
      * cfgrtl.c (rtl_split_block): Emit INSN_DELETED note if block
      contains only debug insns.
      (rtl_merge_blocks): Skip debug insns.
      (purge_dead_edges): Likewise.
      (rtl_block_ends_with_call_p): Skip debug insns.
      * dce.c (deletable_insn_p): Handle VAR_LOCATION.
      (mark_reg_dependencies): Skip debug insns.
      * params.def (PARAM_MIN_NONDEBUG_INSN_UID): New.
      * tree-ssanames.c (release_ssa_name): Propagate def into
      debug stmts.
      * tree-ssa-threadedge.c
      (record_temporary_equivalences_from_stmts): Skip debug stmts.
      * regcprop.c (replace_oldest_value_addr): Skip debug insns.
      (replace_oldest_value_mem): Use ALL_REGS for debug insns.
      (copyprop_hardreg_forward_1): Handle debug insns.
      * reload1.c (reload): Skip debug insns.  Replace unassigned
      pseudos in debug insns with their equivalences.
      (eliminate_regs_in_insn): Skip debug insns.
      (emit_input_reload_insns): Skip debug insns at first, adjust
      them later.
      * tree-ssa-operands.c (add_virtual_operand): Reject debug stmts.
      (get_indirect_ref_operands): Pass opf_no_vops on.
      (get_expr_operands): Likewise.  Skip debug stmts.
      (parse_ssa_operands): Scan debug insns with opf_no_vops.
      gcc/testsuite/ChangeLog:
      * gcc.dg/guality/guality.c: New.
      * gcc.dg/guality/guality.h: New.
      * gcc.dg/guality/guality.exp: New.
      * gcc.dg/guality/example.c: New.
      * lib/gcc-dg.exp (cleanup-dump): Remove .gk files.
      (cleanup-saved-temps): Likewise, .gkd files too.
      gcc/cp/ChangeLog:
      * cp-tree.h (TFF_NO_OMIT_DEFAULT_TEMPLATE_ARGUMENTS): New.
      * cp-lang.c (cxx_dwarf_name): Pass it.
      * error.c (count_non_default_template_args): Take flags as
      argument.  Adjust all callers.  Skip counting of default
      arguments if the new flag is given.
      ChangeLog:
      * Makefile.tpl (BUILD_CONFIG): Default to bootstrap-debug.
      * Makefile.in: Rebuilt.
      contrib/ChangeLog:
      * compare-debug: Look for .gkd files and compare them.
      config/ChangeLog:
      * bootstrap-debug.mk: Add comments.
      * bootstrap-debug-big.mk: New.
      * bootstrap-debug-lean.mk: New.
      * bootstrap-debug-ckovw.mk: Add comments.
      * bootstrap-debug-lib.mk: Drop CFLAGS for stages.  Use -g0
      for TFLAGS in stage1.  Drop -fvar-tracking-assignments-toggle.
      
      From-SVN: r151312
      Alexandre Oliva committed
  32. 22 Apr, 2009 1 commit
    • hashtab.h: Update GTY annotations to new syntax · d1b38208
      2009-04-21  Taras Glek <tglek@mozilla.com>
      
      	* include/hashtab.h: Update GTY annotations to new syntax
      	* include/splay-tree.h: Likewise
      
      
      gcc/ChangeLog
      
      2009-04-21  Taras Glek <tglek@mozilla.com>
      
      	* alias.c: Update GTY annotations to new syntax
      	* basic-block.h: Likewise
      	* bitmap.h: Likewise
      	* c-common.h: Likewise
      	* c-decl.c: Likewise
      	* c-parser.c: Likewise
      	* c-pragma.c: Likewise
      	* c-tree.h: Likewise
      	* cfgloop.h: Likewise
      	* cgraph.h: Likewise
      	* config/alpha/alpha.c: Likewise
      	* config/arm/arm.h: Likewise
      	* config/avr/avr.h: Likewise
      	* config/bfin/bfin.c: Likewise
      	* config/cris/cris.c: Likewise
      	* config/darwin.c: Likewise
      	* config/frv/frv.c: Likewise
      	* config/i386/i386.c: Likewise
      	* config/i386/i386.h: Likewise
      	* config/i386/winnt.c: Likewise
      	* config/ia64/ia64.h: Likewise
      	* config/iq2000/iq2000.c: Likewise
      	* config/mips/mips.c: Likewise
      	* config/mmix/mmix.h: Likewise
      	* config/pa/pa.c: Likewise
      	* config/pa/pa.h: Likewise
      	* config/rs6000/rs6000.c: Likewise
      	* config/s390/s390.c: Likewise
      	* config/sparc/sparc.c: Likewise
      	* config/xtensa/xtensa.c: Likewise
      	* cselib.h: Likewise
      	* dbxout.c: Likewise
      	* dwarf2out.c: Likewise
      	* except.c: Likewise
      	* except.h: Likewise
      	* fixed-value.h: Likewise
      	* function.c: Likewise
      	* function.h: Likewise
      	* gimple.h: Likewise
      	* integrate.c: Likewise
      	* optabs.c: Likewise
      	* output.h: Likewise
      	* real.h: Likewise
      	* rtl.h: Likewise
      	* stringpool.c: Likewise
      	* tree-data-ref.c: Likewise
      	* tree-flow.h: Likewise
      	* tree-scalar-evolution.c: Likewise
      	* tree-ssa-address.c: Likewise
      	* tree-ssa-alias.h: Likewise
      	* tree-ssa-operands.h: Likewise
      	* tree.c: Likewise
      	* tree.h: Likewise
      	* varasm.c: Likewise
      	* varray.h: Likewise
      	* vec.h: Likewise
      	* coretypes.h: Do not define GTY macro if it is already defined
      	* doc/gty.texi: Update GTY documentation to new syntax
      	* gengtype-lex.l: Enforce attribute-like syntax for GTY annotations on structs
      	* gengtype-parse.c: Likewise
      
      
      gcc/ada/ChangeLog
      
      2009-04-21  Taras Glek <tglek@mozilla.com>
      
      	* gcc-interface/ada-tree.h: Update GTY annotations to new syntax
      	* gcc-interface/trans.c: Likewise
      	* gcc-interface/utils.c: Likewise
      
      
      gcc/cp/ChangeLog
      
      2009-04-21  Taras Glek <tglek@mozilla.com>
      
      	* cp-tree.h: Update GTY annotations to new syntax
      	* decl.c: Likewise
      	* mangle.c: Likewise
      	* name-lookup.c: Likewise
      	* name-lookup.h: Likewise
      	* parser.c: Likewise
      	* pt.c: Likewise
      	* rtti.c: Likewise
      	* semantics.c: Likewise
      	* typeck2.c: Likewise
      
      
      gcc/fortran/ChangeLog
      
      2009-04-21  Taras Glek <tglek@mozilla.com>
      
      	* f95-lang.c: Update GTY annotations to new syntax
      	* trans-intrinsic.c: Likewise
      	* trans-io.c: Likewise
      	* trans.h: Likewise
      
      
      gcc/java/ChangeLog
      
      2009-04-21  Taras Glek <tglek@mozilla.com>
      
      	* builtins.c: Update GTY annotations to new syntax
      	* decl.c: Likewise
      	* java-tree.h: Likewise
      	* jcf.h: Likewise
      	* lang.c: Likewise
      
      
      gcc/objc/ChangeLog
      
      2009-04-21  Taras Glek <tglek@mozilla.com>
      
      	* objc-act.c: Update GTY annotations to new syntax
      	* objc-act.h: Likewise
      
      
      libcpp/ChangeLog
      
      2009-04-21  Taras Glek <tglek@mozilla.com>
      
      	* include/cpp-id-data.h: Update GTY annotations to new syntax
      	* include/cpplib.h: Likewise
      	* include/line-map.h: Likewise
      	* include/symtab.h: Likewise
      
      From-SVN: r146607
      Taras Glek committed
  33. 20 Feb, 2009 1 commit
  34. 17 Jun, 2008 1 commit
    • Remove libcall notes. · 4a8cae83
      	* see.c (see_analyse_one_def): Do not look for REG_LIBCALL and
      	REG_RETVAL notes.
      	(see_update_relevancy): Likewise.
      	* fwprop.c (try_fwprop_subst): Likewise.
      	* rtlanal.c (noop_move_p): Likewise.
      	* builtins.c (expand_buitlin_mathfn): Don't try to add REG_EQUAL
      	notes to non-existing libcall blocks.
      	* cse.c (cse_insn): Change prototype.  Don't update libcall notes.
      	Remove orig_set.
      	(cse_extended_basic_block): Don't track libcall and no-conflict notes.
      	(dead_libcall_p): Remove.
      	(delete_trivially_dead_insns): Don't use it.
      	* web.c (union_defs): Remove comment about keeping nops.
      	* gcse.c (hash_scan_insn): Don't take libcall pointers.
      	(compute_hash_table_work): Don't track libcall notes.
      	(do_local_cprop): Don't take libcall pointers.  Don't update
      	libcall notes.
      	(adjust_libcall_notes): Deleted.
      	(local_cprop_pass): Remove stack for nested libcalls (which shouldn't
      	ever have existed in the first place).
      	(replace_store_insn): Don't try to remove libcall notes.
      	* lower-subreg.c (move_libcall_note, move_retval_note): Deleted.
      	(resolve_reg_notes): Don't call them.
      	(resolve_simple_move): Likewise.
      	(decompose_multiword_subregs): Remove block handling REG_RETVAL notes.
      	Don't remove REG_RETVAL notes.
      	* emit-rtl.c (try_split): Don't update libcall notes.
      	(emit_copy_of_insn_after): Dito.
      	* cselib.c (cselib_current_insn_in_libcall): Remove.
      	(cselib_process_insn): Don't set/clear it.
      	(new_elt_loc_list): Don't record it.
      	(cselib_init): Don't initialize it.
      	* cselib.c (struct elt_loc_list): Remove in_libcall field.
      	* loop-invariant.c (find_invariant_insn): Don't look for libcall
      	notes.
      	* sched-deps.c (sched_analyze_insn): Don't group libcall blocks.
      	(sched_analyze): Don't set up deps->libcall_block_tail_insn.
      	(init_deps): Don't initialize it.
      	* sched-int.h (struct deps): Rremove libcall_block_tail_insn field.
      	* combine.c (delete_noop_moves): Don't update libcall notes.
      	(can_combine_p): Remove now pointless #if 0 block.
      	(try_combine): Remove another obsolete #if 0 block.
      	(distribute_notes): Don't distribute libcall notes.
      	* reg-notes.def (REG_LIBCALL, REG_RETVAL): Remove.
      	* dce.c (libcall_dead_p): Remove.
      	(delete_unmarked_insns): Don't handle libcall blocks.
      	(preserve_libcall_for_dce): Remove.
      	(prescan_insns_for_dce): Don't special-case libcall block insns.
      	* reload1 (reload): Don't handle libcall notes. 
      	* doc/rtl.texi (REG_LIBCALL, REG_RETVAL, REG_LIBCALL_ID): Remove
      	documentation.
      
      From-SVN: r136861
      Steven Bosscher committed
  35. 30 Jul, 2007 1 commit
    • alias.c (mems_in_disjoint_alias_sets_p, [...]): Constify. · 4f588890
      	* alias.c (mems_in_disjoint_alias_sets_p,
      	fixed_scalar_and_varying_struct_p, aliases_everything_p,
      	nonoverlapping_component_refs_p, nonoverlapping_memrefs_p,
      	write_dependence_p, mems_in_disjoint_alias_sets_p,
      	read_dependence, true_dependence, canon_true_dependence,
      	anti_dependence, output_dependence): Constify.
      	* combine.c (extended_count): Likewise.
      	* cse.c (cse_rtx_varies_p, hash_rtx, exp_equiv_p): Likewise.
      	* cselib.c (get_value_hash, references_value_p,
      	cselib_reg_set_mode, cselib_rtx_varies_p): Likewise.
      	* cselib.h (cselib_reg_set_mode, references_value_p): Likewise.
      	* emit-rtl.c (mem_expr_equal_p, active_insn_p): Likewise.
      	* function.c (contains, prologue_epilogue_contains,
      	sibcall_epilogue_contains): Likewise. 
      	* jump.c (simplejump_p, condjump_p, condjump_in_parallel_p,
      	pc_set, any_uncondjump_p, any_condjump_p, onlyjump_p,
      	only_sets_cc0_p, sets_cc0_p, rtx_renumbered_equal_p, true_regnum,
      	reg_or_subregno): Likewise.
      	* recog.c (asm_noperands): Likewise.
      	* reload1.c (function_invariant_p): Likewise.
      	* rtl.h (mem_expr_equal_p, active_insn_p, rtx_varies_p,
      	rtx_addr_varies_p, asm_noperands, exp_equiv_p, hash_rtx,
      	condjump_p, any_condjump_p, any_uncondjump_p, pc_set,
      	simplejump_p, onlyjump_p, only_sets_cc0_p, sets_cc0_p,
      	true_regnum, reg_or_subregno, condjump_in_parallel_p,
      	extended_count, prologue_epilogue_contains,
      	sibcall_epilogue_contains, function_invariant_p, true_dependence,
      	canon_true_dependence, read_dependence, anti_dependence,
      	output_dependence): Likewise.
      	* rtlanal.c (rtx_varies_p, rtx_addr_varies_p): Likewise.
      
      java:
      	* jcf-io.c (find_class): Fix -Wcast-qual warnings.
      
      From-SVN: r127063
      Kaveh R. Ghazi committed
  36. 26 Jul, 2007 1 commit
  37. 11 Jun, 2007 1 commit