Search
Tuesday, 8th of October 2019, 18:47:49 UTC
21:15:54
karlosz
maybe this will work - instead of the criteria for let converting being a function which is called from one place only, we let convert when we have only one return point, and remove assignment all together. hopefully that doesn't trip up any avers
21:18:32
karlosz
oh, but then theres that big scary comment in maybe-let-convert essentially saying "no, that's why assignment kind exists"
21:19:10
stassats
a good way to figure it out is to break it
21:20:50
karlosz
the archeology has to stop at "William Harold Newman: Initial revision"
21:21:12
stassats
nope, just means "clone cmucl from git"
21:21:16
karlosz
though i do have cmucl from git
21:21:29
karlosz
but then it usually goes back to some comment RAM wrote in 1990
21:22:09
karlosz
wish i was around back then
21:22:28
karlosz
still bleeding edge 30 years later
21:22:35
stassats
i wish i had unlimited time
21:39:25
scymtym
pull a reverse drmeister: get sidetracked into chemistry, solve mortality, use the gained time to work on your CL compiler
21:41:00
karlosz
is there a way to pull the logical ctran of a node at the end of a block?
21:41:18
karlosz
nodes at the end of blocks dont have ctrans but i still want to get the node that comes next
21:41:39
karlosz
assuming the node at the end of the block only has one succ
21:46:15
stassats
karlosz: get the next block
21:58:32
karlosz
hard to believe nothing in ir1util for that
21:59:02
karlosz
(or (node-next node) (let ((block (block-succ (node-block node))))) ...)
22:00:41
karlosz
the only time lvar-dest isn't the same as the next of node-next should be for that multiple value craziness
22:01:01
karlosz
now that i think about it thats probably why lvar and ctrans were split up
22:01:17
karlosz
cause they mostly coincide except for multiple value frobs
22:18:52
stassats
karlosz: there's nothing there because it's not very well defined
22:21:37
stassats
and i didn't get that lvar-dest/node-next bit, node-next of which node?
Wednesday, 9th of October 2019, 6:47:49 UTC