projects / thirdparty / gcc.git / blame
| Commit | Line | Data |
|---|---|---|
| b4c522fa IB |
1 | 2014-12-14 Iain Buclaw <ibuclaw@gdcproject.org> |
| 2 | ||
| 3 | * Make-lang.in (check_gdc_parallelize): Update for testsuite changes. | |
| 4 | * d-convert.cc (d_convert_basic): Avoid stack overflow when converting | |
| 5 | from pointer to integer. | |
| 6 | * d-objfile.cc (FuncDeclaration::toObjFile): Emit correct frame | |
| 7 | information for closures rather than generic void pointers. | |
| 8 | ||
| 9 | 2014-11-10 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 10 | ||
| 11 | * d-elem.cc (CatExp::toElem): Split dynamic arrays when passing as | |
| 12 | varargs to arraycatT and arraycatnT. | |
| 13 | ||
| 14 | 2014-11-09 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 15 | ||
| 16 | * d-codegen.cc (build_vthis): Handle getting static chain for nested | |
| 17 | templated structs. | |
| 18 | ||
| 19 | 2014-09-07 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 20 | ||
| 21 | * d-elem.cc (ArrayLiteralExp::toElem): Remove special handling for | |
| 22 | immutable arrays. | |
| 23 | ||
| 24 | 2014-08-03 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 25 | ||
| 26 | * d-longdouble.cc (longdouble::formatHex): Convert buffer to uppercase | |
| 27 | for use in mangling templates. | |
| 28 | ||
| 29 | 2014-07-29 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 30 | ||
| 31 | * d-elem.cc (NewExp::toElem): Check for opaque structs before | |
| 32 | continuing to generate the new expression. | |
| 33 | ||
| 34 | * d-lang.h.cc (d_vtbl_ptr_type_node): Renamed to vtbl_ptr_type_node. | |
| 35 | (d_boolean_type_node): Renamed to bool_type_node. | |
| 36 | (d_char_type_node): Renamed to char8_type_node. | |
| 37 | (d_wchar_type_node): Renamed to char16_type_node. | |
| 38 | (d_dchar_type_node): Renamed to char32_type_node. | |
| 39 | (d_ifloat_type_node): Renamed to ifloat_type_node. | |
| 40 | (d_idouble_type_node): Renamed to idouble_type_node. | |
| 41 | (d_ireal_type_node): Renamed to ireal_type_node. | |
| 42 | (byte_type_node, ubyte_type_node): New macros for fixed integral | |
| 43 | types in D. | |
| 44 | (short_type_node, ushort_type_node): Likewise. | |
| 45 | (int_type_node, uint_type_node): Likewise. | |
| 46 | (long_type_node, ulong_type_node): Likewise. | |
| 47 | (cent_type_node, ucent_type_node): Likewise. | |
| 48 | * d-builtins.c (d_init_builtins): Initialise all D specific type nodes. | |
| 49 | * d-codegen.cc (d_bounds_condition): Use D-specific type macros instead | |
| 50 | of backend C types. | |
| 51 | (layout_aggregate_type): Likewise. | |
| 52 | (build_integer_cst): Likewise. | |
| 53 | (build_boolop): Likewise. | |
| 54 | * d-convert.cc (d_build_truthvalue_op): Likewise. | |
| 55 | (d_truthvalue_conversion): Likewise. | |
| 56 | * d-ctype.cc (Type::toCtype): Likewise. | |
| 57 | * d-decls.cc (FuncDeclaration::toSymbol): Likewise. | |
| 58 | * d-elem.cc (CmpExp::toElem): Likewise. | |
| 59 | (OrOrExp::toElem): Likewise. | |
| 60 | (NotExp::toElem): Likewise. | |
| 61 | * d-lang.cc (d_type_for_mode): Likewise. | |
| 62 | (d_type_for_size): Likewise. | |
| 63 | (d_signed_or_unsigned_type): Likewise. | |
| 64 | ||
| 65 | 2014-07-23 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 66 | ||
| 67 | * d-ctype.cc (TypeFunction::toCtype): Only check for ref return for | |
| 68 | functions returning non-void. | |
| 69 | ||
| 70 | 2014-07-21 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 71 | ||
| 72 | * d-objfile.cc (output_declaration_p): Don't emit any declarations from | |
| 73 | the gcc.attribute module. | |
| 74 | (StructDeclaration::toObjFile): Call output_declaration_p. | |
| 75 | * d-glue.cc (verror): Only call vasprintf on the initial format string. | |
| 76 | ||
| 77 | 2014-07-17 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 78 | ||
| 79 | * d-lang.cc (d_init_options_struct): Set flag_wrapv as on by default. | |
| 80 | ||
| 81 | 2014-07-14 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 82 | ||
| 83 | * d-elem.cc (NewExp::toElem): Don't initialise a new'd struct at the | |
| 84 | caller. The callee ensures this is done. | |
| 85 | ||
| 86 | 2014-07-13 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 87 | ||
| 88 | * d-objfile.cc (d_finish_symbol): Always set TREE_STATIC for symbols | |
| 89 | being sent to the backend here. | |
| 90 | ||
| 91 | 2014-07-12 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 92 | ||
| 93 | * d-objfile.cc (d_finish_symbol): Don't set DECL_INITIAL if the | |
| 94 | initialiser is all zeros. | |
| 95 | ||
| 96 | 2014-07-10 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 97 | ||
| 98 | * d-builtins.cc (lookup_ctype_name): Remove function. | |
| 99 | (string_type_node): Move to static declaration from d_global_trees. | |
| 100 | (const_string_type_node): Likewise. | |
| 101 | (wint_type_node): Likewise. | |
| 102 | (intmax_type_node): Likewise. | |
| 103 | (uintmax_type_node): Likewise. | |
| 104 | (signed_size_type_node): Likewise. | |
| 105 | (d_init_builtins): Update. | |
| 106 | * d-lang.cc (d_type_for_mode): Return only fixed size types. | |
| 107 | (d_type_for_size): Likewise. | |
| 108 | (d_signed_or_unsigned_type): Likewise. | |
| 109 | (d_unsigned_type): Remove duplicated code from | |
| 110 | d_signed_or_unsigned_type. | |
| 111 | (d_signed_type): Likewise. | |
| 112 | ||
| 113 | 2014-07-03 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 114 | ||
| 115 | * d-objfile.cc (finish_thunk): Use set_decl_section_name, copy the | |
| 116 | implicit section flag. | |
| 117 | (setup_symbol_storage): Use decl_default_tls_model. | |
| 118 | ||
| 119 | 2014-06-26 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 120 | ||
| 121 | * d-codegen.h (d_types_compatible): Remove function. | |
| 122 | (d_types_same): Use more conservative approach to type equality. | |
| 123 | * d-codegen.cc (get_libcall): Allow backend to be able to optimise | |
| 124 | closure memory allocations. | |
| 125 | (convert_for_assignment): Use d_types_same. | |
| 126 | * d-elem.cc (CatExp::toElem): Likewise. | |
| 127 | (BinExp::toElemBin): Likewise. | |
| 128 | (CatAssignExp::toElem): Likewise. | |
| 129 | (StructLiteralExp::toElem): Likewise. | |
| 130 | ||
| 131 | 2014-06-14 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 132 | ||
| 133 | * d-elem.cc (CondExp::toElem): Handle void type condition expressions. | |
| 134 | (AssignExp::toElem): Use ismemset to test for initialising arrays with | |
| 135 | a single value. | |
| 136 | (StructLiteralExp::toElem): Build static initialiser if a symbol was | |
| 137 | created by the front-end. | |
| 138 | * d-codegen.h (d_types_compatible): First check equality of types, then | |
| 139 | implicit compatibility. | |
| 140 | * d-convert.cc (d_default_conversion): Remove function, fold | |
| 141 | implementation into... | |
| 142 | (d_truthvalue_conversion): ... here. | |
| 143 | ||
| 144 | 2014-06-12 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 145 | ||
| 146 | * d-convert.cc (d_scalar_conversion): Remove function. | |
| 147 | (d_build_truthvalue_op): Update. | |
| 148 | (d_truthvalue_conversion): Update. | |
| 149 | ||
| 150 | * d-codegen.cc (get_frame_for_symbol): Remove glue-specific error | |
| 151 | messages and refactor. | |
| 152 | (build_vthis): Likewise. | |
| 153 | (get_framedecl): Likewise. | |
| 154 | * d-elem.cc (AssignExp::toElem): Update call to build_vthis. | |
| 155 | (NewExp::toElem): Likewise. | |
| 156 | (StructLiteralExp::toElem): Likewise. | |
| 157 | * d-objfile.cc (Dsymbol::toObjFile): Fix build warning. | |
| 158 | ||
| 159 | * d-codegen.cc (d_decl_context): Always return parent context for | |
| 160 | functions nested in functions. | |
| 161 | (is_degenerate_closure): Remove function. | |
| 162 | (needs_static_chain): Remove function. | |
| 163 | * d-decls.cc (FuncDeclaration::toSymbol): Remove workaround for cgraph | |
| 164 | nesting structure, saving the original context decl. | |
| 165 | * d-lang.h (D_DECL_STATIC_CHAIN): Remove macro. | |
| 166 | * d-objfile.cc (Symbol::Symbol): Remove ScontextDecl field. | |
| 167 | (FuncDeclaration::toObjFile): Remove workaround for cgraph nesting | |
| 168 | structure, restoring the original context decl. Delay building the | |
| 169 | cgraph node until... | |
| 170 | (d_finish_function): ... here, where the function is unnested. | |
| 171 | ||
| 172 | 2014-06-11 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 173 | ||
| 174 | * d-objfile.cc (d_finish_function): Update the callgraph to reflect | |
| 175 | unnesting of the function, as unravelling has already been handled by | |
| 176 | the frontend. Do not delay calling cgraph_finalize_function. | |
| 177 | ||
| 178 | 2014-06-09 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 179 | ||
| 180 | * d-objfile.cc (d_comdat_group): Return a decl. | |
| 181 | * d-decl.cc (FuncDeclaration::toThunkSymbol): Don't set comdat group. | |
| 182 | * d-elem.cc (EqualExp::toElem): Always store temporaries when comparing | |
| 183 | two dynamic arrays. | |
| 184 | ||
| 185 | 2014-06-08 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 186 | ||
| 187 | * d-decls.cc (TypeInfoDeclaration::toSymbol): Add assert that Error | |
| 188 | types never reach the backend. | |
| 189 | * d-typinf.cc (Type::getTypeInfo): Likewise. | |
| 190 | ||
| 191 | 2014-06-08 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 192 | ||
| 193 | * dfrontend: Update to D front-end version 2.065. | |
| 194 | ||
| 195 | * d-codegen.cc (d_build_call): Evaluate side effects of the object | |
| 196 | parameter for method or delegate calls before passing. | |
| 197 | (libcall_ids): Rename _d_array_bounds to _d_arraybounds. | |
| 198 | (get_libcall): Update parameter types for _d_arraycopy. | |
| 199 | (finish_aggregate_type): Update for frontend UDA changes. | |
| 200 | * d-ctype.cc (TypeTypedef::toCtype): Update for frontend UDA changes. | |
| 201 | (TypeEnum::toCtype): Likewise. | |
| 202 | (TypeStruct::toCtype): Likewise. | |
| 203 | (TypeClass::toCtype): Likewise. | |
| 204 | * d-elem.cc (BoolExp::toElem): New function. | |
| 205 | * d-lang.cc (rootmodule): New declaration for frontend entrypoint | |
| 206 | changes. | |
| 207 | (genCmain): Update for frontend entrypoint changes. | |
| 208 | (d_handle_option): Don't duplicate memory for argument values. | |
| 209 | (d_parse_file): Don't duplicate memory for source filenames. | |
| 210 | * d-objfile.cc (VarDeclaration::toObjFile): Don't emit instantiated | |
| 211 | manifest constants to debug. | |
| 212 | (TemplateInstance::toObjFile): Update for frontend changes. | |
| 213 | (output_template_p): Remove function. | |
| 214 | (output_declaration_p): Update for frontend changes. | |
| 215 | (setup_symbol_storage): Update for frontend UDA changes. | |
| 216 | * d-target.cc (Target::reverseCppOverloads): New declaration. | |
| 217 | * d-typinf.cc (Type::getInternalTypeInfo): Update for frontend changes. | |
| 218 | (Type::getTypeInfo, Type::getTypeInfoDeclaration): Likewise. | |
| 219 | (TypeTypedef::getTypeInfoDeclaration): Likewise. | |
| 220 | (TypePointer::getTypeInfoDeclaration): Likewise. | |
| 221 | (TypeDArray::getTypeInfoDeclaration): Likewise. | |
| 222 | (TypeSArray::getTypeInfoDeclaration): Likewise. | |
| 223 | (TypeAArray::getTypeInfoDeclaration): Likewise. | |
| 224 | (TypeStruct::getTypeInfoDeclaration): Likewise. | |
| 225 | (TypeClass::getTypeInfoDeclaration): Likewise. | |
| 226 | (TypeVector::getTypeInfoDeclaration): Likewise. | |
| 227 | (TypeEnum::getTypeInfoDeclaration): Likewise. | |
| 228 | (TypeFunction::getTypeInfoDeclaration): Likewise. | |
| 229 | (TypeDelegate::getTypeInfoDeclaration): Likewise. | |
| 230 | (TypeTuple::getTypeInfoDeclaration): Likewise. | |
| 231 | (createTypeInfoArray): Likewise. | |
| 232 | ||
| 233 | * d-intrinsics.def: New file for declaring D intrinsics. | |
| 234 | ||
| 235 | * d-builtins.cc (std_intrinsic_module, std_math_module) | |
| 236 | (core_math_module, va_arg_template, va_arg2_template) | |
| 237 | (va_start_template): Remove declarations. | |
| 238 | (is_intrinsic_module_p, is_math_module_p, is_builtin_va_arg_p) | |
| 239 | (is_builtin_va_start_p, d_gcc_magic_stdarg_check) | |
| 240 | (d_gcc_magic_stdarg_module): Remove functions. | |
| 241 | (d_gcc_magic_builtins_module): Rename to d_build_builtins_module. | |
| 242 | (d_gcc_magic_libbuiltins_module): Rename to maybe_set_builtin. | |
| 243 | (d_gcc_magic_libbuiltins_check): Rename to maybe_set_builtin_1. | |
| 244 | (gcc_type_to_d_type): Rename to build_dtype. | |
| 245 | (gcc_cst_to_d_expr): Rename to build_expression. | |
| 246 | (d_gcc_eval_builtin): Remove function. | |
| 247 | (eval_builtin): Moved to... | |
| 248 | * d-glue.cc (eval_builtin): New function, updated for glue changes. | |
| 249 | (FuncDeclaration::isBuiltin): New function to determine whether a | |
| 250 | given function symbol is a compiler intrinsic. | |
| 251 | * d-codegen.cc (maybe_expand_builtin): Rename to expand_intrinsic. | |
| 252 | (Intrinsic): Remove enum declaration, replaced with... | |
| 253 | (intrinsic_code): New enum for compiler intrinsics. | |
| 254 | (intrinsic_decls): New declaration for store intrinsic information. | |
| 255 | (expand_intrinsic_bt): Update signature. | |
| 256 | (maybe_set_intrinsic): New function to replace... | |
| 257 | (maybe_set_builtin_frontend): Remove function. | |
| 258 | * d-decls.cc (FuncDeclaration::toSymbol): Update for glue changes. | |
| 259 | ||
| 260 | * d-builtins.c: Rename to d-builtins.cc | |
| 261 | * d-gt.c: Rename to d-gt.cc | |
| 262 | * d-spec.c: Rename to d-spec.cc | |
| 263 | ||
| 264 | * d-toir.cc: Renamed to toir.cc | |
| 265 | * toir.cc: New file, re-implement toIR methods as a visitor. | |
| 266 | ||
| 267 | * d-codegen.cc (insert_type_modifiers): Handle MODwildconst modifiers. | |
| 268 | (build_ir): New function. | |
| 269 | * d-objfile.cc (FuncDeclaration::toObjFile): Use build_ir to walk | |
| 270 | front-end IR trees. | |
| 271 | * d-decls.cc (VarDeclaration::toSymbol): Mark compiler temporaries as | |
| 272 | DECL_ARTIFICIAL. | |
| 273 | (ClassDeclaration::toVtblSymbol): Update for front-end changes. | |
| 274 | * d-builtins.c (gcc_type_to_d_type): Likewise. | |
| 275 | * d-elem.cc (CatAssignExp::toElem): Likewise. | |
| 276 | (ArrayLiteralExp::toElem): Likewise. | |
| 277 | (BoolExp::toElem): Remove function. | |
| 278 | (ComExp::toElem): Assert that unhandled array operations no longer | |
| 279 | leak from the front-end. | |
| 280 | (NegExp::toElem): Likewise. | |
| 281 | * d-glue.cc (Global::init): Initialise new member run_noext. | |
| 282 | * d-incpath (add_import_path): Update for front-end changes. | |
| 283 | * d-lang.cc (d_add_builtin_version): Likewise. | |
| 284 | * d-todt.cc (StructDeclaration::toDt): Likewise. | |
| 285 | * d-toir.cc (LabelStatement::toIR): Don't delete forward references. | |
| 286 | (GotoStatement::toIR): Assert that undefined labels no longer leak | |
| 287 | from the front-end. | |
| 288 | ||
| 289 | 2014-05-31 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 290 | ||
| 291 | * d-todt.cc (dt_container): Properly handle zero length static arrays. | |
| 292 | * d-codegen.h (build_dtype): Rename to lang_dtype. | |
| 293 | (build_ddecl): Rename to lang_ddecl. | |
| 294 | ||
| 295 | 2014-05-21 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 296 | ||
| 297 | * d-builtins.c (d_init_builtins): Use void_node instead of | |
| 298 | d_void_zero_node. | |
| 299 | * d-lang.h (d_void_zero_node): Remove. | |
| 300 | * d-elem.cc (AndAndExp::toElem): Adjust. | |
| 301 | (OrOrExp::toElem): Likewise. | |
| 302 | (AssertExp::toElem): Likewise. | |
| 303 | (TupleExp::toElem): Likewise. | |
| 304 | ||
| 305 | * d-builtins.c (d_init_builtins): Use null_pointer_node instead of | |
| 306 | d_null_pointer. | |
| 307 | * d-lang.h (d_null_pointer): Remove. | |
| 308 | * d-codegen.cc (convert_expr): Adjust. | |
| 309 | (get_frame_for_symbol): Likewise. | |
| 310 | (build_vthis): Likewise. | |
| 311 | (get_framedecl): Likewise. | |
| 312 | * d-elem.cc (DeleteExp::toElem): Likewise. | |
| 313 | (CallExp::toElem): Likewise. | |
| 314 | (AssertExp::toElem): Likewise. | |
| 315 | (NewExp::toElem): Likewise. | |
| 316 | (ArrayLiteralExp::toElem): Likewise. | |
| 317 | (NullExp::toElem): Likewise. | |
| 318 | * d-objfile.cc (ClassDeclaration::toObjFile): Likewise. | |
| 319 | (InterfaceDeclaration::toObjFile): Likewise. | |
| 320 | (FuncDeclaration::toObjFile): Likewise. | |
| 321 | (build_moduleinfo): Likewise. | |
| 322 | * d-todt.cc (TypeInfoTypedefDeclaration::toDt): Likewise. | |
| 323 | (TypeInfoEnumDeclaration::toDt): Likewise. | |
| 324 | (TypeInfoStructDeclaration::toDt): Likewise. | |
| 325 | ||
| 326 | 2014-05-18 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 327 | ||
| 328 | * d-longdouble.cc (longdouble::from_shwi): Rename to from_int. | |
| 329 | (longdouble::from_uhwi): Rename to from_uint. | |
| 330 | (longdouble::to_shwi): Rename to to_int. | |
| 331 | (longdouble::to_uhwi): Rename to to_uint. | |
| 332 | (longdouble::set): Adjust. | |
| 333 | (longdouble::operator): Likewise. | |
| 334 | ||
| 335 | * d-lang.cc (alloc_binding_level): Adjust. | |
| 336 | (build_d_type_lang_specific): Likewise. | |
| 337 | (build_d_decl_lang_specific): Likewise. | |
| 338 | * d-lang.h (lang_type): Don't use variable_size gty attribute. | |
| 339 | * d-codegen.cc (cst_to_hwi): Remove function. | |
| 340 | * d-codegen.cc (tree_to_hwi): Remove function. | |
| 341 | * d-builtins.c (gcc_type_to_d_type): Adjust. | |
| 342 | (gcc_cst_to_d_expr): Likewise. | |
| 343 | * d-convert.cc (d_truthvalue_conversion): Use integer_zerop. | |
| 344 | (get_nonnull_operand): Use tree_fits_uhwi_p. | |
| 345 | * d-longdouble.cc (longdouble::from_int): Adjust. | |
| 346 | (longdouble::from_uint): Likewise. | |
| 347 | (longdouble::to_int): Likewise. | |
| 348 | ||
| 349 | 2014-04-30 Johannes Pfau <johannespfau@gmail.com> | |
| 350 | ||
| 351 | * d-lang.cc (d_init): Define GNU_SEH_Exceptions and | |
| 352 | GNU_DWARF2_Exceptions versions. | |
| 353 | ||
| 354 | 2014-04-21 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 355 | ||
| 356 | * d-lang.cc (d_init_options): Default deprecation warnings to off. | |
| 357 | * d-ctype.cc (TypeDelegate::toCtype): Propogate TREE_ADDRESSABLE from | |
| 358 | the base function to the delegatised copy. | |
| 359 | ||
| 360 | 2014-04-15 Johannes Pfau <johannespfau@gmail.com> | |
| 361 | ||
| 362 | * d-lang.cc (d_handle_noclone_attribute): New function to handle | |
| 363 | noclone attribute. noclone is required by the naked attribute. | |
| 364 | * d-elem.cc (SymbolExp::toElem): Convert symbols to the expression | |
| 365 | type. | |
| 366 | ||
| 367 | 2014-04-13 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 368 | ||
| 369 | * d-codegen.cc (get_frameinfo): Don't copy the node for frame record. | |
| 370 | * d-irstate.cc (IRState::endCatches): Rebuild the STATEMENT_LIST of | |
| 371 | catches in a TRY_CATCH_EXPR if it gets optimised away by | |
| 372 | IRState::popStatement. | |
| 373 | * d-codegen.cc (d_attribute_p): Provide access to target attributes. | |
| 374 | ||
| 375 | 2014-03-31 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 376 | ||
| 377 | * d-codegen.cc (error_mark_p): Removed function, replace uses with | |
| 378 | error_operand_p. | |
| 379 | (error_mark): Removed function, replace uses with error_mark_node. | |
| 380 | * d-ctype.cc (Type::toCtype): Return d_unknown_type_node for frontend | |
| 381 | error types. | |
| 382 | * d-objfile.cc (VarDeclaration::toObjFile): Don't build CONST_DECLs for | |
| 383 | non-scalar manifests. | |
| 384 | ||
| 385 | 2014-03-23 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 386 | ||
| 387 | * d-decls.cc (Dsymbol::toImport): Prevent GC from collecting | |
| 388 | IMPORTED_DECL nodes whilst front-end compilation in progress. | |
| 389 | ||
| 390 | 2014-03-19 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 391 | ||
| 392 | * d-codegen.cc (AggLayout::visit): Rename to layout_aggregate_type. | |
| 393 | (AggLayout::doFields, AggLayout::doInterfaces): Remove function and | |
| 394 | move implementation into layout_aggregate_type. | |
| 395 | (AggLayout::addField): Rename to insert_aggregate_field. | |
| 396 | (AggLayout::finish): Rename to finish_aggregate_type. | |
| 397 | * d-codegen.h (AggLayout): Update definition. | |
| 398 | * d-ctype.cc (TypeStruct::toCtype): Update for glue changes. | |
| 399 | (TypeFunction::toCtype): Fix ICE on generic function types. | |
| 400 | (TypeClass::toCtype): Move generation of vptr and monitor fields into | |
| 401 | layout_aggregate_type. Moved generation of TYPE_METHODS from ... | |
| 402 | * d-objfile.cc (FuncDeclaration::toObjFile): ... here into | |
| 403 | TypeClass::toCtype. Don't build up TYPE_METHODS on a per-function | |
| 404 | basis, generate the entire vtable. | |
| 405 | ||
| 406 | 2014-03-18 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 407 | ||
| 408 | * d-decls.cc (Dsymbol::toSymbolX): Set the symbol prettyIdent. | |
| 409 | (Dsymbol::toImport): Emit packages as their fully qualified names. | |
| 410 | (ClassDeclaration::toSymbol): Distinguish between the classinfo | |
| 411 | assembler and decl name. | |
| 412 | (InterfaceDeclaration::toSymbol): Likewise for interface symbol. | |
| 413 | (Module::toSymbol): Likewise for moduleinfo symbol. | |
| 414 | (ClassDeclaration::toVtblSymbol): Likewise for class vtable symbol. | |
| 415 | (AggregateDeclaration::toInitializer) | |
| 416 | (TypedefDeclaration::toInitializer, EnumDeclaration::toInitializer): | |
| 417 | Likewise for default initialisers. | |
| 418 | * d-objfile.cc (Module::genobjfile): Don't set-up moduleinfo symbol | |
| 419 | storage twice. | |
| 420 | ||
| 421 | 2014-03-17 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 422 | ||
| 423 | * d-codegen.cc (d_decl_context): Fix null pointer dereference. | |
| 424 | * d-objfile.cc (FuncDeclaration::toObjFile): Don't override the setting | |
| 425 | of DECL_CONTEXT on the declaration here. | |
| 426 | (d_finish_symbol): Likewise. | |
| 427 | * d-objfile.cc (VarDeclaration::toObjFile): Move the generation of | |
| 428 | manifest constants to ... | |
| 429 | * d-decls.cc (VarDeclaration::toSymbol): ... here, and emit them as | |
| 430 | CONST_DECLs. Set the DECL_CONTEXT for all variable symbols. | |
| 431 | ||
| 432 | * d-builtins.cc (d_gcc_magic_builtins_module): Don't store compiler | |
| 433 | generated builtins in Symbol::isym, use Symbol::csym instead. | |
| 434 | (d_gcc_magic_libbuiltins_check): Likewise. | |
| 435 | * d-codegen.cc (d_decl_context): Return the imported symbol tree of | |
| 436 | modules where the NAMESPACE_DECL is now stored. | |
| 437 | (d_build_module): Remove function. Move implementation to ... | |
| 438 | * d-decls.cc (Dsymbol::toImport): ... here. Build an IMPORTED_DECL for | |
| 439 | all imported declarations. | |
| 440 | (FuncDeclaration::toSymbol): Remove special handling of Symbol::isym. | |
| 441 | (Module::toSymbol): Remove call to d_build_module. | |
| 442 | * d-objfile.cc (Dsymbol::toObjFile): Handle emission of IMPORTED_DECL | |
| 443 | symbols to debug. | |
| 444 | ||
| 445 | 2014-03-16 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 446 | ||
| 447 | * d-codegen.cc (build_attributes): Ensure D-specific attributes have | |
| 448 | their value interpreted through CTFE. | |
| 449 | ||
| 450 | 2014-02-21 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 451 | ||
| 452 | * d-codegen.cc (d_build_module): Update signature to accept a Loc | |
| 453 | location to the module declaration. | |
| 454 | * d-decls.cc (Module::toSymbol): Update call to d_build_module. | |
| 455 | Set TREE_PUBLIC/DECL_EXTERNAL to distingush which modules are being | |
| 456 | compiled. | |
| 457 | * d-objfile.cc (Dsymbol::toObjFile): Handle Import symbols, and emit | |
| 458 | debug information for imported modules. | |
| 459 | (ImportStatement::toIR): Likewise. | |
| 460 | (set_input_location): New function to implement the equivalent of | |
| 461 | set_decl_location, but instead sets input_location. | |
| 462 | ||
| 463 | 2014-02-19 Johannes Pfau <johannespfau@gmail.com> | |
| 464 | ||
| 465 | * d-objfile.cc (build_call_function): Call set_input_location | |
| 466 | to set debug info correctly | |
| 467 | ||
| 468 | 2014-02-18 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 469 | ||
| 470 | * d-objfile.cc (VarDeclaration::toObjFile): Remove toplevel check. | |
| 471 | DECL_CONTEXT is never set on manifest constants. | |
| 472 | (d_finish_compilation): Remove fancy check on force outputting | |
| 473 | symbols to object file. | |
| 474 | (build_type_decl): Don't emit the qualified identifier in debug | |
| 475 | information. The fully qualified name is now determined through the | |
| 476 | NAMESPACE_DECL context chain. | |
| 477 | * d-ctype.cc (TypeEnum::toCtype): Likewise for enum members. | |
| 478 | (VarDeclaration::toSymbol): Likewise for static variables. | |
| 479 | (FuncDeclaration::toSymbol): Likewise for functions. | |
| 480 | ||
| 481 | * d-decls.cc (FuncDeclaration::toSymbol): Don't emit the 'D main' | |
| 482 | symbol to debug as plain 'main'. | |
| 483 | * d-objfile.cc (VarDeclaration::toObjFile): Don't emit the qualified | |
| 484 | identifier of manifest constants in debug information. | |
| 485 | ||
| 486 | 2014-02-17 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 487 | ||
| 488 | * d-codegen.cc (d_build_module): New function. | |
| 489 | * d-decls.cc (Module::toSymbol): Use d_build_module to build up the | |
| 490 | qualified module namespace. | |
| 491 | ||
| 492 | * d-codegen.cc (expand_intrinsic_op, expand_intrinsic_op2): New | |
| 493 | functions to build a call to a builtin code. | |
| 494 | (expand_intrinsic_bsr, expand_intrinsic_bt): New functions to expand a | |
| 495 | BUILTIN_FRONTEND call to core.bitop intrinsics. | |
| 496 | (expand_intrinsic_vaarg, expand_intrinsic_vastart): New functions to | |
| 497 | expand a BUILTIN_FRONTEND call to core.vararg intrinsics. | |
| 498 | (maybe_expand_builtin): Update. | |
| 499 | ||
| 500 | 2014-02-16 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 501 | ||
| 502 | * d-decls.cc (Module::toSymbol): Build a NAMESPACE_DECL to populate the | |
| 503 | DECL_CONTEXT of toplevel functions. | |
| 504 | * d-codegen.cc (d_decl_context): Return the enclosing module | |
| 505 | NAMESPACE_DECL as the decl context only when the symbol is extern(D) | |
| 506 | and not D main. | |
| 507 | ||
| 508 | 2014-02-15 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 509 | ||
| 510 | * d-decls.cc (VarDeclaration::toSymbol): Don't call | |
| 511 | setup_symbol_storage until after SET_DECL_ASSEMBLER_NAME has been set. | |
| 512 | ||
| 513 | * d-decls.cc (VarDeclaration::toSymbol): Give prettyIdent precedence | |
| 514 | for the DECL_NAME over the simple identifier. | |
| 515 | (FuncDeclaration::toSymbol): Likewise. | |
| 516 | * d-objfile.cc (d_finish_symbol): Remove setting DECL_NAME as | |
| 517 | prettyIdent, this has already been done in Declaration::toSymbol. | |
| 518 | (d_finish_function): Likewise. | |
| 519 | ||
| 520 | * d-decls.cc (VarDeclaration::toSymbol): Call set_user_assembler_name | |
| 521 | if pragma(mangle) was seen. | |
| 522 | (FuncDeclaration::toSymbol): Likewise. | |
| 523 | ||
| 524 | 2014-02-12 Johannes Pfau <johannespfau@gmail.com> | |
| 525 | ||
| 526 | * d-decls.cc (FuncDeclaration::toSymbol): Do not set TREE_NOTHROW on | |
| 527 | nothrow functions. | |
| 528 | * d-decls.cc (TypeInfoDeclaration::toSymbol): Call relayout_decl after | |
| 529 | changing the type. | |
| 530 | ||
| 531 | 2014-02-03 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 532 | ||
| 533 | ||
| 534 | * d-codegen.cc (d_build_call): Remove special handling of | |
| 535 | flag_split_darrays switch. | |
| 536 | (maybe_expand_builtin): Likewise. | |
| 537 | * d-elem.cc (CatExp::toElem): Likewise. | |
| 538 | * lang.opt (fsplit-dynamic-arrays): Remove. | |
| 539 | ||
| 540 | 2014-02-02 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 541 | ||
| 542 | * d-glue.cc (readFile, writeFile, ensurePathToNameExists): Define. | |
| 543 | * d-incpath.cc (add_import_path): Update for frontend changes. | |
| 544 | (add_fileimp_path): Likewise. | |
| 545 | * d-lang.cc (deps_write): Likewise. | |
| 546 | (d_parse_file): Likewise. | |
| 547 | * d-todt.cc (Dts): Update define for frontend changes. | |
| 548 | * d-decls.cc (ClassDeclaration::toVtblSymbol): Don't mark __vtbl | |
| 549 | symbols as virtual. They are global static symbols. | |
| 550 | ||
| 551 | 2014-01-12 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 552 | ||
| 553 | * d-decls.cc (EnumDeclaration::toDebug): Build TYPE_DECL only for | |
| 554 | enumeral types. | |
| 555 | ||
| 556 | 2014-01-06 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 557 | ||
| 558 | * d-ctype.cc (TypeClass::toCtype): Don't add __monitor field for | |
| 559 | extern(C++) classes. | |
| 560 | ||
| 561 | * d-builtins.c (d_gcc_magic_module): Remove tdata. | |
| 562 | * d-codegen.cc (build_interface_binfo): Likewise. | |
| 563 | * d-ctype.cc (TypeEnum::toCtype): Likewise. | |
| 564 | (TypeClass::toCtype): Likewise. | |
| 565 | * d-lang.cc (deps_write): Likewise. | |
| 566 | ||
| 567 | 2014-01-05 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 568 | ||
| 569 | * d-ctype.cc (TypeEnum::toCtype): Don't push CONST_DECLs into current | |
| 570 | function. | |
| 571 | * d-decls.cc (FuncDeclaration::toThunkSymbol): Don't mark symbol as | |
| 572 | TREE_PRIVATE, just TREE_PUBLIC as false. | |
| 573 | (StructLiteralExp::toSymbol): Likewise. | |
| 574 | (ClassReferenceExp::toSymbol): Likewise. | |
| 575 | * d-objfile.cc (d_comdat_linkage): Likewise. | |
| 576 | (d_finish_symbol): Likewise. | |
| 577 | (build_moduleinfo): Likewise. | |
| 578 | ||
| 579 | * config-lang.in: Add d-lang.cc to gtfiles. | |
| 580 | * d-irstate.h (IRState::varsInScope): Change from Array to vec<> type. | |
| 581 | (IRState::statementList_): Likewise. | |
| 582 | (IRState::scopes_): Likewise. | |
| 583 | (IRState::loops_): Likewise. | |
| 584 | (IRState::labels_): Likewise. | |
| 585 | * d-lang.h (d_bi_builtin_func): Remove declaration. | |
| 586 | (d_bi_builtin_type): Likewise. | |
| 587 | (d_keep_list): Likewise. | |
| 588 | * d-objfile.h (Symbol::thunks): Change from Array to vec<> type. | |
| 589 | (ModuleInfo::classes): Likewise. | |
| 590 | (ModuleInfo::ctors): Likewise. | |
| 591 | (ModuleInfo::dtors): Likewise. | |
| 592 | (ModuleInfo::ctorgates): Likewise. | |
| 593 | (ModuleInfo::sharedctors): Likewise. | |
| 594 | (ModuleInfo::shareddtors): Likewise. | |
| 595 | (ModuleInfo::sharedctorgates): Likewise. | |
| 596 | (ModuleInfo::unitTests): Likewise. | |
| 597 | (build_simple_function): Remove declaration. | |
| 598 | (build_call_function): Likewise. | |
| 599 | (build_ctor_function): Likewise. | |
| 600 | (build_dtor_function): Likewise. | |
| 601 | (build_unittest_function): Likewise. | |
| 602 | * d-builtins.c (bi_fn_list): Rename to gcc_builtins_functions. | |
| 603 | (bi_lib_list): Rename to gcc_builtins_libfuncs. | |
| 604 | (bi_type_list): Rename to gcc_builtins_types. | |
| 605 | (builtin_converted_types): Remove. | |
| 606 | (builtin_converted_decls): Change from Array to vec<> type. | |
| 607 | (gcc_type_to_d_type): Update. | |
| 608 | (d_bi_builtin_func): Remove and move to d_builtin_function. | |
| 609 | (d_bi_builtin_type): Remove and move to d_register_builtin_type. | |
| 610 | (d_gcc_magic_builtins_module): Update. | |
| 611 | * d-ctype.cc (TypeClass::toCtype): Remove unused var. | |
| 612 | * d-decls.cc (FuncDeclaration::toThunkSymbol): Update for change to | |
| 613 | vec<> type. | |
| 614 | * d-elem.cc (CatExp::toElem): Change stashed vars from Array to vec<>. | |
| 615 | (Expression::toElemDtor): Update for change to vec<> type. | |
| 616 | * d-irstate.cc (IRState::startFunction): Likewise. | |
| 617 | (IRState::endFunction): Likewise. | |
| 618 | (IRState::addExp): Likewise. | |
| 619 | (IRState::pushStatementList): Likewise. | |
| 620 | (IRState::popStatementList): Likewise. | |
| 621 | (IRState::getLabelBlock): Likewise. | |
| 622 | (IRState::getLoopForLabel): Likewise. | |
| 623 | (IRState::beginFlow): Likewise. | |
| 624 | (IRState::endFlow): Likewise. | |
| 625 | (IRState::startScope): Likewise. | |
| 626 | (IRState::pushLabel): Likewise. | |
| 627 | (IRState::checkGoto): Likewise. | |
| 628 | (IRState::checkPreviousGoto): Change from Array to Blocks type. | |
| 629 | * d-lang.cc (global_declarations): Change from Array to vec<> type. | |
| 630 | (d_add_global_declaration): Update for change to vec<> type. | |
| 631 | (d_write_global_declarations): Likewise. | |
| 632 | (d_keep_list): Make static to source file. | |
| 633 | * d-objfile.cc (static_ctor_list): Change from Array to vec<> type. | |
| 634 | (static_dtor_list): Likewise. | |
| 635 | (Module::genobjfile): Update for change to vec<> type. | |
| 636 | (d_finish_module): Likewise. | |
| 637 | (d_finish_function): Likewise. | |
| 638 | (deferred_thunks): Change from ArrayBase<> to vec<> type. | |
| 639 | (write_deferred_thunks): Update for change to vec<> type. | |
| 640 | (use_thunk): Likewise. | |
| 641 | (build_simple_function): Make static to source file. | |
| 642 | (build_call_function): Likewise. | |
| 643 | (build_ctor_function): Likewise. | |
| 644 | (build_dtor_function): Likewise. | |
| 645 | (build_unittest_function): Likewise. | |
| 646 | ||
| 647 | 2014-01-02 Iain Buclaw <ibuclaw@gdcproject.org> | |
| 648 | ||
| 649 | * d-objfile.cc (setup_symbol_storage): Use output_module_p on template | |
| 650 | instantiating module to determine if symbol is externally compiled. | |
| 651 | (d_finish_function): Set function local if function body was compiled. | |
| 652 | * d-decls.cc (Dsymbol::toSymbolX): Use unsigned integer format for the | |
| 653 | prefix string length. | |
| 654 | ||
| 655 | \f | |
| 656 | Copyright (C) 2014 Free Software Foundation, Inc. | |
| 657 | ||
| 658 | Copying and distribution of this file, with or without modification, | |
| 659 | are permitted in any medium without royalty provided the copyright | |
| 660 | notice and this notice are preserved. |