部分静态单信息形式
本文介绍了一种称为"部分静态单信息形式"（Partial SSI）的中间表示技术。与传统的静态单赋值形式（SSA）不同，SSI形式允许每个变量有多个定义点，从而更好地表示程序中的信息流。文章探讨了SSI形式的理论基础、实现方法及其在编译器优化中的潜在优势，展示了这种表示形式如何为某些优化场景提供更精确的分析能力。
相关报道
LaTeX and Inkscape define a "point" differently: LaTeX uses 1/72.27 inch (Knuth's TeX standard), while Inkscape uses 1/72 inch (from PostScript and CSS). The difference traces back to historical variations in typographic measurement standards.
Simon Willison created an experiment demonstrating how a web app running inside a CSP-protected sandboxed iframe can use a custom fetch() to intercept CSP errors, pass them to the parent window, and allow the user to add that domain to an allow-list and refresh the page.
Partial SSI is a simplified alternative to full static single information form that inserts type refinement nodes during SSA construction or optimization rather than implementing complex SSI algorithms. This approach lets compilers propagate type information from conditionals and guards to enable optimizations, as demonstrated in projects like ZJIT, Cinder, and TruffleRuby.