Search
Saturday, 14th of July 2018, 1:05:13 UTC
4:39:01
drmeister
copec: no Julia interface
5:37:14
beach
Good morning everyone!
7:01:23
drmeister
When I compile-file predlib.lsp (typep and stuff like that) in cclasp ...
7:01:43
drmeister
With *optimization-level* of 3 Compile-file time seconds real(24.4) run(24.4) llvm(13.1) link(5.3)
7:03:00
drmeister
With *optimization-level* of 0 Compile-file time seconds real(1.9) run(1.9) llvm(0.1) link(0.8)
7:03:54
drmeister
Grrr - ignore that last one
7:05:13
drmeister
That was a different file.
7:07:09
drmeister
I need to automate things so I can check them over before pasting them.
7:07:11
drmeister
https://www.irccloud.com/pastebin/o1xv0Fv9/
7:07:44
drmeister
(cmp:*optimization-level* 3)Compile-file time seconds real(14.1) run(14.1) llvm(3.3) link(4.9)
7:08:01
drmeister
(cmp:*optimization-level* 0)Compile-file time seconds real(10.9) run(10.9) llvm(0.4) link(4.3)
7:09:42
drmeister
Cleavir time is about 6 seconds
7:09:57
drmeister
llvm time when opt-level is 3 is 8.2 seconds
12:01:22
beach
karlosz: Perhaps something like this will work: http://metamodular.com/scc.text
12:56:39
beach
karlosz: Perhaps something like this will work: http://metamodular.com/scc.text
12:58:26
karlosz
beach: i don't see any analog for visit-phi, ie. dealing with merge points
12:58:53
karlosz
did you see the remarks about using DU chains in section 5.2?
12:58:56
beach
That's because I don't think it is needed since there are no phi nodes.
12:59:23
beach
karlosz: Yes, and what they mean is that it won't work if you use ONLY those, without taking executability into account.
12:59:39
beach
SSA edges *are* DU chains.
13:00:04
beach
Oh, I forgot, I meant for this thing to be used on SFA.
13:00:33
karlosz
yeah, but i feel like there still needs to be a clause handling merge points, even in SFA
13:00:55
karlosz
if you had (1+ (if (= 2 3) 3 4))
13:01:13
karlosz
there is a variable in SFA that would have two definitions right?
13:01:50
beach
Yes, some variables will have several definitions. Hence the UD chains rather than just a single SSA edge.
13:03:25
karlosz
if we let v represent the merge point variable, then the UD chain would look like (v, {3, 4})
13:03:56
karlosz
i think you might be missing a clause saying that the lattice cell of the variable with multiple defs is derived from the executable defs in the UD chain
13:05:01
beach
Evaluate the expression obtaining the values of the operands from the LatticCells at the DEFINE side of the UD chains of this node.
Saturday, 14th of July 2018, 13:05:13 UTC