Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.1.1 released: https://ocaml.org/releases/5.1.1 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
rgrinberg has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<discocaml> <gunpowderguy> Where can i read about the calling convention/ abi? I am specially interested on the cost of register save/restore of functional programs in modern architectures like 64 arm and risc v
<discocaml> <hockletock> asmcomp/ARCH/NOTES.md shows supported configurations e.g. <https://github.com/ocaml/ocaml/blob/trunk/asmcomp/riscv/NOTES.md>
<discocaml> <hockletock> in particular native code gets compiled finally by gcc (msvc on windows, possibly others are supported?)
<discocaml> <gunpowderguy> Where can i read about the calling convention/ abi? I am specially interested on the cost of register save/restore of functional programs in modern architectures like 64 bit arm and risc v
<discocaml> <gunpowderguy> @hockletock I dont any abi notes specific to ocaml on that page. Only links risc v documents
<discocaml> <gunpowderguy> @hockletock I dont any abi notes specific to ocaml on that page. Only links to risc v documents
<discocaml> <yawaramin> you could probably looks at the Assembly output in Godbolt and get a pretty good idea?
<discocaml> <yawaramin> you could probably look at the Assembly output in Godbolt and get a pretty good idea?
jabuxas has joined #ocaml
waleee has quit [Ping timeout: 246 seconds]
torretto has quit [Remote host closed the connection]
torretto has joined #ocaml
tri has joined #ocaml
mbuf has joined #ocaml
jabuxas has quit [Ping timeout: 255 seconds]
tri has quit [Remote host closed the connection]
Serpent7776 has joined #ocaml
cr1901_ has joined #ocaml
cr1901 has quit [Ping timeout: 260 seconds]