1 # pfsm.p family (p={ss,sd,dd})
5 # pfsm without dual bit
24 i2s1.dd
%f12,%f14,%f16
27 i2st.sd
%f11,%f12,%f13
28 i2st.dd
%f14,%f16,%f18
30 i2as1.ss
%f10,%f11,%f12
31 i2as1.sd
%f14,%f15,%f16
32 i2as1.dd
%f16,%f18,%f20
34 i2ast.ss
%f13,%f14,%f15
35 i2ast.sd
%f17,%f18,%f19
36 i2ast.dd
%f18,%f20,%f22
38 rat1s2.ss
%f14,%f15,%f16
39 rat1s2.sd
%f20,%f21,%f22
40 rat1s2.dd
%f20,%f22,%f24
42 m12asm.ss
%f15,%f16,%f17
43 m12asm.sd
%f23,%f24,%f25
44 m12asm.dd
%f22,%f24,%f26
46 ra1s2.ss
%f18,%f19,%f20
47 ra1s2.sd
%f26,%f27,%f28
48 ra1s2.dd
%f20,%f22,%f24
50 m12ttsa.ss
%f19,%f20,%f21
51 m12ttsa.sd
%f29,%f30,%f31
52 m12ttsa.dd
%f22,%f24,%f26
54 iat1s2.ss
%f20,%f21,%f22
56 iat1s2.dd
%f24,%f26,%f28
58 m12tsm.ss
%f21,%f22,%f23
60 m12tsm.dd
%f30,%f0,%f2
62 ia1s2.ss
%f22,%f23,%f24
66 m12tsa.ss
%f23,%f24,%f25
67 m12tsa.sd
%f9,%f10,%f11
68 m12tsa.dd
%f6,%f8,%f10
85 d.r2as1.ss
%f2,%f3,%f4
87 d.r2as1.sd
%f6,%f7,%f8
89 d.r2as1.dd
%f4,%f6,%f8
92 d.r2ast.ss
%f3,%f4,%f5
94 d.r2ast.sd
%f7,%f8,%f9
96 d.r2ast.dd
%f6,%f8,%f10
101 d.i2s1.sd
%f8,%f9,%f10
103 d.i2s1.dd
%f12,%f14,%f16
106 d.i2st.ss
%f7,%f8,%f9
108 d.i2st.sd
%f11,%f12,%f13
110 d.i2st.dd
%f14,%f16,%f18
113 d.i2as1.ss
%f10,%f11,%f12
115 d.i2as1.sd
%f14,%f15,%f16
117 d.i2as1.dd
%f16,%f18,%f20
120 d.i2ast.ss
%f13,%f14,%f15
122 d.i2ast.sd
%f17,%f18,%f19
124 d.i2ast.dd
%f18,%f20,%f22
127 d.rat1s2.ss
%f14,%f15,%f16
129 d.rat1s2.sd
%f20,%f21,%f22
131 d.rat1s2.dd
%f20,%f22,%f24
134 d.m12asm.ss
%f15,%f16,%f17
136 d.m12asm.sd
%f23,%f24,%f25
138 d.m12asm.dd
%f22,%f24,%f26
141 d.ra1s2.ss
%f18,%f19,%f20
143 d.ra1s2.sd
%f26,%f27,%f28
145 d.ra1s2.dd
%f20,%f22,%f24
148 d.m12ttsa.ss
%f19,%f20,%f21
150 d.m12ttsa.sd
%f29,%f30,%f31
152 d.m12ttsa.dd
%f22,%f24,%f26
155 d.iat1s2.ss
%f20,%f21,%f22
157 d.iat1s2.sd
%f0,%f1,%f2
159 d.iat1s2.dd
%f24,%f26,%f28
162 d.m12tsm.ss
%f21,%f22,%f23
164 d.m12tsm.sd
%f3,%f4,%f5
166 d.m12tsm.dd
%f30,%f0,%f2
169 d.ia1s2.ss
%f22,%f23,%f24
171 d.ia1s2.sd
%f6,%f7,%f8
173 d.ia1s2.dd
%f4,%f6,%f8
176 d.m12tsa.ss
%f23,%f24,%f25
178 d.m12tsa.sd
%f9,%f10,%f11
180 d.m12tsa.dd
%f6,%f8,%f10