blob: dbd757338033c1952d7a5de914cb97059cd41a9e [file] [log] [blame]
2016-12-28 Iain Buclaw <ibuclaw@gdcproject.org>
* expr.cc (ExprVisitor::visit(VarExp)): Remove type forced conversion.
2016-12-28 Iain Buclaw <ibuclaw@gdcproject.org>
* d-lang.cc (d_handle_option): Handle -ftransition=safe.
* lang.opt (ftransition=safe): Add compiler option.
2016-12-28 Iain Buclaw <ibuclaw@gdcproject.org>
* d-lang.cc (d_init_options): Initialize hdrStripPlainFunctions.
(d_post_options): Add post option handling of flag.
2016-12-27 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (layout_aggregate_type): Adjust layout of D interfaces.
Only add a __vptr field if no base interfaces, don't add __monitor.
2016-12-27 Iain Buclaw <ibuclaw@gdcproject.org>
* d-lang.cc (d_parse_file): Run runDeferredSemantic2 after semantic2.
2016-12-26 Iain Buclaw <ibuclaw@gdcproject.org>
* expr.cc (ExprVisitor::visit(ArrayLiteralExp)): Use getElement to
index elements array.
(ExprVisitor::visit(VectorExp)): Likewise.
2016-12-25 Iain Buclaw <ibuclaw@gdcproject.org>
* Make-lang.in (D_DMD_OBJS): Add d/objc.o
* types.cc (TypeVisitor::visit(TypeFunction)): Handle ObjC linkage.
2016-12-25 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (mangle_decl): New function.
(make_internal_name): Update.
(get_symbol_decl): Update.
2016-12-24 Iain Buclaw <ibuclaw@gdcproject.org>
* expr.cc (ExprVisitor::needs_dtor): New function.
(ExprVisitor::lvalue_p): New function.
(ExprVisitor::visit(AssignExp)): Check both for postblit and dtors
when generating array assignments.
2016-12-24 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (convert_expr): Allow upcasting C++ classes.
(build_class_instance): Generate initial values of vtable interfaces
before class fields.
(layout_aggregate_type): Layout vtable interfaces before class fields.
* d-decls.cc (get_symbol_decl): Build DECL_ARGUMENTS for functions
that have no body.
2016-12-22 Iain Buclaw <ibuclaw@gdcproject.org>
* d-target.cc (Target::cppExceptions): New variable.
(Target::init): Initialize it.
(Target::prefixName): New function.
2016-12-19 Iain Buclaw <ibuclaw@gdcproject.org>
* d-objfile.cc (ClassDeclaration::toObjFile): Use layout_classinfo to
generate TypeInfo for classes.
(InterfaceDeclaration::toObjFile): Likewise.
* d-todt.cc (build_vptr_monitor): Remove function.
* typeinfo.cc (TypeInfoVisitor::set_field): New function.
(TypeInfoVisitor::layout_interfaces): New function.
(TypeInfoVisitor::layout_interface_vtables): New function.
(TypeInfoVisitor::visit(TypeInfoClassDeclaration)): Implement.
(layout_classinfo): New function.
2016-12-18 Iain Buclaw <ibuclaw@gdcproject.org>
* typeinfo.cc (TypeInfoVisitor): Use build_typeinfo instead of
get_typeinfo_decl.
* d-objfile.cc (ClassDeclaration::toObjFile): Use build_constructor to
build the vtable, instead of using dt_cons.
2016-12-18 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (layout_moduleinfo_fields): Use finish_aggregate_type
instead of layout_type.
(layout_classinfo_interfaces): Likewise.
2016-12-17 Iain Buclaw <ibuclaw@gdcproject.org>
* d-builtins.cc (build_dtype): Use static create method for allocating
frontend types.
* d-codegen.cc (declaration_type): Likewise.
(type_passed_as): Likewise.
(get_libcall): Likewise.
* d-lang.cc (d_parse_file): Likewise.
* d-objfile.cc (build_simple_function_decl): Likewise.
(build_emutls_function): Likewise.
* d-todt.cc (StructDeclaration::toDt): Likewise.
* typeinfo.cc (TypeInfoVisitor::visit(TypeInfoInterfaceDeclaration)):
Likewise.
2016-12-17 Johannes Pfau <johannespfau@gmail.com>
* d-decls.cc (copy_struct): Also copy and update TYPE_METHODS.
* d-spec.c (lang_specific_driver): Do not link in math, thread and
time libraries. Use a spec file instead to do this.
(lang_specific_pre_link): Load libgphobos.spec to set up the link
dependencies for libgphobos.
2016-12-13 Iain Buclaw <ibuclaw@gdcproject.org>
* d-builtins.cc (build_dtype): Cache all allocated frontend types.
(builtin_sym): Update constructor.
(builtin_converted_decls): Rename to builtin_converted_syms.
(d_build_builtins_module): Check if decl set before assigning parent.
2016-12-13 Iain Buclaw <ibuclaw@gdcproject.org>
* d-builtins.cc (build_dtype): Set type modifiers on frontend type.
2016-12-12 Iain Buclaw <ibuclaw@gdcproject.org>
* d-builtins.cc (build_dtype): Don't set default parameter storage
class as const.
2016-12-12 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (add_moduleinfo_field): New function.
(layout_moduleinfo_fields): New function.
(get_moduleinfo_decl): Use record type for moduleinfo decl.
* d-objfile.cc (build_moduleinfo_symbol): Delay calling
get_moduleinfo_decl until after ModuleInfo type is validated.
(d_finish_symbol): Remove check for unknown_type_node.
2016-12-11 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (copy_struct): New function.
(layout_classinfo_interfaces): New function.
(get_classinfo_decl): Use record type for classinfo decl.
* d-codegen.cc (create_field_decl): New function.
Use it instead of build_decl when creating a new FIELD_DECL.
2016-12-11 Iain Buclaw <ibuclaw@gdcproject.org>
* d-builtins.cc (build_dtype): Don't build generic function types.
(d_build_builtins_module): Remove check.
2016-12-10 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (build_vindex_ref): Move saving of object to callers.
* expr.cc (ExprVisitor::visit(CallExp)): Save object reference before
passing to build_vindex_ref.
(ExprVisitor::visit(DelegateExp)): Likewise.
2016-12-07 Iain Buclaw <ibuclaw@gdcproject.org>
* d-spec.c (lang_specific_driver): Remove error handling.
* d-lang.cc (d_parse_file): Don't error twice.
2016-12-06 Iain Buclaw <ibuclaw@gdcproject.org>
* d-spec.c (lang_specific_driver): Remove 'added' variable.
2016-12-04 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (get_symbol_decl): Use needsCodegen to determine whether
template instance is extern or not.
2016-12-02 Iain Buclaw <ibuclaw@gdcproject.org>
* d-glue.cc (escapePath): Move to dfrontend.
(readFile): Likewise.
(writeFile): Likewise.
(ensurePathToNameExists): Likewise.
2016-12-01 Iain Buclaw <ibuclaw@gdcproject.org>
* d-target.cc: Include memmodel.h.
* d-attrib.c (d_handle_section_attribute): No longer set
user_defined_section_attribute.
2016-11-25 Iain Buclaw <ibuclaw@gdcproject.org>
* types.cc (TypeVisitor::visit(Type)): Update.
2016-11-24 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (build_struct_literal): Stop after first field
assignment in union constructor.
(build_class_instance): Skip void initialized fields.
* expr.cc (ExprVisitor::visit(StructLiteralExp)): Likewise.
2016-11-22 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (get_symbol_decl): Don't set alignment if
STRUCTALIGN_DEFAULT.
2016-11-21 Iain Buclaw <ibuclaw@gdcproject.org>
* d-todt.cc (ClassDeclaration::toDt): Update.
(ClassDeclaration::toDt2): Remove function.
(TypeSArray::toDtElem): Remove function.
(dt_chainon): Remove function.
(dt_zeropad): Remove function.
(dt_container): Remove function.
(dt_container2): Rename to dt_container. All callers updated.
* d-objfile.cc (VarDeclaration::toObjFile): Update.
2016-11-20 Iain Buclaw <ibuclaw@gdcproject.org>
* d-lang.cc (copy_lang_decl): Rename to d_dup_lang_specific_decl.
(LANG_HOOKS_DUP_LANG_SPECIFIC_DECL): Redefine.
* d-decls.cc (make_alias_for_thunk): Call dup_lang_specific_decl.
(make_thunk): Likewise.
2016-11-19 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.h (FuncFrameInfo): Remove type. All users updated to
interface with new frame macro accessors.
(build_frame_type): Mark as static.
(get_frameinfo): Update to return a tree type.
* d-lang.cc (LANG_HOOKS_TREE_SIZE): Redefine.
(LANG_HOOKS_PRINT_XNODE): Redefine.
(d_tree_size): New function.
(d_print_xnode): New function.
(d_tree_node_structure): New function.
* d-tree.def (FUNCFRAME_INFO): New tree_code.
* d-tree.h (tree_frame_info): New type.
(FRAMEINFO_CREATES_FRAME): New macro accessor.
(FRAMEINFO_STATIC_CHAIN): New macro accessor.
(FRAMEINFO_IS_CLOSURE): New macro accessor.
(FRAMEINFO_TYPE): New macro accessor.
(lang_decl): Replace frame_info field with a tree type.
(d_tree_node_structure_enum): New type.
(lang_tree_node): Update GTY tags.
2016-11-19 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (setup_symbol_storage): Remove function.
(Dsymbol::toSymbol): Remove function and all overrides. All callers
updated to call ...
(get_symbol_decl): ... New function.
2016-11-06 Iain Buclaw <ibuclaw@gdcproject.org>
* d-lang.cc (output_modules): Remove variable.
(output_module): Remove variable.
(d_gcc_get_output_module): Remove function. All callers updated to
use Module::rootModule.
* d-objfile.cc (FuncDeclaration::toObjFile): Mark all functions being
constructed here as TREE_STATIC.
(output_module_p): Remove function. All callers updated to call
Module::isRoot.
2016-11-05 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (get_template_storage_info): Remove function.
(setup_symbol_storage): Use Dsymbol::isInstantiated instead.
2016-11-05 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (build_struct_literal): Handle anonymous fields.
(build_class_instance): New functions.
(find_aggregate_field): Update signature. All callers updated.
* d-todt.cc (dt_chainon): Mark as static.
(dt_zeropad): Likewise.
(dt_container): Likewise.
(ClassReferenceExp::toInstanceDt): Remove function.
(ClassReferenceExp::toDt2): Remove function.
2016-11-01 Iain Buclaw <ibuclaw@gdcproject.org>
* d-tree.h (lang_decl): Remove readonly field.
(DECL_LANG_READONLY): Remove macro. All callers updated.
2016-10-29 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (ClassReferenceExp::toSymbol): Use class record type for
static symbol.
* d-lang.cc (global_context): New static variable.
(global_declarations): New static variable.
(d_nametype): Pass built-in types to debug_hooks::type_decl.
(d_add_global_declaration): Remove function, update all callers.
(get_global_context): New function.
(d_pushdecl): Push decls to global, or bindings list here.
(StructDeclaration::toObjFile): Send type decl to d_pushdecl.
(ClassDeclaration::toObjFile): Likewise.
(InterfaceDeclaration::toObjFile): Likewise.
(EnumDeclaration::toObjFile): Likewise.
(FuncDeclaration::toObjFile): Send finished decl to d_pushdecl.
(d_finish_symbol): Likewise.
(emit_modref_hooks): Likewise.
(d_comdat_linkage): Don't set DECL_COMDAT on non-public decls.
(setup_symbol_storage): Don't set DECL_ABSTRACT_P on templates.
(d_finish_compilation): Remove check for type decls.
(build_type_decl): Don't add to global decl list, just call
rest_of_decl_compilation.
* expr.cc (ExprVisitor::visit(ArrayLiteralExp)): Send finished decl to
d_pushdecl.
* toir.cc (IRVisitor::visit(SwitchStatement)): Likewise.
(IRVisitor::end_scope): Mark bind expr as having side effects.
* typeinfo.cc (TypeInfoVisitor::visit(TypeInfoTupleDeclaration)): Send
finished decl to d_pushdecl.
2016-10-29 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (layout_aggregate_type): Continue searching based on
aggregate members, not just fields.
* types.cc (TypeVisitor::visit(TypeEnum)): Use void for opaque enums.
(TypeVisitor::visit(TypeStruct)): Don't give opaque structs a size.
2016-10-27 Iain Buclaw <ibuclaw@gdcproject.org>
* expr.cc (ExprVisitor::visit(AssignExp)): Don't set TREE_ADDRESSABLE.
* d-codegen.cc (build_assign): Handle setting up INIT_EXPR from a
value returning via NRVO here instead.
2016-10-26 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (d_build_call): Only convert CALL_EXPRs into a
TARGET_EXPR if return type is TREE_ADDRESSABLE.
(build_assign): Use TARGET_EXPR accessors.
(compound_expr): Likewise.
2016-10-15 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.h (d_types_same): Return early if types are identical.
2016-10-09 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (FuncDeclaration::toThunkSymbol): Rename to make_thunk.
All callers updated.
(finish_thunk): Update signature.
2016-10-09 Iain Buclaw <ibuclaw@gdcproject.org>
* d-objfile.h (Thunk): Remove type, move offset field to ...
* d-tree.h (lang_decl): ... here. Replace Thunk field with a tree.
(THUNK_LANG_OFFSET): New macro accessor.
* d-lang.cc (copy_lang_decl): New function.
* d-decls.cc (FuncDeclaration::toThunkSymbol): Use new thunk macros.
2016-10-09 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (finish_thunk): Add assert that current_function_decl is
never set when function is called.
(DeferredThunk): Remove type.
(deferred_thunks): Remove variable.
(write_deferred_thunks): Remove function. All callers updated.
(use_thunk): Remove function.
(FuncDeclaration::toThunkSymbol): Call finish_thunk when done.
2016-10-08 Iain Buclaw <ibuclaw@gdcproject.org>
* d-objfile.cc (deferred_thunks): Move to d-decls.cc.
(write_deferred_thunks): Likewise.
(use_thunk): Likewise. Mark as static.
(thunk_labelno): Likewise.
(make_alias_for_thunk): Likewise.
(finish_thunk): Likewise.
2016-10-08 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (setup_symbol_storage): Remove unused parameters.
2016-10-07 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (ClassReferenceExp::toSymbol): Rename to
build_new_class_expr. All callers updated.
(StructLiteralExp::toSymbol): Remove function. Inline into caller ...
* expr.cc (ExprVisitor::visit(AddrExpr)): ... here.
2016-10-07 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (TypeInfoDeclaration::toSymbol): Rename to
get_typeinfo_decl. All callers updated.
(TypeInfoDeclVisitor): New visitor helper for get_typeinfo_decl.
* d-codegen.cc (get_decl_tree): Add check for building typeinfo decls.
2016-10-05 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (AggregateDeclaration::toInitializer): Rename to
aggregate_initializer. All callers updated.
(EnumDeclaration::toInitializer): Rename to enum_initializer.
(Module::toSymbol): Rename to get_moduleinfo_decl.
(ClassDeclaration::toSymbol): Rename to get_classinfo_decl.
(InterfaceDeclaration::toSymbol): Merge into get_classinfo_decl.
2016-10-03 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (FuncDeclaration::toSymbol): Remove saving of current
module decl before calling semantic.
(StructLiteralExp::toSymbol): Don't handle sinit.
(ClassReferenceExp::toSymbol): Likewise.
(AggregateDeclaration::toInitializer): Likewise.
(EnumDeclaration::toInitializer): Likewise.
* d-glue.cc (toInitializer): Remove function.
* d-objfile.cc (FuncDeclaration::toObjFile): Remove saving of current
module decl before calling semantic.
* expr.cc (ExprVisitor::visit(CallExpr)): Replace accesses of sinit
field with useStaticInit.
(ExprVisitor::visit(StructLiteralExp)): Likewise.
2016-10-03 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (ClassDeclaration::toVtblSymbol): Rename to
get_vtable_decl. All callers updated.
2016-10-03 Iain Buclaw <ibuclaw@gdcproject.org>
* d-objfile.cc (setup_symbol_storage): Move function to ...
* d-decls.cc (setup_symbol_storage): ... here. Mark as static.
(get_template_storage_info): Likewise.
2016-10-03 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (call_by_alias_p): Check whether caller and callee are
nested in the same parent function.
* expr.cc (ExprVisitor::visit(CallExp)): Set TREE_PUBLIC directly
instead of calling setup_symbol_storage.
2016-10-03 Iain Buclaw <ibuclaw@gdcproject.org>
* d-objfile.cc (VarDeclaration::toObjFile): Always generate
DECL_INITIAL for all kinds of var decls.
* d-codegen.cc (build_address): Use the DECL_INITIAL directly if
taking the address of a CONST_DECL.
2016-10-02 Iain Buclaw <ibuclaw@gdcproject.org>
* d-tree.h (DECL_LANG_TREE): Remove macro. All callers updated.
2016-10-02 Iain Buclaw <ibuclaw@gdcproject.org>
* d-objfile.h (Symbol): Remove struct. Update all functions to return
a tree instead. Remove all new allocations of Symbol.
* d-tree.h (DECL_LANG_READONLY): Update accessor.
(DECL_LANG_INITIAL): Likewise.
(DECL_LANG_TREE): Likewise.
(SET_DECL_LANG_FRAME_FIELD): Likewise.
(DECL_LANG_FRAME_FIELD): Likewise.
(SET_DECL_LANG_NRVO): Likewise.
(DECL_LANG_NRVO): Likewise.
(DECL_LANG_THUNKS): Likewise.
(DECL_LANG_FRAMEINFO): Likewise.
2016-10-01 Iain Buclaw <ibuclaw@gdcproject.org>
* d-objfile.h (Symbol): Remove symbol identifier field.
* d-tree.h (DECL_LANG_IDENTIFIER): Remove macro. Update callers to
instead use DECL_ASSEMBLER_NAME.
(DECL_LANG_PRETTY_NAME): Remove macro.
2016-09-26 Johannes Pfau <johannespfau@gmail.com>
* d-objfile.cc (d_finish_function): Handle template mixins (issue 231).
2016-09-25 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (Dsymbol::toSymbolX): Remove function, update all callers
to use ...
(make_internal_name): ... New function.
* d-objfile.h (Symbol): Replace char* fields with tree.
* d-tree.h (lang_identifier): Add pretty_ident field.
(IDENTIFIER_PRETTY_NAME): New macro accessor.
(DECL_LANG_PRETTY_NAME): Update to use IDENTIFIER_PRETTY_NAME.
2016-09-19 Iain Buclaw <ibuclaw@gdcproject.org>
* d-objfile.h (Symbol): Move declaration-specific fields to ...
* d-tree.h (lang_decl): ... here.
(DECL_LANG_READONLY): Update to reference lang_decl field.
(DECL_LANG_INITIAL): Likewise.
(DECL_LANG_FRAME_FIELD): Likewise.
(DECL_LANG_NRVO): Likewise.
(DECL_LANG_THUNKS): Likewise.
(DECL_LANG_FRAMEINFO): Likewise.
(SET_DECL_LANG_FRAME_FIELD): New setter macro, update all callers.
(SET_DECL_LANG_NRVO): Likewise.
2016-09-19 Iain Buclaw <ibuclaw@gdcproject.org>
* d-builtins.cc (d_build_builtins_module): Set DECL_LANG_SPECIFIC
before using any DECL_LANG accessor macros.
(maybe_set_builtin_1): Likewise.
* d-codegen.cc (maybe_set_intrinsic): Likewise.
(layout_aggregate_members): Likewise.
d-decls.cc (VarDeclaration::toSymbol): Likewise.
(FuncDeclaration::toThunkSymbol): Likewise.
(ClassDeclaration::toSymbol): Likewise.
(InterfaceDeclaration::toSymbol): Likewise.
(Module::toSymbol): Likewise.
(StructLiteralExp::toSymbol): Likewise.
(ClassReferenceExp::toSymbol): Likewise.
(ClassDeclaration::toVtblSymbol): Likewise.
(AggregateDeclaration::toInitializer): Likewise.
(EnumDeclaration::toInitializer): Likewise.
2016-09-19 Iain Buclaw <ibuclaw@gdcproject.org>
* d-tree.h (DECL_LANG_IDENTIFIER): New macro accessor, use instead of
direct field accesses.
(DECL_LANG_PRETTY_NAME): Likewise.
(DECL_LANG_READONLY): Likewise.
(DECL_LANG_INITIAL): Likewise.
(DECL_LANG_TREE): Likewise.
(DECL_LANG_FRAME_FIELD): Likewise.
(DECL_LANG_NRVO): Likewise.
(DECL_LANG_THUNKS): Likewise.
(DECL_LANG_FRAMEINFO): Likewise.
2016-09-18 Iain Buclaw <ibuclaw@gdcproject.org>
* imports.cc (ImportVisitor::visit(ScopeDsymbol)): New visit method.
2016-09-17 Iain Buclaw <ibuclaw@gdcproject.org>
* d-todt.cc (ArrayInitializer::toDt): Update to use build_expr.
* d-codegen.cc (d_array_value): Don't override default const and
static bits for array constructors.
2016-09-16 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (lower_struct_comparison): Don't compare vectors in the
same way as integers.
2016-09-11 Iain Buclaw <ibuclaw@gdcproject.org>
* d-todt.cc (Type::toDt): Remove function, inline into callers.
(TypeVector::toDt): Likewise.
(TypeSArray::toDt): Likewise.
(TypeStruct::toDt): Likewise.
2016-09-11 Iain Buclaw <ibuclaw@gdcproject.org>
* d-decls.cc (FuncDeclaration::toSymbol): Save current module decl
before calling function semantic.
* d-objfile.cc (FuncDeclaration::toObjFile): Likewise.
2016-09-11 Iain Buclaw <ibuclaw@gdcproject.org>
* types.cc: Document and reformat file.
2016-09-10 Johannes Pfau <johannespfau@gmail.com>
* d-objfile.cc (setup_symbol_storage): Setup TREE_PUBLIC before
calling decl_default_tls_model.
* d-typeinfo.cc (TypeInfoVisitor::find_field): Move method...
* d-codegen.cc (find_aggregate_field): here.
* d-objfile.cc (build_simple_function): Extract some code into new
function.
(build_simple_function_decl): Extracted from build_simple_function.
* d-objfile.cc (build_moduleinfo): Split into emit_moduleinfo_hooks
and emit_modref_hooks.
(build_dso_registry_var): New function.
(emit_dso_registry_cdtor): Likewise.
(emit_dso_registry_helpers): Likewise.
(emit_dso_registry_hooks): Likewise.
(emit_moduleinfo_hooks): Only emit hooks if required druntime functions
are available.
* d-objfile.cc (Module::genmoduleinfo): Rename to
build_moduleinfo_symbol.
(emit_moduleinfo_hooks): rename to Module::genmoduleinfo.
(Module::genmoduleinfo): only call build_moduleinfo_symbol when
emitting module info registry code.
* d-spec.c (lang_specific_driver): Add -shared-libphobos option,
default to static libphobos.
* d-lang.opt: Likewise.
* d-spec.c: Rename libgphobos2 to libgphobos.
2016-07-11 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (get_frameinfo): Use hasNestedFrameRefs to determine
whether a frame should be created.
2016-07-02 Iain Buclaw <ibuclaw@gdcproject.org>
* d-objfile.cc (FuncDeclaration::toObjFile): Always convert the
DECL_RESULT of NRVO-capable functions into reference decls.
2016-06-21 Iain Buclaw <ibuclaw@gdcproject.org>
* d-attribs.c (handle_nonnull_attribute): Accept the nonnull
attribute in type-generic builtins.
* d-codegen.cc (d_build_call): Check AGGREGATE_TYPE_P before testing
for aggregate_value_p.
2016-06-20 Johannes Pfau <johannespfau@gmail.com>
* d-lang.cc (d_handle_option): Add new -ftransition=dip25 and
-fmax-error-messages switches.
* lang.opt: Likewise.
2016-06-19 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (get_decl_tree): Remove assert for RESULT_DECL.
(convert_for_argument): Handle lazy arguments early.
(argument_reference_p): Handle types marked TREE_ADDRESSABLE.
(lvalue_p): Add case for TARGET_EXPR.
(d_mark_addressable): Likewise.
(build_assign): Likewise.
(compound_expr): Likewise.
(build_target_expr): New function.
(d_build_call): Always set CALL_EXPR_RETURN_SLOT_OPT for all calls
that return an aggregate in memory.
* d-decls.cc (VarDeclaration::toSymbol): Handle reference parameters.
* d-lang.cc (d_gimplify_expr): Handle taking address of constructor.
* d-objfile.cc (FuncDeclaration::toObjFile): Handle reference return.
* expr.cc (ExprVisitor::visit(AssignExp)): Mark LHS as addressable if
RHS assignment is a returned aggregate.
* types.cc (TypeVisitor::visit(TypeStruct)): Mark the RECORD_TYPE of
non-trivial structs as TREE_ADDRESSABLE.
(TypeVisitor::visit(TypeClass)): Mark all classes as TREE_ADDRESSABLE.
(TypeVisitor::visit(TypeFunction)): Don't set TREE_ADDRESSABLE.
(TypeVisitor::visit(TypeDelegate)): Likewise.
2016-06-19 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (lvalue_p): Add more cases to look for.
(build_address): Mark expression as addressable after stabilizing.
(d_mark_addressable): Remove special cases.
(d_mark_used): Add cases for other kinds of DECLs.
(build_struct_comparison): Stabilize before saving.
(modify_expr): Remove overload. Updated all callers.
(build_vinit): Remove function. Updated all callers to use ...
(build_assign): ... New function.
(lvalue_p): Remove tests in default case.
* expr.cc (build_expr_dtor): Rewrite assignments to elide a temporary.
2016-06-16 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (make_temp): Rename to d_save_expr.
(maybe_make_temp): Remove function.
Updated all callers to use d_save_expr().
(vcompound_expr): Remove function.
Updated all callers to use compound_expr().
(maybe_compound_expr): Likewise.
(maybe_vcompound_expr): Likewise.
(vmodify_expr): Remove function.
Updated all callers to use modify_expr().
(lvalue_p): New function.
2016-06-15 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (add_stmt): Don't add statements without side effects.
Push each COMPOUND_EXPR as a separate statement.
(build_local_temp): Use input_location.
(create_temporary_var): Likewise.
(d_has_side_effects): Remove function.
Updated all callers to use TREE_SIDE_EFFECTS.
(stabilize_expr): New function.
Updated all routines that check for COMPOUND_EXPR to use it.
* expr.cc (ExprVisitor::visit(EqualExp)): Use maybe_make_temp to save
expressions. Use build_boolop for constructed conditions.
(ExprVisitor::visit(CatAssignExp)): Stabilize RHS before assignment.
(ExprVisitor::visit(NewExp)): Don't always create SAVE_EXPR.
(ExprVisitor::visit(AssocArrayLiteralExp)): Likewise.
(ExprVisitor::visit(ArrayLiteralExp)): Evaluate elements before
appending to constructor fields.
(ExprVisitor::visit(StructLiteralExp)): Likewise.
2016-06-12 Iain Buclaw <ibuclaw@gdcproject.org>
* d-convert.cc (d_build_truthvalue_op): Fold truthvalue operation.
(d_truthvalue_conversion): Use zero constant of expression type.
2016-06-09 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (build_address): Handle ERROR_MARK and COMPOUND_EXPR.
(build_nop): Likewise.
(indirect_ref): Likewise.
(build_deref): Likewise.
(d_build_call): Only create temporaries if more than one argument has
side effects.
* expr.cc (get_compound_value): Remove function.
(build_expr_dtor): Wrap cleanups in a TRY_FINALLY_EXPR only if the
expression has side effects.
2016-06-08 Iain Buclaw <ibuclaw@gdcproject.org>
* Make-lang.in (D_GLUE_OBJS): Remove d-typinf.o, add typeinfo.o.
* d-codegen.cc (build_typeinfo): Move to ...
* typeinfo.cc: ... here. New file.
* d-objfile.cc (TypeInfoDeclaration::toObjFile): Use layout_typeinfo.
* d-todt.cc (verify_structsize): Remove function.
(TypeInfoDeclaration::toDt): Remove function and overrides.
* d-typinf.cc: Remove file. Contents moved to typeinfo.cc.
* expr.cc (ExprVisitor::visit(DeleteExp)): Use build_typeinfo.
(ExprVisitor::visit(NewExp)): Likewise.
2016-06-08 Iain Buclaw <ibuclaw@gdcproject.org>
* dfrontend: Update to D front-end version 2.068.
* d-codegen.cc (insert_type_modifiers): Don't build TYPE_QUAL_VOLATILE
types. Set TYPE_SHARED instead.
(insert_aggregate_field): Propagate TYPE_SHARED to TREE_ADDRESSABLE.
(array_bounds_check): Use BOUNDSCHECK interface.
* d-lang.cc (d_init_options): Likewise.
(d_init): Likewise.
(d_handle_option): Likewise.
(d_post_options): Likewise.
* d-decls.cc (VarDeclaration::toSymbol): Propagate TYPE_SHARED_to
TREE_ADDRESSABLE.
* d-objfile.cc (ClassDeclaration::toObjFile): Make overload shadowing
an error. Remove call to _d_hidden_func.
(TypeInfoDeclaration::toObjFile): Updated template emission rules.
(FuncDeclaration::toObjFile): Likewise.
* d-port.cc (Port::readwordLE): New function.
(Port::readwordBE): New function.
(Port::readlongLE): New function.
(Port::readlongBE): New function.
* d-todt.cc (dt_container2): Handle error_mark_node.
(dt_container): Likewise.
(TypeInfoStructDeclaration::toDt): Updated template emission rules.
* d-typinf.cc (genTypeInfo): Likewise.
(getTypeInfo): Remove function.
(getTypeInfoType): New function.
(isSpeculativeType): New function.
* d-tree.h (TYPE_SHARED): New macro.
* expr.cc (ExprVisitor::visit(CondExp)): Don't generate dtors in
condition expression.
(ExprVisitor::visit(AssignExp)): Update for frontend changes.
(ExprVisitor::visit(DeleteExp)): Likewise.
(ExprVisitor::visit(CallExp)): Likewise.
(ExprVisitor::visit(DelegateExp)): Likewise.
(ExprVisitor::visit(TypeidExp)): New function.
* lang.opt (bounds_check_set_manually): Remove variable.
(ftransition=complex): New option.
* runtime.def (HIDDEN_FUNC): Remove runtime function.
2016-06-07 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (build_alignment_field): New function.
(build_struct_literal): Update signature, updated all callers.
Add anonymous fields to fill alignment holes in constructor.
(fill_alignment_field): Remove function.
(fill_alignment_holes): Remove function.
(finish_aggregate_type): Don't add anonymous fields.
2016-06-05 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (d_build_call): Separate parameter to pass from it's
construction expression.
* expr.cc (build_dtor_list): New function.
(get_compound_value): New function.
(build_expr_dtor): Update to use helper functions.
(build_return_dtor): New function.
* toir.cc (IRVisitor::visit(ReturnStatement)): Use it.
2016-06-04 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (build_deref): Handle ERROR_MARK nodes early.
(build_array_index): Likewise.
2016-05-29 Johannes Pfau <johannespfau@gmail.com>
* toir.cc (IRVisitor::visit(SwitchStatement)): Set correct type for the
string table for switch(string) statements.
2016-05-24 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (convert_expr): Return empty constructor for null to
associative array conversions.
* expr.cc (ExprVisitor::visit(NullExp)): Likewise.
2016-05-21 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (build_struct_literal): Don't set TREE_STATIC.
(build_boolop): Remove side effects from aggregate types only.
* expr.cc (ExprVisitor::visit(ArrayLiteralExp)): Don't check
initializer_constant_valid_p until after constructor is built.
(ExprVisitor::visit(StructLiteralExp)): Likewise.
2016-05-16 Iain Buclaw <ibuclaw@gdcproject.org>
* expr.cc (ExprVisitor::visit(AssignExp)): Build the rhs constructor
before the lhs declaration.
(ExprVisitor::visit(DeclarationExp)): Compile the declaration and
initializer before pushing it to vars_in_scope.
(build_expr_dtor): Compound all dtors in reverse.
2016-05-16 Johannes Pfau <johannespfau@gmail.com>
* expr.cc (ExprVisitor::visit(IdentityExp*)): Remove side-effects
before comparing two floating point types.
* d-codegen.cc (build_struct_comparison): Remove side-effects
before comparing two values.
(build_boolop): Likewise.
2016-05-15 Iain Buclaw <ibuclaw@gdcproject.org>
* d-todt.cc (Expression::toDt): Remove function and all overrides.
Update all callers to use build_expr.
* expr.cc (ExprVisitor::visit(SymOffExp)): Move check for non-constant
expressions in static initializer data to ...
(build_expr): ... here.
* toir.cc (IRVisitor::visit(SwitchStatement)): Build array of indexes
directly using build_artificial_decl.
2016-05-15 Iain Buclaw <ibuclaw@gdcproject.org>
* expr.cc (ExprVisitor::visit(IdentityExp*)): Remove side-effects
before comparing two dynamic arrays.
2016-05-14 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (get_decl_tree): First check if cfun is set.
* d-todt.cc (StructLiteralExp::toDt): Update call to build_expr.
(SymOffExp::toDt): Likewise.
(VarExp::toDt): Likewise.
(FuncExp::toDt): Likewise.
(VectorExp::toDt): Likewise.
* expr.cc (ExprVisitor::visit(SymbolExp)): Remove function.
(ExprVisitor::visit(SymOffExp)): New function.
(ExprVisitor::visit(VarExp)): New function.
(ExprVisitor::visit(StructLiteralExp)): Don't return static
initializer symbol if constant literal requested.
2016-05-13 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (build_struct_literal): Maybe set TREE_CONSTANT or
TREE_STATIC on the returned constructor.
Allow building struct literals with initializer list out of order.
Add check and error when initializer overlaps previous field.
Don't explicitly set empty initializers for anonymous aggregates or
artificial fields.
2016-05-12 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (build_array_from_val): New function.
* expr.cc (ExprVisitor::visit(StructLiteralExp)): Use it.
2016-05-11 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (convert_expr): Use build_nop to cast between two
static arrays of the same size.
* d-todt.cc (IntegerExp::toDt): Update call to build_expr.
(RealExp::toDt): Likewise.
(ComplexExp::toDt): Likewise.
(StringExp::toDt): Likewise.
(NullExp::toDt): Use build_expr to generate initializer.
(ArrayLiteralExp::toDt): Likewise.
(CastExp::toDt): Likewise.
(ClassReferenceExp::toDt): Likewise.
(ClassReferenceExp::toDtI): Remove function.
* expr.cc (ExprVisitor::visit(CastExp)): Forward constp to the next
leaf expression in the tree.
(ExprVisitor::visit(AddrExp)): Likewise.
(ExprVisitor::visit(FuncExp)): Likewise.
(ExprVisitor::visit(ArrayLiteralExp)): Likewise.
(ExprVisitor::visit(StructLiteralExp)): Likewise.
(ExprVisitor::visit(VectorExp)): Likewise.
(ExprVisitor::visit(ClassReferenceExp)): Adjust reference for constp.
2016-05-09 Iain Buclaw <ibuclaw@gdcproject.org>
* d-objfile.cc (get_unique_name): Remove function.
(build_artificial_decl): New function.
(d_finish_symbol): Use build_artificial_decl.
(build_moduleinfo): Likewise.
* d-decls.cc (StructLiteralExp::toSymbol): Likewise.
(ClassReferenceExp::toSymbol): Likewise.
2016-05-07 Iain Buclaw <ibuclaw@gdcproject.org>
* expr.cc (ExprVisitor::visit(BinExp)): New function.
(ExprVisitor::visit(XorExp)): Remove function.
(ExprVisitor::visit(OrExp)): Likewise.
(ExprVisitor::visit(AndExp)): Likewise.
(ExprVisitor::visit(UshrExp)): Likewise.
(ExprVisitor::visit(ShrExp)): Likewise.
(ExprVisitor::visit(ShlExp)): Likewise.
(ExprVisitor::visit(ModExp)): Likewise.
(ExprVisitor::visit(DivExp)): Likewise.
(ExprVisitor::visit(MulExp)): Likewise.
(ExprVisitor::visit(MinExp)): Likewise.
(ExprVisitor::visit(AddExp)): Likewise.
(ExprVisitor::visit(BinAssignExp)): New function.
(ExprVisitor::visit(XorAssignExp)): Remove function.
(ExprVisitor::visit(OrAssignExp)): Likewise.
(ExprVisitor::visit(AndAssignExp)): Likewise.
(ExprVisitor::visit(ShrAssignExp)): Likewise.
(ExprVisitor::visit(ShlAssignExp)): Likewise.
(ExprVisitor::visit(ModAssignExp)): Likewise.
(ExprVisitor::visit(DivAssignExp)): Likewise.
(ExprVisitor::visit(MulAssignExp)): Likewise.
(ExprVisitor::visit(PowAssignExp)): Likewise.
(ExprVisitor::visit(MinAssignExp)): Likewise.
(ExprVisitor::visit(AddAssignExp)): Likewise.
2016-05-06 Iain Buclaw <ibuclaw@gdcproject.org>
* expr.cc (ExprVisitor::ExprVisitor): Update signature.
(ExprVisitor::visit(AddrExp)): Handle constant expressions.
(ExprVisitor::visit(FuncExp)): Likewise.
(ExprVisitor::visit(ComplexExp)): Likewise.
(ExprVisitor::visit(StringExp)): Likewise.
(ExprVisitor::visit(ArrayLiteralExp)): Likewise.
(ExprVisitor::visit(StructLiteralExp)): Likewise.
(ExprVisitor::visit(NullExp)): Likewise.
(ExprVisitor::visit(ClassReferenceExp)): Likewise.
(build_expr): Update signature.
2016-05-05 Iain Buclaw <ibuclaw@gdcproject.org>
* Make-lang.in (D_GLUE_OBJS): Add d/expr.o.
Remove d/d-elem.o
* d-codegen.cc (size_mult_expr): New function.
* d-tree.h (build_expr): New function, update all callers to toElem.
(build_expr_dtor): New function, update all callers to toElemDtor.
* expr.cc: New file.
* d-elem.cc: Remove file.
2016-05-03 Iain Buclaw <ibuclaw@gdcproject.org>
* d-target.cc (Target::init): Target::realpad value should be size
minus precision.
2016-04-29 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (finish_aggregate_type): Use SET_TYPE_ALIGN.
* types.cc (TypeVisitor::visit(TypeStruct)): Likewise.
* d-decls.cc (ClassDeclaration::toVtblSymbol): Use SET_DECL_ALIGN.
* d-objfile.cc (d_finish_symbol): Likewise.
* d-target.cc (Target::fieldalign): Likewise.
2016-04-29 Iain Buclaw <ibuclaw@gdcproject.org>
* d-todt.cc (TypeSArray::toDtElem): Remove special handling for
arrays of vectors.
2016-04-23 Iain Buclaw <ibuclaw@gdcproject.org>
* d-builtins.cc (build_dtype): Make function static.
* d-lang.cc (d_init_exceptions): Remove function.
* d-codegen.h: Move visitor declarations to ...
* d-tree.h: ... here.
(lang_decl): Remove `d_` prefix from fields.
(lang_type): Likewise.
* d-lang.cc (build_d_type_lang_specific): Rename to build_lang_type.
(build_d_decl_lang_specific): Rename to build_lang_decl.
* imports.cc: Update includes.
2016-03-29 Johannes Pfau <johannespfau@gmail.com>
* d-objfile.cc (d_comdat_linkage): Rewrite template duplicate
handling to generate only one backend tree for all duplicates.
(FuncDeclaration::toObjFile): Likewise.
(VarDeclaration::toObjFile): Likewise.
* d-decls.cc (FuncDeclaration::toSymbol): Likewise.
(VarDeclaration::toSymbol): Likewise.
* d-objfile.cc (get_template_storage_info): Extract function from
setup_symbol_storage.
(setup_symbol_storage): Likewise.
* d-tree.h (lang_identifier): Add field for Dsymbol.
(IDENTIFIER_LANG_SPECIFIC): New macro.
(IDENTIFIER_DSYMBOL): Likewise.
2016-03-29 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (fill_alignment_field): Call layout_decl on field.
(finish_aggregate_type): Add assertion that TYPE_MODE is equal.
2016-03-29 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (convert_expr): Replace call build_integer_cst with
size_int.
(convert_for_assignment): Likewise.
(build_struct_comparison): Likewise.
(d_assert_call): Likewise.
* d-elem.cc (IdentityExp::toElem): Likewise.
(AssignExp::toElem): Likewise.
(IndexExp::toElem): Likewise.
(SymbolExp::toElem): Likewise.
(NewExp::toElem): Likewise.
(ArrayLiteralExp::toElem): Likewise.
(AssocArrayLiteralExp::toElem): Likewise.
2016-03-28 Iain Buclaw <ibuclaw@gdcproject.org>
* d-tree.h (CLASS_TYPE_P): New macro.
* d-codegen.cc (build_struct_literal): Check RECORD_OR_UNION_TYPE_P
before testing ANON_AGGR_TYPE_P.
(fill_alignment_field): New function.
(fill_alignment_holes): New function.
(finish_aggregate_type): Call fill_alignment_holes before computing
backend type mode.
2016-03-28 Iain Buclaw <ibuclaw@gdcproject.org>
* d-tree.h (D_METHOD_CALL_EXPR): Removed `D_' prefix from macro,
updated all callers.
(D_TYPE_IMAGINARY_FLOAT): Likewise.
(D_LABEL_VARIABLE_CASE): Likewise.
* d-codegen.cc (build_delegate_cst): Always return valid constructor.
(get_object_method): Remove function.
(build_vindex_ref): New function.
* d-elem.cc (FuncExp::toElem): Use the real function pointer type when
converting to delegate.
(CallExp::toElem): Handle setting up virtual functions directly.
(DelegateExp::toElem): Likewise.
(DotVarExp::toElem): Remove handling of virtual functions.
2016-03-28 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.h (lang_dtype): Remove function.
(lang_ddecl): Remove function.
* d-tree.h (TYPE_LANG_FRONTEND): New macro, replace all uses of
lang_dtype function.
(DECL_LANG_FRONTEND): New macro.
* d-attribs.c: Update includes.
* d-builtins.cc: Likewise.
* d-codegen.cc: Likewise.
* d-incpath.cc: Likewise.
* d-lang.cc: Likewise.
* d-objfile.cc: Likewise.
2016-03-27 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.h (function_type_p): Remove function.
* d-codegen.cc (d_build_call): Use FUNC_OR_METHOD_P macro.
(build_bounds_condition): Update signature.
(d_assert_call): Likewise.
(insert_aggregate_field): Likewise.
* d-objfile.cc (get_linemap): Likewise.
* d-lang.h: Remove file, updated all includes. Moved forward
declarations of types and functions to ...
* d-tree.h: ... here.
2016-03-20 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (d_checked_index): Remove function.
(d_bounds_condition): Remove function.
(build_bounds_condition): New function.
* d-elem.cc (IndexExp::toElem): Use build_bounds_condition.
(SliceExp::toElem): Likewise.
(EqualExp::toElem): Convert expressions to dynamic arrays when
inlining comparison. Don't pass zero length arrays to memcmp.
2016-03-19 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (d_array_convert): New function overload.
* d-elem.cc (CatExp::toElem): Call new runtime function _d_arraycatnTX
when flattening multiple concatenations.
(NewExp::toElem): Update call construction for new signatures of
runtime functions _d_newarraymTX and _d_newarraymiTX.
* runtime.def (NEWARRAYMTX): Update signature.
(NEWARRAYMITX): Likewise,
(ARRAYCATNT): Remove runtime function.
(ARRAYCATNTX): New runtime function.
2016-03-07 Iain Buclaw <ibuclaw@gdcproject.org>
* imports.cc (ImportVisitor::visit(Declaration)): Don't assume toSymbol
method will cache it's result.
2016-03-06 Iain Buclaw <ibuclaw@gdcproject.org>
* dfrontend: Update root library to 2.068.
* Make-lang.in (D_DMD_OBJS): Add newdelete.o
* d-target.cc (Target::classinfosize): New variable, replaces all uses
of global CLASSINFO_SIZE.
(Target::init): Initialize it.
* d-decls.cc (ClassInfoDeclaration::toSymbol): Remove function.
2016-03-05 Iain Buclaw <ibuclaw@gdcproject.org>
* dfrontend: Update to D front-end version 2.067.
* Make-lang.in (D_DMD_OBJS): Add new frontend sources.
* d-builtins.cc (d_build_builtins_module): Update signature.
(maybe_set_builtin): Rename to d_maybe_set_builtin, update signature.
(d_gcc_magic_module): Remove function.
* d-codegen.cc (expand_volatile_load): New function.
(expand_volatile_store): New function.
(expand_intrinsic): Handle volatileLoad and volatileStore intrinsics.
* d-decls.cc (Module::toModuleAssert): Remove function.
(Module::toModuleUnittest): Remove function.
(Module::toModuleArray): Remove function.
(TypeAArray::aaGetSymbol): Remove function.
* d-elem.cc (AssignExp::toElem): Call _d_arrayassign_{l,r} when
generating dynamic array assignment.
(IndexExp::toElem): Call _aaGetY when indexing an associative array.
(SliceExp::toElem): Use known CTFE result to check whether bounds
checks are necessary.
(DeleteExp::toElem): Call _d_delstruct when deleting a struct pointer.
(Expression::toElemDtor): Don't run cleanup of temporary if it's
constructor thrown an exception.
(NewExp::toElem): Handle special construction of new() arguments.
* d-glue.cc (Loc::Loc): Update signature.
(error): Likewise.
(toInitializer): New function.
* d-lang.cc (d_handle_option): Replace deprecated handlers.
(d_post_options): Set flag_max_errors.
(d_parse_file): Process any modules marked as builtin.
* d-objfile.cc (ClassDeclaration::toObjFile): Don't write out ctors
in the vtable marked @disable.
* d-target.cc (Target::loadModule): New function.
(Target::checkVectorType): New function.
* d-specs.c (lang_specific_driver): Handle -v option.
* lang-specs.h: Pass -v option to to frontend.
2016-03-04 Iain Buclaw <ibuclaw@gdcproject.org>
* imports.cc: New file.
* d-decls.cc (Dsymbol::toImport): Remove function, update all callers
to use build_import_decl.
2016-03-03 Iain Buclaw <ibuclaw@gdcproject.org>
* d-objfile.cc (gcc_attribute_p): New function.
(output_declaration_p): Inline into FuncDeclaration::ObjFile.
(unnest_function): Likewise.
(FuncDeclaration::toObjFile): Remove named parameter, update all
callers to ignore it.
(d_comdat_group): Use DECL_ASSEMBLER_NAME for the comdat group.
(d_comdat_linkage): Catch duplicate instantiations of templates, put
them in the same comdat group.
(setup_symbol_storage): Mark templates not to be written as abstract.
(d_finish_function): Don't send DECL_ABSTRACT_P functions to backend.
(d_finish_compilation): Mark all symbols as needed.
* d-objfile.cc: Remove redundant bool parameter from all lowering
routines for symbols, update all callers.
2016-02-22 Eugene Wissner <belka@caraus.de>
* d-lang.cc (d_init): Remove short_double parameter from
build_common_tree_nodes.
2016-02-20 Iain Buclaw <ibuclaw@gdcproject.org>
* intrinsics.def: Split signature macros into three groups.
Attributes, types, and helper generators.
* d-elem.cc (needsPostblit): Change signature to return boolean,
updated all callers.
(AssignExp::toElem): Don't assign destination to a temporary in
arraycopy call.
* toir.cc (IRVisior::visit(ThrowStatement)): Use NOP_EXPR cast to
convert thrown exception to Object.
(IRVisitor::visit(TryCatchStatement)): Use NOP_EXPR cast to convert
caught Object to thrown exception.
* d-codegen.cc (void_okay_p): Lazily build the convert to type.
* d-lang.cc (parse_int): Remove function.
(d_handle_option): Use integral_argument to parse numbers.
* d-codegen.cc (lower_struct_comparison): Built custom type if
lang_hooks.types.type_for_mode returns nothing.
* d-lang.cc (d_type_for_mode): Always support cent/ucent modes.
(d_type_for_size): Add support for cent/ucent precision types.
(d_signed_or_unsigned_type): Always support cent/ucent precisions.
* d-codegen.cc (d_build_call): Remove type promotion handling for
variadic arguments.
(expand_intrinsic_vaarg): Likewise.
* d-lang.cc (d_type_promotes_to): Likewise.
* d-elem.cc (AddrExp::toElem): Take address of the static const symbol
for the struct literal, not the const constructor.
(CallExp::toElem): Don't pass generated static struct literal symbol
as the object parameter for DotVar call expressions.
* d-codegen.cc (type_va_array): New function.
(declaration_type_kind): Remove function.
(declaration_reference_p): New function, update all callers of
declaration_type_kind.
(argument_type_kind): Remove function.
(argument_reference_p): New function, update all callers of
argument_type_kind.
(build_address): Remove special handling of static array va_list.
* d-codegen.h (type_kind): Remove enum.
2016-02-18 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (build_condition): New function. Update all callers
that generate a COND_EXPR that returns a value to use it.
(build_vcondition): New function. Update all callers that generate a
void COND_EXPR to use it.
* toir.cc (IRVisitor::visit(DoStatement)): Build a COND_EXPR instead
of an EXIT_EXPR to break from the loop.
(IRVisitor::visit(ForStatement)): Likewise.
2016-02-14 Iain Buclaw <ibuclaw@gdcproject.org>
* d-elem.cc: Remove redundant IRState parameter from all lowering
routines for expressions, update all callers.
2016-02-07 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (build_array_set): Use POSTINCREMENT_EXPR to adjust
array pointer.
(identity_compare_p): New function.
(build_struct_memcmp): Refactor into ...
(lower_struct_comparison): ... New function.
(build_struct_comparison): New function.
(build_array_struct_comparison): New function.
* d-elem.cc (IdentityExp::toElem): Use build_struct_comparison for
RECORD_TYPE values.
(EqualExp::toElem): Likewise.
Use memcmp for array of structs that pass test for identity_compare_p,
or fallback to build_array_struct_comparison.
(NewExp::toElem): Remove setting of StructLiteralExp::fillHoles.
(StructLiteralExp::toElem): Ignore StructLiteralExp::fillHoles, unless
building a union literal.
2016-02-03 Iain Buclaw <ibuclaw@gdcproject.org>
* d-elem.cc (AssignExp::toElem): Pass parameters for arraycopy and
arrayassign in the correct order.
2016-01-31 Iain Buclaw <ibuclaw@gdcproject.org>
* longdouble.h (longdouble): Use one contiguous array for the
real_value data payload.
2016-01-23 Iain Buclaw <ibuclaw@gdcproject.org>
* toir.cc (IRVisitor::visit (ExtAsmStatement): Do validation of input
and output constraints, marking operands as addressable if requested.
2016-01-10 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (empty_aggregate_p): New function.
(d_build_call): Don't pass empty aggregates by value.
(build_struct_memcmp): Don't compare empty aggregates by value.
* d-elem.cc (IdentityExp::toElem): Likewise.
(EqualExp::toElem): Likewise.
* (StructLiteralExp::toElem): Don't create temporaries or initialize
holes for empty aggregates.
* d-lang.cc (empty_modify_p): New function.
(d_gimplify_expr): Remove assignments that involve empty aggregates.
2016-01-09 Iain Buclaw <ibuclaw@gdcproject.org>
* d-builtins.cc (d_builtin_type): Define DEF_FUNCTION_TYPE_9,
DEF_FUNCTION_TYPE_10, and DEF_FUNCTION_TYPE_11.
(d_init_builtins): Likewise.
* d-longdouble.cc (machineMode): Remove function.
(longdouble::init): Don't use initialize real format by reference.
(longdouble::operator+): Use real_arithmetic instead of
REAL_ARITHMETIC.
(longdouble::operator-): Likewise.
(longdouble::operator*): Likewise.
(longdouble::operator/): Likewise.
(longdouble::operator%): Likewise.
* d-port.cc (Port::isSignallingNan): Use REAL_VALUE_ISSIGNALING_NAN.
(Port::fequal): Use real_identical instead of REAL_VALUES_IDENTICAL.
* d-target.cc: Include stor-layout.h header.
* lang.opt: Remove documentation for switches defined elsewhere.
2016-01-09 Iain Buclaw <ibuclaw@gdcproject.org>
* d-codegen.cc (get_libcall): Use set_call_expr_flags to apply runtime
function attributes.
* d-codegen.h (LibCallFlag): Remove type.
* runtime.def: Replace LibCallFlag with ECF everywhere.
Copyright (C) 2016 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.