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