3 # This is the specification for the ia32 assembler Firm-operations
8 $normal = 0; # no special type
9 $caller_save = 1; # caller save (register must be saved by the caller of a function)
10 $callee_save = 2; # callee save (register must be saved by the called function)
11 $ignore = 4; # ignore (do not assign this register)
12 $arbitrary = 8; # emitter can choose an arbitrary register of this class
13 $virtual = 16; # the register is a virtual one
14 $state = 32; # register represents a state
15 # NOTE: Last entry of each class is the largest Firm-Mode a register can hold
18 { name => "edx", type => $caller_save },
19 { name => "ecx", type => $caller_save },
20 { name => "eax", type => $caller_save },
21 { name => "ebx", type => $callee_save },
22 { name => "esi", type => $callee_save },
23 { name => "edi", type => $callee_save },
24 { name => "ebp", type => $callee_save },
25 { name => "esp", type => $ignore },
26 { name => "gp_NOREG", type => $ignore | $arbitrary | $virtual }, # we need a dummy register for NoReg nodes
30 { name => "mm0", type => $ignore },
31 { name => "mm1", type => $ignore },
32 { name => "mm2", type => $ignore },
33 { name => "mm3", type => $ignore },
34 { name => "mm4", type => $ignore },
35 { name => "mm5", type => $ignore },
36 { name => "mm6", type => $ignore },
37 { name => "mm7", type => $ignore },
38 { mode => "mode_E", flags => "manual_ra" }
41 { name => "xmm0", type => $caller_save },
42 { name => "xmm1", type => $caller_save },
43 { name => "xmm2", type => $caller_save },
44 { name => "xmm3", type => $caller_save },
45 { name => "xmm4", type => $caller_save },
46 { name => "xmm5", type => $caller_save },
47 { name => "xmm6", type => $caller_save },
48 { name => "xmm7", type => $caller_save },
49 { name => "xmm_NOREG", type => $ignore | $virtual }, # we need a dummy register for NoReg nodes
53 { name => "vf0", type => $caller_save },
54 { name => "vf1", type => $caller_save },
55 { name => "vf2", type => $caller_save },
56 { name => "vf3", type => $caller_save },
57 { name => "vf4", type => $caller_save },
58 { name => "vf5", type => $caller_save },
59 { name => "vf6", type => $caller_save },
60 { name => "vf7", type => $caller_save },
61 { name => "vfp_NOREG", type => $ignore | $arbitrary | $virtual }, # we need a dummy register for NoReg nodes
65 { name => "st0", realname => "st", type => $ignore },
66 { name => "st1", realname => "st(1)", type => $ignore },
67 { name => "st2", realname => "st(2)", type => $ignore },
68 { name => "st3", realname => "st(3)", type => $ignore },
69 { name => "st4", realname => "st(4)", type => $ignore },
70 { name => "st5", realname => "st(5)", type => $ignore },
71 { name => "st6", realname => "st(6)", type => $ignore },
72 { name => "st7", realname => "st(7)", type => $ignore },
73 { mode => "mode_E", flags => "manual_ra" }
75 fp_cw => [ # the floating point control word
76 { name => "fpcw", type => $ignore | $state },
77 { mode => "mode_fpcw", flags => "manual_ra|state" }
80 { name => "eflags", type => 0 },
81 { mode => "mode_Iu", flags => "manual_ra" }
86 GP => [ 1, "GP_EAX", "GP_EBX", "GP_ECX", "GP_EDX", "GP_ESI", "GP_EDI", "GP_EBP" ],
87 SSE => [ 1, "SSE_XMM0", "SSE_XMM1", "SSE_XMM2", "SSE_XMM3", "SSE_XMM4", "SSE_XMM5", "SSE_XMM6", "SSE_XMM7" ],
88 VFP => [ 1, "VFP_VF0", "VFP_VF1", "VFP_VF2", "VFP_VF3", "VFP_VF4", "VFP_VF5", "VFP_VF6", "VFP_VF7" ],
89 BRANCH => [ 1, "BRANCH1", "BRANCH2" ],
94 bundels_per_cycle => 1
98 S0 => "${arch}_emit_source_register(node, 0);",
99 S1 => "${arch}_emit_source_register(node, 1);",
100 S2 => "${arch}_emit_source_register(node, 2);",
101 S3 => "${arch}_emit_source_register(node, 3);",
102 SB0 => "${arch}_emit_8bit_source_register_or_immediate(node, 0);",
103 SB1 => "${arch}_emit_8bit_source_register_or_immediate(node, 1);",
104 SB2 => "${arch}_emit_8bit_source_register_or_immediate(node, 2);",
105 SB3 => "${arch}_emit_8bit_source_register_or_immediate(node, 3);",
106 SH0 => "${arch}_emit_8bit_high_source_register(node, 0);",
107 SS0 => "${arch}_emit_16bit_source_register_or_immediate(node, 0);",
108 SI0 => "${arch}_emit_source_register_or_immediate(node, 0);",
109 SI1 => "${arch}_emit_source_register_or_immediate(node, 1);",
110 SI3 => "${arch}_emit_source_register_or_immediate(node, 3);",
111 D0 => "${arch}_emit_dest_register(node, 0);",
112 D1 => "${arch}_emit_dest_register(node, 1);",
113 DS0 => "${arch}_emit_dest_register_size(node, 0);",
114 DB0 => "${arch}_emit_8bit_dest_register(node, 0);",
115 X0 => "${arch}_emit_x87_register(node, 0);",
116 X1 => "${arch}_emit_x87_register(node, 1);",
117 EX => "${arch}_emit_extend_suffix(node);",
118 M => "${arch}_emit_mode_suffix(node);",
119 XM => "${arch}_emit_x87_mode_suffix(node);",
120 XXM => "${arch}_emit_xmm_mode_suffix(node);",
121 XSD => "${arch}_emit_xmm_mode_suffix_s(node);",
122 AM => "${arch}_emit_am(node);",
123 unop3 => "${arch}_emit_unop(node, n_ia32_unary_op);",
124 unop4 => "${arch}_emit_unop(node, n_ia32_binary_right);",
125 binop => "${arch}_emit_binop(node);",
126 x87_binop => "${arch}_emit_x87_binop(node);",
127 CMP3 => "${arch}_emit_cmp_suffix_node(node, 3);",
133 $default_op_attr_type = "ia32_op_attr_t";
134 $default_attr_type = "ia32_attr_t";
135 $default_copy_attr = "ia32_copy_attr";
137 sub ia32_custom_init_attr {
143 if(defined($node->{modified_flags})) {
144 $res .= "\tarch_irn_add_flags(res, arch_irn_flags_modify_flags);\n";
146 if(defined($node->{am})) {
147 my $am = $node->{am};
148 if($am eq "source,unary") {
149 $res .= "\tset_ia32_am_support(res, ia32_am_unary);";
150 } elsif($am eq "source,binary") {
151 $res .= "\tset_ia32_am_support(res, ia32_am_binary);";
152 } elsif($am eq "none") {
155 die("Invalid address mode '$am' specified on op $name");
158 if($node->{state} ne "exc_pinned"
159 and $node->{state} ne "pinned") {
160 die("AM nodes must have pinned or AM pinned state ($name)");
166 $custom_init_attr_func = \&ia32_custom_init_attr;
170 "\tinit_ia32_attributes(res, flags, in_reqs, exec_units, n_res);\n".
171 "\tinit_ia32_x87_attributes(res);".
172 "\tinit_ia32_asm_attributes(res);",
174 "\tinit_ia32_attributes(res, flags, in_reqs, exec_units, n_res);",
176 "\tinit_ia32_attributes(res, flags, in_reqs, exec_units, n_res);\n".
177 "\tinit_ia32_call_attributes(res, pop, call_tp);",
178 ia32_condcode_attr_t =>
179 "\tinit_ia32_attributes(res, flags, in_reqs, exec_units, n_res);\n".
180 "\tinit_ia32_condcode_attributes(res, pnc);",
182 "\tinit_ia32_attributes(res, flags, in_reqs, exec_units, n_res);\n".
183 "\tinit_ia32_copyb_attributes(res, size);",
184 ia32_immediate_attr_t =>
185 "\tinit_ia32_attributes(res, flags, in_reqs, exec_units, n_res);\n".
186 "\tinit_ia32_immediate_attributes(res, symconst, symconst_sign, no_pic_adjust, offset);",
188 "\tinit_ia32_attributes(res, flags, in_reqs, exec_units, n_res);\n".
189 "\tinit_ia32_x87_attributes(res);",
190 ia32_climbframe_attr_t =>
191 "\tinit_ia32_attributes(res, flags, in_reqs, exec_units, n_res);\n".
192 "\tinit_ia32_climbframe_attributes(res, count);",
196 ia32_asm_attr_t => "ia32_compare_asm_attr",
197 ia32_attr_t => "ia32_compare_nodes_attr",
198 ia32_call_attr_t => "ia32_compare_call_attr",
199 ia32_condcode_attr_t => "ia32_compare_condcode_attr",
200 ia32_copyb_attr_t => "ia32_compare_copyb_attr",
201 ia32_immediate_attr_t => "ia32_compare_immediate_attr",
202 ia32_x87_attr_t => "ia32_compare_x87_attr",
203 ia32_climbframe_attr_t => "ia32_compare_climbframe_attr",
209 $mode_xmm = "mode_E";
210 $mode_gp = "mode_Iu";
211 $mode_flags = "mode_Iu";
212 $mode_fpcw = "mode_fpcw";
213 $status_flags = [ "CF", "PF", "AF", "ZF", "SF", "OF" ];
214 $status_flags_wo_cf = [ "PF", "AF", "ZF", "SF", "OF" ];
215 $fpcw_flags = [ "FP_IM", "FP_DM", "FP_ZM", "FP_OM", "FP_UM", "FP_PM",
216 "FP_PC0", "FP_PC1", "FP_RC0", "FP_RC1", "FP_X" ];
222 op_flags => [ "constlike" ],
223 irn_flags => [ "not_scheduled" ],
224 reg_req => { out => [ "gp_NOREG:I" ] },
225 attr => "ir_entity *symconst, int symconst_sign, int no_pic_adjust, long offset",
226 attr_type => "ia32_immediate_attr_t",
227 hash_func => "ia32_hash_Immediate",
235 out_arity => "variable",
236 attr_type => "ia32_asm_attr_t",
237 attr => "ident *asm_text, const ia32_asm_reg_t *register_map",
238 init_attr => "attr->asm_text = asm_text;\n".
239 "\tattr->register_map = register_map;\n",
241 modified_flags => $status_flags,
244 # "allocates" a free register
246 op_flags => [ "constlike", "cse_neutral" ],
247 irn_flags => [ "rematerializable" ],
248 reg_req => { out => [ "gp" ] },
253 cmp_attr => "return 1;",
257 irn_flags => [ "rematerializable" ],
258 state => "exc_pinned",
259 reg_req => { in => [ "gp", "gp", "none", "gp", "gp" ],
260 out => [ "in_r4 in_r5", "flags", "none" ] },
261 ins => [ "base", "index", "mem", "left", "right" ],
262 outs => [ "res", "flags", "M" ],
263 emit => '. add%M %binop',
264 am => "source,binary",
268 modified_flags => $status_flags
272 irn_flags => [ "rematerializable" ],
273 state => "exc_pinned",
274 reg_req => { in => [ "gp", "gp", "none", "gp" ], out => [ "none" ] },
275 ins => [ "base", "index", "mem", "val" ],
276 emit => ". add%M %SI3, %AM",
280 modified_flags => $status_flags
284 irn_flags => [ "rematerializable" ],
285 state => "exc_pinned",
286 reg_req => { in => [ "gp", "gp", "none", "eax ebx ecx edx" ], out => [ "none" ] },
287 ins => [ "base", "index", "mem", "val" ],
288 emit => ". add%M %SB3, %AM",
292 modified_flags => $status_flags
296 state => "exc_pinned",
297 reg_req => { in => [ "gp", "gp", "none", "gp", "gp", "flags" ],
298 out => [ "in_r4 in_r5", "flags", "none" ] },
299 ins => [ "base", "index", "mem", "left", "right", "eflags" ],
300 outs => [ "res", "flags", "M" ],
301 emit => '. adc%M %binop',
302 am => "source,binary",
306 modified_flags => $status_flags
310 op_flags => [ "constlike" ],
311 reg_req => { in => [ "none", "none" ], out => [ "none" ] },
312 ins => [ "left", "right" ],
316 reg_req => { in => [ "none", "none", "none" ], out => [ "none" ] },
317 ins => [ "left", "right", "eflags" ],
321 # we should not rematrialize this node. It produces 2 results and has
322 # very strict constraints
323 state => "exc_pinned",
324 reg_req => { in => [ "gp", "gp", "none", "eax", "gp" ],
325 out => [ "eax", "flags", "none", "edx" ] },
326 ins => [ "base", "index", "mem", "left", "right" ],
327 emit => '. mul%M %unop4',
328 outs => [ "res_low", "flags", "M", "res_high" ],
329 am => "source,binary",
332 modified_flags => $status_flags
336 # we should not rematrialize this node. It produces 2 results and has
337 # very strict constraints
338 op_flags => [ "constlike" ],
339 cmp_attr => "return 1;",
340 reg_req => { in => [ "none", "none" ],
341 out => [ "none", "none", "none", "none" ] },
342 ins => [ "left", "right" ],
343 outs => [ "res_low", "flags", "M", "res_high" ],
347 irn_flags => [ "rematerializable" ],
348 state => "exc_pinned",
349 # TODO: adjust out requirements for the 3 operand form
350 # (no need for should_be_same then)
351 reg_req => { in => [ "gp", "gp", "none", "gp", "gp" ],
352 out => [ "in_r4 in_r5", "flags", "none" ] },
353 ins => [ "base", "index", "mem", "left", "right" ],
354 outs => [ "res", "flags", "M" ],
355 am => "source,binary",
359 modified_flags => $status_flags
363 irn_flags => [ "rematerializable" ],
364 state => "exc_pinned",
365 reg_req => { in => [ "gp", "gp", "none", "eax", "gp" ],
366 out => [ "eax", "flags", "none", "edx" ] },
367 ins => [ "base", "index", "mem", "left", "right" ],
368 emit => '. imul%M %unop4',
369 outs => [ "res_low", "flags", "M", "res_high" ],
370 am => "source,binary",
373 modified_flags => $status_flags
377 op_flags => [ "constlike" ],
378 cmp_attr => "return 1;",
379 reg_req => { in => [ "none", "none" ],
380 out => [ "none", "none", "none", "none" ] },
381 ins => [ "left", "right" ],
382 outs => [ "res_low", "flags", "M", "res_high" ],
386 irn_flags => [ "rematerializable" ],
387 state => "exc_pinned",
388 reg_req => { in => [ "gp", "gp", "none", "gp", "gp" ],
389 out => [ "in_r4 in_r5", "flags", "none" ] },
390 ins => [ "base", "index", "mem", "left", "right" ],
391 outs => [ "res", "flags", "M" ],
392 am => "source,binary",
393 emit => '. and%M %binop',
397 modified_flags => $status_flags
401 irn_flags => [ "rematerializable" ],
402 state => "exc_pinned",
403 reg_req => { in => [ "gp", "gp", "none", "gp" ], out => [ "none" ] },
404 ins => [ "base", "index", "mem", "val" ],
405 emit => '. and%M %SI3, %AM',
409 modified_flags => $status_flags
413 irn_flags => [ "rematerializable" ],
414 state => "exc_pinned",
415 reg_req => { in => [ "gp", "gp", "none", "eax ebx ecx edx" ], out => [ "none" ] },
416 ins => [ "base", "index", "mem", "val" ],
417 emit => '. and%M %SB3, %AM',
421 modified_flags => $status_flags
425 irn_flags => [ "rematerializable" ],
426 state => "exc_pinned",
427 reg_req => { in => [ "gp", "gp", "none", "gp", "gp" ],
428 out => [ "in_r4 in_r5", "flags", "none" ] },
429 ins => [ "base", "index", "mem", "left", "right" ],
430 outs => [ "res", "flags", "M" ],
431 am => "source,binary",
432 emit => '. or%M %binop',
436 modified_flags => $status_flags
440 irn_flags => [ "rematerializable" ],
441 state => "exc_pinned",
442 reg_req => { in => [ "gp", "gp", "none", "gp" ], out => [ "none" ] },
443 ins => [ "base", "index", "mem", "val" ],
444 emit => '. or%M %SI3, %AM',
448 modified_flags => $status_flags
452 irn_flags => [ "rematerializable" ],
453 state => "exc_pinned",
454 reg_req => { in => [ "gp", "gp", "none", "eax ebx ecx edx" ], out => [ "none" ] },
455 ins => [ "base", "index", "mem", "val" ],
456 emit => '. or%M %SB3, %AM',
460 modified_flags => $status_flags
464 irn_flags => [ "rematerializable" ],
465 state => "exc_pinned",
466 reg_req => { in => [ "gp", "gp", "none", "gp", "gp" ],
467 out => [ "in_r4 in_r5", "flags", "none" ] },
468 ins => [ "base", "index", "mem", "left", "right" ],
469 outs => [ "res", "flags", "M" ],
470 am => "source,binary",
471 emit => '. xor%M %binop',
475 modified_flags => $status_flags
479 op_flags => [ "constlike" ],
480 irn_flags => [ "rematerializable" ],
481 reg_req => { out => [ "gp", "flags" ] },
482 outs => [ "res", "flags" ],
483 emit => ". xor%M %D0, %D0",
487 modified_flags => $status_flags
491 irn_flags => [ "rematerializable" ],
492 state => "exc_pinned",
493 reg_req => { in => [ "gp", "gp", "none", "gp" ], out => [ "none" ] },
494 ins => [ "base", "index", "mem", "val" ],
495 emit => '. xor%M %SI3, %AM',
499 modified_flags => $status_flags
503 irn_flags => [ "rematerializable" ],
504 state => "exc_pinned",
505 reg_req => { in => [ "gp", "gp", "none", "eax ebx ecx edx" ], out => [ "none" ] },
506 ins => [ "base", "index", "mem", "val" ],
507 emit => '. xor%M %SB3, %AM',
511 modified_flags => $status_flags
515 irn_flags => [ "rematerializable" ],
516 state => "exc_pinned",
517 reg_req => { in => [ "gp", "gp", "none", "gp", "gp" ],
518 out => [ "in_r4", "flags", "none" ] },
519 ins => [ "base", "index", "mem", "minuend", "subtrahend" ],
520 outs => [ "res", "flags", "M" ],
521 am => "source,binary",
522 emit => '. sub%M %binop',
526 modified_flags => $status_flags
530 irn_flags => [ "rematerializable" ],
531 state => "exc_pinned",
532 reg_req => { in => [ "gp", "gp", "none", "gp" ], out => [ "none" ] },
533 ins => [ "base", "index", "mem", "subtrahend" ],
534 emit => '. sub%M %SI3, %AM',
538 modified_flags => $status_flags
542 irn_flags => [ "rematerializable" ],
543 state => "exc_pinned",
544 reg_req => { in => [ "gp", "gp", "none", "eax ebx ecx edx" ], out => [ "none" ] },
545 ins => [ "base", "index", "mem", "subtrahend" ],
546 emit => '. sub%M %SB3, %AM',
550 modified_flags => $status_flags
554 state => "exc_pinned",
555 reg_req => { in => [ "gp", "gp", "none", "gp", "gp", "flags" ],
556 out => [ "in_r4 !in_r5", "flags", "none" ] },
557 ins => [ "base", "index", "mem", "minuend", "subtrahend", "eflags" ],
558 outs => [ "res", "flags", "M" ],
559 am => "source,binary",
560 emit => '. sbb%M %binop',
564 modified_flags => $status_flags
568 # Spiller currently fails when rematerializing flag consumers
569 # irn_flags => [ "rematerializable" ],
570 reg_req => { in => [ "flags" ], out => [ "gp", "flags" ] },
571 outs => [ "res", "flags" ],
572 emit => ". sbb%M %D0, %D0",
576 modified_flags => $status_flags
580 reg_req => { in => [ "none", "none" ], out => [ "none" ] },
581 ins => [ "minuend", "subtrahend" ],
585 reg_req => { in => [ "none", "none", "none" ], out => [ "none" ] },
586 ins => [ "minuend", "subtrahend", "eflags" ],
590 op_flags => [ "fragile", "labeled" ],
591 state => "exc_pinned",
592 reg_req => { in => [ "gp", "gp", "none", "gp", "eax", "edx" ],
593 out => [ "eax", "flags", "none", "edx", "none" ] },
594 ins => [ "base", "index", "mem", "divisor", "dividend_low", "dividend_high" ],
595 outs => [ "div_res", "flags", "M", "mod_res", "X_exc" ],
596 am => "source,unary",
597 emit => ". idiv%M %unop3",
600 modified_flags => $status_flags
604 op_flags => [ "fragile", "labeled" ],
605 state => "exc_pinned",
606 reg_req => { in => [ "gp", "gp", "none", "gp", "eax", "edx" ],
607 out => [ "eax", "flags", "none", "edx", "none" ] },
608 ins => [ "base", "index", "mem", "divisor", "dividend_low", "dividend_high" ],
609 outs => [ "div_res", "flags", "M", "mod_res", "X_exc" ],
610 am => "source,unary",
611 emit => ". div%M %unop3",
614 modified_flags => $status_flags
618 irn_flags => [ "rematerializable" ],
619 reg_req => { in => [ "gp", "ecx" ],
620 out => [ "in_r1 !in_r2", "flags" ] },
621 ins => [ "val", "count" ],
622 outs => [ "res", "flags" ],
623 emit => '. shl%M %SB1, %S0',
627 modified_flags => $status_flags
631 irn_flags => [ "rematerializable" ],
632 state => "exc_pinned",
633 reg_req => { in => [ "gp", "gp", "none", "ecx" ], out => [ "none" ] },
634 ins => [ "base", "index", "mem", "count" ],
635 emit => '. shl%M %SB3, %AM',
639 modified_flags => $status_flags
643 cmp_attr => "return 1;",
644 reg_req => { in => [ "none", "none", "none" ], out => [ "none" ] },
645 ins => [ "val", "count", "dep" ],
649 irn_flags => [ "rematerializable" ],
650 reg_req => { in => [ "gp", "gp", "ecx" ],
651 out => [ "in_r1 !in_r2 !in_r3", "flags" ] },
652 ins => [ "val_high", "val_low", "count" ],
653 outs => [ "res", "flags" ],
654 emit => ". shld%M %SB2, %S1, %D0",
658 modified_flags => $status_flags
662 cmp_attr => "return 1;",
663 reg_req => { in => [ "none", "none", "none" ], out => [ "none" ] },
664 ins => [ "val_high", "val_low", "count" ],
668 irn_flags => [ "rematerializable" ],
669 reg_req => { in => [ "gp", "ecx" ],
670 out => [ "in_r1 !in_r2", "flags" ] },
671 ins => [ "val", "count" ],
672 outs => [ "res", "flags" ],
673 emit => '. shr%M %SB1, %S0',
677 modified_flags => $status_flags
681 irn_flags => [ "rematerializable" ],
682 state => "exc_pinned",
683 reg_req => { in => [ "gp", "gp", "none", "ecx" ], out => [ "none" ] },
684 ins => [ "base", "index", "mem", "count" ],
685 emit => '. shr%M %SB3, %AM',
689 modified_flags => $status_flags
693 cmp_attr => "return 1;",
694 reg_req => { in => [ "none", "none", "none" ], out => [ "none" ] },
695 ins => [ "val", "count", "dep" ],
699 irn_flags => [ "rematerializable" ],
700 reg_req => { in => [ "gp", "gp", "ecx" ],
701 out => [ "in_r1 !in_r2 !in_r3", "flags" ] },
702 ins => [ "val_high", "val_low", "count" ],
703 outs => [ "res", "flags" ],
704 emit => ". shrd%M %SB2, %S1, %D0",
708 modified_flags => $status_flags
712 cmp_attr => "return 1;",
713 reg_req => { in => [ "none", "none", "none" ], out => [ "none" ] },
714 ins => [ "val_high", "val_low", "count" ],
718 irn_flags => [ "rematerializable" ],
719 reg_req => { in => [ "gp", "ecx" ],
720 out => [ "in_r1 !in_r2", "flags" ] },
721 ins => [ "val", "count" ],
722 outs => [ "res", "flags" ],
723 emit => '. sar%M %SB1, %S0',
727 modified_flags => $status_flags
731 irn_flags => [ "rematerializable" ],
732 state => "exc_pinned",
733 reg_req => { in => [ "gp", "gp", "none", "ecx" ], out => [ "none" ] },
734 ins => [ "base", "index", "mem", "count" ],
735 emit => '. sar%M %SB3, %AM',
739 modified_flags => $status_flags
743 cmp_attr => "return 1;",
744 ins => [ "val", "count", "dep" ],
745 reg_req => { in => [ "none", "none", "none" ], out => [ "none" ] },
749 irn_flags => [ "rematerializable" ],
750 reg_req => { in => [ "gp", "ecx" ],
751 out => [ "in_r1 !in_r2", "flags" ] },
752 ins => [ "val", "count" ],
753 outs => [ "res", "flags" ],
754 emit => '. ror%M %SB1, %S0',
758 modified_flags => $status_flags
762 irn_flags => [ "rematerializable" ],
763 state => "exc_pinned",
764 reg_req => { in => [ "gp", "gp", "none", "ecx" ], out => [ "none" ] },
765 ins => [ "base", "index", "mem", "count" ],
766 emit => '. ror%M %SB3, %AM',
770 modified_flags => $status_flags
774 irn_flags => [ "rematerializable" ],
775 reg_req => { in => [ "gp", "ecx" ],
776 out => [ "in_r1 !in_r2", "flags" ] },
777 ins => [ "val", "count" ],
778 outs => [ "res", "flags" ],
779 emit => '. rol%M %SB1, %S0',
783 modified_flags => $status_flags
787 irn_flags => [ "rematerializable" ],
788 state => "exc_pinned",
789 reg_req => { in => [ "gp", "gp", "none", "ecx" ], out => [ "none" ] },
790 ins => [ "base", "index", "mem", "count" ],
791 emit => '. rol%M %SB3, %AM',
795 modified_flags => $status_flags
799 irn_flags => [ "rematerializable" ],
800 reg_req => { in => [ "gp" ],
801 out => [ "in_r1", "flags" ] },
802 emit => '. neg%M %S0',
804 outs => [ "res", "flags" ],
808 modified_flags => $status_flags
812 irn_flags => [ "rematerializable" ],
813 state => "exc_pinned",
814 reg_req => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
815 ins => [ "base", "index", "mem" ],
816 emit => '. neg%M %AM',
820 modified_flags => $status_flags
824 irn_flags => [ "rematerializable" ],
825 reg_req => { in => [ "gp", "gp" ], out => [ "in_r1", "in_r2" ] },
826 outs => [ "low_res", "high_res" ],
829 modified_flags => $status_flags
834 irn_flags => [ "rematerializable" ],
835 reg_req => { in => [ "gp" ],
836 out => [ "in_r1", "flags" ] },
838 outs => [ "res", "flags" ],
839 emit => '. inc%M %S0',
843 modified_flags => $status_flags_wo_cf
847 irn_flags => [ "rematerializable" ],
848 state => "exc_pinned",
849 reg_req => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
850 ins => [ "base", "index", "mem" ],
851 emit => '. inc%M %AM',
855 modified_flags => $status_flags_wo_cf
859 irn_flags => [ "rematerializable" ],
860 reg_req => { in => [ "gp" ],
861 out => [ "in_r1", "flags" ] },
863 outs => [ "res", "flags" ],
864 emit => '. dec%M %S0',
868 modified_flags => $status_flags_wo_cf
872 irn_flags => [ "rematerializable" ],
873 state => "exc_pinned",
874 reg_req => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
875 ins => [ "base", "index", "mem" ],
876 emit => '. dec%M %AM',
880 modified_flags => $status_flags_wo_cf
884 irn_flags => [ "rematerializable" ],
885 reg_req => { in => [ "gp" ],
886 out => [ "in_r1" ] },
889 emit => '. not%M %S0',
897 irn_flags => [ "rematerializable" ],
898 state => "exc_pinned",
899 reg_req => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
900 ins => [ "base", "index", "mem" ],
901 emit => '. not%M %AM',
909 reg_req => { in => [ "flags" ], out => [ "flags" ] },
914 modified_flags => $status_flags
918 reg_req => { out => [ "flags" ] },
923 modified_flags => $status_flags
927 irn_flags => [ "rematerializable" ],
928 state => "exc_pinned",
929 reg_req => { in => [ "gp", "gp", "none", "gp", "gp" ],
930 out => [ "flags", "none", "none" ] },
931 ins => [ "base", "index", "mem", "left", "right" ],
932 outs => [ "eflags", "unused", "M" ],
933 am => "source,binary",
934 emit => '. cmp%M %binop',
935 attr => "int ins_permuted, int cmp_unsigned",
936 init_attr => "attr->data.ins_permuted = ins_permuted;\n".
937 "\tattr->data.cmp_unsigned = cmp_unsigned;\n",
941 modified_flags => $status_flags
945 irn_flags => [ "rematerializable" ],
946 state => "exc_pinned",
947 reg_req => { in => [ "gp", "gp", "none", "eax ebx ecx edx", "eax ebx ecx edx" ] ,
948 out => [ "flags", "none", "none" ] },
949 ins => [ "base", "index", "mem", "left", "right" ],
950 outs => [ "eflags", "unused", "M" ],
951 am => "source,binary",
952 emit => '. cmpb %binop',
953 attr => "int ins_permuted, int cmp_unsigned",
954 init_attr => "attr->data.ins_permuted = ins_permuted;\n".
955 "\tattr->data.cmp_unsigned = cmp_unsigned;\n",
959 modified_flags => $status_flags
963 irn_flags => [ "rematerializable" ],
964 state => "exc_pinned",
965 reg_req => { in => [ "gp", "gp", "none", "gp", "gp" ] ,
966 out => [ "flags", "none", "none" ] },
967 ins => [ "base", "index", "mem", "left", "right" ],
968 outs => [ "eflags", "unused", "M" ],
969 am => "source,binary",
970 emit => '. test%M %binop',
971 attr => "int ins_permuted, int cmp_unsigned",
972 init_attr => "attr->data.ins_permuted = ins_permuted;\n".
973 "\tattr->data.cmp_unsigned = cmp_unsigned;\n",
977 modified_flags => $status_flags
981 irn_flags => [ "rematerializable" ],
982 state => "exc_pinned",
983 reg_req => { in => [ "gp", "gp", "none", "eax ebx ecx edx", "eax ebx ecx edx" ] ,
984 out => [ "flags", "none", "none" ] },
985 ins => [ "base", "index", "mem", "left", "right" ],
986 outs => [ "eflags", "unused", "M" ],
987 am => "source,binary",
988 emit => '. testb %binop',
989 attr => "int ins_permuted, int cmp_unsigned",
990 init_attr => "attr->data.ins_permuted = ins_permuted;\n".
991 "\tattr->data.cmp_unsigned = cmp_unsigned;\n",
995 modified_flags => $status_flags
999 #irn_flags => [ "rematerializable" ],
1000 reg_req => { in => [ "eflags" ], out => [ "eax ebx ecx edx" ] },
1001 ins => [ "eflags" ],
1003 attr_type => "ia32_condcode_attr_t",
1005 # The way we handle Setcc with float nodes (potentially) destroys the flags
1006 # (when we emit the setX; setp; orb and the setX;setnp;andb sequences)
1007 init_attr => "set_ia32_ls_mode(res, mode_Bu);\n"
1008 . "\tif ((pnc & ia32_pn_Cmp_float) && ((pnc & 0xf) != pn_Cmp_Uo) && ((pnc & 0xf) != pn_Cmp_Leg)) {\n"
1009 . "\t\tarch_irn_add_flags(res, arch_irn_flags_modify_flags);\n"
1010 . "\t\t/* attr->latency = 3; */\n"
1018 #irn_flags => [ "rematerializable" ],
1019 state => "exc_pinned",
1020 reg_req => { in => [ "gp", "gp", "none", "eflags" ], out => [ "none" ] },
1021 ins => [ "base", "index", "mem","eflags" ],
1022 attr_type => "ia32_condcode_attr_t",
1024 init_attr => "set_ia32_ls_mode(res, mode_Bu);\n",
1025 emit => '. set%CMP3 %AM',
1032 #irn_flags => [ "rematerializable" ],
1033 state => "exc_pinned",
1034 # (note: leave the false,true order intact to make it compatible with other
1036 reg_req => { in => [ "gp", "gp", "none", "gp", "gp", "eflags" ],
1037 out => [ "in_r4 in_r5", "flags", "none" ] },
1038 ins => [ "base", "index", "mem", "val_false", "val_true", "eflags" ],
1039 outs => [ "res", "flags", "M" ],
1040 am => "source,binary",
1041 attr_type => "ia32_condcode_attr_t",
1050 op_flags => [ "labeled", "cfopcode", "forking" ],
1051 reg_req => { in => [ "eflags" ], out => [ "none", "none" ] },
1052 ins => [ "eflags" ],
1053 outs => [ "false", "true" ],
1054 attr_type => "ia32_condcode_attr_t",
1057 units => [ "BRANCH" ],
1062 op_flags => [ "labeled", "cfopcode", "forking" ],
1063 reg_req => { in => [ "gp" ] },
1065 attr_type => "ia32_condcode_attr_t",
1068 units => [ "BRANCH" ],
1069 modified_flags => $status_flags,
1070 init_attr => "info->out_infos = NULL;", # XXX ugly hack for out requirements
1075 irn_flags => [ "simple_jump" ],
1076 op_flags => [ "cfopcode" ],
1077 reg_req => { out => [ "none" ] },
1079 units => [ "BRANCH" ],
1085 op_flags => [ "cfopcode" ],
1086 reg_req => { in => [ "gp", "gp", "none", "gp" ] },
1087 ins => [ "base", "index", "mem", "target" ],
1088 am => "source,unary",
1089 emit => '. jmp *%unop3',
1091 units => [ "BRANCH" ],
1093 init_attr => "info->out_infos = NULL;", # XXX ugly hack for out requirements
1097 op_flags => [ "constlike" ],
1098 irn_flags => [ "rematerializable" ],
1099 reg_req => { out => [ "gp" ] },
1101 attr => "ir_entity *symconst, int symconst_sign, int no_pic_adjust, long offset",
1102 attr_type => "ia32_immediate_attr_t",
1108 op_flags => [ "constlike" ],
1109 irn_flags => [ "rematerializable" ],
1110 reg_req => { out => [ "gp" ] },
1117 op_flags => [ "constlike" ],
1118 reg_req => { out => [ "gp" ] },
1122 modified_flags => $status_flags,
1127 op_flags => [ "constlike", "dump_noblock", "dump_noinput" ],
1128 irn_flags => [ "not_scheduled" ],
1129 reg_req => { out => [ "gp_NOREG:I" ] },
1138 op_flags => [ "constlike", "dump_noblock", "dump_noinput" ],
1139 irn_flags => [ "not_scheduled" ],
1140 reg_req => { out => [ "vfp_NOREG:I" ] },
1145 attr_type => "ia32_x87_attr_t",
1150 op_flags => [ "constlike", "dump_noblock", "dump_noinput" ],
1151 irn_flags => [ "not_scheduled" ],
1152 reg_req => { out => [ "xmm_NOREG:I" ] },
1161 op_flags => [ "constlike" ],
1162 irn_flags => [ "not_scheduled" ],
1163 reg_req => { out => [ "fpcw:I" ] },
1167 modified_flags => $fpcw_flags
1171 op_flags => [ "fragile", "labeled" ],
1173 reg_req => { in => [ "gp", "gp", "none" ], out => [ "fpcw:I" ] },
1174 ins => [ "base", "index", "mem" ],
1176 emit => ". fldcw %AM",
1179 modified_flags => $fpcw_flags
1183 op_flags => [ "fragile", "labeled" ],
1185 reg_req => { in => [ "gp", "gp", "none", "fp_cw" ], out => [ "none" ] },
1186 ins => [ "base", "index", "mem", "fpcw" ],
1188 emit => ". fnstcw %AM",
1194 op_flags => [ "fragile", "labeled" ],
1196 reg_req => { in => [ "fp_cw" ], out => [ "none" ] },
1204 # we should not rematrialize this node. It has very strict constraints.
1205 reg_req => { in => [ "eax", "edx" ], out => [ "edx" ] },
1206 ins => [ "val", "clobbered" ],
1215 # Note that we add additional latency values depending on address mode, so a
1216 # lateny of 0 for load is correct
1219 op_flags => [ "fragile", "labeled" ],
1220 state => "exc_pinned",
1221 reg_req => { in => [ "gp", "gp", "none" ],
1222 out => [ "gp", "none", "none", "none" ] },
1223 ins => [ "base", "index", "mem" ],
1224 outs => [ "res", "unused", "M", "X_exc" ],
1226 emit => ". mov%EX%.l %AM, %D0",
1231 op_flags => [ "fragile", "labeled" ],
1232 state => "exc_pinned",
1233 reg_req => { in => [ "gp", "gp", "none", "gp" ], out => [ "none", "none" ] },
1234 ins => [ "base", "index", "mem", "val" ],
1235 outs => [ "M", "X_exc" ],
1236 emit => '. mov%M %SI3, %AM',
1243 op_flags => [ "fragile", "labeled" ],
1244 state => "exc_pinned",
1245 reg_req => { in => [ "gp", "gp", "none", "eax ebx ecx edx" ], out => ["none", "none" ] },
1246 ins => [ "base", "index", "mem", "val" ],
1247 outs => [ "M", "X_exc" ],
1248 emit => '. mov%M %SB3, %AM',
1255 irn_flags => [ "rematerializable" ],
1256 reg_req => { in => [ "gp", "gp" ], out => [ "gp" ] },
1257 ins => [ "base", "index" ],
1258 emit => '. leal %AM, %D0',
1262 # lea doesn't modify the flags, but setting this seems advantageous since it
1263 # increases chances that the Lea is transformed back to an Add
1264 modified_flags => 1,
1268 state => "exc_pinned",
1269 reg_req => { in => [ "gp", "gp", "none", "gp", "esp" ], out => [ "esp:I|S", "none" ] },
1270 ins => [ "base", "index", "mem", "val", "stack" ],
1271 emit => '. push%M %unop3',
1272 outs => [ "stack", "M" ],
1273 am => "source,unary",
1279 state => "exc_pinned",
1280 reg_req => { in => [ "esp" ], out => [ "esp:I|S" ] },
1282 outs => [ "stack" ],
1283 emit => '. pushl %%eax',
1290 state => "exc_pinned",
1291 reg_req => { in => [ "none", "esp" ], out => [ "gp", "none", "none", "esp:I|S" ] },
1292 ins => [ "mem", "stack" ],
1293 outs => [ "res", "M", "unused", "stack" ],
1294 emit => '. pop%M %D0',
1295 latency => 3, # Pop is more expensive than Push on Athlon
1300 state => "exc_pinned",
1301 reg_req => { in => [ "none", "esp" ], out => [ "ebp:I", "none", "none", "esp:I|S" ] },
1302 ins => [ "mem", "stack" ],
1303 outs => [ "res", "M", "unused", "stack" ],
1304 emit => '. pop%M %D0',
1305 latency => 3, # Pop is more expensive than Push on Athlon
1310 state => "exc_pinned",
1311 reg_req => { in => [ "gp", "gp", "none", "esp" ], out => [ "none", "none", "none", "esp:I|S" ] },
1312 ins => [ "base", "index", "mem", "stack" ],
1313 outs => [ "unused0", "M", "unused1", "stack" ],
1314 emit => '. pop%M %AM',
1315 latency => 3, # Pop is more expensive than Push on Athlon
1320 reg_req => { in => [ "esp" ], out => [ "ebp", "esp:I|S", "none" ] },
1322 outs => [ "frame", "stack", "M" ],
1328 reg_req => { in => [ "ebp" ], out => [ "ebp:I", "esp:I|S" ] },
1330 outs => [ "frame", "stack" ],
1337 reg_req => { in => [ "gp", "gp", "none", "esp", "gp" ], out => [ "esp:I|S", "none" ] },
1338 ins => [ "base", "index", "mem", "stack", "size" ],
1339 am => "source,binary",
1340 emit => '. addl %binop',
1342 outs => [ "stack", "M" ],
1344 modified_flags => $status_flags
1349 reg_req => { in => [ "gp", "gp", "none", "esp", "gp" ], out => [ "esp:I|S", "gp", "none" ] },
1350 ins => [ "base", "index", "mem", "stack", "size" ],
1351 am => "source,binary",
1352 emit => ". subl %binop\n".
1353 ". movl %%esp, %D1",
1355 outs => [ "stack", "addr", "M" ],
1357 modified_flags => $status_flags
1361 op_flags => [ "keep" ],
1369 irn_flags => [ "rematerializable" ],
1370 reg_req => { out => [ "gp" ] },
1376 # BT supports source address mode, but this is unused yet
1379 irn_flags => [ "rematerializable" ],
1380 state => "exc_pinned",
1381 reg_req => { in => [ "gp", "gp" ], out => [ "flags" ] },
1382 ins => [ "left", "right" ],
1383 emit => '. bt%M %S1, %S0',
1386 mode => $mode_flags,
1387 modified_flags => $status_flags # only CF is set, but the other flags are undefined
1391 irn_flags => [ "rematerializable" ],
1392 state => "exc_pinned",
1393 reg_req => { in => [ "gp", "gp", "none", "gp" ],
1394 out => [ "gp", "flags", "none" ] },
1395 ins => [ "base", "index", "mem", "operand" ],
1396 outs => [ "res", "flags", "M" ],
1397 am => "source,binary",
1398 emit => '. bsf%M %unop3, %D0',
1402 modified_flags => $status_flags
1406 irn_flags => [ "rematerializable" ],
1407 state => "exc_pinned",
1408 reg_req => { in => [ "gp", "gp", "none", "gp" ],
1409 out => [ "gp", "flags", "none" ] },
1410 ins => [ "base", "index", "mem", "operand" ],
1411 outs => [ "res", "flags", "M" ],
1412 am => "source,binary",
1413 emit => '. bsr%M %unop3, %D0',
1417 modified_flags => $status_flags
1421 # SSE4.2 or SSE4a popcnt instruction
1424 irn_flags => [ "rematerializable" ],
1425 state => "exc_pinned",
1426 reg_req => { in => [ "gp", "gp", "none", "gp" ],
1427 out => [ "gp", "flags", "none" ] },
1428 ins => [ "base", "index", "mem", "operand" ],
1429 outs => [ "res", "flags", "M" ],
1430 am => "source,binary",
1431 emit => '. popcnt%M %unop3, %D0',
1435 modified_flags => $status_flags
1439 state => "exc_pinned",
1441 in => [ "gp", "gp", "none", "gp", "esp", "fpcw", "eax", "ecx", "edx" ],
1442 out => [ "esp:I|S", "fpcw:I", "none", "eax", "ecx", "edx", "vf0", "vf1", "vf2", "vf3", "vf4", "vf5", "vf6", "vf7", "xmm0", "xmm1", "xmm2", "xmm3", "xmm4", "xmm5", "xmm6", "xmm7" ]
1444 ins => [ "base", "index", "mem", "addr", "stack", "fpcw", "eax", "ecx", "edx" ],
1445 outs => [ "stack", "fpcw", "M", "eax", "ecx", "edx", "vf0", "vf1", "vf2", "vf3", "vf4", "vf5", "vf6", "vf7", "xmm0", "xmm1", "xmm2", "xmm3", "xmm4", "xmm5", "xmm6", "xmm7" ],
1446 attr_type => "ia32_call_attr_t",
1447 attr => "unsigned pop, ir_type *call_tp",
1448 am => "source,unary",
1449 units => [ "BRANCH" ],
1450 latency => 4, # random number
1451 modified_flags => $status_flags
1455 # a Helper node for frame-climbing, needed for __builtin_(frame|return)_address
1457 # PS: try gcc __builtin_frame_address(100000) :-)
1460 reg_req => { in => [ "gp", "gp", "gp"], out => [ "in_r3" ] },
1461 ins => [ "frame", "cnt", "tmp" ],
1463 latency => 4, # random number
1464 attr_type => "ia32_climbframe_attr_t",
1465 attr => "unsigned count",
1474 irn_flags => [ "rematerializable" ],
1475 reg_req => { in => [ "gp" ],
1476 out => [ "in_r1" ] },
1477 emit => '. bswap%M %S0',
1485 # bswap16, use xchg here
1488 irn_flags => [ "rematerializable" ],
1489 reg_req => { in => [ "eax ebx ecx edx" ],
1490 out => [ "in_r1" ] },
1491 emit => '. xchg %SB0, %SH0',
1503 reg_req => { in => [ "none" ], out => [ "none" ] },
1512 # Undefined Instruction on ALL x86 CPU's
1516 reg_req => { in => [ "none" ], out => [ "none" ] },
1519 emit => ". .value 0x0b0f",
1528 irn_flags => [ "rematerializable" ],
1530 reg_req => { in => [ "edx", "eax", "none" ], out => [ "none" ] },
1531 ins => [ "port", "value", "mem" ],
1532 emit => '. out%M %SS0, %SI1',
1536 modified_flags => $status_flags
1543 irn_flags => [ "rematerializable" ],
1545 reg_req => { in => [ "edx", "none" ], out => [ "eax", "none" ] },
1546 ins => [ "port", "mem" ],
1547 outs => [ "res", "M" ],
1548 emit => '. in%M %DS0, %SS0',
1552 modified_flags => $status_flags
1556 # Intel style prefetching
1559 op_flags => [ "fragile", "labeled" ],
1560 state => "exc_pinned",
1561 reg_req => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
1562 ins => [ "base", "index", "mem" ],
1565 emit => ". prefetcht0 %AM",
1570 op_flags => [ "fragile", "labeled" ],
1571 state => "exc_pinned",
1572 reg_req => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
1573 ins => [ "base", "index", "mem" ],
1576 emit => ". prefetcht1 %AM",
1581 op_flags => [ "fragile", "labeled" ],
1582 state => "exc_pinned",
1583 reg_req => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
1584 ins => [ "base", "index", "mem" ],
1587 emit => ". prefetcht2 %AM",
1592 op_flags => [ "fragile", "labeled" ],
1593 state => "exc_pinned",
1594 reg_req => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
1595 ins => [ "base", "index", "mem" ],
1598 emit => ". prefetchnta %AM",
1603 # 3DNow! prefetch instructions
1606 op_flags => [ "fragile", "labeled" ],
1607 state => "exc_pinned",
1608 reg_req => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
1609 ins => [ "base", "index", "mem" ],
1612 emit => ". prefetch %AM",
1617 op_flags => [ "fragile", "labeled" ],
1618 state => "exc_pinned",
1619 reg_req => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
1620 ins => [ "base", "index", "mem" ],
1623 emit => ". prefetchw %AM",
1629 irn_flags => [ "rematerializable" ],
1630 reg_req => { out => [ "xmm" ] },
1631 emit => '. xorp%XSD %D0, %D0',
1638 op_flags => [ "constlike" ],
1639 irn_flags => [ "rematerializable" ],
1640 reg_req => { out => [ "xmm" ] },
1647 irn_flags => [ "rematerializable" ],
1648 reg_req => { out => [ "xmm" ] },
1649 emit => '. pxor %D0, %D0',
1655 # produces all 1 bits
1657 irn_flags => [ "rematerializable" ],
1658 reg_req => { out => [ "xmm" ] },
1659 emit => '. pcmpeqb %D0, %D0',
1665 # integer shift left, dword
1667 irn_flags => [ "rematerializable" ],
1668 reg_req => { in => [ "xmm", "xmm" ], out => [ "in_r1 !in_r2" ] },
1669 emit => '. pslld %SI1, %D0',
1675 # integer shift left, qword
1677 irn_flags => [ "rematerializable" ],
1678 reg_req => { in => [ "xmm", "xmm" ], out => [ "in_r1 !in_r2" ] },
1679 emit => '. psllq %SI1, %D0',
1685 # integer shift right, dword
1687 irn_flags => [ "rematerializable" ],
1688 reg_req => { in => [ "xmm", "xmm" ], out => [ "in_r1 !in_r2" ] },
1689 emit => '. psrld %SI1, %D0',
1695 # mov from integer to SSE register
1697 irn_flags => [ "rematerializable" ],
1698 reg_req => { in => [ "gp" ], out => [ "xmm" ] },
1699 emit => '. movd %S0, %D0',
1706 irn_flags => [ "rematerializable" ],
1707 state => "exc_pinned",
1708 reg_req => { in => [ "gp", "gp", "none", "xmm", "xmm" ],
1709 out => [ "in_r4 in_r5", "flags", "none" ] },
1710 ins => [ "base", "index", "mem", "left", "right" ],
1711 outs => [ "res", "flags", "M" ],
1712 am => "source,binary",
1713 emit => '. add%XXM %binop',
1720 irn_flags => [ "rematerializable" ],
1721 state => "exc_pinned",
1722 reg_req => { in => [ "gp", "gp", "none", "xmm", "xmm" ],
1723 out => [ "in_r4 in_r5", "flags", "none" ] },
1724 ins => [ "base", "index", "mem", "left", "right" ],
1725 outs => [ "res", "flags", "M" ],
1726 am => "source,binary",
1727 emit => '. mul%XXM %binop',
1734 irn_flags => [ "rematerializable" ],
1735 state => "exc_pinned",
1736 reg_req => { in => [ "gp", "gp", "none", "xmm", "xmm" ],
1737 out => [ "in_r4 in_r5", "flags", "none" ] },
1738 ins => [ "base", "index", "mem", "left", "right" ],
1739 outs => [ "res", "flags", "M" ],
1740 am => "source,binary",
1741 emit => '. max%XXM %binop',
1748 irn_flags => [ "rematerializable" ],
1749 state => "exc_pinned",
1750 reg_req => { in => [ "gp", "gp", "none", "xmm", "xmm" ],
1751 out => [ "in_r4 in_r5", "flags", "none" ] },
1752 ins => [ "base", "index", "mem", "left", "right" ],
1753 outs => [ "res", "flags", "M" ],
1754 am => "source,binary",
1755 emit => '. min%XXM %binop',
1762 irn_flags => [ "rematerializable" ],
1763 state => "exc_pinned",
1764 reg_req => { in => [ "gp", "gp", "none", "xmm", "xmm" ],
1765 out => [ "in_r4 in_r5", "flags", "none" ] },
1766 ins => [ "base", "index", "mem", "left", "right" ],
1767 outs => [ "res", "flags", "M" ],
1768 am => "source,binary",
1769 emit => '. andp%XSD %binop',
1776 irn_flags => [ "rematerializable" ],
1777 state => "exc_pinned",
1778 reg_req => { in => [ "gp", "gp", "none", "xmm", "xmm" ],
1779 out => [ "in_r4 in_r5", "flags", "none" ] },
1780 ins => [ "base", "index", "mem", "left", "right" ],
1781 outs => [ "res", "flags", "M" ],
1782 am => "source,binary",
1783 emit => '. orp%XSD %binop',
1790 irn_flags => [ "rematerializable" ],
1791 state => "exc_pinned",
1792 reg_req => { in => [ "gp", "gp", "none", "xmm", "xmm" ],
1793 out => [ "in_r4 in_r5", "flags", "none" ] },
1794 ins => [ "base", "index", "mem", "left", "right" ],
1795 outs => [ "res", "flags", "M" ],
1796 am => "source,binary",
1797 emit => '. xorp%XSD %binop',
1804 irn_flags => [ "rematerializable" ],
1805 state => "exc_pinned",
1806 reg_req => { in => [ "gp", "gp", "none", "xmm", "xmm" ],
1807 out => [ "in_r4 !in_r5", "flags", "none" ] },
1808 ins => [ "base", "index", "mem", "left", "right" ],
1809 outs => [ "res", "flags", "M" ],
1810 am => "source,binary",
1811 emit => '. andnp%XSD %binop',
1818 irn_flags => [ "rematerializable" ],
1819 state => "exc_pinned",
1820 reg_req => { in => [ "gp", "gp", "none", "xmm", "xmm" ],
1821 out => [ "in_r4", "flags", "none" ] },
1822 ins => [ "base", "index", "mem", "minuend", "subtrahend" ],
1823 outs => [ "res", "flags", "M" ],
1824 am => "source,binary",
1825 emit => '. sub%XXM %binop',
1832 irn_flags => [ "rematerializable" ],
1833 state => "exc_pinned",
1834 reg_req => { in => [ "gp", "gp", "none", "xmm", "xmm" ],
1835 out => [ "in_r4 !in_r5", "flags", "none" ] },
1836 ins => [ "base", "index", "mem", "dividend", "divisor" ],
1837 outs => [ "res", "flags", "M" ],
1838 am => "source,binary",
1839 emit => '. div%XXM %binop',
1845 irn_flags => [ "rematerializable" ],
1846 state => "exc_pinned",
1847 reg_req => { in => [ "gp", "gp", "none", "xmm", "xmm" ],
1848 out => [ "eflags" ] },
1849 ins => [ "base", "index", "mem", "left", "right" ],
1850 outs => [ "flags" ],
1851 am => "source,binary",
1852 attr => "int ins_permuted",
1853 init_attr => "attr->data.ins_permuted = ins_permuted;",
1854 emit => ' .ucomi%XXM %binop',
1857 mode => $mode_flags,
1858 modified_flags => 1,
1862 op_flags => [ "fragile", "labeled" ],
1863 state => "exc_pinned",
1864 reg_req => { in => [ "gp", "gp", "none" ],
1865 out => [ "xmm", "none", "none", "none" ] },
1866 ins => [ "base", "index", "mem" ],
1867 outs => [ "res", "unused", "M", "X_exc" ],
1868 emit => '. mov%XXM %AM, %D0',
1869 attr => "ir_mode *load_mode",
1870 init_attr => "attr->ls_mode = load_mode;",
1876 op_flags => [ "fragile", "labeled" ],
1877 state => "exc_pinned",
1878 reg_req => { in => [ "gp", "gp", "none", "xmm" ], out => [ "none", "none" ] },
1879 ins => [ "base", "index", "mem", "val" ],
1880 outs => [ "M", "X_exc" ],
1881 emit => '. mov%XXM %S3, %AM',
1888 op_flags => [ "fragile", "labeled" ],
1889 state => "exc_pinned",
1890 reg_req => { in => [ "gp", "gp", "none", "xmm" ], out => [ "none" ] },
1891 ins => [ "base", "index", "mem", "val" ],
1893 emit => '. mov%XXM %S3, %AM',
1900 op_flags => [ "fragile", "labeled" ],
1901 state => "exc_pinned",
1902 reg_req => { in => [ "gp", "gp", "none", "gp" ], out => [ "xmm" ] },
1903 ins => [ "base", "index", "mem", "val" ],
1904 am => "source,unary",
1905 emit => '. cvtsi2ss %unop3, %D0',
1912 op_flags => [ "fragile", "labeled" ],
1913 state => "exc_pinned",
1914 reg_req => { in => [ "gp", "gp", "none", "gp" ], out => [ "xmm" ] },
1915 ins => [ "base", "index", "mem", "val" ],
1916 am => "source,unary",
1917 emit => '. cvtsi2sd %unop3, %D0',
1925 op_flags => [ "fragile", "labeled" ],
1926 cmp_attr => "return 1;",
1927 ins => [ "val_high", "val_low" ],
1928 reg_req => { in => [ "none", "none" ], out => [ "none" ] }
1932 op_flags => [ "fragile", "labeled" ],
1933 cmp_attr => "return 1;",
1935 outs => [ "res_high", "res_low" ],
1936 reg_req => { in => [ "none" ], out => [ "none", "none" ] }
1940 op_flags => [ "fragile" ],
1942 reg_req => { in => [ "edi", "esi", "ecx", "none" ], out => [ "edi", "esi", "ecx", "none" ] },
1943 outs => [ "DST", "SRC", "CNT", "M" ],
1944 attr_type => "ia32_copyb_attr_t",
1945 attr => "unsigned size",
1948 # we don't care about this flag, so no need to mark this node
1949 # modified_flags => [ "DF" ]
1953 op_flags => [ "fragile" ],
1955 reg_req => { in => [ "edi", "esi", "none" ], out => [ "edi", "esi", "none" ] },
1956 outs => [ "DST", "SRC", "M" ],
1957 attr_type => "ia32_copyb_attr_t",
1958 attr => "unsigned size",
1961 # we don't care about this flag, so no need to mark this node
1962 # modified_flags => [ "DF" ]
1966 state => "exc_pinned",
1967 reg_req => { in => [ "eax" ], out => [ "eax" ] },
1977 state => "exc_pinned",
1978 reg_req => { in => [ "gp", "gp", "none", "gp" ],
1979 out => [ "gp", "none", "none" ] },
1980 ins => [ "base", "index", "mem", "val" ],
1981 outs => [ "res", "flags", "M" ],
1982 am => "source,unary",
1985 attr => "ir_mode *smaller_mode",
1986 init_attr => "attr->ls_mode = smaller_mode;",
1991 state => "exc_pinned",
1992 reg_req => { in => [ "gp", "gp", "none", "eax ebx ecx edx" ],
1993 out => [ "gp", "none", "none" ] },
1994 ins => [ "base", "index", "mem", "val" ],
1995 outs => [ "res", "flags", "M" ],
1996 am => "source,unary",
1999 attr => "ir_mode *smaller_mode",
2000 init_attr => "attr->ls_mode = smaller_mode;",
2005 state => "exc_pinned",
2006 reg_req => { in => [ "gp", "gp", "none", "gp" ], out => [ "xmm", "none" ] },
2007 ins => [ "base", "index", "mem", "val" ],
2008 am => "source,unary",
2015 state => "exc_pinned",
2016 reg_req => { in => [ "gp", "gp", "none", "xmm" ], out => [ "gp", "none" ] },
2017 ins => [ "base", "index", "mem", "val" ],
2018 am => "source,unary",
2025 state => "exc_pinned",
2026 reg_req => { in => [ "gp", "gp", "none", "xmm" ], out => [ "xmm", "none" ] },
2027 ins => [ "base", "index", "mem", "val" ],
2028 am => "source,unary",
2034 # rematerialisation disabled for all float nodes for now, because the fpcw
2035 # handler runs before spilling and we might end up with wrong fpcw then
2038 # irn_flags => [ "rematerializable" ],
2039 state => "exc_pinned",
2040 reg_req => { in => [ "gp", "gp", "none", "vfp", "vfp", "fpcw" ],
2041 out => [ "vfp", "none", "none" ] },
2042 ins => [ "base", "index", "mem", "left", "right", "fpcw" ],
2043 outs => [ "res", "dummy", "M" ],
2044 am => "source,binary",
2048 attr_type => "ia32_x87_attr_t",
2052 # irn_flags => [ "rematerializable" ],
2053 state => "exc_pinned",
2054 reg_req => { in => [ "gp", "gp", "none", "vfp", "vfp", "fpcw" ],
2055 out => [ "vfp", "none", "none" ] },
2056 ins => [ "base", "index", "mem", "left", "right", "fpcw" ],
2057 outs => [ "res", "dummy", "M" ],
2058 am => "source,binary",
2062 attr_type => "ia32_x87_attr_t",
2066 # irn_flags => [ "rematerializable" ],
2067 state => "exc_pinned",
2068 reg_req => { in => [ "gp", "gp", "none", "vfp", "vfp", "fpcw" ],
2069 out => [ "vfp", "none", "none" ] },
2070 ins => [ "base", "index", "mem", "minuend", "subtrahend", "fpcw" ],
2071 outs => [ "res", "dummy", "M" ],
2072 am => "source,binary",
2076 attr_type => "ia32_x87_attr_t",
2080 state => "exc_pinned",
2081 reg_req => { in => [ "gp", "gp", "none", "vfp", "vfp", "fpcw" ],
2082 out => [ "vfp", "none", "none" ] },
2083 ins => [ "base", "index", "mem", "dividend", "divisor", "fpcw" ],
2084 outs => [ "res", "dummy", "M" ],
2085 am => "source,binary",
2088 attr_type => "ia32_x87_attr_t",
2092 reg_req => { in => [ "vfp", "vfp", "fpcw" ], out => [ "vfp" ] },
2093 ins => [ "left", "right", "fpcw" ],
2097 attr_type => "ia32_x87_attr_t",
2101 irn_flags => [ "rematerializable" ],
2102 reg_req => { in => [ "vfp"], out => [ "vfp" ] },
2107 attr_type => "ia32_x87_attr_t",
2111 irn_flags => [ "rematerializable" ],
2112 reg_req => { in => [ "vfp"], out => [ "vfp" ] },
2117 attr_type => "ia32_x87_attr_t",
2121 irn_flags => [ "rematerializable" ],
2122 op_flags => [ "fragile", "labeled" ],
2123 state => "exc_pinned",
2124 reg_req => { in => [ "gp", "gp", "none" ],
2125 out => [ "vfp", "none", "none", "none" ] },
2126 ins => [ "base", "index", "mem" ],
2127 outs => [ "res", "unused", "M", "X_exc" ],
2128 attr => "ir_mode *load_mode",
2129 init_attr => "attr->attr.ls_mode = load_mode;",
2132 attr_type => "ia32_x87_attr_t",
2136 irn_flags => [ "rematerializable" ],
2137 op_flags => [ "fragile", "labeled" ],
2138 state => "exc_pinned",
2139 reg_req => { in => [ "gp", "gp", "none", "vfp" ],
2140 out => [ "none", "none" ] },
2141 ins => [ "base", "index", "mem", "val" ],
2142 outs => [ "M", "X_exc" ],
2143 attr => "ir_mode *store_mode",
2144 init_attr => "attr->attr.ls_mode = store_mode;",
2148 attr_type => "ia32_x87_attr_t",
2152 state => "exc_pinned",
2153 reg_req => { in => [ "gp", "gp", "none" ],
2154 out => [ "vfp", "none", "none" ] },
2155 outs => [ "res", "unused", "M" ],
2156 ins => [ "base", "index", "mem" ],
2159 attr_type => "ia32_x87_attr_t",
2163 state => "exc_pinned",
2164 reg_req => { in => [ "gp", "gp", "none", "vfp", "fpcw" ], out => [ "none" ] },
2165 ins => [ "base", "index", "mem", "val", "fpcw" ],
2170 attr_type => "ia32_x87_attr_t",
2173 # SSE3 fisttp instruction
2175 state => "exc_pinned",
2176 reg_req => { in => [ "gp", "gp", "none", "vfp" ], out => [ "in_r4", "none" ]},
2177 ins => [ "base", "index", "mem", "val" ],
2178 outs => [ "res", "M" ],
2181 attr_type => "ia32_x87_attr_t",
2185 irn_flags => [ "rematerializable" ],
2186 reg_req => { out => [ "vfp" ] },
2191 attr_type => "ia32_x87_attr_t",
2195 irn_flags => [ "rematerializable" ],
2196 reg_req => { out => [ "vfp" ] },
2201 attr_type => "ia32_x87_attr_t",
2205 irn_flags => [ "rematerializable" ],
2206 reg_req => { out => [ "vfp" ] },
2211 attr_type => "ia32_x87_attr_t",
2215 irn_flags => [ "rematerializable" ],
2216 reg_req => { out => [ "vfp" ] },
2221 attr_type => "ia32_x87_attr_t",
2225 irn_flags => [ "rematerializable" ],
2226 reg_req => { out => [ "vfp" ] },
2231 attr_type => "ia32_x87_attr_t",
2235 irn_flags => [ "rematerializable" ],
2236 reg_req => { out => [ "vfp" ] },
2241 attr_type => "ia32_x87_attr_t",
2245 irn_flags => [ "rematerializable" ],
2246 reg_req => { out => [ "vfp" ] },
2251 attr_type => "ia32_x87_attr_t",
2255 # we can't allow to rematerialize this node so we don't
2256 # accidently produce Phi(Fucom, Fucom(ins_permuted))
2257 # irn_flags => [ "rematerializable" ],
2258 reg_req => { in => [ "vfp", "vfp" ], out => [ "eax" ] },
2259 ins => [ "left", "right" ],
2260 outs => [ "flags" ],
2261 attr => "int ins_permuted",
2262 init_attr => "attr->attr.data.ins_permuted = ins_permuted;",
2265 attr_type => "ia32_x87_attr_t",
2270 irn_flags => [ "rematerializable" ],
2271 reg_req => { in => [ "vfp", "vfp" ], out => [ "eflags" ] },
2272 ins => [ "left", "right" ],
2273 outs => [ "flags" ],
2274 attr => "int ins_permuted",
2275 init_attr => "attr->attr.data.ins_permuted = ins_permuted;",
2278 attr_type => "ia32_x87_attr_t",
2283 # irn_flags => [ "rematerializable" ],
2284 reg_req => { in => [ "vfp" ], out => [ "eax" ] },
2286 outs => [ "flags" ],
2287 attr => "int ins_permuted",
2288 init_attr => "attr->attr.data.ins_permuted = ins_permuted;",
2291 attr_type => "ia32_x87_attr_t",
2296 irn_flags => [ "rematerializable" ],
2297 reg_req => { in => [ "eax" ], out => [ "eflags" ] },
2299 outs => [ "flags" ],
2303 mode => $mode_flags,
2307 state => "exc_pinned",
2308 emit => '. fadd%XM %x87_binop',
2310 attr_type => "ia32_x87_attr_t",
2315 state => "exc_pinned",
2316 emit => '. faddp%XM %x87_binop',
2318 attr_type => "ia32_x87_attr_t",
2323 state => "exc_pinned",
2324 emit => '. fmul%XM %x87_binop',
2326 attr_type => "ia32_x87_attr_t",
2331 state => "exc_pinned",
2332 emit => '. fmulp%XM %x87_binop',,
2334 attr_type => "ia32_x87_attr_t",
2339 state => "exc_pinned",
2340 emit => '. fsub%XM %x87_binop',
2342 attr_type => "ia32_x87_attr_t",
2346 # Note: gas is strangely buggy: fdivrp and fdivp as well as fsubrp and fsubp
2347 # are swapped, we work this around in the emitter...
2350 state => "exc_pinned",
2351 # see note about gas bugs
2352 emit => '. fsubrp%XM %x87_binop',
2354 attr_type => "ia32_x87_attr_t",
2359 state => "exc_pinned",
2360 irn_flags => [ "rematerializable" ],
2361 emit => '. fsubr%XM %x87_binop',
2363 attr_type => "ia32_x87_attr_t",
2368 state => "exc_pinned",
2369 irn_flags => [ "rematerializable" ],
2370 # see note about gas bugs before fsubp
2371 emit => '. fsubp%XM %x87_binop',
2373 attr_type => "ia32_x87_attr_t",
2380 attr_type => "ia32_x87_attr_t",
2384 # this node is just here, to keep the simulator running
2385 # we can omit this when a fprem simulation function exists
2387 emit => '. fprem1\n'.
2390 attr_type => "ia32_x87_attr_t",
2395 state => "exc_pinned",
2396 emit => '. fdiv%XM %x87_binop',
2398 attr_type => "ia32_x87_attr_t",
2403 state => "exc_pinned",
2404 # see note about gas bugs before fsubp
2405 emit => '. fdivrp%XM %x87_binop',
2407 attr_type => "ia32_x87_attr_t",
2412 state => "exc_pinned",
2413 emit => '. fdivr%XM %x87_binop',
2415 attr_type => "ia32_x87_attr_t",
2420 state => "exc_pinned",
2421 # see note about gas bugs before fsubp
2422 emit => '. fdivp%XM %x87_binop',
2424 attr_type => "ia32_x87_attr_t",
2431 attr_type => "ia32_x87_attr_t",
2436 op_flags => [ "keep" ],
2437 irn_flags => [ "rematerializable" ],
2440 attr_type => "ia32_x87_attr_t",
2445 irn_flags => [ "rematerializable" ],
2446 op_flags => [ "fragile", "labeled" ],
2447 state => "exc_pinned",
2448 emit => '. fld%XM %AM',
2449 attr_type => "ia32_x87_attr_t",
2455 irn_flags => [ "rematerializable" ],
2456 op_flags => [ "fragile", "labeled" ],
2457 state => "exc_pinned",
2458 emit => '. fst%XM %AM',
2460 attr_type => "ia32_x87_attr_t",
2466 irn_flags => [ "rematerializable" ],
2467 op_flags => [ "fragile", "labeled" ],
2468 state => "exc_pinned",
2469 emit => '. fstp%XM %AM',
2471 attr_type => "ia32_x87_attr_t",
2477 state => "exc_pinned",
2478 emit => '. fild%XM %AM',
2479 attr_type => "ia32_x87_attr_t",
2485 state => "exc_pinned",
2486 emit => '. fist%XM %AM',
2488 attr_type => "ia32_x87_attr_t",
2494 state => "exc_pinned",
2495 emit => '. fistp%XM %AM',
2497 attr_type => "ia32_x87_attr_t",
2502 # SSE3 fisttp instruction
2504 state => "exc_pinned",
2505 emit => '. fisttp%XM %AM',
2507 attr_type => "ia32_x87_attr_t",
2513 op_flags => [ "constlike", "keep" ],
2514 irn_flags => [ "rematerializable" ],
2515 reg_req => { out => [ "vfp" ] },
2517 attr_type => "ia32_x87_attr_t",
2522 op_flags => [ "constlike", "keep" ],
2523 irn_flags => [ "rematerializable" ],
2524 reg_req => { out => [ "vfp" ] },
2526 attr_type => "ia32_x87_attr_t",
2531 op_flags => [ "constlike", "keep" ],
2532 irn_flags => [ "rematerializable" ],
2533 reg_req => { out => [ "vfp" ] },
2535 attr_type => "ia32_x87_attr_t",
2540 op_flags => [ "constlike", "keep" ],
2541 irn_flags => [ "rematerializable" ],
2542 reg_req => { out => [ "vfp" ] },
2544 attr_type => "ia32_x87_attr_t",
2549 op_flags => [ "constlike", "keep" ],
2550 irn_flags => [ "rematerializable" ],
2551 reg_req => { out => [ "vfp" ] },
2553 attr_type => "ia32_x87_attr_t",
2558 op_flags => [ "constlike", "keep" ],
2559 irn_flags => [ "rematerializable" ],
2560 reg_req => { out => [ "vfp" ] },
2561 emit => '. fldll2t',
2562 attr_type => "ia32_x87_attr_t",
2567 op_flags => [ "constlike", "keep" ],
2568 irn_flags => [ "rematerializable" ],
2569 reg_req => { out => [ "vfp" ] },
2571 attr_type => "ia32_x87_attr_t",
2576 # Note that it is NEVER allowed to do CSE on these nodes
2577 # Moreover, note the virtual register requierements!
2580 op_flags => [ "keep" ],
2581 reg_req => { out => [ "none" ] },
2582 cmp_attr => "return 1;",
2583 emit => '. fxch %X0',
2584 attr_type => "ia32_x87_attr_t",
2590 op_flags => [ "keep" ],
2591 reg_req => { out => [ "none" ] },
2592 cmp_attr => "return 1;",
2593 emit => '. fld %X0',
2594 attr_type => "ia32_x87_attr_t",
2600 reg_req => { in => [ "vfp"], out => [ "vfp" ] },
2601 cmp_attr => "return 1;",
2602 emit => '. fld %X0',
2603 attr_type => "ia32_x87_attr_t",
2608 op_flags => [ "keep" ],
2609 reg_req => { out => [ "none" ] },
2610 cmp_attr => "return 1;",
2611 emit => '. fstp %X0',
2612 attr_type => "ia32_x87_attr_t",
2618 op_flags => [ "keep" ],
2619 reg_req => { out => [ "none" ] },
2620 cmp_attr => "return 1;",
2621 emit => '. ffreep %X0',
2622 attr_type => "ia32_x87_attr_t",
2628 op_flags => [ "keep" ],
2629 reg_req => { out => [ "none" ] },
2630 cmp_attr => "return 1;",
2632 attr_type => "ia32_x87_attr_t",
2638 op_flags => [ "keep" ],
2639 reg_req => { out => [ "none" ] },
2640 cmp_attr => "return 1;",
2642 attr_type => "ia32_x87_attr_t",
2649 emit => ". fucom %X1\n".
2651 attr_type => "ia32_x87_attr_t",
2657 emit => ". fucomp %X1\n".
2659 attr_type => "ia32_x87_attr_t",
2665 emit => ". fucompp\n".
2667 attr_type => "ia32_x87_attr_t",
2673 emit => '. fucomi %X1',
2674 attr_type => "ia32_x87_attr_t",
2680 emit => '. fucompi %X1',
2681 attr_type => "ia32_x87_attr_t",
2689 attr_type => "ia32_x87_attr_t",
2693 # Spilling and reloading of SSE registers, hardcoded, not generated #
2696 op_flags => [ "fragile", "labeled" ],
2697 state => "exc_pinned",
2698 reg_req => { in => [ "gp", "gp", "none" ], out => [ "xmm", "none" ] },
2699 emit => '. movdqu %D0, %AM',
2700 outs => [ "res", "M" ],
2706 op_flags => [ "fragile", "labeled" ],
2707 state => "exc_pinned",
2708 reg_req => { in => [ "gp", "gp", "none", "xmm" ] },
2709 ins => [ "base", "index", "mem", "val" ],
2710 emit => '. movdqu %binop',
2718 # Transform some attributes
2719 foreach my $op (keys(%nodes)) {
2720 my $node = $nodes{$op};
2721 my $op_attr_init = $node->{op_attr_init};
2723 if(defined($op_attr_init)) {
2724 $op_attr_init .= "\n\t";
2729 if(!defined($node->{latency})) {
2731 $node->{latency} = 0;
2733 die("Latency missing for op $op");
2736 $op_attr_init .= "attr->latency = ".$node->{latency} . ";";
2738 $node->{op_attr_init} = $op_attr_init;