一点从业人员的吐槽。

学校的 A64FX 机器上最近装了 ARM 官方的编译器和加速库套件，我摸了一下。令我无语的是 ARM 的手册里并没有说如何为向量数据类型使用数学函数，只是说他们的编译器可以做自动向量化。我找了一下，反而是从华为鲲鹏的网站上找到了他们的数学库函数说明（顺带吐槽一点华为的数学库也叫 SVML，和英特尔的 Short Vector Math Library 一样），其中列出的接口和此前 GCC 在 x86 平台上的 libmvec 接口命名方式相同。我又查了一下 ARM 加速库里的 libamath 的符号表，果然在里面找到了对应的 SVE 版本接口。下面是我试验过的 ASIMD & SVE 向量数学库接口列表。

久闻 MAGMA 大名若干年以后，最近终于要用到它来做测试。记录一下安装和使用的一些步骤。