nsz Git - libfirm/blob - ir/be/amd64/amd64_spec.pl

   1 $arch = "amd64";
   2
   3 %reg_classes = (
   4         gp => [
   5                 { name => "rax", dwarf => 0 },
   6                 { name => "rcx", dwarf => 2 },
   7                 { name => "rdx", dwarf => 1 },
   8                 { name => "rsi", dwarf => 4 },
   9                 { name => "rdi", dwarf => 5 },
  10                 { name => "rbx", dwarf => 3 },
  11                 { name => "rbp", dwarf => 6 },
  12                 { name => "rsp", dwarf => 7, type => "ignore" }, # stackpointer
  13                 { name => "r8",  dwarf => 8 },
  14                 { name => "r9",  dwarf => 9 },
  15                 { name => "r10", dwarf => 10 },
  16                 { name => "r11", dwarf => 11 },
  17                 { name => "r12", dwarf => 12 },
  18                 { name => "r13", dwarf => 13 },
  19                 { name => "r14", dwarf => 14 },
  20                 { name => "r15", dwarf => 15 },
  21 #               { name => "gp_NOREG", type => "ignore" }, # we need a dummy register for NoReg nodes
  22                 { mode => "mode_Lu" }
  23         ],
  24 #       fp => [
  25 #               { name => "xmm0",  dwarf => 17 },
  26 #               { name => "xmm1",  dwarf => 18 },
  27 #               { name => "xmm2",  dwarf => 19 },
  28 #               { name => "xmm3",  dwarf => 20 },
  29 #               { name => "xmm4",  dwarf => 21 },
  30 #               { name => "xmm5",  dwarf => 22 },
  31 #               { name => "xmm6",  dwarf => 23 },
  32 #               { name => "xmm7",  dwarf => 24 },
  33 #               { name => "xmm8",  dwarf => 25 },
  34 #               { name => "xmm9",  dwarf => 26 },
  35 #               { name => "xmm10", dwarf => 27 },
  36 #               { name => "xmm11", dwarf => 28 },
  37 #               { name => "xmm12", dwarf => 29 },
  38 #               { name => "xmm13", dwarf => 30 },
  39 #               { name => "xmm14", dwarf => 31 },
  40 #               { name => "xmm15", dwarf => 32 },
  41 #               { mode => "mode_D" }
  42 #       ]
  43         flags => [
  44                 { name => "eflags", dwarf => 49 },
  45                 { mode => "mode_Iu", flags => "manual_ra" }
  46         ],
  47 );
  48
  49 $mode_gp        = "mode_Lu";
  50 $mode_flags     = "mode_Iu";
  51
  52 sub amd64_custom_init_attr {
  53         my $constr = shift;
  54         my $node   = shift;
  55         my $name   = shift;
  56         my $res    = "";
  57
  58         if(defined($node->{modified_flags})) {
  59                 $res .= "\tarch_add_irn_flags(res, arch_irn_flags_modify_flags);\n";
  60         }
  61         return $res;
  62 }
  63 $custom_init_attr_func = \&amd64_custom_init_attr;
  64
  65 $default_copy_attr = "amd64_copy_attr";
  66
  67 %init_attr = (
  68         amd64_attr_t           =>
  69                  "\tinit_amd64_attributes(res, irn_flags_, in_reqs, n_res);",
  70         amd64_SymConst_attr_t =>
  71                 "\tinit_amd64_attributes(res, irn_flags_, in_reqs, n_res);"
  72                 . "\tinit_amd64_SymConst_attributes(res, entity);",
  73         amd64_condcode_attr_t =>
  74                 "\tinit_amd64_attributes(res, irn_flags_, in_reqs, n_res);"
  75                 . "\tinit_amd64_condcode_attributes(res, pnc);",
  76 );
  77
  78 %compare_attr = (
  79         amd64_attr_t           => "cmp_amd64_attr",
  80         amd64_SymConst_attr_t  => "cmp_amd64_attr_SymConst",
  81         amd64_condcode_attr_t  => "cmp_amd64_attr_condcode",
  82 );
  83
  84 %nodes = (
  85 Push => {
  86         op_flags  => [ "uses_memory" ],
  87         state     => "exc_pinned",
  88         reg_req   => { in => [ "gp", "gp", "none", "gp", "rsp" ], out => [ "rsp:I|S", "none" ] },
  89         ins       => [ "base", "index", "mem", "val", "stack" ],
  90         emit      => 'push %S0',
  91         outs      => [ "stack", "M" ],
  92         am        => "source,unary",
  93 },
  94
  95 Add => {
  96         op_flags   => [ "commutative" ],
  97         irn_flags  => [ "rematerializable" ],
  98         state      => "exc_pinned",
  99         reg_req    => { in => [ "gp", "gp" ],
 100                         out => [ "gp" ] },
 101         ins        => [ "left", "right" ],
 102         outs       => [ "res" ],
 103         mode       => $mode_gp,
 104         modified_flags => 1,
 105 },
 106
 107 Mul => {
 108         # we should not rematrialize this node. It produces 2 results and has
 109         # very strict constraints
 110         state     => "exc_pinned",
 111         reg_req   => { in  => [ "rax", "gp" ],
 112                        out => [ "rax rdx" ] },
 113         ins       => [ "left", "right" ],
 114         emit      => 'mul %S1',
 115         outs      => [ "res" ],
 116         mode      => $mode_gp,
 117         am        => "source,binary",
 118         modified_flags => $status_flags
 119 },
 120
 121 Sub => {
 122         irn_flags  => [ "rematerializable" ],
 123         state      => "exc_pinned",
 124         reg_req    => { in => [ "gp", "gp" ],
 125                         out => [ "gp" ] },
 126         ins        => [ "left", "right" ],
 127         outs       => [ "res" ],
 128         mode       => $mode_gp,
 129         modified_flags => 1,
 130 },
 131
 132 Neg => {
 133         irn_flags => [ "rematerializable" ],
 134         reg_req   => { in => [ "gp" ],
 135                        out => [ "in_r1" ] },
 136         emit      => 'neg %S0',
 137         ins       => [ "val" ],
 138         outs      => [ "res" ],
 139         mode      => $mode_gp,
 140         modified_flags => $status_flags
 141 },
 142
 143 Immediate => {
 144         op_flags  => [ "constlike" ],
 145         attr      => "unsigned imm_value",
 146         init_attr => "attr->ext.imm_value = imm_value;",
 147         reg_req   => { out => [ "gp" ] },
 148         emit      => 'mov %C, %D0',
 149         mode      => $mode_gp,
 150 },
 151
 152 SymConst => {
 153         op_flags  => [ "constlike" ],
 154         irn_flags => [ "rematerializable" ],
 155         attr      => "ir_entity *entity",
 156         attr_type => "amd64_SymConst_attr_t",
 157         reg_req   => { out => [ "gp" ] },
 158         outs      => [ "res" ],
 159         mode      => $mode_gp,
 160 },
 161
 162 Conv => {
 163         state     => "exc_pinned",
 164         attr      => "ir_mode *smaller_mode",
 165         init_attr => "attr->ls_mode = smaller_mode;",
 166         reg_req   => { in => [ "gp" ], out => [ "gp" ] },
 167         ins       => [ "val" ],
 168         outs      => [ "res" ],
 169         mode      => $mode_gp,
 170 },
 171
 172 Jmp => {
 173         state     => "pinned",
 174         op_flags  => [ "cfopcode" ],
 175         reg_req   => { out => [ "none" ] },
 176         mode      => "mode_X",
 177 },
 178
 179 Cmp => {
 180         irn_flags => [ "rematerializable" ],
 181         state     => "exc_pinned",
 182         reg_req   => { in  => [ "gp", "gp" ],
 183                        out => [ "flags" ] },
 184         ins       => [ "left", "right" ],
 185         outs      => [ "eflags" ],
 186         emit      => 'cmp %S0, %S1',
 187         attr      => "int ins_permuted, int cmp_unsigned",
 188         init_attr => "attr->data.ins_permuted   = ins_permuted;\n".
 189                      "\tattr->data.cmp_unsigned = cmp_unsigned;\n",
 190         mode      => $mode_flags,
 191         modified_flags => 1,
 192 },
 193
 194 Jcc => {
 195         state     => "pinned",
 196         op_flags  => [ "cfopcode", "forking" ],
 197         reg_req   => { in  => [ "eflags" ], out => [ "none", "none" ] },
 198         ins       => [ "eflags" ],
 199         outs      => [ "false", "true" ],
 200         attr      => "ir_relation relation",
 201         init_attr => "attr->ext.relation = relation;",
 202         mode      => "mode_T",
 203 },
 204
 205 Load => {
 206         op_flags  => [ "uses_memory" ],
 207         state     => "exc_pinned",
 208         reg_req   => { in => [ "gp", "none" ],
 209                        out => [ "gp", "none" ] },
 210         ins       => [ "ptr", "mem" ],
 211         outs      => [ "res",  "M" ],
 212         attr      => "ir_entity *entity",
 213         attr_type => "amd64_SymConst_attr_t",
 214         emit      => "mov %O(%S0), %D0"
 215 },
 216
 217 FrameAddr => {
 218         op_flags  => [ "constlike" ],
 219         irn_flags => [ "rematerializable" ],
 220         reg_req   => { in => [ "gp" ], out => [ "gp" ] },
 221         ins       => [ "base" ],
 222         attr      => "ir_entity *entity",
 223         attr_type => "amd64_SymConst_attr_t",
 224         mode      => $mode_gp,
 225 },
 226
 227 Store => {
 228         op_flags  => [ "uses_memory" ],
 229         state     => "exc_pinned",
 230         reg_req   => { in => [ "gp", "gp", "none" ], out => [ "none" ] },
 231         ins       => [ "ptr", "val", "mem" ],
 232         outs      => [ "M" ],
 233         attr      => "ir_entity *entity",
 234         attr_type => "amd64_SymConst_attr_t",
 235         mode      => "mode_M",
 236         emit      => "mov %S1, %O(%S0)"
 237 },
 238 );