path: root/gcc/d/ChangeLog-2016

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.