第一章第 3 节：0 条独立 vadd：模型 (1, 13)，实测 [(1, 13)]
第一章第 3 节：0 条 vld：模型 (1, 13)，实测 [(1, 13)]
第一章第 3 节：16 条独立 vadd：模型 (17, 29)，实测 [(17, 29)]
第一章第 3 节：16 条 vld：模型 (17, 29)，实测 [(17, 29)]
第一章第 3 节：64 条独立 vadd：模型 (65, 77)，实测 [(65, 77)]
第一章第 3 节：64 条 vld：模型 (65, 77)，实测 [(65, 77)]
第 3 节：4 条相互依赖的 vmul：模型 (5, 19)，实测 [(5, 19)]
第 3 节：16 条相互依赖的 vmul：模型 (17, 43)，实测 [(17, 43)]
第 3 节：32 条相互依赖的 vmul：模型 (36, 75)，实测 [(36, 75)]
第 3 节：64 条相互依赖的 vmul：模型 (100, 139)，实测 [(100, 139)]
第一章第 7 节：16 条相互依赖的 vadd.f32：模型 (17, 43)，实测 [(17, 43)]
第一章第 7 节：16 条相互依赖的 vcvt.s32.f32：模型 (17, 43)，实测 [(17, 43)]
第一章第 7 节：16 条相互依赖的 vpackc：模型 (17, 43)，实测 [(17, 43)]
第一章第 7 节：16 条相互依赖的 vmax.f32：模型 (17, 29)，实测 [(17, 29)]
第一章第 7 节：16 组（vadd.f32、用它的结果的 vmax.f32）：模型 (33, 60)，实测 [(33, 60)]
第一章第 7 节：8 组（vadd.f32、写出它的结果的 vst）：模型 (17, 36)，实测 [(17, 36)]
第一章第 7 节：先 8 条 vadd.f32，再 8 条 vst：模型 (17, 29)，实测 [(17, 29)]
第 3 节：1 组 cld + vpop：模型 (3, 67)，实测 [(3, 66), (3, 67)]
第 3 节：4 组 cld + vpop：模型 (9, 229)，实测 [(9, 229)]
第 3 节：16 组 cld + vpop：模型 (337, 877)，实测 [(337, 877)]
第 3 节：32 组 cld + vpop：模型 (1201, 1741)，实测 [(1201, 1741)]
第 3 节：64 组 cld + vpop：模型 (2929, 3469)，实测 [(2929, 3469)]
vpow2 → vpop：模型 (3, 20)，实测 [(3, 20)]
8 条 vpow2 → 8 条 vpop：模型 (17, 35)，实测 [(17, 35)]
16 条 vpow2 → 16 条 vpop：模型 (36, 59)，实测 [(36, 59)]
8 组 vpow2 + vpop：模型 (17, 76)，实测 [(17, 76)]
vmatmul → vpop：模型 (3, 96)，实测 [(3, 96)]
8 条 vmatmul → 8 条 vpop：模型 (17, 152)，实测 [(17, 152)]
11 条 vmatmul → 11 条 vpop：模型 (28, 176)，实测 [(28, 176)]
12 条 vmatmul → 12 条 vpop：模型 (44, 190)，实测 [(44, 190)]
16 条 vmatmul → 16 条 vpop：模型 (108, 254)，实测 [(108, 254)]
16 条 vmatmul，从第 9 条起与 vpop 交错：模型 (104, 228)，实测 [(104, 228)]
vpush → spop：模型 (45, 57)，实测 [(45, 57)]
一次转置：16 次 vxpose：模型 (17, 133)，实测 [(17, 133)]
一次转置：16 次 vxpose + 16 次 vpop：模型 (108, 259)，实测 [(108, 259)]
先后两次转置，都用 trf0：模型 (355, 506)，实测 [(355, 506)]
两次转置分给 trf0、trf1，成对取回：模型 (108, 259)，实测 [(108, 259)]
两次转置分给 trf0、trf1，先取完 trf0：模型 (234, 380)，实测 [(234, 380)]
第一章第 8 节：2 条连续的 sld：模型 (6, 18)，实测 [(6, 18)]
第一章第 8 节：16 条连续的 sld：模型 (62, 74)，实测 [(62, 74)]
第一章第 8 节：sld 之后紧接使用其结果：模型 (6, 18)，实测 [(6, 18)]
第一章第 8 节：4 组“sld + 3 条无关的 sadd”：模型 (17, 29)，实测 [(17, 29)]
sld 与依赖 sld 结果的向量运算：模型 (4, 16)，实测 [(4, 16)]
vadd.xlane → vpop：模型 (3, 92)，实测 [(3, 92)]
8 条 vadd.xlane → 8 条 vpop：模型 (17, 148)，实测 [(17, 148)]
lane 循环移位 vrot → vpop：模型 (3, 82)，实测 [(3, 82)]
4 次 lane 循环移位，每次移位前一次的结果：模型 (9, 292)，实测 [(9, 292)]
7 条相互依赖的 vrot.slane.down：模型 (8, 25)，实测 [(8, 25)]
计数循环 1 次：模型 (6, 18)，实测 [(6, 18)]
计数循环 16 次：模型 (66, 78)，实测 [(66, 78)]
计数循环 64 次：模型 (258, 270)，实测 [(258, 270)]
50 / 51 段清单与模型一致