| 2013-12-27 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (build_two_field_type): Declare builtin types as |
| toplevel declarations. |
| * d-ctype.cc (EnumDeclaration::toDebug): Build type decl in debug code. |
| * d-lang.cc (nametype): Rename to d_nametype. |
| |
| 2013-12-23 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-decls.cc (EnumDeclaration::toDebug): Don't send array types to |
| rest_of_type_compilation. |
| |
| 2013-12-16 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-spec.cc (lang_specific_driver): Require linking in library for all |
| files except D interface files. |
| * d-lang.cc (d_write_global_declarations): Call d_finish_compilation. |
| * d-objfile.cc (mark_needed): Mark static. |
| (d_finish_symbol): Don't call mark_needed. |
| (d_finish_function): Likewise. |
| (d_finish_compilation): New function to wrapup all global |
| declarations, mark templates/comdats as needed if required, and start |
| the final compilation. |
| |
| 2013-12-10 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-ctype.cc (TypeVector::toCtype): Treat void vectors as ubyte. |
| * d-objfile.cc (VarDeclaration::toObjFile): Gag all errors compiling |
| manifest constants. |
| * d-todt.cc (TypeVector::toDt): New function to generate correct static |
| data for vector initialisers. |
| |
| 2013-12-05 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-lang.cc (d_init_options_struct): Don't define strict aliasing. |
| (d_get_alias_set): New function to return language-specific alias set. |
| * d-convert.cc (d_convert_basic): Always zero extend pointer to integer |
| conversions. |
| |
| 2013-12-04 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (maybe_set_builtin_frontend): Assert that all runtime |
| library functions have been set-up correctly. |
| (libcall_ids): Remove unhandled library functions. |
| (get_libcall): Likewise. |
| * d-codegen.h (LibCall): Likewise. |
| * d-objfile.cc (output_symbol_p): Remove. |
| |
| 2013-12-03 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-lang.cc (d_init_options): Update for frontend changes. |
| (d_handle_option): Set frontend allInst option if -femit-templates. |
| * d-objfile.cc (output_template_p): Want to emit all instantiated |
| templates if -femit-templates or -fdebug was passed to the compiler. |
| * d-objfile.h (TemplateEmission): Define TEallinst. |
| * d-todt.cc (StructDeclaration::toDt): Update for frontend changes. |
| * d-spec.cc (THREAD_LIBRARY): Define default thread library to link if |
| one is not already specified in the configuration process. |
| (TIME_LIBRARY): Define default real time library to link if one is not |
| already specified in the configuration process. |
| (LIBSTDCXX): Define C++ library to link if compiling C++ and D sources. |
| (lang_specific_driver): Update implementation to use new macros. |
| |
| 2013-12-02 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-elem.cc (CatAssignExp::toElem): Don't call postblit after element |
| append to array. |
| (NewExp::toElem): Handle calling 'new' on opaque types. |
| (ArrayLiteralExp::toElem): Ensure array literal elements have no side |
| effects by making temporaries as necessary. |
| * d-todt.cc (StructLiteralExp::toDt): Update for frontend changes. |
| * d-codegen.cc (build_frame_type): Check for scoped variables if |
| building a closure. |
| * d-objfile.cc (d_finish_symbol): Relax toDt checking rule. |
| |
| 2013-12-01 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-asmstmt.cc (ExtAsmStatement::ExtAsmStatement): Remove labels |
| member from class. |
| * d-codegen.cc (d_gcc_force_templates): Remove. |
| (convert_expr): Update for frontend changes. |
| (convert_for_assignment): Likewise. |
| (maybe_set_builtin_frontend): Update for changes to libdruntime |
| core.bitops signatures. |
| * d-ctype.cc (TypeFunction::toCtype): Update for frontend changes. |
| * d-decls.cc (Dsymbol::toSymbolX): Likewise. |
| (VarDeclaration::toSymbol): Likewise. |
| (FuncDeclaration::toSymbol): Don't defer nested functions here. |
| * d-elem.cc (PowAssignExp::toElem): Update for frontend changes. |
| (DeleteExp::toElem): Likewise. |
| (AssertExp::toElem): Don't call invariant on an extern C++ class. |
| * d-glue.cc (Global::init): Initialise new stdmsg member. |
| * d-lang.cc (d_handle_option): Handle -fdeps switch. Remove TEprivate |
| for -femit-templates switch. |
| (genCmain): Update for frontend changes. |
| (d_parse_file): Likewise. |
| * d-longdouble.cc (longdouble::dump): Likewise. |
| * d-objfile.cc (ClassDeclaration::toObjFile): Update for frontend |
| changes. |
| (InterfaceDeclaration::toObjFile): Likewise. |
| (EnumDeclaration::toObjFile): Likewise. |
| (Symbol::Symbol): Remove outputSymbol member. |
| (output_symbol_p): Mark static. |
| (output_declaration_p): Determine symbol codegen status from |
| semanticRun. |
| (output_template_p): New function to determine whether an instantiated |
| template is to be written to object file. |
| (FuncDeclaration::toObjFile): Use semanticRun to update codegen status |
| of function. |
| (FuncDeclaration::buildClosure): Error if putting a scoped variable in |
| a closure. |
| (Module::genobjfile): Update for frontend changes. |
| (d_comdat_linkage): Don't determine linkage from TE setting. Mark all |
| comdat symbols as DECL_COMDAT. |
| (setup_symbol_storage): Use output_template_p to determine whether the |
| symbol is being written to object file. |
| (mark_needed): New function to mark decls that must be emitted. |
| (d_finish_symbol): Mark finished symbols as needed. |
| (d_finish_function): Mark finished functions as needed. |
| (build_simple_function): Set semanticRun for glue changes. |
| * d-objfile.h (OutputStage): Remove enum. |
| * d-todt.cc (build_vptr_monitor): Update for frontend changes. |
| (StructInitializer::toDt): Likewise. |
| (StructDeclaration::toDt): Likewise. |
| (TypeInfoEnumDeclaration::toDt): Likewise. |
| (TypeInfoStructDeclaration::toDt): Likewise. |
| (Type::getTypeInfo): Likewise. |
| |
| 2013-11-30 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-lang.cc (genCmain): Implement code generation of __entrypoint |
| module to provide the target C main function. |
| (deps_write): Ignore the module __entrypoint when writing make deps. |
| (d_parse_file): Handle writing __entrypoint module to object file. |
| * d-objfile.cc (d_finish_symbol): Remove special handling of _tlsstart |
| symbol, but ensure _tlsend gets written to the thread common section. |
| (d_finish_function): Remove call to build_tlssections. |
| (build_tlssections): Remove. |
| |
| 2013-11-29 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-decls.cc (ClassDeclaration::toVtblSymbol): Use TypeSArray::makeType |
| to generate frontend static array type. |
| * d-glue.cc (Dsymbol::ungagSpeculative): Define. |
| * d-lang.cc (genCmain): Define as empty. |
| (d_parse_file): Update for frontend changes. |
| * d-objfile.cc (StructDeclaration::toObjFile): Likewise. |
| * d-typinf.cc (TypeBasic::builtinTypeInfo): Likewise. |
| * d-longdouble.cc (longdouble::isIdenticalTo): Remove. |
| * d-port.cc (Port::fequal): Define. |
| |
| 2013-11-28 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-builtins.cc (gcc_type_to_d_type): Use TypeSArray::makeType to |
| generate frontend static array types. |
| * d-codegen.cc (build_attributes): Use optimize as don't want the |
| ctfeInterpret of TypeExp expressions. |
| (get_object_method): Update for frontend changes. |
| (get_libcall): Update to use Type::dtypeinfo. |
| * d-elem.cc (IndexExp::toElem): Don't generate bounds checking codegen |
| if frontend explictly requests it. |
| (ArrayLiteralExp::toElem): Use TypeSArray::makeType to generate |
| frontend static array type. |
| (StructLiteralExp::toElem): Update for frontend changes. |
| * d-glue.cc (Global::increaseErrorCount): Define. |
| * d-objfile.cc (Module::genmoduleinfo): Remove moduleinfo 'New' |
| implementation for libdruntime changes. |
| * d-todt.cc (StructLiteralExp::toDt): Literal initialisers override |
| default initialisers. |
| (TypeInfoDeclaration::toDt): Update to use Type::dtypeinfo. |
| (TypeInfoStructDeclaration::toDt): Update for frontend changes. |
| * d-typinf.c (Type::getInternalTypeInfo): Update to use |
| Type::dtypeinfo. |
| |
| 2013-11-25 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-asmstmt.cc (ExtAsmStatement::comeFromImpl): Define for frontend |
| implementation changes. |
| * d-codegen.cc (get_libcall): Update to use Type::typeinfoclass. |
| * d-codegen.cc (WrappedExp): Define as class. |
| * d-convert.cc (d_convert_basic): Fix format warnings. |
| * d-decls.cc (ModuleInfoDeclaration::toSymbol): Remove. |
| (FuncDeclaration::toSymbol): Use mangleExact to get decl mangle. |
| * d-elem.cc (ClassReferenceExp::toElem): Return reference to class. |
| * d-glue.cc (verror): Fix format warnings. |
| (verrorSupplemental): Likewise. |
| (vwarning): Likewise. |
| (vdeprecation): Likewise. |
| (escapePath): Define for frontend implementation changes. |
| * d-irstate.cc (IRState::getLoopForLabel): Implement breaking on named |
| scope labels in for/while loops. |
| * d-lang.cc (d_handle_option): Add handler for new -fdeps and |
| -fmake-deps options. |
| (d_parse_file): Handle new -fdeps and fmake-deps options. |
| * d-objfile.cc (Dsymbol::toObjFile): Update to use RootObject. |
| (Type::typeinfoclass): Update to use Type::typeinfoclass. |
| (InterfaceDeclaration::toObjFile): Likewise. |
| * d-objfile.h (Symbol): Remove inheritance from Object. |
| * d-todt.cc (TypeInfoStructDeclaration::toDt): Update to use |
| Type::immutableOf. |
| |
| 2013-11-24 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-builtins.c (gcc_type_to_d_type): Use TREE_INT_CST_LOW macro instead |
| of tree_low_cst. |
| (eval_builtin): Likewise. |
| (gcc_cst_to_d_expr): Use tree_cst_hwi. |
| * d-codegen.cc (tree_to_hwi): Remove call to deleted host_integerp. |
| (maybe_expand_builtin): Use TREE_INT_CST_LOW macro. |
| * d-lang.cc (d_parse_file): Update debug_hooks call for middle-end |
| changes. |
| * d-system.h: Update includes for middle-end changes. |
| |
| 2013-11-17 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-objfile.cc (finish_thunk): Update for conversion of symtab types to |
| a true class hierarchy. |
| |
| * d-ctype.cc (TypeClass::toCtype): Fix ABI to emit correct vtable and |
| monitor field names. |
| |
| * d-ctype.cc (TypeClass:toCtype): Set TYPE_LANG_SPECIFIC on record as |
| well as reference type. |
| * d-lang.cc (d_classify_record): New langhook to return appropriate |
| class/interface/struct type to the debugger. |
| |
| 2013-10-27 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-elem.cc (ArrayLiteralExp::toElem): Build empty constructor for zero |
| sized arrays. |
| |
| 2013-10-23 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-elem.cc (AssignExp::toElem): Optimise assigning array literal to a |
| static array. |
| (ArrayLiteralExp::toElem): Do not allocate static or const array |
| literals on the heap using the GC. |
| |
| 2013-10-16 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-builtins.c (DEF_FUNCTION_TYPE_8): Define. |
| |
| 2013-10-10 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-builtins.c (gcc_cst_to_d_expr): Add support for VECTOR_CST to |
| Expression conversion. |
| (d_gcc_paint_type): Add support for painting to/from array literals. |
| |
| 2013-10-01 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-objfile.cc (cvtLocToloc_t): Rename to get_linemap. |
| * d-glue.cc: New source to provide interface for defined globals and |
| error handling called from the front-end. |
| |
| 2013-09-16 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::call): Rename to d_build_call. |
| (IRState::emitLocalVar): Rename to build_local_var. |
| (IRState::buildAssignOp): Move to BinExp::toElemBin. |
| (IRState::IRState): Remove IRState class. |
| * d-irstate.cc (IRBase::IRBase): Rename to IRState, remove inheritance |
| from Object class. |
| * d-decls.cc (VarDeclaration::toSymbol): Remove redundant CONST_DECL |
| code as VarDeclaration::toObjFile does not emit manifest constants. |
| * d-ctype.cc (TypeEnum::toCtype): Generate CONST_DECLs for enumeration |
| members for correct debugging. |
| * d-objfile.cc (build_type_decl): Use fully qualified type name in |
| debugging code. |
| (VarDeclaration::toObjFile): Emit manifest constant values in debug |
| code generation. |
| |
| 2013-09-10 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-elem.cc (SliceExp::toElem): Don't build D array for slices that |
| return a static array. |
| |
| 2013-09-03 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::buildOp): Rename to build_binary_op. |
| |
| 2013-09-01 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-decls.cc (binfo_for): Rename to build_class_binfo. |
| (intfc_binfo_for): Rename to build_interface_binfo. |
| (ClassDeclaration::toDebug): Move binfo generation into toCtype. |
| * d-lang.cc (pushlevel): Rename to push_binding_level. |
| (poplevel): Rename to pop_binding_level. |
| (global_bindings_p): Rename to d_global_bindings_p, add langhook. |
| (pushdecl): Rename to d_pushdecl, add langhook. |
| (getdecls): Rename to d_getdecls, add langhook. |
| (set_block): Remove function. |
| (insert_block): Remove function. |
| * d-irstate.cc (IRBase::startBindings): Inline set_block here. |
| (IRBase::endBindings): Inline insert_block here. |
| |
| 2013-08-29 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-spec.c (lang_specific_spec_functions): Remove. |
| |
| 2013-08-28 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::doArraySet): Rename to IRBase::doArraySet. |
| (IRState::arraySetExpr): Remove function. |
| (IRState::expandDecl): Rename to expand_decl. |
| (IRState::typeinfoReference): Rename to build_typeinfo. |
| (IRState::buildChain): Merge into FuncDeclaration::buildClosure. |
| (IRState::getVThis): Rename to build_vthis. |
| (IRState::maybeExpandSpecialCall): Rename to maybe_expand_builtin. |
| (IRState::toDArray): Rename to d_array_convert. |
| |
| 2013-08-26 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (convert_expr): Check that the class type the codegen is |
| casting from is a base class of the class type the codegen is casting |
| to, not the other way round. |
| |
| 2013-08-14 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-elem.cc (ArrayLiteralExp::toElem): Return null for zero length |
| array literals. |
| |
| 2013-08-07 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-objfile.cc (finish_thunk): Don't emit thunks to external symbols as |
| weakref declarations. |
| * d-codegen.cc (IRState::maybeExpandSpecialCall): Remove intrinsic yl2x |
| and yl2xp1 builtins. |
| (maybe_set_builtin_frontend): Likewise. |
| |
| 2013-07-09 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-builtins.c (d_gcc_magic_builtins_module): Set builtins solely |
| provided by the compiler as @safe, pure and nothrow. |
| * d-codegen.cc (IRState::getVThis): Don't set outer 'this' of structs |
| to be parent function chain if no frame has been created. |
| |
| 2013-07-08 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-elem.cc (Expression::toElemDtor): Wrap temp variables destructor |
| calls in a try/finally expression. |
| |
| 2013-07-05 Johannes Pfau <johannespfau@gmail.com> |
| |
| * patch-versym-os-4.8.x: Set versions on powerpc and alpha. |
| Remove SysV4 support and therefore fix macro redefinition warnings. |
| * patch-versym-os-4.9.x: Likewise. |
| |
| 2013-07-03 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-longdouble.cc (longdouble::set): Intepret set values at higher |
| precision for min/max properties. |
| * d-codegen.cc (maybe_set_builtin_frontend): Add yl2x and yl2xp1 |
| math intrinsics. |
| (IRState::maybeExpandSpecialCall): Likewise. |
| |
| 2013-07-02 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-objfile.cc (Module::genobjfile): Don't free current_module_info. |
| * d-codegen.cc (IRState::buildAssignOp): Don't create a SAVE_EXPR |
| around comma expressions used as lvalues. |
| * d-todt.cc (TypeSArray::toDtElem): Get underlying vector basetype when |
| layouting out data in a static array. |
| |
| 2013-06-29 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * complex_t.h: Move into dfrontend. |
| * d-builtins.c (gcc_cst_to_d_expr): Explicitly create longdouble. |
| * d-longdouble.cc (longdouble::parse): Remove function. |
| (longdouble::longdouble): Remove constructors from longdouble. |
| Replaced with operator= template and longdouble::set. |
| (longdouble::rv): Update for new class layout. |
| (longdouble::from_shwi): New function to create a longdouble value |
| from a HOST_WIDE_INT. |
| (longdouble::from_uhwi): Likewise, but from an unsigned HOST_WIDE_INT. |
| (longdouble::to_shwi): New function to return a HOST_WIDE_INT value |
| from a longdouble. |
| (longdouble::to_uhwi): Likewise, but from an unsigedn HOST_WIDE_INT. |
| (longdouble::set): New function to explicitly set longdouble value. |
| (longdouble::toInt): Remove function. |
| (longdouble::isZero): Remove function. |
| (longdouble::isNegative): Remove function. |
| * d-port.cc (Port::nan): Rename to Port::ldbl_nan. |
| (Port::infinity): Rename to Port::ldbl_infinity. |
| (Port::ldbl_max): New static field. |
| (Port::init): Set ldbl_max to be maximimum value for long double type. |
| (Port::strtof): New function to convert string to longdouble. |
| (Port::strtod): Likewise. |
| (Port::strtold): Likewise. |
| |
| 2013-06-24 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-objfile.cc (make_alias_for_thunk): Do not set |
| TREE_SYMBOL_REFERENCED. |
| |
| 2013-06-17 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (build_struct_memcmp): New function. |
| * d-elem.cc (IdentityExp::toElem): Use build_struct_memcmp for field |
| comparisons of small structs. |
| |
| 2013-06-13 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (make_temp): New function. |
| * d-decls.cc (StructLiteralExp::toSymbol): Implement correctly to |
| generate an anonymous symbol to reference to in the codegen. |
| (ClassReferenceExp::toSymbol): Likewise, but also use an anonymous |
| type as size is not determined until the data has been layed out. |
| * d-elem.cc (EqualExp::toElem): Optimise comparisons of arrays of basic |
| types, also ensure left-to-right evaluation. |
| (SliceExp::toElem): Handle returing slice as a static array type. |
| (AddrExp::toElem): Handle taking the address of StructLiteralExp and |
| ClassReferenceExp symbols. |
| (FuncExp::toElem): Relax type checking to allow returning function |
| addresses as generic pointer types. |
| (ArrayLiteralExp::toElem): Implicitly convert static arrays of void to |
| static arrays of ubyte. |
| (StructLiteralExp::toElem): Remove code generation of postblit calls, |
| now taken care of in the front end. |
| * d-objfile.cc (Module::genmoduleinfo): Emit module name as a null |
| terminated static array. |
| * d-ctype.cc (TypeAArray::toCtype): Pass AA types around like pointers. |
| |
| 2013-06-11 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * dfrontend: Update to D front-end version 2.063. |
| |
| * d-builtins.c (gcc_type_to_d_type): Use Loc for unknown locations. |
| (d_gcc_magic_builtins_module): Likewise. |
| (gcc_cst_to_d_expr): Likewise. |
| * d-codegen.cc (get_libcall): Use FuncDeclaration::genCfunc to build |
| D runtime library functions. |
| * d-decl.cc (SymbolDeclaration::SymbolDeclaration): Remove function. |
| (StructLiteralExp::toSymbol): New function. |
| (ClassReferenceExp::toSymbol): New function. |
| * d-elem.cc (AssertExp::toElem): Call struct/class invariants only if |
| compiler is generating invariant code. |
| (TupleExp::toElem): Update for new front-end. |
| (ClassReferenceExp::toElem): New function. |
| * d-lang.cc (d_init_options): Set compiler.vendor front-end parameter. |
| (d_init): Call Expression::init. |
| * d-objfile.cc (InterfaceDeclaration::toObjFile): Correctly set the |
| xgetRTInfo field in the record layout. |
| * d-todt.cc (CastExp::toDt): New function. |
| (AddrExp::toDt): New function. |
| (ClassReferenceExp::toDt): New function. |
| (ClassReferenceExp::toDtI): New function. |
| (ClassReferenceExp::toInstanceDt): New function. |
| (ClassReferenceExp::toDt2): New function. |
| |
| 2013-06-10 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-objfile.cc (FuncDeclaration::toObjFile): Set 'this' parameter as |
| implicitly read-only. |
| * d-codegen.cc (declaration_type): Set 'this' declaration type as |
| implicitly const. |
| (build_frame_type): Set frame or closure type as implicitly const. |
| |
| 2013-06-09 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-builtins.c (d_init_builtins): Make d_unknown_type_node a |
| RECORD_TYPE. |
| * d-lang.cc (d_build_eh_type_type): Cast the returned typeinfo decl to |
| void pointer type. |
| |
| 2013-06-07 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::var): Rename to get_decl_tree. |
| (IRState::convertForArgument): Rename to convert_for_argument. |
| (IRState::floatMod): Rename to build_float_modulus. |
| (IRState::findThis): Rename to find_this_tree. |
| (IRState::emitLocalVar): Update signature. |
| (IRState::arrayElemRef): Remove function. |
| * d-elem.cc (IndexExp::toElem): Move implementation of |
| IRState::arrayElemRef here. |
| |
| 2013-06-04 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (cmodule): Rename to current_module_decl. |
| (object_file): Remove variable. |
| * d-objfile.cc (ObjectFile::moduleInfo): Rename to current_module_info. |
| (ObjectFile::modules): Rename to output_modules. |
| (ObjectFile::staticCtorList): Rename to static_ctor_list. |
| (ObjectFile::staticDtorList): Rename to static_dtor_list. |
| (ObjectFile::emitTemplates): Rename to flag_emit_templates. |
| (ObjectFile::beginModule): Remove function. |
| (ObjectFile::endModule): Remove function. |
| (ObjectFile::finish): Rename to d_finish_module. |
| (ObjectFile::doLineNote): Remove function. |
| (ObjectFile::setLoc): Rename to set_input_location. |
| (ObjectFile::setDeclLoc): Rename to set_decl_location. |
| (ObjectFile::setCfunEndLoc): Rename to set_function_end_locus. |
| (ObjectFile::giveDeclUniqueName): Rename to get_unique_name. |
| (ObjectFile::setupSymbolStorage): Rename to setup_symbol_storage. |
| (ObjectFile::setupStaticStorage): Remove function. |
| (ObjectFile::makeDeclOneOnly): Rename to d_comdat_linkage. |
| (ObjectFile::outputStaticSymbol): Rename to d_finish_symbol. |
| (ObjectFile::outputFunction): Rename to d_finish_function. |
| (ObjectFile::addAggMethod): Remove function. |
| (ObjectFile::initTypeDecl): Rename to build_type_decl. |
| (ObjectFile::declareType): Remove function. |
| (ObjectFile::shouldEmit): Rename to output_declaration_p. |
| (ObjectFile::shouldEmit): Rename variant to output_symbol_p. |
| (ObjectFile::doThunk): Rename to use_thunk. |
| (ObjectFile::stripVarDecl): Remove function. |
| (ObjectFile::doSimpleFunction): Rename to build_simple_function. |
| (ObjectFile::doFunctionToCallFunctions): Rename to |
| build_call_function. |
| (ObjectFile::doCtorFunction): Rename to build_ctor_function. |
| (ObjectFile::doDtorFunction): Rename to build_dtor_function. |
| (ObjectFile::doUnittestFunction): Rename to build_unittest_function. |
| (ObjectFile::hasModule): Rename to output_module_p. |
| (ObjectFile::outputThunk): Rename to finish_thunk. |
| (write_deferred_thunks): New function to emit deferred thunks. |
| |
| 2013-06-03 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-decls.cc (VarDeclaration::toSymbol): Don't set default tls model. |
| * d-objfile.cc (ObjectFile::setupSymbolStorage): Set default tls |
| model for var decls before determining whether symbol is public. |
| (build_tlssections): Likewise for TLS symbols. |
| |
| 2013-06-01 Johannes Pfau <johannespfau@gmail.com> |
| |
| * d-codegen.cc (maybe_set_builtin_frontend): Check parameter and |
| return types of intrinsics. |
| |
| 2013-06-01 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::var): Handle variables used for NRVO. |
| * d-ir.cc (ReturnStatement::toIR): Return result decl directly if NRVO. |
| * d-objfile.cc (Symbol::SnamedResult): New member to hold the named |
| RESULT_DECL of the function. |
| (FuncDeclaration::toObjFile): Set-up function for NRVO. |
| (build_tlssections): Align _tlsstart and _tlsend symbols to target |
| address size. |
| * d-ctype.cc (TypeFunction::toSymbol): Mark functions returning non-POD |
| structs as TREE_ADDRESSABLE to force return in memory. |
| * d-decls.cc (FuncDeclaration::toSymbol): Propagate TREE_ADDRESSABLE |
| from the original function type. |
| |
| 2013-05-29 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-target.cc: New source file to handle Target structure. |
| |
| * d-builtins.c (d_bi_init): Remove function. |
| (d_gcc_type_align): Move to Target::alignsize. |
| (d_gcc_field_align): Move to Target::fieldalign. |
| (d_init_builtins): Build va_list type for D frontend. |
| * d-lang.cc (d_init): Use isLP64 to determine LP64 targets. |
| (d_add_builtin_version): Set is64bit if target is X86_64. |
| * d-codegen.cc (convert_for_assignment): Use memset to implement front |
| end code (struct = 0) here, rather than build an empty constructor. |
| * d-elem.cc (AssignExp::toElem): Remove handling of (struct = 0) and |
| call convert_for_assignment. |
| |
| 2013-05-28 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-gcc-complex_t.h: Rename to complex_t.h. |
| * d-gcc-real.cc: Rename to d-longdouble.cc. |
| * d-gcc-real.h: Rename to longdouble.h |
| * d-port.cc: New source file to handle Port structure. |
| * gdc_alloca.h: Remove source. |
| |
| * d-longdouble.cc (real_t): Rename to longdouble. |
| (longdouble::getnan): Move to Port::nan. |
| (longdouble::getsnan): Move to Port::snan. |
| (longdouble::getinfinity): Move to Port::infinity. |
| (longdouble::isInf): Move to Port::isInfinite. |
| (longdouble::isNan): Move to Port::isNan. |
| (longdouble::isSignallingNan): Move to Port::isSignallingNan. |
| * d-builtins.c (gcc_d_backend_init): Rename to d_backend_init. |
| (gcc_d_backend_term): Rename to d_backend_term. |
| (gcc_type_to_d_type): Don't map 128bit integers to D front end. |
| |
| * d-elem.cc (AssignExp::toElem): Remove handling of fillHoles, use |
| memset to implement (struct = 0). |
| (StructLiteralExp::toElem): Handle fillHoles here, creating a |
| temporary var that is zero init'd with memset and returned. |
| |
| 2013-05-27 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::localVar): Rename to build_local_var. |
| (IRState::exprVar): Rename to create_temporary_var. |
| (IRState::maybeExprvar): Rename to maybe_temporary_var. |
| (IRState::pointerIntSum): Rename to build_array_index. |
| * d-lang.cc (d_handle_target_attribute): New function to handle D |
| target attributes. |
| |
| 2013-05-26 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-incpath.cc (prefixed_path): Add cpp_GCC_INCLUDE_DIR back in as |
| second method for relocation. |
| * d-elem.cc (IndexExp::toElem): Fix call to _aaGetX as from |
| IRState::toElemLvalue. |
| * d-codegen.cc (IRState::toElemLvalue): Remove function. |
| (IRState::convertForAssignment): Rename to convert_for_assignment. |
| (IRState::convertForCondition): Rename to convert_for_condition. |
| (IRState::checkedIndex): Rename to d_checked_index. |
| (IRState::boundsCond): Rename to d_bounds_condition. |
| (IRState::arrayBoundsCheck): Rename to array_bounds_check. |
| (IRState::assertCall): Rename to d_assert_call. |
| (IRState::doLineNote): Move to irstate.h. |
| * d-irstate.cc (IRBase::getLocalContext): Remove function. |
| * d-decls.cc (VarDeclaration::toSymbol): Build decl lang specific for |
| decl to point back to D front end type. |
| (FuncDeclaration::toSymbol): Likewise. |
| |
| 2013-05-23 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (AggLayout::finish): Unset TYPE_SIZE before |
| re-calculating. |
| * d-ctype.cc (TypeStruct::toCtype): Don't call decl_attribute on the |
| type twice. |
| |
| 2013-05-21 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-lang.cc (d_gcc_dump_source): Remove function. |
| (d_post_options): Set flag_excess_precision_cmd as standard. |
| * d-gcc-real.cc (real_t::convert): Remove function. |
| (real_t::floatCompare): Remove function. |
| (real_t::operator): Always perform floating point compilation at the |
| precision of the target real mode. |
| * d-todt.cc (dt_last): Remove function. |
| (dtlist_to_tree): Rename to dtvector_to_tree. |
| (dt_cons): Replace TREE_CHAIN implementation for use of CONSTRUCTOR. |
| (dt_chainon): Likewise. |
| (dt_container): Likewise. |
| (dt_container2): Likewise. |
| (StructInitializer::toDt): Likewise. |
| (StructLiteralExp::toDt): Likewise. |
| |
| 2013-05-17 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::convertTo): Replace with d_convert and |
| convert_expr. |
| (IRState::declContext): Replace with d_decl_context. |
| (IRState::functionNeedsChain): Replace with needs_static_chain. |
| (IRState::label): Replace with d_build_label. |
| (IRState::emitTemplates): Move to ObjectFile. |
| (functionDegenerateClosure): Replace with is_degenerate_closure. |
| (get_object_method): Assert that function is a method. |
| (IRState::startCond): Move to IRBase. |
| (IRState::startElse): Likewise. |
| (IRState::endCond): Likewise. |
| (IRState::startLoop): Likewise. |
| (IRState::continueHere): Likewise. |
| (IRState::setContinueLabel): Likewise. |
| (IRState::exitIfFalse): Likewise. |
| (IRState::endLoop): Likewise. |
| (IRState::startCase): Likewise. |
| (IRState::doCase): Likewise. |
| (IRState::endCase): Likewise. |
| (IRState::continueLoop): Likewise. |
| (IRState::exitLoop): Likewise. |
| (IRState::startTry): Likewise. |
| (IRState::startCatches): Likewise. |
| (IRState::startCatch): Likewise. |
| (IRState::endCatch): Likewise. |
| (IRState::endCatches): Likewise. |
| (IRState::startFinally): Likewise. |
| (IRState::endFinally): Likewise. |
| (IRState::doReturn): Likewise. |
| (IRState::doJump): Likewise. |
| (IRState::pushLabel): Likewise. |
| (IRState::checkSwitchCase): Likewise. |
| (IRState::checkGoto): Likewise. |
| (IRState::checkPreviousGoto): Likewise. |
| |
| * d-elem.cc (CatAssignExp::toElem): Call postblit on appending array of |
| structs if required. |
| |
| 2013-05-16 Johannes Pfau <johannespfau@gmail.com> |
| |
| * d-incpath.cc (prefixed_path): use cpp_PREFIX instead of |
| cpp_GCC_INCLUDE_DIR for relocation. |
| |
| 2013-05-16 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::convertForAssignment): Remove use of |
| CtorEltMaker wrapper for vec<constructor_elt, va_gc>. |
| (d_array_value): Likewise. |
| (build_delegate_cst): Likewise. |
| (extract_from_method_call): Likewise. |
| * d-elem.cc (NewExp::toElem): Likewise. |
| (ArrayLiteralExp::toElem): Likewise. |
| (AssocArrayLiteralExp::toElem): Likewise. |
| (StructLiteralExp::toElem): Likewise. |
| (NullExp::toElem): Likewise. |
| (VectorExp::toElem): Likewise. |
| * d-objfile.cc (build_moduleinfo): Likewise. |
| * d-todt.cc (dt_container): Likewise. |
| (dt_container2): Likewise. |
| |
| * d-asmstmt.cc (ExtAsmStatement::toIR): Remove use of ListMaker |
| wrapper for tree chaining. |
| * d-builtins.c (d_bi_builtin_func): Likewise. |
| (d_bi_builtin_type): Likewise. |
| (d_gcc_magic_builtins_module): Likewise. |
| (d_gcc_magic_libbuiltins_module): Likewise. |
| * d-codegen.cc (build_attributes): Likewise. |
| (IRState::call): Likewise. |
| (IRState::buildFrameForFunction): Likewise. |
| (AggLayout::doFields): Likewise. |
| (AggLayout::addField): Likewise. |
| * d-ctype.cc (TypeEnum::toCtype): Likewise. |
| (TypeFunction::toCtype): Likewise. |
| * d-todt.cc (dt_container2): Likewise. |
| |
| * d-codegen.cc (IRState::getFrameInfo): Replace with get_frameinfo. |
| (IRState::buildFrameForFunction): Replace with build_frame_type. |
| (IRState::isClassNestedInFunction): Replace with d_nested_class. |
| (IRState::isStructNestedInFunction): Replace with d_nested_struct. |
| (IRState::getFrameForFunction): Fold into IRState::getFrameForSymbol. |
| (IRState::getFrameForNestedClass): Likewise. |
| (IRState::getFrameForNestedStruct): Likewise. |
| |
| 2013-05-15 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::buildFrameForFunction): Also copy the |
| parameters of functions with 'in' contracts to a local frame decl. |
| * d-lang.cc (d_handle_flatten_attribute): New function to handle D |
| flatten attributes. |
| |
| 2013-05-14 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::chainLink): Remove function. |
| (IRState::chainFunc): Remove function. |
| (IRState::sthis): New member which holds the chain of function. |
| (IRState::buildChain): Update to use new static chain decl. |
| (IRState::getFrameInfo): Likewise. |
| * d-objfile.cc (FuncDeclaration::buildClosure): Likewise. |
| (FuncDeclaration::toObjFile): Default the function static chain decl |
| to null unless vthis is given for the function. |
| |
| 2013-05-13 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-lang.cc (d_handle_noinline_attribute): New function to handle D |
| noinline attributes. |
| (d_handle_forceinline_attribute): New function to handle D forceinline |
| attributes. |
| * d-elem.cc (StructLiteralExp::toElem): Return the struct initialiser |
| symbol directly if the tree has already been built. |
| * d-decls.cc (Dsymbol::toSymbolX): Constify the mangling name to use. |
| |
| 2013-05-10 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-typinf.cc: New file containing type info routines originally in |
| the D Front End. |
| |
| * d-todt.cc (dt_last): New helper function to retrieve last node in a |
| dt_t tree list. |
| (dt_cons): New helper function to append nodes to the end of a list. |
| (dt_chainon): New helper function to concatenate two lists together. |
| (dt_container): New helper function to build a ctor from a list. |
| (build_vptr_monitor): New helper function to generate the class |
| vtable, and put out __vptr and __monitor. |
| symbol default values in a class declaration. |
| (dtlist_to_tree): New helper function to convert a dt_t list into a |
| constructor tree. |
| (Type::toDt): Implement routines for new dt_t format. |
| (TypeInfoDeclaration::toDt): Likewise. |
| (Initializer::toDt): Likewise. |
| (Expression::toDt): Likewise. |
| (Declaration::toDt): Likewise. |
| |
| * d-objfile.cc (Dsymbol::toObjFile): Update for new dt_t format. |
| (Module::genmoduleinfo): Likewise. |
| (Symbol::Symbol): Moved from symbol.cc |
| (Obj::objmod): Remove abstraction layer. |
| (Obj::moduleinfo): Renamed to build_moduleinfo. |
| (obj_tlssections): Renamed to build_tlssections. |
| (outdata): Renamed to d_finish_symbol. |
| (check_static_sym): Moved into d_finish_symbol. |
| |
| * d-codegen.cc (d_gcc_emit_local_variable): Remove. |
| |
| * d-decls.cc (Dsymbol::toSymbolX): Update to not call symbol_calloc. |
| (FuncDeclaration::toThunkSymbol): Likewise. |
| (ClassDeclaration::toSymbol): Build type as d_unknown_type_node. |
| (InterfaceDeclaration::toSymbol): Likewise. |
| (Module::toSymbol): Likewise. |
| (ClassDeclaration::toVtblSymbol): Update call to toSymbolX. |
| (AggregateDeclaration::toInitializer): Likewise. |
| (TypedefDeclaration::toInitializer): Likewise. |
| (EnumDeclaration::toInitializer): Likewise. |
| |
| * d-ir.cc (CaseStatement::toIR): Don't call static_sym. |
| |
| * d-lang.cc (rtlsym): Remove symbol. |
| (D_DECL_READONLY_STATIC): Remove macro. |
| (d_unknown_type_node): New LANG_TYPE node for marking TypeInfo_Class, |
| Interface, and ModuleInfo types that are of a variable size determined |
| at compile time. |
| |
| * d-elem.cc (StringExp::toElem): Clean up for new dt_t format. |
| |
| * symbol.cc: Remove file. |
| |
| 2013-05-08 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::getFrameInfo): Don't create a frame/closure |
| for member functions, only required for nested. |
| * d-elem.cc (Expression::toElemDtor): Call dtors in the correct order. |
| (DeclarationExp::toElem): Don't call dtor on static, manifest, or |
| extern symbols upon declaration. |
| (AssignExp::toElem): Only call postblit on lvalues in assignment. |
| (ArrayLiteralExp::toElem): Always generate literals on heap. |
| |
| 2013-05-06 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-elem.cc (StructLiteralExp::toElem): Return the default initialiser |
| symbol if one exists. |
| * d-builtins.c (d_gcc_magic_libbuiltins_check): Override the function |
| type with the correct built-in function type as defined in backend. |
| |
| 2013-04-15 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-elem.cc (IdentityExp::toElem): Remove special handling of class, |
| reference and array types. |
| |
| 2013-04-12 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (maybe_make_temp): Save call expressions so aren't |
| evaluated more than once. |
| (d_has_side_effects): Remove check for exceptional class types. |
| |
| 2013-04-10 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-decls.cc (FuncDeclaration::toSymbol): Harden logic for marking |
| functions pure as in 'has no side effects'. |
| |
| 2013-04-07 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-decls.cc (FuncDeclaration::toSymbol): Push deferred functions to |
| FuncDeclaration::deferred. |
| * d-elem.cc (DelegateExp::toElem): Likewise. |
| (FuncExp::toElem): Likewise. |
| * d-objfile.cc (ObjectFile::shouldEmit): Likewise. |
| (FuncDeclaration::toObjFile): Process all deferred functions in |
| FuncDeclaration::deferred. |
| * symbol.cc (Symbol::deferredNestedFuncs): Remove. |
| |
| 2013-04-05 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-elem.cc (FuncExp::toElem): Defer function literals and lambdas |
| until parent function has finished processing. |
| |
| 2013-04-04 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::buildChain): Use __frame decl directly when |
| setting up the function frame. |
| (maybe_set_builtin_frontend): Exit early if symbol has no parent. |
| * d-decls.cc (FuncDeclaration::toSymbol): Defer all nested functions, |
| not just templated instances. |
| * d-objfile.cc (FuncDeclaration::toObjFile): Delay processed deferred |
| nested functions until function has finished being generated. |
| (ObjectFile::shouldEmit): Don't emit nested functions if the parent |
| function hasn't finished processing. |
| |
| 2013-04-03 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (maybe_set_builtin_frontend): Merged from |
| maybe_set_builtin and maybe_set_libcall. |
| * d-decls.cc (FuncDeclaration::toSymbol): Use |
| maybe_set_builtin_frontend. |
| |
| 2013-03-31 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-lang.cc (d_init_options): Default module info emission to on. |
| (d_handle_option): New femit-moduleinfo switch. |
| * d-objfile.cc (Module::genobjfile): Don't emit module if disabled |
| explicitly. |
| * d-builtins.cc (is_intrinsic_module_p): New function to test whether |
| module is core.bitops. |
| (is_math_module_p): New function to test whether module is std.math or |
| core.stdc.math. |
| (is_builtin_va_arg_p): New function to test whether symbol is |
| specially handled va_arg template. |
| (is_builtin_va_start_p): New function to test whether symbol is |
| specially handled va_start template. |
| * d-codegen.cc (IRState::binding): Replace with bind_expr. |
| (IRState::mathModule): Replace with std_math_module. |
| (IRState::mathCoreModule): Replace with core_math_module. |
| (IRState::intrinsicModule): Replace with std_intrinsic_module. |
| (IRState::cstdargTemplateDecl): Replace with va_arg_template. |
| (IRState::stdargTemplateDecl): Replace with va_arg2_template. |
| (IRState::cstdargStartTemplateDecl): Replace with va_start_template. |
| (IRState::getLibCallDecl): Replace with get_libcall. |
| (IRState::maybeSetLibCallDecl): Replace with maybe_set_libcall. |
| (IRState::libCall): Replace with build_libcall. |
| (IRState::maybeSetUpBuiltin): Replace with maybe_set_builtin. |
| (IRState::Intrinsic): Move enum out of IRState. |
| |
| 2013-03-30 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::darrayPtrRef): Replace with d_array_ptr. |
| (IRState::darrayLenRef): Replace with d_array_length. |
| (IRState::darrayVal): Replace with d_array_value. |
| (IRState::darrayString): Replace with d_array_string. |
| (IRState::arrayLength): Replace with get_array_length. |
| (get_object_method): Remove dependancy on irs parameter. |
| * d-lang.cc (d_init): Use static bool std_inc to determine whether to |
| include standard module paths. |
| (d_post_options): Canonicalize the input filename. |
| (d_parse_file): Correctly catch cases where input file is stdin. |
| |
| 2013-03-27 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::getFrameInfo) Create a custom static chain for |
| all nested functions. |
| * d-gcc-includes.h: Rename to d-system.h |
| |
| 2013-03-23 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-builtins.c (d_bi_init): Set REALPAD to be TYPE_PRECISION of |
| long_double_type_node. |
| * d-codegen.cc (IRState::twoFieldType): Replace with |
| build_two_field_type. |
| (IRState::arrayOpNotImplemented): Replace with unhandled_arrayop_p. |
| (IRState::delegateMethodRef): Replace with delegate_method. |
| (IRState::delegateObjectRef): Replace with delegate_object. |
| (IRState::delegateVal): Replace with build_delegate_cst. |
| (IRState::methodCallExpr): Replace with build_method_call. |
| (IRState::extractMethodCallExpr): Replace with |
| extract_from_method_call. |
| (IRState::objectInstanceMethod): Replace with get_object_method. |
| (IRState::twoFieldCtor): Remove. |
| (IRState::call): Assert that if calling a normal FUNCTION_TYPE, |
| 'object' is not set. |
| * d-ctype.cc (TypeDelegate::toCtype): Build a METHOD_TYPE for the .func |
| field type in delegates. |
| * d-lang.h (D_IS_METHOD_CALL_EXPR): Rename to D_METHOD_CALL_EXPR. |
| * d-objfile.cc (FuncDeclaration::toObjFile): Remove assert for chain |
| function. |
| |
| 2013-03-20 Johannes Pfau <johannespfau@gmail.com> |
| |
| * d-codegen.cc (IRState::objectInstanceMethod): Recursively check |
| for TOKsuper / TOKdottype. Do not ignore CastExp. |
| * d-elem.cc (IdentityExp::toElem): Ignore padding in bitwise floating |
| point comparisons. |
| * testsuite: Cleanup. Remove invalid tests, adjust tests, etc. |
| |
| 2013-03-20 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::objectInstanceMethod): Get function pointer |
| off function TREE_TYPE. |
| (build_deref): Handle cases where expression to dereference is an |
| address expression. |
| (modify_expr): New function overload to set return type directly. |
| * d-elem.cc (CatAssignExp::toElem): Use new modify_expr. |
| (AssignExp::toElem): Likewise. |
| * d-decls.cc (FuncDeclaration::toSymbol): Don't build a method type for |
| nested functions / delegates. Just add on the hidden 'this' pointer |
| containing the custom static chain/closure object. |
| |
| * d-codegen.cc (GlobalValues): Replace with current_module, |
| current_irs, object_file. |
| (IRState::getFuncType): Replace with get_function_type. |
| (IRState::isCallByAlias): Replace with call_by_alias_p. |
| (IRState::isFuncType): Replace with function_type_p. |
| (IRState::doExp): Remove. |
| |
| * d-asmstmt.cc (ExtAsmStatement::syntaxCopy): Use arraySyntaxCopy to |
| copy front end expressions. |
| |
| * d-codegen.cc (AssignExp::toElem): Call _d_arrayassign / _d_arrayctor |
| when assigning arrays of structs. |
| |
| 2013-03-18 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::realPart): Replace with real_part. |
| (IRState::imagPart): Replace with imaginary_part. |
| (IRState::integerConstant): Replace with build_integer_cst. |
| (IRState::floatConstant): Replace with build_float_cst. |
| (IRState::hwi2toli): Replace with cst_to_hwi. |
| (IRState::addressOf): Replace with build_address. |
| (IRState::markAddressable): Replace with d_mark_addressable. |
| (IRState::markUsed): Replace with d_mark_used. |
| (IRState::markRead): Replace with d_mark_read. |
| (IRState::indirect): Replace with indirect_ref. |
| (IRState::pvoidOkay): Replace with void_okay_p. |
| (IRState::maybeCompound): Replace with maybe_compound_expr. |
| (IRState::maybeVoidCompound): Replace with maybe_vcompound_expr. |
| (IRState::isErrorMark): Replace with error_mark_p. |
| (IRState::getTargetSizeConst): Replace with tree_to_hwi. |
| (IRState::modify): Replace with modify_expr. |
| (IRState::vmodify): Replace with vmodify_expr. |
| (IRState::vinit): Replace with build_vinit. |
| (IRState::nop): Replace with build_nop. |
| (IRState::vconvert): Replace with build_vconvert. |
| (IRState::boolOp): Replace with build_boolop. |
| (IRState::compound): Replace with compound_expr. |
| (IRState::voidCompound): Replace with vcompound_expr. |
| (IRState::component): Replace with component_ref. |
| (IRState::errorMark): Replace with error_mark. |
| (IRState::typesSame): Replace with d_types_same. |
| (IRState::typesCompatible): Replace with d_types_compatible. |
| (IRState::getDType): Replace with build_dtype. |
| (IRState::getObjectType): Replace with build_object_type. |
| (IRState::isDeclarationReferenceType): Replace with decl_reference_p. |
| (IRState::trueDeclarationType): Replace with declaration_type. |
| (IRState::isArgumentReferenceType): Replace with arg_reference_p. |
| (IRState::trueArgumentType): Replace with type_passed_as. |
| (IRState::arrayType): Replace with d_array_type. |
| (IRState::addTypeAttribute): Replace with insert_type_attributes. |
| (IRState::addDeclAttribute): Replace with insert_decl_attributes. |
| (IRState::attributes): Replace with build_attributes. |
| (IRState::addTypeModifiers): Replace with insert_type_modifiers. |
| (IRState::maybeMakeTemp): Replace with maybe_make_temp. |
| (IRState::isFreeOfSideEffects): Replace with d_has_side_effects. |
| (IRState::pointerOffsetOp): Replace with build_offset_op. |
| (IRState::pointerOffset): Replace with build_offset. |
| (IRState::buildCall): Replace with d_build_call. |
| (IRState::exceptionObject): Replace with build_exception_object. |
| |
| 2013-03-17 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-asmstmt.cc (d_build_asm_stmt): Remove. |
| (ExtAsmStatement::ExtAsmStatement): Update to match renamed members. |
| (ExtAsmStatement::syntaxCopy): Likewise. |
| (ExtAsmStatement::semantic): Likewise. |
| (ExtAsmStatement::toCBuffer): Likewise. |
| (ExtAsmStatement::comeFrom): New. |
| (ExtAsmStatement::blockExit): Don't error if must not throw. |
| (naturalString): Remove. |
| (ExtAsmStatement::toIR): Inline IRState::doAsm implementation. |
| * d-codegen.cc (IRState::doAsm): Remove. |
| * d-decls.cc (FuncDeclaration::toSymbol): Don't generate 'naked' |
| attribute. |
| (binfo_for): Move into d-decls.cc. |
| (intfc_binfo_for): Likewise. |
| (ClassDeclaration::toDebug): Likewise. |
| (EnumDeclaration::toDebug): Likewise. |
| (TypedefDeclaration::toDebug): Likewise. |
| (StructDeclaration::toDebug): Likewise. |
| * d-objfile.cc (FuncDeclaration::toObjFile): Move into d-objfile.cc. |
| (FuncDeclaration::buildClosure): Likewise. |
| (Module::genobjfile): Likewise. |
| * d-glue.cc: Remove file. |
| |
| 2013-03-16 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-ir.cc (SynchronizedStatement::toIR): Remove implementation as is |
| now handled by the frontend. |
| |
| 2013-03-15 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (IRState::maybeExpandSpecialCall): Handle ref argptr |
| arguments. |
| |
| 2013-03-13 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-builtins.c (handle_alias_attribute): New function to handle |
| internal 'alias' attribute. |
| (handle_weakref_attribute): New function to handle internal 'weakref' |
| attribute. |
| * d-objfile.cc (ObjectFile::outputThunk): Define thunks to external |
| symbols as weakref, alias |
| |
| 2013-03-12 Johannes Pfau <johannespfau@gmail.com> |
| |
| * patch-versym-os-4.8.x (mingw32.h): Fix typo |
| * patch-versym-cpu-4.8.x (mips.h): Fix typo |
| Update version symbols to latest dlang specification. |
| |
| 2013-03-10 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-decls.cc (FuncDeclaration::toSymbol): Delay setting TREE_TYPE as |
| function type could be hidden in a nested function not yet built. |
| * d-codegen.cc (IRState::findThis): Don't get 'this' from outer |
| function if it's a closure type. This has already been handled by |
| IRState::getFrameForSymbol. |
| (IRState::buildChain): Give frame decl debug name '__frame'. |
| Always set '__chain' link field. |
| (IRState::getFrameInfo): Don't build a frame for all nested functions. |
| Search through nested aggregates for static chain in outer functions. |
| * d-codegen.h (IRState::useParentChain): Remove. |
| * d-glue.cc (FuncDeclaration::toObjFile): Don't call useParentChain. |
| Don't create a local var for the chain link for a function. |
| (FuncDeclaration::buildClosure): Always set '__chain' link field. |
| |
| 2013-03-08 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (d_gcc_force_templates): Only check for emitting |
| templates as private. |
| * d-lang.cc (d_handle_option): Remove -femit-templates= option. |
| * d-objfile.cc (ObjectFile::makeDeclOneOnly): Fix code logic so |
| fallback method could be reached. |
| * d-objfile.h (TEall, TEauto): Remove. |
| |
| 2013-03-07 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-ir.cc (ReturnStatement::toIR): Don't call postblit on return. |
| * d-codegen.cc (IRState::trueDeclarationType): Don't set |
| D_TYPE_ADDRESSABLE. |
| (IRState::makeTemp): Remove. |
| (IRState::maybeMakeTemp): Copy makeTemp into function. |
| * d-glue.cc (d_genericize): Remove D_TYPE_ADDRESSABLE handling. |
| * d-lang.h (D_TYPE_ADDRESSABLE): Remove macro. |
| |
| 2013-03-04 Johannes Pfau <johannespfau@gmail.com> |
| |
| * d-ctype.cc (Type::toCtype): Always call gen.addTypeModifiers to |
| make sure TYPE_MAIN_VARIANT is set. Reuse tree from unqualified |
| variant for that. Also cache the resulting qualified tree. |
| (TypeTypedef::toCtype): Likewise. |
| (TypeEnum::toCtype): Likewise. |
| (TypeStruct::toCtype): Likewise. |
| (TypeFunction::toCtype): Likewise. |
| (TypeVector::toCtype): Likewise. |
| (TypeSArray::toCtype): Likewise. |
| (TypeDArray::toCtype): Likewise. |
| (TypeAArray::toCtype): Likewise. |
| (TypeDelegate::toCtype): Likewise. |
| (TypeClass::toCtype): Likewise. |
| * d-objfile.cc (ObjectFile::giveDeclUniqueName): Make sure DECL_NAME is set |
| |
| 2013-03-01 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-decls.cc (VarDeclaration::toSymbol): Remove use of c_ident. |
| (FuncDeclaration::toSymbol): Likewise. |
| * d-builtins.c (handle_noreturn_attribute): Assert that this is only |
| used for internal purposes. |
| (handle_const_attribute): Likewise. |
| (handle_malloc_attribute): Likewise. |
| (handle_pure_attribute): Likewise. |
| (handle_nonnull_attribute): Likewise. |
| (handle_nothrow_attribute): Likewise. |
| (handle_sentinel_attribute): Likewise. |
| (handle_transaction_pure_attribute): Likewise. |
| (handle_returns_twice_attribute): Likewise. |
| * d-glue.cc (FuncDeclaration::toObjFile): Result variables have no |
| default initialiser. |
| * d-codegen.cc (IRState::emitLocalVar): Add in assert that the local |
| variable has no initialiser if called with no_init = true. |
| (IRState::getLibCallDecl): Mark exceptional library functions as |
| noreturn. |
| (IRState::attributes): Gracefully handle @attribute, and |
| @attribute(null). |
| |
| 2013-02-28 Jernej Krempus <jkrempus@gmail.com> |
| |
| * d-builtins.c (d_attribute_table): Renamed it to |
| d_builtins_attribute_table. |
| * d-lang.cc (d_attribute_table): Added an empty table |
| * d-lang.cc (LANG_HOOKS_COMMON_ATTRIBUTE_TABLE): Defined it as |
| d_builtins_attribute_table. |
| * d-lang.h (d_builtins_attribute_table): Added a declaration. |
| * d-codegen.cc (IRState::attributes): Changed it so it goes through |
| in_attrs and looks for any @gcc.attribute.attribute("attr_name"). |
| * d-objfile.cc (ObjectFile::setupSymbolStorage): Pass userAttributes |
| instead of attributes in all calls to IRState::attributes. |
| * d-ctype.cc (TypeTypedef::toCtype): Likewise. |
| (TypeEnum::toCtype): Likewise. |
| (TypeStruct::toCtype): Likewise. |
| (TypeClass::toCtype): Likewise. |
| * libphobos/libdruntime/gcc/attribute.d: New file. |
| |
| 2013-02-28 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-lang.cc (d_handle_option): Remove OPT_fdeprecated and |
| OPT_Wsign_compare, add handling for OPT_Wdeprecated. |
| (d_post_options): Handle Wdeprecated and Werror switch combination. |
| |
| 2013-02-27 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-codegen.cc (ArrayScope::ArrayScope): Don't setup length var if its |
| value is known at compile time. |
| (ArrayScope::setArrayExp): Likewise. |
| * d-decls.cc (uniqueName): Remove function. |
| (VarDeclaration::toSymbol): Set decl assembler name directly. |
| (FuncDeclaration::toSymbol): Likewise. |
| |
| 2013-02-15 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * Make-lang.in (GDC_EXTENDED_ASM_SYNTAX): Remove macro. |
| |
| 2013-02-14 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-lang.h (D_DECL_IS_CONTRACT): Remove macro. |
| * d-decls.cc (FuncDeclaration::toSymbol): Likewise. |
| |
| 2013-02-13 Iain Buclaw <ibuclaw@gdcproject.org> |
| |
| * d-lang.cc (d_gcc_is_target_win32): Remove. |
| (d_add_builtin_version): New function to handle define_builtin |
| callback from backend. |
| * d-codegen.cc (IRState::maybeExpandSpecialCall): Remove intrinsic bt. |
| |
| * d-builtins.c: Merge with d-builtins2.cc. |
| * d-builtins2.cc: Remove. |
| |
| 2013-02-07 Johannes Pfau <johannespfau@gmail.com> |
| |
| * d-lang.cc (d_init): Use gcc's config system for predefined OS versions. |
| * setup-gcc.sh: Likewise. |
| * target-ver-syms.sh: Likewise. |
| |
| 2013-02-05 Iain Buclaw <ibuclaw@ubuntu.com> |
| |
| * d-builtins2.cc (gcc_type_to_d_type): Remove STRUCTTHISREF condition. |
| * d-decls.cc (FuncDeclaration::toSymbol): Likewise. |
| * d-elem.cc (ThisExp::toElem): Likewise. |
| * d-ctype.cc (TypeSArray::toCtype): Remove SARRAYVALUE condition. |
| * d-codegen.cc (IRState::isDeclarationReferenceType): Likewise. |
| (IRState::isArgumentReferenceType): Likewise. |
| |
| 2013-02-01 Johannes Pfau <johannespfau@gmail.com> |
| |
| * d-lang.cc (d_init): Use gcc's config system for predefined CPU versions. |
| (d_init): Fix definition of D_LP64 version. |
| * setup-gcc.sh: Likewise. |
| * target-ver-syms.sh: Likewise. |
| |
| |
| Copyright (C) 2013 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. |
