From 0f80938a55405cf38d98115e168568170334e834 Mon Sep 17 00:00:00 2001 From: Ed_ Date: Sun, 26 Jul 2026 21:15:16 -0400 Subject: [PATCH] docs(twitter): add 2076893128515112995 corpus (NOTimothyLottes error-check disasm) 6-post single-author walkthrough of the fast-path error-check pattern: volatile store __LINE__ + error code, TEST, conditional forward branch to a distant Err() call. Companion to the 2063733456144597200 thread which established the macro system via the conversation with @winning_tactic. --- .../media/2076888631508107561_1.png | Bin 0 -> 2881 bytes .../media/2076890340057878586_1.png | Bin 0 -> 1704 bytes .../media/2076891161898143906_1.png | Bin 0 -> 3939 bytes .../media/2076892038314741815_1.png | Bin 0 -> 4607 bytes docs/twitter/2076893128515112995/thread.md | 55 +++++++++ .../2076893128515112995/thread_data.json | 110 ++++++++++++++++++ 6 files changed, 165 insertions(+) create mode 100644 docs/twitter/2076893128515112995/media/2076888631508107561_1.png create mode 100644 docs/twitter/2076893128515112995/media/2076890340057878586_1.png create mode 100644 docs/twitter/2076893128515112995/media/2076891161898143906_1.png create mode 100644 docs/twitter/2076893128515112995/media/2076892038314741815_1.png create mode 100644 docs/twitter/2076893128515112995/thread.md create mode 100644 docs/twitter/2076893128515112995/thread_data.json diff --git a/docs/twitter/2076893128515112995/media/2076888631508107561_1.png b/docs/twitter/2076893128515112995/media/2076888631508107561_1.png new file mode 100644 index 0000000000000000000000000000000000000000..c2d5c9e14ee20549c1469027c4db0c9eac5516a4 GIT binary patch literal 2881 zcmX9=dpJ~E8=vZw6URBlr(8m%=sS{ADrsUO*XSOKvUMUP=1i&~u@hZfGU=ik*K$cm zLn2ccyHg>G$#rU6wiDw%jWNcUnZ5V=M&J9#`>yAGp0%Fe<$cy#iTn4uXsYY0lSm{@ zH&@4lB+`6Xwa)r^fhteMe-BX=t^FQ{omBOO?h94us&cR@=@Jq<9TG`>%+1mMaAc-1 zEAc|!_9c$wvr_=Uj50>|IGF!AQ5E5_;^^j-;~`4~&W5v zT18e(hlE$HsThxIMYBVg(jcpc!d-dOvg*Iq-$(OoUlY%?tWz`Tb}j3F=1)#RQZX+$ z+0}g16c++70d6`-Ujc`B_Rb`XQro{i+FVF+AjTK8qv>U?#cRxy8kw6ink=5$Z9W8N zj06l>$r*S8p;+yCpqOHm2u|JGY!8RXX?P>X4!>ot!f?~hJyb6woe|J*6Q<*=VK@XA zi$$@^UNNq+g=OOU3+qq0llY0pfPq!dB9(|FQh&xqf*SZhm^OVON_oeXagyu(FP6Gf zXCuLaesN`z@%y3~eyNNprRb-znbKH$5= zw&Au232Em18oi5iI{J!HBq3_`Te7wt#AFj&^NSxz&l{b8g!DxcmIrP+@4&^b?bGyC zlqkQ3DQME~DsgcWAN2C^u$ya8(0g8x2?{WXv`F&Ie)|uoq@2rAxVZjFOQ#)~&!J(y zR}7oSnC@}|XT(-TVq3R+-m#9bFJ_FDJiz&`(KI>={0?h9G`}(sEQTA8q3(#f&kX^> zT-PGLpIJfQr6?A|fms>g_f&+_N>Bx29$pz|2M$rx4o-mZkH3KBit*$bczl}8Iw3V% z?dh`NNel2qUK5tnJneDN^>LsHWaT2406p4th2JdVznZI`KR2l)(&XYlfGl`q6x>df z1^{01q!TVWGAN~d_0q2kZcdEYhr28uRfjr2YTc}HM=s@F_hF~DEGaS`U;QSeO{ca9 z7+#;D_@p9^9=_pDLt%0e-Kwvo*?N33iJWZ;EfkJm-a%~&G>j&tx69E{&T%G^zv9<6 z^UC>tXt0g?TohbKxf7Nx#0xa6|xxUUBHDu{ClwieC+=CIFc3^zzvPf1|Lft zt5a8WbloW-sBOYmhhPgrbdOl}m&=IXIVt>KR=$Ch*AEJ%W~W;jm4z{Q_;vwhnSI6Q zc4-ife#6x8Ex9=QMee`%Zhxf*4=Mu&ojGR{gw)&=l`PTjh89Grq1=1`Nex7a!xODW2xl zW-{$907li96=>SF7HY3pHh`f;-R>VQ=b9CPh5hA=p?d1pa@n+19FdDW+zEe1JzhxJ zwH4=W)N%x8d#&GYec6z?hR|pYThv&U`8)#J8B65J;yXl6-Q7m{zNgmq6+ffvpSyEm z^4-%ml&sM;#-KJ;_B2-YdP2%NN?8Kod?*7H&CD8L*m8$G6&Lo#G=>y$y+){OG!@;| zG8^LBA8zngAT*2p0MqxEQu@4}b0*j0c&!zxbU(6MW)Gii>@+qm$Tl2rKw<}#Wy6=s z1PNKn`BM@!=&?%`?UZOVXg)43w;d6MR}gdR?ip5~9c5|_Yc-33U_n3Mf4C~zLwgV0 zO`K+Brmv61srFc|89 zbzU&xGn&rClSjCRk7vJpu*rJNZtCbUICHPU1SgJ#*?SM<_YFs%P-w&2SEVi@WQ`P* z!4Wn4&alq8I}_T_rrg6i2hR{_u-_U#leZVOc<6kDJWXS~VREf!jQFw$a;8{z9cE%# z|8X}Oo_SP^1Z_Dmac4)^*OzSyvbXC9_bK9G1UF^?@1dP+E~7(Gxi6@oZGLI@nPym# z;sgS<#9;{oIs0|9^aGc+aKHI2te^IN0D8=J!{Uh4L`At2*}=|oj|sX|NEtSIs==9l zf^Gzn=cn)KYmRB3k66W!Jixr4AS->&5apcsa<3qK@w;ZNEO6g4J_k(1oUDxb=E+9Os`M!6aq126$n2u(QOjt;lVxM` zPT}f?^rj1nR~vm{gBQDnJ8t`RU@u~N2A=0E z2#s~>xWf1EPi>KWp_P5J z<(zg#Zk8&R=UYFx3bQxfH=J@-`)5?LIkWDj6BOT0aeq9^6JkQmMGB>hKQG6rek`Ao zu{8N4ZzTp*rYuzn`lR5@G7f z8P&TKNBzIiJE>J&;9#4uA8pl%S#*=p8 zVgh|zn=hd4u#Qk8cdjaW?%LK4bmW%bKD=ZP-u8~#F#Y6|pY3}Io9NCKU(X_cVcm+K zudR!3xdiHLh^;}@rnsj7DG%$7-8M}h+(Ar+ZmOg1hqPF#yKY6@2&2d|j3pN_D~NO< z!LjmpfYUHFX~AR`nlvD?Beqzq_vsC02Vxm_zjh3@23`L_e&VBzkzF$Q& zknj@_rI6iKM-do3D@{!U3ZN+CvoLG-v!Z2LTfdivNBi^db*$Kuf8cG0-w)>&KCb97 zGLo!ZL0;oErLeCe?WdihjG(dVzsK89BPc1z7c^ z8Y??W_S1Csx_z8WyLUBR$NEQY@%teQ{jn={18f;8-(f6tv429W&bh2tsg)AdA&vmR zvrtzW+=J5_ZoA_D{EUUdF5F?8$DZ@;SSaH|@zTfIquDqY5EL}uLaCt0-f7#HEEED3 zYLQwf7Ax06xjsT4Uf(u-8-LtF4?!L8xffH*-7$iiSICF1_+>rjxjasb^Qu<~dQl5y zmJss7&->6iy0{LFe&_R_{$BNbAI|40iqZ<+7d`8tdN>BeZLvHi=N!$o7QW&VYLIC4 zmZAl*{6&qRsI2VV`xLY!mcQ_?LE~}#^1<$3uK3E7o04Ol)IZkAQhE&Sk;d})6YoSy zb~_^IS^28tf8-fy7PGk8x~3^RhUSQ4d8f4>#osI_vBAq`-B$U>(4K-={=%`2<#s{s zAICy{=P5ge_DEy-{WBkm<*`i}7W@kNL0p2{M13eQK9oO(Z(^ZqOOtbnbotmZya4`= zzPaZPjzLkBZy}X;zOmn`SRS#_^(|Iu+X8h0Fo#YOdijaytlv;+ecFna3uAfzO7w&g zG)}gZhQJvW3Mw|%P<_&~G?u4=ZXcMXvB6{ARz)S7SK`#fhukc)kF#F5hw~qM_321} zpoQkg@{FL)pM3=tZKUqz?76mRZATDM-ZU(z-_GvAc~cAdcmUh5qe&VnG3p3;*AvvNP^^8Cy?r zEKfi3e`wwAj|e)no&~YIT4!dU< z4;f!L%!!fIS@5(oRH6Lls3)zL0Kyw=Rn1;}QKrw`%6alQy;+TGoT2MX`MRYLq*z zCA1?GZUjJ=f|kYd@pwr*FCO^Wobe?$v$F$1%VPO>L|-!N*qsZH+wmpby9+_fV)=xH zLbagY{AACHaUZ=~C}hR*X&+i|p+HI&rf1im_9Lh`miHt2+vdfa-e?aH^Rqn(Ittxf zhboGqd*G963+A;s?*X!AwQPqEi`Yw{6)JAenQZvEfmtRJmW)i=gVJU zv2rbx>!ZX%-L`jAotMv_FaJ;mKj43#ve0j)%j-}@Q52<|f>>VE{}R|3_Q&8BW9%^@ z;YJm-AeN7%=i-@kl#w6zKD6>!J~?Itr`y~iBPj7RrkVw@eAJ23oaJy-xPDb98&|G|=Tu~H7QIv+fo0lJug1kISSzdlTO7ik9WqJ8=5s$I=Kl0^y`5}?U z@*nQV%a2Rdz3(jYy!^O4cprO3Q4~c{9_8M9-{Eg`e8oS}H~n2>><_4*%*M#vFvcG6 z(~!tB=Frm-=eQ=7-p8KK?A~l}gd-z2UZVSlMI6g#2udURi7gb8u{;~eb8pr{$43~; z!ZH0000B`uK9(#qn6YF_j3N8ZcY2=l{hr^Szt1`E&->ha-shhCx%YMN`+gE^t<6OaNgVVa`6Ru{w8gE9cIekDZ2nFmAcyt*rfm{0KhK)`TYi1Lob>D z0HOk56C+q?7VlMJ?7MTqriEVN?c2NR)%M3BO#&v7wyOjc+S7Q9JYDJ7UcRwk!mdNq zUNjiZI(N0?mb6?{WlEt6A*FG6$r~)N| zs=W^kboHe!w9_M*QZbz=YIthYw%YT?ik~qQhyW1N}=9$_-oY@`bvEY3> z8yZ6O87Bv5*}blo7$A{g!GJvsSx#R@J9E6?7kgt}BQjx|#^ z%9?z?5AjK5t$IHI@I7)!VP6%1d0Fu7@gg_ zjGb-yH=gYT&D|*5mY!)){8V6FnwnD#nAGbbtNuEVyP>!UOp&;g8F_dKp2*=i{BR+i zwP(4JLXPB;>^9FiVmXC0Es7N9a`2BoNZ^iE9x{(q-xb6hcRgkE0QF@o;34Y4Y#c3U zXw_$=r_$$evN}ucJ-LMEcfR|wF@cn@edV<~!m3M&)JzOQ-DU}ieUe4A^hph_G-&RY zoStK`dV+|khc~I`M<`8-Wu>24IyehCoOw@b zTlFuoEnTIWM}>B4b7`f>F7&zePcD`F5rGSOOCMDgxLxVyKFybd!rEA`ck{~n+*LoK zSgZJ$#l(V!A2*aTNGbLZYfw^W!w!+&Adx?8xix&K1)es%cBAEs1KHn9)WO%l*t&aO zxI*o8s-tHd%0Ww4_01W5htsbIJ_s@Uy1rttImI-dctKtfJcn&dbUx@@(-7D)<;AC= zS@Pa?6!grbOwsVf_;F&e$P`B^`Dh#&nId90q%~D`jvG7Z-0OA@wK(o70st89-K!NY zND4k^!WAoE$;C5fH69l(|0D5X0{o>;+%a>koDu=;UP~{ZStrY?=|{g9x~8LsNUuyU z!yP?}zj;lnW<@uwjO}iRWwH_(xPKTha|w9@W!?}EJPXIN3!&6s0!A(&lKV(P!}TJh z$HAbbvD;yCY7qkUbX*PumS(OpN=>{3rhVpK=stE7&wE%tv!E%4Cj;wOwfSzu$##63 zn8eIodBc6b9c=Pr17t28P9v3 z;j5~x_Tp25)X`cRCplF z(}iB8e)>DSXE>qH^WW+}I9^dv;MVd(wfPOVb-UUOxE|rLXCa_}=8(o>Qe8@0av$$b z`8@iHGcey-DlNW`CvY~Nu>!ZKCJR?=#Si)!8SoRVuLC1eN}g~1tN60|kVq)j27%nm z5XA_Z!emM_-^zA+9rAlByOMLtQ05`L3NKvSSTa_56JIMk4F=?xjZ9kRO)eyMz3}Zev zv@s;U(2NIDaas$NRr{1gnx{@lb~yrzBC=&f8HWSbGWW-)?0y7@czV_}IsO{+pB1pAuvwvF6Xn@qi`FI;@E4%Su} zobE1rtuEOgnEL$0ev$@!><<~JJ<%SAdT{;jt8C}1lum-Dl$mtI1%xUbNIPG^%Iajf z2DpRABvZ#dA#uu0tt22u*8+x~HLC5=aiv!_%NPLn2-|1(o5nSp|;Zj{2cw22^xs*n75z{q_(z%nD-*$4)*# zL2i3lRM*-;Hf`V@yS8M-&T1E?Nlk^zi*pSvOyOZ)1m3Vp|%UIb*h|I)#d139tx_TRc+dDw`l*pjI<(u@ z7mh-6&{R0hpj4F$DXkjFAvk?uMf;*5o;5g1^Y%!`t)9u&2%XovK9_G}-Ty#f?phVU z-XDg97?yXJat{;(8J zk2yYhb;{D`q`bY~CdWpU16%B^5U@O4Nqf;!j=_#SyI9$0hP2XL=zJQl#kkHb!vDHM z%b;m8V)DhfWyU8UR{~~%xP^`dm5_UGjSf!iH2;w1nk+e*^4R?1O=o2X&g#dLXocNs0NXmIUF7{G9@12fnnZ=*JPup}EMNkNvP?TIe5y2+N5xU$X!!~9M zaHr~9^HLY2NlFG&5whH`y%U^@!%tCWyMN-TdZk*LaWvqZevyGGcD1)fT=4_DIt{q7 zO@P0NV6#U~ePDp`i?t!!d$Xkg-=FjhXApX|8g070F2<$b)>xdddM9INt)@ybCU#Eb zoOpX`A7>@>)U{LdDaiz0MuVzuYgpceKWMLP9i$o|NpFhsDx(GOwyF0lr2UPyv^fNx zCdio|riu1E7!QKm;|?)zC=Kt8Vjjdl1E^gU_61265*$13F}0G-Z)%4pspKY<7y+5% z1)p)KmU52n$vp!OzSr+#ZC$bnQ}f;hX7oH60R|eXYl$Q2_$IK1XxhVzt`- zt=d(0weC`EJtWHrsx_43^mt!24uM7CrO;b1g}v;oor5OpGd)NBmiGVzc?~~x13V^^ zZz_-`W{2qhv8zj7gGNdQLexKzG+<$1`>*tDAam?1)``%15RwbZ2^BdsjN5-dzoJlVsgyK9#dVBagLco zZr(VEFz99pcczDYXRLoB5$ulW!zP8^I;S>7`aq<9leHPH+yOS#CibRS^&U$#i2ad+ zkPEzF_0&~qO8>iF*opQl=ZClCe~J|B2VBB#ygaO1UgKa99s^NB2gN}Aa!Wu86(CLx zX#DbEpNwYHq*3lFmAA2Wz~mK3q3YexCs2+pITMtV>wK_x%{ZL2JRu6sM{F90(?b$K zIr&ok&Z0XhSWFuxxAq4)YfiM^jHXxBBSS4Amjn^XnTp^eFyGLRpmBOMghtEW6Jrtb zsbd{H!HPlEUwC}?|)DW!`eiCtFp+U#0Rb0w%Qlq!f(fG*T!mZNVruD_oePc4S#kBX{6$16!Vx3P^%N5rr1uW`|o&Pd|(bW54GA%xZj| fqMBzr`)`S2C|{PQWHKawk49iqYm@iaZpHowhCACK literal 0 HcmV?d00001 diff --git a/docs/twitter/2076893128515112995/media/2076892038314741815_1.png b/docs/twitter/2076893128515112995/media/2076892038314741815_1.png new file mode 100644 index 0000000000000000000000000000000000000000..801047068f2ef7ff642a878cbb7438740aac6fe7 GIT binary patch literal 4607 zcmc&%`#%%j|6l3dl}bY8mXt0SQn_s;*CLY3vW<$6%P@1>=F*K&5@iybN^W89HX@~s z%7kE`Ffs|OOCcO+Yf99 z001)Q?W`^X02^46c73aqL^E@o7cA+NE;+bbOZrMlT?f?E)T~Pi0I)s`SeK~ouZPF_ z*8%{t`RA=HTx0TP@M(8)PwY;-J}@F&&Hr;IrEO*70p~kh9#Cn+^$DX_gLYd1w~k!9+UWyeL`>s`t?Ixwm6u-*e0WW? z4fo!JJqT1b3Z(Mck0{rtz6a~i4d&x|GyvOsa}J?AEQj$+CTl2%#-)EB{JCM;_+<+T$uixD+#qobz--H~ ztDF>)`w!FcKg)MVd%c*UoQ3}#y+zwU|NMfPqRWFVJ1tYi+xz7#)L(bJ$i(wYU$#AQ zuDj-@nbw&l<~(!KO8cD5+`JYGS>D#&SHh?4C2f6r&RtK-fRn+_)T;`QS+bPuA|Gvs zSO{o50qhz$NIWsH+Yo;*a-Y?bPd?68L9|N8C>Z*BqwC0+Za3flygE3H{l070WTeV< z2Lv@BC#oPCy0eIUJJmb8)R%u*eOCYVK+RO_WL@5Z)yQNC#H3Un*`vkPB|}yBu(%rm zfM*#Nm8I`x&$7_B8~)2i#lO}~pu#Sm*8h*aEVMea>1xN>KZ!4QD>`hh!|zMp0RSA7 zT}V`UCbKl77IsR}%f*5e~nrRt=IoFaYGaQ+c}!2p!a8P>O7DwM6A zZX6sq|CH0nfwl`-J^_ehilU$W7K+fOgmHSjmf8jYOPTk4yThH`*LjVnA9jZeNfBDfh99E^HpR|70in59PG){0t-U=nTBXJ-u$z2RIsop0hTLp!3cO*0w$dZf?wBWecJu-fcU8C#(9 zdL|;?v}7e4J8Lv(I*|-)iZi@w**H=v5|sS|0NA{5D%$wuAO##45md=^@*93-ys5&j z16(T(WKYQ?zug9di&VopEoc3e+W1};LpQ09kKg93>1S^aerl;5%{}DYt7)y^(^C}a z^kf0TSjmWTH^W-_r@iXlwFwG0Sfu)*PFh@i7eJF~ATv?9ltk|Gl{MeQe~^}2of8?y zLXx{)4-ZG38dHEkcWq4~56-zh%;-=;oDb|Xc3EBr;-PsKcUdPn0V#c`x z;a-PA?0bD^8^KgWNV`gE`G5p)_62)YF6TkWiIq zO1)!OY{LcGr9w{^M-y{ux`_sOHKYF1l0K9fn0tD_n)7PGCrand=7PxZj$-=EvYlVg(}w6sIOjin;%Dw7P-v-PEe~RKcbpp=a%fNw!M! za$R2Ar*m=8AEn{fo*3u}yPb%c?Nvc4kI?Seam>jJbP&Qo67<{I$Ss0);SW)Z`2-Q6xWs{`VDnZS&SDS-Q=xz8nY(6$^ zV}qth_se^vzMyQdp_61npMfPsa>}@2-KNcec;h{b`ffrz`);hgl;5f=1-JlP#sK|Y@&JPMUqjNnR(eHhZc0< zH&tF$2Dv2>k3*lcfb+JnAGJ?aSR;p?b=~mwl1AFTqNDEWhMd?W(K`vvELq=cZ!Z7{lS$NtgrFE;ez&eJ(pV&d|xVl`s)Zc!Kq)t<;nwb z#>F4eb?l=~k65m(gr>|s_2WxwBT(c!UXv1b>_#@{aVQ+I5t|?IUcAllmEOt0HP! zIqsN!$ZZ3dq%j$kH#(#wHMbfVk;;BkTx3rOn)#3j zqe;2v7%Gb5>YL#Pt-nFTZ=uBGu9f*Ln+~fzKCd%nU1oiYE@SPw5mdyhsQfach=*E= zLzn0X+rK$|Jo%k+B)_6odZ^|sB))vzmFDDD&FxJo7uE-T&YrbklxiC1Zi=M6m(Na! z@gC25E~@f?pOLekwO0>G_%d*55hm6Cq`QK>Jw1t>U2W#3`lleIec^F%xlU@(>RHyp zJi&)`kVuGoW#0WjeYWv1Eo)r+F`NJ3`!VnB1pB0G$yng`MvgW74FAW&Byyl%%u=!c zElUN%&Hv9uWHmvf_wV|DCvHnk^;FtwJoXb4bPMcXCpzB0>D#u1 z<`jMI($!PW50pauq6gek)u z*#BAkl&1WJRCG4Y9jOj3?V=fvgS*8`-=+n!(9h$(2)XlcjUL0x$z?TAwwVXT_rXpD zs>~QWV*MA`Yo*Y=)I`;LygoL>(vx*$IP`74#7f2zS0Ltgw(hE|5czxWhKc9oxpPOT zzGYi*Uwjvl|fStF(KA) z`G(}Kri=;;KkV!wpi)FiHk~;FHtg%=7Wc*QJ#>wqJ>u#Xc=*Kl#D_* z%Jb-w8}`8h6L@6dUIpEAUptS`WL^_h1!Kw(mhuOau%)_}Pg)q)d z=zAK<>U78t*Ta~8oTqL02Hfty)1WL|(;klBb<;9`!xg6BTb01Ny*j2OiOhFlxOq1|!fSG@;_JVRxfk^AYsQg9_f(`t39@XU!(yc%}VmEH-*5T<#=QVN+2-(CG z@%K7?5dqaT=nvTy+3o`7ziBY|P~Vfp?bREB*F?JQ5H%Vr`Q=L3_E;U!YEgo5L{W_f z%|?7{q60&R#48=fDxUGYdn|bfy^-!c3TKoXDh9to4`RMHpQ}=Yz}LQ|wAg?>v&?)C zx6!kB1y7F7(G)@V$!gzPUeYmAs4{X}!9^rmHF@N|0P*E}PuXIfLwHSf!!e>jgX(L( zo3w)=b~Q{bYlmwppHC$FKLJ7B$$F-C>1GxrACC#SMTS_6k-Eq7%E#UZC+9YwtfISI twXSu=+j13;V#0v_i>7sdZy5l9@Xe!8H&zt~aJGNN^VW`5#B#QY8QY literal 0 HcmV?d00001 diff --git a/docs/twitter/2076893128515112995/thread.md b/docs/twitter/2076893128515112995/thread.md new file mode 100644 index 00000000..1a1171bb --- /dev/null +++ b/docs/twitter/2076893128515112995/thread.md @@ -0,0 +1,55 @@ +--- +title: "So I can liter error checks around stuff with little actual cost," +author: "NOTimothyLottes" +handle: "@NOTimothyLottes" +post_url: "https://x.com/NOTimothyLottes/status/2076893128515112995" +post_id: "2076893128515112995" +timestamp: "2026-07-14 04:54:43" +post_count: 6 +reply_count: 0 +repost_count: 0 +like_count: 3 +view_count: 419 +--- + +# @NOTimothyLottes — So I can liter error checks around stuff with little actual cost, + +## Post 1 (2026-07-14 04:36:51) + +Another round of getting optimized error checking. Disassembly [after syscall] shows that it works. +(1.) Volatile store __LINE__ +(2.) Volatile store "error code" +(3.) TEST if error +(4.) Conditional forward branch on error [static prediction untaken] +AS_MINIMAL_AS_ONE_CAN_GET + +![Media 1](./media/2076888631508107561_1.png) + +## Post 2 (2026-07-14 04:43:38) — reply to Post 1 + +A macro cheat sheet to try to explain how it works ... + +![Media 1](./media/2076890340057878586_1.png) + +## Post 3 (2026-07-14 04:46:54) — reply to Post 2 + +I have a collection of force inline wrappers that test returns from syscalls/functions for error and return the return. These all leverage builtin_expect so the compiler knows to make them fall through in the common case. + +![Media 1](./media/2076891161898143906_1.png) + +## Post 4 (2026-07-14 04:50:23) — reply to Post 3 + +Those force inlines call Err() on terminal error. The Err() function ensures the {__LINE__, error} stores are visible, then triggers the console drawing code to kill the app with printed error. Then it sleeps until the termination. + +![Media 1](./media/2076892038314741815_1.png) + +## Post 5 (2026-07-14 04:52:35) — reply to Post 4 + +Compiler eventually screws up, but at least it gets the fast path correct, and the slow error path gets an extra call. Effectively it conditionally forward branches to a distant call to Err() instead of just branching to the Err(). + +## Post 6 (2026-07-14 04:54:43) — reply to Post 5 + +So I can liter error checks around stuff with little actual cost, +(1.) Two stores +(2.) A CMP or TEST +(3.) An ignored on no-error branch on the first execution! [this code almost never runs 2 times]. diff --git a/docs/twitter/2076893128515112995/thread_data.json b/docs/twitter/2076893128515112995/thread_data.json new file mode 100644 index 00000000..8bfa746f --- /dev/null +++ b/docs/twitter/2076893128515112995/thread_data.json @@ -0,0 +1,110 @@ +{ + "root_post_id": "2076893128515112995", + "posts": [ + { + "post_id": "2076888631508107561", + "author": "NOTimothyLottes", + "handle": "NOTimothyLottes", + "text": "Another round of getting optimized error checking. Disassembly [after syscall] shows that it works. \n(1.) Volatile store __LINE__\n(2.) Volatile store \"error code\"\n(3.) TEST if error\n(4.) Conditional forward branch on error [static prediction untaken]\nAS_MINIMAL_AS_ONE_CAN_GET", + "timestamp": "2026-07-14 04:36:51", + "media_urls": [ + "https://pbs.twimg.com/media/HNKWJZqXwAADMnN?format=png&name=orig" + ], + "reply_to_id": null, + "quote_of_id": null, + "metrics": { + "reply_count": 2, + "repost_count": 0, + "like_count": 8, + "view_count": 1903 + } + }, + { + "post_id": "2076890340057878586", + "author": "NOTimothyLottes", + "handle": "NOTimothyLottes", + "text": "A macro cheat sheet to try to explain how it works ...", + "timestamp": "2026-07-14 04:43:38", + "media_urls": [ + "https://pbs.twimg.com/media/HNKX5DhXIAE1BG6?format=png&name=orig" + ], + "reply_to_id": "2076888631508107561", + "quote_of_id": null, + "metrics": { + "reply_count": 2, + "repost_count": 0, + "like_count": 7, + "view_count": 567 + } + }, + { + "post_id": "2076891161898143906", + "author": "NOTimothyLottes", + "handle": "NOTimothyLottes", + "text": "I have a collection of force inline wrappers that test returns from syscalls/functions for error and return the return. These all leverage builtin_expect so the compiler knows to make them fall through in the common case.", + "timestamp": "2026-07-14 04:46:54", + "media_urls": [ + "https://pbs.twimg.com/media/HNKY8qFXQAAF9Db?format=png&name=orig" + ], + "reply_to_id": "2076890340057878586", + "quote_of_id": null, + "metrics": { + "reply_count": 1, + "repost_count": 0, + "like_count": 5, + "view_count": 350 + } + }, + { + "post_id": "2076892038314741815", + "author": "NOTimothyLottes", + "handle": "NOTimothyLottes", + "text": "Those force inlines call Err() on terminal error. The Err() function ensures the {__LINE__, error} stores are visible, then triggers the console drawing code to kill the app with printed error. Then it sleeps until the termination.", + "timestamp": "2026-07-14 04:50:23", + "media_urls": [ + "https://pbs.twimg.com/media/HNKZyFTXYAAETnU?format=png&name=orig" + ], + "reply_to_id": "2076891161898143906", + "quote_of_id": null, + "metrics": { + "reply_count": 1, + "repost_count": 0, + "like_count": 2, + "view_count": 143 + } + }, + { + "post_id": "2076892591216341089", + "author": "NOTimothyLottes", + "handle": "NOTimothyLottes", + "text": "Compiler eventually screws up, but at least it gets the fast path correct, and the slow error path gets an extra call. Effectively it conditionally forward branches to a distant call to Err() instead of just branching to the Err().", + "timestamp": "2026-07-14 04:52:35", + "media_urls": [], + "reply_to_id": "2076892038314741815", + "quote_of_id": null, + "metrics": { + "reply_count": 1, + "repost_count": 0, + "like_count": 2, + "view_count": 449 + } + }, + { + "post_id": "2076893128515112995", + "author": "NOTimothyLottes", + "handle": "NOTimothyLottes", + "text": "So I can liter error checks around stuff with little actual cost,\n(1.) Two stores\n(2.) A CMP or TEST\n(3.) An ignored on no-error branch on the first execution! [this code almost never runs 2 times].", + "timestamp": "2026-07-14 04:54:43", + "media_urls": [], + "reply_to_id": "2076892591216341089", + "quote_of_id": null, + "metrics": { + "reply_count": 0, + "repost_count": 0, + "like_count": 3, + "view_count": 419 + } + } + ], + "source_url": "https://x.com/NOTimothyLottes/status/2076893128515112995" +} \ No newline at end of file