| 2015-10-07 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-decls.cc (StructLiteralExp::toSymbol): Use letter prefix for |
| anonymous name. Don't set TREE_READONLY. |
| (ClassReferenceExp::toSymbol): Likewise. |
| |
| 2015-10-06 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (build_struct_literal): New function. |
| (layout_aggregate_members): Handle variables that are really tuples. |
| * d-elem.cc (StructLiteralExp::toElem): Handle slicing void arrays. |
| Use build_struct_literal to handle anonymous records. |
| * d-lang.h (d_unknown_type_node): Rename to unknown_type_node, update |
| in all files. |
| |
| 2015-10-03 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (build_two_field_type): Use DECL_FIELD_CONTEXT to access |
| field context decl. |
| (build_frame_type): Likewise. |
| (lookup_anon_field): New function. |
| (component_ref): Use it. |
| (fixup_anonymous_offset): New function. |
| (layout_aggregate_members): New function. |
| (layout_aggregate_type): Move generation of fields into |
| layout_aggregate_members. |
| (insert_aggregate_field): Update signature, update all callers. |
| (finish_aggregate_type): Likewise. |
| * d-todt.cc (dt_container2): Use DECL_FIELD_CONTEXT to access field |
| context decl. |
| * types.cc (TypeVisitor::visit (TypeStruct)): Likewise. |
| (TypeVisitor::visit (TypeClass)): Likewise. |
| * d-tree.h (ANON_AGGR_TYPE_P): New type macro. |
| |
| 2015-08-25 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-builtins.cc (maybe_set_builtin_1): Remove va_list handling. |
| (d_init_builtins): Don't represent static array va_list as reference. |
| * d-codegen.cc (convert_for_argument): Handle va_list as a static array. |
| (declaration_type): Likewise. |
| (type_passed_as): Likewise. |
| (decl_reference_p): Renamed to declaration_type_kind, update to return |
| how type is represented internally, updated all callers. |
| (arg_reference_p): Renamed to argument_type_kind, update to return how |
| type is represented internally, updated all callers. |
| * d-codegen.h (type_kind): Declare. |
| |
| 2015-08-22 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * toir.cc (IRVisitor::visit (TryCatchStatement)): Always emit call to |
| LIBCALL_BEGIN_CATCH at the start of the catch. |
| * d-elem.cc (AssertExp::toElem): Stabilize reference to class object |
| before passing it to _d_invariant. |
| |
| 2015-08-20 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * toir.cc (IRVisitor::visit): Set input location in all visitors that |
| either throw an ICE or sorry message. |
| |
| 2015-08-19 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * Make-lang.in: Replace uses of $(target_alias) with |
| $(target_noncanonical). |
| |
| 2015-08-17 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * types.cc (TypeVisitor::visit (TypeEnum)): Set ENUM_IS_SCOPED on all |
| enumeral types. |
| * d-lang.cc (d_init_options_struct): Remove setting |
| flag_evaluation_order. |
| |
| 2015-08-10 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-elem.cc (HaltExp::toElem): Use __builtin_trap to halt execution, |
| rather than the library abort() call. |
| |
| 2015-08-07 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (build_closure): Update signature, update all callers. |
| (build_vthis): Likewise. |
| (get_frame_for_symbol): Likewise. |
| (build_local_var): Likewise. |
| (get_decl_tree): Likewise. |
| (start_function): Likewise. |
| * d-irstate.h (IRState): Move func, mod, sthis, deferred, |
| statementList, and varsInScope fields to... |
| * d-tree.h (language_function): Here, updated all uses. |
| * d-irstate.h: Remove file. |
| (IRState): Remove all uses everywhere. |
| |
| 2015-08-07 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * Make-lang.in (D_GLUE_OBJS): Remove d-irstate.o. |
| * d-tree.h (d_label_use_entry): New structure. |
| (d_label_entry): New structure. |
| (binding_level): Add level_kind field. |
| (language_function): Add hash table field for labels. |
| (D_LABEL_VARIABLE_CASE): New macro. |
| * d-codegen.cc (pop_binding_label): New function. |
| (pop_label): New function. |
| (push_binding_level): Update signature. |
| (pop_binding_level): Update signature. Handle declared or used labels. |
| (build_array_set): Update for push/pop binding changes. |
| (check_goto): New function. |
| (check_previous_goto): New function. |
| (d_lookup_label): Remove function. |
| (lookup_label): New function. |
| (lookup_bc_label): New function. |
| (define_label): New function. |
| * d-objfile.cc (FuncDeclaration::toObjFile): Update for push/pop binding |
| changes. |
| * toir.cc (IRVisitor): Add break and continue label fields. |
| (IRVisitor::IRVisitor): Initialize here. |
| (IRVisitor::start_scope): Update signature. |
| (IRVisitor::end_scope): Return the finished scope, updated all callers. |
| (IRVisitor::push_break_label): New function. |
| (IRVisitor::pop_break_label): New function. |
| (IRVisitor::push_continue_label): New function. |
| (IRVisitor::pop_continue_label): New function. |
| (IRVisitor::start_condition): Remove function. |
| (IRVisitor::start_else): Remove function. |
| (IRVisitor::end_condition): Remove function. |
| (IRVisitor::start_catches): Remove function. |
| (IRVisitor::start_catch): Remove function. |
| (IRVisitor::end_catch): Remove function. |
| (IRVisitor::end_catches): Remove function. |
| (IRVisitor::start_finally): Remove function. |
| (IRVisitor::end_finally): Remove function. |
| (IRVisitor::start_case): Remove function. |
| (IRVisitor::end_case): Remove function. |
| * d-irstate.cc: Remove. |
| |
| 2015-08-06 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * config-lang.in (gtfiles): Replace d-lang.h for d-tree.h |
| * d-lang.h: Move all GTY structures to d-tree.h, updated all source |
| header dependencies. |
| * d-tree.h: New file. |
| |
| 2015-08-04 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * toir.cc (IRVisitor::start_condition): Don't cache condition. |
| (IRVisitor::start_else): Return the then body, updated all callers. |
| (IRVisitor::end_condition): Update signature. |
| (IRVisitor::start_catches): Return the try body, updated all callers. |
| (IRVisitor::start_catch): Don't cache catch type. |
| (IRVisitor::end_catch): Update signature. |
| (IRVisitor::end_catches): Update signature. |
| (IRVisitor::start_finally): Return the try body, updated all callers. |
| (IRVisitor::end_finally): Update signature. |
| (IRVisitor::start_case): Don't cache the condition. |
| (IRVisitor::end_case): Update signature. |
| * d-codegen.cc (convert_for_assignment): Use size_type_node for index. |
| * d-irstate.cc (IRState::beginFlow): Remove call to push_stmt_list. |
| |
| 2015-08-04 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (push_stmt_list): New function. |
| (pop_stmt_list): New function. |
| (add_stmt): New function. |
| (start_function): New function. |
| (end_function): New function. |
| (expand_decl): Update to use new interface. |
| (build_closure): Likewise. |
| (push_binding_level): Moved from d-lang.cc. |
| (pop_binding_level): Likewise. |
| * d-lang.cc (d_init): Inline call to init_global_binding_level. |
| (alloc_binding_level): Remove function. |
| (push_binding_level): Remove function. |
| (pop_binding_level): Remove function. |
| (init_global_binding_level): Remove function. |
| (set_decl_binding_chain): Remove function. |
| * d-elem.cc (DeclarationExp::toElem): Likewise. |
| * d-objfile.cc (VarDeclaration::toObjFile): Likewise. |
| (FuncDeclaration::toObjFile): Likewise. |
| * toir.cc (IRVisitor::start_scope): Moved from d-irstate.cc, updated |
| all callers in IRVisitor. |
| (IRVisitor::end_scope): Likewise. |
| (IRVisitor::is_return_label): Likewise. |
| (IRVisitor::do_label): Likewise. |
| (IRVisitor::do_jump): Likewise. |
| (IRVisitor::start_condition): Likewise. |
| (IRVisitor::start_else): Likewise. |
| (IRVisitor::end_condition): Likewise. |
| (IRVisitor::start_catches): Likewise. |
| (IRVisitor::start_catch): Likewise. |
| (IRVisitor::end_catch): Likewise. |
| (IRVisitor::end_catches): Likewise. |
| (IRVisitor::start_finally): Likewise. |
| (IRVisitor::end_finally): Likewise. |
| (IRVisitor::end_loop): Likewise. |
| (IRVisitor::start_case): Likewise. |
| (IRVisitor::end_case): Likewise. |
| (build_ir): Update signature. |
| |
| 2015-08-01 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * Make-lang.in (DMD_COMPILE): Declare as COMPILE with WARN_CXXFLAGS |
| replaced with DMD_WARN_CXXFLAGS. |
| (DMDGEN_COMPILE): Declare as DMD_COMPILE but with COMPILER replaced |
| with COMPILER_FOR_BUILD. |
| (d/idgen): Use LINKER_FOR_BUILD. |
| (d/impcvgen): Likewise. |
| (d/%.o): Use DMD_COMPILE and POSTCOMPILE. |
| (d/%.dmdgen.o): Use DMDGEN_COMPILE and POSTCOMPILE. |
| |
| 2015-07-27 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (current_irstate): Remove. |
| (d_build_call): Check cfun before dereferencing. |
| * d-codegen.h (current_irstate): Redefine as macro. |
| * d-irstate.cc (IRState::IRState): Remove. |
| (IRState::startFunction): Initialize language-specific cfun field. |
| (IRState::endFunction): Free language-specific cfun field. |
| * d-lang.cc (d_parse_file): Don't initialize current_irstate. |
| * d-lang.h (language_function): Add irs field. |
| * d-objfile.cc (Dsymbol::toObjFile): Check cfun. |
| (FuncDeclaration::toObjFile): Adjust start and end calls. |
| |
| 2015-07-26 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-irstate.cc (IRState::doArraySet): Remove function. |
| * d-codegen.cc (build_array_set): New function. |
| * d-elem.cc (AssignExp::toElem): Use build_array_set. |
| (StructLiteralExp::toElem): Likewise. |
| |
| * d-codegen.cc (build_array_set): Don't set this_block, update call to |
| pop_binding_level. |
| * d-irstate.cc (IRState::endFunction): Update assert. |
| (IRState::startScope): Move IRState::startBindings here, clean-up. |
| (IRState::endScope): Move IRState::endBindings here, clean-up. |
| (IRState::startBindings): Remove function. |
| (IRState::endBindings): Likewise. |
| (IRState::currentScope): Likewise. |
| (IRState::scopes_): Remove. |
| * d-lang.cc (pop_binding_level): Update signature, clean-up. |
| (d_pushdecl): Don't set names_end. |
| (binding_level::names_end): Remove. |
| (binding_level::this_block): Remove. |
| (FuncDeclaration::toObjFile): Clean-up. |
| |
| 2015-07-24 Sebastien Alaiwan <sebastien.alaiwan@gmail.com> |
| |
| * d-lang.cc (deps_write): Use StringTable instead of hash_set of string |
| pointers. |
| |
| 2015-07-23 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-attribs.h: Adjust includes. |
| * d-builtins.cc: Likewise. |
| * d-codegen.cc: Likewise. |
| * d-convert.cc: Likewise. |
| * d-decls.cc: Likewise. |
| * d-elem.cc: Likewise. |
| * d-glue.cc: Likewise. |
| * d-incpath.cc: Likewise. |
| * d-irstate.cc: Likewise. |
| * d-lang.cc: Likewise. |
| * d-longdouble.cc: Likewise. |
| * d-objfile.cc: Likewise. |
| * d-port.cc: Likewise. |
| * d-target.cc: Likewise. |
| * d-todt.cc: Likewise. |
| * toir.cc: Likewise. |
| * types.cc: Likewise. |
| |
| 2015-07-22 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (convert_expr): Warn about casts between imaginary |
| and non-imaginary types. |
| * d-convert (d_convert_basic): Rename to convert, handle conversions |
| between complex and imaginary types. |
| (convert): Remove. |
| (d_build_truthvalue_op): Update to call convert. |
| (d_truthvalue_conversion): Likewise. |
| |
| * d-builtins.cc (d_init_builtins): Build imaginary types as distinct |
| floating point type nodes. |
| * d-codegen.cc (build_float_modulus): Update to handle imaginary types. |
| (d_array_type): Use the front-end equivalent of sizetype to represent |
| the index type of arrays. |
| (build_array_index): Likewise. |
| (build_offset_op): Likewise. |
| (expand_intrinsic): Only get the inner callee if it's an address. |
| |
| * d-codegen.h (component_ref, modify_expr, vmodify_expr, build_vinit) |
| (build_nop, build_vconvert, build_boolop, compound_expr) |
| (vcompound_expr, real_part, imaginary_part): Move to d-codegen.cc, |
| use fold build functions for codegen. |
| * d-codeden.cc (build_address): Use build_fold_addr_expr_with_type, |
| remove special handling of taking an address of an indirect ref. |
| (return_expr): New function. |
| (complex_expr): New function. |
| (indirect_ref): Use fold build functions for codegen. |
| (build_deref): Likewise. |
| (build_array_index): Likewise. |
| (build_offset_op): Likewise. |
| (void_okay_p): Likewise. |
| (build_binary_op): Likewise. |
| (build_float_modulus): Likewise. |
| * d-objfile.cc (FuncDeclaration::toObjFile): Likewise. |
| * d-elem.cc (MinExp::toElem): Likewise. |
| (AddExp::toElem): Likewise. |
| (NotExp::toElem): Likewise. |
| (ComExp::toElem): Likwise. |
| (NegExp::toElem): Likewise. |
| * d-irstate.cc (IRState::doLabel): Likewise. |
| (IRState::doReturn): Likewise. |
| (IRState::doJump): Likewise. |
| |
| * d-attribs.c: Adjust includes for flags.h changes. |
| * d-builtins.cc: Likewise. |
| * d-codegen.cc: Likewise. |
| * d-convert.cc: Likewise. |
| * d-elem.cc: Likewise. |
| * d-decls.cc: Likewise. |
| * d-glue.cc: Likewise. |
| * d-incpath.cc: Likewise. |
| * d-irstate.cc: Likewise. |
| * d-lang.cc: Likewise. |
| * d-longdouble.cc: Likewise. |
| * d-objfile.cc: Likewise. |
| * d-port.cc: Likewise. |
| * d-target.cc: Likewise. |
| * d-todt.cc: Likewise. |
| * toir.cc: Likewise. |
| * types.cc: Likewise. |
| |
| 2015-07-20 Sebastien Alaiwan <sebastien.alaiwan@gmail.com> |
| |
| * d-lang.cc (is_system_module): Extract function. |
| (write_one_dep): Extract function. |
| (deps_write): Eliminate duplicated dependencies, include |
| indirect and private dependencies. |
| |
| 2015-07-19 Sebastien Alaiwan <sebastien.alaiwan@gmail.com> |
| |
| * d-lang.cc (d_parse_file): Set ref flag on the module and make deps |
| file handle. |
| |
| 2015-07-11 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (convert_for_assignment): Remove handling of zero |
| initialising a structure using memset. |
| (d_build_call): Removing handling of setting of return slot |
| optimisation on in call expression. |
| * d-elem.cc (AssignExp::toElem): Emit a memset to zero initialise |
| structures here. Set return slot optimisation on construction of |
| static arrays and structs only. |
| |
| 2015-07-07 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (expand_intrinsic_arith): Use build_deref to handle |
| ref parameters being used for the 'overflow' parameter. |
| |
| 2015-07-03 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-elem.cc (StringExp::toElem): Zero-terminate all string literals |
| types, except for static arrays. |
| * d-objfile.cc (build_type_decl): Add TYPE_DECLs to global declarations, |
| don't call rest_of_decl_declaration. |
| (d_finish_compilation): Call rest_of_decl_declaration on TYPE_DECLs. |
| (Dsymbol::toObjFile): Don't try to handle tuples when emitting import |
| declarations to debug. |
| * d-builtins.cc (builtin_sym): Use StructDeclaration for decl field. |
| (build_dtype): Don't handle anonymous structs. Create a stub parent |
| module for the declaration symbol. |
| (d_build_builtins_module): Always override the parent module of |
| converted struct declarations. |
| (maybe_set_builtin_1): Convert all static array parameters to ref |
| parameters, not just va_list. |
| |
| 2015-07-01 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-attribs.c (d_handle_section_attribute): Use VAR_P throughout. |
| (d_handle_weak_attribute): Use VAR_OR_FUNCTION_DECL_P. |
| * d-codegen.cc (convert_for_assignment): Use VAR_P. |
| * d-lang.cc (pop_binding_level): Likewise. |
| (d_types_compatible_p): Likewise. |
| * d-objfile.cc (setup_symbol_storage): Likewise. |
| (mark_needed): Likewise. |
| (d_finish_compilation): Likewise. |
| |
| 2015-06-30 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * intrinsics.def: Added ADDS, ADDSL, ADDU, ADDUL, SUBS, SUBSL, NEGS, |
| NEGSL, MULS, MULSL, MULU, and MULUL intrinsic definitions. |
| * d-codegen.cc (expand_intrinsic_arith): New function. |
| (expand_intrinsic): Add cases for core.checkedint functions adds, addu, |
| subs, subu, negs, muls, and mulu intrinsics. |
| |
| 2015-06-27 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * Make-lang.in (D_DMD_H): Remove. |
| (D_TREE_H): Likewise. |
| (CFLAGS-d/d-spec.o): Declare extra CFLAGS for building driver. |
| (d-warn): Declare default warning flags for compiler. |
| (D_DMD_OBJS): Remove 'dmd' from the object file suffix. |
| (D_GLUE_OBJS): Remove 'cglue' and 'glue' from object file suffix. |
| (D_GENERATED_OBJS): Remove 'gen' from the object file suffix. |
| (D_BORROWED_C_OBJS): Remove. |
| (CFLAGS-d/id.o): Declare extra CFLAGS for building generated sources. |
| (CFLAGS-d/impcnvtab.o): Likewise. |
| * types.cc (TypeVisitor::visit (TypeClass)): Build a pointer type for |
| classes, not a reference type. |
| * types.cc (TypeVisitor::visit (TypeDelegate)): Don't build a |
| METHOD_TYPE for delegates, as that requires knowing the underlying |
| record type for the 'this' object parameter. |
| (TypeVisitor::visit (TypeEnum): Don't call rest_of_type_compilation. |
| (TypeVisitor::visit (TypeClass): Likewise. |
| (TypeVisitor::visit (TypeStruct): Likewise. |
| * d-decls.cc (TypeInfoDeclaration::toSymbol): Assert class is a pointer |
| type, not a reference type. |
| (FuncDeclaration::toSymbol): Don't convert nested functions into a |
| METHOD_TYPE to be strictly compatible with delegates. |
| * d-codegen.cc (convert_for_argument): Use correct accessors for array |
| .ptr and .length properties. |
| (expand_intrinsic_vaarg): Don't remove the va_list pointer reference, |
| as the backend now assumes this is what the front-end sets up. |
| (d_build_call): Remove assert as delegates and nested functions are no |
| longer represented as METHOD_TYPE. |
| (build_vthis_type): New function. |
| (d_decl_context): Don't set static/__gshared declaration context as |
| anything other than the enclosing module of the declaration. |
| * toir.cc (IRVisitor::visit (ExtAsmStatement)): Support named labels by |
| calling resolve_asm_operand_names. |
| * d-builtins.cc (d_backend_init): Remove. |
| (d_backend_term): Remove. |
| * d-lang.cc (d_write_global_declarations): Remove langhook. |
| (d_init): Move d_backend_init implementation here. |
| (d_parse_file): Move d_write_global_declarations implementation here. |
| (d_finish_compilation): Remove calls to finalize_compilation_unit, |
| check_global_declarations, and emit_debug_global_declarations. |
| (d-system.h): Remove file. Move all includes into local sources. |
| |
| 2015-06-22 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (d_build_call): Only apply CALL_EXPR_RETURN_SLOT_OPT to |
| calls returning an aggregate. |
| (expand_intrinsic): Use CALL_EXPR_FN and CALL_EXPR_ARG directly. |
| (layout_aggregate_type): Update signature. |
| (insert_aggregate_field): Likewise. |
| (finish_aggregate_type): Likewise. |
| * d-codegen.h (AggLayout): Remove helper class. |
| (AddrOfExpr): Remove helper class. |
| (CallExpr): Remove helper class. |
| * d-elem.cc (InExp::toElem): Use build_address directly. |
| (CatAssignExp::toElem): Likewise. |
| (IndexExp::toElem): Likewise. |
| (RemoveExp::toElem): Likewise. |
| * types.cc (TypeVisitor::visit (TypeFunction)): Only apply |
| TREE_ADDRESSABLE to function types returning an aggregate. |
| (TypeVisitor::visit (TypeStruct)): Update for layout_aggregate_type and |
| finish_aggregate_type changes. |
| (TypeVisitor::visit (TypeClass)): Likewise. |
| |
| 2015-06-21 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-objfile.cc (setup_symbol_storage): Mark declarations as private or |
| protected for the benefit of debug code. |
| * d-elem.cc (ArrayLiteralExp::toElem): Only set a value at the given |
| index in the array constructor if it is non-zero. |
| (AssignExp::toElem): Use memset it assigning/initialising an array with |
| all zeroes. |
| (IndexExp::toElem): Simplify codegen to use a placeholder variable for |
| the dollar length. |
| (SliceExp::toElem): Likewise. |
| * d-codegen.cc (ArrayScope): Remove helper class. |
| * Make-lang.in (cc1d$(exeext)): Use link mutex. |
| |
| 2015-05-03 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * Make-lang.in (D_GLUE_OBJS): Rename d-ctype.cc to types.cc. |
| (d-spec.o): Rename d-spec.cc to d-spec.c |
| * types.cc (build_ctype): New function. |
| (Type::toCtype): Convert toCtype methods to use Visitor interface. |
| |
| 2015-04-29 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * Make-lang.in (D_GLUE_OBJS): Add d-attribs.o. Remove d-gt.o. |
| * d-attribs.c: New file. |
| * d-builtins.cc: Move attribute handler functions to d-attribs.c |
| * d-lang.cc: Likewise. Added include for gtype-d.h from d-gt.cc. |
| * d-gt.cc: Remove file. |
| |
| 2015-04-27 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-builtins.cc, d-convert.cc, d-ctype.cc, d-decls.cc, d-elem.cc, |
| d-glue.cc, d-incpath.cc, d-irstate.cc, d-longdouble.cc, d-port.cc, |
| d-target.cc, d-typinf.cc, toir.cc: Re-order included headers. |
| * d-codegen.h, d-dmd-gcc.h, d-irstate.h, d-lang.h, d-objfile.cc, |
| d-system.h: Remove all includes from headers. |
| * d-codegen.cc: Re-order included headers. |
| (build_attributes): Use ctfeInterpret instead of optimize. |
| * d-lang.cc: Re-order included headers. |
| (d_init_options): Don't use tristate enum for flag_emit_templates. |
| (d_handle_option): Likewise. |
| * d-objfile.cc: Re-order included headers. |
| (output_declaration_p): Update check for flag_emit_templates. |
| (setup_symbol_storage): Likewise. |
| * d-todt.cc: Re-order included headers. |
| (ExpInitializer::toDt): Use ctfeInterpret instead of optimize. |
| (TypeInfoTupleDeclaration::toDt): Likewise. |
| |
| 2015-04-20 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (build_exception_object): Remove. |
| * runtime.def (BEGIN_CATCH): Declare runtime function __gdc_begin_catch. |
| * toir.cc (IRVisitor::visit::TryCatchStatement): Use LIBCALL_BEGIN_CATCH |
| to get the correct exception object for handler. |
| |
| 2015-04-18 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (d_build_call): Set CALL_EXPR_RETURN_SLOT_OPT on calls to |
| functions that return an aggregate or array that returns in memory. |
| (build_memref): New function. |
| (get_object_method): Use build_memref instead of building a |
| POINTER_PLUS_EXPR for vtable dereferences. |
| * d-objfile.cc (FuncDeclaration::toObjFile): Support NRVO on |
| ARRAY_TYPE's that may not return in registers. |
| * d-ctype.cc (TypeFunction::toCtype): Don't mark TREE_ADDRESSABLE when |
| returning non-POD types by reference. |
| |
| 2015-04-15 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-decls.cc (EnumDeclaration::toDebug): Remove. |
| (ClassDeclaration::toDebug): Remove. |
| (StructDeclaration::toDebug): Remove. |
| * d-ctype.cc (TypeEnum::toCtype): Call rest_of_type_compilation here. |
| (TypeClass::toCtype): Likewise. |
| (TypeStruct::toCtype): Likewise. |
| |
| 2015-04-12 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-objfile.cc (get_decl_tree): Check and generate correct code for when |
| a non-local 'this' is accessed through a closure pointer. |
| (FuncDeclaration::toObjFile): Remove check for _arguments. |
| * d-codegen.cc (build_local_var): Likewise. |
| |
| 2015-04-11 Johannes Pfau <johannespfau@gmail.com> |
| |
| * d-objfile.cc (setup_symbol_storage): Mark functions without |
| body as DECL_EXTERNAL. |
| |
| 2015-04-08 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (get_decl_tree): Get correct non-local 'this' decl by |
| constructing component reference through parent link of nested classes. |
| * d-builtins.cc (DEF_FUNCTION_TYPE_VAR_8): Remove. |
| (DEF_FUNCTION_TYPE_VAR_12): Likewise. |
| (DEF_FUNCTION_TYPE_VAR_7, DEF_FUNCTION_TYPE_VAR_11): New macros. |
| |
| 2015-04-07 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-objfile.cc (output_declaration_p): Remove check for semanticRun. |
| (FuncDeclaration::toObjFile): Name bool parameter force_p, allow it to |
| override the initial output_declaration_p check. Force run all |
| semantic passes for symbols that it routine is generating code for. |
| (d_finish_function): Don't mark TREE_STATIC on functions that are |
| really DECL_EXTERN. |
| (finish_thunk): Force thunks referencing external methods to be |
| expanded to gimple. |
| * d-decls.cc (FuncDeclaration::toThunkSymbol): Call toObjFile on all |
| thunk target functions. |
| |
| 2015-04-05 Johannes Pfau <johannespfau@gmail.com> |
| |
| * d-lang.cc (d_handle_section_attribute): New function. |
| * d-builtins.cc (handle_alias_attribute): Move to d-lang.cc to |
| support attribute(alias) in user code. |
| * d-lang.cc (d_handle_alias_attribute): Ditto. |
| * d-lang.cc (d_handle_weak_attribute): New function. |
| * d-decls.cc (FuncDeclaration::toSymbol): Do not set |
| DECL_DECLARED_INLINE_P prematurely. |
| |
| 2015-03-21 Johannes Pfau <johannespfau@gmail.com> |
| |
| * d-lang.cc (d_init): Add GNU_EMUTLS version. |
| * d-objfile.cc (build_emutls_function): New function. |
| * d-objfile.cc (VarDeclaration::toObjFile): Collect all TLS variables |
| in a module into tlsVars array. |
| * d-objfile.cc (genmoduleinfo): Add reference to __modtlsscan |
| function generated by build_emutls_function to moduleinfo. |
| |
| 2015-02-02 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * config-lang.in: Remove lang_requires_boot_languages. |
| * d-incpath.cc (iprefix): Remove global variable. |
| (multilib_dir): Ditto. |
| (prefixed_path): Add iprefix parameter. |
| (add_import_paths): Add iprefix and imultilib parameter. |
| Use cpp_include_defaults to get list of import paths. |
| * d-lang.cc (iprefix_dir): New static variable to cache -iprefix switch. |
| (imultilib_dir): New static variable to cache -imultilib switch. |
| (d_init): Pass iprefix_dir and imultilib_dir to add_import_paths. |
| (d_handle_option): Use new static variables. |
| |
| 2015-02-01 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-lang.cc: Remove d-confdef.h header. |
| * d-incpath.cc: Ditto. |
| * d-spec.cc: Ditto. |
| |
| 2015-01-31 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-incpath.cc (add_phobos_versyms): Remove function. |
| * d-lang.cc (d_init): Remove call to add_phobos_versyms. |
| |
| 2015-01-28 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-builtins.cc (DEF_FUNCTION_TYPE_VAR_8) |
| (DEF_FUNCTION_TYPE_VAR_12): New macros. |
| |
| 2015-01-24 Johannes Pfau <johannespfau@gmail.com> |
| |
| * d-builtins.cc (d_build_builtins_module): Mark builtin functions |
| as @nogc. |
| |
| 2015-01-18 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * Make-lang.in: Update for D frontend changes. |
| * d-asmstmt.cc: Remove file. |
| * d-builtins.cc (build_dtype): No longer set struct handle. |
| (d_gcc_paint_type): Move to Target::paintAsType. |
| * d-codegen.cc (convert_expr): No longer call getImpl on associative |
| array conversions. Add case for converting void pointers to delegates. |
| (unhandled_arrayop_p): Remove. |
| (build_two_field_type): Use layout_type instead of building |
| TYPE_STUB_DECL and calling rest_of_decl_compilation. |
| (build_binop_assignment): New function. |
| (libcall_ids): Remove static variable. |
| (get_libcall): New function. |
| (maybe_set_intrinsic): Remove druntime library call handling. |
| (expand_intrinsic_vaarg): Dereference ref va_list parameters. |
| (build_closure): New function. |
| (WrappedExp::WrappedExp): Move to frontend sources. |
| (WrappedExp::toCBuffer): Ditto. |
| * d-codegen.h (LibCallFlag): New enum. |
| (LibCall): Use runtime.def macro to define members. |
| * d-ctype.cc (Type::toCParamtype): Remove function. |
| (TypeTypedef::toCParamtype): Ditto. |
| (TypeClass::toSymbol): Ditto. |
| (TypeFunction::retStyle): Move to retStyle. |
| (TypeSArray::toCParamtype): Ditto. |
| (Type::toSymbol): Ditto. |
| (Type::totym): Ditto. |
| (TypeFunction::totym): Ditto. |
| * d-decls.cc (Dsymbol::toSymbolX): Update for frontend changes. |
| (Dsymbol::toImport): Ditto. |
| (VarDeclaration::toSymbol): Ditto. |
| (FuncDeclaration::toSymbol): Ditto. |
| (InterfaceDeclaration::toSymbol): Use TREE_READONLY instead of |
| (EnumDeclaration::toDebug): Only call rest_of_type_compilation on |
| ENUMERAL_TYPE types. |
| TREE_CONSTANT to declare that the symbol cannot be modified. |
| (ClassDeclaration::toVtblSymbol): Ditto. |
| (AggregateDeclaration::toInitializer): Ditto. |
| (EnumDeclaration::toInitializer): Ditto. |
| (TypedefDeclaration::toInitializer): Remove function. |
| (TypedefDeclaration::toDebug): Ditto. |
| (Dsymbol::cvMember): Remove stub function. |
| (EnumDeclaration::cvMember): Ditto. |
| (FuncDeclaration::cvMember): Ditto. |
| (VarDeclaration::cvMember): Ditto. |
| (TypedefDeclaration::cvMember): Ditto. |
| * d-elem.cc (XorExp::toElem): Remove call to unhandled_arrayop_p. |
| (OrExp::toElem): Ditto. |
| (AndExp::toElem): Ditto. |
| (UshrExp::toElem): Ditto. |
| (ShrExp::toElem): Ditto. |
| (ShlExp::toElem): Ditto. |
| (ModExp::toElem): Ditto. |
| (DivExp::toElem): Ditto. |
| (MulExp::toElem): Ditto. |
| (MinExp::toElem): Ditto. |
| (AddExp::toElem): Ditto. |
| (XorAssignExp::toElem): Ditto. |
| (OrAssignExp::toElem): Ditto. |
| (AndAssignExp::toElem): Ditto. |
| (UshrAssignExp::toElem): Ditto. |
| (ShrAssignExp::toElem): Ditto. |
| (ShlAssignExp::toElem): Ditto. |
| (ModAssignExp::toElem): Ditto. |
| (DivAssignExp::toElem): Ditto. |
| (MulAssignExp::toElem): Ditto. |
| (PowAssignExp::toElem): Ditto. |
| (MinAssignExp::toElem): Ditto. |
| (AddAssignExp::toElem): Ditto. |
| (BinExp::toElemBin): Move to build_binop_assignment. |
| (AssignExp::toElem): Update for frontend changes. |
| (DelegatePtrExp::toElem): New function. |
| (DelegateFuncptrExp::toElem): New function. |
| (DelegateExp::toElem): Update for frontend changes. |
| (FuncExp::toElem): Ditto. |
| (NewExp::toElem): Ditto. |
| (StringExp::toElem): Don't set TREE_READONLY on string literals. |
| (AssocArrayLiteralExp::toElem): Remove codegen rewrite for new |
| associative array implementation. |
| * d-glue.cc (Global::isSpeculativeGagging): Remove function. |
| (Dsymbol::ungagSpeculative): Ditto. |
| (Ungag::~Ungag): Ditto. |
| (Loc::toChars): Update for new column diagnostic support. |
| (Loc::Loc): Ditto. |
| (Loc::equals): Ditto. |
| (error): Ditto. |
| (binary): Remove function. |
| (asmSemantic): New function. |
| (retStyle): New function. |
| (FuncDeclaration::isBuiltin): Rename to isBuiltin. |
| * d-intrinsics.def: Rename to intrinsics.def. |
| * d-irstate.cc (IRState::addExp): Remove old warning to catch statements |
| with no side effects. Now handled in frontend. |
| * d-lang.cc (d_init_options): Update for frontend changes. |
| (d_initialize_diagnostics): Remove function. |
| (d_add_builtin_version): Update for frontend changes. |
| (d_init): Ditto. |
| (d_handle_option): Ditto. |
| (d_post_options): Ditto. |
| (d_parse_file): Ditto. |
| * d-objfile.cc (Nspace::toObjFile): New function. |
| (StructDeclaration::toObjFile): Update for frontend changes. |
| (TypedefDeclaration::toObjFile): Remove function. |
| (TemplateInstance::toObjFile): Update for frontend changes. |
| (TemplateMixin::toObjFile): Ditto. |
| (unnest_function): New function. |
| (output_declaration_p): Update for frontend changes. |
| (FuncDeclaration::toObjFile): Ditto. |
| (FuncDeclaration::buildClosure): Move to buildClosure. |
| (get_linemap): Update for frontend changes. |
| (build_simple_function): Ditto. |
| (build_call_function): Ditto. |
| * d-target.cc (Target::va_listType): New function. |
| (Target::paintAsType): Ditto. |
| * d-todt.cc (dt_container2): Do not set TREE_READONLY on initialisers. |
| (dt_container): Ditto. |
| (ClassReferenceExp::toDt2): Update for C++ class support. |
| (ClassReferenceExp::toInstanceDt): Ditto. |
| (TypeTypedef::toDt): Remove function. |
| (TypeInfoTypedefDeclaration::toDt): Ditto. |
| (TypeInfoAssociativeArrayDeclaration::toDt): Update typeinfo size. |
| (TypeInfoAssociativeArrayDeclaration::toDt): Remove reference to impl |
| field in TypeInfo struct. |
| (TypeInfoStructDeclaration::toDt): Update for frontend changes. |
| * d-typinf.cc (Type::getTypeInfo): Update for frontend changes. |
| (TypeTypedef::getTypeInfoDeclaration): Remove function. |
| (createTypeInfoArray): Remove function. |
| * runtime.def: New file. |
| * toir.cc (IRVisitor::visit::DtorExpStatement): Remove function. |
| (IRVisitor::visit::ExtAsmStatement): Update for frontend changes. |
| |
| 2015-01-17 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-elem.cc (UshrAssignExp::toElem): Remove integer promotion on left |
| hand side of unsigned right shift expression. |
| |
| 2015-01-13 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-system.h: Include hash-set.h, machmode.h, vec.h, double-int.h, |
| input.h, alias.h, symtab.h and inchash.h due to flattening of tree.h. |
| * d-gt.cc: Ditto. |
| |
| 2015-01-02 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.h (build_boolop): Don't eagerly fold comparison expressions. |
| |
| |
| Copyright (C) 2015 Free Software Foundation, Inc. |
| |
| Copying and distribution of this file, with or without modification, |
| are permitted in any medium without royalty provided the copyright |
| notice and this notice are preserved. |
