first implementation of floatingpoint arithmetic operations
[libfirm] / ir / be / sparc / sparc_spec.pl
1 # Creation: 2006/02/13
2 # $Id$
3
4 $arch = "sparc";
5
6 $mode_gp      = "mode_Iu";
7 $mode_flags   = "mode_Bu";
8 $mode_fp      = "mode_D";
9
10 $normal      =  0; # no special type
11 $caller_save =  1; # caller save (register must be saved by the caller of a function)
12 $callee_save =  2; # callee save (register must be saved by the called function)
13 $ignore      =  4; # ignore (do not assign this register)
14 $arbitrary   =  8; # emitter can choose an arbitrary register of this class
15 $virtual     = 16; # the register is a virtual one
16 $state       = 32; # register represents a state
17
18 # available SPARC registers: 8 globals, 24 window regs (8 ins, 8 outs, 8 locals)
19 %reg_classes = (
20         gp => [
21                 { name => "g0", realname => "g0", type => $ignore }, # hardwired 0, behaves like /dev/null
22                 { name => "g1", realname => "g1", type => $caller_save }, # temp. value
23                 { name => "g2", realname => "g2", type => $caller_save },
24                 { name => "g3", realname => "g3", type => $caller_save },
25                 { name => "g4", realname => "g4", type => $caller_save },
26                 { name => "g5", realname => "g5", type => $ignore }, # reserved by SPARC ABI
27                 { name => "g6", realname => "g6", type => $ignore }, # reserved by SPARC ABI
28                 { name => "g7", realname => "g7", type => $ignore }, # reserved by SPARC ABI
29
30                 # window's out registers
31                 { name => "o0", realname => "o0", type => $caller_save }, # param 1 / return value from callee
32                 { name => "o1", realname => "o1", type => $caller_save }, # param 2
33                 { name => "o2", realname => "o2", type => $caller_save }, # param 3
34                 { name => "o3", realname => "o3", type => $caller_save }, # param 4
35                 { name => "o4", realname => "o4", type => $caller_save }, # param 5
36                 { name => "o5", realname => "o5", type => $caller_save }, # param 6
37                 { name => "sp", realname => "sp", type => $ignore }, # our stackpointer
38                 { name => "o7", realname => "o6", type => $ignore }, # temp. value / address of CALL instr.
39
40                 # window's local registers
41                 { name => "l0", realname => "l0", type => 0 },
42                 { name => "l1", realname => "l1", type => 0 },
43                 { name => "l2", realname => "l2", type => 0 },
44                 { name => "l3", realname => "l3", type => 0 },
45                 { name => "l4", realname => "l4", type => 0 },
46                 { name => "l5", realname => "l5", type => 0 },
47                 { name => "l6", realname => "l6", type => 0 },
48                 { name => "l7", realname => "l7", type => 0 },
49
50                 # window's in registers
51                 { name => "i0", realname => "i0", type => 0 }, # incoming param1 / return value to caller
52                 { name => "i1", realname => "i1", type => 0 }, # param 2
53                 { name => "i2", realname => "i2", type => 0 }, # param 3
54                 { name => "i3", realname => "i3", type => 0 }, # param 4
55                 { name => "i4", realname => "i4", type => 0 }, # param 5
56                 { name => "i5", realname => "i5", type => 0 }, # param 6
57                 { name => "frame_pointer", realname => "fp", type => $ignore }, # our framepointer
58                 { name => "i7", realname => "i7", type => $ignore }, # return address - 8
59                 { mode => $mode_gp }
60         ],
61         flags => [
62                 { name => "y", realname => "y", type => $ignore },  # the multiply/divide state register
63                 { mode => $mode_flags, flags => "manual_ra" }
64         ],
65         # fp registers can be accessed any time
66         fp => [
67                 { name => "f0",  type => $caller_save },
68                 { name => "f1",  type => $caller_save },
69                 { name => "f2",  type => $caller_save },
70                 { name => "f3",  type => $caller_save },
71                 { name => "f4",  type => $caller_save },
72                 { name => "f5",  type => $caller_save },
73                 { name => "f6",  type => $caller_save },
74                 { name => "f7",  type => $caller_save },
75                 { name => "f8",  type => $caller_save },
76                 { name => "f9",  type => $caller_save },
77                 { name => "f10", type => $caller_save },
78                 { name => "f11", type => $caller_save },
79                 { name => "f12", type => $caller_save },
80                 { name => "f13", type => $caller_save },
81                 { name => "f14", type => $caller_save },
82                 { name => "f15", type => $caller_save },
83                 { name => "f16", type => $caller_save },
84                 { name => "f17", type => $caller_save },
85                 { name => "f18", type => $caller_save },
86                 { name => "f19", type => $caller_save },
87                 { name => "f20", type => $caller_save },
88                 { name => "f21", type => $caller_save },
89                 { name => "f22", type => $caller_save },
90                 { name => "f23", type => $caller_save },
91                 { name => "f24", type => $caller_save },
92                 { name => "f25", type => $caller_save },
93                 { name => "f26", type => $caller_save },
94                 { name => "f27", type => $caller_save },
95                 { name => "f28", type => $caller_save },
96                 { name => "f29", type => $caller_save },
97                 { name => "f30", type => $caller_save },
98                 { name => "f31", type => $caller_save },
99                 { mode => $mode_fp }
100         ]
101 ); # %reg_classes
102
103 %emit_templates = (
104 # emit source reg or imm dep. on node's arity
105         RI  => "${arch}_emit_reg_or_imm(node, -1);",
106         R1I => "${arch}_emit_reg_or_imm(node, 0);",
107         R2I => "${arch}_emit_reg_or_imm(node, 1);",
108         R3I => "${arch}_emit_reg_or_imm(node, 2);",
109         S1  => "${arch}_emit_source_register(node, 0);",
110         S2  => "${arch}_emit_source_register(node, 1);",
111         S3  => "${arch}_emit_source_register(node, 2);",
112         S4  => "${arch}_emit_source_register(node, 3);",
113         S5  => "${arch}_emit_source_register(node, 4);",
114         S6  => "${arch}_emit_source_register(node, 5);",
115         D1  => "${arch}_emit_dest_register(node, 0);",
116         D2  => "${arch}_emit_dest_register(node, 1);",
117         D3  => "${arch}_emit_dest_register(node, 2);",
118         D4  => "${arch}_emit_dest_register(node, 3);",
119         D5  => "${arch}_emit_dest_register(node, 4);",
120         D6  => "${arch}_emit_dest_register(node, 5);",
121         IM  => "${arch}_emit_immediate(node);",
122         LM  => "${arch}_emit_load_mode(node);",
123         SM  => "${arch}_emit_store_mode(node);",
124         FPM  => "${arch}_emit_fp_mode_suffix(node);",
125         FCONVS => "${arch}_emit_fp_conv_source(node);",
126         FCONVD => "${arch}_emit_fp_conv_destination(node);",
127         O      => "${arch}_emit_offset(node);",
128 );
129
130 $default_attr_type = "sparc_attr_t";
131 $default_copy_attr = "sparc_copy_attr";
132
133
134 %init_attr = (
135         sparc_attr_t             => "\tinit_sparc_attributes(res, flags, in_reqs, exec_units, n_res);",
136         sparc_load_store_attr_t  => "\tinit_sparc_attributes(res, flags, in_reqs, exec_units, n_res);\n".
137                                     "\tinit_sparc_load_store_attributes(res, ls_mode, entity, entity_sign, offset, is_frame_entity);",
138         sparc_symconst_attr_t    => "\tinit_sparc_attributes(res, flags, in_reqs, exec_units, n_res);\n".
139                                     "\tinit_sparc_symconst_attributes(res, entity);",
140         sparc_jmp_cond_attr_t    => "\tinit_sparc_attributes(res, flags, in_reqs, exec_units, n_res);",
141         sparc_jmp_switch_attr_t  => "\tinit_sparc_attributes(res, flags, in_reqs, exec_units, n_res);",
142         sparc_save_attr_t        => "\tinit_sparc_attributes(res, flags, in_reqs, exec_units, n_res);",
143         sparc_fp_attr_t          => "\tinit_sparc_attributes(res, flags, in_reqs, exec_units, n_res);\n".
144                                     "\tinit_sparc_fp_attributes(res, fp_mode);\n",
145         sparc_fp_conv_attr_t     => "\tinit_sparc_attributes(res, flags, in_reqs, exec_units, n_res);".
146                                     "\tinit_sparc_fp_conv_attributes(res, src_mode, dest_mode);\n",
147 );
148
149 %compare_attr = (
150         sparc_attr_t            => "cmp_attr_sparc",
151         sparc_load_store_attr_t => "cmp_attr_sparc_load_store",
152         sparc_symconst_attr_t   => "cmp_attr_sparc_symconst",
153         sparc_jmp_cond_attr_t   => "cmp_attr_sparc_jmp_cond",
154         sparc_jmp_switch_attr_t => "cmp_attr_sparc_jmp_switch",
155         sparc_save_attr_t       => "cmp_attr_sparc_save",
156         sparc_fp_attr_t         => "cmp_attr_sparc_fp",
157         sparc_fp_conv_attr_t    => "cmp_attr_sparc_fp_conv",
158 );
159
160 # addressing modes: imm, reg, reg +/- imm, reg + reg
161 # max. imm = 13 bits signed (-4096 ... 4096)
162
163 my %cmp_operand_constructors = (
164         imm => {
165                 attr       => "int immediate_value",
166                 custominit => "sparc_set_attr_imm(res, immediate_value);",
167                 reg_req    => { in => [ "gp" ], out => [ "flags" ] },
168                 ins        => [ "left" ],
169         },
170         reg => {
171                 reg_req    => { in => [ "gp", "gp" ], out => [ "flags" ] },
172                 ins        => [ "left", "right" ],
173         },
174 );
175
176 my %unop_operand_constructors = (
177         imm => {
178                 attr       => "int immediate_value",
179                 custominit => "sparc_set_attr_imm(res, immediate_value);",
180                 reg_req    => { in => [], out => [ "gp" ] },
181         },
182         reg => {
183                 reg_req    => { in => [ "gp" ], out => [ "gp" ] },
184         },
185 );
186
187 my %binop_operand_constructors = (
188         imm => {
189                 attr       => "int immediate_value",
190                 custominit => "sparc_set_attr_imm(res, immediate_value);",
191                 reg_req    => { in => [ "gp" ], out => [ "gp" ] },
192                 ins        => [ "left" ],
193         },
194         reg => {
195                 reg_req    => { in => [ "gp", "gp" ], out => [ "gp" ] },
196                 ins        => [ "left", "right" ],
197         },
198 );
199
200 %nodes = (
201
202 Add => {
203         irn_flags => [ "rematerializable" ],
204         mode            => $mode_gp,
205         emit      => '. add %S1, %R2I, %D1',
206         constructors => \%binop_operand_constructors,
207 },
208
209 Sub => {
210         irn_flags => [ "rematerializable" ],
211         mode            => $mode_gp,
212         reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
213         emit      => '. sub %S1, %R2I, %D1',
214         constructors => \%binop_operand_constructors,
215 },
216
217
218 # Load / Store
219 Ld => {
220         op_flags  => [ "labeled", "fragile" ],
221         state     => "exc_pinned",
222         ins       => [ "ptr", "mem" ],
223         outs      => [ "res", "M" ],
224         reg_req   => { in => [ "gp", "none" ], out => [ "gp", "none" ] },
225         attr_type => "sparc_load_store_attr_t",
226         attr      => "ir_mode *ls_mode, ir_entity *entity, int entity_sign, long offset, bool is_frame_entity",
227         emit      => '. ld%LM [%S1%O], %D1'
228 },
229
230 HiImm => {
231         irn_flags => [ "rematerializable" ],
232         state     => "exc_pinned",
233         outs      => [ "res" ],
234         mode      => $mode_gp,
235         reg_req   => { in => [], out => [ "gp" ] },
236         attr       => "int immediate_value",
237         custominit => "sparc_set_attr_imm(res, immediate_value);",
238 },
239
240 LoImm => {
241         irn_flags => [ "rematerializable" ],
242         state     => "exc_pinned",
243         ins       => [ "hireg" ],
244         outs      => [ "res" ],
245         mode      => $mode_gp,
246         reg_req   => { in => [ "gp" ], out => [ "gp" ] },
247         attr       => "int immediate_value",
248         custominit => "sparc_set_attr_imm(res, immediate_value);",
249 },
250
251 St => {
252         op_flags  => [ "labeled", "fragile" ],
253         mode            => "mode_M",
254         state     => "exc_pinned",
255         ins       => [ "ptr", "val", "mem" ],
256         outs      => [ "M" ],
257         reg_req   => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
258         attr_type => "sparc_load_store_attr_t",
259         attr      => "ir_mode *ls_mode, ir_entity *entity, int entity_sign, long offset, bool is_frame_entity",
260         emit      => '. st%SM %S2, [%S1%O]'
261 },
262
263 Mov => {
264         irn_flags => [ "rematerializable" ],
265         arity     => "variable",
266         emit      => '. mov %R1I, %D1',
267         mode      => $mode_gp,
268         constructors => \%unop_operand_constructors,
269 },
270
271 Save => {
272         reg_req   => {
273                 in => [ "sp", "none"],
274                 out => [ "sp:I|S", "frame_pointer:I", "none" ]
275         },
276         ins       => [ "stack", "mem" ],
277         outs      => [ "stack", "frame", "mem" ],
278         attr      => "int initial_stacksize",
279         attr_type => "sparc_save_attr_t",
280         init_attr => "\tinit_sparc_save_attributes(res, initial_stacksize);",
281 },
282
283 SubSP => {
284         reg_req   => { in => [ "sp", "gp", "none" ], out => [ "sp:I|S", "gp", "none" ] },
285         ins       => [ "stack", "size", "mem" ],
286         outs      => [ "stack", "addr", "M" ],
287         emit      => ". sub %S1, %S2, %D1\n",
288 },
289
290 AddSP => {
291         reg_req   => { in => [ "sp", "gp", "none" ], out => [ "sp:I|S", "none" ] },
292         ins       => [ "stack", "size", "mem" ],
293         outs      => [ "stack", "M" ],
294         emit      => ". add %S1, %S2, %D1\n",
295 },
296
297 SymConst => {
298         op_flags  => [ "constlike" ],
299         irn_flags => [ "rematerializable" ],
300         attr      => "ir_entity *entity",
301         reg_req   => { out => [ "gp" ] },
302         attr_type => "sparc_symconst_attr_t",
303         mode      => $mode_gp,
304 },
305
306 FrameAddr => {
307         op_flags  => [ "constlike" ],
308         irn_flags => [ "rematerializable" ],
309         attr      => "ir_entity *entity",
310         reg_req   => { in => [ "gp" ], out => [ "gp" ] },
311         ins       => [ "base" ],
312         attr_type => "sparc_symconst_attr_t",
313         mode      => $mode_gp,
314 },
315
316 BXX => {
317         op_flags  => [ "labeled", "cfopcode", "forking" ],
318         state     => "pinned",
319         mode      => "mode_T",
320         reg_req   => { in => [ "flags" ], out => [ "none", "none" ] },
321         attr      => "int proj_num, bool is_unsigned",
322         attr_type => "sparc_jmp_cond_attr_t",
323         init_attr => "\tinit_sparc_jmp_cond_attr(res, proj_num, is_unsigned);",
324 },
325
326 Ba => {
327         state     => "pinned",
328         op_flags  => [ "cfopcode" ],
329         irn_flags => [ "simple_jump" ],
330         reg_req   => { out => [ "none" ] },
331         mode      => "mode_X",
332 },
333
334 Call => {
335         irn_flags => [ "modify_flags" ],
336         state     => "exc_pinned",
337         arity     => "variable",
338         out_arity => "variable",
339         constructors => {
340                 imm => {
341                         attr       => "ir_entity *entity, long offset",
342                         custominit => "get_sparc_attr(res)->immediate_value_entity = entity;",
343                         arity     => "variable",
344                         out_arity => "variable",
345                 },
346                 reg => {
347                         arity     => "variable",
348                         out_arity => "variable",
349                 }
350         },
351 },
352
353 Cmp => {
354         irn_flags    => [ "rematerializable", "modify_flags" ],
355         emit         => '. cmp %S1, %R2I',
356         mode         => $mode_flags,
357         constructors => \%cmp_operand_constructors,
358 },
359
360 Tst => {
361         irn_flags    => [ "rematerializable", "modify_flags" ],
362         emit         => '. tst %S1',
363         mode         => $mode_flags,
364         reg_req      => { in => [ "gp" ], out => [ "flags" ] },
365         ins          => [ "val" ],
366 },
367
368 SwitchJmp => {
369         op_flags  => [ "labeled", "cfopcode", "forking" ],
370         state     => "pinned",
371         mode      => "mode_T",
372         attr      => "int n_projs, long def_proj_num",
373         init_attr => "\tset_sparc_jmp_switch_n_projs(res, n_projs);\n".
374                                         "\tset_sparc_jmp_switch_default_proj_num(res, def_proj_num);",
375         reg_req   => { in => [ "gp" ], out => [ "none" ] },
376         attr_type => "sparc_jmp_switch_attr_t",
377 },
378
379 Sll => {
380         irn_flags => [ "rematerializable" ],
381         mode      => $mode_gp,
382         reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
383         emit      => '. sll %S1, %R2I, %D1',
384         constructors => \%binop_operand_constructors,
385 },
386
387 Slr => {
388         irn_flags => [ "rematerializable" ],
389         mode      => $mode_gp,
390         reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
391         emit      => '. srl %S1, %R2I, %D1',
392         constructors => \%binop_operand_constructors,
393 },
394
395 Sra => {
396         irn_flags => [ "rematerializable" ],
397         mode      => $mode_gp,
398         reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
399         emit      => '. sra %S1, %R2I, %D1',
400         constructors => \%binop_operand_constructors,
401 },
402
403 And => {
404         irn_flags => [ "rematerializable" ],
405         mode      => $mode_gp,
406         reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
407         emit      => '. and %S1, %R2I, %D1',
408         constructors => \%binop_operand_constructors,
409 },
410
411 Or => {
412         irn_flags => [ "rematerializable" ],
413         mode      => $mode_gp,
414         reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
415         emit      => '. or %S1, %R2I, %D1',
416         constructors => \%binop_operand_constructors,
417 },
418
419 Xor => {
420         irn_flags => [ "rematerializable" ],
421         mode      => $mode_gp,
422         reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
423         emit      => '. xor %S1, %R2I, %D1',
424         constructors => \%binop_operand_constructors,
425 },
426
427 Mul => {
428         reg_req   => { in => [ "gp", "gp" ], out => [ "gp" ] },
429         constructors => \%binop_operand_constructors,
430         emit      => '. mul %S1, %R2I, %D1',
431         mode      => $mode_gp,
432 },
433
434 Mulh => {
435         reg_req   => { in => [ "gp", "gp" ], out => [ "gp", "gp" ] },
436         outs      => [ "low", "high" ],
437         constructors => \%binop_operand_constructors,
438 },
439
440 Div => {
441         irn_flags => [ "rematerializable" ],
442         state     => "exc_pinned",
443         reg_req   => { in => [ "gp", "gp" ], out => [ "gp", "none" ] },
444         outs      => [ "res", "M" ],
445         constructors => \%binop_operand_constructors,
446         emit      => '. div %S1, %R2I, %D1',
447 },
448
449 Minus => {
450         irn_flags => [ "rematerializable" ],
451         mode      => $mode_gp,
452         reg_req   => { in => [ "gp" ], out => [ "gp" ] },
453         emit      => ". sub %%g0, %S1, %D1"
454 },
455
456 Not => {
457         irn_flags => [ "rematerializable" ],
458         mode      => $mode_gp,
459         reg_req   => { in => [ "gp" ], out => [ "gp" ] },
460         emit      => '. xnor %S1, %%g0, %D1'
461 },
462
463 Nop => {
464         op_flags => [ "keep" ],
465         reg_req  => { in => [], out => [ "none" ] },
466         emit     => '. nop',
467 },
468
469 fadd => {
470         op_flags  => [ "commutative" ],
471         irn_flags => [ "rematerializable" ],
472         reg_req   => { in => [ "fp", "fp" ], out => [ "fp" ] },
473         emit      => '. fadd%FPM %S1, %S2, %D1',
474         attr_type => "sparc_fp_attr_t",
475         attr      => "ir_mode *fp_mode",
476         mode      => $mode_fp,
477 },
478
479 fsub => {
480         irn_flags => [ "rematerializable" ],
481         reg_req   => { in => [ "fp", "fp" ], out => [ "fp" ] },
482         emit      => '. fsub%FPM %S1, %S2, %D1',
483         attr_type => "sparc_fp_attr_t",
484         attr      => "ir_mode *fp_mode",
485         mode      => $mode_fp,
486 },
487
488 fmul => {
489         irn_flags => [ "rematerializable" ],
490         op_flags  => [ "commutative" ],
491         reg_req   => { in => [ "fp", "fp" ], out => [ "fp" ] },
492         emit      =>'. fmul%FPM %S1, %S2, %D1',
493         attr_type => "sparc_fp_attr_t",
494         attr      => "ir_mode *fp_mode",
495         mode      => $mode_fp,
496 },
497
498 fdiv => {
499         irn_flags => [ "rematerializable" ],
500         reg_req   => { in => [ "fp", "fp" ], out => [ "fp", "none" ] },
501         emit      => '. fdiv%FPM %S1, %S2, %D1',
502         attr_type => "sparc_fp_attr_t",
503         attr      => "ir_mode *fp_mode",
504         outs      => [ "res", "M" ],
505 },
506
507 fneg => {
508         irn_flags => [ "rematerializable" ],
509         reg_req   => { in => [ "fp" ], out => [ "fp" ] },
510         emit      => '. fneg%FPM %S1, %D1',
511         attr_type => "sparc_fp_attr_t",
512         attr      => "ir_mode *fp_mode",
513         mode      => $mode_fp,
514 },
515
516 "fabs" => {
517         irn_flags => [ "rematerializable" ],
518         reg_req   => { in => [ "fp" ], out => [ "fp" ] },
519         emit      => '. fabs%FPM %S1, %D1',
520         attr_type => "sparc_fp_attr_t",
521         attr      => "ir_mode *fp_mode",
522         mode      => $mode_fp,
523 },
524
525 fftof => {
526         irn_flags => [ "rematerializable" ],
527         reg_req   => { in => [ "fp" ], out => [ "fp" ] },
528         emit      => '. f%FCONVS.to%FCONVD %S1, %D1',
529         attr_type => "sparc_fp_conv_attr_t",
530         attr      => "ir_mode *src_mode, ir_mode *dest_mode",
531         mode      => $mode_fp,
532 },
533
534 fitof => {
535         irn_flags => [ "rematerializable" ],
536         reg_req   => { in => [ "gp" ], out => [ "fp" ] },
537         emit      => '. fito%FPM %S1, %D1',
538         attr_type => "sparc_fp_attr_t",
539         attr      => "ir_mode *fp_mode",
540         mode      => $mode_fp,
541 },
542
543 fftoi => {
544         irn_flags => [ "rematerializable" ],
545         reg_req   => { in => [ "fp" ], out => [ "gp" ] },
546         emit      => '. f%FPM.toi %S1, %D1',
547         attr_type => "sparc_fp_attr_t",
548         attr      => "ir_mode *fp_mode",
549         mode      => $mode_gp,
550 },
551
552 Ldf => {
553         op_flags  => [ "labeled", "fragile" ],
554         state     => "exc_pinned",
555         ins       => [ "ptr", "mem" ],
556         outs      => [ "res", "M" ],
557         reg_req   => { in => [ "gp", "none" ], out => [ "fp", "none" ] },
558         attr_type => "sparc_load_store_attr_t",
559         attr      => "ir_mode *ls_mode, ir_entity *entity, int entity_sign, long offset, bool is_frame_entity",
560         emit      => '. ld [%S1%O], %D1'
561 },
562
563 Stf => {
564         op_flags  => [ "labeled", "fragile" ],
565         state     => "exc_pinned",
566         ins       => [ "ptr", "val", "mem" ],
567         outs      => [ "M" ],
568         reg_req   => { in => [ "gp", "fp", "none" ], out => [ "none" ] },
569         attr_type => "sparc_load_store_attr_t",
570         attr      => "ir_mode *ls_mode, ir_entity *entity, int entity_sign, long offset, bool is_frame_entity",
571         emit      => '. st %S2, [%S1%O]',
572         mode      => 'mode_M',
573 },
574
575 ); # end of %nodes