summaryrefslogtreecommitdiff
path: root/usr/austin
AgeCommit message (Collapse)AuthorFilesLines
2009-08-21Make stop causes pointers so users outside the package canAustin Clements2-11/+18
type switch on them despite their private fields. Add some tracing stuff. R=rsc APPROVED=rsc DELTA=18 (7 added, 0 deleted, 11 changed) OCL=33678 CL=33683
2009-08-19ELF reader and Go symbol table and PC/line table decoder.Austin Clements5-0/+1445
R=rsc APPROVED=rsc DELTA=1425 (1425 added, 0 deleted, 0 changed) OCL=33432 CL=33517
2009-08-17Implement slice typesAustin Clements5-65/+240
R=rsc APPROVED=rsc DELTA=286 (217 added, 42 deleted, 27 changed) OCL=33319 CL=33383
2009-08-12Convert interpreter to whole-package compilation.Austin Clements11-224/+127
R=rsc APPROVED=rsc DELTA=334 (110 added, 211 deleted, 13 changed) OCL=33135 CL=33137
2009-08-12Convert ptrace to whole-package compilation.Austin Clements3-6/+13
R=rsc APPROVED=rsc DELTA=15 (9 added, 6 deleted, 0 changed) OCL=33136 CL=33136
2009-08-10Implement switch statement. Can now extract effects fromAustin Clements2-35/+222
non-addressable expressions. R=rsc APPROVED=rsc DELTA=241 (202 added, 15 deleted, 24 changed) OCL=32790 CL=32995
2009-08-06Make ptrace_linux compile with recent changes to switch typeAustin Clements1-11/+11
checking. R=rsc APPROVED=rsc DELTA=11 (0 added, 0 deleted, 11 changed) OCL=32839 CL=32841
2009-08-05Implement struct types, selector expressions, and typeAustin Clements8-59/+557
declarations. R=rsc APPROVED=rsc DELTA=587 (519 added, 21 deleted, 47 changed) OCL=32754 CL=32788
2009-07-31Implement type compatibility and fix places where I thoughtAustin Clements4-142/+164
types were supposed to be identical but only needed to be compatible. This gets rid of the Type.literal method. I renamed the Type.rep method to Type.lit because I believe it corresponds to the term "literal" as used in the spec. R=rsc APPROVED=rsc DELTA=228 (57 added, 35 deleted, 136 changed) OCL=32606 CL=32608
2009-07-31Implement var declarations. Variables, constants, and types now carryAustin Clements5-71/+184
the position where they were defined so I can produce good error messages on redefinitions. R=rsc APPROVED=rsc DELTA=204 (126 added, 13 deleted, 65 changed) OCL=32599 CL=32605
2009-07-30Implement labels, goto, labeled break, and labeled continue.Austin Clements5-74/+380
Return checking is now done as a general flow check at the end of function compilation, since break and goto complicated the way I was doing return checking before. Goto-over-declaration checking is also done as a final flow check. Temporary variables used for effect extraction are now actually temporary. Otherwise "op=", "++", and "--" appear as declarations that cannot be jumped over. R=rsc APPROVED=rsc DELTA=421 (344 added, 38 deleted, 39 changed) OCL=32527 CL=32535
2009-07-29Flatten the Frame tree. Now each function call produces aAustin Clements8-206/+218
single frame and non-overlapping variables reuse frame slots. As a result, entering and exiting blocks no longer requires code execution, which means jumps across block boundaries should be doable now. Frame slot initialization happens at definition time now, instead of at frame creation time. As an added bonus, Scope's are now exclusively compile-time objects and we no longer need to specially track the function activation frame for access to out vars. R=rsc APPROVED=rsc DELTA=313 (102 added, 90 deleted, 121 changed) OCL=32416 CL=32420
2009-07-28Implement comparison operators.Austin Clements1-21/+302
R=rsc APPROVED=rsc DELTA=304 (281 added, 0 deleted, 23 changed) OCL=32361 CL=32382
2009-07-28Fix segfault on unnamed function arguments. Make continueAustin Clements1-4/+9
jump to the post statement instead of the condition check. R=rsc APPROVED=rsc DELTA=10 (6 added, 1 deleted, 3 changed) OCL=32359 CL=32379
2009-07-28Implement if, for (modulo ranges), break, continue, increment,Austin Clements3-31/+322
and decrement. blockCompilers now form a tree the mimics the nesting of scopes and provide convenient ways to enter and exit scopes. blockCompilers also track the break and continue PC for the current block. The statement testing interface now works in lists of statements, which simplifies a bunch of things. R=rsc APPROVED=rsc DELTA=401 (335 added, 44 deleted, 22 changed) OCL=32308 CL=32317
2009-07-28Fix bug where typeArrayMap was using the address of theAustin Clements1-1/+1
pointer to the Type instead of the address of the Type. R=rsc APPROVED=rsc DELTA=1 (0 added, 0 deleted, 1 changed) OCL=32265 CL=32279
2009-07-27Implement multi-valued functions, multi-valued return, andAustin Clements5-164/+425
unpacking for assignments, call arguments, and returns. This change revamps the whole assignment compilation system to be multi-valued, using the new MultiType type and multiV value. Function calls, returns, and assignments now share a lot of code and produce very consistent error messages. R=rsc APPROVED=rsc DELTA=510 (335 added, 74 deleted, 101 changed) OCL=32248 CL=32258
2009-07-27Fix bug where nothing could ever be added to a code buffer.Austin Clements1-2/+2
R=rsc APPROVED=rsc DELTA=2 (0 added, 0 deleted, 2 changed) OCL=32245 CL=32247
2009-07-27Implement single-valued, non-variadic function literals andAustin Clements9-265/+1453
function calling. Implement a type compiler and named types. Implement a universal scope containing built-in named types, and some built-in constants. Implement a simple virtual machine for executing statements and single-valued return. Fix many places that incorrectly dealt with named types. In particular, the Type.Zero methods now use the type's bit count to determine the appropriate value representation. As a result, a bit count of 0 now means architecture-dependent and bounded types use unsafe.Sizeof to determine the correct bounds. Previously, the bounds on a 32-bit machine would have been wrong. Eliminated Type.compatible, since the implementation is equivalent for all types. Added Type.rep that shallowly strips named types. Replaced almost all uses of Type.literal with Type.rep. Fix implementation of assign-op's so it only evaluates the left side once. As part of this, there is now a generic way to separate out the effect and value of an expression. R=rsc APPROVED=rsc DELTA=1530 (1244 added, 68 deleted, 218 changed) OCL=32184 CL=32230
2009-07-21Implement assignment. Move convertTo.Austin Clements2-93/+518
R=rsc APPROVED=rsc DELTA=591 (497 added, 76 deleted, 18 changed) OCL=31933 CL=31955
2009-07-21Cleanup of Type/Value interface. Add Type.ZeroVal, replaceAustin Clements5-145/+190
all type-specific value functions, and use ZeroVal to create new frames. Remove Value.Type; it was unused and difficult for values with composite types. Add Value.Assign methods. R=rsc APPROVED=rsc DELTA=282 (135 added, 90 deleted, 57 changed) OCL=31894 CL=31930
2009-07-20Implement array types and index expressions.Austin Clements5-57/+258
Some cleanup. Elem() on PtrType is now just Elem and matches with ArrayType. Generators now switch over the result type instead of the operand type. Delete unused diag function. R=rsc APPROVED=rsc DELTA=281 (219 added, 18 deleted, 44 changed) OCL=31876 CL=31891
2009-07-17Gather errors in a go.scanner.ErrorList instead of printingAustin Clements2-33/+55
them as we go. Lots of bug fixes. Let the parser toss illegal character and string literals. Compile unary + correctly. Allow float OP ideal. Compile unary * correctly. Implement min and max float values. R=rsc APPROVED=rsc DELTA=64 (29 added, 7 deleted, 28 changed) OCL=31811 CL=31814
2009-07-17Finish shift implementation for ideals.Austin Clements1-34/+46
R=rsc APPROVED=rsc DELTA=65 (29 added, 17 deleted, 19 changed) OCL=31775 CL=31777
2009-07-17Cleanup func literals. "func (" -> "func("Austin Clements1-39/+39
R=rsc APPROVED=rsc DELTA=41 (0 added, 0 deleted, 41 changed) OCL=31773 CL=31773
2009-07-17Implement all unary and binary arithmetic operators.Austin Clements3-186/+514
R=rsc APPROVED=rsc DELTA=689 (497 added, 169 deleted, 23 changed) OCL=31755 CL=31772
2009-07-16Fix handling of non-waitable zombie threads. Now they are notAustin Clements2-9/+33
considered running, so WaitStop doesn't lock up and breakpoints get installed and uninstalled. We also don't try to detach from them, since that will fail. R=rsc APPROVED=rsc DELTA=35 (26 added, 2 deleted, 7 changed) OCL=31683 CL=31731
2009-07-15Make Value always represent an l-value and never a genericAustin Clements5-148/+313
container for values. Instead of having one evaluator function that returns a generic Value, there is now an evaluator function for each generalized type that simply returns a native type. The compiler is more type-safe now because there are almost no type conversions at evaluation time and it's impossible to invoke a nil evaluator function during evaluation. This also makes ideals and pointers really clean. As an added bonus, expression evaluation should be faster because it doesn't require heap allocation for every intermediate value, type switches, or lots of conversions to and from Value. It also involves fewer function calls. R=rsc APPROVED=rsc DELTA=431 (280 added, 115 deleted, 36 changed) OCL=31705 CL=31709
2009-07-15Beginnings of a Go interpreter. This implements basic andAustin Clements6-0/+1775
pointer types, supports literals, identifiers, type-checking most unary and binary operators, "compiling" a few unary and binary operators, and assignment and declaration statements. R=rsc APPROVED=rsc DELTA=1751 (1751 added, 0 deleted, 0 changed) OCL=31309 CL=31691
2009-07-15Implement forking debugged processes.Austin Clements1-25/+75
R=rsc APPROVED=rsc DELTA=81 (53 added, 3 deleted, 25 changed) OCL=31651 CL=31675
2009-07-14Implementation of process tracing using Linux's ptrace.Austin Clements4-12/+1552
R=rsc APPROVED=rsc DELTA=1543 (1528 added, 0 deleted, 15 changed) OCL=31570 CL=31630
2009-07-09Give ptrace code a real home.Austin Clements1-0/+0
R=rsc APPROVED=rsc DELTA=422 (211 added, 211 deleted, 0 changed) OCL=31425 CL=31431
2009-07-09Process tracing interface.Austin Clements1-0/+215
This is meant to be implemented per platform and used by higher-level debugging libraries. R=rsc APPROVED=rsc DELTA=211 (211 added, 0 deleted, 0 changed) OCL=31003 CL=31423
generated by cgit v1.2.3 (git 2.39.1) at 2025-06-22 07:09:17 +0000