Age | Commit message (Collapse) | Author | Files | Lines |
|
2008-08-04 Robert Dewar <dewar@adacore.com>
* exp_dist.adb: Minor reformatting
From-SVN: r138602
|
|
2008-08-04 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb: Minor reformatting
From-SVN: r138601
|
|
type and the allocator is not...
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Analyze_Allocator): If the designated type is a non-null
access type and the allocator is not initialized, warn rather than
reporting an error.
From-SVN: r138600
|
|
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb: Add comments
From-SVN: r138599
|
|
2008-08-04 Kevin Pouget <pouget@adacore.com>
* snames.h, snames.adb, snames.ads:
Add Attr_To_Any, Attr_From_Any and Attr_TypeCode defines.
* exp_dist.ads, exp_dist.adb: Add Build_From_Any_Call,
Build_To_Any_Call and Build_TypeCode_Call procedures.
* exp_attr.adb, sem_attr.adb: Add corresponding cases.
* rtsfind.ads: Add corresponding names.
* tbuild.adb: Update prefix restrictions to allow '_' character.
From-SVN: r138598
|
|
once...
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* exp_ch4.adb (Get_Allocator_Final_List): Freeze anonymous type for
chain at once, to ensure that type is properly decorated for back-end,
when allocator appears within a loop.
From-SVN: r138597
|
|
allow switch grouping of switches...
2008-08-04 Jerome Lambourg <lambourg@adacore.com>
* g-comlin.adb (Group_Switches): Preserve the switch order when
grouping and allow switch grouping of switches with more than one
character extension (e.g. gnatw.x).
(Args_From_Expanded): Remove this now obsolete method.
From-SVN: r138596
|
|
From-SVN: r138595
|
|
2008-08-04 Doug Rupp <rupp@adacore.com>
* gigi.h (fill_vms_descriptor): Add third parameter gnat_actual
* trans.c (call_to_gnu): Call fill_vms_descriptor with new parameter.
* utils2.c (fill_vms_descriptor): Add third parameter for error sloc and
use it. Calculate pointer range overflow using 64bit types.
From-SVN: r138594
|
|
2008-08-04 Vincent Celier <celier@adacore.com>
* mlib.adb (Create_Sym_Links): Create relative symbolic links when
requested
From-SVN: r138593
|
|
support in GPS.
2008-08-04 Arnaud Charlet <charlet@adacore.com>
* usage.adb (Usage): Minor rewording of -gnatwz switch, to improve
gnatcheck support in GPS.
From-SVN: r138592
|
|
context for an anonymous access to...
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Access_Definition): A formal object declaration is a
legal context for an anonymous access to subprogram.
* sem_ch4.adb (Analyze_One_Call): If the call can be interpreted as an
indirect call, report success to the caller to include possible
interpretation.
* sem_ch6.adb (Check_Return_Type_Indication): Apply proper conformance
check when the type
of the extended return is an anonymous access_to_subprogram type.
* sem_res.adb:
(Resolve_Call): Insert a dereference if the type of the subprogram is an
access_to_subprogram and the context requires its return type, and a
dereference has not been introduced previously.
From-SVN: r138591
|
|
2008-08-04 Vincent Celier <celier@adacore.com>
* gprep.adb (Process_One_File): Call Prep.Preprocess with a Boolean
variable, but don't check the resulting value as it has no impact on
the processing.
* opt.ads:
(Generate_Processed_File): New Boolean flag, set to True in the compiler
when switch -gnateG is used.
* prep.adb:
(Preprocess): new Boolean out parameter Source_Modified. Set it to True
when the source is modified by the preprocessor and there is no
preprocessing errors.
* prep.ads (Preprocess): new Boolean out parameter Source_Modified
* sinput-l.adb:
(Load_File): Output the result of preprocessing if the source text was
modified.
* switch-c.adb (Scan_Front_End_Switches): Recognize switch -gnateG
* switch-m.adb (Normalize_Compiler_Switches): Normalize switch -gnateG
* ug_words: Add VMS equivalent for -gnateG
* vms_data.ads:
Add VMS option /GENERATE_PROCESSED_SOURCE, equivalent to switch -gnateG
From-SVN: r138590
|
|
2008-08-04 Doug Rupp <rupp@adacore.com>
* utils2.c (fill_vms_descriptor): Use long_integer for comparison.
Call add_stmt_with_node to set locus.
From-SVN: r138589
|
|
* gcc-interface/utils2.c:
(fill_vms_descriptor): Raise CE if attempt made to pass 64bit pointer
in 32bit descriptor.
From-SVN: r138588
|
|
2008-08-04 Thomas Quinot <quinot@adacore.com>
* sem_ch10.adb: Minor comment fix.
From-SVN: r138587
|
|
2008-08-04 Arnaud Charlet <charlet@adacore.com>
* sem_prag.adb (Check_Form_Of_Interface_Name): Fix handling for CLI
target.
From-SVN: r138586
|
|
2008-08-04 Vincent Celier <celier@adacore.com>
* make.adb: Correct spelling error in comment
From-SVN: r138585
|
|
2008-08-04 Vincent Celier <celier@adacore.com>
* prj-attr.adb: New Builder attribute Global_Compilation_Switches
* snames.adb: New standard name Global_Compilation_Switches
* snames.ads: New standard name Global_Compilation_Switches
From-SVN: r138584
|
|
access return type of a regular...
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Access_Definition): Create an itype reference for an
anonymous access return type of a regular function that is not a
compilation unit.
From-SVN: r138583
|
|
2008-08-04 Pascal Obry <obry@adacore.com>
* i-cobol.adb: Minor reformatting.
From-SVN: r138582
|
|
2008-08-04 Robert Dewar <dewar@adacore.com>
* par-ch10.adb: Minor reformatting
From-SVN: r138581
|
|
From-SVN: r138580
|
|
declaration to find previous subprogram...
2008-08-04 Ed Schonberg <schonberg@adacore.com>
* sem_prag.adb (Check_Precondition_Postcondition): When scanning the
list of declaration to find previous subprogram, do not go to the
original node of a generic unit.
From-SVN: r138579
|
|
* prj-proc.adb:
(Copy_Package_Declarations): When inheriting package Naming from a
project being extended, do not inherit source exception names.
From-SVN: r138578
|
|
2008-08-04 Robert Dewar <dewar@adacore.com>
* freeze.adb (Freeze_Entity): Check for size clause for boolean warning
From-SVN: r138577
|
|
2008-08-04 Robert Dewar <dewar@adacore.com>
* system-darwin-x86.ads: Correct bad definition of Max_Nonbinary_Modulus
From-SVN: r138576
|
|
2008-08-04 Robert Dewar <dewar@adacore.com>
* restrict.adb: Improved messages for restriction warnings
* restrict.ads: Improved messages for restriction messages
* s-rident.ads (Profile_Name): Add No_Profile
From-SVN: r138575
|
|
From-SVN: r138573
|
|
2008-08-03 Jerry DeLisle <jvdelisle@gcc.gnu.org>
* gfortran.dg/fmt_t_7.f: Replace CR-LF with LF.
From-SVN: r138568
|
|
moves for !TARGET_INTER_UNIT_MOVES.
* config/i386/mmx.md (*mov<mode>_internal_rex64): Use Yi instead of x
to avoid inter-unit moves for !TARGET_INTER_UNIT_MOVES.
(*movv2sf_internal_rex64): Ditto.
From-SVN: r138566
|
|
* optabs.c (expand_binop, expand_builtin_pow, expand_builtin_powi,
expand_builtin_strcat): Upse optimize_insn_for_speed predicate.
* expmed.c (expand_smod_pow2): Likewise.
From-SVN: r138565
|
|
PR target/36992
* config/i386/sse.md (vec_concatv2di): Add Y2 constraint to
alternative 0 of operand 1.
(*vec_concatv2di_rex64_sse): Ditto.
(*vec_concatv2di_rex64_sse4_1): Add x constraint to alternative 0
of operand 1.
(*sse2_storeq_rex64): Penalize allocation of "r" registers.
* config/i386/mmx.md (*mov<mode>_internal_rex64): Penalize allocation
of "Y2" registers to avoid SSE <-> MMX conversions for DImode moves.
(*movv2sf_internal_rex64): Ditto.
testsuite/ChangeLog:
PR target/36992
* gcc.target/i386/pr36992-1.c: New test.
* gcc.target/i386/pr36992-2.c: Ditto.
From-SVN: r138564
|
|
From-SVN: r138560
|
|
2008-08-02 Richard Guenther <rguenther@suse.de>
PR target/35252
* config/i386/sse.md (SSEMODE4S, SSEMODE2D): New mode iterators.
(ssedoublesizemode): New mode attribute.
(sse_shufps): Call gen_sse_shufps_v4sf.
(sse_shufps_1): Macroize.
(sse2_shufpd): Call gen_Sse_shufpd_v2df.
(sse2_shufpd_1): Macroize.
(vec_extract_odd, vec_extract_even): New expanders.
(vec_interleave_highv4sf, vec_interleave_lowv4sf,
vec_interleave_highv2df, vec_interleave_lowv2df): Likewise.
* i386.c (ix86_expand_vector_init_one_nonzero): Call
gen_sse_shufps_v4sf instead of gen_sse_shufps_1.
(ix86_expand_vector_set): Likewise.
(ix86_expand_reduc_v4sf): Likewise.
* lib/target-supports.exp (vect_extract_even_odd_wide) Add.
(vect_strided_wide): Likewise.
* gcc.dg/vect/fast-math-pr35982.c: Enable for
vect_extract_even_odd_wide.
* gcc.dg/vect/fast-math-vect-complex-3.c: Likewise.
* gcc.dg/vect/vect-1.c: Likewise.
* gcc.dg/vect/vect-107.c: Likewise.
* gcc.dg/vect/vect-98.c: Likewise.
* gcc.dg/vect/vect-strided-float.c: Likewise.
* gcc.dg/vect/slp-11.c: Enable for vect_strided_wide.
* gcc.dg/vect/slp-12a.c: Likewise.
* gcc.dg/vect/slp-12b.c: Likewise.
* gcc.dg/vect/slp-19.c: Likewise.
* gcc.dg/vect/slp-23.c: Likewise.
* gcc.dg/vect/slp-5.c: Likewise.
From-SVN: r138553
|
|
* gcc-interface/utils2.c (build_binary_op) <PLUS_EXPR, MINUS_EXPR>:
New case. Convert BOOLEAN_TYPE operation to the default integer type.
From-SVN: r138552
|
|
2008-08-01 Doug Kwan <dougkwan@google.com>
* matrix-reorg.c: Re-enable all code.
(struct malloc_call_data): Change CALL_STMT to gimple type.
(collect_data_for_malloc_call): Tuplify.
(struct access_site_info): Change STMT to gimple type.
(struct matrix_info): Change MIN_INDIRECT_LEVEL_ESCAPE_STMT,
and MALLOC_FOR_LEVEL to gimple and gimple pointer type.
(struct free_info): Change STMT to gimple type.
(struct matrix_access_phi_node): Change PHI to gimple type.
(get_inner_of_cast_expr): Remove.
(may_flatten_matrices_1): Tuplify.
(may_flatten_matrices): Ditto.
(mark_min_matrix_escape_level): Ditto.
(ssa_accessed_in_tree): Refactor statement RHS related code into ...
(ssa_accessed_in_call_rhs): New
(ssa_accessed_in_assign_rhs): New
(record_access_alloc_site_info): Tuplify.
(add_allocation_site): Ditto.
(analyze_matrix_allocation_site): Ditto.
(analyze_transpose): Ditto.
(get_index_from_offset): Ditto.
(update_type_size): Ditto.
(analyze_accesses_for_call_expr): Tuplify and renamed into ...
(analyze_accesses_for_call_stmt): New. Also handle LHS of a call.
(analyze_accesses_for_phi_node): Tuplify.
(analyze_accesses_for_modify_stmt): Tuplify and renamed into ...
(analyze_accesses_for_assign_stmt): Remove code for handling call LHS.
(analyze_matrix_accesses): Tuplify.
(check_var_data): New call-back type for check_var_notmodified_p.
(check_var_notmodified_p): Tuplify and use call-back struct to
return statement found.
(can_calculate_expr_before_stmt): Factor out statement related code
into ...
(can_calculate_stmt_before_stmt): New.
(check_allocation_function): Tuplify.
(find_sites_in_func): Ditto.
(record_all_accesses_in_func): Ditto.
(transform_access_sites): Ditto.
(transform_allocation_sites): Ditto.
(matrix_reorg): Re-enable.
(gate_matrix_reorg): Re-enable.
From-SVN: r138544
|
|
From-SVN: r138541
|
|
for which it hasn't been set yet.
* dwarf2out.c (compute_barrier_args_size): Set barrier_args_size
for labels for which it hasn't been set yet. If it has been set,
stop walking insns and continue with next worklist item.
(dwarf2out_stack_adjust): Don't call compute_barrier_args_size
if the only BARRIER is at the very end of a function.
From-SVN: r138537
|
|
tree-cfg.c:1882)
2008-08-01 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/36991
* gcc.dg/pr36991.c: New test.
From-SVN: r138530
|
|
From-SVN: r138525
|
|
drap_rtx must match.
2008-08-01 H.J. Lu <hongjiu.lu@intel.com>
* cfgexpand.c (expand_stack_alignment): Assert that
stack_realign_drap and drap_rtx must match.
* function.c (instantiate_new_reg): If DRAP is used to realign
stack, replace virtual_incoming_args_rtx with internal arg
pointer.
From-SVN: r138524
|
|
2008-08-01 Richard Guenther <rguenther@suse.de>
* tree-ssa-pre.c (fini_pre): Take in_fre parameter. Free
loop information only if we initialized it.
(execute_pre): Call fini_pre with in_fre.
* tree-ssa-loop-ivcanon (try_unroll_loop_completely): Dump
if we do not unroll because we hit max-completely-peeled-insns.
Use our estimation for consistency, do allow shrinking.
From-SVN: r138522
|
|
From-SVN: r138520
|
|
* gcc-interface/ada-tree.h (DECL_PARM_ALT): Now DECL_PARM_ALT_TYPE.
* gcc-interface/decl.c (gnat_to_gnu_param): Fix formatting, simplify
and adjust for above renaming.
* gcc-interface/utils.c (convert_vms_descriptor): Likewise. Add new
gnu_expr_alt_type parameter. Convert the expression to it instead
of changing its type in place.
(build_function_stub): Adjust call to above function.
From-SVN: r138518
|
|
2008-08-01 H.J. Lu <hongjiu.lu@intel.com>
* config/i386/i386.c (override_options): Replace ABI_STACK_BOUNDARY
with MIN_STACK_BOUNDARY.
(ix86_update_stack_boundary): Likewise.
(ix86_expand_prologue): Assert MIN_STACK_BOUNDARY instead of
STACK_BOUNDARY.
* config/i386/i386.h (ABI_STACK_BOUNDARY): Renamed to ...
(MIN_STACK_BOUNDARY): This.
From-SVN: r138517
|
|
From-SVN: r138516
|
|
2008-08-01 Richard Guenther <rguenther@suse.de>
PR middle-end/36997
* gimplify.c (gimplify_call_expr): Set error_mark_node on GS_ERROR.
* gcc.dg/pr36997.c: New testcase.
From-SVN: r138515
|
|
From-SVN: r138514
|
|
2008-08-01 Eric Botcazou <ebotcazou@adacore.com>
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Remove dead
code. Do not get full definition of deferred constants with address
clause for a use. Do not ignore deferred constant definitions with
address clause. Ignore constant definitions already marked with the
error node.
<object>: Remove obsolete comment. For a deferred constant with
address clause, get the initializer from the full view.
* gcc-interface/trans.c (gnat_to_gnu) <N_Attribute_Definition_Clause>:
Rework and remove obsolete comment.
<N_Object_Declaration>: For a deferred constant with address clause,
mark the full view with the error node.
* gcc-interface/utils.c (convert_to_fat_pointer): Rework and fix
formatting nits.
From-SVN: r138513
|