nsz Git - libfirm/blob - ir/be/arm/arm_spec.pl

   1 # Creation: 2006/02/13
   2 # $Id$
   3 # This is a template specification for the Firm-Backend
   4
   5 # the cpu architecture (ia32, ia64, mips, sparc, ppc, ...)
   6
   7 $arch = "arm";
   8 $new_emit_syntax = 1;
   9
  10 # the number of additional opcodes you want to register
  11 #$additional_opcodes = 0;
  12
  13 # The node description is done as a perl hash initializer with the
  14 # following structure:
  15 #
  16 # %nodes = (
  17 #
  18 # <op-name> => {
  19 #   op_flags  => "N|L|C|X|I|F|Y|H|c|K",
  20 #   irn_flags => "R|N|I|S"
  21 #   arity     => "0|1|2|3 ... |variable|dynamic|any",
  22 #   state     => "floats|pinned|mem_pinned|exc_pinned",
  23 #   args      => [
  24 #                    { type => "type 1", name => "name 1" },
  25 #                    { type => "type 2", name => "name 2" },
  26 #                    ...
  27 #                  ],
  28 #   comment   => "any comment for constructor",
  29 #   reg_req   => { in => [ "reg_class|register" ], out => [ "reg_class|register|in_rX" ] },
  30 #   cmp_attr  => "c source code for comparing node attributes",
  31 #   emit      => "emit code with templates",
  32 #   attr      => "attitional attribute arguments for constructor"
  33 #   init_attr => "emit attribute initialization template"
  34 #   rd_constructor => "c source code which constructs an ir_node"
  35 #   latency   => "latency of this operation (can be float)"
  36 #   attr_type => "name of the attribute struct",
  37 # },
  38 #
  39 # ... # (all nodes you need to describe)
  40 #
  41 # ); # close the %nodes initializer
  42
  43 # op_flags: flags for the operation, OPTIONAL (default is "N")
  44 # the op_flags correspond to the firm irop_flags:
  45 #   N   irop_flag_none
  46 #   L   irop_flag_labeled
  47 #   C   irop_flag_commutative
  48 #   X   irop_flag_cfopcode
  49 #   I   irop_flag_ip_cfopcode
  50 #   F   irop_flag_fragile
  51 #   Y   irop_flag_forking
  52 #   H   irop_flag_highlevel
  53 #   c   irop_flag_constlike
  54 #   K   irop_flag_keep
  55 #
  56 # irn_flags: special node flags, OPTIONAL (default is 0)
  57 # following irn_flags are supported:
  58 #   R   rematerializeable
  59 #   N   not spillable
  60 #   I   ignore for register allocation
  61 #   S   modifies stack pointer
  62 #
  63 # state: state of the operation, OPTIONAL (default is "floats")
  64 #
  65 # arity: arity of the operation, MUST NOT BE OMITTED
  66 #
  67 # args:  the OPTIONAL arguments of the node constructor (debug, irg and block
  68 #        are always the first 3 arguments and are always autmatically
  69 #        created)
  70 #        If this key is missing the following arguments will be created:
  71 #        for i = 1 .. arity: ir_node *op_i
  72 #        ir_mode *mode
  73 #
  74 # outs:  if a node defines more than one output, the names of the projections
  75 #        nodes having outs having automatically the mode mode_T
  76 #        One can also annotate some flags for each out, additional to irn_flags.
  77 #        They are separated from name with a colon ':', and concatenated by pipe '|'
  78 #        Only I and S are available at the moment (same meaning as in irn_flags).
  79 #        example: [ "frame:I", "stack:I|S", "M" ]
  80 #
  81 # comment: OPTIONAL comment for the node constructor
  82 #
  83 # rd_constructor: for every operation there will be a
  84 #      new_rd_<arch>_<op-name> function with the arguments from above
  85 #      which creates the ir_node corresponding to the defined operation
  86 #      you can either put the complete source code of this function here
  87 #
  88 #      This key is OPTIONAL. If omitted, the following constructor will
  89 #      be created:
  90 #      if (!op_<arch>_<op-name>) assert(0);
  91 #      for i = 1 to arity
  92 #         set in[i] = op_i
  93 #      done
  94 #      res = new_ir_node(db, irg, block, op_<arch>_<op-name>, mode, arity, in)
  95 #      return res
  96 #
  97 # NOTE: rd_constructor and args are only optional if and only if arity is 0,1,2 or 3
  98 #
  99 # latency: the latency of the operation, default is 1
 100 #
 101
 102 #
 103 # Modes
 104 #
 105 $mode_gp      = "mode_Iu";
 106 $mode_fpa     = "mode_E";
 107
 108 # register types:
 109 #   0 - no special type
 110 #   1 - caller save (register must be saved by the caller of a function)
 111 #   2 - callee save (register must be saved by the called function)
 112 #   4 - ignore (do not assign this register)
 113 #   8 - emitter can choose an arbitrary register of this class
 114 #  16 - the register is a virtual one
 115 #  32 - register represents a state
 116 # NOTE: Last entry of each class is the largest Firm-Mode a register can hold
 117 %reg_classes = (
 118         gp => [
 119                 { "name" => "r0", "type" => 1 },
 120                 { "name" => "r1", "type" => 1 },
 121                 { "name" => "r2", "type" => 1 },
 122                 { "name" => "r3", "type" => 1 },
 123                 { "name" => "r4", "type" => 2 },
 124                 { "name" => "r5", "type" => 2 },
 125                 { "name" => "r6", "type" => 2 },
 126                 { "name" => "r7", "type" => 2 },
 127                 { "name" => "r8", "type" => 2 },
 128                 { "name" => "r9", "type" => 2 },
 129                 { "name" => "r10", "type" => 2 },
 130                 { "name" => "r11", "type" => 2 },
 131                 { "name" => "r12", "type" => 4 | 2 }, # reserved for linker
 132                 { "name" => "sp", "type" => 4 | 2 }, # this is our stack pointer
 133                 { "name" => "lr", "type" => 2 | 1 }, # this is our return address
 134                 { "name" => "pc", "type" => 4 | 2 }, # this is our program counter
 135                 { name => "gp_UKNWN", type => 4 | 8 | 16 },  # we need a dummy register for Unknown nodes
 136                 { "mode" => $mode_gp }
 137         ],
 138         fpa  => [
 139                 { "name" => "f0", "type" => 1 },
 140                 { "name" => "f1", "type" => 1 },
 141                 { "name" => "f2", "type" => 1 },
 142                 { "name" => "f3", "type" => 1 },
 143                 { "name" => "f4", "type" => 1 },
 144                 { "name" => "f5", "type" => 1 },
 145                 { "name" => "f6", "type" => 1 },
 146                 { "name" => "f7", "type" => 1 },
 147                 { name => "fpa_UKNWN", type => 4 | 8 | 16 },  # we need a dummy register for Unknown nodes
 148                 { "mode" => $mode_fpa }
 149         ]
 150 ); # %reg_classes
 151
 152 %emit_templates = (
 153         M  => "${arch}_emit_mode(node);",
 154         X  => "${arch}_emit_shift(node);",
 155         S0 => "${arch}_emit_source_register(node, 0);",
 156         S1 => "${arch}_emit_source_register(node, 1);",
 157         S2 => "${arch}_emit_source_register(node, 2);",
 158         S3 => "${arch}_emit_source_register(node, 3);",
 159         S4 => "${arch}_emit_source_register(node, 4);",
 160         D0 => "${arch}_emit_dest_register(node, 0);",
 161         D1 => "${arch}_emit_dest_register(node, 1);",
 162         D2 => "${arch}_emit_dest_register(node, 2);",
 163         C  => "${arch}_emit_immediate(node);",
 164         O  => "${arch}_emit_offset(mode);",
 165 );
 166
 167 #--------------------------------------------------#
 168 #                        _                         #
 169 #                       (_)                        #
 170 #  _ __   _____      __  _ _ __    ___  _ __  ___  #
 171 # | '_ \ / _ \ \ /\ / / | | '__|  / _ \| '_ \/ __| #
 172 # | | | |  __/\ V  V /  | | |    | (_) | |_) \__ \ #
 173 # |_| |_|\___| \_/\_/   |_|_|     \___/| .__/|___/ #
 174 #                                      | |         #
 175 #                                      |_|         #
 176 #--------------------------------------------------#
 177
 178 $default_attr_type = "arm_attr_t";
 179 $default_copy_attr = "arm_copy_attr";
 180
 181 %init_attr = (
 182         arm_attr_t           => "\tinit_arm_attributes(res, flags, in_reqs, out_reqs, exec_units, n_res);",
 183         arm_SymConst_attr_t  => "\tinit_arm_attributes(res, flags, in_reqs, out_reqs, exec_units, n_res);",
 184         arm_CondJmp_attr_t   => "\tinit_arm_attributes(res, flags, in_reqs, out_reqs, exec_units, n_res);",
 185         arm_SwitchJmp_attr_t => "\tinit_arm_attributes(res, flags, in_reqs, out_reqs, exec_units, n_res);",
 186         arm_fpaConst_attr_t  => "\tinit_arm_attributes(res, flags, in_reqs, out_reqs, exec_units, n_res);",
 187 );
 188
 189 %compare_attr = (
 190         arm_attr_t           => "cmp_attr_arm",
 191         arm_SymConst_attr_t  => "cmp_attr_arm_SymConst",
 192         arm_CondJmp_attr_t   => "cmp_attr_arm_CondJmp",
 193         arm_SwitchJmp_attr_t => "cmp_attr_arm_SwitchJmp",
 194         arm_fpaConst_attr_t  => "cmp_attr_arm_fpaConst",
 195 );
 196
 197 #%operands = (
 198 #
 199 #Immediate => {
 200 #       comment   => "blup di dup",
 201 #       irn_flags => "R",
 202 #       emit      => ". [%S0]-10",
 203 #       reg_req   => { },
 204 #       attr      => "tarval *tv",
 205 #       init_attr => "(void) attri;",
 206 #       # op_flags => O
 207 #       # cmp => "return 1;"
 208 #},
 209 #
 210 #ShfOp_I => {
 211 #       irn_flags => "R",
 212 #       emit      => ". ...",
 213 #       reg_req   => { in => [ "gp" ] },
 214 #       attr      => "tarval *tv",
 215 #       init_attr => "(void) tv;",
 216 #},
 217 #
 218 #ShfOp => {
 219 #       irn_flags => "R",
 220 #       emit      => ". ...",
 221 #       reg_req   => { in => [ "gp", "gp" ] },
 222 #},
 223 #
 224 #);
 225
 226 %nodes = (
 227
 228 Unknown_GP => {
 229         state     => "pinned",
 230         op_flags  => "c",
 231         irn_flags => "I",
 232         reg_req   => { out => [ "gp_UKNWN" ] },
 233         emit      => "",
 234         mode      => $mode_gp,
 235 },
 236
 237 Unknown_FPA => {
 238         state     => "pinned",
 239         op_flags  => "c",
 240         irn_flags => "I",
 241         reg_req   => { out => [ "fpa_UKNWN" ] },
 242         emit      => "",
 243         mode      => $mode_fpa,
 244 },
 245
 246 #-----------------------------------------------------------------#
 247 #  _       _                                         _            #
 248 # (_)     | |                                       | |           #
 249 #  _ _ __ | |_ ___  __ _  ___ _ __   _ __   ___   __| | ___  ___  #
 250 # | | '_ \| __/ _ \/ _` |/ _ \ '__| | '_ \ / _ \ / _` |/ _ \/ __| #
 251 # | | | | | ||  __/ (_| |  __/ |    | | | | (_) | (_| |  __/\__ \ #
 252 # |_|_| |_|\__\___|\__, |\___|_|    |_| |_|\___/ \__,_|\___||___/ #
 253 #                   __/ |                                         #
 254 #                  |___/                                          #
 255 #-----------------------------------------------------------------#
 256
 257 # commutative operations
 258
 259 Add => {
 260         op_flags  => "C",
 261         irn_flags => "R",
 262         comment   => "construct Add: Add(a, b) = Add(b, a) = a + b",
 263         attr      => "arm_shift_modifier mod, long shf",
 264         init_attr => 'ARM_SET_SHF_MOD(attr, mod); attr->imm_value = shf;',
 265         cmp_attr  => 'return (attr_a->instr_fl != attr_b->instr_fl) || (attr_a->imm_value != attr_b->imm_value);',
 266         reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
 267         emit      => '. add %D0, %S0, %S1%X'
 268 },
 269
 270 Add_i => {
 271         irn_flags => "R",
 272         comment   => "construct Add: Add(a, const) = Add(const, a) = a + const",
 273         attr      => "long imm",
 274         init_attr => 'ARM_SET_SHF_MOD(attr, ARM_SHF_IMM); attr->imm_value = imm;',
 275         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;',
 276         reg_req   => { "in" => [ "gp" ], "out" => [ "gp" ] },
 277         emit      => '. add %D0, %S0, %C'
 278 },
 279
 280 Mul => {
 281         #op_flags  => "C",
 282         irn_flags => "R",
 283         comment   => "construct Mul: Mul(a, b) = Mul(b, a) = a * b",
 284         reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "!in_r1" ] },
 285         emit      =>'. mul %D0, %S0, %S1'
 286 },
 287
 288 Smull => {
 289         #op_flags  => "C",
 290         irn_flags => "R",
 291         comment   => "construct signed 64bit Mul: Mul(a, b) = Mul(b, a) = a * b",
 292         reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "gp", "gp" ] },
 293         emit      =>'. smull %D0, %D1, %S0, %S1',
 294         outs      => [ "low", "high" ],
 295 },
 296
 297 Umull => {
 298         #op_flags  => "C",
 299         irn_flags => "R",
 300         comment   => "construct unsigned 64bit Mul: Mul(a, b) = Mul(b, a) = a * b",
 301         reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "gp", "gp" ] },
 302         emit      =>'. umull %D0, %D1, %S0, %S1',
 303         outs      => [ "low", "high" ],
 304 },
 305
 306 Mla => {
 307         #op_flags  => "C",
 308         irn_flags => "R",
 309         comment   => "construct Mla: Mla(a, b, c) = a * b + c",
 310         reg_req   => { "in" => [ "gp", "gp", "gp" ], "out" => [ "!in_r1" ] },
 311         emit      =>'. mla %D0, %S0, %S1, %S2'
 312 },
 313
 314 And => {
 315         op_flags  => "C",
 316         irn_flags => "R",
 317         comment   => "construct And: And(a, b) = And(b, a) = a AND b",
 318         attr      => "arm_shift_modifier mod, long shf",
 319         init_attr => 'ARM_SET_SHF_MOD(attr, mod); attr->imm_value = shf;',
 320         cmp_attr  => 'return (attr_a->instr_fl != attr_b->instr_fl) || (attr_a->imm_value != attr_b->imm_value);',
 321         reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
 322         emit      => '. and %D0, %S0, %S1%X'
 323 },
 324
 325 And_i => {
 326         irn_flags => "R",
 327         comment   => "construct And: And(a, const) = And(const, a) = a AND const",
 328         attr      => "long imm",
 329         init_attr => 'ARM_SET_SHF_MOD(attr, ARM_SHF_IMM); attr->imm_value = imm;',
 330         reg_req   => { "in" => [ "gp" ], "out" => [ "gp" ] },
 331         emit      => '. and %D0, %S0, %C',
 332         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;'
 333 },
 334
 335 Or => {
 336         op_flags  => "C",
 337         irn_flags => "R",
 338         comment   => "construct Or: Or(a, b) = Or(b, a) = a OR b",
 339         attr      => "arm_shift_modifier mod, long shf",
 340         init_attr => 'ARM_SET_SHF_MOD(attr, mod); attr->imm_value = shf;',
 341         cmp_attr  => 'return (attr_a->instr_fl != attr_b->instr_fl) || (attr_a->imm_value != attr_b->imm_value);',
 342         reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
 343         emit      => '. orr %D0, %S0, %S1%X'
 344 },
 345
 346 Or_i => {
 347         irn_flags => "R",
 348         comment   => "construct Or: Or(a, const) = Or(const, a) = a OR const",
 349         attr      => "long imm",
 350         init_attr => 'ARM_SET_SHF_MOD(attr, ARM_SHF_IMM); attr->imm_value = imm;',
 351         reg_req   => { "in" => [ "gp" ], "out" => [ "gp" ] },
 352         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;',
 353         emit      => '. orr %D0, %S0, %C'
 354 },
 355
 356 Eor => {
 357         op_flags  => "C",
 358         irn_flags => "R",
 359         comment   => "construct Eor: Eor(a, b) = Eor(b, a) = a EOR b",
 360         attr      => "arm_shift_modifier mod, long shf",
 361         init_attr => 'ARM_SET_SHF_MOD(attr, mod); attr->imm_value = shf;',
 362         cmp_attr  => 'return (attr_a->instr_fl != attr_b->instr_fl) || (attr_a->imm_value != attr_b->imm_value);',
 363         reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
 364         emit      => '. eor %D0, %S0, %S1%X'
 365 },
 366
 367 Eor_i => {
 368         irn_flags => "R",
 369         comment   => "construct Eor: Eor(a, const) = Eor(const, a) = a EOR const",
 370         attr      => "long imm",
 371         init_attr => 'ARM_SET_SHF_MOD(attr, ARM_SHF_IMM); attr->imm_value = imm;',
 372         reg_req   => { "in" => [ "gp" ], "out" => [ "gp" ] },
 373         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;',
 374         emit      => '. eor %D0, %S0, %C'
 375 },
 376
 377 # not commutative operations
 378
 379 Bic => {
 380         irn_flags => "R",
 381         comment   => "construct Bic: Bic(a, b) = a AND ~b",
 382         attr      => "arm_shift_modifier mod, long shf",
 383         init_attr => 'ARM_SET_SHF_MOD(attr, mod); attr->imm_value = shf;',
 384         cmp_attr  => 'return (attr_a->instr_fl != attr_b->instr_fl) || (attr_a->imm_value != attr_b->imm_value);',
 385         reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
 386         emit      => '. bic %D0, %S0, %S1%X'
 387 },
 388
 389 Bic_i => {
 390         irn_flags => "R",
 391         comment   => "construct Bic: Bic(a, const) = a AND ~const",
 392         attr      => "long imm",
 393         init_attr => 'ARM_SET_SHF_MOD(attr, ARM_SHF_IMM); attr->imm_value = imm;',
 394         reg_req   => { "in" => [ "gp" ], "out" => [ "gp" ] },
 395         emit      => '. bic %D0, %S0, %C',
 396         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;'
 397 },
 398
 399 Sub => {
 400         irn_flags => "R",
 401         comment   => "construct Sub: Sub(a, b) = a - b",
 402         attr      => "arm_shift_modifier mod, long shf",
 403         init_attr => 'ARM_SET_SHF_MOD(attr, mod); attr->imm_value = shf;',
 404         cmp_attr  => 'return (attr_a->instr_fl != attr_b->instr_fl) || (attr_a->imm_value != attr_b->imm_value);',
 405         reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
 406         emit      => '. sub %D0, %S0, %S1%X'
 407 },
 408
 409 Sub_i => {
 410         irn_flags => "R",
 411         comment   => "construct Sub: Sub(a, const) = a - const",
 412         attr      => "long imm",
 413         init_attr => 'ARM_SET_SHF_MOD(attr, ARM_SHF_IMM); attr->imm_value = imm;',
 414         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;',
 415         reg_req   => { "in" => [ "gp" ], "out" => [ "gp" ] },
 416         emit      => '. sub %D0, %S0, %C',
 417 },
 418
 419 Rsb => {
 420         irn_flags => "R",
 421         comment   => "construct Rsb: Rsb(a, b) = b - a",
 422         attr      => "arm_shift_modifier mod, long shf",
 423         init_attr => 'ARM_SET_SHF_MOD(attr, mod); attr->imm_value = shf;',
 424         cmp_attr  => 'return (attr_a->instr_fl != attr_b->instr_fl) || (attr_a->imm_value != attr_b->imm_value);',
 425         reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
 426         emit      => '. rsb %D0, %S0, %S1%X'
 427 },
 428
 429 Rsb_i => {
 430         irn_flags => "R",
 431         comment   => "construct Rsb: Rsb(a, const) = const - a",
 432         attr      => "long imm",
 433         init_attr => 'ARM_SET_SHF_MOD(attr, ARM_SHF_IMM); attr->imm_value = imm;',
 434         reg_req   => { "in" => [ "gp" ], "out" => [ "gp" ] },
 435         emit      => '. rsb %D0, %S0, %C',
 436         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;'
 437 },
 438
 439 Shl => {
 440         irn_flags => "R",
 441         comment   => "construct Shl: Shl(a, b) = a << b",
 442         reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
 443         emit      => '. mov %D0, %S0, lsl %S1'
 444 },
 445
 446 Shr => {
 447         irn_flags => "R",
 448         comment   => "construct Shr: Shr(a, b) = a >> b",
 449         reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "in_r1" ] },
 450         emit      => '. mov %D0, %S0, lsr %S1'
 451 },
 452
 453 Shrs => {
 454         irn_flags => "R",
 455         comment   => "construct Shrs: Shrs(a, b) = a >> b",
 456         reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "in_r1" ] },
 457         emit      => '. mov %D0, %S0, asr %S1'
 458 },
 459
 460 #RotR => {
 461 #       irn_flags => "R",
 462 #       comment   => "construct RotR: RotR(a, b) = a ROTR b",
 463 #       reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
 464 #       emit      => '. mov %D0, %S0, ror %S1 /* RotR(%S0, %S1) -> %D0, (%A1, %A2) */'
 465 ##      emit      => '. ror %S0, %S1, %D0'
 466 #},
 467
 468 #RotL => {
 469 #  irn_flags => "R",
 470 #  comment   => "construct RotL: RotL(a, b) = a ROTL b",
 471 #  reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "gp" ] },
 472 #  emit      => '. rol %S0, %S1, %D0'
 473 #},
 474
 475 #RotL_i => {
 476 #       irn_flags => "R",
 477 #       comment   => "construct RotL: RotL(a, const) = a ROTL const",
 478 #       reg_req   => { "in" => [ "gp" ], "out" => [ "gp" ] },
 479 #       emit      => '. rol %S0, %C, %D0'
 480 #},
 481
 482 Mov => {
 483         irn_flags => "R",
 484         comment   => "construct Mov: a = b",
 485         attr      => "arm_shift_modifier mod, long shf",
 486         init_attr => 'ARM_SET_SHF_MOD(attr, mod); attr->imm_value = shf;',
 487         cmp_attr  => 'return (attr_a->instr_fl != attr_b->instr_fl) || (attr_a->imm_value != attr_b->imm_value);',
 488         reg_req   => { "in" => [ "gp" ], "out" => [ "gp" ] },
 489         emit      => '. mov %D0, %S0%X'
 490 },
 491
 492 Mov_i => {
 493         irn_flags => "R",
 494         comment   => "represents an integer constant",
 495         attr      => "long imm",
 496         init_attr => 'ARM_SET_SHF_MOD(attr, ARM_SHF_IMM); attr->imm_value = imm;',
 497         reg_req   => { "out" => [ "gp" ] },
 498         emit      => '. mov %D0, %C',
 499         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;'
 500 },
 501
 502 Mvn => {
 503         irn_flags => "R",
 504         comment   => "construct Not: Not(a) = !a",
 505         attr      => "arm_shift_modifier mod, long shf",
 506         init_attr => 'ARM_SET_SHF_MOD(attr, mod); attr->imm_value = shf;',
 507         cmp_attr  => 'return (attr_a->instr_fl != attr_b->instr_fl) || (attr_a->imm_value != attr_b->imm_value);',
 508         reg_req   => { "in" => [ "gp" ], "out" => [ "gp" ] },
 509         emit      => '. mvn %D0, %S0%X'
 510 },
 511
 512 Mvn_i => {
 513         irn_flags => "R",
 514         comment   => "represents a negated integer constant",
 515         attr      => "long imm",
 516         init_attr => 'ARM_SET_SHF_MOD(attr, ARM_SHF_IMM); attr->imm_value = imm;',
 517         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;',
 518         reg_req   => { "out" => [ "gp" ] },
 519         emit      => '. mvn %D0, %C',
 520 },
 521
 522 Abs => {
 523         irn_flags => "R",
 524         comment   => "construct Abs: Abs(a) = |a|",
 525         reg_req   => { "in" => [ "gp" ], "out" => [ "gp" ] },
 526         emit      =>
 527 '. movs %S0, %S0, #0
 528 . rsbmi %D0, %S0, #0'
 529 },
 530
 531 # other operations
 532
 533 #
 534 # this node produces ALWAYS an empty (tempary) gp reg and cannot be CSE'd
 535 #
 536 EmptyReg => {
 537         op_flags  => "c",
 538         irn_flags => "R",
 539         comment   => "allocate an empty register for calculations",
 540         reg_req   => { "out" => [ "gp" ] },
 541         emit      => '. /* %D0 now available for calculations */',
 542         cmp_attr  => 'return 1;'
 543 },
 544
 545 Copy => {
 546         comment  => "implements a register copy",
 547         reg_req  => { "in" => [ "gp" ], "out" => [ "gp" ] },
 548 },
 549
 550 CopyB => {
 551         op_flags  => "F|H",
 552         state     => "pinned",
 553         comment   => "implements a memcopy: CopyB(dst, src, size, mem) == memcpy(dst, src, size)",
 554         attr      => "long imm",
 555         init_attr => 'attr->imm_value = imm;',
 556         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;',
 557         reg_req   => { "in" => [ "!sp", "!sp", "gp", "gp", "gp", "none" ], "out" => [ "none" ] },
 558         outs      => [ "M" ],
 559 },
 560
 561 SymConst => {
 562         op_flags  => "c",
 563         irn_flags => "R",
 564         comment   => "represents a symbolic constant",
 565         attr      => "ident *id",
 566         init_attr => "\tset_arm_symconst_id(res, id);",
 567         reg_req   => { "out" => [ "gp" ] },
 568         attr_type   => "arm_SymConst_attr_t",
 569 },
 570
 571 CmpBra => {
 572         op_flags  => "L|X|Y",
 573         state     => "pinned",
 574         comment   => "construct conditional branch: CMP A, B && JMPxx LABEL",
 575         mode      => "mode_T",
 576         attr      => "int proj_num",
 577         init_attr => "\tset_arm_CondJmp_proj_num(res, proj_num);",
 578         reg_req   => { "in" => [ "gp", "gp" ], "out" => [ "none", "none"] },
 579         attr_type => "arm_CondJmp_attr_t",
 580 },
 581
 582 SwitchJmp => {
 583         op_flags  => "L|X|Y",
 584         state     => "pinned",
 585         comment   => "construct switch",
 586         mode      => "mode_T",
 587         attr      => "int n_projs, long def_proj_num",
 588         init_attr => "\tset_arm_SwitchJmp_n_projs(res, n_projs);\n".
 589                      "\tset_arm_SwitchJmp_default_proj_num(res, def_proj_num);",
 590         reg_req   => { "in" => [ "gp" ], "out" => [ "none" ] },
 591         attr_type => "arm_SwitchJmp_attr_t",
 592 },
 593
 594 # Load / Store
 595
 596 Load => {
 597         op_flags  => "L|F",
 598         irn_flags => "R",
 599         state     => "exc_pinned",
 600         comment   => "construct Load: Load(ptr, mem) = LD ptr -> reg",
 601         reg_req   => { "in" => [ "gp", "none" ], "out" => [ "gp", "none" ] },
 602         emit      => '. ldr %D0, [%S0, #0]',
 603         outs      => [ "res", "M" ],
 604 },
 605
 606 Loadb => {
 607         op_flags  => "L|F",
 608         irn_flags => "R",
 609         state     => "exc_pinned",
 610         comment   => "construct Load: Load(ptr, mem) = LD ptr -> reg",
 611         reg_req   => { "in" => [ "gp", "none" ], "out" => [ "gp", "none" ] },
 612         emit      => '. ldrb %D0, [%S0, #0]',
 613         outs      => [ "res", "M" ],
 614 },
 615
 616 Loadbs => {
 617         op_flags  => "L|F",
 618         irn_flags => "R",
 619         state     => "exc_pinned",
 620         comment   => "construct Load: Load(ptr, mem) = LD ptr -> reg",
 621         reg_req   => { "in" => [ "gp", "none" ], "out" => [ "gp", "none" ] },
 622         emit      => '. ldrsb %D0, [%S0, #0]',
 623         outs      => [ "res", "M" ],
 624 },
 625
 626 Loadh => {
 627         op_flags  => "L|F",
 628         irn_flags => "R",
 629         state     => "exc_pinned",
 630         comment   => "construct Load: Load(ptr, mem) = LD ptr -> reg",
 631         reg_req   => { "in" => [ "gp", "none" ], "out" => [ "gp", "none" ] },
 632         emit      => '. ldrh %D0, [%S0, #0]',
 633         outs      => [ "res", "M" ],
 634 },
 635
 636 Loadhs => {
 637         op_flags  => "L|F",
 638         irn_flags => "R",
 639         state     => "exc_pinned",
 640         comment   => "construct Load: Load(ptr, mem) = LD ptr -> reg",
 641         reg_req   => { "in" => [ "gp", "none" ], "out" => [ "gp", "none" ] },
 642         emit      => '. ldrsh %D0, [%S0, #0]',
 643         outs      => [ "res", "M" ],
 644 },
 645
 646 Storeb => {
 647         op_flags  => "L|F",
 648         irn_flags => "R",
 649         state     => "exc_pinned",
 650         comment   => "construct Store: Store(ptr, val, mem) = ST ptr,val",
 651         reg_req   => { "in" => [ "gp", "gp", "none" ], "out" => [ "none" ] },
 652         emit      => '. strb %S1, [%S0, #0]',
 653         mode      => "mode_M",
 654 },
 655
 656 Storeh => {
 657         op_flags  => "L|F",
 658         irn_flags => "R",
 659         state     => "exc_pinned",
 660         comment   => "construct Store: Store(ptr, val, mem) = ST ptr,val",
 661         reg_req   => { "in" => [ "gp", "gp", "none" ], out => [ "none" ] },
 662         emit      => '. strh %S1, [%S0, #0]',
 663         mode      => "mode_M",
 664 },
 665
 666 Store => {
 667         op_flags  => "L|F",
 668         irn_flags => "R",
 669         state     => "exc_pinned",
 670         comment   => "construct Store: Store(ptr, val, mem) = ST ptr,val",
 671         reg_req   => { "in" => [ "gp", "gp", "none" ], out => [ "none" ] },
 672         emit      => '. str %S1, [%S0, #0]',
 673         mode      => "mode_M",
 674 },
 675
 676 StoreStackM4Inc => {
 677         op_flags  => "L|F",
 678         irn_flags => "R",
 679         state     => "exc_pinned",
 680         comment   => "construct Store: Store(ptr, val, mem) = ST ptr,val",
 681         reg_req   => { "in" => [ "sp", "gp", "gp", "gp", "gp", "none" ], "out" => [ "gp", "none" ] },
 682         emit      => '. stmfd %S0!, {%S1, %S2, %S3, %S4}',
 683         outs      => [ "ptr", "M" ],
 684 },
 685
 686 LoadStackM3 => {
 687         op_flags  => "L|F",
 688         irn_flags => "R",
 689         state     => "exc_pinned",
 690         comment   => "construct Load: Load(ptr, mem) = LD ptr -> reg",
 691         reg_req   => { "in" => [ "sp", "none" ], "out" => [ "gp", "gp", "gp", "none" ] },
 692         emit      => '. ldmfd %S0, {%D0, %D1, %D2}',
 693         outs      => [ "res0", "res1", "res2", "M" ],
 694 },
 695
 696
 697 #---------------------------------------------------#
 698 #    __                               _             #
 699 #   / _|                             | |            #
 700 #  | |_ _ __   __ _   _ __   ___   __| | ___  ___   #
 701 #  |  _| '_ \ / _` | | '_ \ / _ \ / _` |/ _ \/ __|  #
 702 #  | | | |_) | (_| | | | | | (_) | (_| |  __/\__ \  #
 703 #  |_| | .__/ \__,_| |_| |_|\___/ \__,_|\___||___/  #
 704 #      | |                                          #
 705 #      |_|                                          #
 706 #---------------------------------------------------#
 707
 708 # commutative operations
 709
 710 fpaAdf => {
 711         op_flags  => "C",
 712         irn_flags => "R",
 713         comment   => "construct FPA Add: Add(a, b) = Add(b, a) = a + b",
 714         reg_req   => { "in" => [ "fpa", "fpa" ], "out" => [ "fpa" ] },
 715         emit      => '. adf%M %D0, %S0, %S1',
 716 },
 717
 718 fpaAdf_i => {
 719         op_flags  => "C",
 720         irn_flags => "R",
 721         comment   => "construct FPA Add: Add(a, b) = Add(b, a) = a + b",
 722         attr      => "long imm",
 723         init_attr => 'ARM_SET_FPA_IMM(attr); attr->imm_value = imm;',
 724         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;',
 725         reg_req   => { "in" => [ "fpa" ], "out" => [ "fpa" ] },
 726         emit      => '. adf%M %D0, %S0, %C',
 727 },
 728
 729 fpaMuf => {
 730         op_flags  => "C",
 731         irn_flags => "R",
 732         comment   => "construct FPA Mul: Mul(a, b) = Mul(b, a) = a * b",
 733         reg_req   => { "in" => [ "fpa", "fpa" ], "out" => [ "fpa" ] },
 734         emit      =>'. muf%M %D0, %S0, %S1',
 735 },
 736
 737 fpaMuf_i => {
 738         op_flags  => "C",
 739         irn_flags => "R",
 740         comment   => "construct FPA Mul: Mul(a, b) = Mul(b, a) = a * b",
 741         attr      => "long imm",
 742         init_attr => 'ARM_SET_FPA_IMM(attr); attr->imm_value = imm;',
 743         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;',
 744         reg_req   => { "in" => [ "fpa" ], "out" => [ "fpa" ] },
 745         emit      => '. muf%M %D0, %S0, %C',
 746 },
 747
 748 fpaFml => {
 749         op_flags  => "C",
 750         irn_flags => "R",
 751         comment   => "construct FPA Fast Mul: Mul(a, b) = Mul(b, a) = a * b",
 752         reg_req   => { "in" => [ "fpa", "fpa" ], "out" => [ "fpa" ] },
 753         emit      =>'. fml%M %D0, %S0, %S1',
 754 },
 755
 756 fpaMax => {
 757         op_flags  => "C",
 758         irn_flags => "R",
 759         comment   => "construct FPA Max: Max(a, b) = Max(b, a) = a > b ? a : b",
 760         reg_req   => { "in" => [ "fpa", "fpa" ], "out" => [ "fpa" ] },
 761         emit      =>'. fmax %S0, %S1, %D0',
 762 },
 763
 764 fpaMin => {
 765         op_flags  => "C",
 766         irn_flags => "R",
 767         comment   => "construct FPA Min: Min(a, b) = Min(b, a) = a < b ? a : b",
 768         reg_req   => { "in" => [ "fpa", "fpa" ], "out" => [ "fpa" ] },
 769         emit      =>'. fmin %S0, %S1, %D0',
 770 },
 771
 772 # not commutative operations
 773
 774 fpaSuf => {
 775         irn_flags => "R",
 776         comment   => "construct FPA Sub: Sub(a, b) = a - b",
 777         reg_req   => { "in" => [ "fpa", "fpa" ], "out" => [ "fpa" ] },
 778         emit      => '. suf%M %D0, %S0, %S1'
 779 },
 780
 781 fpaSuf_i => {
 782         irn_flags => "R",
 783         comment   => "construct FPA Sub: Sub(a, b) = a - b",
 784         attr      => "long imm",
 785         init_attr => 'ARM_SET_FPA_IMM(attr); attr->imm_value = imm;',
 786         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;',
 787         reg_req   => { "in" => [ "fpa" ], "out" => [ "fpa" ] },
 788         emit      => '. suf%M %D0, %S0, %C'
 789 },
 790
 791 fpaRsf => {
 792         irn_flags => "R",
 793         comment   => "construct FPA reverse Sub: Sub(a, b) = b - a",
 794         reg_req   => { "in" => [ "fpa", "fpa" ], "out" => [ "fpa" ] },
 795         emit      => '. rsf%M %D0, %S0, %S1'
 796 },
 797
 798 fpaRsf_i => {
 799         irn_flags => "R",
 800         comment   => "construct FPA reverse Sub: Sub(a, b) = b - a",
 801         attr      => "long imm",
 802         init_attr => 'ARM_SET_FPA_IMM(attr); attr->imm_value = imm;',
 803         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;',
 804         reg_req   => { "in" => [ "fpa" ], "out" => [ "fpa" ] },
 805         emit      => '. rsf%M %D0, %S0, %C'
 806 },
 807
 808 fpaDvf => {
 809         comment   => "construct FPA Div: Div(a, b) = a / b",
 810         attr      => "ir_mode *op_mode",
 811         init_attr => "attr->op_mode = op_mode;",
 812         reg_req   => { "in" => [ "fpa", "fpa" ], "out" => [ "fpa", "none" ] },
 813         emit      =>'. dvf%M %D0, %S0, %S1',
 814         outs      => [ "res", "M" ],
 815 },
 816
 817 fpaDvf_i => {
 818         comment   => "construct FPA Div: Div(a, b) = a / b",
 819         attr      => "ir_mode *op_mode, long imm",
 820         init_attr => 'attr->op_mode = op_mode; ARM_SET_FPA_IMM(attr); attr->imm_value = imm;',
 821         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;',
 822         reg_req   => { "in" => [ "fpa" ], "out" => [ "fpa", "none" ] },
 823         emit      =>'. dvf%M %D0, %S0, %C',
 824         outs      => [ "res", "M" ],
 825 },
 826
 827 fpaRdf => {
 828         comment   => "construct FPA reverse Div: Div(a, b) = b / a",
 829         attr      => "ir_mode *op_mode",
 830         init_attr => "attr->op_mode = op_mode;",
 831         reg_req   => { "in" => [ "fpa", "fpa" ], "out" => [ "fpa", "none" ] },
 832         emit      =>'. rdf%M %D0, %S0, %S1',
 833         outs      => [ "res", "M" ],
 834 },
 835
 836 fpaRdf_i => {
 837         comment   => "construct FPA reverse Div: Div(a, b) = b / a",
 838         attr      => "ir_mode *op_mode, long imm",
 839         init_attr => 'attr->op_mode = op_mode; ARM_SET_FPA_IMM(attr); attr->imm_value = imm;',
 840         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;',
 841         reg_req   => { "in" => [ "fpa" ], "out" => [ "fpa", "none" ] },
 842         emit      =>'. rdf%M %D0, %S0, %S1',
 843         outs      => [ "res", "M" ],
 844 },
 845
 846 fpaFdv => {
 847         comment   => "construct FPA Fast Div: Div(a, b) = a / b",
 848         attr      => "ir_mode *op_mode",
 849         init_attr => "attr->op_mode = op_mode;",
 850         reg_req   => { "in" => [ "fpa", "fpa" ], "out" => [ "fpa", "none" ] },
 851         emit      =>'. fdv%M %D0, %S0, %S1',
 852         outs      => [ "res", "M" ],
 853 },
 854
 855 fpaFdv_i => {
 856         comment   => "construct FPA Fast Div: Div(a, b) = a / b",
 857         attr      => "ir_mode *op_mode, long imm",
 858         init_attr => 'attr->op_mode = op_mode; ARM_SET_FPA_IMM(attr); attr->imm_value = imm;',
 859         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;',
 860         reg_req   => { "in" => [ "fpa" ], "out" => [ "fpa", "none" ] },
 861         emit      =>'. fdv%M %D0, %S0, %C',
 862         outs      => [ "res", "M" ],
 863 },
 864
 865 fpaFrd => {
 866         comment   => "construct FPA Fast reverse Div: Div(a, b) = b / a",
 867         attr      => "ir_mode *op_mode",
 868         init_attr => "attr->op_mode = op_mode;",
 869         reg_req   => { "in" => [ "fpa", "fpa" ], "out" => [ "fpa", "none" ] },
 870         emit      =>'. frd%M %D0, %S0, %S1',
 871         outs      => [ "res", "M" ],
 872 },
 873
 874 fpaFrd_i => {
 875         comment   => "construct FPA Fast reverse Div: Div(a, b) = b / a",
 876         attr      => "ir_mode *op_mode, long imm",
 877         init_attr => 'attr->op_mode = op_mode; ARM_SET_FPA_IMM(attr); attr->imm_value = imm;',
 878         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;',
 879         reg_req   => { "in" => [ "fpa" ], "out" => [ "fpa", "none" ] },
 880         emit      =>'. frd%M %D0, %S0, %C',
 881         outs      => [ "res", "M" ],
 882 },
 883
 884 fpaMvf => {
 885         irn_flags => "R",
 886         comment   => "construct FPA Move: b = a",
 887         reg_req   => { "in" => [ "fpa" ], "out" => [ "fpa" ] },
 888         emit      => '. mvf%M %S0, %D0',
 889 },
 890
 891 fpaMvf_i => {
 892         irn_flags => "R",
 893         comment   => "represents a float constant",
 894         attr      => "long imm",
 895         init_attr => 'ARM_SET_FPA_IMM(attr); attr->imm_value = imm;',
 896         reg_req   => { "out" => [ "fpa" ] },
 897         emit      => '. mvf %D0, %C',
 898         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;'
 899 },
 900
 901 fpaMnf => {
 902         irn_flags => "R",
 903         comment   => "construct FPA Move Negated: b = -a",
 904         reg_req   => { "in" => [ "fpa" ], "out" => [ "fpa" ] },
 905         emit      => '. mnf%M %S0, %D0',
 906 },
 907
 908 fpaMnf_i => {
 909         irn_flags => "R",
 910         comment   => "represents a float constant",
 911         attr      => "long imm",
 912         init_attr => 'ARM_SET_FPA_IMM(attr); attr->imm_value = imm;',
 913         reg_req   => { "out" => [ "fpa" ] },
 914         emit      => '. mnf %D0, %C',
 915         cmp_attr  => 'return attr_a->imm_value != attr_b->imm_value;'
 916 },
 917
 918 fpaAbs => {
 919         irn_flags => "R",
 920         comment   => "construct FPA Absolute value: fAbsd(a) = |a|",
 921         reg_req   => { "in" => [ "fpa" ], "out" => [ "fpa" ] },
 922         emit      => '. abs%M %D0, %S0',
 923 },
 924
 925 # other operations
 926
 927 fpaFlt => {
 928         irn_flags => "R",
 929         comment   => "construct a FPA integer->float conversion",
 930         reg_req   => { "in" => ["gp"], "out" => [ "fpa" ] },
 931         emit      => '. flt%M %D0, %S0',
 932 },
 933
 934 fpaFix => {
 935         irn_flags => "R",
 936         comment   => "construct a FPA float->integer conversion",
 937         reg_req   => { "in" => ["fpa"], "out" => [ "gp" ] },
 938         emit      => '. fix %D0, %S0',
 939 },
 940
 941 fpaCmfBra => {
 942         op_flags  => "L|X|Y",
 943         state     => "pinned",
 944         comment   => "construct floating point Compare and Branch: CMF A, B && JMPxx LABEL",
 945         mode      => "mode_T",
 946         attr      => "int proj_num",
 947         init_attr => "\tset_arm_CondJmp_proj_num(res, proj_num);",
 948         reg_req   => { "in" => [ "fpa", "fpa" ], "out" => [ "none", "none"] },
 949         attr_type => "arm_CondJmp_attr_t",
 950 },
 951
 952 fpaCnfBra => {
 953         op_flags  => "L|X|Y",
 954         state     => "pinned",
 955         comment   => "construct floating point Compare negative and Branch: CMF A, -B && JMPxx LABEL",
 956         mode      => "mode_T",
 957         attr      => "int proj_num",
 958         init_attr => "\tset_arm_CondJmp_proj_num(res, proj_num);",
 959         reg_req   => { "in" => [ "fpa", "fpa" ], "out" => [ "none", "none"] },
 960         attr_type => "arm_CondJmp_attr_t",
 961 },
 962
 963 fpaCmfeBra => {
 964         op_flags  => "L|X|Y",
 965         state     => "pinned",
 966         comment   => "construct floating point Compare and Branch: CMF A, -B && JMPxx LABEL",
 967         mode      => "mode_T",
 968         attr      => "int proj_num",
 969         init_attr => "\tset_arm_CondJmp_proj_num(res, proj_num);",
 970         reg_req   => { "in" => [ "fpa", "fpa" ], "out" => [ "none", "none"] },
 971         attr_type => "arm_CondJmp_attr_t",
 972 },
 973
 974 fpaCnfeBra => {
 975         op_flags  => "L|X|Y",
 976         state     => "pinned",
 977         comment   => "construct floating point Compare and Branch: CMF A, -B && JMPxx LABEL",
 978         mode      => "mode_T",
 979         attr      => "int proj_num",
 980         init_attr => "\tset_arm_CondJmp_proj_num(res, proj_num);",
 981         reg_req   => { "in" => [ "fpa", "fpa" ], "out" => [ "none", "none"] },
 982         attr_type => "arm_CondJmp_attr_t",
 983 },
 984
 985 # Load / Store
 986
 987 fpaLdf => {
 988         op_flags  => "L|F",
 989         irn_flags => "R",
 990         state     => "exc_pinned",
 991         comment   => "construct FPA Load: Load(ptr, mem) = LD ptr",
 992         attr      => "ir_mode *op_mode",
 993         init_attr => "attr->op_mode = op_mode;",
 994         reg_req   => { "in" => [ "gp", "none" ], "out" => [ "fpa", "none" ] },
 995         emit      => '. ldf%M %D0, [%S0]',
 996         outs      => [ "res", "M" ],
 997 },
 998
 999 fpaStf => {
1000         op_flags  => "L|F",
1001         irn_flags => "R",
1002         state     => "exc_pinned",
1003         comment   => "construct Store: Store(ptr, val, mem) = ST ptr,val",
1004         attr      => "ir_mode *op_mode",
1005         init_attr => "attr->op_mode = op_mode;",
1006         reg_req   => { "in" => [ "gp", "fpa", "none" ], "out" => [ "none" ] },
1007         emit      => '. stf%M %S1, [%S0]',
1008         mode      => "mode_M",
1009 },
1010
1011 fpaDbl2GP => {
1012         op_flags  => "L|F",
1013         irn_flags => "R",
1014         comment   => "construct fp double to 2 gp register transfer",
1015         reg_req   => { "in" => [ "fpa", "none" ], "out" => [ "gp", "gp", "none" ] },
1016         outs      => [ "low", "high", "M" ],
1017 },
1018
1019 AddSP => {
1020         irn_flags => "I",
1021         comment   => "construct Add to stack pointer",
1022         reg_req   => { in => [ "sp", "gp", "none" ], out => [ "in_r1", "none" ] },
1023         emit      => '. add %D0, %S0, %S1',
1024         outs      => [ "stack:I|S", "M" ],
1025 },
1026
1027 SubSP => {
1028 #irn_flags => "I",
1029         comment   => "construct Sub from stack pointer",
1030         reg_req   => { in => [ "sp", "gp", "none" ], out => [ "in_r1", "gp", "none" ] },
1031         ins       => [ "stack", "size", "mem" ],
1032         emit      => ". sub %D0, %S0, %S1\n".
1033                      ". mov sp, %D1",
1034         outs      => [ "stack:I|S", "addr", "M" ],
1035 },
1036
1037 LdTls => {
1038         irn_flags => "R",
1039         comment   => "load the TLS address",
1040         reg_req   => { out => [ "gp" ] },
1041 },
1042
1043
1044 #
1045 # floating point constants
1046 #
1047 fpaConst => {
1048         op_flags  => "c",
1049         irn_flags => "R",
1050         comment   => "construct a floating point constant",
1051         attr      => "tarval *tv",
1052         init_attr => "attr->tv = tv;",
1053         mode      => "get_tarval_mode(tv)",
1054         reg_req   => { "out" => [ "fpa" ] },
1055         attr_type => "arm_fpaConst_attr_t",
1056 }
1057
1058 #---------------------------------------------------#
1059 #          __                         _             #
1060 #         / _|                       | |            #
1061 #  __   _| |_ _ __    _ __   ___   __| | ___  ___   #
1062 #  \ \ / /  _| '_ \  | '_ \ / _ \ / _` |/ _ \/ __|  #
1063 #   \ V /| | | |_) | | | | | (_) | (_| |  __/\__ \  #
1064 #    \_/ |_| | .__/  |_| |_|\___/ \__,_|\___||___/  #
1065 #            | |                                    #
1066 #            |_|                                    #
1067 #---------------------------------------------------#
1068
1069 ); # end of %nodes