xyenchi's blog

JITLink 和 RuntimeDyld

Mon, 18 May 2026 00:00:03 +0000

没想到上次更新已经是上个月。
llvm 中 RuntimeDyld 和 JITLink 都是 JIT 链接器。
RuntimeDyld 是早期运行时链接器，加载目标文件（ELF/MachO/COFF）、分配内存、解析symbol、执行 relocation。但 target-specific 代码太多，每个架构都要手工写 relocation patch 逻辑。
llvm 后来引入 ORC(on request compilation) v2。JITLink 是 graph-based linker

大学习nan

Thu, 16 Apr 2026 00:00:03 +0000

近日观测到dram和冰冰对RISC-V isa manual float point部分进行了补充说明的patch。

冰冰解释了 printf 打印 float 会丢失符号位，因为有 float 转 double 的过程，但是直接printf double就没有问题。

icenowy@edelgard [ tmp ] $ gcc test.c 
icenowy@edelgard [ tmp ] $ ./a.out 
-nan
icenowy@edelgard [ tmp ] $ cat test.c 
#include <stdio.h>

union u {
        unsigned long i;
        double f;
};

int main()
{
        union u u;

        u.i = 0xfff0000001000000ul;

        printf("%f\n", u.f);

        return 0;
}

恰好我需要修的llvm mlir测例中出现了如下内容：

  // CHECK-NEXT: -nan
  %h = arith.constant 1.0 : f64
  %h_p = arith.constant 0xfff0000001000000 : f64
  call @func_powff64(%h, %h_p) : (f64, f64) -> ()

报错：

openEuler RISC-V使用tmux乱码解决方法

Wed, 15 Apr 2026 00:00:03 +0000

添加 ~/.tmux.conf 配置文件

set -g default-terminal "xterm-256color"
set -g assume-paste-time 0
set -g escape-time 0
set -g history-limit 100000
set -g terminal-overrides ',*:smcup@:rmcup@'

配置终端

export LANG=en_US.UTF-8
export LC_ALL=en_US.UTF-8

重载一下tmux配置文件tmux source-file ~/.tmux.conf
这样其实也是根本没有debug出来root cause的囫囵吞枣解法（

仰卧起坐

Tue, 14 Apr 2026 00:00:03 +0000

不知不觉一个月没更新，这一个月去干啥了呢？
想要修pytorch的cpuinfo里L1/L2 cache size问题，但是看不动代码。办公室退租的事情也要办了，一堆东西不知道拿它们怎么办才好、RISC-V advocate的写文章、办活动任务、不知道明天和意外哪个先来的突发状况。有时候觉得是不是能有心力写记录也是一种幸福的表现呢。

一些记录

Mon, 09 Mar 2026 00:00:03 +0000

测试集发现了一个 flaot 到 int 转换的问题

python test/test_tensor_creation_ops.py TestTensorCreationCPU.test_float_to_int_conversion_nonfinite_cpu_int16

python
import torch
import math
torch.tensor([math.inf, -math.inf, math.nan]).to(torch.int16)

结果是 tensor([-1, 0, -1], dtype=torch.int16) 在 aten/src/ATen/native/cpu/CopyKernel.cpp 中的 copy_kernel 函数 iter.has_contiguous_first_dim() 条件为真。

python test/inductor/test_aot_inductor_arrayref.py AOTInductorTestABICompatibleCpuWithStackAllocation.test_misc_1_max_autotune_True_cpu_with_stack_allocation
python test/inductor/test_cpu_select_algorithm.py TestSelectAlgorithmCPU.test_aoti_bmm_unique_identifiers_cpu_float32
python test/inductor/test_cpu_select_algorithm.py TestSelectAlgorithmCPU.test_int8_woq_mm_batch_size_17_mid_dim_1_in_features_144_out_features_1024_cpu_bfloat16

>>> L1_cache_size = torch.cpu.get_capabilities().get("l1d_cache_size", 0)
>>> print(L1_cache_size)
0
>>> print(torch.cpu.get_capabilities())
{'l1d_cache_size': 0, 'num_logical_cores': 64, 'num_physical_cores': 64, 'l2_cache_size': 0, 'num_sockets': 1, 'cpu_name': '', 'architecture': 'riscv64'}

测试在读 cpuinfo 的时候读到L1 cache size是0，还有救

python test/inductor/test_binary_folding.py FreezingCpuTests.test_conv_binary_folding_cpu 看起来是精度问题，可能也得救

python test/inductor/test_compile_subprocess.py CpuTests.test_remove_noop_slice1_cpu图生成失败问题，log里建议重新跑

linalg

Tue, 03 Mar 2026 00:00:03 +0000

好几次都卡在 test_linalg 上了，跑得好慢，专门跑 python test/test_linalg.py -vv 还有报直接跑太慢了跳过的。

test_linalg_matrix_exp_analytic_cpu_complex128 (__main__.TestLinalgCPU.test_linalg_matrix_exp_analytic_cpu_complex128) ... skipped 'test is slow; run with PYTORCH_TEST_WITH_SLOW to enable test'
test_linalg_matrix_exp_analytic_cpu_complex64 (__main__.TestLinalgCPU.test_linalg_matrix_exp_analytic_cpu_complex64) ... skipped 'test is slow; run with PYTORCH_TEST_WITH_SLOW to enable test'
test_linalg_matrix_exp_analytic_cpu_float32 (__main__.TestLinalgCPU.test_linalg_matrix_exp_analytic_cpu_float32) ... skipped 'test is slow; run with PYTORCH_TEST_WITH_SLOW to enable test'
test_linalg_matrix_exp_analytic_cpu_float64 (__main__.TestLinalgCPU.test_linalg_matrix_exp_analytic_cpu_float64) ... skipped 'test is slow; run with PYTORCH_TEST_WITH_SLOW to enable test'
test_linalg_matrix_exp_batch_cpu_float32 (__main__.TestLinalgCPU.test_linalg_matrix_exp_batch_cpu_float32) ... ok
test_linalg_matrix_exp_batch_cpu_float64 (__main__.TestLinalgCPU.test_linalg_matrix_exp_batch_cpu_float64) ... ok
test_linalg_matrix_exp_boundary_cases_cpu_complex128 (__main__.TestLinalgCPU.test_linalg_matrix_exp_boundary_cases_cpu_complex128) ... ok
test_linalg_matrix_exp_boundary_cases_cpu_complex64 (__main__.TestLinalgCPU.test_linalg_matrix_exp_boundary_cases_cpu_complex64) ... ok
test_linalg_matrix_exp_boundary_cases_cpu_float32 (__main__.TestLinalgCPU.test_linalg_matrix_exp_boundary_cases_cpu_float32) ... ok
test_linalg_matrix_exp_boundary_cases_cpu_float64 (__main__.TestLinalgCPU.test_linalg_matrix_exp_boundary_cases_cpu_float64) ... ok
test_linalg_matrix_exp_compare_with_taylor_cpu_complex128 (__main__.TestLinalgCPU.test_linalg_matrix_exp_compare_with_taylor_cpu_complex128) ... ok
test_linalg_matrix_exp_compare_with_taylor_cpu_complex64 (__main__.TestLinalgCPU.test_linalg_matrix_exp_compare_with_taylor_cpu_complex64) ... ok
test_linalg_matrix_exp_compare_with_taylor_cpu_float32 (__main__.TestLinalgCPU.test_linalg_matrix_exp_compare_with_taylor_cpu_float32) ... ok
test_linalg_matrix_exp_compare_with_taylor_cpu_float64 (__main__.TestLinalgCPU.test_linalg_matrix_exp_compare_with_taylor_cpu_float64) ... ok
test_linalg_matrix_exp_no_warnings_cpu_complex64 (__main__.TestLinalgCPU.test_linalg_matrix_exp_no_warnings_cpu_complex64) ... ok
test_linalg_matrix_exp_perverse_nan_values_cpu_complex128 (__main__.TestLinalgCPU.test_linalg_matrix_exp_perverse_nan_values_cpu_complex128) ...

虽然搜到了一些 openblas 只能设置单线程的 issue，但设置了还是没用, 总是在 test_linalg_matrix_exp_perverse_nan_values_cpu_complex128 单核跑满 100% 不动了。不过 pytorch 的测试集可以设置 @slow 的 tag ，跳过这个测试。
结果又有 setuptools 需要 < 82.0.0

rsync 制作系统镜像参数不全引发的惨案

Tue, 03 Mar 2026 00:00:03 +0000

近日使用 leader 的梯子失败，使用 ping 进行 debug。
发现 ping 居然 missing cap_net_raw+p capability or setuid
召唤了同事客服，说之前也有类似问题，重装软件包即可解决。
查看了一下原本的软件包和新装的软件包的信息，没有任何区别，包括 build 机器的 id 都一样。虽然在想要找到打包脚本的过程中遭遇了赛博鬼打墙，但是无敌的群友们还是翻出了，linux kernel 在 3.0 版本就支持了 icmp 不需要 sudo 权限。iputils 包中的 set cap 脚本只是给在构建过程中指定了需要 set cap 的情况生效。 https://github.com/iputils/iputils/blob/9900265d41e1a71f3967c6484798a2fff1ffc48b/ping/meson.build#L26

https://github.com/iputils/iputils/blob/9900265d41e1a71f3967c6484798a2fff1ffc48b/meson_options.txt#L27

于是排除了打包问题，找到了制作系统镜像的脚本，里面的 rsync 没有 X 参数，会丢失 xattr。
推荐使用 rsync -aAXH 进行完整的系统备份

pytorch测试集缺少monkeytype

Thu, 26 Feb 2026 00:00:03 +0000

近日为 pytorch riscv 进行测试，过程中有缺少 python 包 monkeytype 的报错，但是 requirements.txt 中没有相关包。
找到 import monkeytype 的源码。
monkeytype 可以通过在运行时监控实际运行的类型信息，自动为现有的 python 代码库生成静态类型注解。
看起来影响不大，先不管。

buddy-mlir archlinux cross build

Wed, 25 Feb 2026 00:00:03 +0000

cross MLIR

试了一下直接用系统的clang，有 /usr/bin/ld: unrecognised emulation mode: elf64lriscv,看来还真得源码构建一遍llvm。

Build Local LLVM/MLIR

缺 pybind11 nanobind python-numpy

Build Local buddy-mlir

缺 python-distlib pkg-config texinfo

震惊了，在缺依赖的构建中发现竟然构建了一整个 riscv-gnu-toolchain ,我麻了，跟各种构建系统和依赖斗智斗勇，头好晕，要长脑子了。

buddy-mlir archlinux cross build

Tue, 24 Feb 2026 00:00:03 +0000

vim 移动到行首 shift+6。
RISC-V 机器 pacman 里面没有 nanobind ，在 prepare 阶段从源码构建一个。

prepare() {
  cd "$srcdir/$pkgname"

  # vendor nanobind
  git submodule add https://github.com/wjakob/nanobind.git third_party/nanobind || true
  git submodule update --init --recursive
}

build 阶段指定 nanobind 的路径

-DCMAKE_PREFIX_PATH="$srcdir/$pkgname/third_party/nanobind"

CMake Warning: Manually-specified variables were not used by the project:

NANOBIND_BUILD_TESTS

太好玩了，buddy-mlir 依赖 nanobind，但是 ArchLinux RISCV-V 没有这个包，虽然我可以手动打出来但是 status page 显示缺少依赖 python-tensorflow。咨询了肥猫大佬，是在 checkpkg 阶段跑测试依赖的。
虽然我现在打出来的 nanobind 应该也没啥问题，但是需要在 buddy-mlir 的 PKGBUILD 里面重新 build 一遍才能成功打出来。可能还是直接 cross build 比较好。

Pytorch2.8 archlinux cross build

Mon, 23 Feb 2026 00:00:03 +0000

没想到 build 个 2.8 比 mainline 还困难, 看起来 python 3.14 有很多兼容性问题需要修，还是算了。

/build/python-pytorch/src/pytorch/torch/csrc/dynamo/cpython_defs.c:228:20: error: invalid use of incomplete typedef ‘_PyInterpreterFrame’ {aka ‘struct _PyInterpreterFrame’}
  228 |     Py_DECREF(frame->f_funcobj);

Pytorch的测试集

Fri, 20 Feb 2026 00:00:03 +0000

近日我非常想回家过年不想干活，但是回家过年的时候心里又非常不安年后的组会。于是我一边回家过年一边不安。

Command:                                                                                             
g++ /tmp/tmpbsdfhbwi/header.hpp -D TORCH_INDUCTOR_CPP_WRAPPER -D STANDALONE_TORCH_HEADER -D C10_USING
_CUSTOM_GENERATED_MACROS -O3 -DNDEBUG -fno-trapping-math -funsafe-math-optimizations -ffinite-math-on
ly -fno-signed-zeros -fno-math-errno -fno-finite-math-only -fno-unsafe-math-optimizations -ffp-contra
ct=off -fexcess-precision=fast -fno-tree-loop-vectorize -march=rv64gc -fPIC -Wall -std=c++17 -Wno-unu
sed-variable -Wno-unknown-pragmas -pedantic -fopenmp -I/usr/include/python3.11 -I/home/chenyixuan/pyt
orch/torch/include -I/home/chenyixuan/pytorch/torch/include/torch/csrc/api/include -E -P -o /tmp/tmpbsdfhbwi/header.i

Output:
In file included from /home/chenyixuan/pytorch/torch/include/torch/csrc/inductor/cpp_wrapper/cpu.h:3,
                 from /tmp/tmpbsdfhbwi/header.hpp:1:
/home/chenyixuan/pytorch/torch/include/torch/csrc/inductor/cpp_wrapper/common.h:9:10: fatal error: pybind11/gil_simple.h: No such file or directory
    9 | #include <pybind11/gil_simple.h>
      |          ^~~~~~~~~~~~~~~~~~~~~~~
compilation terminated.

经过漫长的等待终于发现了这个常见错误，然而无论安装使用系统的 pybind11 还是在 python 虚拟环境里也装一个，或者是学习 ArchLinux 的 PKGBUILD中使用环境变量 export use_system_pybind11 = on 都无法解决。当然，使用 export use_system_pybind11 = off 也无法解决。

跟 Python 虚拟环境斗智斗勇

Wed, 11 Feb 2026 00:00:03 +0000

近日我测试 pytorch 在 RISC-V 上有什么可以修的简单项。发现即便是在虚拟环境中 test/run_test.py 也会先找系统中的 pytorch。
所以我对着旧版本 pytorch 的 fail 项修了半天不生效。
虽然之前明明没有 LAPACK, sycl 但却进行测试，还有旧的函数调用等种种迹象都暗含可能测错，但我竟没有引起警惕。
export PYTHONPATH=$PWD 之后终于正确了，之前 fail 的 test cpp extension 等模块竟然会在测试过程中没有的话就自动编译安装，于是花费的时间大幅上升，export MAX_JOBS=32 竟然把机器给跑挂了，现在改成16继续测。
与此同时我接到了 MLIR 相关通知，于是又开始在archlinux上打包 pytorch 2.8以免把虚拟环境中的2.11创烂。
虽然可能有同时存在 2.8 和 2.11 随便我用的方法，但机器性能估计不足以维系，先使用 cross build。

Pytorch Baseline

Wed, 04 Feb 2026 00:00:03 +0000

虽然还难以下手支持 RVV，但想到也许我该先测一个 Baseline 来见证 RVV 的负优化。

正常使用在 PyTorch 文件夹路径下使用 python test/run_test.py --keep-going即可。
虽然官方会在缺依赖的时候提醒你使用 .ci 路径下的 requirement.txt 安装依赖，但是某些包（比如 numpy）和本人使用的 openEuler python 3.12 有在 fortran 相关依赖上的冲突。于是选择缺什么安什么。
大致安装了如下依赖，如果有漏的，也可以顺着网线来找我。
使用系统包管理器安装 sudo dnf install python3-scipy
使用 pip 在 python 虚拟环境中安装 pip install expecttest boto3 pytest-rerunfailures pytest-flakefinder

Intel Extension for Pytorch

Tue, 03 Feb 2026 00:00:03 +0000

Device-agnostic

Eager-Mode

Custom Modules
Optimizers
Quantization

Graph-Mode

Custom Fusion Passes
oneDNN Fusion Passes

ATen Ops

Custom Ops

Graph Ops

Custom Fuses Ops
oneDNN Fused Ops

Kernels

GPU Custom & ATen Kernels

oneDNN GPU Kernels

oneMKL GPU Kernels

CPU Custom & ATen Kernels

oneDNN CPU Kernels

oneMKL CPU Kernels

torch.compile

Tue, 03 Feb 2026 00:00:03 +0000

训练和推理后端

torch.compile(m, backend="inductor")
torch.compile(m, backend="cudagraphs")
torch.compile(m, backend="ipex")

仅推理后端

torch.compile(m, backend="tensorrt")
torch.compile(m, backend="ipex")
torch.compile(m, backend="tvm")
torch.compile(m, backend="openvino")

Mon, 02 Feb 2026 00:00:03 +0000

上一次组会leader说让我弄清楚 torch.compile 的过程，这一次内容就是 Aten 的开源贡献了，我填入会议 agenda 的时候大受震撼。但是不影响 ATen 本来就在 RISC-V 上面可以编译运行。这次组会有人也和我的想法差不多，让 RISC-V 成为 torch.compile 可以调用的某个后端，或者更下一层 Triton 的后端。但貌似他们想造个别的什么轮子。

pytorch torch.compile

Sun, 01 Feb 2026 00:00:03 +0000

Dynamo 手册

torch.compile 的前端 Dynamo 是：
1.通用 Python 字节码解释器
2.保留 Python 灵活性的同时允许图编译

在函数编译过程中， Dynamo 解释 Python 字节码提取成 PyTorch 操作序列的 1 或多个 FX 图，后端可能会后期优化。

function –Dynamo–> 1.FX graph 2.Python bytecode 3.guards
TorchInductor 是支持将 Dynamo Graph 转换成 Triton 或者 C++/OpenMP 的其中一个后端。

guard 会检查张量参数的形状。
编译生成 guards 失败时就会重新编译。

torch.compile 默认张量形状是固定的，并基于这一假设进行 guard。
但也可以引入 dynamic shapes 接受不同形状的张量输入，避免每次形状不同都重新编译。

PyTorch RISC-V CI

Thu, 15 Jan 2026 00:00:03 +0000

本来准备在自己仓库摸一个出来，但是任务貌似被其他 team 接管了。主要代码是 python 和 RV 没很大障碍。现在上游的 docker 从 pytorch 的 aws 私有仓库拉镜像是最大的困难了吧？？？
在 docker 官方仓库拉的镜像确实少了很多依赖，感觉还是可以做完的。说明干活不能太摸。。。

Transformers RISC-V

Sun, 11 Jan 2026 00:00:03 +0000

没想到，转换成gguf格式，需要变形金刚。
使用 pytorch 运行大语言模型，需要用到 transformers，但是 RISC-V 没有。
先用 llama.cpp 试试。

使用花里胡哨前端网站 hugging face拉取你最喜爱的大预言模型吧！
安装完 python-transformers, python-pytorch, 发现pacman里没有 sentencepiece。
快来一起使用有毒的 python 虚拟环境吧！

python -m venv ~/.venv/sentencepiece
source ~/.venv/sentencepiece/bin/activate
pip install sentencepiece pytorch transformers

pytorch 下了一堆，令人害怕。
成功搭建起可以使用 llama.cpp 中的 convert_hf_to_gguf.py 的 python 虚拟环境将大语言模型转换成 .gguf 格式之后，把 .gguf 文件传到 K1 上，成功跑起来了三秒蹦出一个字的大语言模型。
当然，以 K1 的性能不能按照默认配置跑。

Loading model... \[1]    1812866 killed     ./build/bin/llama-cli --model ../deepseek-r1-distill-qwen-1.5b.gguf -p

需要修改配置：

./build/bin/llama-cli \
  -m ../deepseek-r1-distill-qwen-1.5b.gguf \
  -p "你好" \
  -c 1024 \ // 降低 KV cache
  --no-mmap \ // 避免页缓存 + OOM
  --mlock \ // 防止被 swap
  -t 1 // 单线程

但是只用 llama.cpp 跑是不行的，需要用 pytorch 。

Pytorch RISC-V

Mon, 05 Jan 2026 00:00:03 +0000

官方 github 仓库CI

起了一个 ubuntu RISC-V 的 docker，使用 gcc14 和 python 3.12，但是 fail 很久了没修。配置文件链接

x86 cross

酸鸽给 ArchLinux RISC-V python-pytorch 2.6.0 打了包，patch 文件链接

在 K1 上安装试了一下，不能直接用。

Python 3.13.11 (main, Dec 17 2025, 07:50:59) [GCC 15.2.1 20251112] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> import torch
Traceback (most recent call last):
  File "<python-input-0>", line 1, in <module>
    import torch
  File "/usr/lib/python3.13/site-packages/torch/__init__.py", line 405, in <module>
    from torch._C import *  # noqa: F403
    ^^^^^^^^^^^^^^^^^^^^^^
ImportError: libprotobuf.so.29.2.0: cannot open shared object file: No such file or directory

经查询 ArchLinux 上的 libprotobuf 版本为 31，但是进行软链接仍找不到，于是尝试重新构建。

既然已经打成功了早期版本的包，何不复用。于是学习了 ArchLinux 打包指南其中 asp 已不可用，使用pkgctl repo clone --protocol=https python-pytorch获取最新版 ArchLinux 官方 PKGBUILD。根据酸鸽的riscv64 patch进行修改。
主要是禁用了 cuda 删除了一些 RISC-V 中没有的包依赖。
跑了一整天摸鱼之后发现，-march=rv64gc 被错误地 parse 了。

copying torch/utils/data/datapipes/datapipe.pyi -> build/lib.linux-riscv64-cpython-313/torch/utils/data/datapipes
running build_ext
-- Building with NumPy bindings
-- Not using cuDNN
-- Not using CUDA
-- Not using XPU
-- Not using MKLDNN
-- Not using NCCL
-- Building with distributed package: 
  -- USE_TENSORPIPE=True
  -- USE_GLOO=True
  -- USE_MPI=False
-- Not using ITT
Copying functorch._C from functorch/functorch.so to /build/python-pytorch/src/pytorch/build/lib.linux-riscv64-cpython-313/functorch/_C.cpython-313-riscv64-linux-gnu.so
copying functorch/functorch.so -> /build/python-pytorch/src/pytorch/build/lib.linux-riscv64-cpython-313/functorch/_C.cpython-313-riscv64-linux-gnu.so
building 'torch._C' extension
creating build/temp.linux-riscv64-cpython-313/torch/csrc
-march=rv64gc -mabi=lp64d -O2 -pipe -fno-plt -fexceptions -Wp,-D_FORTIFY_SOURCE=3 -Wformat -Werror=format-security -fstack-clash-protection -fno-omit-frame-pointer -fPIC -I/usr/include/python3.13 -c torch/csrc/stub.c -o build/temp.linux-riscv64-cpython-313/torch/csrc/stub.o -Wall -Wextra -Wno-strict-overflow -Wno-unused-parameter -Wno-missing-field-initializers -Wno-unknown-pragmas -fno-strict-aliasing
error: command '-march=rv64gc' failed: No such file or directory

ERROR Backend subprocess exited when trying to invoke build_wheel
==> ERROR: A failure occurred in build().
    Aborting...
==> ERROR: Build failed, check /var/lib/archbuild/extra-riscv64/xyenchi/build

于是删了 PKGBUILD 中加 add_definition 到 cmake 里面的方法，写了 CFLAGS 和 CXXFLAGS，重新跑。
看起来还是会把 CFLAGS 识别错误，可能原本的 CC 不存在，改成 /usr/bin/gcc 试试。
改 /usr/bin/gcc 挺成功的，就是找不到 ROCm 相关的 .so 文件。貌似 ROCm 不支持 RISC-V 但是旧版本的打出来了。禁用掉试试。
使用该 PKGBUILD 可以打出 pytorch 2.9.1，但仍需从 ArchLinux 官方 GitLab 仓库拉取相应 patch。

起

Tue, 23 Dec 2025 11:30:03 +0000

A 是符文学院生命学派吊车尾，凭借 A 三句高级咒语用错两个语素的水准，既钻研不出来生命的奥秘，也探索不了人体极限。回忆起当初自己离开自幼生活的乡村来到符文学院学院求学时的雄心壮志，A 像是要拿魔物泄愤一般，击杀魔物的速度更快了一些。清理完受魔物侵袭的村庄的委托，A 与好友兼组员兼同病相怜吊车尾小伙伴 B、C在村庄的小酒馆歇脚。 “诶，你们听说了吗？生命学院派去亚特兰蒂斯探索古代遗迹的先遣队发现了”

20251224

Tue, 23 Dec 2025 00:00:03 +0000

opAttr 的 enum 是 uint32_t，在添加第 32 个 attribute 的时候报错了。
貌似可以不使用移位，而使用具体数值，移位可以方便用 | 拼接。
最近发现博客总是不更新最新一篇，试了一下发现是格式里时间比触发CI的要晚。

//vslidedown.vx vd, vs2, rs1
VI_CHECK_SLIDE(false);

const uint128_t sh = RS1;
VI_LOOP_BASE

reg_t offset = 0;
bool is_valid = (i + sh) < P.VU.vlmax;

if (is_valid) {
  offset = sh;
}

switch (sew) {
case e8: {
  VI_XI_SLIDEDOWN_PARAMS(e8, offset);
  vd = is_valid ? vs2 : 0;
}
break;
case e16: {
  VI_XI_SLIDEDOWN_PARAMS(e16, offset);
  vd = is_valid ? vs2 : 0;
}
break;
case e32: {
  VI_XI_SLIDEDOWN_PARAMS(e32, offset);
  vd = is_valid ? vs2 : 0;
}
break;
default: {
  VI_XI_SLIDEDOWN_PARAMS(e64, offset);
  vd = is_valid ? vs2 : 0;
}
break;
}
VI_LOOP_END

头文件里面有 vd = vs2，不能再在 decode.hpp 里面写了。

20251211

Thu, 11 Dec 2025 11:30:03 +0000

switch (sew) {
case e8: {
  VI_XI_SLIDEDOWN_PARAMS(e8, offset);
  vd = is_valid ? vs2 : 0;
}
break;

和类型斗，其乐无穷。

20251209

Tue, 09 Dec 2025 11:30:03 +0000

#define VI_XI_SLIDEDOWN_PARAMS(x, off) \
  auto &vd = P.VU.elt<type_sew_t<x>::type>(rd_num, i, true); \
  auto vs2 = P.VU.elt<type_sew_t<x>::type>(rs2_num, i + off);

和类型斗，其乐无穷。

20251204

Thu, 04 Dec 2025 11:30:03 +0000

如何编造出 P.VU.vstart->read()

20251203

Wed, 03 Dec 2025 11:30:03 +0000

vslidedown

没有 vd

20251202

Tue, 02 Dec 2025 11:30:03 +0000

vslideup

有 vd，CustomOperator.def内容是对的，需要区分开 vslideup 和 vslide1up。

20251201

Mon, 01 Dec 2025 11:30:03 +0000

vslide1up

变量只能滑动一个元素，但也支持插入一个标量整型数字在空位。

vslide1up.vx vd, vs2, rs1, vm    # vd[0] = x[rs1], vd[i+1] = vs2[i]

vslide1up指令把 x 寄存器的参数放在目标向量寄存器的0号位，需要保证0号元素是激活的，否则遵循当前的 mask agnostic/undisturbed 策略。
如果 XLEN < SEW，值会被符号扩展到 SEW 个 bits。
如果 XLEN > SEW，取低位，忽略高位。

剩下的活跃 vl - 1 个元素从下标为 i 的源向量寄存器组复制到下标为 i+1 的目标向量寄存器组。

vl 寄存器指定了目标向量寄存器会被源寄存器覆盖最多多少，剩下超过 vl 的部分会根据当前的 tail policy 处理。

十一月工作月更

Sat, 15 Nov 2025 11:30:03 +0000

社区活动

参加宁夏理工的 RISC-V 校园行。宁夏理工的社区氛围不错，不愧是之前举办过安同校园行的学校。
分享过程中发现不乏大一新生来参加活动，Slides 加入更多内容的决定是对的。后续可能更新一些如何区分指令集架构，放入教程链接。
参加应急管理大学 RISC-V 校园行，没啥活力，结束后有签到领学分环节。

RIF

还是需要看 IEEE 754 获取一些前置知识，之前调用 roundToInt 函数的方法不对。fadd函数里面还套了一层。
在 RIF 的头文件中使用函数改写 softfloat_roundingMode 即可。

vrgather

当 vlen = 128 bit，sew = 64 bit时，因为进行测试设置的 vl 是5，vlmax = 2，小于 vl，所以 vsetvl 指令一直非法，vl 没有设置成功，intrinsic 的 c 测例中多进行了循环。
在我看来别的指令也应该收到影响，但是由于复用 spike 头文件中并没有与 i 相关的展开，掩盖了这一可能的问题，但也可能是我没想清楚，等待复议。

spike

template<class T> T& vectorUnit_t::elt(reg_t vReg, reg_t n, bool UNUSED is_write) {
  assert(vsew != 0);
  assert((VLEN >> 3)/sizeof(T) > 0);
  reg_t elts_per_reg = (VLEN >> 3) / (sizeof(T));
  vReg += n / elts_per_reg;
  n = n % elts_per_reg;
#ifdef WORDS_BIGENDIAN
  // "V" spec 0.7.1 requires lower indices to map to lower significant
  // bits when changing SEW, thus we need to index from the end on BE.
  n ^= elts_per_reg - 1;
#endif
  reg_referenced[vReg] = 1;

  if (unlikely(p->get_log_commits_enabled() && is_write))
    p->get_state()->log_reg_write[((vReg) << 4) | 2] = {0, 0};

  T *regStart = (T*)((char*)reg_file + vReg * (VLEN >> 3));
  return regStart[n];
}

Spike的实现建立在模拟器本身需要找到向量寄存器的位置，但 RIF 并不需要。所以简化为以下函数模板：

十月工作月更

Thu, 30 Oct 2025 11:30:03 +0000

动荡不安的一个月。

vlmax

最大向量长度。最多可以处理的元素（element）个数。
推导式为：VLMAX = LMULVLEN/SEW
比如：
在 VLEN = 256 bit, sew = 8 bit, lmul = 4 的情况下，VLMAX = LMULVLEN/SEW = 4*256/8 = 128。代表最多可以处理128个 sew = 8 的元素（element）。

RIF暂且没有lmul相关的变量，将 vlen 假定为 256 bit。终于拼上了 spike。

spike

spike 中找到指定 element

  // vector element for various SEW
  template<typename T> T& elt(reg_t vReg, reg_t n, bool is_write = false) {
    assert(vsew != 0);
    assert((VLEN >> 3)/sizeof(T) > 0);
    reg_t elts_per_reg = (VLEN >> 3) / (sizeof(T));
    vReg += n / elts_per_reg;
    n = n % elts_per_reg;
#ifdef WORDS_BIGENDIAN
    // "V" spec 0.7.1 requires lower indices to map to lower significant
    // bits when changing SEW, thus we need to index from the end on BE.
    n ^= elts_per_reg - 1;
#endif
    if (is_write)
      log_elt_write_if_needed(vReg);

    T *regStart = (T*)((char*)reg_file + vReg * (VLEN >> 3));
    return regStart[n];

elts_per_reg: VLEN » 3 to get the vlenb, sizeof(T) to get the byte of sew.
vReg: The index of the starting vector register. The vReg value specifies which vector register(e.g., v0, v1, …, v31) to access or start from when reading or writing vector elements.

九月工作月更

Mon, 15 Sep 2025 11:30:03 +0000

有关项目

近日研究是否为浮点数进行了隐式类型转换导致的问题，但 spike 头文件中 f16_add() 的类型检查没问题，照理说不是。提交了 fixed point 相关的 patch，float point实在是有点没办法了，先不写了，研究一下别的指令怎么添加。

RVV

vrgather

向量聚集指令从第一个源向量寄存器读取元素，位置由第二源向量寄存器组给出。第二向量寄存器的下标值按照无符号整型处理。源向量寄存器可以在任意小于 VLMAX 的下标处读取，无论 vl 的值是多少。写入目标寄存器的最大元素数量由 vl 给出，剩余超过 vl 的元素根据当前的 tail policy 处理。操作可以被 mask，inactive 的元素按照 mask undisturbed/agnostic policy 处理。

vrgather.vv vd, vs2, vs1, vm # vd[i] = (vs1[i] >= VLMAX) ? 0 : vs2[vs1[i]];
vrgatherei16.vv vd, vs2, vs1, vm # vd[i] = (vs1[i] >= VLMAX) ? 0 : vs2[vs1[i]];

尝试了一下在 RIF 里面实现 permutation 相关的指令。 golden 部分 spike 头文件中有读取元素位置的函数 P.VU.elt，RIF 的 processor.hpp 里面也要实现一个对应的，但是自动生成的头文件根据数组元素下标进行循环。需要添加另一个循环来遍历数组元素的每一个bit。添加的另一个循环不能出现在别的 operator 里面，所以 scripts 需要 needMerge attribute 来区分如何生成 computexxxOp.h。 vlmax 如何确定呢？那么 Decoder.hpp 呢？又或者说，直接按照 sew * vl 来计算即可？这对吗？这不对吗？

八月工作月更

Fri, 15 Aug 2025 11:30:03 +0000

有关项目

近期发现使用宏定义的方法满足 intrinsic function 的 rounding mode 需要是 unsign constant 的要求会导致传入的 rounding mode 是 0. 在群友帮助下改为使用枚举四种 fixed-point 和五种 float point rounding mode的方法，对原本代码进行了大量重构。在 fix-point 的 vxrm rounding 中测试十分成功，在 float point 中测试不成功。想要抄袭 spike 写法，但没看懂如何实现的，我根本没找到在哪实现了（划掉。只有一个读 frm 的过程。自己这边调用 berkerly softfloat librar 的时候待 rounding 的值不满足任何一个 condition，没有任何改变地退出了。

C++

uint16_t 16 bit 无符号整型。 uint_fast16_t C++ 11之后最快的可用无符号整型，至少 16 bit。

C 和 C++ 有 likely() 和 unlikely() 的宏给编译器大概率为真/不为真的提示。

__attribute__ ((__packed__)) 表示不对齐，以实际使用长度存储。

技术分享

今日为了解决 float point rounding mode 的问题对 ieee754 2008 、berkely softfloat、spike 和 qemu 有关内容进行了少量研究。 slides link 主要发现是 RIF 对 float16 和 float32 进行运算的数值都不在需要 rounding 的范围内。 qemu 会有把 float16 和 float32 变为 float64 处理的过程。

博客日更改为月更

Wed, 23 Jul 2025 11:30:03 +0000

近日发现难以做到日更，于是决定月更。

有关项目

总结一下RIF现在碰到的一些问题：

Segmentation Fault

对构建过程和报错进行了描述放在github issue 目前并没有什么头绪，出现了按照test构建，没有segmentation fault但是也出现了vfsgnj指令报错:有dataC未定义。 dataC无论在autogen/的文件里、spike的算法头文件里还是decode.hpp里都没有。删掉CustomOperator.def里面的其他指令之后就不会报错没有dataC了。

vfsgnj(n/x)

Decode.hpp里面写了和spike一样的算法宏

#define F16_SIGN ((uint16_t)1 << 15)
#define F32_SIGN ((uint32_t)1 << 31)
#define F64_SIGN ((uint64_t)1 << 63)
#define fsgnj16(a, b, n, x) \
  f16((f16(a).v & ~F16_SIGN) | ((((x) ? f16(a).v : (n) ? F16_SIGN : 0) ^ f16(b).v) & F16_SIGN))
#define fsgnj32(a, b, n, x) \
  f32((f32(a).v & ~F32_SIGN) | ((((x) ? f32(a).v : (n) ? F32_SIGN : 0) ^ f32(b).v) & F32_SIGN))
#define fsgnj64(a, b, n, x) \
  f64((f64(a).v & ~F64_SIGN) | ((((x) ? f64(a).v : (n) ? F64_SIGN : 0) ^ f64(b).v) & F64_SIGN))

生成的测试用例，有mask的话遵循ta=1s，ma=1s，但是rvv intrinsic计算结果不遵循，就算有v0.t = 0 也会正常计算所以报错了。在没有mask的测试用例中，rif golden 算出来的值是0，需要修。

mask intrinsic

Thu, 19 Jun 2025 11:30:03 +0000

今日我发现riscv gnu toolchain使用gcc 15.0 release构建出来riscv64-unknown-elf-gcc和riscv64-unknown-linux-gnu-gcc编译出来的测试vmsbf intrinsic程序跑的结果不一致，我大受震撼第二次。发现的起因是K1开发板gcc版本为15.1.0与我使用gcc15交叉编译测试结果不一致，但与ta=1s没关系，我大受震撼第一次。由于我之前对riscv-gnu-toolchain进行了大量不可描述操作，于是进行删库跑路，没想到clone仓库和submodule就花了整整一天，网上冲浪越来越难了。由于glibc的字母排在newlib前面，于是submodule先clone下来进行了一次make linux，发现和riscv64-unknown-elf-gcc、K1的native gcc结果都不一样。

Update:

我认为的不同gcc release构建出来的结果不一样的原因：

tail policy在qemu 7.0、qemu 10.0和K1上表现不一致
qemu和K1 在gcc 开启 -O3 优化时表现不一致，根据我手动计算的结果，应该是qemu的问题。

mask intrinsic

Wed, 18 Jun 2025 11:30:03 +0000

vmsbf.m 是把第一个1之前所有的元素置0
__riscv_vmsbf_m_b1_m(vm, vs2,vl) vm在前，vs2在后。
vfirst是找到mask寄存器中的第一个1，返回index到通用寄存器。
但是RISC-V是大端序，用intrinsic不是，（划掉。

工作日更

Wed, 26 Mar 2025 11:30:03 +0000

今日我进行了大量思考，究竟想要干什么样的工作。在 leader 开会时跟我说别干 RIF 了，但老板其实在群里说了转成内部项目继续做，我也认同了继续做。一时间疑惑、愤怒涌上了心头，思考了很久这到底是哪里出了问题。到底是我对这项目的评估不正确还是leader不正确。后来问了邱老师如何评估这项目，她跟我讲了很多，所以我还是会做下去吧。
在soha的帮助下将 rvv-intrinsic-doc 生成 segment load and store 的 return type 改成了 vs3的 type，用的是简单粗暴的识别“void”，调用 RIFtype 中的 to_type_class 进行简单的字符串匹配并转换。怎么越来越屎山了（逃，延迟的馊主意真多啊。过程中因为函数在类中无法调用，于是加了一个静态函数。
尚且没想好 SizePtr 该怎么做，今日观察 spec 觉得只是简单表示多少byte的值，可能并不需要新构造一个 SizePtr。
RIF部分发现了使用##拼接的变量在结构体中以拼好的形式遍历的，所以直接在==两边写不带Scalar的自定义变量名称是无法识别的。
最后老板把我双周会的活交给了新同事，终于不用每双周惦记着了。

工作日更

Wed, 26 Mar 2025 11:30:03 +0000

今日我研究 vslideup vslidedown，虽然貌似看懂了是在做什么，但改 RIF 中使用的 spike 头文件依旧十分棘手。首先尽量不能动 spike 头文件本体，毕竟日后 spike 如果更新了什么，这将变成不可描述的未来。
其次slideup slideup并不像其他运算进行了高度抽象，头文件本体中并不含有 sew 的判断。
最后，还是以前的问题，我根本无法想象展开之后是什么样。
所以我决定暂时移除相关指令，先解决别的问题。

进行一次构建通过后产生了大量数组数据没有逗号的问题和无法识别operator type报错，在找到一处疑似需要添加的地方进行添加之后测例中没有内容生成，并还是无法识别operator type报错。于是我添加了 C++ 部分对 segment load and store 和 Miscellaneous op 的code gen，实现逻辑应该是不太对，待研究。

工作日更

Tue, 25 Mar 2025 11:30:03 +0000

今日我在soha的大力帮助下解决了 RIF 的 C++ 部分不同结构体之间 input_nfield 和 output_nfield 的继承问题和类型问题。
观测到load store的enum想加入segment load store很麻烦，咨询C++专家之后，jpgg和able给出了 RIF 中无法使用的 C++ 20 特性，进行学习。RIF 使用 C++ 17。
其中包括：
concepts
NTTP
最后 RIF 出现大量指令的 python 头文件含有 dataMO 的旧版本已知问题和没有spike insn文件夹中的正确的运算头文件已知问题。待研究。

工作日更

Mon, 24 Mar 2025 11:30:03 +0000

今天我思考了 vssseg 的 void type 问题，发现可以不用void type存返回值，使用vs3的类型来存。因为反正也需要存成数组才能与golden进行比较。
跟邱老师说了现在方案行不通的想法，主要观点是想要对 segment load store 的数据进行常规操作，需要和vset，vget等intrinisc绑定以获取一维数组。他们觉得可以以直接load store的形式实现，我觉得也行。
发现 include/CustomOperator.def 中input field虽然存了所有参数的nf，但其实有用的只有一个于是修改了生成脚本。
但还是不会改 include/Basic.hpp
最后针对这次失败的做项目经历狡辩了一个多小时。

真的日更

Fri, 21 Mar 2025 11:30:03 +0000

PyCharm选中多行快捷键： alt+shift+insert 切换到 colume 模式
PyCharm全选并删除光标之前的内容： ctrl+shift+home / command+shift+⬆️
mac VScode打开md文件预览快捷键：command+k v

上次参加龙哥的gcc培训，听起来三星的人水平不低，而且想学习优化相关知识，但我没有。
按照老板的规划，八月份可能就轮到我了。
在龙哥讲课的时候翻看了gcc源代码，发现gcc riscv intrinisc tail policy没有我的测试用例写得激进。或许测不过的部分原因找到了= =0
继续研究 riscv-intrinsic-fuzzeing-test 的写法。
TypeInfo貌似是intrinsic操作数的类型信息，但我不敢确定。
在jpgg和soha的帮助下了解了下列代码的奇妙用法：

enum TypeClass {
  SIGNED_INT,
  UNSIGNED_INT,
  FLOAT,
  BOOL,
  NumberOfTypeClasses,
};

NumberOfTypeClasses可以用来表示TypeClass这个enum的总数。
现在卡在代表vlseg的 new vl 类型 size_t * 的 SizePtr无法识别。

真的日更

Thu, 20 Mar 2025 11:30:03 +0000

今日终于结束了 RVI hackathon hub 相关的时间和场地事宜。
看了眼 codasip 和 andes 出的题目，范围好窄，而且和联动单位风格不太搭，在筹备别的题目了。

给gcc提交xuantie的-mcpu patch玄铁的人回话了，果然说和他们的spec、命名方式啥的不一样。但其实他们的tune info也没有写指令cost。

发现了一份gcc代码编辑器的配置，还蛮有用的。

说完我把mac的IDE配了一下，里面gcc的.md文件格式把blog的.md文件格式创了。

最近在思考是不是在无法赚钱无法提升能力的事情上花了太多时间精力。

整理碎片

Sun, 16 Mar 2025 11:30:03 +0000

SIGABRT 程序的异常终止，如调用abort
SIGFPE 错误的算数运算，如除0或导致溢出
SIGILL 检测非法指令
SIGEGV 非法访问内存
SIGTERM 发送到程序的终止请求

新旧版intrinsic tail policy 对照表：

	TAMA	TUMA	TUMU	TAMU
Vm=0	_m	_tum	_tumu	_mu
Vm=1		_tu	_tu

rvv-intrinsic-doc的对照：
InstInfo.get(SEW, LMUL, [“OP”], inst_type, mem_type, extra_attr, required_ext=required_ext)

vfmv 和 vmv 类型(不一定对)：

指令	操作数类型
vfmv	f_s	v_f
	s_f
vmv	s_x	x_s
	v_x	v_i

进行近期总结

Wed, 12 Mar 2025 11:30:03 +0000

好久没写nonsense了。
进行近期的记忆备份。

device tree source 与 device tree binary 相互转换
安装device-tree-compiler工具
dts转dtb dtc -I dts -O dtb *.dtb *.dts
dtb转dts dtc -I dtb -O dts *.dts *.dtb

研究 RISC-V vlse 指令学习了 C++ ptrdiff_t类型。
一句话介绍：

std::ptrdiff_t is used for pointer arithmetic and array indexing, if negative values are possible.

possible implementation:

// valid since C++11
using ptrdiff_t = decltype(static_cast<int*>(nullptr) - static_cast<int*>(nullptr));

example:

#include <cstddef>
#include <iostream>
 
int main()
{
    const std::size_t N = 10;
    int* a = new int[N];
    int* end = a + N;
    for (std::ptrdiff_t i = N; i > 0; --i)
        std::cout << (*(end - i) = i) << ' ';
    std::cout << '\n';
    delete[] a;
}

Output:

10 9 8 7 6 5 4 3 2 1

顺便学习了 size_t竟然是有符号的。

感染甲流

Sun, 19 Jan 2025 11:30:03 +0000

周三吃晚饭的路上我感受到一阵极端寒冷，打了一个寒战，吃完串串之后感受到喉咙轻微不适。
周四早上被热醒感觉到头昏脑胀恶心想吐，起床之后突发一阵猛烈咳嗽冲向厕所呕出了少量牛油火锅味酸水和最后一根没有消化的贡菜。服用999感冒灵后在美团上选购了止咳药和凑单买的温度计。一量体温38.8，服用止咳药后昏睡过去，中途间断被热醒多次。服用对乙酰氨基酚退烧效果只能短暂到达37.8。
周五对乙酰氨基酚基本没什么效果，买了甲流乙流肺炎抗原检测试剂盒发现阴性，
晚上怀疑自己有要被烧傻的迹象后下定决心去医院。
周六上午去了发热门诊的急诊，里面人山人海。进行了价值198元的甲流乙流核酸检测和抽血。等待一个多小时结果后甲流阳性。医生问我是想要一天的特效药还是五天的普通药，我要了价值222元的特效药。下午一点回到家之后吃了药体温就开始快速下降，晚上睡觉前就只有37.5度了。
星期天满头大汗地醒过来发现已完全退烧，只有咳嗽头晕喉咙不适等症状了，特效药确实猛。幸好可以刷医保卡。
发现一个很神奇的事情就是发烧的时候不会出汗。
患病过程中感受到了大家的暖心关怀，虽然一位同事谴责了我请假开会，需要他私自编排病情，但我一想到如果是他请假会肯定可以照常开，毕竟他做一个项目两个帮手，我一个人做一个项目，心里好受了许多。
最恐怖的还是稍微清醒点的时候想的都是项目无法交差了，但是真到电脑前面我还是在抗拒做这个项目。每当此时我都会回想起高三班主任跟我说，高考其实可以让我学习到战胜困难的勇气和心态面对人生往后的困难，但是我没调整心态准备好了。难道这真的是什么遇到困难解决不了无法战胜的魔咒。

2025年1月13日记录

Mon, 13 Jan 2025 11:30:03 +0000

今日无法写 riscv-vector-fuzzing-test 的 C++，想到把sifive-intrinsic-doc无法成功生成 instruction attribute 的脚本修好。
一直以为是 python 跨文件夹调用的问题，尝试了诸如： 1.加sys.path。
2.在各个路过的文件夹中新增__init__.py文件
3.在sifive_specific文件夹中加入调用文件对应路径的软链接
然而并没有什么效果，现在怀疑可能是不同指令添加 insn_attrs 的过程随意初始化了，导致有些attribute可以成功append，有些失踪。
把 rif 给李秦君看一下，给他解释的时候想到，现在的问题可能是 tuple type 在 CustomOperator.def 里的 input_nfield 和 output_nfield 其他的指令并没有这两项。

2025年1月7日记录

Tue, 07 Jan 2025 11:30:03 +0000

昨天实习生妹妹问了一个我无法解决的问题。
用riscv-gnu-toolchain编译出来的gcc和gdb，可以编译出可执行文件，但无法通过qemu运行。使用riscv-unknown-gnu-linux-gdb run该可执行文件会报错don't know how to run
使用$RISCV/bin/qemu-riscv64 -D -L $RISCV/sysroot {executable file} 报错 Error while loading /path/sysroot: Exec format error
使用 file {executable file} 显示

ELF 64-bit LSB executable, UCB RISC-V, RVC, double-float ABI, version 1 (SYSV), dynamically linked,
interpreter /lib/ld-linux-riscv64-lp64d.so.1, for GNU/Linux 4.15.0, not stripped

编译时加上-static参数只会改变file时链接方式的描述。
暂时无法解决，有待咨询其他人。

看到实习生妹妹微信群里问队友，队友虽然没解释为啥，但是教她使用gdbserver。
我之前想的是用qemu起一个riscv64的linux来用，现在学习到了简单方法，taget sim。
观察到队友廖仕华使用截图里面target sim, load, run 之后有非法指令。
我使用ArchLinux先根据热心群友qty的指导使用paru -S python3-12 解决了当前系统python版本为 3.13，riscv-unkown-elf-gdb 报错缺少 libpython-3.12.so.1 的问题。接着复现了非法指令的问题。
但是队友和实习生无法使用layout asm 查看哪里有非法指令，我却可以。据说需要在configure时enable-tui，网上也有说法是ubuntu需要下载库。
使用layout asm可以观察到非常长的，与直接生成的汇编程序不同的汇编程序，里面确实有unimp。
现在成为了未解之谜。

2025年1月6日记录

Mon, 06 Jan 2025 11:30:03 +0000

今天实习生妹妹问了一个我无法解决的问题。
用riscv-gnu-toolchain编译出来的gcc和gdb，可以编译出可执行文件，但无法通过qemu运行。使用riscv-unknown-gnu-linux-gdb run该可执行文件会报错don't know how to run
使用$RISCV/bin/qemu-riscv64 -D -L $RISCV/sysroot {executable file} 报错 Error while loading /path/sysroot: Exec format error
使用 file {executable file} 显示

ELF 64-bit LSB executable, UCB RISC-V, RVC, double-float ABI, version 1 (SYSV), dynamically linked,
interpreter /lib/ld-linux-riscv64-lp64d.so.1, for GNU/Linux 4.15.0, not stripped

编译时加上-static参数只会改变file时链接方式的描述。
暂时无法解决，有待咨询其他人。

看到实习生妹妹微信群里问队友，队友虽然没解释为啥，但是教她使用gdbserver。
我之前想的是用qemu起一个riscv64的linux来用，现在学习到了简单方法，taget sim。

2025年1月4日流水账

Sat, 04 Jan 2025 11:30:03 +0000

昨日睡了一整个白天，但是晚上四点睡觉，竟然早上九点半起床成功了，说明生物节律论不适于我。
在家摸鱼一上午后下午前往办公室配置vscode。
家里的vscode连ArchLinux的WSL2使用extension都没有什么问题，但是办公室的ArchLinux主机却会报配置文件的问题。
根据部分报错搜到了code-features这个包，安装之后还是报没有配置文件。
经sequencer提醒，ArchLinux上应当pacman -S codium，而我pacman -S code。经过查询vscodium才是真正符合开源协议的软件。
sequencer嘲笑我入职两年了连环境都不会配，但我觉得这是一个常识性问题，知道了即可，不认可他的嘲笑。

2025年1月2日流水账

Thu, 02 Jan 2025 11:30:03 +0000

把上游写的code review看了一下，根据内容，整理了一版可以编译通过的版本放在pr里面。
有一段把 tail policy 的内容注释掉了，因为golden里面的intrinsic没有__riscv_前缀无法测试。在想需不需要加上来着。
其他的话还是不知道C++继承派生啥的怎么写，但是自己看C++教程又根本无法坚持。还在想有没有什么办法。
快过年了要回老家，所以想把DDNS配好，方便回家连，于是把去年买的rax3000m掏出来刷好了OpenWrt，等待下一步买个域名。
虽然上班都不一定认真干活，过年还会认真干活吗？

10月23日工作记录

Wed, 23 Oct 2024 11:30:03 +0000

明天可能需要开同步会议，今天先总结一下近日工作。另外的考量是确实有点摸不着头脑自己在干啥了。一种没有清晰把握脉络的焦虑感促使我写这篇记录。

按照时间顺序

首先肯定是发现了 riscv-vector-fuzzing-test 这个项目里面在使用 /include/CustomOperator.def 当所有需要处理的指令合集。
问题在于出现了生成的intrinsic function参数个数不对，进行同步发现 rvv 1.0 spec可能需要使用 sifive-intrinsic-doc 这个项目中生成的 rif.def 文件。
直接把 rif.def 修改为 CustomOperator.def 使用会出现以下问题：

SizePtr, NeedMerge, Void 这些属性无法识别。
暂时用移除 vleff, vslideup, vsm 等指令来解决。
riscv-vector-fuzzing-test 中 script/GenerateOperatorComputeHeaders.py 无法识别 op id。
暂时移除 vcreate, veget, vlm, vlmul_trunc, vlmul_ext, vreinterpret, vsetvlmax, vsetvl, vundefined, vlse 等指令来解决。
生成的 \include\autogen\compute{op_type}.h 中 include 的 spike 或者本地头文件名不对。
在 script/* 中加入判断 op_id 进行了修复。比如 vfmv_v_f, vfmv_f_s。
尚未找出 CustomOperator.def 中为何会如此生成。比如compress_vv, spec 中是 compress_vm。暂时移除 compress_vv 解决。
当以上 CustomOperator.def 的问题大部分用跳过的方式解决之后，出现了 mask 指令在 \include\autogen\compute{op_type}.h 声明的变量数量不一致的问题。解决方式是在 script\*Literal.py 中的 create_*_op 函数，加入判断，如果是 mask function 之后加入一个 input 作为 mask function 默认的 vd 值。并修改了 *_literal_mask_body 中的参数。
随后出现了有 rounding mode 的指令参数不正确的问题。
解决方式是在 script\*Literal.py 加入如果 input_type 中有 “SclarUIntXLen” 就使用新增的包含 rounding mode 的 _frm_body。
但是使用 “SclarUIntXLen” 是根据观察决定的，导致了包含该 input type 但没有 rounding mode 的 shift 指令生成错误。所以判断条件变为 elif "ScalarUIntXLen" in input_types and op_id not in ['nsra_wx','nsrl_wx','sll_vx','sra_vx','srl_vx']。可能有待改进。
以上问题解决完毕之后，出现了 /test/test*.cpp 的参数没有定义的问题，根据该参数为 op_type 将所有文件按照 CustomOperator.def 修改完毕解决了没有定义问题，但是 testPolicy.cpp 中带有 TA, TU, TAMA, TAMU, TUMA, TUMU 后缀的参数确实不知道在哪里找。
可以确定是只是 rvv 1.0 中对 tail policy 的内容进行了修改，这部分肯定是需要修的。
接下来有靠谱的方法，理解 test\test.cpp 从何而来，为何要写并改写。
不靠谱的方法，删掉 testPolicy.cpp。因为生成脚本中很多有ta相关内容我也并未修复。
先去修了，小结就到这里。

10月16日工作记录

Wed, 16 Oct 2024 11:30:03 +0000

今日发现rif mask 的指令生成的 test case 会根据 riscv-v-spec 推荐的给 vd 置1，但是我之前写的是生成随机的默认 vd。看 spec 我这样也可行。但是在吃饭的路上突然想起来这件事，还是两年前在众创楼111看的，一晃都搬了两个办公室了，就觉得人的记忆很神奇。
这是否也是一种学习路径问题，在完全没有某些事物的概念的时候记忆和理解都非常困难。就像自行车和游泳都要从小学习。
扯远了。。。今天只修了一个decode的变量摆放位置不对的问题，报错是数据类型不对，还有其他很多位置摆放不对，没来得及修。实际上有一种不知道这样修会不会有什么别的问题产生的焦虑感，不忍心下手。

8-9月面基、出行的记录

Tue, 15 Oct 2024 11:30:03 +0000

7.28出发前往上海与旧友周予西、杨倩、宋昇见面，并与csl进行了首次面基。周予西没有对我的寸头作出任何反应，甚至有一种根本没发现的淡定。杨倩说我很有少年感非常帅气，并录了视频。宋昇说我俩交换了发型，确实，他长发。
我问周予西，为什么没有说我的发型，她说对我做出什么事情都不会感到意外的，毕竟高中是做出了给座位表添格子的人。然而我对此印象不深，经提醒想起来是某次选座位想坐最后一排，被老师修改了选座结果，于是自己给座位表画了一行搬到了后面去。
上大学之后其实一直没有什么见面机会，大家都有了各自的学习、生活，大学毕业之后更甚，好像已经是两个不同世界的人了。见面之后聊了很久，没有别人的八卦，都是一些近况和未来，我感到很舒适。
与杨倩见面的时间非常短暂，只吃了个饭，她还是和大学一样可爱，我非常喜欢贴。和宋昇也聊了很多关于工作的事情，好像从事了不同的行业，我太菜了，对计算机的其他技术也不是很了解，于是进行了了解。csl带我参观了微软紫星路的园区，并进入食堂就餐。
7.30-8.9进行了日本旅行，8.1参加了 RISCV Tokyo Day，具体哪几天干了啥写起来好多，我决定咕了。
8.22-8.24前往杭州参见 RISC-V 中国峰会，与众多网友面基，参观 RISC-V 最新最热展台。8.25观看了西湖边上的大型中西结合实景秀节目。
就餐途中聊起了大家是否参加今年于捷克布拉格举办的 gnu cauldron，我说vfs网站总是碰到问题，无法预约，结果杭州同事当场给我表演了打开成功，我约上了8.29的办理签证。来回仅花了1周即办理完毕。
9.13-9.18进行了武汉-北京-捷克布拉格-阿姆斯特丹-厦门-武汉的跳跃。捷克人民好热情，如果有什么问题都会耐心讲解很多，步骤非常详细，让我感到震惊的是，他们貌似每个人对每一条公交线路都了如指掌。
参加gnu cauldron的内容有待详细展开，但可能不能放在nonsense目录中。我常常在想是否自己太菜不应该去参加这些活动，而是自觉闷头在家狂学。但是观察了几日自己在家，不太能狂学，于是心态放平了，有机会就应多出去走走，事情只需要契机办理。

再次重启每日废话

Thu, 13 Jun 2024 11:30:03 +0000

天气晴

下午看到了天上的云有奇妙纹理，像脑花，掏出手机拍了一张，发现手机摄像头的马赛克效果比脑花纹理还清晰。

最近把主机转了个方向发现主板在 gprofng 编译的时候会亮过热的红灯，在cyy的建议下把 intel i7 12700 CPU 原装风扇换成了超大风扇，RISC-V qemu system 的性能好多了。既没有了终端显示乱刷问题，编译时间也快了很多。

本来之前 gprofng 没啥头绪的，现在貌似觉得还可以研究一下，因为可以根据报错来找到哪里有问题了。

序

Sun, 02 Jun 2024 11:30:03 +0000

世界观参考《sdorica》，满足延迟的中二病以及活在梦里的愿望。
西幻，勇者斗恶龙之后的故事。如果和《sdorica》设定冲突，那就是笔者错了。

only-riscv 分支的记录

Mon, 22 Apr 2024 11:30:03 +0000

目前成功构建的 patch ：RISC-V: Fix VL operand bug in VSETVL PASS[PR110264]
此patchRISC-V: Bugfix for RVV integer reduction in ZVE32/64.构建失败，但是RISC-V: Fix one typo for reduc expand GET_MODE_CLASS可以修复。
中间夹杂了 RISC-V:Add float16 tuple type support ,此构建失败报：

../.././gcc/gcc/rtl.h:316:31: warning: ‘rtx_def::mode’ is too small to hold all values of ‘enum machine_mode’
  316 |   ENUM_BITFIELD(machine_mode) mode : 8;
      |                               ^~~~
In file included from ../.././gcc/gcc/genemit.cc:25:
../.././gcc/gcc/rtl.h:316:31: warning: ‘rtx_def::mode’ is too small to hold all values of ‘enum machine_mode’
  316 |   ENUM_BITFIELD(machine_mode) mode : 8;
      |                               ^~~~
In file included from ../.././gcc/gcc/genextract.cc:22:
../.././gcc/gcc/rtl.h: In member function ‘long unsigned int subreg_shape::unique_id() const’:
../.././gcc/gcc/rtl.h:2160:37: error: static assertion failed: MAX_MACHINE_MODE <= 256
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
../.././gcc/gcc/rtl.h:2160:37: note: the comparison reduces to ‘(284 <= 256)’
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
In file included from ../.././gcc/gcc/genemit.cc:22:
../.././gcc/gcc/rtl.h: In member function ‘long unsigned int subreg_shape::unique_id() const’:
../.././gcc/gcc/rtl.h:2160:37: error: static assertion failed: MAX_MACHINE_MODE <= 256
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
../.././gcc/gcc/rtl.h:2160:37: note: the comparison reduces to ‘(284 <= 256)’
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
In file included from ../.././gcc/gcc/genpeep.cc:25:
../.././gcc/gcc/rtl.h:316:31: warning: ‘rtx_def::mode’ is too small to hold all values of ‘enum machine_mode’
  316 |   ENUM_BITFIELD(machine_mode) mode : 8;
      |                               ^~~~
In file included from ../.././gcc/gcc/rtl.cc:31:
../.././gcc/gcc/rtl.h:316:31: warning: ‘rtx_def::mode’ is too small to hold all values of ‘enum machine_mode’
  316 |   ENUM_BITFIELD(machine_mode) mode : 8;
      |                               ^~~~
In file included from ../.././gcc/gcc/rtl.cc:28:
../.././gcc/gcc/rtl.h: In member function ‘long unsigned int subreg_shape::unique_id() const’:
../.././gcc/gcc/rtl.h:2160:37: error: static assertion failed: MAX_MACHINE_MODE <= 256
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
../.././gcc/gcc/rtl.h:2160:37: note: the comparison reduces to ‘(284 <= 256)’
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
In file included from ../.././gcc/gcc/genpeep.cc:22:
../.././gcc/gcc/rtl.h: In member function ‘long unsigned int subreg_shape::unique_id() const’:
../.././gcc/gcc/rtl.h:2160:37: error: static assertion failed: MAX_MACHINE_MODE <= 256
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
../.././gcc/gcc/rtl.h:2160:37: note: the comparison reduces to ‘(284 <= 256)’
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
In file included from ../.././gcc/gcc/genautomata.cc:111:
../.././gcc/gcc/rtl.h:316:31: warning: ‘rtx_def::mode’ is too small to hold all values of ‘enum machine_mode’
  316 |   ENUM_BITFIELD(machine_mode) mode : 8;
      |                               ^~~~
In file included from ../.././gcc/gcc/genautomata.cc:108:
../.././gcc/gcc/rtl.h: In member function ‘long unsigned int subreg_shape::unique_id() const’:
../.././gcc/gcc/rtl.h:2160:37: error: static assertion failed: MAX_MACHINE_MODE <= 256
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
../.././gcc/gcc/rtl.h:2160:37: note: the comparison reduces to ‘(284 <= 256)’
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
g++ -c   -g -O2   -DIN_GCC  -DCROSS_DIRECTORY_STRUCTURE   -fno-exceptions -fno-rtti -fasynchronous-unwind-tables -W -Wall -Wno-narrowing -Wwrite-strings -Wcast-qual -Wmissing-format-attribute -Woverloaded-virtual -pedantic -Wno-long-long -Wno-variadic-macros -Wno-overlength-strings   -DHAVE_CONFIG_H  -DGENERATOR_FILE -I. -Ibuild -I../.././gcc/gcc -I../.././gcc/gcc/build -I../.././gcc/gcc/../include  -I../.././gcc/gcc/../libcpp/include  \
        -o build/gensupport.o ../.././gcc/gcc/gensupport.cc
In file included from ../.././gcc/gcc/genpreds.cc:27:
../.././gcc/gcc/rtl.h:316:31: warning: ‘rtx_def::mode’ is too small to hold all values of ‘enum machine_mode’
  316 |   ENUM_BITFIELD(machine_mode) mode : 8;
      |                               ^~~~
In file included from ../.././gcc/gcc/genoutput.cc:90:
../.././gcc/gcc/rtl.h:316:31: warning: ‘rtx_def::mode’ is too small to hold all values of ‘enum machine_mode’
  316 |   ENUM_BITFIELD(machine_mode) mode : 8;
      |                               ^~~~
In file included from ../.././gcc/gcc/genpreds.cc:24:
../.././gcc/gcc/rtl.h: In member function ‘long unsigned int subreg_shape::unique_id() const’:
../.././gcc/gcc/rtl.h:2160:37: error: static assertion failed: MAX_MACHINE_MODE <= 256
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
../.././gcc/gcc/rtl.h:2160:37: note: the comparison reduces to ‘(284 <= 256)’
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
In file included from ../.././gcc/gcc/genopinit.cc:25:
../.././gcc/gcc/rtl.h:316:31: warning: ‘rtx_def::mode’ is too small to hold all values of ‘enum machine_mode’
  316 |   ENUM_BITFIELD(machine_mode) mode : 8;
      |                               ^~~~
In file included from ../.././gcc/gcc/genoutput.cc:87:
../.././gcc/gcc/rtl.h: In member function ‘long unsigned int subreg_shape::unique_id() const’:
../.././gcc/gcc/rtl.h:2160:37: error: static assertion failed: MAX_MACHINE_MODE <= 256
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
../.././gcc/gcc/rtl.h:2160:37: note: the comparison reduces to ‘(284 <= 256)’
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
In file included from ../.././gcc/gcc/genopinit.cc:22:
../.././gcc/gcc/rtl.h: In member function ‘long unsigned int subreg_shape::unique_id() const’:
../.././gcc/gcc/rtl.h:2160:37: error: static assertion failed: MAX_MACHINE_MODE <= 256
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
../.././gcc/gcc/rtl.h:2160:37: note: the comparison reduces to ‘(284 <= 256)’
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
In file included from ../.././gcc/gcc/genrecog.cc:112:
../.././gcc/gcc/rtl.h:316:31: warning: ‘rtx_def::mode’ is too small to hold all values of ‘enum machine_mode’
  316 |   ENUM_BITFIELD(machine_mode) mode : 8;
      |                               ^~~~
make[2]: *** [Makefile:2825: build/genextract.o] Error 1
make[2]: *** Waiting for unfinished jobs....
In file included from ../.././gcc/gcc/genrecog.cc:109:
../.././gcc/gcc/rtl.h: In member function ‘long unsigned int subreg_shape::unique_id() const’:
../.././gcc/gcc/rtl.h:2160:37: error: static assertion failed: MAX_MACHINE_MODE <= 256
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
../.././gcc/gcc/rtl.h:2160:37: note: the comparison reduces to ‘(284 <= 256)’
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
In file included from ../.././gcc/gcc/genattrtab.cc:109:
../.././gcc/gcc/rtl.h:316:31: warning: ‘rtx_def::mode’ is too small to hold all values of ‘enum machine_mode’
  316 |   ENUM_BITFIELD(machine_mode) mode : 8;
      |                               ^~~~
make[2]: *** [Makefile:2825: build/genpeep.o] Error 1
make[2]: *** [Makefile:2825: build/genemit.o] Error 1
In file included from ../.././gcc/gcc/genattrtab.cc:106:
../.././gcc/gcc/rtl.h: In member function ‘long unsigned int subreg_shape::unique_id() const’:
../.././gcc/gcc/rtl.h:2160:37: error: static assertion failed: MAX_MACHINE_MODE <= 256
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
../.././gcc/gcc/rtl.h:2160:37: note: the comparison reduces to ‘(284 <= 256)’
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
In file included from ../.././gcc/gcc/read-rtl.cc:34:
../.././gcc/gcc/rtl.h:316:31: warning: ‘rtx_def::mode’ is too small to hold all values of ‘enum machine_mode’
  316 |   ENUM_BITFIELD(machine_mode) mode : 8;
      |                               ^~~~
In file included from ../.././gcc/gcc/read-rtl.cc:31:
../.././gcc/gcc/rtl.h: In member function ‘long unsigned int subreg_shape::unique_id() const’:
../.././gcc/gcc/rtl.h:2160:37: error: static assertion failed: MAX_MACHINE_MODE <= 256
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
../.././gcc/gcc/rtl.h:2160:37: note: the comparison reduces to ‘(284 <= 256)’
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
make[2]: *** [Makefile:2825: build/rtl.o] Error 1
make[2]: *** [Makefile:2825: build/genopinit.o] Error 1
make[2]: *** [Makefile:2825: build/genoutput.o] Error 1
make[2]: *** [Makefile:2825: build/genpreds.o] Error 1
make[2]: *** [Makefile:2825: build/read-rtl.o] Error 1
make[2]: *** [Makefile:2825: build/genrecog.o] Error 1
make[2]: *** [Makefile:2825: build/genattrtab.o] Error 1
make[2]: *** [Makefile:2825: build/genautomata.o] Error 1
In file included from ../.././gcc/gcc/gensupport.cc:24:
../.././gcc/gcc/rtl.h:316:31: warning: ‘rtx_def::mode’ is too small to hold all values of ‘enum machine_mode’
  316 |   ENUM_BITFIELD(machine_mode) mode : 8;
      |                               ^~~~
In file included from ../.././gcc/gcc/gensupport.cc:21:
../.././gcc/gcc/rtl.h: In member function ‘long unsigned int subreg_shape::unique_id() const’:
../.././gcc/gcc/rtl.h:2160:37: error: static assertion failed: MAX_MACHINE_MODE <= 256
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
../.././gcc/gcc/rtl.h:2160:37: note: the comparison reduces to ‘(284 <= 256)’
 2160 |   { STATIC_ASSERT (MAX_MACHINE_MODE <= 256); }
../.././gcc/gcc/system.h:850:19: note: in definition of macro ‘STATIC_ASSERT’
  850 |   static_assert ((X), #X)
      |                   ^
make[2]: *** [Makefile:2825: build/gensupport.o] Error 1

可能是这俩的问题吧：
Bump up precision size to 16 bits.
Machine_Mode: Extend machine_mode from 8 to 16 bits

办理业务踩的坑

Wed, 10 Apr 2024 11:30:03 +0000

近日办理业务发现了一年前签合同和协议踩的坑，记录一下，以后也会新增累积，成为游刃有余的老油条。

总结以下几条：
1.条款内容前后文矛盾
2.暗改合同日期
3.更换业务内容只签补充协议且执行按照合同正文日期

虽然签十个合同办理业务才可能出现这一个案例，但涉及金额较大业务时需要更加谨慎。不过更希望大家不会碰到这些事。

具体内容：
1.条款1写 4.15 - 4.18 是免租期。条款2写租金从4.15开始收取。实际免租期是个幌子。
2.约定租期1年，但是合同起止时间写 4.15 - 4.30。
3.网络合同正文写 4.15 ，但是发现宽带不符合办公要求时，办理电信业务租赁线路签补充协议不注明日期，实际执行按照合同正文。

重启每日废话

Tue, 02 Apr 2024 11:30:03 +0000

天气雨
怎么还在摘樱桃。
发现想要根据报错来解决出现的问题的话就会出现本不该是 gcc 12 特性的 patch 被引入。
于是推倒重来，一个一个标记。
干的时候又很不耐烦，想要掏出脚本。不过还是不要太激进了，等编译的时候看看书。

继续移植gprofng

Fri, 15 Mar 2024 11:30:03 +0000

天气晴。
早上到达武汉非常冷，发现了一个很中二的说法，回笼觉念成回龙决。
偷一个 /usr/include/sys/ucontext.h 出来观测，qemu 里面显示得太异常了。大佬告诉我这是 glibc 的内容。

/* struct ucontext definition, RISC-V version.
   Copyright (C) 1997-2023 Free Software Foundation, Inc.
   This file is part of the GNU C Library.

   The GNU C Library is free software; you can redistribute it and/or
   modify it under the terms of the GNU Lesser General Public
   License as published by the Free Software Foundation; either
   version 2.1 of the License, or (at your option) any later version.

   The GNU C Library is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   Lesser General Public License for more details.

   You should have received a copy of the GNU Lesser General Public
   License along with the GNU C Library.  If not, see
   <https://www.gnu.org/licenses/>.  */

/* Don't rely on this, the interface is currently messed up and may need to
   be broken to be fixed.  */
#ifndef _SYS_UCONTEXT_H
#define _SYS_UCONTEXT_H 1

#include <features.h>

#include <bits/types/sigset_t.h>
#include <bits/types/stack_t.h>

typedef unsigned long int __riscv_mc_gp_state[32];

#ifdef __USE_MISC
# define NGREG  32

# define REG_PC 0
# define REG_RA 1
# define REG_SP 2
# define REG_TP 4
# define REG_S0 8
# define REG_S1 9
# define REG_A0 10
# define REG_S2 18
# define REG_NARGS 8

typedef unsigned long int greg_t;

/* Container for all general registers.  */
typedef __riscv_mc_gp_state gregset_t;

/* Container for floating-point state.  */
typedef union __riscv_mc_fp_state fpregset_t;
#endif

struct __riscv_mc_f_ext_state
  {
    unsigned int __f[32];
    unsigned int __fcsr;
  };

struct __riscv_mc_d_ext_state
  {
    unsigned long long int __f[32];
    unsigned int __fcsr;
  };

struct __riscv_mc_q_ext_state
  {
    unsigned long long int __f[64] __attribute__ ((__aligned__ (16)));
    unsigned int __fcsr;
    /* Reserved for expansion of sigcontext structure.  Currently zeroed
       upon signal, and must be zero upon sigreturn.  */
           unsigned int __glibc_reserved[3];
  };

union __riscv_mc_fp_state
  {
    struct __riscv_mc_f_ext_state __f;
    struct __riscv_mc_d_ext_state __d;
    struct __riscv_mc_q_ext_state __q;
  };

typedef struct mcontext_t
  {
    __riscv_mc_gp_state __gregs;
    union  __riscv_mc_fp_state __fpregs;
  } mcontext_t;

/* Userlevel context.  */
typedef struct ucontext_t
  {
    unsigned long int  __uc_flags;
    struct ucontext_t *uc_link;
    stack_t            uc_stack;
    sigset_t           uc_sigmask;
    /* There's some padding here to allow sigset_t to be expanded in the
       future.  Though this is unlikely, other architectures put uc_sigmask
       at the end of this structure and explicitly state it can be
       expanded, so we didn't want to box ourselves in here.  */
    char               __glibc_reserved[1024 / 8 - sizeof (sigset_t)];
    /* We can't put uc_sigmask at the end of this structure because we need
       to be able to expand sigcontext in the future.  For example, the
       vector ISA extension will almost certainly add ISA state.  We want
       to ensure all user-visible ISA state can be saved and restored via a
       ucontext, so we're putting this at the end in order to allow for
       infinite extensibility.  Since we know this will be extended and we
       assume sigset_t won't be extended an extreme amount, we're
       prioritizing this.  */
    mcontext_t uc_mcontext;
  } ucontext_t;

#endif /* sys/ucontext.h */

参加玄铁大会

Thu, 14 Mar 2024 11:30:03 +0000

早上到了深圳，参加玄铁大会。

拎着 sifive 的袋子走出地铁站被尚未面基过的群友观测到了，好好玩。

玄铁大会的会场有好多人参加，玄铁还很贴心地为大家准备了同传，虽然偶尔在听的时候截获到了一些翻译得不太对的地方。觉得同声传译真的很难，因为我对于自己没有了解过的领域听中文都会觉得困难，他们还要去翻译自己不了解的领域。

中午和很多只在线上水群看到过的群友吃萨利亚，奶油蘑菇汤好喝，芝士焗饭太腻了，吃了几口就吃不下了。
本地热心群友帮助我找到警局办理了港澳通行证签注，万分感谢！

下午参观站台，有真能避障的小车车和人工智障 AI, 还体验了一下 openKylin 运行的小车车游戏的自动模式。
衷心祝愿 RISC-V 能发展地越来越好。耶！

总结摘樱桃

Mon, 11 Mar 2024 11:30:03 +0000

天气晴。

近日被摘樱桃此等琐事缠身无法日更。

起因是为 ruyisdk 的 gcc 12 支持 RISC-V。

经过非常曲折，大概重新摘了 3 遍。

第一遍简单在邮件列表根据关键词 RISC-V 按照时间来筛选 patch。
第一个问题是有作者commit tittle里面写riscv无法筛选出来。
第二个问题是邮件列表 patch 显示的时间不是按照 commit 生成时间而是根据 commit apply 时间。

第二遍根据关键词 riscv 来筛选 patch。
导致vector部分大量报错。

第三遍写了一个脚本：
https://github.com/XYenChi/EasyCherryPick

README写了用法和原理，日记中不再赘述。

虽然操作过程有重名问题导致误删了 patch ，但也还有一些和 Makefile、中端相关的问题。好在最后根据关键词搜 patch 都能解决。

找到漏摘的樱桃

Mon, 19 Feb 2024 11:30:03 +0000

天气雨
终于找到了摘樱桃出的问题，如果早一点切分支搜，很快就能找出来，不知道自己脑子里每天装的是什么水。翻译推文的时候也是，命名觉得不对劲但是却不会去发现并修改。大脑不用可能真的会生锈，太恐怖了。

2024开工大吉

Sun, 18 Feb 2024 11:30:03 +0000

天气雨
虽然不管究竟是否开工大吉，肯定要嘴硬说一下开工大吉的。
继续解决 RVV machine mode 报错没有声明的问题。
研究了 Makefile.in genmodes.cc gengtype 等一系列文件没能发现什么问题。
现在开始怀疑 riscv 写的相关文件有问题了。

给摘樱桃偷懒想办法

Fri, 02 Feb 2024 11:30:03 +0000

天气雨
昨日和今日在想办法解决gcc自动构建的问题。

在 github CI上写首先面临着只能选择 gcc 仓库，因为 riscv-gnu-toolgitchain 的 gcc 是 submodule ，push commit 之后无法检测到 submodule 的更新自动跑。
其次面临的问题是拉取 riscv-gnu-toolchain 的 submodule 所有分支的时间消耗需要将近二十分钟。git cherry-pick commit 可能只需要二十秒。虽然可以用 git clone –depth=1 来解决，但是无法切换到我想要的release。
最重大的问题就是无法找到 gcc 12.3.0 的 ref 了，在尝试解决的途中发现了 ci 的每一次 step 都会回到初始的仓库路径。
发现只要我把自己仓库的 master 改成需要测试的代码就行。诶？
最近每天都三四点睡，十一二点起。大脑开始刷cache，无端回忆起很多以前的事情。

继续摘樱桃

Wed, 31 Jan 2024 11:30:03 +0000

天气雨

今日想找commit history的蛛丝马迹发现gcc12 release之前也有很多 riscv 相关patch不是打在gcc12上的。
翻车车。

摘樱桃

Tue, 30 Jan 2024 11:30:03 +0000

天气阴转雨

近日埋下了好多坑，比如刷路由器，比如给daily nonsense倒序排列。

Pick 了 gcc/gcc/Makefile.in 的一个 patch 之后昨天的问题解决了，但是又出现了 machine mode 找不到的问题。

晚上吃完麦当劳会办公室发现大家带上了嗷呜一楼避难了，发生火灾56楼确实很可怕。不过生死有命，富贵在天了。

研究 Makefile

Mon, 29 Jan 2024 11:30:03 +0000

天气阴转阵雨

近日埋下了好多坑，比如刷路由器，比如给daily nonsense倒序排列。

今天突然发现了闭源运维与凶恶财务仓库具有并肩的性价比。世间万物果然都是有它的道理在。

因为到处搜 no rule to make riscv.(具体啥我忘了).gen.def 成 riscv.o ,发现了 gcc/gcc/ 下其实还有一个 Makefile.in。
于是在摘与之相关的樱桃，但是不敢乱刷了，算算时间如果解决不了问题可能过年都得在家干活的= =。

感叹光阴似箭

Fri, 26 Jan 2024 11:30:03 +0000

天气晴

发现了一个比每天撕一页老黄历更恐怖的事情就是一把撕六页，揉成一大团扔进垃圾桶里。
近日又迈出了和其他人办业务的重要一步，看起来只要我敢主动打电话都还蛮简单的。
又可以因为摘樱桃的原因去研究gcc的编译流程了，离开了riscv-gnu-toolchain还一次都没有成功过，遗憾。

继续想偷懒

Thu, 25 Jan 2024 11:30:03 +0000

天气晴

在给自己想一个理由断更，但是没想出来。
樱桃摘到了一周前，编译爆炸了，开始debug。
找到了 blog sort by time 的方法但是不知道往哪放。
https://gohugo.io/methods/pages/bydate/

更新：因为用 github CI拉去上游主题仓库，所以我自己修改主题代码没有用。因为不想自己维护一个主题仓库，所以不按照时间排序了。

想偷懒

Wed, 24 Jan 2024 11:30:03 +0000

天气晴

在给自己想一个理由断更，但是没想出来。
最近在给 gcc 摘 RISC-V 的樱桃，纯纯体力活，不过稍微还是瞟了几眼。
观测到性价比高的办公室了，也算有着落。

更新：性价比高的办公室凉了。

尝试学习 signal 写法

Tue, 16 Jan 2024 11:30:03 +0000

天气雨

今日观测不同架构 linux kernel 中的源代码关于 signal 的写法，因为不会用，所以也没有看懂。明日继续研究。
但也算是找到了 uc_mcontext 的出处？不过并没有理解 gprofng 此处用法是什么，也许我在舍本逐末。

又回想起了一些小时候的事情。时间过得可真快。

尝试阅读 stack unwind

Mon, 15 Jan 2024 11:30:03 +0000

天气阴

找到了 GET_SP 的文件。
https://github.com/bminor/binutils-gdb/blob/master/gprofng/libcollector/unwind.c
观察 Aarch64 代码编造了一些 REG_S0 REG_SP REG_PC，但是非常不 work 。
明日继续研究。

发现不是很懂 stack unwind，搜到了一些文章，大致了解了一下，近日没有耐心阅读学习，一心想回家过年大呼特呼，而且也不懂该如何在 RISC-V 上使用。
像 Aarch64 一样简单添加并不能解决问题，SPARC 和 x86 都有大量相关代码。预计我也需要写大量 RISC-V 相关代码。

今日观测民生银行大厦其他楼层办公室，物不甚美，胜在价廉。

龙龙和 Pigy 来办公室玩耍，刷 leetcode 题目，好强。

记录 RISC-V 的 gdb 异常使用 watch

Thu, 11 Jan 2024 11:30:03 +0000

天气晴

搭建好的qemu system使用watch ncpus可以快速发现被优化，但这完全是我编译的时候忘记了修改 Makefile 里面的 -O0.
修改完成之后 watchpoint 正在消耗大量时间。

结束 watch 之后，传入 -O0 又有了新的报错。

[root@172 build]# ./gprofng/src/gp-collect-app echo 1
Creating experiment directory test.6.er (Process ID: 354740) ...
echo: symbol lookup error: /usr/local/lib/gprofng/libgp-collector.so: undefined symbol: GET_SP

找到了 GET_SP 的文件。
https://github.com/bminor/binutils-gdb/blob/master/gprofng/libcollector/unwind.c
明日继续研究。

#define _GNU_SOURCE
#include <stdio.h>
#include <sched.h>
#include <sys/syscall.h>
#include <unistd.h>
#include <asm/hwprobe.h>

void main()
{
        int ncpus;
        int npages;
        int page_size;
        struct riscv_hwprobe res;
        res.key = RISCV_HWPROBE_KEY_MVENDORID;
        cpu_set_t cpu_set;
        int __riscv_hwprobe (struct riscv_hwprobe *pairs, long pair_count, long cpu_count, unsigned long *cpus, unsigned long flags)
        {
                return syscall(__NR_riscv_hwprobe, pairs, pair_count, cpu_count, cpus, flags);
        }
        CPU_ZERO(&cpu_set);
        CPU_SET(0, &cpu_set);
        long ret = __riscv_hwprobe(&res, 1, 1, &cpu_set, 0);
        ncpus = sysconf (_SC_NPROCESSORS_CONF);
        npages = sysconf (_SC_PHYS_PAGES);
        page_size = sysconf (_SC_PAGE_SIZE);
        printf("ncpus: %d,\nnpages: %d,\npage_size: %d\n", ncpus, npages, page_size);
        printf("riscv_hwprobe:%x\n", ret);
        printf("riscv_mvendorid:%x\n", res.value);
}

测试出了新内核可以读取 vendorid 和使用最新最热系统调用。
重要的是通过例子看懂了 kernel 文档里面的用法。

解决搭建qemu system遇到的问题

Wed, 10 Jan 2024 11:30:03 +0000

天气晴

近日听说新的sbi和kernel支持 profile sampling 打算搭建 qemu system 进行实验。
搭建过程遇到 nfs 的网桥难关。
今日跨越网桥配置难关。
https://wiki.archlinux.org/title/Systemd-networkd#Bridge_interface
在cyy的指导下根据上述链接将网桥绑在网络接口并配置了静态 ip 。
由于我电脑的home目录是加密的，所以无法 mount nfs。于是将 archriscv 的系统镜像移到了 /var。

搭建好的qemu system使用watch ncpus可以快速发现被优化，但这完全是我编译的时候忘记了修改 Makefile 里面的 -O0.
修改完成之后 watchpoint 正在消耗大量时间。

搭建qemu跑最新最热linux kernel

Tue, 09 Jan 2024 11:30:03 +0000

天气晴

近日听说新的sbi和kernel支持 profile sampling 打算搭建 qemu system 进行实验。
搭建过程遇到 nfs 的网桥难关。今日不打算跨越，明日再跨。

手头上的 unmatched 的 sbi 和 kernel 版本都是旧的。无法使用 perf

xyenchi@ubuntu:~$ sudo perf record -a -g
Error:
cycles: PMU Hardware doesn't support sampling/overflow-interrupts. Try 'perf stat'

本可以记录 cross compile linux kernel, 但是更想下班。

观察 ncpus 为什么会被优化

Mon, 08 Jan 2024 11:30:03 +0000

天气阴。

今日尝试直接修改 Makefile 在 unmatched 编译，发现 ncpus 不显示 optimized out 了。
说明 Makefile 的生成脚本确实写糊了，和 x86 一样可以得出值是 0。

运行的时候：

(gdb) r ./gprofng/src/gp-collect-app echo 1
Starting program: /home/xyenchi/binutils-gdb/debug-build/gprofng/src/gp-collect-app ./gprofng/src/gp-collect-app echo 1
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/riscv64-linux-gnu/libthread_db.so.1".
Creating experiment directory test.1.er (Process ID: 1319751) ...
process 1319751 is executing new program: /home/xyenchi/binutils-gdb/debug-build/gprofng/src/gp-collect-app
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/riscv64-linux-gnu/libthread_db.so.1".
Creating experiment directory test.2.er (Process ID: 1319751) ...
Warning: libgp-collector.so is already defined in one or more LD_PRELOAD environment variables
process 1319751 is executing new program: /usr/bin/echo
Error in re-setting breakpoint 1: Function "write_header" not defined.
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/riscv64-linux-gnu/libthread_db.so.1".
1
[Inferior 1 (process 1319751) exited normally]
(gdb) p ncpus
No symbol "ncpus" in current context.

但是大佬说使用ptrace的程序可能不能用gdb。

观察编译选项

Fri, 05 Jan 2024 11:30:03 +0000

天气晴。

今日尝试重新在 unmatched 上传入CFLAG=-O0 CXXFLAG=-O0不优化编译 gprofng, 发现无法传入。

# -------------------------------------------------
# Miscellaneous non-standard autoconf-set variables
# -------------------------------------------------

# The gcc driver likes to know the arguments it was configured with.
TOPLEVEL_CONFIGURE_ARGUMENTS=../configure --enable-gprofng CFLAG=-O0 CXXFLAG=-O0

CFLAGS = -g -O2
LDFLAGS =
LIBCFLAGS = $(CFLAGS)
CXXFLAGS = -g -O2

回忆童年

Thu, 04 Jan 2024 11:30:03 +0000

天气晴。

今日观察东亚时区双周会，无法静心看代码。摸鱼。
好久没有体验到考 RVFA 时候知识争相进入大脑的感觉了，需要加油。
昨天晚上回忆起了很多童年往事，因为一个神奇的诱因。

调试 grofng

Wed, 03 Jan 2024 11:30:03 +0000

天气晴。

今日尝试：
将
如果没有 __SC_CPUID_MAX
就把 __SC_CPUID_MAX 写成517
的代码改成了
如果没有 __SC_CPUID_MAX
就用 __SC_NPROCESSORS_CONF 读 ncpus
但是 ncpus 还是显示 0 ，使用 gdb 调试时显示被优化。
其他使用 syscall 和相同声明方法的 page_size 和 npages gdb 显示 no symbol, 搜索可以发现有些文件使用了它们。

今日发现：
2038年时间可以变成负数。
https://en.wikipedia.org/wiki/Year_2038_problem

观察 inline asm

Tue, 02 Jan 2024 11:30:03 +0000

天气雨。

今日尝试：

#elif ARCH(RISCV)
__asm__ __volatile__("csrr %0, mhartid"    /* RISC-V hart id */
  			: "=a" (r)
			: /* input : none */
			: /* clobbers: none */);

发现 usermode 不可以读 Machine mode 的 CSR。进行了失败的 asm volatile 用法研究。

_SC_NPROCESSORS_CONF可以读取 CPU 核数。

今日发现：
“`’” 是英文的一种引用方法。

观察计算机专有名词

Fri, 29 Dec 2023 11:30:03 +0000

天气阴，空气污染严重。

上午去协和医院想进行一个龋齿未雨绸缪地补。牙医看完片子之后说，蛀牙原本而就做过根管治疗了，如果想要补的话得把根管治疗也重做了。建议疼的时候再去直接根管治疗。想想这颗牙做根管治疗已经是十年前了，十年来每一个牙医都要对当时的牙医填充的材料表示一下震惊或者疑惑这到底是什么材料。

今日学习：
RHCT : RISC-V Hypervisor Code Table
ACPI : Advanced Configuration and Power Interface
DTS ： Device Tree Source

晚上武绿约饭，见到了好久不见的舌头球总肥猫灰熊东东柠柑半壶和半壶未婚妻。

观察 sysconf

Thu, 28 Dec 2023 11:30:03 +0000

天气勉强晴，空气污染严重。

今日学习：
sysconf()
标准C库。行时获取配置信息。

#include <unistd.h>

long sysconf(int name);

-1: 不支持
0：相关函数或头文件存在，但会在运行时询问支持程度
除了0或-1之外的值：支持

例子：
gprofng/src/collctrl.cc

  /* get CPU count and processor clock rate */
  ncpumax = sysconf (_SC_CPUID_MAX);

clock_getres
glibc 2.17前是 Real-time library (librt, -lrt)，之后是标准 C 库 (libc, -lc)。

#include <time.h>

int clock_getres(clockid_t clockid, struct timespec *_Nullable res);

int clock_gettime(clockid_t clockid, struct timespec *tp);
int clock_settime(clockid_t clockid, const struct timespec *tp);

ref：https://man7.org/linux/man-pages/man2/clock_getres.2.html

在 Michael Kerrisk 写的《Linux/UNIX System Programming Essentials》看到的小技巧：
不要在写了大量代码之后编译。
Use a frequent edit-save-build cycle to catch compiler errors early.
E.g., run the following in a separate window as you edit:
$ while inotifywait -q . ; do echo -e '\n\n'; make; done
inotifywait is provided in the inotify-tools package
(The echo command just injects some white space between each build)

记录 Gnu Modula 2

Thu, 16 Nov 2023 11:30:03 +0000

Gnu Modula 2 在 gcc 源码目录里，属于处理源代码的前端。根据职业生涯所学从 AST 到 GIMPLE 到 pass 到 RTL, 竟不知从何下手去移植到 RISC-V。

查询了一下 modula 2 的用法。和 gcc 较为相似，使用 gm2 编译运行 .mod 文件。

猜测是也能在 riscv-gnu-toolchain 里生成可执行文件，类似于 riscv-gnu-unknown-linux/elf-gcc。

将 gcc 切换到 devel/modula-2 分支之后，使用 --with=rv64gc --with-abi-lp64d 编译了一次，缺少某个库而报错。
意外的是，如果进入 gcc 文件夹，使用 --enable-libgm2 GM2_for_target=riscv 配置一下之后，编译通过了。
想到修改 makefile 。添加 makefile 的难处在于，gm2 在 gcc 文件夹中，如何使之脱离 gcc 并能够使用。

debug record

Mon, 06 Nov 2023 11:30:03 +0000

工具链

riscv-gnu-toolchain

源码

https://github.com/gcc-mirror/gcc/blob/master/gcc/common/config/riscv/riscv-common.cc

方法

git clone https://github.com/riscv-collab/riscv-gnu-toolchain.git
./configure --prefix="$PWD/opt" --with-arch=rv64gc --with-abi=lp64d
make -j $(nproc)
make linux -j $(nproc)
gdb opt/riscv64-unknown-linux-gnu-gcc

没想到想办法实现了好几天的 -march=rv64gcv0p7 解析成 rv64i2p1_m2p0_a2p1_f2p2 _d2p2 _c2p0 _v0p7 而不是 rv64i2p1_m2p0_a2p1_f2p2_d2p2_c2p0_v0p7_zicsr2p0_zifencei2p0_zve32f1p0_zve32x1p0_zve64d1p0_zve64f1p0_zve64x1p0_zvl128b1p0_zvl32b1p0_zvl64b1p0 因为 T head 实现方法是 -march=rv64gcXthreadVector 而搁置了。

初期是在 handle_implied_ext 前面判断版本。但是发现参数 *ext 在与 riscv_implied_info[] 比较，没有获取大小版本的机会，于是引入了一个参数指给 riscv_ext_version_table[]。还用过 get_default_version，始终卡在不知道获取了哪个扩展的 major_version = 2, minor_version = 0。

继而想在parse调用 handle_implied_ext 之前判断出大小版本返回 implied_version_p = false。但是使用前文中的 itr 调用 lookup()始终不对。自此编程苦手烂尾。

Mon, 01 Jan 0001 00:00:00 +0000

about me

steam id:896223072
雀魂id:13634073
国服fgo用户ID:100,112,726,188

简历

吃面包挑战主理人
摆摊算命数十载，好评如潮，回头客多多。

Mon, 01 Jan 0001 00:00:00 +0000

happy to exchange
sort by time
Felix’s Blog
Coelacanthus’s Blog
Yuuta Liang’s Blog
CYY’s Blog
alexiusll’s Blog
ssr’s blog

C++学习笔记

Mon, 01 Jan 0001 00:00:00 +0000

最近开始学C++，做一下记录。

User-defined conversion function 自定义类型转换函数

Enables implicit convension or explicit conversion from a class type to another type. 给类类型提供显示或隐式转换。

隐式转换 implicit conversion operator target_type() const; 在 RIF 中的用法 operator int8_t() const { return datum.i8; }

1.可以对整型进行隐式转换，指针进行显式转换。 2.使用 explicit 和 static_cast<> 进行显式转换。

cpp reference 举的例子：

struct X{
	// implicit conversion
	operator int() const { return 7; }

	// explicit conversion
	explicit operator int*() const { return nullptr; }

	// Error: array operator not allowed in conversion-type-id
	// operator int(*)[3]() const { return nullptr; }

	using arr_t = int[3];
	operator arr_t*() const { return nullptr; } // OK if done through typedef
	// operator arr_t () const; // Error: conversion to array not allowed in any case
};

int main(){
	X x;

	int n = static_cast<int>(x); // OK: sets n to 7
	int m = x;                   // OK: sets m to 7

	int* p = static_cast<int*>(x); // OK: sets p to null
	//int* q = x;                  // Error: no implicit conversion

	int (*pa)[3] = x; // OK
}

Port gprofng for RISC-V

Mon, 01 Jan 0001 00:00:00 +0000

简单介绍一下 gprofng 的功能

由于 gprofng 可以对可执行程序直接进行分析不需要重新编译源码，所以对闭源软件进行性能评测也很方便。

对 C、C++、Java 或者 Scala 程序进行性能分析
支持 Pthread、OpenMP 和 Java thread 多线程编程模型
gprofng 主要数据收集命令 gprofng collect app 运行时一般使用程序计数器（PC）采样 (Sample)

简单介绍一下 gprofng 的安装方法

直接用各大发行版的软件包管理器安装
从源码开始编译安装
https://github.com/bminor/binutils-gdb/tree/master/gprofng

简单介绍一下 gprofng 的使用方法

首先收集数据：

gprofng collect app {your app}

eg.

gprofng collect app echo 1

上述命令会生成 test.n.er 文件夹，里面是收集的数据。
然后进行处理：

gprofng display text -func -exp -head test.{times}.er/

简单介绍一下 port 过程干了啥

添加 binutils-gdb 的 –enable-gprofng 支持的架构

configure.ac中判断是否开启构建 gprofng 的 target 里面添加 riscv64 的 ¹triplet。

gnu configure.ac 的介绍官网链接
虽然很短一段但是翻译过来放在我的博客文章中却可以显得我的博客很长：
新建名为 configure.ac 、包含调用 Autoconf 用来检测软件包所需或者可以使用的系统特性的宏的文件来给软件包生成 configure 脚本。
从描述上看，Autoconf 已有的宏可以检测多种特性；详见已有检测
也可以使用 Autoconf 模版来生成一般性检测宏；详见写检测
对于特殊的特性，configure.ac 可能需要手写 shell 命令；详见可移植 shell
autoscan 程序可以帮助你快速入门写 configure.ac ，详见autoscan 调用;
同理在 gprofng 文件夹中的 configure.ac 中也添加 RISC-V 架构相关配置信息。

PyTorch for RISC-V 的现状和发展

Mon, 01 Jan 0001 00:00:00 +0000

随着人工智能技术的爆发式增长，深度学习框架与底层硬件的结合变得前所未有的紧密。在软件端，PyTorch 凭借其易用性和动态图机制，已经成为学术界和工业界最受欢迎的深度学习框架之一；而在硬件端，RISC-V 架构凭借其开源、精简、模块化的特性，正在从物联网（IoT）领域迅速向高性能计算和人工智能加速领域渗透。

“当最火的开源 AI 框架遇上最具潜力的开源指令集”，PyTorch on RISC-V 的生态构建不仅是打破传统 x86 和 ARM 架构垄断的关键一步，更是推动 AI 算力普惠化和底层硬件创新的重要力量。本文将深入探讨 PyTorch 在 RISC-V 架构上的发展现状、面临的挑战以及未来的演进方向。

为什么我们需要 PyTorch on RISC-V？

在讨论现状之前，首先需要理解这一组合的内在逻辑：

打破算力垄断与定制化需求：

传统的 CPU/GPU 架构面临高昂的授权费用和技术壁垒。RISC-V 的开源特性允许开发者根据特定 AI 场景（如边缘推理、自动驾驶控制）定制扩展指令。PyTorch 的原生支持能够让这些定制化芯片迅速无缝接入成熟的 AI 算法生态。

RISC-V 向量扩展（RVV）的潜力：

深度学习的核心是海量的张量（Tensor）运算。RISC-V 推出的向量扩展标准（RVV, RISC-V Vector Extension）天生契合矩阵乘法和并行计算。通过 PyTorch 调动 RVV，可以极大提升 RISC-V 芯片的 AI 推理与训练性能。

边缘 AI（Edge AI）的崛起：

未来的 AI 不仅存在于云端数据中心，更将广泛部署于智能终端。RISC-V 功耗低、面积小的优势使其成为边缘 AI 的绝佳载体，而 PyTorch（特别是面向边缘设备的 ExecuTorch）则是连接算法与端侧硬件的桥梁。

PyTorch for RISC-V 的发展现状

从当前实际情况来看，PyTorch 在 RISC-V 上尚未形成官方完整支持，整体处于“可运行但不可高效使用”的阶段。首先，在基础可用性方面，PyTorch 已经可以通过源码编译在 RISC-V Linux 系统上运行，但通常需要关闭 CUDA、QNNPACK、FBGEMM 等关键优化组件，仅支持 CPU 推理路径。这意味着其性能与 x86 或 ARM 平台相比存在明显差距。此外，构建过程复杂，对工具链、依赖版本要求严格，生态仍不完善。其次，在上游支持层面，目前 PyTorch 官方仓库中仍缺乏完善的 RISC-V CI 测试、预编译二进制以及系统级适配。社区虽有零散贡献（如 build 脚本、Docker 环境等），但整体尚未进入主线支持范畴

RISC-V Vector 或 SIMD 类似拓展的应用举例子说明

Mon, 01 Jan 0001 00:00:00 +0000

线性代数部分

专有名词：

线性方程组
 齐次线性方程组
 增广矩阵

还没有想好次级标题叫什么名字

不知道有没有必要从线性方程的求解开始讲起，简单带过一下好了。想象有很多未知数，如果没有限制条件，未知数的结果就想怎么编就怎么编，但是如果用方程组来当它们的限制条件，就可以缩小范围。用线性代数的方法求解就是，把未知数的位置对齐，将系数收集起来，称之为系数矩阵，对系数矩阵进行行变换化简，得到线性无关行向量个数，也就是矩阵的秩。秩小于未知数个数时，相当于限制条件没有太多，可以在一定范围内瞎编。而秩等于未知数个数时，想方便理解的话就还原一下原本的方程，如果是齐次线性方程，最后一行的未知数 x 常数之后还是等于0, 只能未知数自己也是0。以前学的教材上还有增广矩阵这个概念用来求等式右边不为0的情况，但是规律公式啥的都很难记，还是行变换之后想象一下原本的方程简单。

电路部分（线性齐次）

专有名词：

基尔霍夫电流定律基尔霍夫电压定律节点分析

举个例子：

本来是想拿个电路图举例子的，但是发现博客没调好，显示不了图片。等下一次心血来潮的时候修一修吧。
大致过程就是，选一个参考节点，把所有节点标个号方便表示，给每一条支路都标个方向。找出受控源，列出支路方程，受控源正负极相连的方向如果跟你标的方向相同就写负号，相反就写正号。列出节点电压方程。改写成矩阵形式。就变成了一个方程组解的问题。

电路部分（线性非齐次）

要写的也太多了。。。再说吧。

专有名词：

举个例子：

关于射频仿真软件

之前在电子厂干天线的测试和量产前期的失效分析，因为看不到什么前途就在闲的时候看了一些天线仿真教学，但是也没太深入学习就跑路了，机缘巧合之下转行搞计算机。在开始学仿真的时候，学习到的就是不同的电尺寸选择的算法会不一样，还接触到了边界条件这些很有意思的概念。在学习RISCV相关的知识的时候，经常看到的例子就是计算RGB, 但是脑子里好像又有一些矩阵的其他用法，心血来潮，写下这篇博客，如果以后能学习到更多，那本文就是挖的坑，有空就来填，如果以后真的转行成功，在其他方向深入，那本文就是对过去的总结。

RVFA课程学习笔记

Mon, 01 Jan 0001 00:00:00 +0000

timeline

1980: start around, RISC-V is the fifth generation of a research project.
2010: RISC-V is the result of an evolving project.
2011: The first version of the RISC-V ISA was released.

name

the number just after “RV”: XLEN: in the Unprivileged Specification document. represents the width of registers and not the width of the instructions. Not all instruction width are allowed, only multiple of 16 bits wide.
for example, the 32 of RV32I.
RV64G:
RV64IMAFDZicsr_Zifencei

RVV intrinsic的实现分析

Mon, 01 Jan 0001 00:00:00 +0000

虽然标题叫分析，但现在已经变成了大量注释内容整合的形状，可能得改名为笔记。
既然我第一行就写明了，那么便不是标题党。
之所以不能叫分析，当然是自己回头看一遍都没看懂在写啥。

包含的文件

iterator.md
constraint.md
riscv-c.cc
riscv-protos.h
riscv-vector-builtins-bases.cc
riscv-vector-builtins-bases.h
riscv-vector-builtins-functions.def
riscv-vector-builtins-shapes.cc
riscv-vector-builtins-shapes.h
riscv-vector-builtins-types.def
riscv-vector-builtins.cc
riscv-vector-builtins.h
riscv.md
vector-iterators.md
vector.md

Acronyms

QI: 8 bits
HI: 16 bits
SI: 32 bits
DI: 64 bits
把一个word（即 32 bit 当成计量单位）四分之一（quarter）、二分之一（half）、双倍（double）。

iterator.md

使用lisp声明通用寄存器位宽定义迭代器（iterator）名称

constraint.md

在 match_operand 中，可以指定操作数约束(operand constraint)。
约束(constraint)对断言(predicate)所允许的操作数进行更详细的描述。

约束条件可以定义操作数是否可以使用寄存器以及使用何种寄存器。
说明操作数是否可以是一个内存引用以及其地址类型。
描述该操作数是都可以是一个立即数常量(immediate)以及其可能的值。

GCC 中的约束(constraint)使用字符串(string)表示。
以下是常见用法（部分夹带RISC-V私货方便自己查询）：
>: memory operand, autoincrement addressing type, including preincrement and postincrement.
f: floating-point register
g: general register, memory or integer immediate constant.
i: Integer immediate operand, sign constant when and after compilering.
j: SIBCALL_REGS
l: JALR_REGS
n: known value integer immediate operand
p: memory address operand
x: all operand
I: 12-bit integer signed immediate J: integer zero
K: 5-bit unsigned immediate for CSR access instructions
L: U-type 20-bit signed immediate
Ds3: 1, 2 or 3 immediate
DsS: 31 immediate
DsD: 63 immediate
DbS:
DnS:
D03: 0, 1, 2 or 3 immediate
DsA: 0 - 10 immediate
G:
A: An address that is held in a general-purpose register.
S: A constraint that matches an absolute symbolic address.
U: A PLT-indirect call address.
T:
vr: vector register
vd: vector register except mask register
vm: vector mask register
vp: poly int
vu: undefined vector value
vi: vector 5-bit signed immediate
vj: vector negated 5-bit signed immediate
vk: vector 5-bit unsigned immediate
Wc0: vector of immediate all zeros
Wc1: vector of immediate all ones
Wb1: BOOL vector of {…,0,…0,1}
Wdm: Vector duplicate memory operand
th_f_fmv: floating-point register for XTheadFmv
th_r_fmv: integer register for XTheadFmv
vmWc1:
vector mask register + a vector of immediate all ones
rK:
register operand using general register + 5-bit unsigned immediate for CSR access instructiosn
约束修饰字符 (Constraint Modifier Characters)
=:操作数只写
+:操作可读可写
&:在某些约束选择(constraint alternative)中，该操作数是前面某个clobber的操作数，作为指令的输入操作数，该操作数在指令结束之前它的值已经被修改，因此，该操作数可能不在原来使用的寄存器或内存地址中存储
%:可交换，该操作数及其之后的操作数可以进行交换
eg. 操作数1的约束为 ‘%0’，表示与操作数0的约束相同。
#:直到逗号的所有字符在进行约束处理时将被忽略，这些字符只对寄存器选择起作用
*: 直到逗号的所有字符在进行约束处理是将被忽略，这些字符在寄存器选择是也将被忽略。

riscv-c.cc

riscv intrinsic 相关。

Unmatched JavaScript 引擎 Benchmark 跑分

Mon, 01 Jan 0001 00:00:00 +0000

unmatched 的系统信息 Linux milk 5.19.2-arch1-1 #1 SMP PREEMPT Fri, 19 Aug 2022 19:44:19 +0000 riscv64 GNU/Linux python 版本 :Python 3.10.6

v8

arch riscv 的 unmatched 上面并没有 v8 直接装来用，所以需要构建一个。放一个 v8 官方网站的构建教程做参考。但是这样以我的水平并不能糊出来一个 PKGBUILD ，于是在 AUR 库找到了 v8-r 这个包，用PARU -G v8-r命令把 PKGBUILD 及相关文件获取到本地或者性能更优的编译机器。修改PKGBUILD中的arch为riscv64。参考 arch 跨平台打包教程。进行第一次 extra-riscv64-build -- -d "/tmp/cache:/var/cache/pacman/pkg",报错如下：

==> Starting prepare()...
  -> Fetching V8 code
/build/v8-r/src/depot_tools/vpython3: line 45: /build/v8-r/src/depot_tools/.cipd_bin/vpython3: No such file or directory
==> ERROR: A failure occurred in prepare().
    Aborting...

在谷歌源码站找到vpython3。第 45 行的上下文：

Unmatched 编译运行 Fpmark

Mon, 01 Jan 0001 00:00:00 +0000

现有如下两块 unmatched 用来跑 benchmark, 一台叫 lemontea, 另一台叫 milk 。

lemontea 系统信息，clang 版本，gcc 版本如下：

[root@lemontea ~]# uname -a
Linux lemontea 5.18.3-arch1-1 #1 SMP PREEMPT Sun, 12 Jun 2022 18:42:25 +0000 riscv64 GNU/Linux
[root@lemontea ~]# clang -v
clang version 13.0.1
Target: riscv64-unknown-linux-gnu
Thread model: posix
InstalledDir: /usr/bin
Found candidate GCC installation: /usr/bin/../lib/gcc/riscv64-unknown-linux-gnu/12.1.0
Selected GCC installation: /usr/bin/../lib/gcc/riscv64-unknown-linux-gnu/12.1.0
[root@lemontea ~]# gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/riscv64-unknown-linux-gnu/12.1.0/lto-wrapper
Target: riscv64-unknown-linux-gnu
Configured with: /build/gcc/src/gcc/configure --enable-languages=c,c++,fortran,go,lto,objc,obj-c++ --enable-bootstrap --prefix=/usr --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/ --with-linker-hash-style=gnu --with-system-zlib --enable-__cxa_atexit --enable-cet=auto --enable-checking=release --enable-clocale=gnu --enable-default-pie --enable-default-ssp --enable-gnu-indirect-function --enable-gnu-unique-object --enable-linker-build-id --enable-lto --disable-multilib --enable-plugin --enable-shared --enable-threads=posix --disable-libssp --disable-libstdcxx-pch --disable-werror --enable-link-serialization=1
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 12.1.0 (GCC)

milk 系统信息，clang 版本，gcc 版本如下：

xyenchi's blog

JITLink 和 RuntimeDyld

大学习nan

openEuler RISC-V使用tmux乱码解决方法

仰卧起坐

一些记录

linalg

rsync 制作系统镜像参数不全引发的惨案

pytorch测试集缺少monkeytype

buddy-mlir archlinux cross build

cross MLIR

Build Local LLVM/MLIR

Build Local buddy-mlir

buddy-mlir archlinux cross build

Pytorch2.8 archlinux cross build

Pytorch的测试集

跟 Python 虚拟环境斗智斗勇

Pytorch Baseline

Intel Extension for Pytorch

Device-agnostic

Eager-Mode

Graph-Mode

ATen Ops

Graph Ops

Kernels

GPU related

GPU Custom & ATen Kernels

oneDNN GPU Kernels

oneMKL GPU Kernels

CPU related

CPU Custom & ATen Kernels

oneDNN CPU Kernels

oneMKL CPU Kernels

torch.compile

训练和推理后端

仅推理后端

pytorch torch.compile

PyTorch RISC-V CI

Transformers RISC-V

Pytorch RISC-V

官方 github 仓库CI

x86 cross

起

20251224

20251211

20251209

20251204

20251203

vslidedown

20251202

vslideup

20251201

vslide1up

十一月工作月更

社区活动

RIF

vrgather

spike

十月工作月更

vlmax

spike

九月工作月更

有关项目

RVV

vrgather

八月工作月更

有关项目

C++

技术分享

博客日更改为月更

有关项目

Segmentation Fault

vfsgnj(n/x)

mask intrinsic

mask intrinsic

工作日更

工作日更

工作日更

工作日更

真的日更