<d_bot>
<EduardoRFS> yeah I saw it, I've been playing with multicore for a couple of weeks now, just wanted an assembler
<d_bot>
<EduardoRFS> And I'm also looking on replacing the current ocaml emitter for something that can be made parallel. Found out that using the LTO PR from Chambart, on `ocamlopt.opt` build, is ~5s assembling, ~4s compile_phrases, and there is like 11s on other stuff which isn't simple to improve.
<d_bot>
<EduardoRFS> actually it may be simple, but the problem is that the OCaml compiler has so much mutations that makes hard to know if something is simple or not
tane has joined #ocaml
<d_bot>
<EduardoRFS> maybe something like `reanalyze` to track mutations will be useful for multicore
sugarwren has joined #ocaml
smazga has joined #ocaml
smazga has quit [Ping timeout: 264 seconds]
<sadiq>
EduardoRFS: oh cool.
smazga has joined #ocaml
smazga has quit [Ping timeout: 260 seconds]
nicoo has quit [Write error: Connection reset by peer]
cantstanya has quit [Write error: Connection reset by peer]
andreas303 has quit [Write error: Connection reset by peer]
tryte has quit [Write error: Connection reset by peer]
smazga has joined #ocaml
smazga has quit [Ping timeout: 246 seconds]
smazga has joined #ocaml
wingsorc has joined #ocaml
tryte has joined #ocaml
smazga has quit [Ping timeout: 240 seconds]
nicoo has joined #ocaml
sugarwren has quit [Ping timeout: 246 seconds]
andreas303 has joined #ocaml
mro_name has quit [Remote host closed the connection]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
cantstanya has joined #ocaml
smazga has joined #ocaml
olle has quit [Ping timeout: 240 seconds]
olle has joined #ocaml
mro_name has joined #ocaml
amiloradovsky has quit [Ping timeout: 240 seconds]
amiloradovsky has joined #ocaml
mro_name has quit [Quit: Leaving...]
jlr has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
sleepydog has quit [Quit: leaving]
sleepydog has joined #ocaml
smazga has quit [Ping timeout: 246 seconds]
neiluj has quit [Quit: leaving]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
sugarwren has joined #ocaml
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
sugarwren has quit [Ping timeout: 272 seconds]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
sugarwren has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
sugarwren has quit [Quit: Leaving]
nullcone has joined #ocaml
dborisog has quit [Ping timeout: 256 seconds]
smazga has joined #ocaml
osa1 has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
olle_ has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
tryte has quit [Remote host closed the connection]
tryte has joined #ocaml
hnOsmium0001 has joined #ocaml
<d_bot>
<stab> hey dumb question if you are in utop how can you get the string that is printed when you evaluate something? Like i have a big value that i want to dump to a file so that i can examine it
smazga has quit [Ping timeout: 260 seconds]
<d_bot>
<stab> never mind i just ended up using a json serializer i had for it but just wondering if there is a way to do that
jlr has quit [Ping timeout: 240 seconds]
<d_bot>
<hcarty> @stab It may be possible to override the pretty printing output channel used by utop. Using a JSON or sexp serializer like you did is probably the cleanest approach though
narimiran has quit [Quit: leaving]
<d_bot>
<stab> yeah that makes sense... lol atdgen seems to use json that is nonstandard so i cant get any pretty printing on it to work which is a tad unfortunate...
<d_bot>
<stab> ah they have a utility for it
<sleepydog>
is it invalid json?
<d_bot>
<stab> seems to be? it seems like only the representation of each object is actually valid json
<d_bot>
<stab> for instance it tags something like this: <"BinaryOperator": ({ "pointer": 111,
<d_bot>
<stab> that's the start of the product type im pretty sure that's invalid json
smazga has joined #ocaml
<d_bot>
<stab> Hmm this is turning out to be a difficult problem since ghidra produces C code that isnt entirely compilable clang parser output.. like real talk why are names checked while parsing
<d_bot>
<stab> like the AST that gets dumped wont include an assignment where the LHS is not defined
<sleepydog>
what is it you want to do?
<d_bot>
<stab> eh i was hoping to utilize the already existing infra for lifting C to SIL in Infer to lift ghidra decompilation output... seems like that's going to not really work
<d_bot>
<stab> since ghidra outputs names that arent defined and types that arent ever defined either
smazga has quit [Ping timeout: 260 seconds]
<d_bot>
<stab> it's weird that that stuff gets handled at the parser level though... i was hoping to utilize the parser output to do some custom lifting and fill info where ghidra has fallen over... but the parser doesnt even output lines with invalid LHS destinations
<d_bot>
<stab> I guess the options are fix the C that ghidra outputs, fuzzy parse it, or manually lift ghidras internal representation of the decompiler output or cry
<d_bot>
<stab> honestly using ghidras representation sounds the most promising to me
<d_bot>
<stab> if extremely painful
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
sleepydog has quit [Quit: leaving]
jnavila has quit [Quit: Konversation terminated!]
steenuil has quit [Read error: Connection reset by peer]
nullcone has quit [Quit: Connection closed for inactivity]
tane has quit [Quit: Leaving]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
smazga has joined #ocaml
urek has joined #ocaml
urek has left #ocaml [#ocaml]
olle_ has quit [Ping timeout: 256 seconds]
amiloradovsky has quit [Remote host closed the connection]