Commit Graph

  • db561b52ff Degrade emitter size cache to just a flat hashtable with regular flushes (sigh) and re-introduce horrible bounce-off-spill hack for DIV, MUL, etc. Graydon Hoare 2010-08-05 17:44:35 -07:00
  • 9da8101cc8 Something is wrong with the emitter size cache; disable for now, possibly put out flaming tinderboxes. Graydon Hoare 2010-08-05 13:26:28 -07:00
  • 53b01dc006 Add a valgrind suppression for Snow Leopard dyld Patrick Walton 2010-08-05 12:00:34 -07:00
  • 935b4347e2 Mop up workarounds in stdlib no longer required as issue #93 is closed. Graydon Hoare 2010-08-05 10:10:39 -07:00
  • 29987b56e1 Move 'as' precedence up to just above relational; support indexing str and vec by all integral types. Closes #94. Graydon Hoare 2010-08-05 10:04:11 -07:00
  • 718c0b5963 Add to std._io some formatter/type-specific-writer mechanism. Make a few type-specific buffered writers as wrappers of buf_writer. Roy Frostig 2010-08-04 23:09:25 -07:00
  • ce79b0e492 Merge branch 'master' of git://github.com/graydon/rust Tohava 2010-08-05 04:19:46 +03:00
  • 6e98a3b64f Thread argument-types down to internal_check_outer_lval in type.ml, in preparation for trying to infer type params from call args. Graydon Hoare 2010-08-04 17:50:57 -07:00
  • 0f53d03139 Added AST logging, and modified AST for consistent handling of alt stmts. Tohava 2010-08-05 03:44:29 +03:00
  • c17ea956a2 Add per-platform file-open flags to std.os. Open buffers as desired in std._io. Roy Frostig 2010-08-04 17:14:11 -07:00
  • cbe68d4ccb Add a CHECK_XFAILS target that inverts the sense of check: it tries to compile and run the tests marked as XFAILs. Graydon Hoare 2010-08-04 15:29:59 -07:00
  • 815424c2ec Fix pexp parser to do left-associativity, not right. Closes #130. Graydon Hoare 2010-08-04 13:44:09 -07:00
  • 1a8d609e89 Add a buffered writer to stdlib _io module. Roy Frostig 2010-08-04 12:59:48 -07:00
  • b9075c23c0 Address _io.new_buf FIXME now that issue #93 is closed. Roy Frostig 2010-08-04 11:24:09 -07:00
  • ac4c5ae19b Bah. xfail arithmetic-interference for now; linux tinderbox is burning on it and it's late. Graydon Hoare 2010-08-04 00:37:25 -07:00
  • 7595aca5e3 Kill the preallocator, install a sane replacement. Closes #131. And probably a lot of others. Graydon Hoare 2010-08-04 00:27:36 -07:00
  • 22c0776247 Merge branch 'master' of git@github.com:graydon/rust Graydon Hoare 2010-08-03 19:02:09 -07:00
  • d1a67574c6 Factor append_quad out of IL.emit_full, for use elsewhere. Graydon Hoare 2010-08-03 18:59:26 -07:00
  • 299657550e Have hashmap's insert method overwrite on existing-key insertion and return true iff overwrite did not occur. Roy Frostig 2010-08-03 18:57:44 -07:00
  • c014748c01 Remove dead implicit-destinations logic from IL. Graydon Hoare 2010-08-03 18:52:49 -07:00
  • 6277b462e9 More stdlib hashmap work. Add a simple test and XFAIL it due to a valgrind-spotted UMR. Roy Frostig 2010-08-03 18:43:57 -07:00
  • 5b2451c231 Address _vec.map allocation FIXME. Add test. Roy Frostig 2010-08-03 18:18:19 -07:00
  • 5796ebb1e7 Address _vec.grow FIXME, as issue #89 has been closed. Roy Frostig 2010-08-03 18:10:18 -07:00
  • d5fd81174e Pass parametric types by-alias in various stdlib spots. Roy Frostig 2010-08-03 18:06:31 -07:00
  • 085790a73a More stdlib hashmap bits (plus some drive-by extras). Roy Frostig 2010-08-03 17:52:35 -07:00
  • 7b91933eed Avoid mem cmp mem in trans even though it's an X86ism becase we don't always catch it later on. Roy Frostig 2010-08-03 17:42:22 -07:00
  • a1ecdb103d Fix some naughtiness of handling newlines in bracequotes and multi-line comments. Closes #142. Graydon Hoare 2010-08-03 16:28:50 -07:00
  • 1fc4e9fcc6 Add tests and fix pexp bug. Closes #141. Graydon Hoare 2010-08-03 12:20:29 -07:00
  • 559e1e7e01 Use a better heuristic to determine whether we're on a Mac, issue 69 Patrick Walton 2010-08-02 13:26:35 -07:00
  • e85f6ca4d3 Patch up another place where the newly-expanded 'closure-ptr' implicit arg needs to be passed. Amazingly, it mostly-worked without this. On some platforms. Graydon Hoare 2010-07-30 19:14:42 -07:00
  • 1ffcb7d21d Merge branch 'master' of git@github.com:graydon/rust Graydon Hoare 2010-07-29 16:04:38 -07:00
  • e08ed23a80 Make note of new literal forms in docs. Graydon Hoare 2010-07-29 16:04:22 -07:00
  • c7714b86ea XFAIL all task-related tests for now; yesterday's work on notification proxies broke inter-task shutdown. Graydon Hoare 2010-07-29 12:47:37 -07:00
  • 0b9c882d66 Log join-wait count under rust_log::TASK bits, not ::ALL. Graydon Hoare 2010-07-29 10:41:22 -07:00
  • 74a79fff3a Add a bunch of comm tests. Michael Bebenita 2010-07-28 16:58:17 -07:00
  • fa70212c86 Log dead tasks when dom is just waiting for refcounts to drop. Michael Bebenita 2010-07-28 16:57:58 -07:00
  • a5b7a5202c Note that we keep running the main loop until all task refcounts are zero. Michael Bebenita 2010-07-28 16:49:16 -07:00
  • e1264ac59c Add some missing headers to the Makefile's RUNTIME_HDR list. Michael Bebenita 2010-07-28 16:48:34 -07:00
  • 4246d567b7 Move ports out into their own file, add data_message and make communication system use it (and proxies) instead of existing token scheme. Michael Bebenita 2010-07-28 16:46:13 -07:00
  • 4ff8e15128 Move notification-messages out into their own file and unify into notify_message, make them use proxies, cache task proxies in dom. Michael Bebenita 2010-07-28 16:24:50 -07:00
  • defd8a66ea Rename rust_proxy_delegate to maybe_proxy, flesh out logic in it. Add strong-ref distinction on rust_proxy. Michael Bebenita 2010-07-28 15:17:30 -07:00
  • 30b3f8a117 Add rust_dom::log_state, for logging the running/blocked/dead vectors per scheduling iteration. Michael Bebenita 2010-07-28 14:53:08 -07:00
  • 5db5eb0c55 Null rust_task::cond on wakeup, add asserts and logging to block/wakeup. Michael Bebenita 2010-07-28 14:45:44 -07:00
  • e327aa5093 Teach task_owned and dom_owned to find their dom via consistent interface. Michael Bebenita 2010-07-28 00:40:45 -07:00
  • 9fe4b0d404 Add modeline / file-local emacs var blocks. Michael Bebenita 2010-07-28 00:36:35 -07:00
  • 6c0ce25dbf Move rust_cond. Michael Bebenita 2010-07-28 00:34:28 -07:00
  • 06b52b70db Fix typos in comments, delete obsolete comments and dead commented code. Michael Bebenita 2010-07-28 12:36:59 -07:00
  • cc4906ba79 Wrap long lines. Michael Bebenita 2010-07-28 00:11:28 -07:00
  • 436efdcb4f Add C++ wrapper around uthash. Michael Bebenita 2010-07-28 00:06:04 -07:00
  • dbcc9b36b1 Let circular buffers actually grow to max sz, reset _next when resizing. Michael Bebenita 2010-07-28 00:03:47 -07:00
  • c1795a1046 Change unread-on-destroy condition for circular buffer to merely a warning. Michael Bebenita 2010-07-28 00:02:00 -07:00
  • c5e0ea7276 Add comment explaining NULL case in circular_buffer::enqueue and add logging to ::dequeue. Michael Bebenita 2010-07-28 00:01:31 -07:00
  • d6cba83322 Add peek method to circular buffer. Michael Bebenita 2010-07-28 00:01:06 -07:00
  • 17fa6bfd9a Change _unit_sz to unit_sz and make public in circular_buffer. Michael Bebenita 2010-07-27 23:51:04 -07:00
  • 60b0486c11 Make circular buffer use only power-of-two sizes, cheaper arithmetic. Michael Bebenita 2010-07-27 23:38:16 -07:00
  • d786469785 Add a warning interface to rust_srv. Michael Bebenita 2010-07-27 23:13:33 -07:00
  • 6afb6c767e Move allocation-tracking into rust_srv. Michael Bebenita 2010-07-27 23:10:31 -07:00
  • 712249d6b8 Log a separator when logging switches between threads. Michael Bebenita 2010-07-27 23:07:27 -07:00
  • 7ead107290 array_list improvements. Michael Bebenita 2010-07-27 23:05:13 -07:00
  • dfcf21ca82 Another deque test commented out. Roy Frostig 2010-07-28 18:14:33 -07:00
  • 3c22e79b77 Burn the mac and win trees less. Deque test is XFAILed, despite doing fine on Linux. Roy Frostig 2010-07-28 17:50:07 -07:00
  • c489af8e1a Test the deque some more. Roy Frostig 2010-07-28 17:31:41 -07:00
  • 237b9d4a64 Test the deque more and fix uncovered off-by-one bug. Roy Frostig 2010-07-28 16:34:22 -07:00
  • f282c5ccc0 Get slots in trans_tag using Semant tables. Closes #133. Roy Frostig 2010-07-28 15:04:58 -07:00
  • a9ad2e98e3 Refer to issue #136 at the offending source point. Roy Frostig 2010-07-28 14:11:56 -07:00
  • 596d19e2ea Test the deque a bit. Give it a get-by-index method. Fix two uncovered state-calculation bugs --- one decently, the other with an ugly hack. Bug on the latter coming right up. Roy Frostig 2010-07-28 14:00:44 -07:00
  • 8030757624 Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as a cast notation. Closes #129. Graydon Hoare 2010-07-27 19:21:51 -07:00
  • 6662aeb779 Calm some LLVM indigestion of last change. Graydon Hoare 2010-07-27 17:23:41 -07:00
  • 4d31cf1dc5 Distill semantics of use-def maps to fewer and more-obvious words. Graydon Hoare 2010-07-27 11:19:43 -07:00
  • b7d7f70d09 Slight shaving on RA, no more optimizing today. It's fast enough for now. Graydon Hoare 2010-07-26 16:55:11 -07:00
  • 1a61fb8eb7 Adjust testcase to cover issue #91, which was actually fixed back in commit f02f9cbf29. Closes #91. Roy Frostig 2010-07-26 15:52:59 -07:00
  • 3d69407b51 Fix numerous non-linearities and O(sizeof(crate)) issues in typestate system's dataflow algorithm. No longer substantial in profile. Graydon Hoare 2010-07-26 15:44:18 -07:00
  • 4b97b4e79d Move the test suite to the "as" form for casts. XFAIL a few tests for LLVM. Patrick Walton 2010-07-26 15:20:13 -07:00
  • ec5efd2577 Note the typestate dataflow timing. The culprit is revealed. Graydon Hoare 2010-07-26 12:31:43 -07:00
  • c4897f849c Add a cumulative timer count to be sure we're getting everything. Graydon Hoare 2010-07-26 12:31:08 -07:00
  • 1b41d7be1a Change ctxt_crate_main to an Ast.name. Graydon Hoare 2010-07-26 12:30:43 -07:00
  • 025b1e4133 Do some more iflog-guarding. Graydon Hoare 2010-07-26 12:30:02 -07:00
  • 085cd2ee7d vec_alloc takes four arguments these days, not three. Roy Frostig 2010-07-25 22:21:07 -07:00
  • beca62e2e3 Attempt 2. This time actually reading my own diffs before committing. Roy Frostig 2010-07-25 22:07:21 -07:00
  • b9f82d85f9 Attempt number 1 at extinguishing the windows tree remotely (apologies to those hacking on Sunday evening PST). Roy Frostig 2010-07-25 22:05:39 -07:00
  • 5b6e714d05 Expose an RNG (the one used by our runtime) to Rust via std. Roy Frostig 2010-07-25 21:45:09 -07:00
  • 7ef9e82f51 Don't write to NULL after calling C natives returning void. Roy Frostig 2010-07-25 21:27:28 -07:00
  • 3ce18d88c5 Another quick fix from jmuizelaar for that "some ocaml versions dont't notice wrong wildcard count in patterns" bug. Graydon Hoare 2010-07-23 15:38:34 -07:00
  • 44e2dc2789 Improve mutability checking. Closes #118. Graydon Hoare 2010-07-23 15:29:17 -07:00
  • 8bd8413906 Add test for writing-through-uninit bug (reported on IRC by jrmuizel), plus fix in typestate system. Graydon Hoare 2010-07-23 13:52:46 -07:00
  • 62b69503d5 Stop using project_lval_ty_from_slot for lval_ty; cover residual un-caught cases in type.ml. Graydon Hoare 2010-07-23 13:51:56 -07:00
  • ac228a59ce Widen write mutability check to cover all writing stmts. Graydon Hoare 2010-07-23 13:51:17 -07:00
  • fe82978980 Modify testcase to match new syntax and un-XFAIL mutable-vec-drop.rs. Graydon Hoare 2010-07-23 12:32:12 -07:00
  • b5e46ac2a0 Two more testcases for overwriting already-live box-like fields in structures, without leaking. Graydon Hoare 2010-07-23 12:22:31 -07:00
  • 6668595ebf Include all lval-writing statements in stmt_is_init calculation, not just "copy-like". Un-XFAIL generic-tag-alt.rs Graydon Hoare 2010-07-23 12:21:06 -07:00
  • 7d44ee7c3c Add pretty-printing for alt-tag statements. Graydon Hoare 2010-07-23 12:20:20 -07:00
  • 4d4fa99b31 Rename STMT_init_* to STMT_new_*; former name was confusing. Graydon Hoare 2010-07-23 11:37:38 -07:00
  • 1730d2e037 Notify copy glue of dst-initialization and fix _vec.alloc issues in lib and runtime. Closes #109. Roy Frostig 2010-07-22 17:47:32 -07:00
  • ede42cf931 A certain incomplete quantity of wrestling with "INIT" statements that don't actually initialize. Should probably rename them to MAKE. Anyway, WIP, but two steps forward (and one back). More later. Graydon Hoare 2010-07-22 17:05:45 -07:00
  • c6af9dda69 Un-XFAIL stuff that started working when pcwalton's new typechecker landed. Graydon Hoare 2010-07-22 15:40:04 -07:00
  • 7ff2094496 Back out too-platform-fussy bits in preempt-test work. I hate this test. Graydon Hoare 2010-07-22 15:39:41 -07:00
  • 1cb4a57b7b Re-classify some err / bug cases as unimpl. Ideally rustboot should never produce a backtrace. Graydon Hoare 2010-07-22 15:25:29 -07:00
  • 0f220ecae9 Beat up on the preempt test a bit more, as it keeps hanging under valgrind. Graydon Hoare 2010-07-22 15:05:35 -07:00
  • 3708865906 Re-introduce bits of vec-lib test that blocked on now-fixed issue #108. Roy Frostig 2010-07-22 12:49:11 -07:00
  • 1ae13b3fdd Source FIXME annotations for issue #81 and a correction to STMT_bind fmt. Roy Frostig 2010-07-22 12:45:58 -07:00