mirror/zig
1
0
Fork 0
mirror of https://github.com/ziglang/zig.git synced 2025-12-22 14:13:08 +00:00
Code Issues Packages Projects Releases Wiki Activity
2,434 Commits 43 Branches 24 Tags
Commit Graph

518 Commits

Author SHA1 Message Date
Andrea Orru
7ac44037db Compiler error when taking @offsetOf of void struct member 
closes #739
 2018-03-13 21:20:06 -07:00
Andrew Kelley
7f7823e23c fix casting a function to a pointer causing compiler crash 
closes #777
 2018-03-13 19:15:20 -04:00
Andrew Kelley
bcce77700f some return types disqualify comptime fn call caching 
closes #828
 2018-03-12 12:56:25 -04:00
Andrew Kelley
1bf2810f33 fix comptime slicing not preserving comptime mutability 
* fix comptime slice of slice not preserving mutatibility
   of the comptime data
 * fix comptime slice of pointer not preserving mutability
   of the comptime data

closes #826
 2018-03-12 01:21:10 -04:00
Andrew Kelley
49c3922037 fix incorrect setEvalBranchQuota compile error 
closes #688
 2018-03-12 00:08:52 -04:00
Andrew Kelley
84e952c230 fix await multithreaded data race 
coro return was reading from a value that coro await was
writing to. that wasn't how it was designed to work, it
was an implementation mistake.

this commit also has some work-in-progress code for fixing
error return traces across suspend points.
 2018-03-10 01:38:40 -05:00
Andrew Kelley
6db9be8900 don't memoize comptime functions if they can mutate state via parameters 
closes #639
 2018-03-09 14:20:44 -05:00
Andrew Kelley
aaf2230ae8 fix partial inlining of binary math operator using old value 
the code was abusing the internal IR API. fixed now.

closes #699
 2018-03-08 17:15:55 -05:00
Andrew Kelley
790aaeacae add compile error for using @tagName on extern union 
closes #742
 2018-03-07 14:35:48 -05:00
Andrew Kelley
d96dd5bc32 fix missing compile error for returning error from void async function 
closes #799
 2018-03-06 21:44:27 -05:00
Andrew Kelley
6b5cfd9d99 turn assertion into compile error for using var as return type 
closes #758
 2018-03-06 20:41:49 -05:00
Andrew Kelley
eff3530dfa var is no longer a pseudo-type, it is syntax 
closes #779
 2018-03-06 18:31:31 -05:00
Andrew Kelley
44ae891bd7 fix assertion when taking slice of zero-length array 
closes #788
 2018-03-06 17:19:45 -05:00
Andrew Kelley
07e47c058c ptrCast builtin now gives an error for removing const qualifier 
closes #384
 2018-03-06 16:37:03 -05:00
Andrew Kelley
de5c0c9f40 Merge remote-tracking branch 'origin/master' into async 2018-03-01 20:47:35 -05:00
Andrew Kelley
8a0e1d4c02 await keyword works 2018-03-01 15:46:35 -05:00
Andrew Kelley
253d988e7c implementation of await 
but it has bugs
 2018-03-01 03:28:13 -05:00
Andrew Kelley
8429d4ceac implement coroutine resume 2018-02-28 22:18:48 -05:00
Andrew Kelley
c622766156 async function fulfills promise atomically 2018-02-28 21:48:20 -05:00
Andrew Kelley
807a5e94e9 add atomicrmw builtin function 2018-02-28 21:19:51 -05:00
Andrew Kelley
58dc2b719c better coroutine codegen, now passing first coro test 
we have to use the Suspend block with llvm.coro.end to
return from the coro
 2018-02-28 18:22:43 -05:00
Andrew Kelley
ad2a29ccf2 break the data dependencies that llvm coro transforms cant handle 
my simple coro test program builds now

see #727
 2018-02-28 16:47:13 -05:00
Andrew Kelley
026aebf2ea another workaround for llvm coroutines 
this one doesn't work either
 2018-02-28 04:01:22 -05:00
Andrew Kelley
138d6f9093 revert workaround for alloc and free as coro params 
reverts 4ac6c4d6bfb8f7ada2799ddb5ce3a9797be0518d

the workaround didn't work
 2018-02-27 17:46:13 -05:00
Andrew Kelley
4e43bde924 workaround for llvm: delete coroutine allocation elision 
maybe this can be reverted, but it seems to be related
to llvm's coro transformations crashing.

See #727
 2018-02-26 21:31:00 -05:00
Andrew Kelley
4ac6c4d6bf workaround llvm coro transformations 
by making alloc and free functions be parameters to async
functions instead of using getelementptr in the DynAlloc block

See #727
 2018-02-26 21:14:15 -05:00
Ben Noordhuis
9aa65c0e8e allow implicit cast from &const to ?&const &const 
Allow implicit casts from n-th degree const pointers to nullable const
pointers of degree n+1.  That is:

    fn f() void {
        const s = S {};
        const p = &s;
        g(p);   // Works.
        g(&p);  // So does this.
    }

    fn g(_: ?&const &const S) void {  // Nullable 2nd degree const ptr.
    }

Fixes #731 some more.
 2018-02-26 19:56:26 +01:00
Andrew Kelley
3e86fb500d implement coroutine suspend 
see #727
 2018-02-26 02:46:21 -05:00
Andrew Kelley
c60496a297 parse await and suspend syntax 
See #727
 2018-02-26 00:04:11 -05:00
Andrew Kelley
6fef7406c8 move coroutine init code to after coro.begin 2018-02-25 20:29:14 -05:00
Andrew Kelley
6b436146a8 fix invalid memory write in coroutines implementation 2018-02-25 20:28:44 -05:00
Andrew Kelley
fe354ebb5c coroutines: fix llvm error of instruction not dominating uses 
See #727
 2018-02-25 17:57:05 -05:00
Andrew Kelley
83f8906449 codegen for coro_resume instruction 
See #727
 2018-02-25 17:34:05 -05:00
Andrew Kelley
9f6c5a20de codegen for coro_id instruction 
See #727
 2018-02-25 15:10:29 -05:00
Andrew Kelley
05bf666eb6 codegen for calling an async function 
See #727
 2018-02-25 02:47:31 -05:00
Andrew Kelley
40dbcd09da fix type_is_codegen_pointer being used incorrectly 
The names of these functions should probably change, but at least
the semantics are correct now:
 * type_is_codegen_pointer - the type is either a fn, ptr, or promise
 * get_codegen_ptr_type -
   - ?&T and &T returns &T
   - ?promise and promise returns promise
   - ?fn()void and fn()void returns fn()void
   - otherwise returns nullptr
 2018-02-23 12:49:21 -05:00
Ben Noordhuis
f11b948019 allow implicit cast from S to ?&const S 
Allow implicit casts from container types to nullable const pointers to
said container type.  That is:

    fn f() void {
        const s = S {};
        g(s);   // Works.
        g(&s);  // So does this.
    }

    fn g(_: ?&const S) void {  // Nullable const pointer.
    }

Fixes #731.
 2018-02-23 15:55:57 +01:00
Andrew Kelley
99985ad6fc implement Zig IR for async functions 
See #727
 2018-02-23 03:03:06 -05:00
Ben Noordhuis
0845cbe277 name types inside functions after variable 
Before this commit:

    fn f() []const u8 {
        const S = struct {};
        return @typeName(S);  // "f()", unexpected.
    }

And now:

    fn f() []const u8 {
        const S = struct {};
        return @typeName(S);  // "S", expected.
    }

Fixes #675.
 2018-02-22 19:54:02 +01:00
Andrew Kelley
ca1b77b2d5 IR analysis for coro.begin 
See #727
 2018-02-22 11:54:27 -05:00
Andrew Kelley
88e7b9bf80 ir analysis for coro_id and coro_alloc 
See #727
 2018-02-22 09:36:58 -05:00
Andrew Kelley
37c07d4f3f coroutines: analyze get_implicit_allocator instruction 
see #727
 2018-02-22 09:30:55 -05:00
Andrew Kelley
b261da0672 add coroutine startup IR to async functions 
See #727
 2018-02-21 23:28:35 -05:00
Andrew Kelley
236bbe1183 implement IR analysis for async function calls 
See #727
 2018-02-21 00:52:20 -05:00
Andrew Kelley
65a51b401c add promise type 
See #727
 2018-02-20 16:42:14 -05:00
Andrew Kelley
a06f3c74fd parse async fn definitions 
See #727
 2018-02-20 00:31:52 -05:00
Andrew Kelley
3d58d7232a parse async fn calls and cancel expressions 2018-02-20 00:05:38 -05:00
Andrew Kelley
72ca2b214d ability to slice an undefined pointer at compile time if the len is 0 2018-02-16 15:22:29 -05:00
Andrew Kelley
1c1c0691cc fix crash when doing comptime float rem comptime int 
closes #776
 2018-02-14 23:12:51 -05:00
Andrew Kelley
9fa35adbd4 fix sometimes not type checking function parameters 
closes #774

regression introduced in cfb2c676925d77887e46631dcafa783e6c65e61d
 2018-02-14 16:24:43 -05:00