Dodji Seketeli [Tue, 18 Oct 2011 08:44:49 +0000 (08:44 +0000)]
Fix bootstrap on !NO_IMPLICIT_EXTERN_C and ia32 targets
libcpp/
* include/line-map.h (struct linemap_stats): Change the type of
the members from size_t to long.
* macro.c (macro_arg_token_iter_init): Unconditionally initialize
iter->location_ptr.
gcc/c-family/
* c-lex.c (fe_file_change): Use LINEMAP_SYSP when
!NO_IMPLICIT_EXTERN_C.
gcc/
* input.c (dump_line_table_statistics): Use long, not size_t.
From-SVN: r180124
Eric Botcazou [Tue, 18 Oct 2011 07:24:51 +0000 (07:24 +0000)]
Remove bogus line
From-SVN: r180123
Eric Botcazou [Tue, 18 Oct 2011 07:20:38 +0000 (07:20 +0000)]
* config/sparc/sparc.md (in_call_delay): Fix formatting issues.
From-SVN: r180122
Benjamin Kosnik [Tue, 18 Oct 2011 02:58:06 +0000 (02:58 +0000)]
[multiple changes]
2011-10-17 Michael Spertus <mike_spertus@symantec.com>
* gcc/c-family/c-common.c (c_common_reswords): Add __bases,
__direct_bases.
* gcc/c-family/c-common.h: Add RID_BASES and RID_DIRECT_BASES.
2011-10-17 Michael Spertus <mike_spertus@symantec.com>
* cp-tree.def: Add BASES as a new tree code.
* cp-tree.h (enum cp_trait_kind): Add CPTK_BASES, CPTK_DIRECT_BASES.
(BASES_TYPE, BASES_DIRECT): Define.
(calculate_bases, finish_bases, calculate_direct_bases): Declare.
* parser.c (cp_parser_trait_expr, cp_parser_template_argument_list,
(cp_parser_simple_type_specifier, cp_parser_save_nsdmi): Use them.
* pt.c (find_parameter_packs_r, tsubst_pack_expansion): Likewise.
* semantics.c (calculate_bases, finish_bases, calculate_direct_bases,
dfs_calculate_bases_pre, dfs_calculate_bases_post,
calculate_bases_helper): Define.
2011-10-17 Michael Spertus <mike_spertus@symantec.com>
* g++.dg/ext/bases.C: New test.
2011-10-17 Michael Spertus <mike_spertus@symantec.com>
* include/tr2/type_traits (bases, direct_bases, typelist): New.
2011-10-17 Benjamin Kosnik <bkoz@redhat.com>
* libstdc++-v3/include/Makefile.am: Add tr2 directory and includes.
* libstdc++-v3/include/Makefile.in: Regenerate.
* scripts/create_testsuite_files: Search tr2 directory.
* testsuite/libstdc++-dg/conformance.exp: Same.
* testsuite/tr2/bases/requirements/explicit_instantiation.cc: New.
* testsuite/tr2/bases/requirements/typedefs.cc: New.
* testsuite/tr2/bases/value.cc: New.
* testsuite/tr2/direct_bases/requirements/
explicit_instantiation.cc: New.
* testsuite/tr2/direct_bases/requirements/typedefs.cc: New.
* testsuite/tr2/direct_bases/value.cc: New.
From-SVN: r180121
Richard Henderson [Tue, 18 Oct 2011 00:25:30 +0000 (17:25 -0700)]
Add sparc vec_perm patterns when VIS2.
* config/sparc/sparc.md (vec_perm_constv8qi, vec_perm<mode>): New
patterns.
* config/sparc/sparc.c (sparc_expand_vec_perm_bmask): New function.
* config/sparc/sparc-protos.h (sparc_expand_vec_perm_bmask): Declare.
From-SVN: r180119
GCC Administrator [Tue, 18 Oct 2011 00:18:39 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r180118
Simon Baldwin [Mon, 17 Oct 2011 23:31:25 +0000 (23:31 +0000)]
configure.ac: Add --with-native-system-header-dir.
* configure.ac: Add --with-native-system-header-dir. Set and
substitute NATIVE_SYSTEM_HEADER_DIR. Use native_system_header
when setting target_header_dir.
* config.gcc: Always set native_system_header_dir.
(*-*-gnu*): Set native_system_header_dir. Don't use t-gnu.
(i[34567]86-pc-msdosdjgpp*): Set native_system_header_dir. Don't
use i386/t-djgpp.
(i[34567]86-*-mingw* | x86_64-*-mingw*): Set
native_system_header_dir.
(spu-*-elf*): Set native_system_header_dir.
* Makefile.in (NATIVE_SYSTEM_HEADER_DIR): Set to
@NATIVE_SYSTEM_HEADER_DIR@.
(PREPROCESSOR_DEFINES): Define NATIVE_SYSTEM_HEADER_DIR.
* cppdefault.c (STANDARD_INCLUDE_DIR): Don't define.
(NATIVE_SYSTEM_HEADER_COMPONENT): Rename from
STANDARD_INCLUDE_COMPONENT.
(cpp_include_defaults): Don't use SYSTEM_INCLUDE_DIR. Rename
STANDARD_INCLUDE_DIR to NATIVE_SYSTEM_HEADER_DIR.
* system.h: Poison SYSTEM_INCLUDE_DIR, STANDARD_INCLUDE_DIR, and
STANDARD_INCLUDE_COMPONENT.
* config/i386/t-mingw32 (NATIVE_SYSTEM_HEADER_DIR): Remove.
* config/i386/t-mingw-w32: Likewise.
* config/i386/t-mingw-w64: Likewise.
* config/spu/t-spu-elf: Likewise.
* config/i386/t-djgpp: Remove.
* config/t-gnu: Remove.
* config/i386/mingw32.h (STANDARD_INCLUDE_DIR): Don't define.
(NATIVE_SYSTEM_HEADER_COMPONENT): Rename from
STANDARD_INCLUDE_COMPONENT.
* config/i386/djgpp.h (STANDARD_INCLUDE_DIR): Don't define.
* config/spu/spu-elf.h: Likewise.
* config/vms/xm-vms.h: Likewise.
* config/gnu.h: Likewise.
* config/openbsd.h (INCLUDE_DEFAULTS): Change STANDARD_INCLUDE_DIR
and STANDARD_INCLUDE_COMPONENT to NATIVE_SYSTEM_HEADER_DIR and
NATIVE_SYSTME_HEADER_COMPONENT.
* doc/install.texi (Configuration): Document
--with-native-system-header-dir. Mention it in the documentation
for --with-sysroot and --with-build-sysroot.
* doc/tm.texi.in (Driver): Don't document SYSTEM_INCLUDE_DIR or
STANDARD_INCLUDE_DIR. Rename STANDARD_INCLUDE_COMPONENT to
NATIVE_SYSTEM_HEADER_COMPONENT. Rename uses of
STANDARD_INCLUDE_DIR to NATIVE_SYSTEM_HEADER_DIR.
* doc/fragments.texi (Target Fragment): Don't document
NATIVE_SYSTEM_HEADER_DIR.
* configure, doc/tm.texi: Rebuild.
Co-Authored-By: Ian Lance Taylor <iant@google.com>
From-SVN: r180114
Richard Henderson [Mon, 17 Oct 2011 23:04:48 +0000 (16:04 -0700)]
Fix predicates used in sparc VIS edge instructions.
* config/sparc/sparc.md: Use register_or_zero_operand where rJ
is the constraint.
From-SVN: r180113
David S. Miller [Mon, 17 Oct 2011 22:50:29 +0000 (22:50 +0000)]
Segregate sparc's handling of vector vs. non-vector modes.
gcc/
* config/sparc/sparc-modes.def: Add single entry vector modes for
DImode and SImode.
* config/sparc/sparc/sparc.md (V32, V32I, V64, V64I, V64N8): Delete
mode iterators.
(mov<V32:mode>): Revert back to plain SFmode pattern.
(*movsf_insn): Likewise.
(mov<V64:mode>): Revert back to plain DFmode pattern.
(*movdf_insn_sp32): Likewise.
(*movdf_insn_sp32_v9): Likewise.
(*movdf_insn_sp64): Likewise.
(V64 mode splitters) Likewise.
(addsi3): Remove VIS alternatives.
(subsi3): Likewise.
(and<V64I:mode>3): Revert to DImode only pattern.
(and<V64I:mode>3_sp32): Likewise.
(*and<V64I:mode>3_sp64): Likewise.
(and<V32I:mode>3): Likewise.
(*and_not_<V64I:mode>_sp32): Likewise.
(*and_not_<V64I:mode>_sp64): Likewise.
(*and_not_<V32I:mode>): Likewise.
(ior<V64I:mode>3): Likewise.
(*ior<V64I:mode>3_sp32): Likewise.
(*ior<V64I:mode>3_sp64): Likewise.
(ior<V32I:mode>3): Likewise.
(*or_not_<V64I:mode>_sp32): Likewise.
(*or_not_<V64I:mode>_sp64): Likewise.
(*or_not_<V32I:mode>): Likewise.
(xor<V64I:mode>3): Likewise.
(*xor<V64I:mode>3_sp32): Likewise.
(*xor<V64I:mode>3_sp64): Likewise.
(xor<V32I:mode>3): Likewise.
(V64I mode splitters): Likewise.
(*xor_not_<V64I:mode>_sp32): Likewise.
(*xor_not_<V64I:mode>_sp64): Likewise.
(*xor_not_<V32I:mode>): Likewise.
(one_cmpl<V64I:mode>2): Likewise.
(*one_cmpl<V64I:mode>2_sp32): Likewise.
(*one_cmpl<V64I:mode>2_sp64): Likewise.
(one_cmpl<V32I:mode>2): Likewise.
(VM32, VM64, VMALL): New mode iterators.
(vbits, vconstr, vfptype): New mode attributes.
(mov<VMALL:mode>): New expander.
(*mov<VM32:mode>_insn): New insn.
(*mov<VM64:mode>_insn_sp64): New insn.
(*mov<VM64:mode>_insn_sp32): New insn, and associated splitter
specifically for the register to memory case.
(vec_init<mode>): New expander.
(VADDSUB): New mode iterator.
(<plusminus_insn>v2si3, <plusminus_insn>v2hi3): Remove and replace
with...
(<plusminus_insn><mode>3): New consolidated pattern.
(VL): New mode iterator for logical operations.
(vlsuf): New more attribute.
(vlop): New code iterator.
(vlinsn, vlninsn): New code attributes.
(<code><mode>3): New insn to non-negated vector logical ops.
(*not_<code><mode>3): Likewise for negated variants.
(*nand<mode>_vis): New insn.
(vlnotop): New code iterator.
(*<code>_not1<mode>_vis, *<code>_not2<mode>_vis): New insns.
(one_cmpl<mode>2): New insn.
(faligndata<V64I:mode>_vis): Rewrite to use VM64 iterator.
(bshuffle<VM64:mode>_vis): Likewise.
(v<vis3_shift_patname><mode>3): Use GCM mode iterator.
(fp<plusminus_insn>64_vis): Use V1DI mode.
(VASS mode iterator): Use V1SI not SI mode.
* config/sparc/sparc.c (sparc_vis_init_builtins): Account for
single-entry vector mode changes.
(sparc_expand_builtin): Likewise.
(sparc_expand_vector_init): New function.
* config/sparc/sparc-protos.h (sparc_expand_vector_init): Declare.
gcc/testsuite/
* gcc.target/sparc/fand.c: Remove __LP64__ ifdefs and expect
all operations to emit VIS instructions.
* gcc.target/sparc/fandnot.c: Likewise.
* gcc.target/sparc/fnot.c: Likewise.
* gcc.target/sparc/for.c: Likewise.
* gcc.target/sparc/fornot.c: Likewise.
* gcc.target/sparc/fxnor.c: Likewise.
* gcc.target/sparc/fxor.c: Likewise.
* gcc.target/sparc/combined-1.c: Revert change to use -O2, no longer
needed.
From-SVN: r180112
Jakub Jelinek [Mon, 17 Oct 2011 20:22:39 +0000 (22:22 +0200)]
vshuf-v16hi.c: New test.
* gcc.c-torture/execute/vshuf-v16hi.c: New test.
* gcc.dg/torture/vshuf-16.inc: New file.
* gcc.dg/torture/vshuf-2.inc: New file.
* gcc.dg/torture/vshuf-32.inc: New file.
* gcc.dg/torture/vshuf-4.inc: New file.
* gcc.dg/torture/vshuf-8.inc: New file.
* gcc.dg/torture/vshuf-main.inc: New file.
* gcc.dg/torture/vshuf-v16hi.c: New test.
* gcc.dg/torture/vshuf-v16qi.c: New test.
* gcc.dg/torture/vshuf-v2df.c: New test.
* gcc.dg/torture/vshuf-v2di.c: New test.
* gcc.dg/torture/vshuf-v2sf.c: New test.
* gcc.dg/torture/vshuf-v2si.c: New test.
* gcc.dg/torture/vshuf-v32qi.c: New test.
* gcc.dg/torture/vshuf-v4df.c: New test.
* gcc.dg/torture/vshuf-v4di.c: New test.
* gcc.dg/torture/vshuf-v4hi.c: New test.
* gcc.dg/torture/vshuf-v4sf.c: New test.
* gcc.dg/torture/vshuf-v4si.c: New test.
* gcc.dg/torture/vshuf-v8hi.c: New test.
* gcc.dg/torture/vshuf-v8qi.c: New test.
* gcc.dg/torture/vshuf-v8sf.c: New test.
* gcc.dg/torture/vshuf-v8si.c: New test.
From-SVN: r180110
Kai Tietz [Mon, 17 Oct 2011 20:18:31 +0000 (22:18 +0200)]
fold-const.c (simple_operand_p_2): New function.
* fold-const.c (simple_operand_p_2): New function.
(fold_truthop): Rename to
(fold_truth_andor_1): function name.
Additionally remove branching creation for logical and/or.
(fold_truth_andor): Handle branching creation for logical and/or here.
From-SVN: r180109
Andi Kleen [Mon, 17 Oct 2011 19:47:12 +0000 (19:47 +0000)]
ggc-page.c (USING_MADVISE): Adjust ifdef to check for USING_MMAP.
2011-10-17 Andi Kleen <ak@linux.intel.com>
* ggc-page.c (USING_MADVISE): Adjust ifdef to check for
USING_MMAP.
From-SVN: r180107
Ira Rosen [Mon, 17 Oct 2011 19:03:02 +0000 (19:03 +0000)]
re PR tree-optimization/50746 (FAIL: gcc.dg/vect/pr37482.c (internal compiler error) on powerpc-apple-darwin9)
PR tree-optimization/50746
* gcc.dg/vect/vect-114.c: Remove vect_hw_misalign.
From-SVN: r180106
Jason Merrill [Mon, 17 Oct 2011 18:59:41 +0000 (14:59 -0400)]
re PR c++/50736 ([C++0x] ISO_IEC_14882-2011-5.1.2/10 - bug)
PR c++/50736
* parser.c (cp_parser_lambda_introducer): Check for more
invalid captures.
From-SVN: r180105
Georg-Johann Lay [Mon, 17 Oct 2011 17:53:07 +0000 (17:53 +0000)]
avr.h (ASSEMBLER_DIALECT): Remove.
* config/avr/avr.h (ASSEMBLER_DIALECT): Remove.
* config/avr/avr.md (mcu_have_movw, mcu_mega): Remove attributes.
(adjust_len): Add alternative "call".
(isa, enabled): New insn attributes.
(length): Use match_test with AVR_HAVE_JMP_CALL instead of
mcu_mega attribute.
(*sbrx_branch<mode>): Ditto.
(*sbrx_and_branch<mode>): Ditto.
(*sbix_branch): Ditto.
(*sbix_branch_bit7): Ditto.
(*sbix_branch_tmp): Ditto.
(*sbix_branch_tmp_bit7): Ditto.
(jump): Ditto.
(negsi2): Use attribute "isa" instead of assembler dialect.
(extendhisi2): Ditto.
(call_insn, call_value_insn): Set adjust_len attribute.
(indirect_jump): Indent to coding rules.
(call_prologue_saves): Use isa attribute instead of mcu_mega.
(epilogue_restores): Ditto. Fix setting of SP as described in the
RTX pattern.
(*indirect_jump): Fusion of *jcindirect_jump, *njcindirect_jump
and *indirect_jump_avr6.
(*tablejump): Fusion of *tablejump_rjmp and *tablejump_lib.
(*jcindirect_jump, *njcindirect_jump, *indirect_jump_avr6): Remove.
(*tablejump_rjmp, *tablejump_lib): Remove.
* config/avr/avr.c (adjust_insn_length): Handle ADJUST_LEN_CALL.
From-SVN: r180104
Paolo Carlini [Mon, 17 Oct 2011 17:51:00 +0000 (17:51 +0000)]
re PR c++/44524 (improve diagnostic for . vs -> typo)
/cp
2011-10-17 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/44524
* typeck.c (build_class_member_access_expr): Provide a better error
message for X.Y where X is a pointer to class type.
(finish_class_member_access_expr): Likewise.
/testsuite
2011-10-17 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/44524
* g++.dg/parse/error41.C: New.
* g++.dg/parse/error20.C: Adjust.
From-SVN: r180103
Paolo Carlini [Mon, 17 Oct 2011 17:49:06 +0000 (17:49 +0000)]
re PR c++/50757 (Cannot turn off -Wnonnull when using C++)
/gcc
2011-10-17 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/50757
* c-family/c.opt ([Wnonnull]): Add C++ and Objective-C++.
* doc/invoke.texi: Update.
/testsuite
2011-10-17 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/50757
* g++.dg/warn/format7.C: New.
* obj-c++.dg/warn7.mm: Likewise.
From-SVN: r180102
Paolo Carlini [Mon, 17 Oct 2011 17:44:42 +0000 (17:44 +0000)]
re PR c++/50757 (Cannot turn off -Wnonnull when using C++)
/gcc
2011-10-17 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/50757
* c-family/c.opt ([Wnonnull]): Add C++ and Objective-C++.
* doc/invoke.texi: Update.
/testsuite
2011-10-17 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/50757
* g++.dg/warn/format7.C: New.
* obj-c++.dg/warn7.mm: Likewise.
From-SVN: r180101
Richard Henderson [Mon, 17 Oct 2011 17:02:05 +0000 (10:02 -0700)]
re PR tree-optimization/50746 (FAIL: gcc.dg/vect/pr37482.c (internal compiler error) on powerpc-apple-darwin9)
PR 50746
* optabs.c (expand_vec_perm_expr): Fix indexing error.
From-SVN: r180100
Uros Bizjak [Mon, 17 Oct 2011 15:36:28 +0000 (17:36 +0200)]
re PR target/50737 (FAIL: Throw_3 -O3 execution, generic dwarf2 EH problem?)
libgcc/ChangeLog:
2011-10-16 Uros Bizjak <ubizjak@gmail.com>
Eric Botcazou <ebotcazou@adacore.com>
PR target/50737
* config/alpha/linux-unwind.h (alpha_fallback_frame_state): Set
fs->signal_frame to 1.
libjava/ChangeLog:
2011-10-16 Uros Bizjak <ubizjak@gmail.com>
Eric Botcazou <ebotcazou@adacore.com>
PR target/50737
* include/dwarf2-signal.h [__alpha__]: Remove MAKE_THROW_FRAME
definition.
Co-Authored-By: Eric Botcazou <ebotcazou@adacore.com>
From-SVN: r180098
Rainer Orth [Mon, 17 Oct 2011 15:14:54 +0000 (15:14 +0000)]
Remove duplicate symbol in gnu.ver (PR bootstrap/50715)
PR bootstrap/50715
* config/abi/pre/gnu.ver (CXXABI_1.3.6): Remove duplicate
__cxa_get_exception_ptr.
From-SVN: r180097
Sergio Durigan Junior [Mon, 17 Oct 2011 14:47:01 +0000 (14:47 +0000)]
configure.ac: Display `yes' if the SystemTap header has been found.
2011-10-17 Sergio Durigan Junior <sergiodj@redhat.com>
* configure.ac: Display `yes' if the SystemTap header has been
found.
* configure: Regenerate.
From-SVN: r180095
Andi Kleen [Mon, 17 Oct 2011 14:43:37 +0000 (14:43 +0000)]
Use MADV_DONTNEED for freeing in garbage collector
Use the Linux MADV_DONTNEED call to unmap free pages in the garbage
collector.Then keep the unmapped pages in the free list. This avoid
excessive memory fragmentation on large LTO bulds, which can lead
to gcc bumping into the Linux vm_max_map limit per process.
gcc/:
2011-10-08 Andi Kleen <ak@linux.intel.com>
PR other/50636
* config.in, configure: Regenerate.
* configure.ac (madvise): Add to AC_CHECK_FUNCS.
* ggc-page.c (USING_MADVISE): Add.
(page_entry): Add discarded field.
(alloc_page): Check for discarded pages.
(release_pages): Add USING_MADVISE branch.
From-SVN: r180093
Dodji Seketeli [Mon, 17 Oct 2011 14:01:37 +0000 (14:01 +0000)]
Fix bootstrapping with --disable-checking
libcpp/ChangeLog
* line-map.c (linemap_macro_map_loc_to_exp_point): Avoid setting a
variable without using it if ENABLE_CHECKING is not defined. Mark
the LOCATION parameter as being unused.
From-SVN: r180090
Richard Guenther [Mon, 17 Oct 2011 12:22:54 +0000 (12:22 +0000)]
re PR tree-optimization/50729 (Silent code gen fault: Value range propagation seems to propagate values across narrowing/widening)
2011-10-17 Richard Guenther <rguenther@suse.de>
PR tree-optimization/50729
* tree-vrp.c (extract_range_from_unary_expr_1): Remove
redundant test.
(simplify_conversion_using_ranges): Properly test the
intermediate result.
* gcc.dg/torture/pr50729.c: New testcase.
From-SVN: r180087
Tom Tromey [Mon, 17 Oct 2011 10:00:07 +0000 (10:00 +0000)]
Reduce memory waste due to non-power-of-2 allocs
This patch basically arranges for the allocation size of line_map
buffers to be as close as possible to a power of two. This
*significantly* decreases peak memory consumption as (macro) maps are
numerous and stay live during all the compilation.
The patch adds a new ggc_round_alloc_size interface to the ggc
allocator. In each of the two main allocator implementations ('page'
and 'zone') the function has been extracted from the main allocation
function code and returns the actual size of the allocated memory
region, thus giving a chance to the caller to maximize the amount of
memory it actually uses from the allocated memory region. In the
'none' allocator implementation (that uses xmalloc) the
ggc_round_alloc_size just returns the requested allocation size.
Co-Authored-By: Dodji Seketeli <dodji@redhat.com>
From-SVN: r180086
Tom Tromey [Mon, 17 Oct 2011 09:59:52 +0000 (09:59 +0000)]
Add line map statistics to -fmem-report output
This patch adds statistics about line maps' memory consumption and
macro expansion to the output of -fmem-report. It has been useful in
trying to reduce the memory consumption of the macro maps support.
Co-Authored-By: Dodji Seketeli <dodji@redhat.com>
From-SVN: r180085
Tom Tromey [Mon, 17 Oct 2011 09:59:40 +0000 (09:59 +0000)]
Support -fdebug-cpp option
This patch adds -fdebug-cpp option. When used with -E this dumps the
relevant macro map before every single token. This clutters the output
a lot but has proved to be invaluable in tracking some bugs during the
development of the virtual location support.
Co-Authored-By: Dodji Seketeli <dodji@redhat.com>
From-SVN: r180084
Tom Tromey [Mon, 17 Oct 2011 09:59:27 +0000 (09:59 +0000)]
Emit macro expansion related diagnostics
In this third instalment the diagnostic machinery -- when faced with
the virtual location of a token resulting from macro expansion -- uses
the new linemap APIs to unwind the stack of macro expansions that led
to that token and emits a [hopefully] more useful message than what we
have today.
diagnostic_report_current_module has been slightly changed to use the
location given by client code instead of the global input_location
variable. This results in more precise diagnostic locations in
general but then the patch adjusts some C++ tests which output changed
as a result of this.
Three new regression tests have been added.
The mandatory screenshot goes like this:
[dodji@adjoa gcc]$ cat -n test.c
1 #define OPERATE(OPRD1, OPRT, OPRD2) \
2 OPRD1 OPRT OPRD2;
3
4 #define SHIFTL(A,B) \
5 OPERATE (A,<<,B)
6
7 #define MULT(A) \
8 SHIFTL (A,1)
9
10 void
11 g ()
12 {
13 MULT (1.0);/* 1.0 << 1; <-- so this is an error. */
14 }
[dodji@adjoa gcc]$ ./cc1 -quiet -ftrack-macro-expansion test.c
test.c: In function 'g':
test.c:5:14: erreur: invalid operands to binary << (have 'double' and 'int')
test.c:2:9: note: in expansion of macro 'OPERATE'
test.c:5:3: note: expanded from here
test.c:5:14: note: in expansion of macro 'SHIFTL'
test.c:8:3: note: expanded from here
test.c:8:3: note: in expansion of macro 'MULT2'
test.c:13:3: note: expanded from here
Co-Authored-By: Dodji Seketeli <dodji@redhat.com>
From-SVN: r180083
Tom Tromey [Mon, 17 Oct 2011 09:59:12 +0000 (09:59 +0000)]
Generate virtual locations for tokens
This second instalment uses the infrastructure of the previous patch
to allocate a macro map for each macro expansion and assign a virtual
location to each token resulting from the expansion.
To date when cpp_get_token comes across a token that happens to be a
macro, the macro expander kicks in, expands the macro, pushes the
resulting tokens onto a "token context" and returns a dummy padding
token. The next call to cpp_get_token goes look into the token context
for the next token [which is going to result from the previous macro
expansion] and returns it. If the token is a macro, the macro expander
kicks in and you know the story.
This patch piggy-backs on that macro expansion process, so to speak.
First it modifies the macro expander to make it create a macro map for
each macro expansion. It then allocates a virtual location for each
resulting token. Virtual locations of tokens resulting from macro
expansions are then stored on a special kind of context called an
"expanded tokens context". In other words, in an expanded tokens
context, there are tokens resulting from macro expansion and their
associated virtual locations. cpp_get_token_with_location is modified
to return the virtual location of tokens resulting from macro
expansion. Note that once all tokens from an expanded token context have
been consumed and the context and is freed, the memory used to store the
virtual locations of the tokens held in that context is freed as well.
This helps reducing the overall peak memory consumption.
The client code that was getting macro expansion point location from
cpp_get_token_with_location now gets virtual location from it. Those
virtual locations can in turn be resolved into the different
interesting physical locations thanks to the linemap API exposed by
the previous patch.
Expensive progress. Possibly. So this whole virtual location
allocation business is switched off by default. So by default no
extended token is created. No extended token context is created
either. One has to use -ftrack-macro-expansion to switch this on. This
complicates the code but I believe it can be useful as some of our
friends found out at http://llvm.org/bugs/show_bug.cgi?id=5610
The patch tries to reduce the memory consumption by freeing some token
context memory that was being reused before. I didn't notice any
compilation slow down due to this immediate freeing on my GNU/Linux
system.
As no client code tries to resolve virtual locations to anything but
what was being done before, no new test case has been added.
Co-Authored-By: Dodji Seketeli <dodji@redhat.com>
From-SVN: r180082
Tom Tromey [Mon, 17 Oct 2011 09:58:56 +0000 (11:58 +0200)]
Linemap infrastructure for virtual locations
This is the first instalment of a set which goal is to track locations
of tokens across macro expansions. Tom Tromey did the original work
and attached the patch to PR preprocessor/7263. This opus is a
derivative of that original work.
This patch modifies the linemap module of libcpp to add virtual
locations support.
A virtual location is a mapped location that can resolve to several
different physical locations. It can always resolve to the spelling
location of a token. For tokens resulting from macro expansion it can
resolve to:
- either the location of the expansion point of the macro.
- or the location of the token in the definition of the
macro
- or, if the token is an argument of a function-like macro,
the location of the use of the matching macro parameter in
the definition of the macro
The patch creates a new type of line map called a macro map. For every
single macro expansion, there is a macro map that generates a virtual
location for every single resulting token of the expansion.
The good old type of line map we all know is now called an ordinary
map. That one still encodes spelling locations as it has always had.
As a result linemap_lookup as been extended to return a macro map when
given a virtual location resulting from a macro expansion. The layout
of structs line_map has changed to support this new type of map. So
did the layout of struct line_maps. Accessor macros have been
introduced to avoid messing with the implementation details of these
datastructures directly. This helped already as we have been testing
different ways of arranging these datastructure. Having to constantly
adjust client code that is too tied with the internals of line_map and
line_maps would have been even more painful.
Of course, many new public functions have been added to the linemap
module to handle the resolution of virtual locations.
This patch introduces the infrastructure but no part of the compiler
uses virtual locations yet.
However the client code of the linemap data structures has been
adjusted as per the changes. E.g, it's not anymore reliable for a
client code to manipulate struct line_map directly if it just wants to
deal with spelling locations, because struct line_map can now
represent a macro map as well. In that case, it's better to use the
convenient API to resolve the initial (possibly virtual) location to a
spelling location (or to an ordinary map) and use that.
This is the reason why the patch adjusts the Java, Ada and Fortran
front ends.
Also, note that virtual locations are not supposed to be ordered for
relations '<' and '>' anymore. To test if a virtual location appears
"before" another one, one has to use a new operator exposed by the
line map interface. The patch updates the only spot (in the
diagnostics module) I have found that was making the assumption that
locations were ordered for these relations. This is the only change
that introduces a use of the new line map API in this patch, so I am
adding a regression test for it only.
From-SVN: r180081
Paolo Carlini [Mon, 17 Oct 2011 09:48:02 +0000 (09:48 +0000)]
re PR c++/48489 (Invalid error message 'has no member named' when referring directly to the base class)
/cp
2011-10-17 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/48489
* typeck.c (finish_class_member_access_expr): Fix error call
for TREE_CODE (access_path) == TREE_BINFO.
/testsuite
2011-10-17 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/48489
* g++.dg/inherit/error5.C: New.
From-SVN: r180080
Janus Weil [Mon, 17 Oct 2011 09:46:30 +0000 (11:46 +0200)]
re PR fortran/47023 (C_Sizeof: Rejects valid code)
2011-10-17 Janus Weil <janus@gcc.gnu.org>
PR fortran/47023
PR fortran/50752
* primary.c (match_kind_param): Avoid segfault.
2011-10-17 Janus Weil <janus@gcc.gnu.org>
PR fortran/47023
PR fortran/50752
* gfortran.dg/kind_tests_4.f90: New.
From-SVN: r180079
Ira Rosen [Mon, 17 Oct 2011 08:40:14 +0000 (08:40 +0000)]
vect-21.c: Expect the loops to get vectorized on targets that support vector condition.
* gcc.dg/vect/vect-21.c: Expect the loops to get vectorized on
targets that support vector condition.
From-SVN: r180076
GCC Administrator [Mon, 17 Oct 2011 00:18:35 +0000 (00:18 +0000)]
Daily bump.
From-SVN: r180071
Andi Kleen [Sun, 16 Oct 2011 23:24:12 +0000 (23:24 +0000)]
Increase the GGC quire size to 2MB
gcc/:
2011-10-08 Andi Kleen <ak@linux.intel.com>
* ggc-page.c (GGC_QUIRE_SIZE): Increase to 512
From-SVN: r180066
Andi Kleen [Sun, 16 Oct 2011 23:22:32 +0000 (23:22 +0000)]
Add error checking to lto_section_read
gcc/lto/:
2011-10-09 Andi Kleen <ak@linux.intel.com>
* lto.c (lto_section_read): Call fatal_error on IO or mmap errors.
From-SVN: r180065
Andi Kleen [Sun, 16 Oct 2011 23:10:47 +0000 (23:10 +0000)]
Rename __gnu_slim_lto to __gnu_lto_slim
gcc/:
2011-10-13 Andi Kleen <ak@linux.intel.com>
* toplev.c (compile_file): Rename __gnu_slim_lto to __gnu_lto_slim.
From-SVN: r180064
Thomas Koenig [Sun, 16 Oct 2011 22:06:19 +0000 (22:06 +0000)]
frontend-passes.c (current_ns): Make static.
2011-10-16 Thomas Koenig <tkoenig@gcc.gnu.org>
* frontend-passes.c (current_ns): Make static.
(create_var): Note parent of newly created namespace.
(optimize_namespace): Don't wak sibling namespaces
if they are EXEC_BLOCK because this is handled...
(gfc_code_walker): ... here. Also walk ASSOCIATE lists.
From-SVN: r180063
Janus Weil [Sun, 16 Oct 2011 19:42:48 +0000 (21:42 +0200)]
re PR fortran/47023 (C_Sizeof: Rejects valid code)
2011-10-16 Janus Weil <janus@gcc.gnu.org>
PR fortran/47023
* primary.c (match_kind_param): Detect ISO_C_BINDING kinds.
(get_kind): Pass on 'is_iso_c' flag.
(match_integer_constant,match_real_constant,match_logical_constant):
Set 'ts.is_c_interop'.
2011-10-16 Janus Weil <janus@gcc.gnu.org>
PR fortran/47023
* gfortran.dg/c_kind_tests_3.f03: New.
From-SVN: r180062
Janus Weil [Sun, 16 Oct 2011 19:16:59 +0000 (21:16 +0200)]
re PR fortran/50547 (dummy procedure argument of PURE shall be PURE)
2011-10-16 Janus Weil <janus@gcc.gnu.org>
PR fortran/50547
* resolve.c (resolve_formal_arglist): Remove unneeded error message.
Some reshuffling.
2011-10-16 Janus Weil <janus@gcc.gnu.org>
PR fortran/50547
* gfortran.dg/elemental_args_check_4.f90: New.
From-SVN: r180061
Ira Rosen [Sun, 16 Oct 2011 13:47:54 +0000 (13:47 +0000)]
re PR tree-optimization/50727 (ICE with segfault in flow_bb_inside_loop_p)
PR tree-optimization/50727
* tree-vect-patterns.c (vect_operation_fits_smaller_type): Add
DEF_STMT to the list of statements to be replaced by the
pattern statements.
From-SVN: r180060
Eric Botcazou [Sun, 16 Oct 2011 13:17:29 +0000 (13:17 +0000)]
Move testsuite entries to proper file
From-SVN: r180059
Eric Botcazou [Sun, 16 Oct 2011 13:14:34 +0000 (13:14 +0000)]
re PR rtl-optimization/50615 (ICE: in distribute_notes, at combine.c:13282 with -O --param max-cse-insns=1)
PR rtl-optimization/50615
* combine.c (distribute_notes) <REG_ARGS_SIZE>: Skip if I3 is a no-op.
From-SVN: r180058
Jakub Jelinek [Sun, 16 Oct 2011 13:10:20 +0000 (15:10 +0200)]
re PR tree-optimization/50596 (Problems in vectorization of condition expression)
PR tree-optimization/50596
* tree-vectorizer.h (NUM_PATTERNS): Increase to 7.
* tree-vect-patterns.c (vect_vect_recog_func_ptrs): Add
vect_recog_bool_pattern.
(check_bool_pattern, adjust_bool_pattern_cast,
adjust_bool_pattern, vect_recog_bool_pattern): New functions.
* gcc.dg/vect/vect-cond-9.c: New test.
From-SVN: r180057
Arnaud Charlet [Sun, 16 Oct 2011 12:12:11 +0000 (14:12 +0200)]
[multiple changes]
2011-10-16 Tristan Gingold <gingold@adacore.com>
* link.c (_AIX): Add support for GNU ld.
2011-10-16 Fedor Rybin <frybin@adacore.com>
* gnat_ugn.texi: Fixing gnattest example names in the doc.
Adding explanation to additional tests usage.
2011-10-16 Robert Dewar <dewar@adacore.com>
* exp_ch6.adb, sem_ch6.adb: Minor reformatting.
2011-10-16 Eric Botcazou <ebotcazou@adacore.com>
* a-convec.adb: Fix minor inconsistencies.
2011-10-16 Matthew Heaney <heaney@adacore.com>
* a-cusyqu.ads, a-cbsyqu.ads, a-cuprqu.ads, a-cbprqu.ads (package
Implementation): Specify pragma Implementation_Defined.
From-SVN: r180056
Ira Rosen [Sun, 16 Oct 2011 10:47:12 +0000 (10:47 +0000)]
tree-vect-stmts.c (vectorizable_load): For SLP without permutation treat the first load of the node as the first...
* tree-vect-stmts.c (vectorizable_load): For SLP without
permutation treat the first load of the node as the first
element in its interleaving chain.
* tree-vect-slp.c (vect_get_and_check_slp_defs): Swap the
operands if necessary and possible.
(vect_build_slp_tree): Add new argument. Allow load groups of
any size in basic blocks. Keep all the loads for further
permutation check. Use the new argument to determine if there
is a permutation. Update the recursive calls.
(vect_supported_load_permutation_p): Allow subchains of
interleaving chains in basic block vectorization.
(vect_analyze_slp_instance): Update the call to
vect_build_slp_tree. Check load permutation based on the new
parameter.
(vect_schedule_slp_instance): Don't start from the first element
in interleaving chain unless the loads are permuted.
From-SVN: r180055
Jan Hubicka [Sun, 16 Oct 2011 09:02:33 +0000 (11:02 +0200)]
re PR middle-end/48668 (COMDAT Group signature not emitted in group)
PR target/48668
PR target/50689
* cgraphunit.c (cgraph_expand_function): Expand thunks and alises
after function body.
From-SVN: r180053
GCC Administrator [Sun, 16 Oct 2011 00:17:57 +0000 (00:17 +0000)]
Daily bump.
From-SVN: r180052
Paolo Carlini [Sat, 15 Oct 2011 19:49:33 +0000 (19:49 +0000)]
re PR c++/50732 ([type_traits] is_base_of<Base, Derived> unnecessarily instantiates Base (which shouldn't be instantiated))
/cp
2011-10-15 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/50732
* semantics.c (finish_trait_expr): Do not try to instantiate the
the base type of an __is_base_of trait.
(check_trait_type): Return a tree; use complete_type_or_else.
/testsuite
2011-10-15 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/50732
* g++.dg/ext/is_base_of_incomplete.C: New.
* g++.dg/ext/is_base_of_diagnostic.C: Adjust dg-errors.
* g++.dg/ext/unary_trait_incomplete.C: Likewise.
From-SVN: r180048
Richard Henderson [Sat, 15 Oct 2011 19:36:50 +0000 (12:36 -0700)]
Use VEC_PERM_EXPR in the vectorizer.
* tree-vect-slp.c: Include langhooks.h.
(vect_create_mask_and_perm): Emit VEC_PERM_EXPR, not a builtin.
(vect_transform_slp_perm_load): Use can_vec_perm_expr_p. Simplify
mask creation for VEC_PERM_EXPR.
* tree-vect-stmts.c (perm_mask_for_reverse): Return the mask,
not the builtin.
(reverse_vec_elements): Emit VEC_PERM_EXPR not a builtin.
* Makefile.in (tree-vect-slp.o): Update dependency.
* optabs.c (can_vec_perm_expr_p): Allow NULL as unknown constant.
From-SVN: r180047
Eric Botcazou [Sat, 15 Oct 2011 14:48:37 +0000 (14:48 +0000)]
* gcc.target/sparc/combined-1.c: Compile at -O2.
From-SVN: r180040
Uros Bizjak [Sat, 15 Oct 2011 14:31:16 +0000 (16:31 +0200)]
* ChangeLog: Fix whitespace.
From-SVN: r180039
Alan Modra [Sat, 15 Oct 2011 13:39:58 +0000 (00:09 +1030)]
re PR bootstrap/50738 (Bootstrap failure at revision 180028 on powerpc-apple-darwin9)
PR bootstrap/50738
* ifcvt.c (dead_or_predicable): Revert accidental commit with
HAVE_simple_return test.
From-SVN: r180038
Uros Bizjak [Sat, 15 Oct 2011 11:04:38 +0000 (13:04 +0200)]
fma_float_?.c (dg-prune_output): Remove.
* gcc.target/i386/fma_float_?.c (dg-prune_output): Remove.
(dg-options): Add -Wno-attributes.
* gcc.target/i386/fma_double_?.c: Ditto.
* gcc.target/i386/fma_run_float_?.c: Ditto.
* gcc.target/i386/fma_run_double_?.c: Ditto.
* gcc.target/i386/l_fma_float_?.c: Dtto.
* gcc.target/i386/l_fma_double_?.c: Ditto.
* gcc.target/i386/l_fma_run_float_?.c: Ditto.
* gcc.target/i386/l_fma_run_double_?.c: Ditto.
From-SVN: r180029
Alan Modra [Sat, 15 Oct 2011 10:36:00 +0000 (21:06 +1030)]
ifcvt.c (dead_or_predicable): Disable if-conversion when doing so is likely to kill a shrink-wrapping opportunity.
* ifcvt.c (dead_or_predicable): Disable if-conversion when
doing so is likely to kill a shrink-wrapping opportunity.
From-SVN: r180028
Alan Modra [Sat, 15 Oct 2011 10:32:33 +0000 (21:02 +1030)]
re PR rtl-optimization/49941 (segmentation fault in redirect_jump_2)
PR rtl-optimization/49941
* jump.c (mark_jump_label_1): Set JUMP_LABEL for simple_return jumps.
* rtl.h (set_return_jump_label): Declare.
* function.c (set_return_jump_label): New function, extracted..
(thread_prologue_and_epilogue_insns): ..from here. Use it in
another instance to set return jump_label.
* cfgrtl.c (force_nonfallthru_and_redirect): Use set_return_jump_label.
* reorg.c (find_end_label): Likewise.
From-SVN: r180027
Nicolas Roche [Sat, 15 Oct 2011 09:24:32 +0000 (09:24 +0000)]
lang-specs.h: Ensure -mrtp switch is passed when using either rtp-smp or ravenscar-cert-rtp...
2011-10-15 Nicolas Roche <roche@adacore.com>
* gcc-interface/lang-specs.h: Ensure -mrtp switch is passed when using
either rtp-smp or ravenscar-cert-rtp runtimes.
From-SVN: r180026
Arnaud Charlet [Sat, 15 Oct 2011 09:22:01 +0000 (11:22 +0200)]
[multiple changes]
2011-10-15 Bob Duff <duff@adacore.com>
* exp_ch6.adb (Add_Unconstrained_Actuals_To_Build_In_Place_Call):
Do not create a pool formal on unless RE_Root_Storage_Pool_Ptr
is available.
(Expand_N_Extended_Return_Statement): Do not create a renaming of the
build-in-place pool parameter unless RE_Root_Storage_Pool_Ptr is
available.
(Make_Build_In_Place_Call_In_Allocator): Add the user-defined
pool only if RE_Root_Storage_Pool_Ptr is available.
(Make_Build_In_Place_Call_In_Object_Declaration): Do not add a
pool actual unless RE_Root_Storage_Pool_Ptr is available.
* sem_ch6.adb (Create_Extra_Formals): Add build-in-place pool
formal only if RE_Root_Storage_Pool_Ptr is available.
2011-10-15 Matthew Heaney <heaney@adacore.com>
* a-cusyqu.ads, a-cbsyqu.ads, a-cuprqu.ads, a-cbprqu.ads (Queue
type): Specify Priority aspect for protected type.
From-SVN: r180025
Tobias Burnus [Sat, 15 Oct 2011 08:34:36 +0000 (10:34 +0200)]
gfortran.texi (Fortran 2008 status, [...]): Update implementation status, change references from TR 29113 to TS 29113.
2011-10-15 Tobias Burnus <burnus@net-b.de>
* gfortran.texi (Fortran 2008 status, TS 29113 status,
Further Interoperability of Fortran with C): Update implementation
status, change references from TR 29113 to TS 29113.
* intrinsic.texi (RANK): Change TR 29113 to TS 29113.
* invoke.text (-std=): Ditto, change -std=f2008tr to
* -std=f2008ts.
* lang.opt (std=): Ditto.
* options.c (gfc_handle_option, set_default_std_flags): Ditto
* and
change GFC_STD_F2008_TR to GFC_STD_F2008_TS.
* libgfortran.h: Ditto.
* intrinsic.c (add_functions, gfc_check_intrinsic_standard):
* Ditto.
* decl.c (verify_c_interop_param): Ditto.
2011-10-15 Tobias Burnus <burnus@net-b.de>
* gfortran.dg/bind_c_usage_23.f90: Change TR 29113 to TS 29113
* in
the comments.
* gfortran.dg/bind_c_usage_24.f90: Ditto.
* gfortran.dg/rank_3.f90: Ditto.
* gfortran.dg/bind_c_usage_22.f90: Ditto, change -std=f2008tr to
-std=f2008ts in dg-options.
* gfortran.dg/rank_4.f90: Ditto.
From-SVN: r180024
David S. Miller [Sat, 15 Oct 2011 03:46:59 +0000 (03:46 +0000)]
Fix mv8plus, allow targetting Linux or Solaris from other sparc host.
* config/sparc/sol2.h: Protect -m{cpu,tune}=native handling
with a more complete cpp test.
* config/sparc/linux64.h: Likewise.
* config/sparc/linux.h: Likewise.
* config/sparc/sparc.opt (sparc_debug): New target variable.
(mdebug): New target option.
* config/sparc/sparc.h (MASK_DEBUG_OPTIONS, MASK_DEBUG_ALL,
TARGET_DEBUG_OPTIONS): New defines.
* config/sparc/sparc.c (debug_target_flag_bits,
debug_target_flags): New functions.
(sparc_option_override): Add name strings back to cpu_table[].
Parse -mdebug string. When TARGET_DEBUG_OPTIONS is true, print
out the target flags before and after override processing as well
as the selected cpu. If MASK_V8PLUS, make sure that the selected
cpu is at least v9.
From-SVN: r180021
Oleg Endo [Sat, 15 Oct 2011 02:32:53 +0000 (02:32 +0000)]
re PR target/49263 (SH Target: underutilized "TST #imm, R0" instruction)
PR target/49263
* config/sh/sh.h (ZERO_EXTRACT_ANDMASK): New macro.
* config/sh/sh.c (sh_rtx_costs): Add test instruction case.
* config/sh/sh.md (tstsi_t): Name existing insn. Make inner
and instruction commutative.
(tsthi_t, tstqi_t, tstqi_t_zero, tstsi_t_and_not,
tstsi_t_zero_extract_eq, tstsi_t_zero_extract_xor,
tstsi_t_zero_extract_subreg_xor_little,
tstsi_t_zero_extract_subreg_xor_big): New insns.
(*movsicc_t_false, *movsicc_t_true): Replace space with tab in
asm output.
(*andsi_compact): Reorder alternatives so that K08 is considered
first.
* gcc.target/sh/pr49263.c: New.
From-SVN: r180020
GCC Administrator [Sat, 15 Oct 2011 00:19:01 +0000 (00:19 +0000)]
Daily bump.
From-SVN: r180019
Eric Botcazou [Fri, 14 Oct 2011 23:24:36 +0000 (23:24 +0000)]
* gnat.dg/specs/debug1.ads: Tweak.
From-SVN: r180015
Eric Botcazou [Fri, 14 Oct 2011 23:02:40 +0000 (23:02 +0000)]
re PR target/50354 (architecture mismatch between compiler and assembler)
PR target/50354
* config/sparc/linux64.h (TARGET_DEFAULT): Only override if the default
processor is at least V9 and TARGET_64BIT_DEFAULT is defined.
From-SVN: r180013
Gerald Pfeifer [Fri, 14 Oct 2011 20:22:15 +0000 (20:22 +0000)]
* invoke.texi (AVR Options): Avoid \leq{}.
From-SVN: r180007
Kai Tietz [Fri, 14 Oct 2011 19:30:42 +0000 (21:30 +0200)]
gimplify.c (gimplify_expr): Take care that for bitwise-binary transformation the operands have compatible types.
* gimplify.c (gimplify_expr): Take care that for bitwise-binary
transformation the operands have compatible types.
* gfortran.fortran-torture/compile/logical-2.f90: New test.
From-SVN: r180006
Jakub Jelinek [Fri, 14 Oct 2011 19:25:07 +0000 (21:25 +0200)]
sse.md (vec_widen_smult_hi_v8hi, [...]): Macroize using VI2_AVX2 mode iterator and any_extend code iterator.
* config/i386/sse.md (vec_widen_smult_hi_v8hi,
vec_widen_smult_lo_v8hi, vec_widen_umult_hi_v8hi,
vec_widen_umult_lo_v8hi): Macroize using VI2_AVX2
mode iterator and any_extend code iterator.
(vec_widen_<s>mult_hi_v8si, vec_widen_<s>mult_lo_v8si): New
expanders.
(vec_widen_smult_hi_v4si, vec_widen_smult_lo_v4si): Enable
also for TARGET_SSE4_1 using pmuldq insn.
(sdot_prodv8hi): Macroize using VI2_AVX2 iterator.
(sse2_sse4_1): New code attr.
(udot_prodv4si): Macroize using any_extend code iterator.
(<s>dot_prodv8si): New expander.
* gcc.target/i386/sse2-mul-1.c: New test.
* gcc.target/i386/sse4_1-mul-1.c: New test.
* gcc.target/i386/avx-mul-1.c: New test.
* gcc.target/i386/xop-mul-1.c: New test.
* gcc.target/i386/avx2-mul-1.c: New test.
From-SVN: r180005
Jason Merrill [Fri, 14 Oct 2011 19:22:59 +0000 (15:22 -0400)]
fix PR tag
From-SVN: r180004
Jason Merrill [Fri, 14 Oct 2011 19:12:57 +0000 (15:12 -0400)]
re PR c++/50563 ([C++0x] Weird syntax acceptance rules for non-static data members initialized in place)
PR c++/50563
* parser.c (cp_parser_cache_group): Handle end==CPP_COMMA.
(cp_parser_save_nsdmi): Pass it.
From-SVN: r180003
Jason Merrill [Fri, 14 Oct 2011 19:12:45 +0000 (15:12 -0400)]
re PR c++/50707 ([C++0x] Non-static const data member initializer breaks default constructor)
PR c++/50507
* method.c (walk_field_subobs): Check for NSDMI before
complaining about uninitialized fields.
From-SVN: r180002
Jason Merrill [Fri, 14 Oct 2011 19:12:33 +0000 (15:12 -0400)]
pt.c (tsubst_decl): Use void_zero_node instead of error_mark_node as a placeholder.
* pt.c (tsubst_decl) [FIELD_DECL]: Use void_zero_node
instead of error_mark_node as a placeholder.
From-SVN: r180001
Janus Weil [Fri, 14 Oct 2011 17:59:29 +0000 (19:59 +0200)]
re PR fortran/50570 (Incorrect error for assignment to intent(in) pointer)
2011-10-14 Janus Weil <janus@gcc.gnu.org>
PR fortran/50570
* expr.c (gfc_check_vardef_context): Don't throw an error on
non-pointer assignments involving an intent(in) pointer dummy.
2011-10-14 Janus Weil <janus@gcc.gnu.org>
PR fortran/50570
* gfortran.dg/pointer_intent_5.f90: New.
From-SVN: r180000
Yakovlev Vladimir [Fri, 14 Oct 2011 17:38:46 +0000 (17:38 +0000)]
Changed cost for loading QImode using movzbl.
2011-10-14 Yakovlev Vladimir <vladimir.b.yakovlev@intel.com>
* config/i386/i386.c (atom_cost): Changed cost for loading
QImode using movzbl.
From-SVN: r179999
Michael Meissner [Fri, 14 Oct 2011 17:36:05 +0000 (17:36 +0000)]
Fix typo in my last change
From-SVN: r179998
Jakub Jelinek [Fri, 14 Oct 2011 16:55:25 +0000 (18:55 +0200)]
sse.md (vec_interleave_high<mode>, [...]): Add AVX2 expanders for VI_256 modes.
* config/i386/sse.md (vec_interleave_high<mode>,
vec_interleave_low<mode>): Add AVX2 expanders for VI_256
modes.
* config/i386/i386.c (expand_vec_perm_interleave3): New function.
(ix86_expand_vec_perm_builtin_1): Call it.
From-SVN: r179995
Georg-Johann Lay [Fri, 14 Oct 2011 16:42:24 +0000 (16:42 +0000)]
Fix thinko from r179765
Fix thinko from r179765
* config/avr/avr.c (avr_option_override): Don't override
flag_omit_frame_pointer if not actually needed.
From-SVN: r179994
Georg-Johann Lay [Fri, 14 Oct 2011 15:42:33 +0000 (15:42 +0000)]
re PR target/46278 (avr-gcc 4.5.1 doing suboptimal reloads using X)
PR target/46278
* doc/invoke.texi (AVR Options): Document -mstrict-X.
* config/avr/avr.opt (-mstrict-X): New option.
(avr_strict_X): New variable reflecting -mstrict-X.
* config/avr/avr.c (avr_reg_ok_for_addr_p): Add parameter
outer_code and pass it down to avr_regno_mode_code_ok_for_base_p.
(avr_legitimate_address_p): Pass outer_code to
avr_reg_ok_for_addr_p and use that function in case PLUS.
(avr_mode_code_base_reg_class): Depend on avr_strict_X.
(avr_regno_mode_code_ok_for_base_p): Ditto, and depend on outer_code.
(avr_option_override): Disable -fcaller-saves if -mstrict-X is on.
From-SVN: r179993
Artjoms Sinkarovs [Fri, 14 Oct 2011 15:37:07 +0000 (15:37 +0000)]
Exclude 32-bit archs from warn-vect-op* tests.
From-SVN: r179991
Jakub Jelinek [Fri, 14 Oct 2011 15:28:39 +0000 (17:28 +0200)]
sse.md (neg<mode>2): Use VI_AVX2 iterator instead of VI_128.
* config/i386/sse.md (neg<mode>2): Use VI_AVX2 iterator instead
of VI_128.
From-SVN: r179990
Arnaud Charlet [Fri, 14 Oct 2011 15:12:32 +0000 (17:12 +0200)]
[multiple changes]
2011-10-14 Ed Schonberg <schonberg@adacore.com>
* exp_disp.adb (Check_Premature_Freezing): If an untagged type
is a generic actual, it is a subtype of a type that was frozen
by the instantiation, and even if not marked frozen it does not
affect the construction of the dispatch table.
2011-10-14 Robert Dewar <dewar@adacore.com>
* make.adb, mlib-utl.adb, sem_util.adb, sem_ch4.adb: Minor code
reformatting.
* s-rident.ads: Add missing Compiler_Unit pragma.
From-SVN: r179989
Tobias Burnus [Fri, 14 Oct 2011 15:09:21 +0000 (17:09 +0200)]
re PR fortran/50718 (ICE (fold_convert) with -fcheck=pointer)
2011-10-14 Tobias Burnus <burnus@net-b.de>
PR fortran/50718
* trans-expr.c (gfc_conv_procedure_call): Fix -fcheck=pointer
for dummy arguments with VALUE attribute.
2011-10-14 Tobias Burnus <burnus@net-b.de>
PR fortran/50718
* gfortran.dg/pointer_check_11.f90: New.
* gfortran.dg/pointer_check_12.f90: New.
From-SVN: r179988
Jakub Jelinek [Fri, 14 Oct 2011 15:05:55 +0000 (17:05 +0200)]
sse.md (mulv2di3): Macroize using VI8_AVX2 iterator.
* config/i386/sse.md (mulv2di3): Macroize using VI8_AVX2
iterator.
(ashl<mode>3): Use VI248_AVX2 iterator instead of VI248_128.
Use <sseinsnmode> instead of TI in mode attr.
From-SVN: r179987
Arnaud Charlet [Fri, 14 Oct 2011 15:03:39 +0000 (17:03 +0200)]
[multiple changes]
2011-10-14 Gary Dismukes <dismukes@adacore.com>
* sem_res.adb: Minor reformatting.
2011-10-14 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb (Add_Task_Actuals_To_Build_In_Place_Call):
Code and comment reformatting. Use BIP_Task_Master
when creating a _master.
(BIP_Formal_Suffix): Code reformatting. Correct the case for
BIP_Task_Master.
(Make_Build_In_Place_Call_In_Object_Declaration): Use
BIP_Task_Master when creating a reference to the enclosing
function's _master formal.
(Move_Activation_Chain): Use BIP_Task_Master when creating a reference
to the _master.
* exp_ch6.ads: Change BIP_Master to BIP_Task_Master.
(Needs_BIP_Finalization_Master): Alphabetized.
* sem_ch6.adb (Create_Extra_Formals): Update the usage of
BIP_Task_Master.
2011-10-14 Ed Schonberg <schonberg@adacore.com>
* par-ch6.adb (P_Return_Object_Declaration): In Ada 2012 mode,
reject an aliased keyword on the object declaration of an extended
return statement. In older versions of the language indicate
that this is illegal in the standard.
2011-10-14 Pascal Obry <obry@adacore.com>
* sem_util.adb, sem_ch4.adb: Minor reformatting.
2011-10-14 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb: Recognize properly procedure calls that are
transformed into code statements.
2011-10-14 Vincent Celier <celier@adacore.com>
* projects.texi: Minor fix in project example.
From-SVN: r179986
Arnaud Charlet [Fri, 14 Oct 2011 14:56:46 +0000 (16:56 +0200)]
[multiple changes]
2011-10-14 Ed Schonberg <schonberg@adacore.com>
* sem_util.adb: Return objects are aliased if their type is
immutably limited as per AI05-0053.
2011-10-14 Gary Dismukes <dismukes@adacore.com>
* exp_ch4.adb (Expand_N_Op_And): Remove Short_Circuit_And_Or
expansion code (moved to sem_res) (Expand_N_Op_Or): Remove
Short_Circuit_And_Or expansion code (moved to sem_res).
* sem_res.adb (Resolve_Logical_Op): Add code to rewrite Boolean
"and" and "or" operators as short-circuit "and then" and "or
else", when pragma Short_Circuit_And_Or is active.
From-SVN: r179985
Paolo Carlini [Fri, 14 Oct 2011 14:43:03 +0000 (14:43 +0000)]
re PR c++/38174 (Missing some built-in candidates for operator overloading)
/cp
2011-10-14 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/38174
* call.c (add_builtin_candidate): If two pointers have a composite
pointer type, generate a single candidate with that type.
/testsuite
2011-10-14 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/38174
* g++.dg/overload/operator4.C: New.
From-SVN: r179984
David Alan Gilbert [Fri, 14 Oct 2011 14:39:32 +0000 (14:39 +0000)]
di-longlong64-sync-1.c: New test.
gcc/testsuite/
2011-10-14 David Alan Gilbert <david.gilbert@linaro.org>
* gcc.dg/di-longlong64-sync-1.c: New test.
* gcc.dg/di-sync-multithread.c: New test.
* gcc.target/arm/di-longlong64-sync-withhelpers.c: New test.
* gcc.target/arm/di-longlong64-sync-withldrexd.c: New test.
* lib/target-supports.exp: (arm_arch_*_ok): Series of effective-target
tests for v5, v6, v6k, and v7-a, and add-options helpers.
(check_effective_target_arm_arm_ok): New helper.
(check_effective_target_sync_longlong): New helper.
From-SVN: r179983
David Alan Gilbert [Fri, 14 Oct 2011 14:39:10 +0000 (14:39 +0000)]
linux-atomic-64bit.c: New (based on linux-atomic.c).
gcc/
2011-10-14 David Alan Gilbert <david.gilbert@linaro.org>
* config/arm/linux-atomic-64bit.c: New (based on linux-atomic.c).
* config/arm/linux-atomic.c: Change comment to point to 64bit version.
(SYNC_LOCK_RELEASE): Instantiate 64bit version.
* config/arm/t-linux-eabi: Pull in linux-atomic-64bit.c.
From-SVN: r179982
David Alan Gilbert [Fri, 14 Oct 2011 14:38:58 +0000 (14:38 +0000)]
arm.c (arm_output_ldrex): Support ldrexd.
gcc/
2011-10-14 David Alan Gilbert <david.gilbert@linaro.org>
* config/arm/arm.c (arm_output_ldrex): Support ldrexd.
(arm_output_strex): Support strexd.
(arm_output_it): New helper to output it in Thumb2 mode only.
(arm_output_sync_loop): Support DI mode. Change comment to
not support const_int.
(arm_expand_sync): Support DI mode.
* config/arm/arm.h (TARGET_HAVE_LDREXBHD): Split into LDREXBH
and LDREXD.
* config/arm/iterators.md (NARROW): move from sync.md.
(QHSD): New iterator for all current ARM integer modes.
(SIDI): New iterator for SI and DI modes only.
* config/arm/sync.md (sync_predtab): New mode_attr.
(sync_compare_and_swapsi): Fold into sync_compare_and_swap<mode>.
(sync_lock_test_and_setsi): Fold into sync_lock_test_and_setsi<mode>.
(sync_<sync_optab>si): Fold into sync_<sync_optab><mode>.
(sync_nandsi): Fold into sync_nand<mode>.
(sync_new_<sync_optab>si): Fold into sync_new_<sync_optab><mode>.
(sync_new_nandsi): Fold into sync_new_nand<mode>.
(sync_old_<sync_optab>si): Fold into sync_old_<sync_optab><mode>.
(sync_old_nandsi): Fold into sync_old_nand<mode>.
(sync_compare_and_swap<mode>): Support SI & DI.
(sync_lock_test_and_set<mode>): Likewise.
(sync_<sync_optab><mode>): Likewise.
(sync_nand<mode>): Likewise.
(sync_new_<sync_optab><mode>): Likewise.
(sync_new_nand<mode>): Likewise.
(sync_old_<sync_optab><mode>): Likewise.
(sync_old_nand<mode>): Likewise.
(arm_sync_compare_and_swapsi): Turn into iterator on SI & DI.
(arm_sync_lock_test_and_setsi): Likewise.
(arm_sync_new_<sync_optab>si): Likewise.
(arm_sync_new_nandsi): Likewise.
(arm_sync_old_<sync_optab>si): Likewise.
(arm_sync_old_nandsi): Likewise.
(arm_sync_compare_and_swap<mode> NARROW): use sync_predtab, fix indent.
(arm_sync_lock_test_and_setsi<mode> NARROW): Likewise.
(arm_sync_new_<sync_optab><mode> NARROW): Likewise.
(arm_sync_new_nand<mode> NARROW): Likewise.
(arm_sync_old_<sync_optab><mode> NARROW): Likewise.
(arm_sync_old_nand<mode> NARROW): Likewise.
From-SVN: r179981
David Alan Gilbert [Fri, 14 Oct 2011 14:38:42 +0000 (14:38 +0000)]
re PR target/48126 (arm_output_sync_loop: misplaced memory barrier)
gcc/
2011-10-14 David Alan Gilbert <david.gilbert@linaro.org>
PR target/48126
* config/arm/arm.c (arm_output_sync_loop): Move label before barrier.
From-SVN: r179980
David Alan Gilbert [Fri, 14 Oct 2011 14:38:30 +0000 (14:38 +0000)]
arm.h (TARGET_HAVE_DMB_MCR): MCR Not available in Thumb1.
gcc/
2011-10-14 David Alan Gilbert <david.gilbert@linaro.org>
* config/arm/arm.h (TARGET_HAVE_DMB_MCR): MCR Not available in Thumb1.
From-SVN: r179979
Paolo Carlini [Fri, 14 Oct 2011 14:03:53 +0000 (14:03 +0000)]
invoke.texi ([Wformat-zero-length]): Tidy.
2011-10-14 Paolo Carlini <paolo.carlini@oracle.com>
* doc/invoke.texi ([Wformat-zero-length]): Tidy.
From-SVN: r179978
Jakub Jelinek [Fri, 14 Oct 2011 12:05:43 +0000 (14:05 +0200)]
gimple.c (walk_stmt_load_store_addr_ops): Call visit_addr also on COND_EXPR/VEC_COND_EXPR comparison operands if...
* gimple.c (walk_stmt_load_store_addr_ops): Call visit_addr
also on COND_EXPR/VEC_COND_EXPR comparison operands if they are
ADDR_EXPRs.
From-SVN: r179969
François Dumont [Fri, 14 Oct 2011 11:25:27 +0000 (13:25 +0200)]
41975.cc: New.
2011-10-14 François Dumont <francois.cppdevs@free.fr>
* testsuite/performance/23_containers/insert_erase/41975.cc: New.
From-SVN: r179968
Richard Guenther [Fri, 14 Oct 2011 11:03:06 +0000 (11:03 +0000)]
re PR tree-optimization/50723 (internal compiler error: verify_ssa failed)
2011-10-14 Richard Guenther <rguenther@suse.de>
PR tree-optimization/50723
* ipa-split.c (split_function): Use GSI_CONTINUE_LINKING.
* gcc.dg/torture/pr50723.c: New testcase.
From-SVN: r179967
Jonathan Wakely [Fri, 14 Oct 2011 10:38:23 +0000 (10:38 +0000)]
50714.cc: Fix mychar.
2011-10-14 Jonathan Wakely <jwakely.gcc@gmail.com>
* testsuite/22_locale/codecvt_byname/50714.cc: Fix mychar.
From-SVN: r179966
Nicola Pero [Fri, 14 Oct 2011 10:19:01 +0000 (10:19 +0000)]
In gcc/: 2011-10-14 Nicola Pero <nicola.pero@meta-innovation.com>
In gcc/:
2011-10-14 Nicola Pero <nicola.pero@meta-innovation.com>
* gengtype.c (files_rules): Added rules for objc/objc-map.h and
objc/objc-map.c.
In gcc/objc/:
2011-10-14 Nicola Pero <nicola.pero@meta-innovation.com>
* objc-map.h: New file.
* objc-map.c: New file.
* config-lang.in (gtfiles): Added objc-map.h.
* Make-lang.in (OBJC_OBJS): Added objc-map.o.
(objc/objc-map.o): New rule.
(objc/objc-act.o): Depend on objc/objc-map.h.
* objc-next-runtime-abi-02.c: Added a TODO comment.
* objc-act.c: Include objc-map.h.
(nst_method_hash_list, cls_method_hash_list): Removed.
(instance_method_map, class_method_map): New.
(cls_name_hash_list, als_name_hash_list): Removed.
(class_name_map, alias_name_map): Removed.
(ivar_offset_hash_list): Removed.
(hash_class_name_enter, hash_class_name_lookup, hash_enter,
hash_lookup, hash_add_attr, add_method_to_hash_list): Removed.
(interface_hash_init): New.
(objc_init): Call interface_hash_init.
(objc_write_global_declarations): Iterate over class_method_map
and instance_method_map instead of cls_method_hash_list and
nst_method_hash_list.
(objc_declare_alias): Use alias_name_map instead of
cls_name_hash_list.
(objc_is_class_name): Use class_name_map and alias_name_map
instead of cls_name_hash_list and als_name_hash_list.
(interface_tuple, interface_htab, hash_interface, eq_interface):
Removed.
(interface_map): New.
(add_class): Renamed to add_interface. Use interface_map instead
of interface_htab.
(lookup_interface): Use interface_map instead of interface_htab.
(check_duplicates): Changed first argument to be a tree,
potentially a TREE_VEC, instead of a hash. Changed implementation
to match.
(lookup_method_in_hash_lists): Use class_method_map and
instance_method_map instead of cls_method_hash_list and
nst_method_hash_list.
(objc_build_selector_expr): Likewise.
(hash_func): Removed.
(hash_init): Create instance_method_map, class_method_map,
class_name_map, and alias_name_map. Do not create
nst_method_hash_list, cls_method_hash_list, cls_name_hash_list,
als_name_hash_list, and ivar_offset_hash_list.
(insert_method_into_method_map): New.
(objc_add_method): Use insert_method_into_method_map instead of
add_method_to_hash_list.
(start_class): Call add_interface instead of add_class.
* objc-act.h (cls_name_hash_list, als_name_hash_list,
nst_method_hash_list, cls_method_hash_list): Removed.
In gcc/objcp/:
2011-10-14 Nicola Pero <nicola.pero@meta-innovation.com>
* Make-lang.in (OBJCXX_OBJS): Added objc-map.o.
(objcp/objc-map.o): New rule.
(objcp/objcp-act.o): Depend on objc/objc-map.h.
* config-lang.in (gtfiles): Added objc-map.h.
From-SVN: r179965
Paolo Carlini [Fri, 14 Oct 2011 09:14:58 +0000 (09:14 +0000)]
re PR c++/17212 (-W(no)format-zero-length does not work with C++)
/gcc
2011-10-14 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/17212
* c-family/c.opt ([Wformat-zero-length]): Add C++ and Objective-C++.
* doc/invoke.texi: Update.
/testsuite
2011-10-14 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/17212
* g++.dg/warn/format6.C: New.
* obj-c++.dg/warn6.mm: Likewise.
From-SVN: r179964
Paolo Carlini [Fri, 14 Oct 2011 09:14:26 +0000 (09:14 +0000)]
re PR c++/17212 (-W(no)format-zero-length does not work with C++)
/gcc
2011-10-14 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/17212
* c-family/c.opt ([Wformat-zero-length]): Add C++ and Objective-C++.
* doc/invoke.texi: Update.
/testsuite
2011-10-14 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/17212
* g++.dg/warn/format6.C: New.
* obj-c++.dg/warn6.mm: Likewise.
From-SVN: r179963
Iain Sandoe [Fri, 14 Oct 2011 08:13:04 +0000 (08:13 +0000)]
re PR bootstrap/50699 (Bootstrap fails on *-apple-darwin* due to revision 179820)
gcc:
PR bootstrap/50699
* config/darwin.c (darwin_patch_builtin): Adjust argument type. Only
build for powerpc targets. (darwin_patch_builtins): Only build for
powerpc targets.
From-SVN: r179962