2013-01-13 Uros Bizjak * config/i386/sync.md (mem_thread_fence): Mask operands[0] with MEMMODEL_MASK to determine memory model. (atomic_store): Ditto from operands[2]. * config/i386/i386.c (ix86_memmodel_check): Declare "strong" as bool. 2013-01-13 Jakub Jelinek PR fortran/55935 * gimple-fold.c (get_symbol_constant_value): Call unshare_expr. (fold_gimple_assign): Don't call unshare_expr here. (fold_ctor_reference): Call unshare_expr. 2013-01-13 Terry Guo * gcc/Makefile.in (s-mlib): New argument MULTILIB_REUSE. * gcc/doc/fragments.texi: Document MULTILIB_REUSE. * gcc/gcc.c (multilib_reuse): New internal spec. (set_multilib_dir): Also search multilib from multilib_reuse. * gcc/genmultilib (tmpmultilib3): Refactor code. (tmpmultilib4): Ditto. (multilib_reuse): New multilib argument. 2013-01-13 Richard Sandiford * Makefile.in: Update copyright. 2013-01-12 Tom de Vries PR middle-end/55890 * calls.c (expand_call): Check if arg_nr is valid. 2013-01-11 Michael Meissner * doc/extend.texi (X86 Built-in Functions): Add whitespace in __builtin_ia32_paddb256 and __builtin_ia32_pavgb256 documentation. Add missing '__' in front of __builtin_ia32_packssdw256. 2013-01-11 Andreas Krebbel PR target/55719 * config/s390/s390.c (s390_preferred_reload_class): Do not return NO_REGS for larl operands. (s390_reload_larl_operand): Use s390_load_address instead of emit_move_insn. 2013-01-11 Richard Biener * tree-cfg.c (verify_node_sharing_1): Split out from ... (verify_node_sharing): ... here. (verify_gimple_in_cfg): Use verify_node_sharing_1 for walk_tree. 2013-01-11 Eric Botcazou * configure.ac (Tree checking): Set TREECHECKING to yes if enabled. Substitute TREECHECKING. * configure: Regenerate. * Makefile.in (TREECHECKING): New. 2012-01-11 Richard Guenther PR tree-optimization/44061 * tree-vrp.c (extract_range_basic): Compute zero as value-range for __builtin_constant_p of function parameters. 2013-01-10 Richard Sandiford Update copyright years. 2013-01-10 Vladimir Makarov PR rtl-optimization/55672 * lra-eliminations.c (mark_not_eliminable): Permit addition with const to be eliminable. 2013-01-10 David Edelsohn * configure.ac (HAVE_AS_TLS): Add check for powerpc-ibm-aix. * configure: Regenerate. 2013-01-10 Richard Biener * builtins.c (expand_builtin_init_trampoline): Use set_mem_attributes. 2013-01-10 Richard Biener PR bootstrap/55792 * tree-into-ssa.c (rewrite_add_phi_arguments): Do not set locations for virtual PHI arguments. (rewrite_update_phi_arguments): Likewise. 2013-01-10 Joel Sherrill * config/v850/rtems.h (ASM_SPEC): Pass -m8byte-align and -mgcc-abi on to assembler. 2013-01-10 Jakub Jelinek PR tree-optimization/55921 * tree-complex.c (expand_complex_asm): New function. (expand_complex_operations_1): Call it for GIMPLE_ASM. 2013-01-10 Andreas Krebbel PR target/55718 * config/s390/s390.c (s390_symref_operand_p) (s390_loadrelative_operand_p): Merge the two functions. (s390_check_qrst_address, print_operand_address): Add parameters to s390_loadrelative_operand_p invokation. (s390_check_symref_alignment): Use s390_loadrelative_operand_p. (s390_reload_larl_operand, s390_secondary_reload): Use s390_loadrelative_operand_p instead of s390_symref_operand_p. (legitimize_pic_address): Handle @GOTENT and @PLT + addend. 2013-01-09 Mike Stump * dse.c (record_store): Remove unnecessary assert. 2013-01-09 Jan Hubicka PR tree-optimization/55569 * cfgloopmanip.c (scale_loop_profile): Make ITERATION_BOUND gcov_type. * cfgloop.h (scale_loop_profile): Likewise. 2013-01-09 Jan Hubicka PR lto/45375 * ipa-inline.c (ipa_inline): Remove extern inlines and virtual functions. * cgraphclones.c (cgraph_clone_node): Cpoy also LTO file data. 2013-01-09 Richard Sandiford PR middle-end/55114 * expr.h (maybe_emit_group_store): Declare. * expr.c (maybe_emit_group_store): New function. * builtins.c (expand_builtin_int_roundingfn): Call it. (expand_builtin_int_roundingfn_2): Likewise. 2013-01-09 Vladimir Makarov PR rtl-optimization/55829 * lra-constraints.c (match_reload): Add code for absent output. (curr_insn_transform): Add code for reloads of matched inputs without output. 2013-01-09 Uros Bizjak * config/i386/sse.md (*vec_interleave_highv2df): Change mode attribute of movddup insn to DF. (*vec_interleave_lowv2df): Ditto. (vec_dupv2df): Ditto. 2013-01-09 Jan Hubicka PR tree-optimiation/55875 * tree-ssa-loop-niter.c (number_of_iterations_cond): Add EVERY_ITERATION parameter. (number_of_iterations_exit): Check if exit is executed every iteration. (idx_infer_loop_bounds): Similarly here. (n_of_executions_at_most): Simplify to only test for cases where statement is dominated by the particular bound; handle correctly the "postdominance" test. (scev_probably_wraps_p): Use max loop iterations info as a global bound first. 2013-01-09 Nguyen Duy Dat Nick Clifton * config/v850/v850.md (cbranchsf4): New pattern. (cstoresf4): New pattern. (cbranchdf4): New pattern. (cstoredf4): New pattern. (movsicc): Disallow floating point comparisons. (cmpsf_le_insn): Fix order of operators. (cmpsf_lt_insn): Likewise. (cmpsf_eq_insn): Likewise. (cmpdf_le_insn): Likewise. (cmpdf_lt_insn): Likewise. (cmpdf_eq_insn): Likewise. (cmpsf_ge_insn): Use LE comparison. (cmpdf_ge_insn): Likewise. (cmpsf_gt_insn): Use LT comparison. (cmpdf_gt_insn): Likewise. (cmpsf_ne_insn): Delete pattern. (cmpdf_ne_insn): Delete pattern. * config/v850/v850.c (v850_gen_float_compare): Use gen_cmpdf_eq_insn for NE comparison. (v850_float_z_comparison_operator) (v850_float_nz_comparison_operator): Move from here ... * config/v850/predicates.md: ... to here. Move GT and GE comparisons into v850_float_z_comparison_operator. * config/v850/v850-protos.h (v850_float_z_comparison_operator): Delete prototype. (v850_float_nz_comparison_operator): Likewise. 2013-01-09 John David Anglin * config/pa/pa.c (pa_emit_move_sequence): Replace calls to gen_insv with calls to gen_insvsi/gen_insvdi. 2013-01-09 Venkataramanan Kumar * config/i386/i386.c (initial_ix86_tune_features): Set up X86_TUNE_AVX128_OPTIMAL for m_BTVER2. 2013-01-09 Steven Bosscher Jakub Jelinek PR tree-optimization/48189 * predict.c (predict_loops): If max is 0, don't call compare_tree_int. If nitercst is 0, don't predict the exit edge. 2013-01-08 Naveen H.S * config/aarch64/aarch64.c (aarch64_print_operand): Replace %r in asm_fprintf with reg_names. (aarch64_print_operand_address): Likewise. (aarch64_return_addr): Likewise. * config/aarch64/aarch64.h (ASM_FPRINTF_EXTENSIONS): Remove. 2013-01-08 John David Anglin * config/pa/pa.h (VAL_U6_BITS_P): Define. (INT_U6_BITS): Likewise. * config/pa/predicates.md (uint6_operand): New predicate. (shift5_operand, shift6_operand): Likewise. * config/pa/pa.md (lshrsi3, rotrsi3): Use shift5_operand instead of arith32_operand. (lshrdi3): Use shift6_operand. (shrpsi4, shrpdi4): New insn patterns. (extzv): Delete expander. (extzvsi, extzvdi): New expanders. Use uint5_operand and uint6_operand predicates in unamed zero extract patterns. Tighten common constraint. (extv): Delete expander. (extvsi, extvdi): New expanders. Use uint5_operand and uint6_operand predicates in unamed sign extract patterns. Tighten common constraint. (insv): Delete expander. (insvsi, insvdi): New expanders. Use uint5_operand and uint6_operand predicates in unamed insert patterns. Tighten common constraint. Change uint32_operand predicate to uint6_operand predicate in unamed DImode pattern to insert constant values of type 1...1xxxx. 2013-01-04 Jan Hubicka PR tree-optimization/55823 * ipa-prop.c (update_indirect_edges_after_inlining): Fix ordering issue. 2012-01-08 Jakub Jelinek Uros Bizjak PR rtl-optimization/55845 * df-problems.c (can_move_insns_across): Stop scanning at volatile_insn_p source instruction or give up if across_from .. across_to range contains any volatile_insn_p instructions. 2013-01-08 Tejas Belagod * config/aarch64/aarch64-simd.md (vec_init): New. * config/aarch64/aarch64-protos.h (aarch64_expand_vector_init): Declare. * config/aarch64/aarch64.c (aarch64_simd_dup_constant, aarch64_simd_make_constant, aarch64_expand_vector_init): New. 2013-01-08 Jakub Jelinek PR fortran/55341 * asan.c (asan_clear_shadow): New function. (asan_emit_stack_protection): Use it. 2013-01-08 Tejas Belagod * config/aarch64/aarch64-simd.md (aarch64_simd_vec_mult_lo_, aarch64_simd_vec_mult_hi_): Separate instruction and operand with tab instead of space. 2013-01-08 Nick Clifton * config/rl78/rl78.c (rl78_expand_prologue): Always select register bank 0 at the start of an interrupt handler. * config/rl78/rl78.md (mulsi3_g13): Correct values for MDBL and MDBH registers. 2013-01-08 James Greenhalgh * config/aarch64/aarch64-simd.md (aarch64_simd_bsl_internal): Add floating-point modes. (aarch64_simd_bsl): Likewise. (aarch64_vcond_internal): Likewise. (vcond): Likewise. (aarch64_cm): Fix constraints, add new modes. * config/aarch64/iterators.md (V_cmp_result): Add V2DF. 2013-01-08 James Greenhalgh * config/aarch64/aarch64-builtins.c (aarch64_builtin_vectorized_function): Handle sqrt, sqrtf. 2013-01-08 Martin Jambor PR debug/55579 * tree-sra.c (analyze_access_subtree): Return true also after potentially creating a debug-only replacement. 2013-01-08 Jakub Jelinek PR middle-end/55890 * tree-ssa-ccp.c (evaluate_stmt): Use gimple_call_builtin_p. PR tree-optimization/54120 * tree-vrp.c (range_fits_type_p): Don't allow src_precision < precision from signed vr to unsigned_p if vr->min or vr->max is negative. (simplify_float_conversion_using_ranges): Test can_float_p against CODE_FOR_nothing. 2013-01-08 Jakub Jelinek Richard Biener PR middle-end/55851 * fold-const.c (int_binop_types_match_p): Allow all INTEGRAL_TYPE_P types instead of just INTEGER_TYPE types. 2013-01-07 Mark Kettenis * config/i386/openbsdelf.h (LIBGCC2_HAS_TF_MODE, LIBGCC2_TF_CEXT, TF_SIZE): Define. 2013-01-07 Steve Ellcey PR target/42661 * config/mips/mips.opt: Change mad to mmad to match documentation. 2013-01-07 Georg-Johann Lay PR target/55897 * doc/extend.texi (AVR Named Address Spaces): __memx goes into .progmemx.data now. 2013-01-07 Georg-Johann Lay PR target/55897 * config/avr/avr.h (ADDR_SPACE_COUNT): New enum. (avr_addrspace_t): Add .section_name field. * config/avr/avr.c (progmem_section): Use ADDR_SPACE_COUNT as array size. (avr_addrspace): Same. Initialize .section_name. Remove last NULL entry. Put __memx into .progmemx.data. (progmem_section_prefix): Remove. (avr_asm_init_sections): No need to initialize progmem_section. (avr_asm_named_section): Use avr_addrspace[].section_name to get section name prefix. (avr_asm_select_section): Ditto. And use get_unnamed_section to retrieve the progmem section. * avr-c.c (avr_cpu_cpp_builtins): Use ADDR_SPACE_COUNT as loop boundary to run over avr_addrspace[]. (avr_register_target_pragmas): Ditto. 2013-01-06 Jakub Jelinek * varasm.c (output_constant_def_contents): For asan_protect_global protected strings, adjust DECL_ALIGN if needed, before testing for anchored symbols. (place_block_symbol): Adjust size for asan protected STRING_CSTs if TREE_CONSTANT_POOL_ADDRESS_P. Increase alignment for asan protected normal decls. (output_object_block): For asan protected decls, emit asan padding after their contents. * asan.c (asan_protect_global): Don't check TREE_ASM_WRITTEN here. (asan_finish_file): Test it here instead. 2013-01-07 Nick Clifton Matthias Klose Doug Kwan H.J. Lu PR driver/55470 * collect2.c (main): Support -fuse-ld=bfd and -fuse-ld=gold. * common.opt: Add fuse-ld=bfd and fuse-ld=gold. * gcc.c (LINK_COMMAND_SPEC): Pass -fuse-ld=* to collect2. * opts.c (comman_handle_option): Ignore -fuse-ld=bfd and -fuse-ld=gold. * doc/invoke.texi: Document -fuse-ld=bfd and -fuse-ld=gold. 2013-01-07 Georg-Johann Lay PR target/54461 * doc/install.texi (Cross-Compiler-Specific Options): Document --with-avrlibc. 2013-01-07 Tejas Belagod * config/aarch64/arm_neon.h (vmovn_high_is16, vmovn_high_s32, vmovn_high_s64, vmovn_high_u16, vmovn_high_u32, vmovn_high_u64, vqmovn_high_s16, vqmovn_high_s32, vqmovn_high_s64, vqmovn_high_u16, vqmovn_high_u32, vqmovn_high_u64, vqmovun_high_s16, vqmovun_high_s32, vqmovun_high_s64): Fix source operand number and update copyright. 2013-01-07 Richard Biener PR middle-end/55890 * gimple.h (gimple_call_builtin_p): New overload. * gimple.c (validate_call): New function. (gimple_call_builtin_p): Likewise. * tree-ssa-structalias.c (find_func_aliases_for_builtin_call): Use gimple_call_builtin_p. (find_func_clobbers): Likewise. * tree-ssa-strlen.c (adjust_last_stmt): Likewise. (strlen_optimize_stmt): Likewise. 2013-01-07 James Greenhalgh * config/aarch64/arm_neon.h (vld1_dup_*): Make argument const. (vld1q_dup_*): Likewise. (vld1_*): Likewise. (vld1q_*): Likewise. (vld1_lane_*): Likewise. (vld1q_lane_*): Likewise. 2013-01-07 Richard Biener * lto-streamer.h (LTO_minor_version): Bump to 2. 2013-01-07 James Greenhalgh * config/aarch64/aarch64-protos.h (aarch64_const_double_zero_rtx_p): Rename to... (aarch64_float_const_zero_rtx_p): ...this. (aarch64_float_const_representable_p): New. (aarch64_output_simd_mov_immediate): Likewise. * config/aarch64/aarch64-simd.md (*aarch64_simd_mov): Refactor move immediate case. * config/aarch64/aarch64.c (aarch64_const_double_zero_rtx_p): Rename to... (aarch64_float_const_zero_rtx_p): ...this. (aarch64_print_operand): Allow printing of new constants. (aarch64_valid_floating_const): New. (aarch64_legitimate_constant_p): Check for valid floating-point constants. (aarch64_simd_valid_immediate): Likewise. (aarch64_vect_float_const_representable_p): New. (aarch64_float_const_representable_p): Likewise. (aarch64_simd_imm_zero_p): Also allow for floating-point 0.0. (aarch64_output_simd_mov_immediate): New. * config/aarch64/aarch64.md (*movsf_aarch64): Add new alternative. (*movdf_aarch64): Likewise. * config/aarch64/constraints.md (Ufc): New. (Y): call aarch64_float_const_zero_rtx. * config/aarch64/predicates.md (aarch64_fp_compare_operand): New. 2013-01-07 Richard Biener PR tree-optimization/55888 PR tree-optimization/55862 * tree-ssa-pre.c (phi_translate_1): Revert previous change. (valid_in_sets): Check if a NAME has a leader in AVAIL_OUT, not if it is contained therein. 2013-01-07 Georg-Johann Lay * config/avr/t-avr: Typo. 2013-01-07 Georg-Johann Lay PR55243 * config/avr/t-avr: Don't automatically rebuild $(srcdir)/config/avr/t-multilib $(srcdir)/config/avr/avr-tables.opt $(srcdir)/doc/avr-mmcu.texi (avr-mcus): New phony target to build them on request. (s-avr-mlib, s-avr-mmcu-texi): Remove. * avr/avr-mcus.def: Adjust comments. 2013-01-07 Uros Bizjak * config/i386/i386.c (DEFAULT_PCC_STRUCT_RETURN): Remove. 2013-01-06 Richard Sandiford * file-find.c, file-find.h, realmpfr.c: Add FSF as copyright holder. 2013-01-06 Richard Sandiford * config/tilepro/gen-mul-tables.cc: Put copyright on one line. 2013-01-05 David Edelsohn * config/rs6000/aix53.h (LIB_SPEC): Add -lpthreads when compiling to generate profiling. * config/rs6000/aix64.h (LIB_SPEC): Same. 2013-01-04 Andrew Pinski * config/aarch64/aarch64.c (aarch64_fixed_condition_code_regs): New function. (TARGET_FIXED_CONDITION_CODE_REGS): Define. 2013-01-04 Uros Bizjak * config/i386/i386.c (ix86_legitimize_address): Call convert_to_mode unconditionally. (ix86_expand_move): Ditto. (ix86_zero_extend_to_Pmode): Ditto. (ix86_expand_call): Ditto. (ix86_expand_special_args_builtin): Ditto. (ix86_expand_builtin): Ditto. 2013-01-04 Richard Biener PR tree-optimization/55862 * tree-ssa-pre.c (phi_translate_1): Valueize SSA names after translating them through PHI nodes. 2013-01-04 Martin Jambor PR tree-optimization/55755 * tree-sra.c (sra_modify_assign): Do not check that an access has no children when trying to avoid producing a VIEW_CONVERT_EXPR. 2013-01-04 Marek Polacek PR middle-end/55859 * opts.c (default_options_optimization): Clarify error message. 2013-01-04 Richard Biener PR middle-end/55863 * fold-const.c (split_tree): Undo -X - 1 to ~X folding for reassociation. 2013-01-03 John David Anglin PR target/53789 * config/pa/pa.md (movsi): Revert previous change. * config/pa/pa.c (pa_legitimate_constant_p): Reject all TLS symbol references. 2013-01-03 Richard Henderson * config/i386/i386.c (ix86_expand_move): Always assign to op1 after eliminating TLS symbols. 2013-01-03 Marc Glisse PR bootstrap/50167 * graphite-interchange.c (pdr_stride_in_loop): Use gmp_fprintf. * graphite-poly.c (debug_gmp_value): Likewise. 2013-01-03 Uros Bizjak PR target/55712 * config/i386/i386-c.c (ix86_target_macros_internal): Depending on selected code model, define __code_mode_small__, __code_model_medium__, __code_model_large__, __code_model_32__ or __code_model_kernel__. * config/i386/cpuid.h (__cpuid, __cpuid_count) [__i386__]: Prefix xchg temporary register with %k. Declare temporary register as early clobbered. [__x86_64__]: For medium and large code models, preserve %rbx register. 2013-01-03 Richard Biener * tree-data-ref.c (dump_conflict_function): Use less vertical spacing. (dump_subscript): Adjust. (finalize_ddr_dependent): Do not dump redundant info. (analyze_siv_subscript): Adjust. (subscript_dependence_tester): Likewise. (compute_affine_dependence): Likewise. 2013-01-03 Richard Biener Revert 2013-01-03 Richard Biener PR tree-optimization/55857 * tree-vect-stmts.c (vectorizable_load): Do not setup re-alignment for invariant loads. 2013-01-02 Richard Biener * tree-vect-stmts.c (vectorizable_load): When vectorizing an invariant load do not generate a vector load from the scalar location. 2013-01-03 Richard Biener * tree-vect-loop.c (vect_analyze_loop_form): Clarify reason for not vectorizing. * tree-vect-data-refs.c (vect_create_addr_base_for_vector_ref): Do not build INDIRECT_REFs, call get_name once only. (vect_create_data_ref_ptr): Likewise. Dump base object kind based on DR_BASE_OBJECT, not DR_BASE_ADDRESS. 2013-01-03 Richard Biener PR tree-optimization/55857 * tree-vect-stmts.c (vectorizable_load): Do not setup re-alignment for invariant loads. 2013-01-03 Richard Biener PR lto/55848 * lto-symtab.c (lto_symtab_merge_decls_1): As last resort, always prefer a built-in decl. 2013-01-03 Jakub Jelinek * gcc.c (process_command): Update copyright notice dates. * gcov.c (print_version): Likewise. * gcov-dump.c (print_version): Likewise. PR rtl-optimization/55838 * loop-iv.c (iv_number_of_iterations): Call lowpart_subreg on iv0.step, iv1.step and step. 2013-01-03 Jakub Jelinek Marc Glisse PR tree-optimization/55832 * fold-const.c (fold_binary_loc): For ABS_EXPR >= 0 and ABS_EXPR < 0 folding use constant_boolean_node instead of integer_{one,zero}_node. 2013-01-03 Jakub Jelinek PR debug/54402 * params.def (PARAM_MAX_VARTRACK_REVERSE_OP_SIZE): New param. * var-tracking.c (reverse_op): Don't add reverse ops to VALUEs that have already PARAM_VALUE (PARAM_MAX_VARTRACK_REVERSE_OP_SIZE) or longer locs list. 2013-01-02 Gerald Pfeifer * doc/contrib.texi: Note years as release manager for Mark Mitchell. 2013-01-02 Teresa Johnson * dumpfile.c (dump_loc): Print filename with location. * tree-ssa-loop-ivcanon.c (try_unroll_loop_completely): Use new location_t parameter to emit complete unroll message with new dump framework. (canonicalize_loop_induction_variables): Compute loops location and pass to try_unroll_loop_completely. * loop-unroll.c (report_unroll_peel): New function. (peel_loops_completely): Use new dump format with location for main dumpfile message, and invoke report_unroll_peel on success. (decide_unrolling_and_peeling): Ditto. (decide_peel_once_rolling): Remove old dumpfile message subsumed by report_unroll_peel. (decide_peel_completely): Ditto. (decide_unroll_constant_iterations): Ditto. (decide_unroll_runtime_iterations): Ditto. (decide_peel_simple): Ditto. (decide_unroll_stupid): Ditto. * cfgloop.c (get_loop_location): New function. * cfgloop.h (get_loop_location): Declare. 2013-01-02 Sriraman Tallam * config/i386/i386.c (fold_builtin_cpu): Remove unnecessary checks for NULL. 2013-01-02 John David Anglin PR middle-end/55198 * expr.c (expand_expr_real_1): Don't use bitfield extraction for non BLKmode objects when EXPAND_MEMORY is specified. 2013-01-02 Sriraman Tallam * config/i386/i386.c (ix86_get_function_versions_dispatcher): Fix bug in loop predicate. (fold_builtin_cpu): Do not share cpu model decls across statements. 2013-01-02 Jason Merrill PR c++/55804 * tree.c (build_array_type_1): Revert earlier change. 2013-01-02 Yufeng Zhang * config/aarch64/aarch64-cores.def: Add entries for "cortex-a53" and "cortex-a57". * config/aarch64/aarch64-tune.md: Re-generate. 2013-01-02 Richard Biener * tree-vect-stmts.c (vectorizable_load): When vectorizing an invariant load do not generate a vector load from the scalar location. 2013-01-02 Richard Biener PR bootstrap/55784 * configure.ac: Add $GMPINC to CFLAGS/CXXFLAGS. * configure: Regenerate. 2013-01-02 Richard Sandiford * builtins.c (expand_builtin_mathfn, expand_builtin_mathfn_2) (expand_builtin_mathfn_ternary, expand_builtin_mathfn_3) (expand_builtin_int_roundingfn_2): Keep the original target around for the fallback case. 2013-01-02 Richard Sandiford * tree-vrp.c (range_fits_type_p): Require the MSB of the double_int to be clear for sign changes. 2013-01-01 Jan Hubicka * ipa-inline-analysis.c: Fix formatting. 2013-01-01 Jakub Jelinek PR tree-optimization/55831 * tree-vect-loop.c (get_initial_def_for_induction): Use gsi_after_labels instead of gsi_start_bb. Copyright (C) 2013 Free Software Foundation, Inc. Copying and distribution of this file, with or without modification, are permitted in any medium without royalty provided the copyright notice and this notice are preserved.