2024/11/05

Newest at the top

2024-11-05 20:06:46 +0100 <tomsmeding> a very predictable branch, at that, so while it does increase your code size and increases the pressure on the branch predictor cache, it won't be _too_ egregious
2024-11-05 20:06:10 +0100 <tomsmeding> x86 has an overflow (! naming ._.) flag that you can check for with a single conditional branch instruction
2024-11-05 20:06:04 +0100 <Rembane> tomsmeding: Sweet. Maybe I have mixed it up with actually doing bounds checking before the fact.
2024-11-05 20:05:55 +0100ZLima12(~zlima12@user/meow/ZLima12) ZLima12
2024-11-05 20:05:47 +0100 <tomsmeding> Rembane: depends on the cpu, I think
2024-11-05 20:05:35 +0100 <Rembane> tomsmeding: But IIRC that's super slow.
2024-11-05 20:05:31 +0100 <Rembane> tomsmeding: I think I'm more of the trapping school.
2024-11-05 20:05:17 +0100 <tomsmeding> I guess the only other sensible alternative is trapping
2024-11-05 20:05:17 +0100 <dolio> (And just searching for "overflow" in the document has too many hits.)
2024-11-05 20:05:07 +0100 <tomsmeding> Rembane: unsigned integers wrapping? What alternative would you suggest :p
2024-11-05 20:04:43 +0100 <Rembane> tomsmeding: Lovely! Fun! I can't see how that every could go wrong. :D
2024-11-05 20:03:44 +0100 <tomsmeding> heh
2024-11-05 20:03:40 +0100 <dolio> So if you look in the index for overflow, you won't get that page, I expect.
2024-11-05 20:03:37 +0100 <tomsmeding> I guess also Rembane
2024-11-05 20:03:25 +0100 <tomsmeding> c_wraith: ^
2024-11-05 20:03:20 +0100 <tomsmeding> I agree it's somewhat confusing terminology
2024-11-05 20:02:48 +0100 <dolio> It's defined to be modular arithmetic. And apparently the reason I was having trouble is that C considers that to not be "overflow".
2024-11-05 20:02:38 +0100 <tomsmeding> here (C11 draft: https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf ) I find, in section 9.2.5 paragraph 9: "A computation involving unsigned operands can never overflow, because a result that cannot be represented by the resulting unsigned integer type is reduced modulo the number that is one greater than the largest value that can be represented by the resulting type."
2024-11-05 20:01:46 +0100 <dolio> Oh okay. Yeah.
2024-11-05 20:01:07 +0100AWizzArd(~code@user/awizzard) AWizzard
2024-11-05 20:01:07 +0100AWizzArd(~code@gehrels.uberspace.de) (Changing host)
2024-11-05 20:00:55 +0100 <tomsmeding> dolio: I suppose you have a physical copy? With a digital one, I would search for the quoted "a computation involving unsigned operands can never overflow"
2024-11-05 19:59:55 +0100 <dolio> I think that's probably the one I have, but they only appear to cite the entire document.
2024-11-05 19:59:24 +0100longlongdouble(~longlongd@2405:201:5c16:135:7459:cd00:c885:3805) (Ping timeout: 276 seconds)
2024-11-05 19:58:52 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) TheCoffeMaker
2024-11-05 19:57:59 +0100SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder
2024-11-05 19:57:59 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Remote host closed the connection)
2024-11-05 19:56:18 +0100BolzmannPain(~BolzmannP@user/BolzmannPain) (Quit: Client closed)
2024-11-05 19:55:56 +0100SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving)
2024-11-05 19:50:29 +0100 <tomsmeding> it refers to C11
2024-11-05 19:50:25 +0100 <tomsmeding> the wikipedia article has a citation, perhaps that helps?
2024-11-05 19:50:14 +0100 <dolio> I probably don't know what term to search for.
2024-11-05 19:49:55 +0100 <tomsmeding> dolio++ for even trying
2024-11-05 19:49:25 +0100 <dolio> I tried to look in my copy of the standard, but it's hard to find stuff in there.
2024-11-05 19:45:48 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) TheCoffeMaker
2024-11-05 19:44:52 +0100TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Quit: So long and thanks for all the fish)
2024-11-05 19:37:15 +0100Nachtgespenst(~user@user/siracusa) (Quit: Bye!)
2024-11-05 19:18:21 +0100BolzmannPain(~BolzmannP@user/BolzmannPain) BolzmannPain
2024-11-05 19:18:18 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2024-11-05 19:17:28 +0100l-Shane-l(~l-Shane-l@user/l-Shane-l) (Quit: Client closed)
2024-11-05 19:14:39 +0100chele(~chele@user/chele) (Remote host closed the connection)
2024-11-05 19:13:08 +0100sprotte24(~sprotte24@134.245.44.86)
2024-11-05 19:10:58 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2024-11-05 19:03:03 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-11-05 19:02:23 +0100tyzef(~tyzef@user/tyzef) (Quit: WeeChat 3.8)
2024-11-05 18:51:58 +0100Leonard26(~Leonard26@49.236.10.26) (Quit: Client closed)
2024-11-05 18:49:31 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en
2024-11-05 18:45:51 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2024-11-05 18:39:34 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds)
2024-11-05 18:38:15 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds)