]>
git.lizzy.rs Git - rust.git/log
Jesse Ruderman [Tue, 27 Sep 2011 03:44:57 +0000 (20:44 -0700)]
Distinguish #924
Jesse Ruderman [Tue, 27 Sep 2011 03:34:07 +0000 (20:34 -0700)]
Add a cycle-collection fuzzer
Brian Anderson [Tue, 27 Sep 2011 03:03:14 +0000 (20:03 -0700)]
Prevent copying of uncopyable things via the copy op
Brian Anderson [Tue, 27 Sep 2011 02:59:49 +0000 (19:59 -0700)]
Prevent copying of uncopyable things via compound assignment ops
Brian Anderson [Tue, 27 Sep 2011 02:56:38 +0000 (19:56 -0700)]
Don't allow vectors of pinned kinds to be copied
Brian Anderson [Tue, 27 Sep 2011 01:43:49 +0000 (18:43 -0700)]
Don't allow copying of unique boxes of pinned kinds
Issue #409
Brian Anderson [Tue, 27 Sep 2011 00:16:34 +0000 (17:16 -0700)]
Add a test that unique boxes in vectors are copied when the vector is
Issue #409
Patrick Walton [Tue, 27 Sep 2011 00:41:22 +0000 (17:41 -0700)]
rt: Don't run arbitrary destructors on cycle collection; that's just broken.
Patrick Walton [Sat, 24 Sep 2011 01:30:22 +0000 (18:30 -0700)]
rt: Turn on cycle collection at task death; add a test case
Patrick Walton [Mon, 26 Sep 2011 22:06:26 +0000 (15:06 -0700)]
rt: Make the logic that moves environments between tasks update the GC alloc chain correctly
Patrick Walton [Mon, 26 Sep 2011 17:51:23 +0000 (10:51 -0700)]
stdlib: Fix typos in comments in lib/test.rs
Brian Anderson [Mon, 26 Sep 2011 23:17:22 +0000 (16:17 -0700)]
Fix configure script to use valgrind again
Brian Anderson [Mon, 26 Sep 2011 21:44:08 +0000 (14:44 -0700)]
Fix tags of unique boxes
Issue #409
Brian Anderson [Mon, 26 Sep 2011 20:38:12 +0000 (13:38 -0700)]
Unique vectors and boxes of pinned are unique kinds. Closes #977
Marijn Haverbeke [Mon, 26 Sep 2011 20:13:08 +0000 (22:13 +0200)]
Construct records and tuples in-place
Issue #667
Now, {a: {b: 10, c: 20}, d: @30} will simply write the values in the right
places, rather than creating intermediary records and then memmoving them.
Cuts about a megabyte off the unoptimized compiler size.
Marijn Haverbeke [Mon, 26 Sep 2011 11:21:47 +0000 (13:21 +0200)]
Convert more expression types to use DPS
expr_rec, expr_tup, most of the exprs that don't return anything. Make
trans_ret almost trivial by using destination adaptors (trans_save_in,
trans_by_ref).
Issue #667
Marijn Haverbeke [Mon, 26 Sep 2011 12:01:41 +0000 (14:01 +0200)]
Add a workaround hack for issue #913
I can't figure out what the real cause of this bug is, but I want
to be able to use blocks inside loops again.
Patrick Walton [Mon, 26 Sep 2011 17:26:30 +0000 (10:26 -0700)]
test: Fix more typos in weird-exprs.rs.
Patrick Walton [Mon, 26 Sep 2011 17:24:46 +0000 (10:24 -0700)]
test: wierd-exprs -> weird-exprs
Patrick Walton [Mon, 26 Sep 2011 17:22:57 +0000 (10:22 -0700)]
rt: Remove obsolete comment
Andreas Gal [Mon, 26 Sep 2011 05:34:10 +0000 (22:34 -0700)]
Merge pull request #978 from erikrose/doc-tweaks
Fix some typos and grammar in the docs.
Erik Rose [Mon, 26 Sep 2011 05:15:44 +0000 (22:15 -0700)]
Fix some typos and grammar in the docs.
Graydon Hoare [Sun, 25 Sep 2011 19:42:39 +0000 (12:42 -0700)]
Refine notes in kind.rs some more. Add a fixme to ty.rs.
Kinds are still pretty wobbly. See thread starting at
https://mail.mozilla.org/pipermail/rust-dev/2011-September/000807.html
Jesse Ruderman [Mon, 26 Sep 2011 04:13:52 +0000 (21:13 -0700)]
Enable hammertime
Jesse Ruderman [Mon, 26 Sep 2011 04:01:50 +0000 (21:01 -0700)]
Test for #973
Jesse Ruderman [Mon, 26 Sep 2011 03:57:44 +0000 (20:57 -0700)]
Test for #942
Jesse Ruderman [Mon, 26 Sep 2011 03:56:19 +0000 (20:56 -0700)]
Remove FIXME test that's covered by run-pass/unreachable-code.rs
Marijn Haverbeke [Mon, 26 Sep 2011 02:11:35 +0000 (04:11 +0200)]
Make return-by-ref function headers pretty-print safely
Closes #972
Marijn Haverbeke [Mon, 26 Sep 2011 02:08:45 +0000 (04:08 +0200)]
Don't call trans_bind_thunk in an unreachable context
Closes #973
Marijn Haverbeke [Mon, 26 Sep 2011 01:57:08 +0000 (03:57 +0200)]
Make 'fail fail;' compile.
Closes #972
Marijn Haverbeke [Mon, 26 Sep 2011 01:56:39 +0000 (03:56 +0200)]
Fix bug in mutability-checking pass
It wasn't properly handling function arguments.
Jesse Ruderman [Sun, 25 Sep 2011 19:24:42 +0000 (12:24 -0700)]
Fuzzer: stop ignoring fixed bugs
Brian Anderson [Sun, 25 Sep 2011 06:46:28 +0000 (23:46 -0700)]
Handle ~fail. Closes #968
Brian Anderson [Sun, 25 Sep 2011 04:31:28 +0000 (21:31 -0700)]
Add a test for assignment of unique boxes of generics
Closes #976
Issue #409
Brian Anderson [Sun, 25 Sep 2011 04:20:36 +0000 (21:20 -0700)]
Support non-immediates in trans_uniq::copy_val
Issue #409
Jesse Ruderman [Sun, 25 Sep 2011 04:01:39 +0000 (21:01 -0700)]
Fuzzer: ignore more bugs
Lindsey Kuper [Sun, 25 Sep 2011 02:47:20 +0000 (22:47 -0400)]
Small refactors.
Factor out some shared code from the start of process_fwding_mthd and
process_bkwding_mthd; get rid of unneeded temp variable.
Jesse Ruderman [Sat, 24 Sep 2011 23:33:26 +0000 (16:33 -0700)]
Reduce and clarify abuse of 'pure' in interner
Jesse Ruderman [Sat, 24 Sep 2011 23:13:32 +0000 (16:13 -0700)]
Don't iloop (future-proof test against improved reachability computations)
Jesse Ruderman [Sat, 24 Sep 2011 23:11:50 +0000 (16:11 -0700)]
Remove irrelevant parts of test
Jesse Ruderman [Sat, 24 Sep 2011 22:36:09 +0000 (15:36 -0700)]
Mark some fns as pure so type_is_unique_box doesn't need to be unchecked
Jesse Ruderman [Sat, 24 Sep 2011 22:10:03 +0000 (15:10 -0700)]
Mark vec::len as pure
Brian Anderson [Sat, 24 Sep 2011 21:44:42 +0000 (14:44 -0700)]
Tweak random thing to make windows build succeed. Awesome.
So, a recent commit made syntax-extension-fmt fail under check-fast.
This commit disables lots-a-fail under check-fast and voila! *grumble*
Brian Anderson [Sat, 24 Sep 2011 09:01:13 +0000 (02:01 -0700)]
Move a previous run-pass test for kind-lowered unique boxes to compile-fail
This test tries to swap unique boxes containing resources, which is not
allowed.
Issue #409
Brian Anderson [Sat, 24 Sep 2011 08:52:45 +0000 (01:52 -0700)]
Tweak the type allocated for unique pointers
Seems to be more correctish...
Issue #409
Brian Anderson [Sat, 24 Sep 2011 06:00:46 +0000 (23:00 -0700)]
Support non-immediates in unique-box type glue
Issue #409
Brian Anderson [Sat, 24 Sep 2011 01:50:00 +0000 (18:50 -0700)]
Vectors containing pinned kinds become pinned
Otherwise they could be copied
Brian Anderson [Sat, 24 Sep 2011 01:13:49 +0000 (18:13 -0700)]
Unique pointers containing pinned kinds become pinned
Issue #409
Brian Anderson [Sat, 24 Sep 2011 00:14:41 +0000 (17:14 -0700)]
Add tests for swapping unique boxes
Issue #409
Jesse Ruderman [Sat, 24 Sep 2011 06:24:43 +0000 (23:24 -0700)]
Add rand_util.rs
Jesse Ruderman [Sat, 24 Sep 2011 06:23:04 +0000 (23:23 -0700)]
Fuzzer: use different exclusions when testing pretty-printer than when testing compiler
Jesse Ruderman [Sat, 24 Sep 2011 02:10:48 +0000 (19:10 -0700)]
Add vec::filter
Patrick Walton [Sat, 24 Sep 2011 00:56:55 +0000 (17:56 -0700)]
rt: Sweep in cycle collection
Patrick Walton [Sat, 24 Sep 2011 00:14:49 +0000 (17:14 -0700)]
rt: Whitespace police
Patrick Walton [Sat, 24 Sep 2011 00:08:50 +0000 (17:08 -0700)]
rt: Turn off some debug code
Patrick Walton [Fri, 23 Sep 2011 23:51:50 +0000 (16:51 -0700)]
rt: Get rid of the hack that looks for captured type descriptors adjacent to the root one for functions and objects
Erick Tryzelaar [Fri, 23 Sep 2011 23:47:04 +0000 (16:47 -0700)]
Add libuv upgrade instructions to src/etc/gyp-uv
Erick Tryzelaar [Fri, 23 Sep 2011 23:13:14 +0000 (16:13 -0700)]
Update to libuv commit 3ca382.
This patch changes libuv's gyp build system to
make it's own makefiles. To generate them for rust,
run these commands. They requires python 2.x to
work:
$ mkdir -p src/rt/libuv/build
$ svn co http://gyp.googlecode.com/svn src/rt/libuv/build/gyp
$ ./etc/src/gyp_uv
Brian Anderson [Fri, 23 Sep 2011 23:08:30 +0000 (16:08 -0700)]
Add let destructuring for unique boxes
Issue #409
Brian Anderson [Fri, 23 Sep 2011 22:58:57 +0000 (15:58 -0700)]
Add missing case for pat_uniq to syntax::visit
Issue #409
Brian Anderson [Fri, 23 Sep 2011 22:32:31 +0000 (15:32 -0700)]
Add two tests for sending unique boxes across channels
Issue #409
Brian Anderson [Fri, 23 Sep 2011 22:23:44 +0000 (15:23 -0700)]
Actually use unique boxes in run-fail/unwind-unique
Brian Anderson [Fri, 23 Sep 2011 21:58:06 +0000 (14:58 -0700)]
Create a bunch of test cases for unique boxes by copying box tests
XFAIL the ones that don't work
Issue #409
Brian Anderson [Fri, 23 Sep 2011 18:15:17 +0000 (11:15 -0700)]
Begin to support pattern matching on unique boxes
Issue #409
Patrick Walton [Fri, 23 Sep 2011 22:14:44 +0000 (15:14 -0700)]
rt: Add missing <stdint.h> in rust_abi.h
Patrick Walton [Fri, 23 Sep 2011 22:08:37 +0000 (15:08 -0700)]
rt: Add missing const on the Windows path
Patrick Walton [Fri, 23 Sep 2011 22:05:24 +0000 (15:05 -0700)]
rt: Get RUST_TRACK_ORIGINS working. You can now call 'debug::dump_origin' in gdb and get a backtrace saying where a box came from.
Jesse Ruderman [Fri, 23 Sep 2011 22:01:19 +0000 (15:01 -0700)]
Add more unreachable-code tests. Closes #935
Marijn Haverbeke [Fri, 23 Sep 2011 21:37:15 +0000 (23:37 +0200)]
Properly mark unreachable alt bodies as unreachable
Marijn Haverbeke [Fri, 23 Sep 2011 21:20:19 +0000 (23:20 +0200)]
Make AddIncomingToPhi take single values rather than arrays
Marijn Haverbeke [Fri, 23 Sep 2011 19:13:50 +0000 (21:13 +0200)]
Start on a piecemeal conversion to DPS
Issue #667
Wires in a basic framework for destination-passing style, with
backwards-compatibility to the old approach, so that expression types
can be moved over to it one at a time (by moving them from trans_expr
to trans_expr_dps).
Marijn Haverbeke [Fri, 23 Sep 2011 19:13:38 +0000 (21:13 +0200)]
Don't return unused values from zero_alloca and trans_stmt
Marijn Haverbeke [Fri, 23 Sep 2011 16:54:05 +0000 (18:54 +0200)]
Fix bug where the type of a function's top-level block wasn't fixed up
Patrick Walton [Fri, 23 Sep 2011 19:48:55 +0000 (12:48 -0700)]
rt: Factor out stack walking into rust_abi.cpp
Brian Anderson [Fri, 23 Sep 2011 19:30:16 +0000 (12:30 -0700)]
xfail-win32 linked-failure and send-iloop
Brian Anderson [Fri, 23 Sep 2011 19:17:20 +0000 (12:17 -0700)]
Don't pipe check-fast results through tee
This was having the effect of scrubbing failure error codes. The only affect
of removing this should be that the .out file isn't generated, so subsequent
make invocations will re-run the tests (which is how our other tests work
anyway).
Patrick Walton [Fri, 23 Sep 2011 19:27:13 +0000 (12:27 -0700)]
rt: Fix message formatting issues in rust_debug
Patrick Walton [Fri, 23 Sep 2011 19:26:41 +0000 (12:26 -0700)]
rt: ifdef out backtrace() on Windows
Patrick Walton [Fri, 23 Sep 2011 19:09:52 +0000 (12:09 -0700)]
rt: Fix build bustage due to gcc's format string warnings
Patrick Walton [Fri, 23 Sep 2011 18:42:20 +0000 (11:42 -0700)]
rt: Add a RUST_TRACK_ORIGINS debug flag to help track down memory corruption
Patrick Walton [Fri, 23 Sep 2011 18:02:04 +0000 (11:02 -0700)]
rt: Factor out the logic that handles the various magic debug environment variables
Patrick Walton [Fri, 23 Sep 2011 18:02:58 +0000 (11:02 -0700)]
rt: Remove the problematic min()/max()/align()/abs() macros from isaac/standard.h, as they're unused
Graydon Hoare [Fri, 23 Sep 2011 17:50:06 +0000 (10:50 -0700)]
More steps to arch-specific target libs (#474)
Marijn Haverbeke [Fri, 23 Sep 2011 09:33:11 +0000 (11:33 +0200)]
xfail-pretty unreachable-code.rs
Marijn Haverbeke [Fri, 23 Sep 2011 09:19:15 +0000 (11:19 +0200)]
Properly check types of do-while condition expr
Closes #956
Marijn Haverbeke [Fri, 23 Sep 2011 09:01:09 +0000 (11:01 +0200)]
Make sure no dynamic allocas are used before they are allocated
Closes #965
Marijn Haverbeke [Wed, 21 Sep 2011 15:46:11 +0000 (17:46 +0200)]
Use a slightly nicer hack to get zero-length strings in trans_build
Wrapping calls in str::by_ref(, ...) heap-allocated an empty string
every time (and looked really bad).
Marijn Haverbeke [Wed, 21 Sep 2011 10:40:27 +0000 (12:40 +0200)]
Better handling of unreachable code in trans
The builder functions in trans_build now look at an 'unreachable' flag
in the block context and don't generate code (returning undefined
placeholder values) when this flag is set. Threading the unreachable
flag through context still requires some care, but this seems a more
sane approach than re-checking for terminated blocks throughout the
compiler.
When creating a block, if you use its closest dominator as parent, the
flag will be automatically passed through. If you can't do that,
because the dominator is a scope block that you're trying to get out
of, you'll have to do something like this to explicitly pass on the
flag:
if bcx.unreachable { Unreachable(next_cx); }
Closes #949. Closes #946. Closes #942. Closes #895. Closes #894.
Closes #892. Closes #957. Closes #958.
Marijn Haverbeke [Fri, 23 Sep 2011 07:56:08 +0000 (09:56 +0200)]
Remove backward-compatible support for 'mutable' before type.
Closes #966
Brian Anderson [Fri, 23 Sep 2011 06:08:59 +0000 (23:08 -0700)]
Remove deprecated mutable type constructor from run-pass/issue-511
This was triggering a warning that was making the pretty-print test fail
Brian Anderson [Fri, 23 Sep 2011 05:50:12 +0000 (22:50 -0700)]
Add test for issue #511. Closes #511
Brian Anderson [Fri, 23 Sep 2011 05:15:25 +0000 (22:15 -0700)]
Remove is_stateful flag from tydesc. Closes #136
Brian Anderson [Fri, 23 Sep 2011 04:59:09 +0000 (21:59 -0700)]
Add a test for negative constants. Closes #358
Brian Anderson [Fri, 23 Sep 2011 01:14:18 +0000 (18:14 -0700)]
Fix ty_uniq case in maybe_auto_unbox
Closes #961
Issue #409
Brian Anderson [Fri, 23 Sep 2011 01:05:36 +0000 (18:05 -0700)]
Add take glue for unique boxes
Closes #962
Issue #409
Brian Anderson [Fri, 23 Sep 2011 00:50:27 +0000 (17:50 -0700)]
Remove nonsensical load and store from trans_uniq::copy_val
Issue #409
Brian Anderson [Thu, 22 Sep 2011 23:30:16 +0000 (16:30 -0700)]
Adda test for returning unique boxes
Issue #409
Brian Anderson [Thu, 22 Sep 2011 23:20:36 +0000 (16:20 -0700)]
Allow vectors to contain unique boxes. Closes #952
Issue #409
Patrick Walton [Thu, 22 Sep 2011 23:10:48 +0000 (16:10 -0700)]
rustc: Write raw type parameters instead of linearized type parameters in object body shapes
Brian Anderson [Thu, 22 Sep 2011 23:09:10 +0000 (16:09 -0700)]
XFAIL task-comm