27:I[850952,["/_next/static/immutable/chunks/17nk-6ve5d1j1.js","/_next/static/immutable/chunks/03u4j9-bgtp-j.js","/_next/static/immutable/chunks/1aozp6v-93hww.js","/_next/static/immutable/chunks/1kvjqj9rubqut.js","/_next/static/immutable/chunks/2xvdcd8pkkmev.js","/_next/static/immutable/chunks/1dfgzmy-n738q.js","/_next/static/immutable/chunks/1mu6yoypc7dmv.js","/_next/static/immutable/chunks/3w7ndhy0rtv-3.js","/_next/static/immutable/chunks/1ro_riwwfy4z1.js","/_next/static/immutable/chunks/17qcz3iy32xk4.js","/_next/static/immutable/chunks/0wh14bpxa9h2e.js","/_next/static/immutable/chunks/1uot0qpifjsxt.js","/_next/static/immutable/chunks/3qtq01edevtrw.js","/_next/static/immutable/chunks/2l5vi-26cfdbh.js","/_next/static/immutable/chunks/2qpske3qljvy7.js","/_next/static/immutable/chunks/1qrwbqb2247cr.js","/_next/static/immutable/chunks/2acjmglv-85kf.js"],"PublicationThemeProvider",1] 28:I[850952,["/_next/static/immutable/chunks/17nk-6ve5d1j1.js","/_next/static/immutable/chunks/03u4j9-bgtp-j.js","/_next/static/immutable/chunks/1aozp6v-93hww.js","/_next/static/immutable/chunks/1kvjqj9rubqut.js","/_next/static/immutable/chunks/2xvdcd8pkkmev.js","/_next/static/immutable/chunks/1dfgzmy-n738q.js","/_next/static/immutable/chunks/1mu6yoypc7dmv.js","/_next/static/immutable/chunks/3w7ndhy0rtv-3.js","/_next/static/immutable/chunks/1ro_riwwfy4z1.js","/_next/static/immutable/chunks/17qcz3iy32xk4.js","/_next/static/immutable/chunks/0wh14bpxa9h2e.js","/_next/static/immutable/chunks/1uot0qpifjsxt.js","/_next/static/immutable/chunks/3qtq01edevtrw.js","/_next/static/immutable/chunks/2l5vi-26cfdbh.js","/_next/static/immutable/chunks/2qpske3qljvy7.js","/_next/static/immutable/chunks/1qrwbqb2247cr.js","/_next/static/immutable/chunks/2acjmglv-85kf.js"],"PublicationBackgroundProvider",1] 2a:I[790711,["/_next/static/immutable/chunks/17nk-6ve5d1j1.js","/_next/static/immutable/chunks/03u4j9-bgtp-j.js","/_next/static/immutable/chunks/1aozp6v-93hww.js","/_next/static/immutable/chunks/1kvjqj9rubqut.js","/_next/static/immutable/chunks/2xvdcd8pkkmev.js","/_next/static/immutable/chunks/1dfgzmy-n738q.js","/_next/static/immutable/chunks/1mu6yoypc7dmv.js","/_next/static/immutable/chunks/3w7ndhy0rtv-3.js","/_next/static/immutable/chunks/1ro_riwwfy4z1.js","/_next/static/immutable/chunks/17qcz3iy32xk4.js","/_next/static/immutable/chunks/0wh14bpxa9h2e.js","/_next/static/immutable/chunks/1uot0qpifjsxt.js","/_next/static/immutable/chunks/3qtq01edevtrw.js","/_next/static/immutable/chunks/2l5vi-26cfdbh.js","/_next/static/immutable/chunks/2qpske3qljvy7.js","/_next/static/immutable/chunks/1qrwbqb2247cr.js","/_next/static/immutable/chunks/2acjmglv-85kf.js"],"PublicationHomeLayout",1] 2b:I[459124,["/_next/static/immutable/chunks/17nk-6ve5d1j1.js","/_next/static/immutable/chunks/03u4j9-bgtp-j.js","/_next/static/immutable/chunks/1aozp6v-93hww.js","/_next/static/immutable/chunks/1kvjqj9rubqut.js","/_next/static/immutable/chunks/2xvdcd8pkkmev.js","/_next/static/immutable/chunks/1dfgzmy-n738q.js","/_next/static/immutable/chunks/1mu6yoypc7dmv.js","/_next/static/immutable/chunks/3w7ndhy0rtv-3.js","/_next/static/immutable/chunks/1ro_riwwfy4z1.js","/_next/static/immutable/chunks/17qcz3iy32xk4.js","/_next/static/immutable/chunks/0wh14bpxa9h2e.js","/_next/static/immutable/chunks/1uot0qpifjsxt.js","/_next/static/immutable/chunks/3qtq01edevtrw.js","/_next/static/immutable/chunks/2l5vi-26cfdbh.js","/_next/static/immutable/chunks/2qpske3qljvy7.js","/_next/static/immutable/chunks/1qrwbqb2247cr.js","/_next/static/immutable/chunks/2acjmglv-85kf.js"],"PublicationAuthor",1] 2c:I[163214,["/_next/static/immutable/chunks/17nk-6ve5d1j1.js","/_next/static/immutable/chunks/03u4j9-bgtp-j.js","/_next/static/immutable/chunks/1aozp6v-93hww.js","/_next/static/immutable/chunks/1kvjqj9rubqut.js","/_next/static/immutable/chunks/2xvdcd8pkkmev.js","/_next/static/immutable/chunks/1dfgzmy-n738q.js","/_next/static/immutable/chunks/1mu6yoypc7dmv.js","/_next/static/immutable/chunks/3w7ndhy0rtv-3.js","/_next/static/immutable/chunks/1ro_riwwfy4z1.js","/_next/static/immutable/chunks/17qcz3iy32xk4.js","/_next/static/immutable/chunks/0wh14bpxa9h2e.js","/_next/static/immutable/chunks/1uot0qpifjsxt.js","/_next/static/immutable/chunks/3qtq01edevtrw.js","/_next/static/immutable/chunks/2l5vi-26cfdbh.js","/_next/static/immutable/chunks/2qpske3qljvy7.js","/_next/static/immutable/chunks/1qrwbqb2247cr.js","/_next/static/immutable/chunks/2acjmglv-85kf.js"],"PublicationPostsList",1] 2d:T420,inline int compare_wide_integers(wide_integer lhs, wide_integer rhs) { const uintmax_t uleft = lhs.bits; const intmax_t ileft = (intmax_t)uleft; const uintmax_t uright = rhs.bits; const intmax_t iright = (intmax_t)uright; if (lhs.is_signed) { // S <=> S if (rhs.is_signed) { if (ileft < iright) return -1; else if (ileft > iright) return 1; } // S <=> U else { if (ileft < 0 || uleft < uright) return -1; else if (uleft > uright) return 1; } } else { // U <=> U if (!rhs.is_signed) { if (uleft < uright) return -1; else if (uleft > uright) return 1; } // U <=> S else { if (iright < 0 || uleft > uright) return 1; else if (uleft < uright) return -1; } } // The operands are equivalent return 0; }1f:["$","$L27",null,{"record":{"url":"https://vector-of-bool.leaflet.pub","name":"vector-of-bool","$type":"site.standard.publication","theme":{"$type":"pub.leaflet.publication#theme","primary":{"b":214,"g":214,"r":214,"$type":"pub.leaflet.theme.color#rgb"},"accentText":{"b":235,"g":235,"r":235,"$type":"pub.leaflet.theme.color#rgb"},"pageBackground":{"a":100,"b":61,"g":61,"r":61,"$type":"pub.leaflet.theme.color#rgba"},"backgroundColor":{"b":41,"g":41,"r":41,"$type":"pub.leaflet.theme.color#rgb"},"accentBackground":{"b":64,"g":61,"r":61,"$type":"pub.leaflet.theme.color#rgb"},"showPageBackground":false},"basicTheme":{"$type":"site.standard.theme.basic","accent":{"b":64,"g":61,"r":61,"$type":"site.standard.theme.color#rgb"},"background":{"b":41,"g":41,"r":41,"$type":"site.standard.theme.color#rgb"},"foreground":{"b":0,"g":0,"r":0,"$type":"site.standard.theme.color#rgb"},"accentForeground":{"b":235,"g":235,"r":235,"$type":"site.standard.theme.color#rgb"}},"preferences":{"showComments":true,"showMentions":true,"showPrevNext":false,"showInDiscover":false}},"pub_creator":"did:plc:7yrbwfd55z53q2wq7ua27lu6","children":[["$","script",null,{"type":"application/ld+json","dangerouslySetInnerHTML":{"__html":"{\"@context\":\"https://schema.org\",\"@type\":\"Blog\",\"name\":\"vector-of-bool\",\"url\":\"https://vector-of-bool.leaflet.pub\"}"}}],["$","$L28",null,{"record":"$1f:props:record","pub_creator":"did:plc:7yrbwfd55z53q2wq7ua27lu6","children":["$L29",["$","$L2a",null,{"showPageBackground":false,"iconUrl":"$undefined","wordmark":null,"navPages":[],"publicationUrl":"https://vector-of-bool.leaflet.pub","activePath":"/","pageWidth":"$undefined","subscribe":{"publicationUri":"at://did:plc:7yrbwfd55z53q2wq7ua27lu6/site.standard.publication/3maakiimuss27","publicationUrl":"https://vector-of-bool.leaflet.pub","publicationName":"vector-of-bool","publicationDescription":"$undefined","newsletterMode":false},"author":["$","$L2b",null,{"did":"did:plc:7yrbwfd55z53q2wq7ua27lu6","displayName":"vector","handle":"vector-of-bool.bsky.social"}],"children":["$","$L2c",null,{"publication":{"uri":"at://did:plc:7yrbwfd55z53q2wq7ua27lu6/site.standard.publication/3maakiimuss27","name":"vector-of-bool","identity_did":"did:plc:7yrbwfd55z53q2wq7ua27lu6","record":{"url":"https://vector-of-bool.leaflet.pub","name":"vector-of-bool","$type":"site.standard.publication","theme":"$1f:props:record:theme","basicTheme":"$1f:props:record:basicTheme","preferences":"$1f:props:record:preferences"},"publication_newsletter_settings":null,"publication_pages":[]},"publicationRecord":"$1f:props:record","posts":[{"uri":"at://did:plc:7yrbwfd55z53q2wq7ua27lu6/site.standard.document/3maaok734i22l","record":{"path":"/3maaok734i22l","site":"at://did:plc:7yrbwfd55z53q2wq7ua27lu6/site.standard.publication/3maakiimuss27","tags":[],"$type":"site.standard.document","title":"Safely Generically Comparing Integers in C and C++","content":{"$type":"pub.leaflet.content","pages":[{"id":"019b3050-b192-7bba-8f1f-8c625f7ea9c2","$type":"pub.leaflet.pages.linearDocument","blocks":[{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"If you've ever written a computer program, you've probably compared integers at least a few times."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"Of course, as with all things in C and C++, this is a potentially dangerous operation by default. What is the result value of the following program?"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.code","language":"cpp","plaintext":"bool bad_less(signed s, unsigned u) {\n return s < u;\n}\n\n/// ...\nbool a = bad_less(-27, 44);\nbool b = bad_less(44, UINT_MAX);","syntaxHighlightingTheme":"github-dark"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":28,"byteStart":27},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":34,"byteStart":33},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":52,"byteStart":48},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":112,"byteStart":103},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":125,"byteStart":117},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"In any reasonable context, a and b will both by true. In C and C++, this will (non-obviously) end with a = false and b = true."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":45,"byteStart":31},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"If we compile with GCC and the -Wsign-compare flag, we at least get a helpful warning:"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.blockquote","facets":[{"index":{"byteEnd":92,"byteStart":0},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int'"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"The initial temptation is to fix this with a cast: "}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.blockquote","facets":[{"index":{"byteEnd":15,"byteStart":0},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"(unsigned)s < u"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"or"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.blockquote","facets":[{"index":{"byteEnd":10,"byteStart":0},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"s < (int)u"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":111,"byteStart":103},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":127,"byteStart":118},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":266,"byteStart":258},"features":[{"$type":"pub.leaflet.richtext.facet#italic"}]},{"index":{"byteEnd":289,"byteStart":281},"features":[{"$type":"pub.leaflet.richtext.facet#italic"}]}],"plaintext":"However: Only the latter cast will actually change the program result, and it is still broken, as now a = true and b = false. Patching over this warning with a cast does nothing to add correctness to the program, because we're just making the perilous implicit conversions explicit, when the conversions themselves are the problem."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"The correct way to do the comparison is:"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.code","language":"cpp","plaintext":" return s < 0 || (unsigned)s < u;","syntaxHighlightingTheme":"github-dark"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":99,"byteStart":89},"features":[{"$type":"pub.leaflet.richtext.facet#italic"}]},{"index":{"byteEnd":149,"byteStart":105},"features":[{"$type":"pub.leaflet.richtext.facet#italic"}]},{"index":{"byteEnd":202,"byteStart":195},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"It's easy enough to write this inline, but when you have to remember to do it correctly every time, or when you don't know the actual integer types (e.g. it may be a library's opaque integer typedef), it becomes a challenge."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":73,"byteStart":19},"features":[{"$type":"pub.leaflet.richtext.facet#italic"}]},{"index":{"byteEnd":159,"byteStart":151},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":172,"byteStart":164},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"What we want is to actually compare the integers properly and generically. This post will explore how we can do that using only C++-compatible C99 (No _Generic, no typeof())."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.blockquote","facets":[{"index":{"byteEnd":4,"byteStart":0},"features":[{"$type":"pub.leaflet.richtext.facet#bold"}]}],"plaintext":"NOTE: The technique in this post assumes two important factors: The compiler uses two's complement signed integer encoding, and casting between signed/unsigned types leaves the bit pattern unchanged.\n\nThis isn't strictly guaranteed by C99, but almost all existing compilers and platforms behave this way, so you will probably find the method herein to be useful for your target."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":""}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.header","level":1,"facets":[],"plaintext":"Embiggening Integers"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"What we need is a way to store the full range of integers, whether signed or unsigned, in a way that loses no information."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":63,"byteStart":55},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":110,"byteStart":97},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":120,"byteStart":116},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"For all signed and unsigned integer types smaller than intmax_t, we can simply upcast them to an intmax_t imax, and imax will contain the same value."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":29,"byteStart":20},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":42,"byteStart":34},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":76,"byteStart":68},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"The problem is with uintmax_t and intmax_t, which cannot be cast to intmax_t without losing the information on which of the two types we had initially."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"For this reason, we'll add a new type that allows us to encode the full range by adding an additional bit of information:"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.code","language":"cpp","plaintext":"typedef struct wide_integer {\n uintmax_t bits;\n bool is_signed;\n} wide_integer;","syntaxHighlightingTheme":"github-dark"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":10,"byteStart":6},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":66,"byteStart":57},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":97,"byteStart":93},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"Where bits encodes the bits of the original integer, and is_signed tells us whether to treat bits as a signed two's complement integer or a regular unsigned integer."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":""}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.header","level":2,"facets":[],"plaintext":"Widening the Bits"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"To widen the bit pattern of any integer type, we just pass it through two casts:"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.code","language":"cpp","plaintext":"#define widen_bits(Value) ((uintmax_t)(intmax_t)(Value))","syntaxHighlightingTheme":"github-dark"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":33,"byteStart":28},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":45,"byteStart":37},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":80,"byteStart":75},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"The effect of the cast from Value to intmax_t differs based on the type of Value:"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.unorderedList","children":[{"$type":"pub.leaflet.blocks.unorderedList#listItem","content":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":8,"byteStart":3},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"If Value is unsigned, then the bit pattern is left unchanged and zero-extended."},"children":[]},{"$type":"pub.leaflet.blocks.unorderedList#listItem","content":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":8,"byteStart":3},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":46,"byteStart":41},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":103,"byteStart":95},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"If Value is signed, then the sign bit of Value is dragged into the position of the sign bit in intmax_t, and additional zero bits are added (sign-extension)."},"children":[]}]}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":24,"byteStart":16},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":37,"byteStart":28},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"Converting from intmax_t to uintmax_t does nothing but change the interpretation of the same bit pattern."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":25,"byteStart":16},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":37,"byteStart":29},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":60,"byteStart":51},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":97,"byteStart":88},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"If we cast from uintmax_t to intmax_t then back to uintmax_t, the value of the original uintmax_t will be preserved, regardless of value."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":""}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.header","level":2,"facets":[],"plaintext":"Detecting the Signedness"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":34,"byteStart":21},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"Whether to treat the widen_bits(V) result as signed or unsigned is simple in one case, but trickier in another."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":24,"byteStart":23},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":49,"byteStart":41},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":127,"byteStart":119},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"In the simple case: If V is smaller than intmax_t, we can treat the resulting bit pattern as a signed integer, because intmax_t can hold all unsigned values of all smaller integers."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.code","language":"cpp","plaintext":"#define should_treat_widened_bits_as_signed(V) \\\n (sizeof((V)) < sizeof(intmax_t)) \\\n || /* something else ... */","syntaxHighlightingTheme":"github-dark"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":38,"byteStart":37},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":57,"byteStart":49},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":70,"byteStart":61},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"The tricky case is detecting whether V is either intmax_t or uintmax_t. The solution is to write an arithmetic expression that returns a different answer depending on the type."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":32,"byteStart":31},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"But we don't know the value of V, so we can't do arithmetic on it reliably, right?"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":19,"byteStart":16},"features":[{"$type":"pub.leaflet.richtext.facet#italic"}]}],"plaintext":"Actually, there is something we can do, although it's not immediately obvious:"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.code","language":"cpp","plaintext":"#define IS_MAXINT_SIGNED(V) \\\n (((1 ? 1 : (V)) - 2) < (1 ? 1 : (V)))","syntaxHighlightingTheme":"github-dark"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"This relies on C's integer promotion rules to do something useful for us:"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.unorderedList","children":[{"$type":"pub.leaflet.blocks.unorderedList#listItem","content":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"The operands of a ternary expression are promoted to have the same type."},"children":[]},{"$type":"pub.leaflet.blocks.unorderedList#listItem","content":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":25,"byteStart":24},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":55,"byteStart":52},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":67,"byteStart":66},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":114,"byteStart":113},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":135,"byteStart":132},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"The right-hand operand V will be larger than the int literal 1 (because we are only calling this macro if V is larger than int)"},"children":[]},{"$type":"pub.leaflet.blocks.unorderedList#listItem","content":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":19,"byteStart":18},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":67,"byteStart":66},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"Thus the integer 1 will be upcast to match exactly the type of V (signed or unsigned)"},"children":[]},{"$type":"pub.leaflet.blocks.unorderedList#listItem","content":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":94,"byteStart":93},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":113,"byteStart":112},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"Only the left-hand operand is evaluated in the ternary, unconditionally yielding a value of 1 in the type of V."},"children":[]},{"$type":"pub.leaflet.blocks.unorderedList#listItem","content":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":14,"byteStart":13},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":23,"byteStart":22},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":42,"byteStart":41},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"We subtract 2 from 1 in the type of V."},"children":[]},{"$type":"pub.leaflet.blocks.unorderedList#listItem","content":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":17,"byteStart":16},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":43,"byteStart":38},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":99,"byteStart":90},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":115,"byteStart":110},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"If the type of V is unsigned, then 1 - 2 will wrap around to a very large value, and 1 - 2 < 1 will be false."},"children":[]},{"$type":"pub.leaflet.blocks.unorderedList#listItem","content":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":17,"byteStart":12},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":33,"byteStart":31},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":74,"byteStart":65},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":89,"byteStart":85},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"Otherwise, 1 - 2 will yield -1 in the appropriate type, and 1 - 2 < 1 will be true."},"children":[]}]}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"This gives us our final detection macro:"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.code","language":"cpp","plaintext":"#define should_treat_widened_bits_as_signed(V) \\\n (sizeof((V)) < sizeof(intmax_t)) \\\n || IS_MAXINT_SIGNED(V)","syntaxHighlightingTheme":"github-dark"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":""}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.header","level":2,"facets":[],"plaintext":"Put it Together"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"The final integer-widening code looks like this:"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.code","language":"cpp","plaintext":"inline wide_integer\n_make_wide_integer(uintmax_t bits, bool treat_as_signed) {\n wide_integer r;\n r.bits = bits;\n r.is_signed = treat_as_signed;\n return r;\n}\n\n#define widen_integer(V) \\\n _make_wide_integer( \\\n widen_bits((V)), \\\n should_treat_widened_bits_as_signed((V)))","syntaxHighlightingTheme":"github-dark"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":""}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.header","level":1,"facets":[],"plaintext":"Comparing Wide Integers"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"Comparing wide integers is very simple, and is just straightforward code:"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.code","language":"cpp","plaintext":"$2d","syntaxHighlightingTheme":"github-dark"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"This function returns -1 if the left-hand operand is less than the right, +1 if the right-hand operand is greater than the left, and 0 if the operands are equivalent."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":""}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.header","level":2,"facets":[],"plaintext":"A Macro Magic"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"We can get concise with a special magic macro:"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.code","language":"cpp","plaintext":"#define safe_cmp(Left, Operator, Right) \\\n (compare_wide_integers(widen_integer(Left), \\\n widen_integer(Right)) \\\n Operator 0)","syntaxHighlightingTheme":"github-dark"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":"And use it for comparison with our familiar infix operators:"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.code","language":"cpp","plaintext":"bool number_is_less(some_integer_type a,\n some_other_integer_type b) {\n return safe_cmp(a, <, b);\n}","syntaxHighlightingTheme":"github-dark"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":""}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.header","level":1,"facets":[],"plaintext":"C++ Bonus"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":65,"byteStart":53},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"If we are in C++, we can add some bonus features to wide_integer:"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.code","language":"cpp","plaintext":"typedef struct wide_integer {\n uintmax_t bits;\n bool is_signed;\n\n#ifdef __cplusplus\n // Default-construct uninitialized\n wide_integer() = default;\n\n // Implicit convert from any standard integral type\n wide_integer(std::integral auto v) noexcept\n : bits(widen_bits(v))\n , is_signed(should_treat_widened_bits_as_signed(v))\n {}\n\n // Default equality\n bool operator==(wide_integer r) = default;\n\n // Add comparison operators\n std::strong_ordering\n operator<=>(wide_integer other) const noexcept {\n return compare_wide_integers(*this, other) <=> 0;\n }\n#endif\n} wide_integer;","syntaxHighlightingTheme":"github-dark"}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[{"index":{"byteEnd":89,"byteStart":77},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]},{"index":{"byteEnd":161,"byteStart":149},"features":[{"$type":"pub.leaflet.richtext.facet#code"}]}],"plaintext":"This will give us lossless implicit conversions from any integral value to a wide_integer, and allows us to use the standard relational operators on wide_integer objects."}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":""}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":""}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":""}},{"$type":"pub.leaflet.pages.linearDocument#block","block":{"$type":"pub.leaflet.blocks.text","facets":[],"plaintext":""}}]}]},"bskyPostRef":{"cid":"bafyreid4unmwlktmiea3cxbglskbqdplvrksmxg4oafbfateknrgjeef6q","uri":"at://did:plc:7yrbwfd55z53q2wq7ua27lu6/app.bsky.feed.post/3maaokebknk2l","commit":{"cid":"bafyreict4u5cuf6clampswzhfagxweuxf5grp3zhpbludohhyiihvv4iia","rev":"3maaokee74e2d"},"validationStatus":"valid"},"description":"","publishedAt":"2025-12-18T07:44:09.624Z","theme":"$undefined","preferences":"$undefined"},"commentsCount":0,"mentionsCount":0,"recommendsCount":0,"membersOnly":false,"bylineProfiles":[{"did":"did:plc:7yrbwfd55z53q2wq7ua27lu6","handle":"vector-of-bool.bsky.social","displayName":"vector"}]}],"fakePosts":"$undefined","className":"px-3 sm:px-4"}]}]]}]]}]