--- Log opened Tue Jul 04 00:00:49 2023
00:40 < real_or_random> that seems to match https://github.com/mit-plv/fiat-crypto/issues/1560#issuecomment-1615690066, see fiat_c_narrow_int vs fiat-c for the same change applied to fiat's C code
00:44 < real_or_random> it would still be interesting to see a benchmark on ARM64 but I don't think that the performance story will be very different there.
01:57 -!- meshcollider [meshcollid@meshcollider.jujube.rpblc.net] has quit [Quit: :wave:]
05:51 < sipa> It may be, because aarch64 doesn't have a single 64x64 -> 128 multiply instruction; it has separate instructions for getting the low and high 64 bits of the multiplication result
05:56 < real_or_random> fair
05:56 < real_or_random> do you think we can get a benchmark?
05:57 < sipa> I'd like to first try a version where the int128_native implementation uses macros rather than functions. Maybe forcing inlining helps.
06:02 < sipa> But perhaps the splitting/loading into 64-bit values breaks some reasoning the compiler can otherwise do over the 128 bit value; e.g. multiple additions and carry effects.
08:01 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 240 seconds]
08:01 -!- jonatack [~jonatack@user/jonatack] has joined #secp256k1
10:35 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #secp256k1
10:52 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
11:19 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #secp256k1
12:39 -!- meshcollider [meshcollid@jujube.rpblc.net] has joined #secp256k1
14:36 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
17:29 -!- ariard [~ariard@167.99.46.220] has quit [Server closed connection]
17:29 -!- ariard [~ariard@167.99.46.220] has joined #secp256k1
18:13 -!- sgiath [~sgiath@mail.sgiath.dev] has quit [Server closed connection]
18:13 -!- sgiath [~sgiath@mail.sgiath.dev] has joined #secp256k1
21:10 -!- jarolrod [sid475272@id-475272.uxbridge.irccloud.com] has quit [Excess Flood]
21:10 -!- jarolrod [sid475272@id-475272.uxbridge.irccloud.com] has joined #secp256k1
21:32 -!- siv2r [~siv2rmatr@2001:470:69fc:105::fed3] has quit [Server closed connection]
21:32 -!- siv2r [~siv2rmatr@2001:470:69fc:105::fed3] has joined #secp256k1
23:19 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has joined #secp256k1
23:54 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Quit: My iMac has gone to sleep. ZZZzzz…]
--- Log closed Wed Jul 05 00:00:50 2023