1 # fzchkl, fzchks, faddp, faddz
5 # Pipelined, without dual bit
11 pfzchks %f12,%f14,%f30
12 pfzchks %f16,%f18,%f20
13 pfzchks %f20,%f22,%f28
14 pfzchks %f24,%f26,%f30
26 # Non-pipelined, without dual bit
47 # Pipelined, with dual bit
48 d.pfzchkl %f0,%f2,%f18
50 d.pfzchkl %f2,%f4,%f12
52 d.pfzchkl %f4,%f6,%f30
54 d.pfzchkl %f8,%f10,%f4
57 d.pfzchks %f12,%f14,%f14
59 d.pfzchks %f16,%f18,%f6
61 d.pfzchks %f20,%f22,%f10
63 d.pfzchks %f24,%f26,%f8
75 d.pfaddz %f12,%f14,%f14
77 d.pfaddz %f16,%f18,%f6
79 d.pfaddz %f20,%f22,%f10
81 d.pfaddz %f24,%f26,%f8
84 # Non-pipelined, with dual bit
91 d.fzchkl %f8,%f10,%f14
94 d.fzchks %f12,%f14,%f16
96 d.fzchks %f16,%f18,%f12
98 d.fzchks %f20,%f22,%f16
100 d.fzchks %f24,%f26,%f30
109 d.faddp %f8,%f10,%f14
112 d.faddz %f12,%f14,%f16
114 d.faddz %f16,%f18,%f12
116 d.faddz %f20,%f22,%f16
118 d.faddz %f24,%f26,%f30