]> git.lizzy.rs Git - rust.git/log
rust.git
12 years agoDistinguish #924
Jesse Ruderman [Tue, 27 Sep 2011 03:44:57 +0000 (20:44 -0700)]
Distinguish #924

12 years agoAdd a cycle-collection fuzzer
Jesse Ruderman [Tue, 27 Sep 2011 03:34:07 +0000 (20:34 -0700)]
Add a cycle-collection fuzzer

12 years agoPrevent copying of uncopyable things via the copy op
Brian Anderson [Tue, 27 Sep 2011 03:03:14 +0000 (20:03 -0700)]
Prevent copying of uncopyable things via the copy op

12 years agoPrevent copying of uncopyable things via compound assignment ops
Brian Anderson [Tue, 27 Sep 2011 02:59:49 +0000 (19:59 -0700)]
Prevent copying of uncopyable things via compound assignment ops

12 years agoDon't allow vectors of pinned kinds to be copied
Brian Anderson [Tue, 27 Sep 2011 02:56:38 +0000 (19:56 -0700)]
Don't allow vectors of pinned kinds to be copied

12 years agoDon't allow copying of unique boxes of pinned kinds
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

12 years agoAdd a test that unique boxes in vectors are copied when the vector is
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

12 years agort: Don't run arbitrary destructors on cycle collection; that's just broken.
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.

12 years agort: Turn on cycle collection at task death; add a test case
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

12 years agort: Make the logic that moves environments between tasks update the GC alloc chain...
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

12 years agostdlib: Fix typos in comments in lib/test.rs
Patrick Walton [Mon, 26 Sep 2011 17:51:23 +0000 (10:51 -0700)]
stdlib: Fix typos in comments in lib/test.rs

12 years agoFix configure script to use valgrind again
Brian Anderson [Mon, 26 Sep 2011 23:17:22 +0000 (16:17 -0700)]
Fix configure script to use valgrind again

12 years agoFix tags of unique boxes
Brian Anderson [Mon, 26 Sep 2011 21:44:08 +0000 (14:44 -0700)]
Fix tags of unique boxes

Issue #409

12 years agoUnique vectors and boxes of pinned are unique kinds. Closes #977
Brian Anderson [Mon, 26 Sep 2011 20:38:12 +0000 (13:38 -0700)]
Unique vectors and boxes of pinned are unique kinds. Closes #977

12 years agoConstruct records and tuples in-place
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.

12 years agoConvert more expression types to use DPS
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

12 years agoAdd a workaround hack for issue #913
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.

12 years agotest: Fix more typos in weird-exprs.rs.
Patrick Walton [Mon, 26 Sep 2011 17:26:30 +0000 (10:26 -0700)]
test: Fix more typos in weird-exprs.rs.

12 years agotest: wierd-exprs -> weird-exprs
Patrick Walton [Mon, 26 Sep 2011 17:24:46 +0000 (10:24 -0700)]
test: wierd-exprs -> weird-exprs

12 years agort: Remove obsolete comment
Patrick Walton [Mon, 26 Sep 2011 17:22:57 +0000 (10:22 -0700)]
rt: Remove obsolete comment

12 years agoMerge pull request #978 from erikrose/doc-tweaks
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.

12 years agoFix 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.

12 years agoRefine notes in kind.rs some more. Add a fixme to ty.rs.
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

12 years agoEnable hammertime
Jesse Ruderman [Mon, 26 Sep 2011 04:13:52 +0000 (21:13 -0700)]
Enable hammertime

12 years agoTest for #973
Jesse Ruderman [Mon, 26 Sep 2011 04:01:50 +0000 (21:01 -0700)]
Test for #973

12 years agoTest for #942
Jesse Ruderman [Mon, 26 Sep 2011 03:57:44 +0000 (20:57 -0700)]
Test for #942

12 years agoRemove FIXME test that's covered by run-pass/unreachable-code.rs
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

12 years agoMake return-by-ref function headers pretty-print safely
Marijn Haverbeke [Mon, 26 Sep 2011 02:11:35 +0000 (04:11 +0200)]
Make return-by-ref function headers pretty-print safely

Closes #972

12 years agoDon't call trans_bind_thunk in an unreachable context
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

12 years agoMake 'fail fail;' compile.
Marijn Haverbeke [Mon, 26 Sep 2011 01:57:08 +0000 (03:57 +0200)]
Make 'fail fail;' compile.

Closes #972

12 years agoFix bug in mutability-checking pass
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.

12 years agoFuzzer: stop ignoring fixed bugs
Jesse Ruderman [Sun, 25 Sep 2011 19:24:42 +0000 (12:24 -0700)]
Fuzzer: stop ignoring fixed bugs

12 years agoHandle ~fail. Closes #968
Brian Anderson [Sun, 25 Sep 2011 06:46:28 +0000 (23:46 -0700)]
Handle ~fail. Closes #968

12 years agoAdd a test for assignment of unique boxes of generics
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

12 years agoSupport non-immediates in trans_uniq::copy_val
Brian Anderson [Sun, 25 Sep 2011 04:20:36 +0000 (21:20 -0700)]
Support non-immediates in trans_uniq::copy_val

Issue #409

12 years agoFuzzer: ignore more bugs
Jesse Ruderman [Sun, 25 Sep 2011 04:01:39 +0000 (21:01 -0700)]
Fuzzer: ignore more bugs

12 years agoSmall refactors.
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.

12 years agoReduce and clarify abuse of 'pure' in interner
Jesse Ruderman [Sat, 24 Sep 2011 23:33:26 +0000 (16:33 -0700)]
Reduce and clarify abuse of 'pure' in interner

12 years agoDon't iloop (future-proof test against improved reachability computations)
Jesse Ruderman [Sat, 24 Sep 2011 23:13:32 +0000 (16:13 -0700)]
Don't iloop (future-proof test against improved reachability computations)

12 years agoRemove irrelevant parts of test
Jesse Ruderman [Sat, 24 Sep 2011 23:11:50 +0000 (16:11 -0700)]
Remove irrelevant parts of test

12 years agoMark some fns as pure so type_is_unique_box doesn't need to be unchecked
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

12 years agoMark vec::len as pure
Jesse Ruderman [Sat, 24 Sep 2011 22:10:03 +0000 (15:10 -0700)]
Mark vec::len as pure

12 years agoTweak random thing to make windows build succeed. Awesome.
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*

12 years agoMove a previous run-pass test for kind-lowered unique boxes to compile-fail
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

12 years agoTweak the type allocated for unique pointers
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

12 years agoSupport non-immediates in unique-box type glue
Brian Anderson [Sat, 24 Sep 2011 06:00:46 +0000 (23:00 -0700)]
Support non-immediates in unique-box type glue

Issue #409

12 years agoVectors containing pinned kinds become pinned
Brian Anderson [Sat, 24 Sep 2011 01:50:00 +0000 (18:50 -0700)]
Vectors containing pinned kinds become pinned

Otherwise they could be copied

12 years agoUnique pointers containing pinned kinds become pinned
Brian Anderson [Sat, 24 Sep 2011 01:13:49 +0000 (18:13 -0700)]
Unique pointers containing pinned kinds become pinned

Issue #409

12 years agoAdd tests for swapping unique boxes
Brian Anderson [Sat, 24 Sep 2011 00:14:41 +0000 (17:14 -0700)]
Add tests for swapping unique boxes

Issue #409

12 years agoAdd rand_util.rs
Jesse Ruderman [Sat, 24 Sep 2011 06:24:43 +0000 (23:24 -0700)]
Add rand_util.rs

12 years agoFuzzer: use different exclusions when testing pretty-printer than when testing compiler
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

12 years agoAdd vec::filter
Jesse Ruderman [Sat, 24 Sep 2011 02:10:48 +0000 (19:10 -0700)]
Add vec::filter

12 years agort: Sweep in cycle collection
Patrick Walton [Sat, 24 Sep 2011 00:56:55 +0000 (17:56 -0700)]
rt: Sweep in cycle collection

12 years agort: Whitespace police
Patrick Walton [Sat, 24 Sep 2011 00:14:49 +0000 (17:14 -0700)]
rt: Whitespace police

12 years agort: Turn off some debug code
Patrick Walton [Sat, 24 Sep 2011 00:08:50 +0000 (17:08 -0700)]
rt: Turn off some debug code

12 years agort: Get rid of the hack that looks for captured type descriptors adjacent to the...
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

12 years agoAdd libuv upgrade instructions to src/etc/gyp-uv
Erick Tryzelaar [Fri, 23 Sep 2011 23:47:04 +0000 (16:47 -0700)]
Add libuv upgrade instructions to src/etc/gyp-uv

12 years agoUpdate to libuv commit 3ca382.
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

12 years agoAdd let destructuring for unique boxes
Brian Anderson [Fri, 23 Sep 2011 23:08:30 +0000 (16:08 -0700)]
Add let destructuring for unique boxes

Issue #409

12 years agoAdd missing case for pat_uniq to syntax::visit
Brian Anderson [Fri, 23 Sep 2011 22:58:57 +0000 (15:58 -0700)]
Add missing case for pat_uniq to syntax::visit

Issue #409

12 years agoAdd two tests for sending unique boxes across channels
Brian Anderson [Fri, 23 Sep 2011 22:32:31 +0000 (15:32 -0700)]
Add two tests for sending unique boxes across channels

Issue #409

12 years agoActually use unique boxes in run-fail/unwind-unique
Brian Anderson [Fri, 23 Sep 2011 22:23:44 +0000 (15:23 -0700)]
Actually use unique boxes in run-fail/unwind-unique

12 years agoCreate a bunch of test cases for unique boxes by copying box tests
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

12 years agoBegin to support pattern matching on unique boxes
Brian Anderson [Fri, 23 Sep 2011 18:15:17 +0000 (11:15 -0700)]
Begin to support pattern matching on unique boxes

Issue #409

12 years agort: Add missing <stdint.h> in rust_abi.h
Patrick Walton [Fri, 23 Sep 2011 22:14:44 +0000 (15:14 -0700)]
rt: Add missing <stdint.h> in rust_abi.h

12 years agort: Add missing const on the Windows path
Patrick Walton [Fri, 23 Sep 2011 22:08:37 +0000 (15:08 -0700)]
rt: Add missing const on the Windows path

12 years agort: Get RUST_TRACK_ORIGINS working. You can now call 'debug::dump_origin' in gdb...
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.

12 years agoAdd more unreachable-code tests. Closes #935
Jesse Ruderman [Fri, 23 Sep 2011 22:01:19 +0000 (15:01 -0700)]
Add more unreachable-code tests. Closes #935

12 years agoProperly mark unreachable alt bodies as unreachable
Marijn Haverbeke [Fri, 23 Sep 2011 21:37:15 +0000 (23:37 +0200)]
Properly mark unreachable alt bodies as unreachable

12 years agoMake AddIncomingToPhi take single values rather than arrays
Marijn Haverbeke [Fri, 23 Sep 2011 21:20:19 +0000 (23:20 +0200)]
Make AddIncomingToPhi take single values rather than arrays

12 years agoStart on a piecemeal conversion to DPS
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).

12 years agoDon't return unused values from zero_alloca and trans_stmt
Marijn Haverbeke [Fri, 23 Sep 2011 19:13:38 +0000 (21:13 +0200)]
Don't return unused values from zero_alloca and trans_stmt

12 years agoFix bug where the type of a function's top-level block wasn't fixed up
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

12 years agort: Factor out stack walking into rust_abi.cpp
Patrick Walton [Fri, 23 Sep 2011 19:48:55 +0000 (12:48 -0700)]
rt: Factor out stack walking into rust_abi.cpp

12 years agoxfail-win32 linked-failure and send-iloop
Brian Anderson [Fri, 23 Sep 2011 19:30:16 +0000 (12:30 -0700)]
xfail-win32 linked-failure and send-iloop

12 years agoDon't pipe check-fast results through tee
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).

12 years agort: Fix message formatting issues in rust_debug
Patrick Walton [Fri, 23 Sep 2011 19:27:13 +0000 (12:27 -0700)]
rt: Fix message formatting issues in rust_debug

12 years agort: ifdef out backtrace() on Windows
Patrick Walton [Fri, 23 Sep 2011 19:26:41 +0000 (12:26 -0700)]
rt: ifdef out backtrace() on Windows

12 years agort: Fix build bustage due to gcc's format string warnings
Patrick Walton [Fri, 23 Sep 2011 19:09:52 +0000 (12:09 -0700)]
rt: Fix build bustage due to gcc's format string warnings

12 years agort: Add a RUST_TRACK_ORIGINS debug flag to help track down memory corruption
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

12 years agort: Factor out the logic that handles the various magic debug environment variables
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

12 years agort: Remove the problematic min()/max()/align()/abs() macros from isaac/standard.h...
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

12 years agoMore steps to arch-specific target libs (#474)
Graydon Hoare [Fri, 23 Sep 2011 17:50:06 +0000 (10:50 -0700)]
More steps to arch-specific target libs (#474)

12 years agoxfail-pretty unreachable-code.rs
Marijn Haverbeke [Fri, 23 Sep 2011 09:33:11 +0000 (11:33 +0200)]
xfail-pretty unreachable-code.rs

12 years agoProperly check types of do-while condition expr
Marijn Haverbeke [Fri, 23 Sep 2011 09:19:15 +0000 (11:19 +0200)]
Properly check types of do-while condition expr

Closes #956

12 years agoMake sure no dynamic allocas are used before they are allocated
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

12 years agoUse a slightly nicer hack to get zero-length strings in trans_build
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).

12 years agoBetter handling of unreachable code in trans
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.

12 years agoRemove backward-compatible support for 'mutable' before type.
Marijn Haverbeke [Fri, 23 Sep 2011 07:56:08 +0000 (09:56 +0200)]
Remove backward-compatible support for 'mutable' before type.

Closes #966

12 years agoRemove deprecated mutable type constructor from run-pass/issue-511
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

12 years agoAdd test for issue #511. Closes #511
Brian Anderson [Fri, 23 Sep 2011 05:50:12 +0000 (22:50 -0700)]
Add test for issue #511. Closes #511

12 years agoRemove is_stateful flag from tydesc. Closes #136
Brian Anderson [Fri, 23 Sep 2011 05:15:25 +0000 (22:15 -0700)]
Remove is_stateful flag from tydesc. Closes #136

12 years agoAdd a test for negative constants. Closes #358
Brian Anderson [Fri, 23 Sep 2011 04:59:09 +0000 (21:59 -0700)]
Add a test for negative constants. Closes #358

12 years agoFix ty_uniq case in maybe_auto_unbox
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

12 years agoAdd take glue for unique boxes
Brian Anderson [Fri, 23 Sep 2011 01:05:36 +0000 (18:05 -0700)]
Add take glue for unique boxes

Closes #962
Issue #409

12 years agoRemove nonsensical load and store from trans_uniq::copy_val
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

12 years agoAdda test for returning unique boxes
Brian Anderson [Thu, 22 Sep 2011 23:30:16 +0000 (16:30 -0700)]
Adda test for returning unique boxes

Issue #409

12 years agoAllow vectors to contain unique boxes. Closes #952
Brian Anderson [Thu, 22 Sep 2011 23:20:36 +0000 (16:20 -0700)]
Allow vectors to contain unique boxes. Closes #952

Issue #409

12 years agorustc: Write raw type parameters instead of linearized type parameters in object...
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

12 years agoXFAIL task-comm
Brian Anderson [Thu, 22 Sep 2011 23:09:10 +0000 (16:09 -0700)]
XFAIL task-comm