aboutsummaryrefslogtreecommitdiff
path: root/src/analyze.cpp
AgeCommit message (Collapse)Author
2020-07-28stage1: hot path for resolving types of primitivesAndrew Kelley
This is an attempt to save memory when building self-hosted. before: Total bytes allocated: 5.941 GiB, deallocated: 2.259 GiB, remaining: 3.681 GiB after: Total bytes allocated: 5.933 GiB, deallocated: 2.253 GiB, remaining: 3.680 GiB
2020-07-18allow non-pointer extern opaque variablesVexu
2020-07-12update compile error tests and some doc commentsVexu
2020-07-11add 'anytype' to stage1 and langrefVexu
2020-07-08fix missing check on extern variables with no typeVexu
2020-06-24Copy union const values correctlyAlexandros Naskos
2020-06-18Merge pull request #5203 from tadeokondrak/@type-for-even-more-typesAndrew Kelley
implement @typeInfo for Frame and implement @Type for Frame, EnumLiteral, and ErrorSet
2020-05-26Merge pull request #5440 from kubkon/align-fn-error-wasmAndrew Kelley
Make align expr on fns a compile error in Wasm
2020-05-26Add caller location tracking for asserts (ir_assert, src_assert, ↵foobles
ir_assert_gen) (#5393)
2020-05-26Make align expr on fns a compile error in WasmJakub Konka
In Wasm, specifying alignment of function pointers makes little sense since function pointers are in fact indices to a Wasm table, therefore any alignment check on those is invalid. This can cause unexpected behaviour when checking expected alignment with `@ptrToInt(fn_ptr)` or similar. This commit proposes to make `align` expressions a compile error when compiled to Wasm architecture. Some references: [1] [Mozilla: WebAssembly Tables](https://developer.mozilla.org/en-US/docs/WebAssembly/Understanding_the_text_format#WebAssembly_tables) [2] [Sunfishcode's Wasm Ref Manual](https://github.com/sunfishcode/wasm-reference-manual/blob/master/WebAssembly.md#indirect-call)
2020-05-23fix regression in compile errorsAndrew Kelley
2020-05-20stage1: fix false positive redeclared variable compile errorAndrew Kelley
2020-05-17Merge pull request #5057 from xackus/opaque-paramAndrew Kelley
stage1: fix assert fail on opaque fn ptr param
2020-05-05remove nakedcc/stdcallcc/async fn/extern fn fnprotoTadeo Kondrak
2020-05-05Rename noasync to nosuspend in C++ compilerTadeo Kondrak
2020-05-04stage1: remove unneeded switchxackus
2020-05-04stage1: fix assert fail on opaque fn ptr paramxackus
2020-05-02Implement @typeInfo for @Frame()Tadeo Kondrak
Closes https://github.com/ziglang/zig/issues/3066
2020-04-24Add mips support to standard libraryTimon Kruiper
2020-04-22stage1: Prevent the creation of illegal pointer typesLemonBoy
Changing the pointer length from Unknown to Single/C now resets the sentinel value too. Closes #5134
2020-04-22stage1: Another hack for the C ABI compatibilityLemonBoy
Applying the wrong ABI is slightly better than using the Zig ABI, the whole thing is so wrong it should be burned to the ground.
2020-04-20stage1: Handle errors when generating block IRLemonBoy
Closes #5005
2020-04-17add error for non-exter variadic functionsVexu
2020-04-17stage1: Fix several bugs in constant generationLemonBoy
The codegen would sometimes change the LLVM type for some constants to an unnamed structure in order to accomodate extra padding. This is fine as long as the alignment of each field is still respected and it was not the case for structure types, leading to ill-formed constants being generated. Optional types suffer from this to a lower extent as their layout is quite lucky, the only missing piece was the tail padding. Closes #4530 Closes #4594 Closes #4295 Closes my will to live
2020-04-07stage1: Respect the specified name for extern varLemonBoy
Extend the logic used for function definitions to variables. Closes #4947
2020-04-05type_has_one_possible_value takes comptime struct fields into accountAndrew Kelley
Before, type_has_one_possible_value would return false for the value `.{1}`. But actually, that type is a tuple with a single comptime field. Such a type, in fact, has one possible value. This plus the corresponding adjustment to get_the_one_possible_value solves #3878.
2020-04-02Fix multiplication overflow in `hash_const_val`Timon Kruiper
In some cases the compiler was actually emitting an 64 bit signed multiplication, instead of a 32 bit unsigned one.
2020-04-01stage1: make C++ switch fallthrough an errorMichael Dusan
Make fallthrough an error when compiler supports it. This requires a new macro that is defined with such compilers to be used as a statement, at all fallthrough sites: switch (...) { case 0: ... ZIG_FALLTHROUGH; case 1: ... break; default: ... break; } If we ever move to C++17 as minimal requirement, then the macro can be replaced with `[[fallthrough]];` at statement sites.
2020-04-01Make sure that ZigTypeVector and ZigTypeArray have the same memory layoutTimon Kruiper
Throughout the stage1 code it is assumed that these have the same layout, but that was not the case. This caused an issue on 32-bit hardware.
2020-03-26ability to compile c++ hello world with `zig c++`Andrew Kelley
closes #4786
2020-03-190-bit array type does not resolve child typeAndrew Kelley
2020-03-19`@ptrCast` supports casting a slice to pointerAndrew Kelley
2020-03-19fixes in semantic analysis needed to support this featureAndrew Kelley
2020-03-19slicing with comptime start and end results in arrayAndrew Kelley
implements #863
2020-03-19ir: More changes to sentinel-terminated const arraysLemonBoy
* Don't add an extra slot for the sentinel. Most of the code keeps using the constant value from the type descriptor, let's harmonize all the code dealing with sentinels. * Properly write out sentinel values when reinterpreting pointers at comptime. * Allow the reading of the 0th element in a `[0:S]T` type.
2020-03-18array sentinel does not count towards type_has_one_possible_valueAndrew Kelley
2020-03-18ir: Correct ABI size calculation for arraysLemonBoy
Zero-length array with a sentinel may not have zero size. Closes #4749
2020-03-09Merge pull request #4590 from xackus/fix-4587Andrew Kelley
fix failed assert on generic fn opaque return type
2020-03-09ir: Fix codegen of ?*T types where T is zero-sizedLemonBoy
* Fix codegen for optional types that decay to a pointer, the type behaves as a boolean * Fix comptime evaluation of zero-sized arrays, always initialize the internal array elements Closes #4673
2020-03-09better error messages and more testsxackus
2020-03-09implement noasync scopesVexu
2020-03-08ir: Prevent crash in compiler errorLemonBoy
Anonymous containers have no struct_field->type AstNode set, let's always use the field node itself to make the error messages consistent. Closes #4691
2020-03-08fix failed assert on generic fn opaque return typexackus
2020-03-06stage1: make get_optional_type more robustAndrew Kelley
Now it will emit a compile error rather than crashing when the child type has not been resolved properly. Introduces `get_optional_type2` which should be used generally inside ir.cpp. Fix some std lib compile errors noticed by the provided test case. Thanks @LemonBoy for the test case. Closes #4377. Fixes #4374.
2020-03-05stage1: fix regressionMichael Dusan
- regression was introduced by 371c21aa70fc61ef703e34079ce6de6c52ec91df
2020-03-05stage1: housekeepingMichael Dusan
- use consistent allocator in `realloc_const_vals_ptrs()` - unexport `create_fn_raw()`
2020-03-04get_codegen_ptr_type returns possible errorAndrew Kelley
And fix most of the fallout. This also makes optional pointers not require resolving zero bits, because the comptime value struct layout no longer depends on whether the type has zero bits. Thanks to @LemonBoy for the behavior test case Closes #4357 Closes #4359
2020-02-29Merge pull request #4550 from ziglang/os-version-rangesAndrew Kelley
introduce operating system version ranges as part of the target; self-host native dynamic linker detection and native glibc version detection
2020-02-29fix crash when building docgenAndrew Kelley
2020-02-28fix typo from other commitAndrew Kelley
d2535c003c6188fcc362028e01ef9f7fb3356727
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-30 23:50:47 +0000