Rafael Avila de Espindola [Thu, 2 Apr 2009 12:03:48 +0000 (12:03 +0000)]
builtins.c (is_builtin_name): New.
2009-04-02 Rafael Avila de Espindola <espindola@google.com>
* builtins.c (is_builtin_name): New.
(called_as_built_in): Use is_builtin_name.
* tree.h (is_builtin_name): New.
* varasm.c (incorporeal_function_p): Use is_builtin_name
From-SVN: r145444
Andrew Stubbs [Thu, 2 Apr 2009 10:32:31 +0000 (10:32 +0000)]
linux-unwind.h: Disable when inhibit_libc is defined.
2009-04-02 Andrew Stubbs <ams@codesourcery.com>
* config/sh/linux-unwind.h: Disable when inhibit_libc is defined.
From-SVN: r145442
Dodji Seketeli [Thu, 2 Apr 2009 09:24:19 +0000 (09:24 +0000)]
re PR c++/26693 (Access checks not performed for types in templates)
gcc/ChangeLog:
2009-04-02 Dodji Seketeli <dodji@redhat.com>
PR c++/26693
* c-decl.c: (clone_underlying_type): Move this ...
* c-common.c (set_underlying_type): ... here.
Also, make sure the function properly sets TYPE_STUB_DECL() on
the newly created typedef variant type.
* c-common.h (is_typedef_decl, set_underlying_type): Declare ...
* c-common.c (is_typedef_decl, set_underlying_type): ... new entry points.
gcc/cp/ChangeLog:
2009-04-02 Dodji Seketeli <dodji@redhat.com>
PR c++/26693
* decl2.c (grokfield): when a typedef appears in a
class, create the typedef variant type node for it.
(save_template_attributes): Creating typedef variant type node
here is now useless.
* decl.c (grokdeclarator): If the typedef'ed struct/class was
anonymous, set the proper type name to all its type variants.
(xref_basetypes) : Fixup the variant types after setting
TYPE_BINFO on REF.
* name-lookup.c (pushdecl_maybe_friend): Reuse the
set_underlying_type function to install typedef variant types.
* cp-tree.h (MEMBER_TYPES_NEEDING_ACCESS_CHECK): New template accessor
macro.
(append_type_to_template_for_access_check): New entry points.
* semantics.c (check_accessibility_of_qualified_id):
When a typedef that is a member of a class appears in a template,
add it to the template. It will be ...
* class.c (finish_struct_bits): Split type variant fixup into ...
(fixup_type_variants): A new entry point.
* pt.c (instantiate_class_template, instantiate_template ): ... access
checked at template instantiation time.
(resolve_type_name_type): The type name should be the name of the
main type variant.
(retrieve_specialization): Specializations of template typedefs aren't
to be looked up in DECL_TEMPLATE_INSTANTIATIONS (tmpl).
(append_type_to_template_for_access_check): New entry point.
(tsubst_decl): For typedefs, build the variant type from the correct
original type.
(get_class_bindings): Fix function comment.
(perform_typedefs_access_check): New entry point.
gcc/testsuite/ChangeLog:
2009-04-02 Dodji Seketeli <dodji@redhat.com>
PR c++/26693
* g++.dg/template/typedef11.C: New test.
* g++.dg/template/typedef12.C: Likewise.
* g++.dg/template/typedef13.C: Likewise.
* g++.dg/template/typedef14.C: Likewise.
* g++.dg/template/typedef15.C: Likewise.
* g++.dg/template/typedef16.C: Likewise.
* g++.dg/template/sfinae3.C: Compile this pedantically.
The only errors expected should be the one saying the typedef is ill
formed.
* g++.old-deja/g++.pt/typename8.C: Likewise.
* g++.dg/template/access11.C: Update this.
libstdc++-v3/ChangeLog:
2009-04-02 Dodji Seketeli <dodji@redhat.com>
* include/ext/bitmap_allocator.h: the typedefs should be made public
if we want them to be accessible. This has been revealed by the patch
that fixes PR c++/26693 in g++.
From-SVN: r145440
Richard Guenther [Thu, 2 Apr 2009 09:10:53 +0000 (09:10 +0000)]
re PR middle-end/37221 (Missed early loop-unroll optimization - causes 40% degradation on SPU)
2009-04-02 Richard Guenther <rguenther@suse.de>
PR tree-optimization/37221
* tree-flow.h (degenerate_phi_result): Declare.
* tree-ssa-dom.c (degenerate_phi_result): Export.
* tree-scalar-evolution.c (analyze_initial_condition): If
the initial condition is defined by a degenerate PHI node
use the degenerate value.
* gcc.c-torture/compile/
20090331-1.c: New testcase.
From-SVN: r145439
Jakub Jelinek [Thu, 2 Apr 2009 06:50:55 +0000 (08:50 +0200)]
baseline_symbols.txt: Regenerated.
* config/abi/post/powerpc64-linux-gnu/32/baseline_symbols.txt:
Regenerated.
* config/abi/post/powerpc64-linux-gnu/baseline_symbols.txt:
Regenerated.
* config/abi/post/i386-linux-gnu/baseline_symbols.txt: Regenerated.
* config/abi/post/powerpc-linux-gnu/baseline_symbols.txt: Regenerated.
* config/abi/post/i486-linux-gnu/baseline_symbols.txt: Regenerated.
* config/abi/post/s390-linux-gnu/baseline_symbols.txt: Regenerated.
* config/abi/post/ia64-linux-gnu/baseline_symbols.txt: Regenerated.
* config/abi/post/s390x-linux-gnu/baseline_symbols.txt: Regenerated.
* config/abi/post/x86_64-linux-gnu/32/baseline_symbols.txt:
Regenerated.
* config/abi/post/x86_64-linux-gnu/baseline_symbols.txt: Regenerated.
From-SVN: r145437
GCC Administrator [Thu, 2 Apr 2009 00:16:47 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r145436
Eric Botcazou [Wed, 1 Apr 2009 20:46:30 +0000 (20:46 +0000)]
re PR rtl-optimization/39588 (internal compiler error: in trunc_int_for_mode, at explow.c:55)
PR rtl-optimization/39588
* combine.c (merge_outer_ops): Do not set the constant when this
is not necessary.
(simplify_shift_const_1): Do not modify it either in this case.
From-SVN: r145430
Steven Bosscher [Wed, 1 Apr 2009 19:47:01 +0000 (19:47 +0000)]
ia64.c (ia64_handle_option): Inform user that Itanium1 tuning is deprecated if...
* config/ia64/ia64.c (ia64_handle_option): Inform user that Itanium1
tuning is deprecated if -mtune value is set to an Itanium1 variant.
From-SVN: r145427
H.J. Lu [Wed, 1 Apr 2009 18:09:21 +0000 (18:09 +0000)]
re PR c++/4926 (C++ ABI needs clarification on mangling of complex expressions)
2009-04-01 H.J. Lu <hongjiu.lu@intel.com>
PR c++/4926
* g++.dg/template/pr4926-1.C: New.
From-SVN: r145423
Janis Johnson [Wed, 1 Apr 2009 17:31:26 +0000 (17:31 +0000)]
re PR target/39027 (double floating point suffix of 'd' and 'D' not accepted)
gcc/
PR c/29027
* c-lex.c (interpret_float): Default (no suffix) is double.
libcpp/
PR c/29027
* include/cpplib.h (CPP_N_DEFAULT): Define.
* expr.c (interpret_float_suffix): Recognize d or D for double,
return new value for default.
(cpp_classify_number): Issue pedwarn for use of d or D in suffix.
gcc/testsuite/
PR c/29027
* gcc.dg/fltconst-1.c: Don't error for use of d or D in suffix.
* gcc.dg/fltconst-2.c: New test.
* gcc.dg/fltconst-double-pedantic-1.c: New test.
* gcc.dg/fltconst-double-pedantic-2.c: New test.
From-SVN: r145422
Xinliang David Li [Wed, 1 Apr 2009 17:17:18 +0000 (17:17 +0000)]
better m128i constant materialization
From-SVN: r145418
Janis Johnson [Wed, 1 Apr 2009 17:04:42 +0000 (17:04 +0000)]
re PR c/33466 (mixed-case suffix for decimal float constants)
libcpp/
PR c/33466
* expr.c (interpret_float_suffix): Reject invalid suffix that uses
letters from decimal float and fixed-point suffixes.
gcc/testsuite
PR c/33466
* gcc.dg/cpp/pr33466.c: New test.
* gcc.dg/dfp/pr33466.c: New test.
* gcc.dg/fixed-point/pr33466.c: New test.
From-SVN: r145417
Matt Thomas [Wed, 1 Apr 2009 17:00:00 +0000 (17:00 +0000)]
[multiple changes]
2009-04-01 Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
* gcc/config/vax/vax.c: Add #includes to silence warnings.
Change #include order to silence two warnings.
2009-04-01 Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
* gcc/config/vax/linux.h (TARGET_DEFAULT): Add the MASK_QMATH flag bit.
(ASM_SPEC): Pass -k to the assembler for PIC code.
2009-04-01 Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
* gcc/config.gcc: Add vax-*-linux* to the switch.
* gcc/config/vax/linux.h: New file. (TARGET_VERSION,
TARGET_OS_CPP_BUILTINS, TARGET_DEFAULT, CPP_SPEC, LINK_SPEC): Define.
2009-04-01 Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
* gcc/config/vax/vax.c (vax_output_int_move, adjacent_operands_p):
Use predicate macros instead of GET_CODE() == foo.
* gcc/config/vax/vax.md (movsi_2, movstrictqi, and<mode>3, ashrsi3,
ashlsi3, rotrsi3, <unnamed>): Likewise.
2009-04-01 Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
* gcc/config/vax/builtins.md (jbbssiqi, jbbssihi, jbbssisi, jbbcciqi,
jbbccihi, jbbccisi): Remova trailing whitespace.
* gcc/config/vax/constraints.md: Likewise.
* gcc/config/vax/elf.h: (ASM_PREFERRED_EH_DATA_FORMAT): Likewise.
* gcc/config/vax/openbsd1.h (OBSD_OLD_GAS): Likewise.
* gcc/config/vax/predicates.md: Likewise.
* gcc/config/vax/vax.c (print_operand_address, vax_output_int_move,
vax_expand_addsub_di_operands, adjacent_operands_p): Likewise.
* gcc/config/vax/vax.h: Likewise.
* gcc/config/vax/vax.md (nonlocal_goto): Likewise.
2009-04-01 Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
* gcc/config/vax/vax.c (vax_float_literal, vax_output_int_move)
(indirectable_address_p, adjacent_operands_p): Add spaces around
braces.
* gcc/config/vax/vax-protos.h (adjacent_operands_p): Likewise.
2009-04-01 Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
* gcc/config/vax/vax.c (legitimate_constant_address_p,
legitimate_constant_p, indirectable_address_p, nonindexed_address_p,
index_term_p, reg_plus_index_p, legitimate_address_p,
vax_mode_dependent_address_p): Update comments to match functions
modified by the recent int->bool conversion.
2009-04-01 Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
* gcc/config/vax/builtins.md: Update copyright message.
* gcc/config/vax/constraints.md: Likewise.
* gcc/config/vax/netbsd-elf.h: Likewise.
* gcc/config/vax/predicates.md: Likewise.
* gcc/config/vax/vax-protos.h: Likewise.
* gcc/config/vax/vax.c: Likewise.
* gcc/config/vax/vax.h: Likewise.
* gcc/config/vax/vax.md: Likewise.
* gcc/config/vax/vax.opt: Likewise.
2009-04-01 Jan-Benedict Glaw <jbglaw@jbglaw-dev.homezone.telefonica.de>
* gcc/config/vax/builtins.md (ffssi2, ffssi2_internal,
sync_lock_test_and_set<mode>, sync_lock_release<mode>): Fix indention.
* gcc/config/vax/constraints.md (B, R): Likewise.
* gcc/config/vax/predicates.md (external_memory_operand,
nonimmediate_addsub_di_operand): Likewise.
* gcc/config/vax/vax.c (vax_output_int_add): Likewise.
* gcc/config/vax/vax.md (movsi, movsi_2, mov<mode>, call_value,
untyped_call): Likewise.
2009-04-01 Matt Thomas <matt@3am-software.com>
* config/vax/predicates.md: New file. (symbolic_operand,
local_symbolic_operand, external_symbolic_operand,
external_const_operand, nonsymbolic_operand, external_memory_operand,
indirect_memory_operand, indexed_memory_operand,
illegal_blk_memory_operand, illegal_addsub_di_memory_operand,
nonimmediate_addsub_di_operand, general_addsub_di_operand): New
predicate.
* config/vax/constraints.md: New file. (Z0, U06, U08, U16, CN6, S08,
S16, I, J, K, L, M, N, O, G, Q, B, R, T): New constraint.
* config/vax/builtins.md: New file. (ffssi2, ffssi2_internal,
sync_lock_test_and_set<mode>, jbbssiqi, jbbssihi, jbbssisi,
sync_lock_release<mode>, jbbcciqi, jbbccihi, jbbccisi): Define.
* config/vax/vax.opt (mqmath): Add option.
* config/vax/vax.md (isfx): Extend with DI.
(VAXintQH, VAXintQHSD): Define.
(tst<mode>, cmp<mode>, *bit<mode>, movmemhi1, truncsiqi2, truncsihi2,
mulsidi3, add<mode>3, sub<mode>, mul<mode>3, div<mode>3, and<mode>,
and<mode>_const_int, ior<mode>3, xor<mode>3, neg<mode>2,
one_cmpl<mode>2, ashlsi3, lshrsi3, rotlsi3): Update constraints.
(movdi): Update constraints and use vax_output_int_move().
(movsi, movsi_2, pushlclsymreg, pushextsymreg, movlclsymreg,
movextsymreg, adddi3, adcdi3, subdi3, sbcdi3, pushextsym, movextsym,
pushlclsym, movlclsym, movaddr<mode>, pushaddr<mode>,
nonlocal_goto): New.
(mov<mode>): Extend accepted operand types.
(subdi3_old): Rename from subdi3, change update constraints and use
a new implementation.
* gcc/config/vax/vax.h (PCC_BITFIELD_TYPE_MATTERS): Add space.
(FRAME_POINTER_CFA_OFFSET, IRA_COVER_CLASSES, CLASS_MAX_NREGS,
MOVE_RATIO, CLEAR_RATIO): Define.
(REG_CLASS_FROM_LETTER, CONST_OK_FOR_LETTER_P,
CONST_DOUBLE_OK_FOR_LETTER_P, EXTRA_CONSTRAINT): Delete.
(PRINT_OPERAND): Redefine using a function instead of inlined code.
* gcc/config/vax/vax.c (TARGET_BUILTIN_SETJMP_FRAME_VALUE): Define.
(split_quadword_operands): Make static and really allow variable
splitting.
(print_operand_address): Update for PIC generation.
(print_operand, vax_builtin_setjmp_frame_value, vax_output_int_subtract,
indexable_address_p, fixup_mathdi_operand,
vax_expand_addsub_di_operands, adjacent_operands_p): New.
(vax_float_literal, legitimate_constant_p,
indirectable_constant_address_p, index_term_p,
reg_plus_index_p): Return bool instead of int.
(vax_rtx_costs): Fix cost for CONST_INT, indent and use HOST_WIDE_INT
where needed.
(vax_output_int_move, vax_output_int_add): Extend to allow PIC
generation.
(vax_output_conditional_branch): Indent.
(legitimate_constant_address_p, indirectable_constant_address_p,
indirectable_address_p, nonindexed_address_p, legitimate_address_p,
vax_mode_dependent_address_p): Return bool instead of int, update for
PIC generation.
* config/vax/vax-protos.h (legitimate_constant_address_p,
legitimate_constant_p, legitimate_address_p,
vax_mode_dependent_address_p): Change declaration to bool.
(legitimate_pic_operand_p, adjacent_operands_p, print_operand,
vax_expand_addsub_di_operands, vax_output_int_subtract,
vax_output_movmemsi): Declare.
(split_quadword_operands, vax_float_literal): Delete declaration.
* config/vax/netbsd-elf.h (CC1_SPEC, CC1PLUS_SPEC) Define.
* config/vax/elf.h (NO_EXTERNAL_INDIRECT_ADDRESS,
VAX_CC1_AND_CC1PLUS_SPEC, ASM_PREFERRED_EH_DATA_FORMAT,
ASM_OUTPUT_DWARF_PCREL): Define.
(ASM_SPEC): Change definition to allow PIC generation.
From-SVN: r145416
Steve Ellcey [Wed, 1 Apr 2009 16:41:54 +0000 (16:41 +0000)]
Makefil.def (languages): New entries.
* Makefil.def (languages): New entries.
* Makefile.tpl (check-gcc-*): New generic target.
* Makefile.in: Regenerate.
* gcc/doc/sourcebuild.texi: Update front-end requirements.
From-SVN: r145415
H.J. Lu [Wed, 1 Apr 2009 16:29:28 +0000 (16:29 +0000)]
re PR tree-optimization/35011 (ICE with -fcheck-data-deps)
2009-04-01 H.J. Lu <hongjiu.lu@intel.com>
PR tree-optimization/35011
* g++.dg/other/pr35011.C: New.
From-SVN: r145413
Jakub Jelinek [Wed, 1 Apr 2009 16:18:46 +0000 (18:18 +0200)]
re PR target/39226 (gcc_assert (verify_initial_elim_offsets ()); ICE)
PR target/39226
* config/rs6000/rs6000.md (andsi3_internal5_nomc,
anddi3_internal2_nomc, anddi3_internal3_nomc): Removed.
(booldi3_internal3): Use boolean_or_operator instead of
boolean_operator.
* gcc.dg/pr39226.c: New test.
From-SVN: r145411
H.J. Lu [Wed, 1 Apr 2009 15:56:29 +0000 (15:56 +0000)]
re PR c++/35240 (ICE with new in template parameter)
2009-04-01 H.J. Lu <hongjiu.lu@intel.com>
PR c++/35240
* g++.dg/template/pr35240.C: New.
From-SVN: r145408
Joseph Myers [Wed, 1 Apr 2009 14:41:06 +0000 (15:41 +0100)]
re PR c/39605 ("error: variable-size type declared outside of any function" is issued twice)
PR c/39605
* c-decl.c (grokdeclarator): Pedwarn for file-scope array
declarator whose size is not an integer constant expression but
folds to an integer constant, then treat it as a constant
subsequently.
testsuite:
* gcc.dg/vla-17.c, gcc.dg/vla-18.c: New tests.
* gcc.dg/pr25682.c: Update expected diagnostics.
From-SVN: r145405
Richard Guenther [Wed, 1 Apr 2009 13:59:53 +0000 (13:59 +0000)]
fold-const.c (fold_plusminus_mult_expr): Do not fold i * 4 + 2 to (i * 2 + 1) * 2.
2009-04-01 Richard Guenther <rguenther@suse.de>
* fold-const.c (fold_plusminus_mult_expr): Do not fold
i * 4 + 2 to (i * 2 + 1) * 2.
* gcc.dg/fold-plusmult-2.c: New testcase.
From-SVN: r145403
Jakub Jelinek [Wed, 1 Apr 2009 13:32:22 +0000 (15:32 +0200)]
re PR c/37772 (ICE with empty asm statement)
PR c/37772
* c-parser.c (c_parser_asm_statement): Skip until close paren and
return if c_parser_asm_string_literal returned NULL.
* gcc.dg/pr37772.c: New test.
* g++.dg/ext/asm11.C: New test.
From-SVN: r145401
H.J. Lu [Wed, 1 Apr 2009 12:36:21 +0000 (12:36 +0000)]
(restore_ld_library_path_env_vars): Always restore GCC_EXEC_PREFIX to its original value...
2009-04-01 H.J. Lu <hongjiu.lu@intel.com>
(restore_ld_library_path_env_vars): Always restore GCC_EXEC_PREFIX
to its original value, or unset if it was not defined.
From-SVN: r145400
Nick Clifton [Wed, 1 Apr 2009 12:22:58 +0000 (12:22 +0000)]
Omitted from previous commit.
From-SVN: r145398
Nick Clifton [Wed, 1 Apr 2009 12:22:14 +0000 (12:22 +0000)]
m32c.h (LIBGCC2_UNITS_PER_WORD): Define if not already defined.
* config/m32c/m32c.h (LIBGCC2_UNITS_PER_WORD): Define if not
already defined.
* config/m32c/t-m32c (LIB2FUNCS_EXTRA): Add m32c-lib2-trapv.c.
* config/m32c/m32c-lib2.c: Remove unused typedefs. Rename the
other typedefs to avoid conflicts with libgcc2.c. Define labels
to gain 16-bit bit-manipulation functions from libgcc2.c and then
include it.
* config/m32c/m32c-lib2-trapv.c: New file. Define labels
to gain 16-bit trapping arithmetic functions from libgcc2.c and
then include it.
From-SVN: r145397
Rafael Avila de Espindola [Wed, 1 Apr 2009 09:17:07 +0000 (09:17 +0000)]
varasm.c (default_function_rodata_section): Declare DOT as const char*.
2009-04-01 Rafael Avila de Espindola <espindola@google.com>
* varasm.c (default_function_rodata_section): Declare DOT as const char*.
From-SVN: r145396
Kai Tietz [Wed, 1 Apr 2009 09:05:13 +0000 (09:05 +0000)]
host-mingw32.c (mingw32_gt_pch_use_address): Make object_name unique for each process.
2009-04-01 Kai Tietz <kai.tietz@onevision.com>
Andrey Galkin <agalkin@hypercom.com>
PR/39492
* config/i386/host-mingw32.c (mingw32_gt_pch_use_address):
Make object_name unique for each process.
Co-Authored-By: Andrey Galkin <agalkin@hypercom.com>
From-SVN: r145394
Jakub Jelinek [Wed, 1 Apr 2009 06:54:52 +0000 (08:54 +0200)]
re PR other/39591 (GOMP_loop_end illegally optmized into GOMP_loop_end_nowait)
PR other/39591
* omp-low.c (remove_exit_barrier): Don't optimize if there are any
addressable variables in the parallel that could go out of scope while
running queued tasks.
* testsuite/libgomp.c/pr39591-1.c: New test.
* testsuite/libgomp.c/pr39591-2.c: New test.
* testsuite/libgomp.c/pr39591-3.c: New test.
From-SVN: r145390
Anatoly Sokolov [Wed, 1 Apr 2009 05:57:14 +0000 (09:57 +0400)]
avr.h (avr_case_values_threshold): Remove declaration.
* config/avr/avr.h (avr_case_values_threshold): Remove declaration.
(CASE_VALUES_THRESHOLD): Redefine.
* config/avr/avr.c (avr_override_options): Remove initialization of
avr_case_values_threshold variable.
(avr_case_values_threshold): Remove variable. Add new function.
* config/avr/avr-protos.h (avr_case_values_threshold): Declare.
* config/avr/avr.opt (mno-tablejump): Remove option.
* doc/invoke.texi (AVR Options): Remove -mno-tablejump.
From-SVN: r145389
DJ Delorie [Wed, 1 Apr 2009 05:26:39 +0000 (01:26 -0400)]
varasm.c (default_function_rodata_section): Don't assume anything about where the first '.' in the section name is.
* varasm.c (default_function_rodata_section): Don't assume
anything about where the first '.' in the section name is.
From-SVN: r145388
Alan Modra [Wed, 1 Apr 2009 04:09:31 +0000 (04:09 +0000)]
rs6000.c (rs6000_emit_stack_reset): Delete redundant rs6000_emit_stack_tie.
* config/rs6000/rs6000.c (rs6000_emit_stack_reset): Delete redundant
rs6000_emit_stack_tie.
From-SVN: r145387
Jason Merrill [Wed, 1 Apr 2009 03:34:30 +0000 (23:34 -0400)]
re PR c++/34691 (Default argument checking not performed after overload resolution with C linkage)
PR c++/34691
* name-lookup.c (pushdecl_maybe_friend): Diagnose mismatched
extern C declarations.
* libsupc++/unwind-cxx.h: Correct __cxa_call_terminate prototype.
From-SVN: r145386
Ben Elliston [Wed, 1 Apr 2009 00:51:55 +0000 (00:51 +0000)]
* decContext.h: Include gstdint.h instead of <stdint.h>.
From-SVN: r145385
GCC Administrator [Wed, 1 Apr 2009 00:16:56 +0000 (00:16 +0000)]
Daily bump.
From-SVN: r145384
Ian Lance Taylor [Wed, 1 Apr 2009 00:03:31 +0000 (00:03 +0000)]
tree-eh.c (tree_remove_unreachable_handlers): Compare gimple_code with GIMPLE_RESX, not RESX.
* tree-eh.c (tree_remove_unreachable_handlers): Compare
gimple_code with GIMPLE_RESX, not RESX.
From-SVN: r145381
Joseph Myers [Tue, 31 Mar 2009 23:17:05 +0000 (00:17 +0100)]
c-common.c (c_get_ident): New.
* c-common.c (c_get_ident): New.
(c_common_nodes_and_builtins): Call it for type names that may be
NULL.
From-SVN: r145380
Ben Elliston [Tue, 31 Mar 2009 23:14:59 +0000 (23:14 +0000)]
sysv4.opt (msdata): Improve option description.
* config/rs6000/sysv4.opt (msdata): Improve option description.
--this line, and those below, will be ignored--
M ChangeLog
M config/rs6000/sysv4.opt
From-SVN: r145379
H.J. Lu [Tue, 31 Mar 2009 22:31:42 +0000 (22:31 +0000)]
pr33009.c: Removed.
2009-03-31 H.J. Lu <hongjiu.lu@intel.com>
* gcc.c-torture/compile/pr33009.c: Removed.
From-SVN: r145377
Steve Ellcey [Tue, 31 Mar 2009 21:51:34 +0000 (21:51 +0000)]
ia64.md (divsf3_internal_lat): Remove.
* config/ia64/ia64.md (divsf3_internal_lat): Remove.
(divdf3_internal_lat): Remove.
(divxf3_internal_lat): Remove.
(divxf3_internal_thr): Remove.
(divxf): Use divxf3_internal.
* config/ia64/div.md (divsf3_internal_lat): New.
(divdf3_internal_lat): New.
(divxf3_internal): New.
From-SVN: r145376
Jason Merrill [Tue, 31 Mar 2009 21:50:03 +0000 (17:50 -0400)]
C++ DR 613
C++ DR 613
* semantics.c (finish_non_static_data_member): Allow such references
without an associated object in sizeof/decltype/alignof.
From-SVN: r145375
Ramana Radhakrishnan [Tue, 31 Mar 2009 21:23:29 +0000 (21:23 +0000)]
common.opt (frtl-abstract-sequences): Delete.
2009-03-31 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>
* common.opt (frtl-abstract-sequences): Delete.
* doc/invoke.texi (Option Summary): Likewise.
(Optimize Options): Likewise.
* rtl-factoring.c: Delete file.
* Makefile.in (OBJS-common): Remove rtl-factoring.o.
* passes.c (init_optimization_passes): Remove rtl_abstr_seq pass.
2009-03-31 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com>
* gcc.c-torture/compile/pr33009.c: Delete.
* gcc.c-torture/compile/pr11832.c: Likewise.
From-SVN: r145374
Joseph Myers [Tue, 31 Mar 2009 20:30:31 +0000 (21:30 +0100)]
re PR c/448 (<stdint.h>-related issues (C99 issues))
PR c/448
fixincludes:
* inclhack.def (newlib_stdint_1, newlib_stdint_2): New fixes.
* fixincl.x: Regenerate.
* tests/base/stdint.h: Update.
gcc:
* Makefile.in (USE_GCC_STDINT): Define.
(stmp-int-hdrs): Install stdint.h if applicable.
* c-common.c (CHAR16_TYPE): Define in terms of UINT_LEAST16_TYPE
if known.
(CHAR32_TYPE): Define in terms of UINT_LEAST32_TYPE if known.
(SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, INT32_TYPE, INT64_TYPE,
UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, UINT64_TYPE,
INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE,
INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE,
UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE,
INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE,
UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE,
UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Define.
(c_common_nodes_and_builtins): Initialize
underlying_wchar_type_node. Do not initialize
signed_wchar_type_node or unsigned_wchar_type_node. Initialize
nodes for new types.
(c_stddef_cpp_builtins): Define macros for new types.
* c-common.h (CTI_SIGNED_WCHAR_TYPE, CTI_UNSIGNED_WCHAR_TYPE):
Remove.
(CTI_UNDERLYING_WCHAR_TYPE, CTI_SIG_ATOMIC_TYPE, CTI_INT8_TYPE,
CTI_INT16_TYPE, CTI_INT32_TYPE, CTI_INT64_TYPE, CTI_UINT8_TYPE,
CTI_UINT16_TYPE, CTI_UINT32_TYPE, CTI_UINT64_TYPE,
CTI_INT_LEAST8_TYPE, CTI_INT_LEAST16_TYPE, CTI_INT_LEAST32_TYPE,
CTI_INT_LEAST64_TYPE, CTI_UINT_LEAST8_TYPE, CTI_UINT_LEAST16_TYPE,
CTI_UINT_LEAST32_TYPE, CTI_UINT_LEAST64_TYPE, CTI_INT_FAST8_TYPE,
CTI_INT_FAST16_TYPE, CTI_INT_FAST32_TYPE, CTI_INT_FAST64_TYPE,
CTI_UINT_FAST8_TYPE, CTI_UINT_FAST16_TYPE, CTI_UINT_FAST32_TYPE,
CTI_UINT_FAST64_TYPE, CTI_INTPTR_TYPE, CTI_UINTPTR_TYPE): Define.
(signed_wchar_type_node, unsigned_wchar_type_node): Remove.
(underlying_wchar_type_node, sig_atomic_type_node, int8_type_node,
int16_type_node, int32_type_node, int64_type_node,
uint8_type_node, uint16_type_node, c_uint32_type_node,
c_uint64_type_node, int_least8_type_node, int_least16_type_node,
int_least32_type_node, int_least64_type_node,
uint_least8_type_node, uint_least16_type_node,
uint_least32_type_node, uint_least64_type_node,
int_fast8_type_node, int_fast16_type_node, int_fast32_type_node,
int_fast64_type_node, uint_fast8_type_node, uint_fast16_type_node,
uint_fast32_type_node, uint_fast64_type_node, intptr_type_node,
uintptr_type_node): Define.
* c-cppbuiltin.c (builtin_define_constants,
builtin_define_type_minmax): New.
(builtin_define_stdint_macros): Define more macros.
(c_cpp_builtins): Define more limit macros.
(type_suffix): New.
(builtin_define_type_max): Define in terms of
builtin_define_type_minmax. Remove is_long parameter. All
callers changed.
* config.gcc (use_gcc_stdint): Define.
(tm_file): Add glibc-stdint.h for targets using glibc or uClibc.
Add newlib-stdint.h for generic targets.
* config/glibc-stdint.h, config/newlib-stdint.h,
ginclude/stdint-gcc.h, ginclude/stdint-wrap.h: New.
* config/m32c/m32c.h (UINTPTR_TYPE): Define.
* config/score/score.h (UINTPTR_TYPE): Define.
* config/sol2.h (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE,
INT32_TYPE, INT64_TYPE, UINT8_TYPE, UINT16_TYPE, UINT32_TYPE,
UINT64_TYPE, INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE,
INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE,
UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE,
INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE,
UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE,
UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Define.
* config/spu/spu.h (STDINT_LONG32): Define.
* configure.ac (use_gcc_stdint): Substitute.
* configure: Regenerate.
* doc/cpp.texi (__SIG_ATOMIC_TYPE__, __INT8_TYPE__,
__INT16_TYPE__, __INT32_TYPE__, __INT64_TYPE__, __UINT8_TYPE__,
__UINT16_TYPE__, __UINT32_TYPE__, __UINT64_TYPE__,
__INT_LEAST8_TYPE__, __INT_LEAST16_TYPE__, __INT_LEAST32_TYPE__,
__INT_LEAST64_TYPE__, __UINT_LEAST8_TYPE__, __UINT_LEAST16_TYPE__,
__UINT_LEAST32_TYPE_, __UINT_LEAST64_TYPE__, __INT_FAST8_TYPE__,
__INT_FAST16_TYPE__, __INT_FAST32_TYPE__, __INT_FAST64_TYPE__,
__UINT_FAST8_TYPE__, __UINT_FAST16_TYPE__, __UINT_FAST32_TYPE__,
__UINT_FAST64_TYPE__, __INTPTR_TYPE__, __UINTPTR_TYPE__,
__WINT_MAX__, __SIZE_MAX__, __PTRDIFF_MAX__, __UINTMAX_MAX__,
__SIG_ATOMIC_MAX__, __INT8_MAX__, __INT16_MAX__, __INT32_MAX__,
__INT64_MAX__, __UINT8_MAX__, __UINT16_MAX__, __UINT32_MAX__,
__UINT64_MAX__, __INT_LEAST8_MAX__, __INT_LEAST16_MAX__,
__INT_LEAST32_MAX__, __INT_LEAST64_MAX__, __UINT_LEAST8_MAX__,
__UINT_LEAST16_MAX__, __UINT_LEAST32_MAX__, __UINT_LEAST64_MAX__,
__INT_FAST8_MAX__, __INT_FAST16_MAX__, __INT_FAST32_MAX__,
__INT_FAST64_MAX__, __UINT_FAST8_MAX__, __UINT_FAST16_MAX__,
__UINT_FAST32_MAX__, __UINT_FAST64_MAX__, __INTPTR_MAX__,
__UINTPTR_MAX__, __WCHAR_MIN__, __WINT_MIN__, __SIG_ATOMIC_MIN__,
__INT8_C, __INT16_C, __INT32_C, __INT64_C, __UINT8_C, __UINT16_C,
__UINT32_C, __UINT64_C, __INTMAX_C, __UINTMAX_C): Document.
* doc/tm.texi (SIG_ATOMIC_TYPE, INT8_TYPE, INT16_TYPE, INT32_TYPE,
INT64_TYPE, UINT8_TYPE, UINT16_TYPE, UINT32_TYPE, UINT64_TYPE,
INT_LEAST8_TYPE, INT_LEAST16_TYPE, INT_LEAST32_TYPE,
INT_LEAST64_TYPE, UINT_LEAST8_TYPE, UINT_LEAST16_TYPE,
UINT_LEAST32_TYPE, UINT_LEAST64_TYPE, INT_FAST8_TYPE,
INT_FAST16_TYPE, INT_FAST32_TYPE, INT_FAST64_TYPE,
UINT_FAST8_TYPE, UINT_FAST16_TYPE, UINT_FAST32_TYPE,
UINT_FAST64_TYPE, INTPTR_TYPE, UINTPTR_TYPE): Document.
gcc/testsuite:
* lib/target-supports.exp (check_effective_target_stdint_types):
Update comment.
(check_effective_target_inttypes_types): New.
* gcc.dg/c99-stdint-1.c, gcc.dg/c99-stdint-2.c,
gcc.dg/c99-stdint-3.c, gcc.dg/c99-stdint-4.c,
gcc.dg/c99-stdint-5.c, gcc.dg/c99-stdint-6.c: New tests.
From-SVN: r145372
Paul Thomas [Tue, 31 Mar 2009 20:05:44 +0000 (20:05 +0000)]
re PR fortran/38917 (Can't use DATA to initialize pointer to array to NULL())
2009-03-31 Paul Thomas <pault@gcc.gnu.org>
PR fortran/38917
* expr.c (gfc_check_assign): Allow pointer components when
checking for NULL.
PR fortran/38918
* resolve.c (check_data_variable): Treat pointer arrays with
scalars.
2009-03-31 Paul Thomas <pault@gcc.gnu.org>
PR fortran/38917
PR fortran/38918
* gfortran.dg/data_pointer_1.f90: New test.
From-SVN: r145371
Paul Thomas [Tue, 31 Mar 2009 20:03:23 +0000 (20:03 +0000)]
re PR fortran/38915 (wrong results for structure assignment of character components when left and right sides overlap)
2009-03-31 Paul Thomas <pault@gcc.gnu.org>
PR fortran/38915
* trans-expr.c (gfc_trans_assignment_1): Ensure temporaries
have a string_length.
2009-03-31 Paul Thomas <pault@gcc.gnu.org>
PR fortran/38915
* gfortran.dg/char_length_15.f90: New test.
From-SVN: r145370
Jason Merrill [Tue, 31 Mar 2009 19:13:15 +0000 (15:13 -0400)]
ptree.c (cxx_print_decl): Pretty-print full name of function/template.
* ptree.c (cxx_print_decl): Pretty-print full name of
function/template.
(cxx_print_type): Pretty-print full name of class.
From-SVN: r145368
Jason Merrill [Tue, 31 Mar 2009 19:06:17 +0000 (15:06 -0400)]
decl.c (grokdeclarator): Reject pointer to qualified function type.
* decl.c (grokdeclarator): Reject pointer to qualified function
type.
From-SVN: r145367
Jason Merrill [Tue, 31 Mar 2009 18:37:49 +0000 (14:37 -0400)]
re PR c++/37806 (CV-qualifiers on function typedef's are inconsistently accepted depending on typedef scope)
PR c++/37806
* g++.dg/template/typedef17.C: New test.
From-SVN: r145366
Jason Merrill [Tue, 31 Mar 2009 18:31:17 +0000 (14:31 -0400)]
re PR c++/37806 (CV-qualifiers on function typedef's are inconsistently accepted depending on typedef scope)
PR c++/37806
* typeck.c (cp_apply_type_quals_to_decl): Don't apply any quals
to a typedef.
* tree.c (cp_build_qualified_type_real): Don't apply restrict to a
function type.
* decl.h (enum decl_context): Add TEMPLATE_TYPE_ARG.
* decl.c (groktypename): Add is_template_arg parameter.
(grokdeclarator): Allow function cv-quals on a template type arg.
* parser.c (cp_parser_new_type_id, cp_parser_type_id): Add
is_template_arg argument in calls to groktypename.
* cp-tree.h: Adjust prototype.
* error.c (dump_type_prefix, dump_type_suffix): Fix plain
FUNCTION_TYPE printing.
PR libstdc++/39310
* include/tr1_impl/type_traits (is_function): Add partial
specializations with function cv-quals.
(__is_function_helper): Remove.
(is_member_pointer): Don't define in terms of is_member_*_pointer.
From-SVN: r145365
Jason Merrill [Tue, 31 Mar 2009 16:52:21 +0000 (12:52 -0400)]
mangle.c (write_expression): Mangle dependent name as source-name.
* mangle.c (write_expression): Mangle dependent name as
source-name.
From-SVN: r145364
Eric Botcazou [Tue, 31 Mar 2009 16:17:03 +0000 (16:17 +0000)]
system-linux-alpha.ads (Functions_Return_By_DSP): Remove.
* system-linux-alpha.ads (Functions_Return_By_DSP): Remove.
* system-linux-mips.ads (Functions_Return_By_DSP): Likewise.
* system-linux-mipsel.ads (Functions_Return_By_DSP): Likewise.
* system-linux-s390.ads (Functions_Return_By_DSP): Likewise.
* system-linux-s390x.ads (Functions_Return_By_DSP): Likewise.
* system-linux-sparc.ads (Functions_Return_By_DSP): Likewise.
* system-linux-sparcv9.ads (Functions_Return_By_DSP): Likewise.
From-SVN: r145361
Jason Merrill [Tue, 31 Mar 2009 15:42:58 +0000 (11:42 -0400)]
PR c++/38030, 38850, 39070
PR c++/38030, 38850, 39070
* pt.c (type_dependent_expression_p_push): New fn.
(tsubst_copy_and_build) [CALL_EXPR]: Only do arg-dep lookup when the
substitution makes the call non-dependent. Preserve koenig_p.
* parser.c (cp_parser_postfix_expression): Only do arg-dep lookup
for non-dependent calls.
* semantics.c (finish_call_expr): Revert earlier changes.
* cp-tree.h: Revert change to finish_call_expr prototype.
From-SVN: r145360
Bernd Schmidt [Tue, 31 Mar 2009 15:24:24 +0000 (15:24 +0000)]
loop-iv.c (replace_single_def_regs, [...]): New static functions.
* loop-iv.c (replace_single_def_regs, replace_in_expr): New static
functions.
(simplify_using_assignment, simplify_using_initial_values): Call
replace_in_expr to make replacements. Call replace_single_def_regs
once on the initial version of the expression.
From-SVN: r145357
Bernd Schmidt [Tue, 31 Mar 2009 15:22:13 +0000 (15:22 +0000)]
loop-iv.c (simple_rhs_p): Allow more kinds of expressions.
* loop-iv.c (simple_rhs_p): Allow more kinds of expressions.
From-SVN: r145355
Bernd Schmidt [Tue, 31 Mar 2009 15:21:30 +0000 (15:21 +0000)]
loop-iv.c (determine_max_iter): New arg OLD_NITER.
* loop-iv.c (determine_max_iter): New arg OLD_NITER. All callers
changed. Use this when trying to improve the upper bound.
Generate the comparison by using simplify_gen_relational.
From-SVN: r145354
Bernd Schmidt [Tue, 31 Mar 2009 15:19:33 +0000 (15:19 +0000)]
simplify-rtx.c (simplify_relational_operation_1): Simplify (LTU (PLUS a C) C) or (LTU (PLUS a C) a) to (GEU a -C)...
* simplify-rtx.c (simplify_relational_operation_1): Simplify
(LTU (PLUS a C) C) or (LTU (PLUS a C) a) to (GEU a -C); likewise with
GEU/LTU reversed.
From-SVN: r145353
Bernd Schmidt [Tue, 31 Mar 2009 15:16:41 +0000 (15:16 +0000)]
loop-iv.c (simplify_using_condition): A condition of the form (EQ REG CONST) can be used to simply make a substitution.
* loop-iv.c (simplify_using_condition): A condition of the form
(EQ REG CONST) can be used to simply make a substitution.
(simplify_using_initial_values): Keep track of conditions we have seen
and keep using them to simplify new expressions, while applying the
same substitutions to them as to the expression.
From-SVN: r145352
Bernd Schmidt [Tue, 31 Mar 2009 15:15:04 +0000 (15:15 +0000)]
loop-iv.c (suitable_set_for_replacement): Renamed from simplify_using_assignment...
* loop-iv.c (suitable_set_for_replacement): Renamed from
simplify_using_assignment; changed to return bool and to accept new
args DEST and SRC. Return true iff we find a source/destination pair
that can be used to make a replacement, and fill SRC and DEST if so.
Remove arg ALTERED. Don't deal with altered regs here. All callers
changed.
(simplify_using_initial_values): Deal with altered regs here and track
more precisely the effect they have on the validity of our expression.
From-SVN: r145351
Ramana Radhakrishnan [Tue, 31 Mar 2009 14:41:32 +0000 (14:41 +0000)]
Fix documentation for -mthumb
From-SVN: r145347
Richard Guenther [Tue, 31 Mar 2009 14:28:16 +0000 (14:28 +0000)]
re PR middle-end/31029 (Fold does not fold C - a == a)
2009-03-31 Richard Guenther <rguenther@suse.de>
PR middle-end/31029
* fold-const.c (fold_binary): Fold X +- Y CMP X to Y CMP 0 for
equality comparisons. Fold C - X CMP X if C % 2 == 1.
* gcc.dg/fold-compare-4.c: New testcase.
* gcc.dg/fold-compare-5.c: Likewise.
From-SVN: r145345
Richard Guenther [Tue, 31 Mar 2009 13:16:36 +0000 (13:16 +0000)]
tree.h (div_if_zero_remainder): Declare.
2009-03-31 Richard Guenther <rguenther@suse.de>
* tree.h (div_if_zero_remainder): Declare.
* fold-const.c (div_if_zero_remainder): Export.
* tree-ssa-forwprop.c
(forward_propagate_addr_into_variable_array_index): Handle
constant array index addition outside of the variable index.
* gcc.dg/tree-ssa/forwprop-12.c: New testcase.
From-SVN: r145343
Joseph Myers [Tue, 31 Mar 2009 12:51:02 +0000 (13:51 +0100)]
re PR target/39592 (Revision 145272 breaks -ansi -msse)
PR target/39592
* config/i386/i386.md (*floatunssi<mode>2_1, two unnamed
define_splits, floatunssi<mode>2): Require x87 conversions from
DImode to be permitted.
testsuite:
* gcc.target/i386/pr39592-1.c: New test.
From-SVN: r145342
Joseph Myers [Tue, 31 Mar 2009 12:43:29 +0000 (13:43 +0100)]
re PR preprocessor/15638 (gcc should have option to treat missing headers as fatal)
PR preprocessor/15638
gcc:
* c-common.c (c_cpp_error): Handle CPP_DL_FATAL.
gcc/fortran:
* cpp.c (cb_cpp_error): Handle CPP_DL_FATAL.
gcc/testsuite:
* gcc.dg/cpp/missing-header-1.c: New test.
* gcc.dg/cpp/include2.c: Only test #include <>. Expect
"compilation terminated" message.
* gcc.dg/cpp/include2a.c: New test. Copy of include2.c but only
test #include "".
* gcc.dg/pch/counter-2.c, gcc.dg/pch/valid-1.c,
gcc.dg/pch/valid-2.c, gcc.dg/pch/warn-1.c: Expect "compilation
terminated" message.
libcpp:
* files.c (_cpp_find_file): Call open_file_failed after diagnosing
invalid PCH.
(open_file_failed): Make error for missing file fatal.
* include/cpplib.h (CPP_DL_FATAL): Define.
From-SVN: r145341
Richard Guenther [Tue, 31 Mar 2009 10:23:44 +0000 (10:23 +0000)]
re PR middle-end/23401 (Gimplifier produces too many temporaries)
2009-03-31 Richard Guenther <rguenther@suse.de>
PR middle-end/23401
PR middle-end/27810
* tree.h (DECL_GIMPLE_FORMAL_TEMP_P): Remove.
(struct tree_decl_with_vis): Remove gimple_formal_temp member.
* tree-eh.c (lower_eh_constructs_2): Move LHS assignment to
a separate statement.
* gimplify.c (pop_gimplify_context): Remove formal temp handling.
(lookup_tmp_var): Likewise.
(is_gimple_formal_tmp_or_call_rhs): Remove.
(is_gimple_reg_or_call_rhs): Rename to ...
(is_gimple_reg_rhs_or_call): ... this.
(is_gimple_mem_or_call_rhs): Rename to ...
(is_gimple_mem_rhs_or_call): ... this.
(internal_get_tmp_var): Use is_gimple_reg_rhs_or_call. Set
DECL_GIMPLE_REG_P only if is_formal is true.
(gimplify_compound_lval): Use is_gimple_reg. Remove workaround
for non-proper post-modify expression gimplification.
(gimplify_self_mod_expr): For post-modify expressions gimplify
the lvalue to a minimal lvalue.
(rhs_predicate_for): Remove formal temp case.
(gimplify_modify_expr_rhs): Likewise.
(gimplify_addr_expr): Use is_gimple_reg.
(gimplify_expr): Remove formal temp cases.
(gimple_regimplify_operands): Likewise.
* tree-ssa-pre.c (get_or_alloc_expr_for): Treat EXC_PTR_EXPR
and FILTER_EXPR like constants.
* gimple.c (walk_gimple_op): Fix val_only initialization, use
is_gimple_reg.
(is_gimple_formal_tmp_rhs): Remove.
(is_gimple_reg_rhs): Remove special casing.
(is_gimple_mem_rhs): Fix.
(is_gimple_reg): Move DECL_GIMPLE_REG_P handling earlier.
(is_gimple_formal_tmp_var): Remove.
(is_gimple_formal_tmp_reg): Likewise.
(is_gimple_min_lval): Allow invariant component ref parts.
* gimple.h (is_gimple_formal_tmp_rhs, is_gimple_formal_tmp_var,
is_gimple_formal_tmp_reg): Remove declarations.
* tree-cfg.c (verify_expr): Verify that variables with address
taken do not have DECL_GIMPLE_REG_P set.
* tree-mudflap.c (mf_build_check_statement_for): Use
force_gimple_operand instead of gimplify_expr.
java/
* java-gimplify.c (java_gimplify_expr): Do not manually gimplify
the first operand of binary and comaprison expressions.
* gcc.dg/tree-ssa/pr23401.c: New testcase.
* gcc.dg/tree-ssa/pr27810.c: Likewise.
From-SVN: r145338
Ayal Zaks [Tue, 31 Mar 2009 06:19:06 +0000 (06:19 +0000)]
SMS - Pass the actual schedulable rows to compute_split_row
From-SVN: r145333
Ben Elliston [Tue, 31 Mar 2009 05:25:08 +0000 (05:25 +0000)]
re PR target/31635 (-mno-vrsave ignored on ppc64)
PR target/31635
* config/rs6000/rs6000.c (rs6000_handle_option): Handle
OPT_mvrsave.
From-SVN: r145332
Steven G. Kargl [Tue, 31 Mar 2009 04:38:12 +0000 (04:38 +0000)]
alloc_alloc_expr_1.f90: Adjust for new error message.
2008-12-10 Steven G. Kargl <kargls@comcast.net>
* gfortran.dg/alloc_alloc_expr_1.f90: Adjust for new error message.
* gfortran.dg/allocate_alloc_opt_1.f90: New test.
* gfortran.dg/allocate_alloc_opt_2.f90: Ditto.
* gfortran.dg/allocate_alloc_opt_3.f90: Ditto.
* gfortran.dg/deallocate_alloc_opt_1.f90: Ditto.
* gfortran.dg/deallocate_alloc_opt_2.f90: Ditto.
* gfortran.dg/deallocate_alloc_opt_3.f90: Ditto.
2008-12-10 Steven G. Kargl <kargls@comcast.net>
* trans-stmt.c(gfc_trans_allocate): Add translation of ERRMSG.
(gfc_trans_deallocate): Add translation of ERRMSG. Remove stale
comments. Minor whitespace cleanup.
* resolve.c(is_scalar_expr_ptr): Whitespace cleanup.
(resolve_deallocate_expr (gfc_expr *e): Update error message.
(resolve_allocate_expr): Remove dead code. Update error message.
Move error checking to ...
(resolve_allocate_deallocate): ... here. Add additional error
checking for STAT, ERRMSG, and allocate-objects.
* match.c(gfc_match_allocate,gfc_match_deallocate): Parse ERRMSG.
Check for redundant uses of STAT and ERRMSG. Reword error message
and add checking for pointer, allocatable, and proc_pointer attributes.
From-SVN: r145331
Alan Modra [Tue, 31 Mar 2009 03:11:34 +0000 (03:11 +0000)]
* doc/invoke.texi (RS/6000 and PowerPC Options):Document mtls-markers.
* configure.ac (HAVE_AS_TLS_MARKERS): New gas feature check.
* configure: Regenerate.
* config.in: Regenerate.
* config/rs6000/rs6000.opt (mtls-markers): Add.
* config/rs6000/rs6000.h (TARGET_TLS_MARKERS): Define.
* config/rs6000/rs6000.md (tls_gd_aix, tls_gd_sysv): Add splitter.
(tls_ld_aix, tls_ld_sysv): Likewise.
(tls_gd, tls_gd_call_aix, tls_gd_call_sysv): New insns.
(tls_ld, tls_ld_call_aix, tls_ld_call_sysv): Likewise.
From-SVN: r145330
Ben Elliston [Tue, 31 Mar 2009 01:56:52 +0000 (01:56 +0000)]
re PR libmudflap/38462 (test libmudflap.c/fail27-frag.c fails output pattern test for ppc64)
PR libmudflap/38462
* testsuite/libmudflap.c/fail27-frag.c: Match `mudflap dead
object', not `mudflap object'.
From-SVN: r145328
Alan Modra [Tue, 31 Mar 2009 01:41:03 +0000 (12:11 +1030)]
spu.c (spu_expand_prologue): Delete redundant code.
* config/spu/spu.c (spu_expand_prologue): Delete redundant code.
From-SVN: r145327
GCC Administrator [Tue, 31 Mar 2009 00:17:23 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r145326
Jan Hubicka [Mon, 30 Mar 2009 22:35:22 +0000 (00:35 +0200)]
tree-eh.c (make_eh_edges): Set probability 100% to first edge out of RESX.
* tree-eh.c (make_eh_edges): Set probability 100% to first edge out of RESX.
(tree_remove_unreachable_handlers): Cleanup EH predecestor detection and label
handling.
From-SVN: r145322
Ian Lance Taylor [Mon, 30 Mar 2009 21:45:51 +0000 (21:45 +0000)]
hashtable.h (clear): Return quickly if the table is empty.
* include/backward/hashtable.h (clear): Return quickly if the
table is empty.
From-SVN: r145318
Sergiy Vyshnevetskiy [Mon, 30 Mar 2009 20:54:18 +0000 (20:54 +0000)]
re PR preprocessor/31932 (cpp -f*-charset and gcj --encoding accept no values except UTF-8)
2009-03-30 Sergiy Vyshnevetskiy <serg@vostok.net>
PR preprocessor/31932:
* internal.h: Don't mention HAVE_ICONV_H.
* configure, config.in: Rebuild.
* configure.ac: Don't check for iconv.h.
From-SVN: r145316
Paul Thomas [Mon, 30 Mar 2009 19:35:14 +0000 (19:35 +0000)]
re PR fortran/22571 (Reject derived types for dummy arguments declared in the subroutine unless they are SEQUENCE)
2009-03-30 Paul Thomas <pault@gcc.gnu.org>
PR fortran/22571
PR fortran/26227
PR fortran/24886
* symbol.c : Add gfc_global_ns_list.
* decl.c (add_global_entry): Set the namespace ('ns') field.
* gfortran.h : Add the resolved field to gfc_namespace. Add the
namespace ('ns') field to gfc_gsymbol. Add flag_whole_file to
gfc_option_t. Add the prototype for gfc_free_dt_list.
* lang.opt : Add the whole-file option.
* invoke.texi : Document the whole-file option.
* resolve.c (resolve_global_procedure): If the fwhole-file
option is set, reorder gsymbols to ensure that translation is
in the right order. Resolve the gsymbol's namespace if that
has not occurred and then check interfaces.
(resolve_function): Move call to resolve_global_procedure.
(resolve_call): The same.
(resolve_codes): Store the current labels_obstack.
(gfc_resolve) : Return if the namespace is already resolved.
trans-decl.c (gfc_get_extern_function_decl): If the whole_file
option is selected, use the backend_decl of a gsymbol, if it is
available.
parse.c (add_global_procedure, add_global_program): If the flag
whole-file is set, add the namespace to the gsymbol.
(gfc_parse_file): On -fwhole-file, put procedure namespaces on
the global namespace list. Rearrange to do resolution of all
the procedures in a file, followed by their translation.
* options.c (gfc_init_options): Add -fwhole-file.
(gfc_handle_option): The same.
2009-03-30 Paul Thomas <pault@gcc.gnu.org>
PR fortran/22571
* gfortran.dg/whole_file_1.f90: New test.
PR fortran/26227
* gfortran.dg/whole_file_2.f90: New test.
* gfortran.dg/whole_file_3.f90: New test.
PR fortran/24886
* gfortran.dg/whole_file_4.f90: New test.
From-SVN: r145314
Vladimir Makarov [Mon, 30 Mar 2009 18:51:25 +0000 (18:51 +0000)]
ira-int.h (ira_allocno): Rename left_conflicts_num to left_conflicts_size.
2009-03-30 Vladimir Makarov <vmakarov@redhat.com>
* ira-int.h (ira_allocno): Rename left_conflicts_num to
left_conflicts_size.
(ALLOCNO_LEFT_CONFLICTS_NUM): Rename to
ALLOCNO_LEFT_CONFLICTS_SIZE.
* ira-color.c (allocno_spill_priority, push_allocno_to_stack,
remove_allocno_from_bucket_and_push,
allocno_spill_priority_compare, push_allocnos_to_stack,
setup_allocno_available_regs_num): Use ALLOCNO_LEFT_CONFLICTS_SIZE
instead of ALLOCNO_LEFT_CONFLICTS_NUM.
(setup_allocno_left_conflicts_num): Ditto. Rename to
setup_allocno_left_conflicts_size.
(put_allocno_into_bucket): Use ALLOCNO_LEFT_CONFLICTS_SIZE
instead of ALLOCNO_LEFT_CONFLICTS_NUM and
setup_allocno_left_conflicts_size instead of
setup_allocno_left_conflicts_num.
* ira-build.c (ira_create_allocno): Use
ALLOCNO_LEFT_CONFLICTS_SIZE instead of
ALLOCNO_LEFT_CONFLICTS_NUM.
From-SVN: r145312
Vladimir Makarov [Mon, 30 Mar 2009 17:59:21 +0000 (17:59 +0000)]
reload.c (push_reload, [...]): Use df_get_live_out instead of DF_LR_OUT.
2009-03-30 Vladimir Makarov <vmakarov@redhat.com>
* reload.c (push_reload, find_dummy_reload): Use df_get_live_out
instead of DF_LR_OUT.
* ira-lives.c (process_bb_node_lives): Ditto.
* ira-color.c (ira_loop_edge_freq): Use df_get_live_{out,in}
instead of DF_LR_{OUT,IN}.
* ira-emit.c (generate_edge_moves, add_ranges_and_copies): Ditto.
* ira-build.c (create_bb_allocnos, create_loop_allocnos): Ditto.
From-SVN: r145309
Ulrich Weigand [Mon, 30 Mar 2009 17:37:02 +0000 (17:37 +0000)]
f95-lang.c (gfc_init_builtin_functions): Define BUILT_IN_HUGE_VAL family of intrinsics instead of BUILT_IN_INF family.
* f95-lang.c (gfc_init_builtin_functions): Define BUILT_IN_HUGE_VAL
family of intrinsics instead of BUILT_IN_INF family.
* trans-intrinsics.c (gfc_conv_intrinsic_nearest): Use
BUILT_IN_HUGE_VAL instead of BUILT_IN_INF.
From-SVN: r145307
Jan Hubicka [Mon, 30 Mar 2009 16:49:52 +0000 (18:49 +0200)]
* except.c (label_to_region_map): Fix thinko.
From-SVN: r145304
Steve Ellcey [Mon, 30 Mar 2009 16:43:40 +0000 (16:43 +0000)]
re PR middle-end/38237 (multiple weak directives)
PR middle-end/38237
* tree.h (tree_find_value): New declaration.
* tree.c (tree_find_value): New function.
* varasm.c (assemble_external): Avoid duplicate entries on lists.
From-SVN: r145303
Joseph Myers [Mon, 30 Mar 2009 15:31:43 +0000 (16:31 +0100)]
* update_version_svn (IGNORE_BRANCHES): Add 4.2 branch.
From-SVN: r145301
Tom Tromey [Mon, 30 Mar 2009 15:25:42 +0000 (15:25 +0000)]
re PR preprocessor/39512 (linemap_init in lex.c does not initialize reallocator)
PR preprocessor/39512:
* line-map.c (linemap_init): Initialize 'reallocator' field.
From-SVN: r145300
Jakub Jelinek [Mon, 30 Mar 2009 15:00:52 +0000 (17:00 +0200)]
re PR target/39558 (Bad interaction of decls named 'vector' and -maltivec vector support)
PR target/39558
* macro.c (cpp_get_token): If macro_to_expand returns NULL
and used some tokens, add CPP_PADDING before next token.
* gcc.target/powerpc/altivec-29.c: New test.
From-SVN: r145297
Jakub Jelinek [Mon, 30 Mar 2009 14:38:08 +0000 (16:38 +0200)]
trans-types.c (gfc_sym_type, [...]): For sym->attr.result check sym->ns->proc_name->attr.is_bind_c.
* trans-types.c (gfc_sym_type, gfc_return_by_reference): For
sym->attr.result check sym->ns->proc_name->attr.is_bind_c.
* gfortran.dg/bind_c_usage_19.f90: New test.
From-SVN: r145294
Jakub Jelinek [Mon, 30 Mar 2009 14:35:03 +0000 (16:35 +0200)]
re PR debug/39563 (C block scopes have no DW_TAG_lexical_block)
PR debug/39563
* c-decl.c (struct c_binding): Add locus field.
(bind): Add locus argument, set locus field from it.
(pop_scope): For b->nested VAR_DECL or FUNCTION_DECL,
add a DECL_EXTERNAL copy of b->decl to current BLOCK_VARS.
(push_file_scope, pushtag, pushdecl, pushdecl_top_level,
implicitly_declare, undeclared_variable, lookup_label,
declare_label, c_make_fname_decl, c_builtin_function,
c_builtin_function_ext_scope, store_parm_decls_newstyle): Adjust
bind callers.
From-SVN: r145293
H.J. Lu [Mon, 30 Mar 2009 14:29:10 +0000 (14:29 +0000)]
re PR target/38781 (PR38151: valgrind finds problem)
2008-03-30 H.J. Lu <hongjiu.lu@intel.com>
PR target/38781
* config/i386/i386.c (classify_argument): Check total size of
structure.
From-SVN: r145292
Martin Jambor [Mon, 30 Mar 2009 13:06:52 +0000 (15:06 +0200)]
ipa-prop.h (jump_func_type): Rename IPA_UNKNOWN...
2009-03-30 Martin Jambor <mjambor@suse.cz>
* ipa-prop.h (jump_func_type): Rename IPA_UNKNOWN, IPA_CONST,
IPA_CONST_MEMBER_PTR, and IPA_PASS_THROUGH to IPA_JF_UNKNOWN,
IPA_JF_CONST, IPA_JF_CONST_MEMBER_PTR, and IPA_JF_PASS_THROUGH
respectively.
* tree-dfa.c (get_ref_base_and_extent): Return -1 maxsize if
seen_variable_array_ref while also traversing a union.
* tree-inline.c (optimize_inline_calls): Do not call
cgraph_node_remove_callees.
* cgraphbuild.c (remove_cgraph_callee_edges): New function.
(pass_remove_cgraph_callee_edges): New variable.
* passes.c (init_optimization_passes): Add
pass_remove_cgraph_callee_edges after early inlining and before all
late intraprocedural passes.
* omp-low.c (expand_omp_taskreg): Always set current_function_decl.
From-SVN: r145291
Dominique d'Humieres [Mon, 30 Mar 2009 12:59:27 +0000 (14:59 +0200)]
re PR bootstrap/39583 (Revision 145255 breaks bootstrap with obj-c++)
2009-03-30 Dominique d'Humieres <dominiq@lps.ens.fr>
PR bootstrap/39583
* objc-act.c (in_late_binary_op): Define for Objective-C++.
From-SVN: r145290
Eric Botcazou [Mon, 30 Mar 2009 10:12:34 +0000 (10:12 +0000)]
Fix formatting
From-SVN: r145289
Paolo Bonzini [Mon, 30 Mar 2009 10:10:17 +0000 (10:10 +0000)]
sparc.md (*nand<V64mode>_vis, [...]): Fix typos in names.
2009-03-30 Paolo Bonzini <bonzini@gnu.org>
* config/sparc/sparc.md (*nand<V64mode>_vis, *nand<V32mode>_vis):
Fix typos in names.
From-SVN: r145288
Paolo Bonzini [Mon, 30 Mar 2009 09:29:51 +0000 (09:29 +0000)]
decl.c (maybe_pad_type): Use TREE_OVERFLOW instead of TREE_CONSTANT_OVERFLOW.
2009-03-30 Paolo Bonzini <bonzini@gnu.org>
* gcc-interface/decl.c (maybe_pad_type): Use TREE_OVERFLOW
instead of TREE_CONSTANT_OVERFLOW.
From-SVN: r145287
Paolo Bonzini [Mon, 30 Mar 2009 09:11:19 +0000 (09:11 +0000)]
combine.c (simplify_comparison): Use have_insn_for.
2009-03-30 Paolo Bonzini <bonzini@gnu.org>
* combine.c (simplify_comparison): Use have_insn_for.
* dojump.c (do_jump): Likewise.
From-SVN: r145285
Paolo Bonzini [Mon, 30 Mar 2009 09:09:52 +0000 (09:09 +0000)]
sparc.c (sparc_compare_emitted): Remove.
2009-03-30 Paolo Bonzini <bonzini@gnu.org>
* config/sparc/sparc.c (sparc_compare_emitted): Remove.
(gen_compare_reg, emit_v9_brxx_insn): Handle MODE_CC
sparc_compare_op0 like sparc_compare_emitted used to be handled.
(sparc_expand_compare_and_swap_12): Set sparc_compare_op0
instead of sparc_compare_emitted.
* config/sparc/sparc.h (sparc_compare_emitted): Remove.
* config/sparc/sparc.md (stack_protect_test): Set sparc_compare_op0
instead of sparc_compare_emitted.
From-SVN: r145284
Paolo Bonzini [Mon, 30 Mar 2009 08:58:52 +0000 (08:58 +0000)]
bb-reorder.c (partition_hot_cold_basic_blocks): Do not enter/exit cfglayout mode.
2009-03-30 Paolo Bonzini <bonzini@gnu.org>
* bb-reorder.c (partition_hot_cold_basic_blocks): Do not
enter/exit cfglayout mode.
(pass_partition_block): Require it.
* combine.c (find_single_use, reg_dead_at_p): Use CFG.
(combine_instructions): Track basic blocks instead of labels.
(update_cfg_for_uncondjump): New.
(try_combine): Use it. Update jumps after rescanning.
(pass_combine): Require PROP_cfglayout.
* passes.c (pass_outof_cfg_layout_mode): Move after regmove.
From-SVN: r145283
Paolo Bonzini [Mon, 30 Mar 2009 08:23:00 +0000 (08:23 +0000)]
cfglayout.c (pass_into_cfg_layout_mode, [...]): Provide/destroy PROP_cfglayout respectively.
2009-03-09 Paolo Bonzini <bonzini@gnu.org>
* cfglayout.c (pass_into_cfg_layout_mode, pass_outof_cfg_layout_mode):
Provide/destroy PROP_cfglayout respectively.
* gcse.c (pass_jump_bypass, pass_gcse): Require it.
* tree-pass.h (PROP_cfglayout): New.
From-SVN: r145282
Paolo Bonzini [Mon, 30 Mar 2009 08:20:32 +0000 (08:20 +0000)]
fold-const.c (const_binop, [...]): Do not set TREE_CONSTANT_OVERFLOW.
2009-03-30 Paolo Bonzini <bonzini@gnu.org>
* fold-const.c (const_binop, fold_convert_const_real_from_fixed,
fold_convert_const_fixed_from_fixed,
fold_convert_const_fixed_from_int,
fold_convert_const_fixed_from_real, fold_negate_const): Do not
set TREE_CONSTANT_OVERFLOW.
* tree.def: Remove mention of TREE_CONSTANT_OVERFLOW.
* tree.h (TREE_CONSTANT_OVERFLOW): Delete.
From-SVN: r145281
Ira Rosen [Mon, 30 Mar 2009 07:22:04 +0000 (07:22 +0000)]
tree-vect-loop-manip.c: New file.
* tree-vect-loop-manip.c: New file.
* tree-vectorizer.c: Update documentation and included files.
(vect_loop_location): Make extern.
(rename_use_op): Move to tree-vect-loop-manip.c
(rename_variables_in_bb, rename_variables_in_loop,
slpeel_update_phis_for_duplicate_loop,
slpeel_update_phi_nodes_for_guard1,
slpeel_update_phi_nodes_for_guard2, slpeel_make_loop_iterate_ntimes,
slpeel_tree_duplicate_loop_to_edge_cfg, slpeel_add_loop_guard,
slpeel_can_duplicate_loop_p, slpeel_verify_cfg_after_peeling,
set_prologue_iterations, slpeel_tree_peel_loop_to_edge,
find_loop_location): Likewise.
(new_stmt_vec_info): Move to tree-vect-stmts.c.
(init_stmt_vec_info_vec, free_stmt_vec_info_vec, free_stmt_vec_info,
get_vectype_for_scalar_type, vect_is_simple_use,
supportable_widening_operation, supportable_narrowing_operation):
Likewise.
(bb_in_loop_p): Move to tree-vect-loop.c.
(new_loop_vec_info, destroy_loop_vec_info,
reduction_code_for_scalar_code, report_vect_op,
vect_is_simple_reduction, vect_is_simple_iv_evolution): Likewise.
(vect_can_force_dr_alignment_p): Move to tree-vect-data-refs.c.
(vect_supportable_dr_alignment): Likewise.
* tree-vectorizer.h (tree-data-ref.h): Include.
(vect_loop_location): Declare.
Reorganize function declarations according to the new file structure.
* tree-vect-loop.c: New file.
* tree-vect-analyze.c: Remove. Move functions to tree-vect-data-refs.c,
tree-vect-stmts.c, tree-vect-slp.c, tree-vect-loop.c.
* tree-vect-data-refs.c: New file.
* tree-vect-patterns.c (timevar.h): Don't include.
* tree-vect-stmts.c: New file.
* tree-vect-transform.c: Remove. Move functions to tree-vect-stmts.c,
tree-vect-slp.c, tree-vect-loop.c.
* Makefile.in (OBJS-common): Remove tree-vect-analyze.o and
tree-vect-transform.o. Add tree-vect-data-refs.o, tree-vect-stmts.o,
tree-vect-loop.o, tree-vect-loop-manip.o, tree-vect-slp.o.
(tree-vect-analyze.o): Remove.
(tree-vect-transform.o): Likewise.
(tree-vect-data-refs.o): Add rule.
(tree-vect-stmts.o, tree-vect-loop.o, tree-vect-loop-manip.o,
tree-vect-slp.o): Likewise.
(tree-vect-patterns.o): Remove redundant dependencies.
(tree-vectorizer.o): Likewise.
* tree-vect-slp.c: New file.
From-SVN: r145280
Ralf Wildenhues [Mon, 30 Mar 2009 05:55:57 +0000 (05:55 +0000)]
optc-gen.awk: Warn if an option flag has multiple different help strings.
gcc/
* optc-gen.awk: Warn if an option flag has multiple different
help strings.
From-SVN: r145278
Ben Elliston [Mon, 30 Mar 2009 02:29:05 +0000 (02:29 +0000)]
Merge botch fixed.
* decNumber.c, decNumber.h, decNumberLocal.h, decDouble.c,
decDouble.h, decSingle.c, decContext.c, decSingle.h, decPacked.c,
decCommon.c, decContext.h, decQuad.c, decPacked.h, decQuad.h,
decDPD.h, decBasic.c: Upgrade to decNumber 3.61.
* dpd/decimal128.h, dpd/decimal32.c, dpd/decimal32.h,
dpd/decimal64.c, dpd/decimal128.c, dpd/decimal64.h: Likewise.
From-SVN: r145274
Sebastian Pop [Mon, 30 Mar 2009 02:04:50 +0000 (02:04 +0000)]
invoke.texi (-floop-interchange, [...]): Document dependences on PPL, CLooG and Graphite.
2009-03-30 Sebastian Pop <sebastian.pop@amd.com>
* doc/invoke.texi (-floop-interchange, -floop-strip-mine,
-floop-block): Document dependences on PPL, CLooG and Graphite.
From-SVN: r145273
Joseph Myers [Mon, 30 Mar 2009 01:50:44 +0000 (02:50 +0100)]
re PR middle-end/323 (optimized code gives strange floating point results)
PR rtl-optimization/323
* c-common.c (c_fully_fold, convert_and_check,
c_common_truthvalue_conversion): Handle EXCESS_PRECISION_EXPR.
(c_fully_fold_internal): Disallow EXCESS_PRECISION_EXPR.
* c-common.def (EXCESS_PRECISION_EXPR): New.
* c-cppbuiltin.c (builtin_define_float_constants): Define
constants with enough digits for long double.
* c-lex.c (interpret_float): Interpret constant with excess
precision where appropriate.
* c-opts.c (c_common_post_options): Set
flag_excess_precision_cmdline. Give an error for
-fexcess-precision=standard for C++ for processors where the
option is significant.
* c-parser.c (c_parser_conditional_expression): Handle excess
precision in condition.
* c-typeck.c (convert_arguments): Handle arguments with excess
precision.
(build_unary_op): Move excess precision outside operation.
(build_conditional_expr): Likewise.
(build_compound_expr): Likewise.
(build_c_cast): Do cast on operand of EXCESS_PRECISION_EXPR.
(build_modify_expr): Handle excess precision in RHS.
(convert_for_assignment): Handle excess precision in converted
value.
(digest_init, output_init_element, process_init_element): Handle
excess precision in initializer.
(c_finish_return): Handle excess precision in return value.
(build_binary_op): Handle excess precision in operands and add
excess precision as needed for operation.
* common.opt (-fexcess-precision=): New option.
* config/i386/i386.h (X87_ENABLE_ARITH, X87_ENABLE_FLOAT): New.
* config/i386/i386.md (float<SSEMODEI24:mode><X87MODEF:mode>2):
For standard excess precision, output explicit conversion to and
truncation from XFmode.
(*float<SSEMODEI24:mode><X87MODEF:mode>2_1,
*float<SSEMODEI24:mode><X87MODEF:mode>2_i387_with_temp,
*float<SSEMODEI24:mode><X87MODEF:mode>2_i387, two unnamed
define_splits, floatdi<X87MODEF:mode>2_i387_with_xmm, two unnamed
define_splits, *floatunssi<mode>2_1, two unnamed define_splits,
floatunssi<mode>2, add<mode>3, sub<mode>3, mul<mode>3, divdf3,
divsf3, *fop_<mode>_comm_i387, *fop_<mode>_1_i387,
*fop_<MODEF:mode>_2_i387, *fop_<MODEF:mode>_3_i387,
*fop_df_4_i387, *fop_df_5_i387, *fop_df_6_i387, two unnamed
define_splits, sqrt<mode>2): Disable where appropriate for
standard excess precision.
* convert.c (convert_to_real): Do not shorten arithmetic to type
for which excess precision would be used.
* defaults.h (TARGET_FLT_EVAL_METHOD_NON_DEFAULT): Define.
* doc/invoke.texi (-fexcess-precision=): Document option.
(-mfpmath=): Correct index entry.
* flags.h (enum excess_precision, flag_excess_precision_cmdline,
flag_excess_precision): New.
* langhooks.c (lhd_post_options): Set
flag_excess_precision_cmdline.
* opts.c (common_handle_option): Handle -fexcess-precision=.
* toplev.c (flag_excess_precision_cmdline, flag_excess_precision,
init_excess_precision): New.
(lang_dependent_init_target): Call init_excess_precision.
* tree.c (excess_precision_type): New.
* tree.h (excess_precision_type): Declare.
ada:
* gcc-interface/misc.c (gnat_post_options): Set
flag_excess_precision_cmdline. Give an error for
-fexcess-precision=standard for processors where the option is
significant.
fortran:
* options.c (gfc_post_options): Set
flag_excess_precision_cmdline. Give an error for
-fexcess-precision=standard for processors where the option is
significant.
java:
* lang.c (java_post_options): Set flag_excess_precision_cmdline.
Give an error for -fexcess-precision=standard for processors where
the option is significant.
testsuite:
* gcc.target/i386/excess-precision-1.c,
gcc.target/i386/excess-precision-2.c,
gcc.target/i386/excess-precision-3.c,
gcc.target/i386/excess-precision-4.c,
gcc.target/i386/excess-precision-5.c,
gcc.target/i386/excess-precision-6.c: New tests.
From-SVN: r145272
Joseph Myers [Mon, 30 Mar 2009 01:25:37 +0000 (02:25 +0100)]
re PR c/35235 (struct/union rvalue qualifiers must not propagate to members)
PR c/35235
* c-typeck.c (build_component_ref): Do not copy qualifiers from
non-lvalue to component.
testsuite:
* gcc.dg/c99-array-lval-8.c: New test.
From-SVN: r145271
GCC Administrator [Mon, 30 Mar 2009 00:17:01 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r145268