题图

I will be,
我将存在,
The light softly touching your body,
那道光芒轻柔地触碰你的身体,
I’ll see you when the sun rises up,
旭日升起时我会去见你,
I will be,
我将,
Everything, in everything,
成为万物 融入万物,
When the mist fades away,
当薄雾散尽的时候,
and the path shows its way,
道路显现它的方向,
the divine in your heart,
你心底的圣洁,
It’s calling out to your name,
正呼唤着你的名姓。

—— 编织光流 (For Your Name) · 铁痕电台-MSR/Edine

后端的每一步都在做同一件事:把 IR 里”以后再说”的部分,变成”现在就是这样”。

题图:@QUASARCAKE 的 X 投稿「回家」

阅读全文 »

题图

境界線の向こう側で 足掻く人々 嘆く人々 目にしながら,
境界线的那一边 挣扎着的人们 叹息着的人们 如若将之收在眼里,
沈黙することを選択するならば 僕らは共犯者 人たりえたのか,
却还沉默着选择旁观的话 那我们就是共犯 何以称为人类,
存在価値はいつだって自分の中 個々に宿る銘々の色,
存在的价值一直都在自身之中 在每个个体居宿 若我们将各自的颜色,
胸に抱いたなら 微かに灯る火が 最後の星空と どこか似ていたんだ,
抱在怀中 无论是多么微渺的灯火 那连缀的点点火光 正似那最后的星辰满空。

—— 境界線 · amazarashi

clang -O2 的中端流水线上排着相当多的 pass,但其中真正独立的算法不多,真正独立的正确性依据更少:通用理论那一章立起的 T0–T7 支撑了后文每一段证明。本文的结论也在这里——中端的复杂度主要在次序,不在算法。

本文基于 llvm-project main 分支 026e3f3c,文中每一处 file.h:line 都链到该 commit 下的具体位置(绝大多数在 llvm/ 下;少数几处引 clang/lib/CodeGen/BackendUtil.cpp,用来说明 driver 如何设定流水线开关)。谈的是中端(IR 层)优化,前端语义与指令选择不涉及。

题图:pixiv 148848095(Tiarii《Hope》,《86—エイティシックス—》的シン与レーナ)

阅读全文 »

题图

如 雪落声 将点点落向无名策,
城墙冷冷反光 残局揭果 必须得成望,
走着走着 略过规则,
方圆自成 墨染天地之格,
走着走着 只用双瞳的眼色,
看山河的颜色。

—— 无名策 · 塞壬唱片-MSR/拾贰 12/黎明鑫(阿火)/Mi/骅翎

一个 while 循环的全部设计负担

题图:望送给大家的小道具「形制朴素的棋具」(图源)。背景那盘谱出人机大战第四局——李世石执白,在全盘劣势下第 78 手弈出”神之一手”,就是图中 L11 上被两颗黑子夹住的那颗白子;此后 AlphaGo 如何,用望的话说,”昏招频出”。人类棋手在绝对未知的强大面前,凭借着直觉、灵感和不屈的意志,完成的最后一次、也是唯一一次伟大反击。

本文只谈抽象原理:循环为什么能干活、设计时有哪些选择、每个选择的代价。具体实现一律作为佐证引用——例子取自 pi(v0.84.4),文中每一处 file.ts:line 都直接链到该 tag 下的具体行;但它只是参照物,换掉这套 harness,本文每一条仍然成立。

阅读全文 »

题图

When voice from the memories call
当旧忆传来声声呼唤
Unresolved the riddles stood ever long
昔日的谜犹然未解
Remember the colours of evergreen
莫忘那恒碧长青
The cherished answer bound in us all
正是你我珍存于心的解答

—— 寻诀

一块只读张量总算混成了对象

题图:pixiv 147576297

阅读全文 »

题图

无声子夜翩跹指间
谁拾获着散落的碎片
你说忘了吧又回头
不舍得远走
如果你迷失在无明中
我会为你守候
等到春暖花开的时候
都会再度重逢

—— 焚蝶 · 铁痕电台-MSR/Aurora Sky

llama2的架构总算演进到了第三代

题图:《明日方舟:终末地》庄方仪潜能三插图

阅读全文 »

祸不单行,这次是双系统archlinux休眠之后就没管了。第二天启动windows刚想玩几把三角洲,windows上恰好有win-btrfs。一来一回fs就崩掉了。

蓝得盆,怎么能这么不小心呢。于是博客开启了第二次重生——

最近也找到了一份心仪的工作,在国内某家RISCV芯片公司里开发clang及工具链,后续可能会写几篇关于RISCV和clang的文章。

晚安,诗音

0%