mirror/zig
1
0
Fork 0
mirror of https://github.com/ziglang/zig.git synced 2026-02-21 16:54:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
11,513 Commits 43 Branches 24 Tags
Commit Graph

721 Commits

Author SHA1 Message Date
LemonBoy
a7c2cfe16d stage1: Fix typeInfo generation for arrays w/o sentinel 
ZigTypeIdOptional types have a different way of specifying their payload
value depending on whether the child type is a pointer or not (plus some
other special cases).

Fixes #7251
 2020-11-29 11:39:35 -07:00
LemonBoy
0a4a99ec87 stage1: Add missing bitcast when rendering var ptr 
Some types require this extra bitcast, eg. structs or unions with extra
padding fields inserted by the compiler.

Fixes #7250
 2020-11-29 11:37:44 -07:00
LemonBoy
288b8b535f stage1: Fix crash in *[N]T to []T conversion with zst 
Prevent the crash by not making the codegen try to access the
non-existing ptr field in the slice.

Closes #6951
 2020-11-27 15:34:13 -07:00
LemonBoy
24d4bfb666 stage1: Fix ICE when generating struct fields with padding 
Make gen_const_ptr_struct_recursive aware of the possible presence of
some trailing padding by always bitcasting the pointer to its expected
type.

Not an elegant solution but makes LLVM happy and is consistent with how
the other callsites are handling this case.

Fixes #5398
 2020-11-25 16:36:57 -07:00
LemonBoy
72980388ca stage1: Resolve usingnamespace decls when calling @typeInfo 
Closes #7176
 2020-11-20 18:02:20 -07:00
LemonBoy
c6c25a1c09 stage1: Fix undefined assignment for bitfields 
Prevents silent memory corruption.

Closes #7055
 2020-11-18 22:51:34 -07:00
LemonBoy
1c8cd268be stage1: Fix asyncCall with non-abi-aligned arguments 
Make the code used to calculate the variable slot index into the frame
match what's done during the structure layout calculation.

Prevents a few nasty LLVM errors when such types are passed around.
 2020-11-17 16:55:44 -07:00
LemonBoy
6624f9cd5c stage1: Fix generation of pass-by-value args in async fns 
The mismatch between the argument slot type in the frame structure and
the one used in the store operation made the generated code write
garbage over the nearby fields.

Fixes #7104
 2020-11-16 11:37:49 -07:00
LemonBoy
10617593f8 stage1: Resolve ErrorUnion children types 
Since the code is accessing the abi_size field compute the full type
size for both err_set_type and payload_type, not only for the latter.
 2020-11-13 14:29:38 -07:00
LemonBoy
aa6fc29744 stage1: Fix crash in comptime struct generation 
Using the gen_index rather than the src_index is needed to handle
structures containing zero-sized or comptime only types.

Closes #7027
 2020-11-11 19:14:03 -07:00
LemonBoy
7d3c5f207a stage1: Avoid resolving type entry in [0]T 
The logic was already there but this rule was only applied in some
places, apply it in the remaining code paths.

Closes #7058
 2020-11-11 19:13:04 -07:00
LemonBoy
85665386c6 stage1: Fix comparison of unions containing zero-sized types 
The code tried to be too smart and skipped the equality (returning true)
if the payload type was zero-sized.
This optimization is completely wrong when the union payload is a
metatype!

Fixes #7047
 2020-11-10 15:24:41 -07:00
xackus
5c8f7f81cd change debug.assert to testing.expect in tests 2020-11-06 22:48:54 +01:00
LemonBoy
ff14451b4a std: Implement more useful approxEq semantics 
Comparisons with absolute epsilons are usually useful when comparing
numbers to zero, for non-zero numbers it's advised to switch to relative
epsilons instead to obtain meaningful results (check [1] for more
details).

The new API introduces approxEqAbs and approxEqRel, where the former
aliases and deprecated the old `approxEq`, allowing the user to pick the
right tool for the job.

The documentation is meant to guide the user in the choice of the
correct alternative.

[1] https://randomascii.wordpress.com/2012/02/25/comparing-floating-point-numbers-2012-edition/
 2020-11-05 16:08:49 +01:00
LemonBoy
be26c3bf4e stage1: Fix *WithOverflow intrinsics with u0 values 
Closes #5369
 2020-11-02 13:40:00 -05:00
LemonBoy
4fd1ec78e9 std: Re-enable union behaviour test for mips targets 2020-11-02 11:46:26 +01:00
LemonBoy
0d6a7088dc stage1: Implement Add/Mul reduction operators 2020-11-01 14:30:31 -07:00
LemonBoy
4fb896f16e
stage1: Fix bug in internal string slicing (#6843) 
Closes #6456
 2020-10-29 14:38:13 -04:00
LemonBoy
b3314a8be6 stage1: Fix small bug in pointer type analysis 
A flag meant to catch recursively-defined types was never reset, leading
the compiler to generate wrong answers when asked for its
type/alignment.

Closes #6850
 2020-10-29 15:41:45 +02:00
LemonBoy
7bc9531698 stage1: Correctly generated optional constant values 
Closes #6799
 2020-10-28 21:56:28 +02:00
LemonBoy
6d2f103bfb stage1: Fix crash in comptime struct value copy 
Comptime fields are never materialized in the ZigValue so pay attention
when iterating over the fields array.

Fixes #6800
 2020-10-28 21:13:32 +02:00
frmdstryr
1ce0994897 Fix @import of empty file 2020-10-26 13:29:32 -07:00
Andrew Kelley
e83334274f add regression test for already fixed bug 
closes #6781
 2020-10-26 13:18:44 -07:00
Andrew Kelley
e6ac082437
Merge pull request #6744 from LemonBoy/intcast-vec 
stage1: Implement `@intCast` between vectors
 2020-10-22 17:36:18 -04:00
LemonBoy
44f8e6a534 stage1: Fix edge case in Union ZigValue generation 
Unions that passed the one_possible_value check were incorrectly
generated, none of their internal fields were initialized.

Fixes #6758
 2020-10-21 22:42:03 -04:00
LemonBoy
2f465761bb stage1: Implement @intCast between vectors 
Explicit and implicit integer casts on vector types are now supported
and follow the same rules as their scalar counterparts.

Implicit float casts are accidentally supported, `@floatCast` is still
not vector-aware.
 2020-10-19 20:05:09 +02:00
Jan Prudil
132813849c Convert remaining call sites 2020-10-17 14:50:26 +02:00
vegecode
2545f44db0 byteOffsetOf add fields to non-packet struct to maintain symmetry 2020-10-16 20:04:42 -07:00
vegecode
0456b2145d byteOffsetOf rounds up using bit offset in host integer 2020-10-16 20:04:42 -07:00
LemonBoy
ab585c680b stage1: Off-by-one error in int to float conversion 
The base is 2^64 and not 2^64-1.

Closes #6683
 2020-10-15 21:25:59 +03:00
Tadeo Kondrak
0e57f220fb stage1: Disallow arrays in function parameters or return types 
Closes #6535.
 2020-10-08 04:17:32 -04:00
Tadeo Kondrak
2b4b03d301
Update zig files for opaque type syntax 2020-10-06 22:08:25 -06:00
Tadeo Kondrak
069fbb3c01
Add opaque type syntax 2020-10-06 22:08:24 -06:00
LemonBoy
22b5e47839 stage1: Implement @reduce builtin for vector types 
The builtin folds a Vector(N,T) into a scalar T using a specified
operator.

Closes #2698
 2020-10-05 04:51:45 -04:00
Alexandros Naskos
e31cc80130
Merge pull request #6427 from tadeokondrak/enums-explicit-tag-type-extern-allowed 
Allow enums with explicit extern-allowed tag types in extern types
 2020-10-03 12:51:39 +03:00
Tadeo Kondrak
cae49b1b9d
Add tests for enums with explicit extern-allowed tag types in extern types 2020-10-01 18:09:47 -06:00
Tadeo Kondrak
96a151d4b8
Skip @Type/@typeInfo Fn/BoundFn tests on wasm32/wasm64 2020-10-01 18:01:40 -06:00
Tadeo Kondrak
e18fdc12b0
stage1: Implement @Type for Fn and BoundFn 2020-10-01 18:01:38 -06:00
Tadeo Kondrak
97ab720d84
stage1: Add alignment to TypeInfo.Fn 2020-10-01 17:59:42 -06:00
Tadeo Kondrak
70c507911a
Update @Type tests for alignment field in UnionField and StructFIeld 2020-10-01 15:01:27 -06:00
Tadeo Kondrak
c2ee66108c
Add tests for alignment field in UnionField and StructFIeld 2020-10-01 15:01:26 -06:00
LemonBoy
cbbcf60968 stage1: Allow comparison with comptime-known vectors 
Since comptime_{int,float} vectors are not allowed (thanks $DEITY) we
can use the element type infos to determine the minimum operand size.
 2020-09-28 17:16:57 +02:00
LemonBoy
f92d01c8a8 stage1: Fix edge case in casting between optional types 
Closes #6370
 2020-09-18 22:12:22 -04:00
Tadeo Kondrak
2962be8135 stage1: fix @Type(.Union) not resolving its tag type 
Fixes https://github.com/ziglang/zig/issues/6339
 2020-09-16 20:34:01 +03:00
Veikka Tuominen
d073836894
Merge pull request #6172 from tadeokondrak/@Type(.Union) 
Implement @Type for Union
 2020-09-14 16:43:49 +03:00
Vexu
0833c8d06b
translate-c: support sizeof and _Alignof in macros 
Closes  #6301
 2020-09-10 13:04:03 +03:00
Tadeo Kondrak
ff2ed966bb
Implement @Type for Union 
This removes TypeInfo.UnionField.enum_field, which is redundant with
TypeInfo.Union.tag_type.
 2020-09-07 06:23:24 -06:00
Vexu
1df0f3ac24
update uses of deprecated type field access 2020-09-03 18:10:40 +03:00
Tadeo Kondrak
1b2154dfe2 builtin: Add TypeInfo.StructField.is_comptime 2020-09-02 00:17:59 -04:00
Tadeo Kondrak
a2c47d2b0b
Remove @OpaqueType 2020-08-30 19:02:23 -06:00