| Commit message (Collapse) | Author | Age | Files | Lines | |||||
|---|---|---|---|---|---|---|---|---|---|
| ... | |||||||||
| * | 4140 | Kartik K. Agaram | 2017-12-05 | 1 | -1/+1 | ||||
| | | |||||||||
| * | 4139 | Kartik K. Agaram | 2017-12-05 | 5 | -28/+15 | ||||
| | | |||||||||
| * | 4138 | Kartik K. Agaram | 2017-12-05 | 4 | -5/+5 | ||||
| | | |||||||||
| * | 4137 - perform specialization on indirect calls | Kartik K. Agaram | 2017-12-04 | 2 | -9/+39 | ||||
| | | | | | https://lobste.rs/s/esqphf/what_are_you_working_on_this_week#c_ajgfim | ||||||||
| * | 4136 | Kartik K. Agaram | 2017-12-04 | 2 | -4/+5 | ||||
| | | |||||||||
| * | 4135 | Kartik K. Agaram | 2017-12-03 | 2 | -2/+2 | ||||
| | | |||||||||
| * | 4134 - 'input' = 'ingredient' | Kartik K. Agaram | 2017-12-03 | 139 | -1449/+1517 | ||||
| | | |||||||||
| * | 4133 | Kartik K. Agaram | 2017-11-25 | 10 | -146/+196 | ||||
| | | |||||||||
| * | 4132 | Kartik K. Agaram | 2017-11-19 | 1 | -4/Opcodes currently supported by SubX:
01: add r32 to rm32 (add)
03: add rm32 to r32 (add)
05: add imm32 to EAX (add)
09: rm32 = bitwise OR of r32 with rm32 (or)
0b: r32 = bitwise OR of r32 with rm32 (or)
0d: EAX = bitwise OR of imm32 with EAX (or)
21: rm32 = bitwise AND of r32 with rm32 (and)
23: r32 = bitwise AND of r32 with rm32 (and)
25: EAX = bitwise AND of imm32 with EAX (and)
29: subtract r32 from rm32 (sub)
2b: subtract rm32 from r32 (sub)
2d: subtract imm32 from EAX (sub)
31: rm32 = bitwise XOR of r32 with rm32 (xor)
33: r32 = bitwise XOR of r32 with rm32 (xor)
35: EAX = bitwise XOR of imm32 with EAX (xor)
39: compare: set SF if rm32 < r32 (cmp)
3b: compare: set SF if r32 < rm32 (cmp)
3d: compare: set SF if EAX < imm32 (cmp)
40: increment EAX (inc)
41: increment ECX (inc)
42: increment EDX (inc)
43: increment EBX (inc)
44: increment ESP (inc)
45: increment EBP (inc)
46: increment ESI (inc)
47: increment EDI (inc)
48: decrement EAX (dec)
49: decrement ECX (dec)
4a: decrement EDX (dec)
4b: decrement EBX (dec)
4c: decrement ESP (dec)
4d: decrement EBP (dec)
4e: decrement ESI (dec)
4f: decrement EDI (dec)
50: push EAX to stack (push)
51: push ECX to stack (push)
52: push EDX to stack (push)
53: push EBX to stack (push)
54: push ESP to stack (push)
55: push EBP to stack (push)
56: push ESI to stack (push)
57: push EDI to stack (push)
58: pop top of stack to EAX (pop)
59: pop top of stack to ECX (pop)
5a: pop top of stack to EDX (pop)
5b: pop top of stack to EBX (pop)
5c: pop top of stack to ESP (pop)
5d: pop top of stack to EBP (pop)
5e: pop top of stack to ESI (pop)
5f: pop top of stack to EDI (pop)
68: push imm32 to stack (push)
69: multiply rm32 by imm32 and store result in r32 (imul)
70: jump disp8 bytes away if OF is set (jcc/jo)
71: jump disp8 bytes away if OF is unset (jcc/jno)
72: jump disp8 bytes away if lesser (addr, float), if CF is set (jcc/jb/jnae)
73: jump disp8 bytes away if greater or equal (addr, float), if CF is unset (jcc/jae/jnb)
74: jump disp8 bytes away if equal, if ZF is set (jcc/jz/je)
75: jump disp8 bytes away if not equal, if ZF is not set (jcc/jnz/jne)
76: jump disp8 bytes away if lesser or equal (addr, float), if ZF is set or CF is set (jcc/jbe/jna)
77: jump disp8 bytes away if greater (addr, float), if ZF is unset and CF is unset (jcc/ja/jnbe)
7c: jump disp8 bytes away if lesser, if SF != OF (jcc/jl/jnge)
7d: jump disp8 bytes away if greater or equal, if SF == OF (jcc/jge/jnl)
7e: jump disp8 bytes away if lesser or equal, if ZF is set or SF != OF (jcc/jle/jng)
7f: jump disp8 bytes away if greater, if ZF is unset and SF == OF (jcc/jg/jnle)
81: combine rm32 with imm32 based on subop (add/sub/and/or/xor/cmp)
87: swap the contents of r32 and rm32 (xchg)
88: copy r8 to r8/m8-at-r32
89: copy r32 to rm32 (mov)
8a: copy r8/m8-at-r32 to r8
8b: copy rm32 to r32 (mov)
8d: copy address in rm32 into r32 (lea)
8f: pop top of stack to rm32 (pop)
99: sign-extend EAX into EDX (cdq)
b8: copy imm32 to EAX (mov)
b9: copy imm32 to ECX (mov)
ba: copy imm32 to EDX (mov)
bb: copy imm32 to EBX (mov)
bc: copy imm32 to ESP (mov)
bd: copy imm32 to EBP (mov)
be: copy imm32 to ESI (mov)
bf: copy imm32 to EDI (mov)
c1: shift rm32 b> | ||||
| | | | | | | At least this particular implementation of them. Let's play with them now for a while, see if they're fully equivalent to shift/reduce. | ||||||||
| * | 4116 - support calling continuations with arguments | Kartik K. Agaram | 2017-11-06 | 3 | -7/+45 | ||||
| | | | | | | | Surprisingly small change, considering how long it took me and how mind-bending it was. 'return-continuation-until-mark' now behaves like both call and return instructions, which made it hard to reason about. | ||||||||
| * | 4115 | Kartik K. Agaram | 2017-11-06 | 1 | -3/+5 | ||||
| | | |||||||||
| * | 4114 | Kartik K. Agaram | 2017-11-05 | 1 | -59/+39 | ||||
| | | |||||||||
| * | 4113 | Kartik K. Agaram | 2017-11-05 | 2 | -288/+294 | ||||
| | | |||||||||
| * | 4112 | Kartik K. Agaram | 2017-11-05 | 2 | -26/+18 | ||||
| | | |||||||||
| * | 4111 | Kartik K. Agaram | 2017-11-05 | 1 | -0/+3 | ||||
| | | |||||||||
| * | 4110 - add continuations to docs | Kartik K. Agaram | 2017-11-05 | 6 | -5/+373 | ||||
| | | |||||||||
| * | 4109 | Kartik K. Agaram | 2017-11-05 | 41 | -1091/+1222 | ||||
| | | |||||||||
| * | 4108 | Kartik K. Agaram | 2017-11-05 | 1 | -1/+2 | ||||
| | | |||||||||
| * | 4107 | Kartik K. Agaram | 2017-11-05 | 2 | -0/+75 | ||||
| | | | | | Return other values along with the current continuation. | ||||||||
| * | 4106 | Kartik K. Agaram | 2017-11-03 | 10 | -15/+14 | ||||
| | | |||||||||
| * | 4105 | Kartik K. Agaram | 2017-11-03 | 1 | -4/+4 | ||||
| | | |||||||||
| * | 4104 | Kartik K. Agaram | 2017-11-03 | 23 | -73/+73 | ||||
| | | | | | | Stop hardcoding Max_depth everywhere; we had a default value for a reason but then we forgot all about it. | ||||||||
| * | 4103 - continuations no longer cause memory corruption | Kartik K. Agaram | 2017-11-03 | 4 | -5/+171 | ||||
| | | |||||||||
| * | 4102 | Kartik K. Agaram | 2017-11-01 | 54 | -4738/+4816 | ||||
| | | |||||||||
| * | 4101 | Kartik K. Agaram | 2017-11-01 | 1 | -2/+2 | ||||
| | | |||||||||
| * | 4100 | Kartik K. Agaram | 2017-11-01 | 1 | -1/+1 | ||||
| | | |||||||||
| * | 4099 | Kartik K. Agaram | 2017-11-01 | 8 | -71/+128 | ||||
| | | | | | | | | | | | | | | | Generalize commit 4089 to arbitrary closures, and not just the current 'space' or call frame. Now we should be treating spaces just like any other data structure, and reclaiming all addresses inside them when we need to. The cost: all spaces must now specify what recipe generated them (so they know how to interpret the array of locations) using the /names property. We can probably make this ergonomic with a little 'type inference'. But at least things are safe now. | ||||||||
| * | 4098 | Kartik K. Agaram | 2017-10-30 | 3 | -8/+63 | ||||
| | | | | | | | | | | Finally, make the seemingly-trivial change to buffer methods that I was envisioning 2 days ago. I still have zero confidence in our heuristic for picking the generic method to specialize for a call-site. Waiting for issues to reveal themselves. | ||||||||
| * | 4097 | Kartik K. Agaram | 2017-10-30 | 1 | -21/+34 | ||||
| | | | | | | | | Don't silently ignore ties we failed to break when matching generic functions to calls. Now we can start working on the bug that triggered commits 4092-4097. | ||||||||
| * | 4096 | Kartik K. Agaram | 2017-10-30 | 1 | -6/+6 | ||||
| | | |||||||||
| * | 4095 | Kartik K. Agaram | 2017-10-30 | 1 | -1/+1 | ||||
| | | |||||||||
| * | 4094 | Kartik K. Agaram | 2017-10-30 | 1 | -3/+7 | ||||
| | | |||||||||
| * | 4093 | Kartik K. Agaram | 2017-10-30 | 1 | -6/+2 | ||||
| | | |||||||||
| * | 4092 | Kartik K. Agaram | 2017-10-30 | 2 | -6/+8 | ||||
| | | | | | Some cleanup as I remind myself of how generic functions work in Mu. | ||||||||
| * | 4091 | Kartik K. Agaram | 2017-10-29 | 1 | -1/+1 | ||||
| | | |||||||||