X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fmips%2Fmips_spec.pl;h=872687cb1db147af94f6e1239db7a53c10433f2a;hb=98acf603b8f6198f7279e4f4f10031f9edee7ea4;hp=736f0188e8ddaac05e6b77dfe8dea8d804f62b30;hpb=18dfdacb6faf2f93d4f6f9a6362584f8c7eb30a1;p=libfirm diff --git a/ir/be/mips/mips_spec.pl b/ir/be/mips/mips_spec.pl index 736f0188e..872687cb1 100644 --- a/ir/be/mips/mips_spec.pl +++ b/ir/be/mips/mips_spec.pl @@ -5,8 +5,7 @@ # the cpu architecture (ia32, ia64, mips, sparc, ppc, ...) $arch = "mips"; - -$comment_string = "#"; +$new_emit_syntax = 1; # The node description is done as a perl hash initializer with the # following structure: @@ -61,6 +60,9 @@ $comment_string = "#"; # for i = 1 .. arity: ir_node *op_i # ir_mode *mode # +# outs: if a node defines more than one output, the names of the projections +# nodes having outs having automatically the mode mode_T +# # comment: OPTIONAL comment for the node constructor # # rd_constructor: for every operation there will be a @@ -86,47 +88,57 @@ $comment_string = "#"; # 4 - ignore (do not assign this register) # NOTE: Last entry of each class is the largest Firm-Mode a register can hold\ %reg_classes = ( - "general_purpose" => [ - { name => "zero", type => 4+2 }, # always zero - { name => "at", type => 4 }, # reserved for assembler - { name => "v0", type => 1 }, # first return value - { name => "v1", type => 1 }, # second return value - { name => "a0", type => 1 }, # first argument - { name => "a1", type => 1 }, # second argument - { name => "a2", type => 1 }, # third argument - { name => "a3", type => 1 }, # fourth argument - { name => "t0", type => 1 }, - { name => "t1", type => 1 }, - { name => "t2", type => 1 }, - { name => "t3", type => 1 }, - { name => "t4", type => 1 }, - { name => "t5", type => 1 }, - { name => "t6", type => 1 }, - { name => "t7", type => 1 }, - { name => "s0", type => 2 }, - { name => "s1", type => 2 }, - { name => "s2", type => 2 }, - { name => "s3", type => 2 }, - { name => "s4", type => 2 }, - { name => "s5", type => 2 }, - { name => "s6", type => 2 }, - { name => "s7", type => 2 }, - { name => "t8", type => 1 }, - { name => "t9", type => 1 }, - { name => "k0", type => 4 }, # reserved for OS - { name => "k1", type => 4 }, # reserved for OS - { name => "gp", type => 4 }, # general purpose - { name => "sp", type => 4+2 }, # stack pointer - { name => "fp", type => 4+2 }, # frame pointer - { name => "ra", type => 2+1 }, # return address. This is also caller save, because - # the jla instruction that is used for calls modifies - # the ra register. It is callee save too, because at the last - # command of a function (the ja $ra) it needs to have it's - # old value. - { mode => "mode_P" } - ], + "gp" => [ + { name => "zero", type => 4+2 }, # always zero + { name => "at", type => 4 }, # reserved for assembler + { name => "v0", realname => "2", type => 1 }, # first return value + { name => "v1", realname => "3", type => 1 }, # second return value + { name => "a0", realname => "4", type => 1 }, # first argument + { name => "a1", realname => "5", type => 1 }, # second argument + { name => "a2", realname => "6", type => 1 }, # third argument + { name => "a3", realname => "7", type => 1 }, # fourth argument + { name => "t0", realname => "8", type => 1 }, + { name => "t1", realname => "9", type => 1 }, + { name => "t2", realname => "10", type => 1 }, + { name => "t3", realname => "11", type => 1 }, + { name => "t4", realname => "12", type => 1 }, + { name => "t5", realname => "13", type => 1 }, + { name => "t6", realname => "14", type => 1 }, + { name => "t7", realname => "15", type => 1 }, + { name => "s0", realname => "16", type => 2 }, + { name => "s1", realname => "17", type => 2 }, + { name => "s2", realname => "18", type => 2 }, + { name => "s3", realname => "19", type => 2 }, + { name => "s4", realname => "20", type => 2 }, + { name => "s5", realname => "21", type => 2 }, + { name => "s6", realname => "22", type => 2 }, + { name => "s7", realname => "23", type => 2 }, + { name => "t8", realname => "24", type => 1 }, + { name => "t9", realname => "25", type => 1 }, + { name => "kt0", type => 4 }, # reserved for OS + { name => "kt1", type => 4 }, # reserved for OS + { name => "gp", type => 4 }, # general purpose + { name => "sp", type => 4 }, # stack pointer + { name => "fp", type => 4 }, # frame pointer + { name => "ra", type => 2+1 }, # return address + { mode => "mode_Iu" } + ], ); # %reg_classes +%emit_templates = ( + S0 => "${arch}_emit_source_register(env, node, 0);", + S1 => "${arch}_emit_source_register(env, node, 1);", + S2 => "${arch}_emit_source_register(env, node, 2);", + D0 => "${arch}_emit_dest_register(env, node, 0);", + D1 => "${arch}_emit_dest_register(env, node, 1);", + D2 => "${arch}_emit_dest_register(env, node, 2);", + C => "${arch}_emit_immediate(env, node);", + JumpTarget => "${arch}_emit_jump_target(env, node);", + JumpTarget1 => "${arch}_emit_jump_target_proj(env, node, 1);", + JumpOrFallthrough => "${arch}_emit_jump_or_fallthrough(env, node, 0);", +); + + #--------------------------------------------------# # _ # # (_) # @@ -138,6 +150,8 @@ $comment_string = "#"; # |_| # #--------------------------------------------------# +$default_cmp_attr = "return mips_compare_attr(attr_a, attr_b);"; + %nodes = ( #-----------------------------------------------------------------# @@ -153,172 +167,183 @@ $comment_string = "#"; # commutative operations -add => { - op_flags => "C", - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] }, - emit => ' - if (mode_is_signed(get_irn_mode(n))) -2. add %D1, %S1, %S2 - else -2. addu %D1, %S1, %S2 -' -}, - -addi => { - reg_req => { in => [ "general_purpose" ], out => [ "general_purpose" ] }, - emit => ' - if (mode_is_signed(get_irn_mode(n))) -2. addi %D1, %S1, %C - else -2. addiu %D1, %S1, %C -', - cmp_attr => 'return attr_a->tv != attr_b->tv;', +addu => { + op_flags => "C", + reg_req => { in => [ "gp", "gp" ], out => [ "gp" ] }, + emit => '. addu %D0, %S0, %S1', + mode => "mode_Iu", +}, + +addiu => { + reg_req => { in => [ "gp" ], out => [ "gp" ] }, + emit => '. addiu %D0, %S0, %C', + cmp_attr => 'return attr_a->tv != attr_b->tv;', + mode => "mode_Iu", }, and => { - op_flags => "C", - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. and %D1, %S1, %S2', + op_flags => "C", + reg_req => { in => [ "gp", "gp" ], out => [ "gp" ] }, + emit => '. and %D0, %S0, %S1', + mode => "mode_Iu", }, andi => { - reg_req => { in => [ "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. andi %D1, %S1, %C', - cmp_attr => 'return attr_a->tv != attr_b->tv;', + reg_req => { in => [ "gp" ], out => [ "gp" ] }, + emit => '. andi %D0, %S0, %C', + cmp_attr => 'return attr_a->tv != attr_b->tv;', + mode => "mode_Iu", }, div => { - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "none", "none", "none", "none" ] }, - emit => ' - mips_attr_t *attr = get_mips_attr(n); - if(attr->modes.original_mode->sign) { -2. div %S1, %S2 - } else { -2. divu %S1, %S2 - } -', + reg_req => { in => [ "gp", "gp" ], out => [ "none" ] }, + emit => '. div %S0, %S1', + mode => "mode_M", +}, + +divu => { + reg_req => { in => [ "gp", "gp" ], out => [ "none" ] }, + emit => '. divu %S0, %S1', + mode => "mode_M", }, mult => { - op_flags => "C", - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "none" ] }, - emit => ' - if (mode_is_signed(get_irn_mode(n))) -2. mult %S1, %S2 - else -2. multu %S1, %S2 -' + op_flags => "C", + reg_req => { in => [ "gp", "gp" ], out => [ "none" ] }, + emit => '. mult %S0, %S1', + mode => "mode_M" +}, + +multu => { + op_flags => "C", + reg_req => { in => [ "gp", "gp" ], out => [ "none" ] }, + emit => '. multu %S0, %S1', + mode => "mode_M", }, nor => { - op_flags => "C", - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. nor %D1, %S1, %S2' + op_flags => "C", + reg_req => { in => [ "gp", "gp" ], out => [ "gp" ] }, + emit => '. nor %D0, %S0, %S1', + mode => "mode_Iu" }, not => { - reg_req => { in => [ "general_purpose" ], out => [ "general_purpose" ] }, - emit => ' - assert(get_mode_size_bits(get_irn_mode(n)) == 32); -. nor %D1, %S1, $zero -' + reg_req => { in => [ "gp" ], out => [ "gp" ] }, + emit => '. nor %D0, %S0, $zero', + mode => "mode_Iu" }, or => { - op_flags => "C", - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. or %D1, %S1, %S2' + op_flags => "C", + reg_req => { in => [ "gp", "gp" ], out => [ "gp" ] }, + emit => '. or %D0, %S0, %S1', + mode => "mode_Iu" }, ori => { - reg_req => { in => [ "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. ori %D1, %S1, %C', - cmp_attr => 'return attr_a->tv != attr_b->tv;', + reg_req => { in => [ "gp" ], out => [ "gp" ] }, + emit => '. ori %D0, %S0, %C', + cmp_attr => 'return attr_a->tv != attr_b->tv;', + mode => "mode_Iu" }, sl => { - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] }, - emit => ' - if (mode_is_signed(get_irn_mode(n))) -2. sal %D1, %S1, %S2 - else -2. sll %D1, %S1, %S2', + reg_req => { in => [ "gp", "gp" ], out => [ "gp" ] }, + emit => ' + if (mode_is_signed(get_irn_mode(node))) { + . sal %D0, %S0, %S1 + } else { + . sll %D0, %S0, %S1 + } +', + mode => "mode_Iu", }, sli => { - reg_req => { in => [ "general_purpose" ], out => [ "general_purpose" ] }, - emit => ' - if (mode_is_signed(get_irn_mode(n))) -2. sal %D1, %S1, %C - else -2. sll %D1, %S1, %C', + reg_req => { in => [ "gp" ], out => [ "gp" ] }, + emit => ' + if (mode_is_signed(get_irn_mode(node))) { + . sal %D0, %S0, %C + } else { + . sll %D0, %S0, %C + } +', + mode => "mode_Iu", }, sra => { - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. sra %D1, %S1, %S2', + reg_req => { in => [ "gp", "gp" ], out => [ "gp" ] }, + emit => '. sra %D0, %S0, %S1', + mode => "mode_Iu" }, srai => { - reg_req => { in => [ "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. sra %D1, %S1, %C', - cmp_attr => 'return attr_a->tv != attr_b->tv;', + reg_req => { in => [ "gp" ], out => [ "gp" ] }, + emit => '. sra %D0, %S0, %C', + cmp_attr => 'return attr_a->tv != attr_b->tv;', + mode => "mode_Iu", }, sr => { - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] }, - emit => ' - if (mode_is_signed(get_irn_mode(n))) -2. sra %D1, %S1, %S2 - else -2. srl %D1, %S1, %S2 + reg_req => { in => [ "gp", "gp" ], out => [ "gp" ] }, + emit => ' + if (mode_is_signed(get_irn_mode(node))) { + . sra %D0, %S0, %S1 + } else { + . srl %D0, %S0, %S1 + } ', + mode => "mode_Iu", }, sri => { - reg_req => { in => [ "general_purpose" ], out => [ "general_purpose" ] }, - emit => ' - if (mode_is_signed(get_irn_mode(n))) -2. sra %D1, %S1, %C - else -2. srl %D1, %S1, %C + reg_req => { in => [ "gp" ], out => [ "gp" ] }, + emit => ' + if (mode_is_signed(get_irn_mode(node))) { + . sra %D0, %S0, %C + } else { + . srl %D0, %S0, %C + } ', + mode => "mode_Iu" }, srlv => { - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. srlv %D1, %S1, %S2', + reg_req => { in => [ "gp", "gp" ], out => [ "gp" ] }, + emit => '. srlv %D0, %S0, %S1', + mode => "mode_Iu" }, sllv => { - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. sllv %D1, %S1, %S2', + reg_req => { in => [ "gp", "gp" ], out => [ "gp" ] }, + emit => '. sllv %D0, %S0, %S1', + mode => "mode_Iu" }, sub => { - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. sub %D1, %S1, %S2' -}, - -subu => { - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. subu %D1, %S1, %S2', + reg_req => { in => [ "gp", "gp" ], out => [ "gp" ] }, + emit => '. subu %D0, %S0, %S1', + mode => "mode_Iu" }, subuzero => { - reg_req => { in => [ "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. subu %D1, $zero, %S1', + reg_req => { in => [ "gp" ], out => [ "gp" ] }, + emit => '. subu %D0, $zero, %S0', + mode => "mode_Iu", }, xor => { - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. xor %D1, %S1, %S2' + reg_req => { in => [ "gp", "gp" ], out => [ "gp" ] }, + emit => '. xor %D0, %S0, %S1', + mode => "mode_Iu", }, xori => { - reg_req => { in => [ "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. xori %D1, %S1, %C', - cmp_attr => 'return attr_a->tv != attr_b->tv;', + reg_req => { in => [ "gp" ], out => [ "gp" ] }, + emit => '. xori %D0, %S0, %C', + cmp_attr => 'return attr_a->tv != attr_b->tv;', + mode => "mode_Iu", }, # ____ _ _ @@ -330,40 +355,32 @@ xori => { # load upper imediate lui => { - op_flags => "c", - reg_req => { out => [ "general_purpose" ] }, - emit => '. lui %D1, %C', - cmp_attr => 'return attr_a->tv != attr_b->tv;', -}, - -# load lower immediate -lli => { - op_flags => "c", - reg_req => { in => [ "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. ori %D1, %S1, %C', - cmp_attr => 'return attr_a->tv != attr_b->tv;', -}, - -la => { - op_flags => "c", - reg_req => { out => [ "general_purpose" ] }, - emit => '. la %D1, %C', - cmp_attr => 'return attr_a->symconst_id != attr_b->symconst_id;', + op_flags => "c", + reg_req => { out => [ "gp" ] }, + emit => '. lui %D0, %C', + cmp_attr => 'return attr_a->tv != attr_b->tv;', + mode => "mode_Iu", }, mflo => { - reg_req => { in => [ "none" ], out => [ "general_purpose" ] }, - emit => '. mflo %D1' + reg_req => { in => [ "none" ], out => [ "gp" ] }, + emit => '. mflo %D0', + mode => "mode_Iu" }, mfhi => { - reg_req => { in => [ "none" ], out => [ "general_purpose" ] }, - emit => '. mfhi %D1' + reg_req => { in => [ "none" ], out => [ "gp" ] }, + emit => '. mfhi %D0', + mode => "mode_Iu" }, zero => { - reg_req => { out => [ "zero" ] }, - emit => '', + state => "pinned", + op_flags => "c", + irn_flags => "I", + reg_req => { out => [ "zero" ] }, + emit => '', + mode => "mode_Iu" }, # @@ -376,146 +393,81 @@ zero => { # slt => { - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "general_purpose" ] }, - emit => ' - if (mode_is_signed(get_irn_mode(n))) -2. slt %D1, %S1, %S2 - else -2. sltu %D1, %S1, %S2 -', + reg_req => { in => [ "gp", "gp" ], out => [ "gp" ] }, + emit => '. slt %D0, %S0, %S1', + mode => "mode_Iu", +}, + +sltu => { + reg_req => { in => [ "gp", "gp" ], out => [ "gp" ] }, + emit => '. sltu %D0, %S0, %S1', + mode => "mode_Iu", }, slti => { - reg_req => { in => [ "general_purpose" ], out => [ "general_purpose" ] }, - emit => ' - if (mode_is_signed(get_irn_mode(n))) -2. slti %D1, %S1, %C - else -2. sltiu %D1, %S1, %C -', - cmp_attr => 'return attr_a->tv != attr_b->tv;', + reg_req => { in => [ "gp" ], out => [ "gp" ] }, + emit => '. slti %D0, %S0, %C', + mode => "mode_Iu", }, -beq => { - op_flags => "X|Y", - # TxT -> TxX - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "in_r0", "none" ] }, - emit => ' - ir_node *jumpblock = mips_get_jump_block(n, 1); - assert(jumpblock != NULL); +sltiu => { + reg_req => { in => [ "gp" ], out => [ "gp" ] }, + emit => '. slti %D0, %S0, %C', + mode => "mode_Iu", +}, - lc_efprintf(arg_env, F, "\tbeq %1S, %2S, BLOCK_%d\n", n, n, get_irn_node_nr(jumpblock)); -' +beq => { + op_flags => "X|Y", + reg_req => { in => [ "gp", "gp" ], out => [ "none", "none" ] }, + outs => [ "false", "true" ], + emit => '. beq %S0, %S1, %JumpTarget1 + . %JumpOrFallthrough' }, bne => { - op_flags => "X|Y", - # TxT -> TxX - reg_req => { in => [ "general_purpose", "general_purpose" ], out => [ "in_r0", "none" ] }, - emit => ' - ir_node *jumpblock = mips_get_jump_block(n, 1); - assert(jumpblock != NULL); - - lc_efprintf(arg_env, F, "\tbne %1S, %2S, BLOCK_%d\n", n, n, get_irn_node_nr(jumpblock)); -' + op_flags => "X|Y", + reg_req => { in => [ "gp", "gp" ], out => [ "none", "none" ] }, + outs => [ "false", "true" ], + emit => '. bne %S0, %S1, %JumpTarget1 + . %JumpOrFallthrough' }, bgtz => { - op_flags => "X|Y", - # TxT -> TxX - reg_req => { in => [ "general_purpose" ], out => [ "in_r0", "none" ] }, - emit => ' - ir_node *jumpblock = mips_get_jump_block(n, 1); - assert(jumpblock != NULL); - - lc_efprintf(arg_env, F, "\tbgtz %1S, BLOCK_%d\n", n, get_irn_node_nr(jumpblock)); -' + op_flags => "X|Y", + reg_req => { in => [ "gp" ], out => [ "none", "none" ] }, + outs => [ "false", "true" ], + emit => '. bgtz %S0, %JumpTarget1 + . %JumpOrFallthrough' }, blez => { - op_flags => "X|Y", - # TxT -> TxX - reg_req => { in => [ "general_purpose" ], out => [ "in_r0", "none" ] }, - emit => ' - ir_node *jumpblock = mips_get_jump_block(n, 1); - assert(jumpblock != NULL); - - lc_efprintf(arg_env, F, "\tblez %1S, BLOCK_%d\n", n, get_irn_node_nr(jumpblock)); -' -}, - -j => { - op_flags => "X", - reg_req => { in => [ "general_purpose" ] }, - emit => '. j %S1', + op_flags => "X|Y", + reg_req => { in => [ "gp" ], out => [ "none", "none" ] }, + outs => [ "false", "true" ], + emit => '. blez %S0, %JumpTarget1 + . %JumpOrFallthrough' }, b => { - op_flags => "X", - # -> X - reg_req => { in => [ ], out => [ "none" ] }, - emit => ' - ir_node *jumpblock = get_irn_link(n); - assert(jumpblock != NULL); - - lc_efprintf(arg_env, F, "\tb BLOCK_%d\t\t\t# mips_b\n", get_irn_node_nr(jumpblock)); -' + op_flags => "X", + reg_req => { in => [ ], out => [ "none" ] }, + emit => '. b %JumpTarget', + mode => 'mode_X' }, -fallthrough => { - op_flags => "X", - # -> X - reg_req => { in => [ ], out => [ "none" ] }, - emit => '. # fallthrough' +jr => { + op_flags => "X", + reg_req => { in => [ "gp" ], out => [ "none" ] }, + emit => '. jr %S0', + mode => 'mode_X' }, SwitchJump => { - op_flags => "X", - # -> X,X,... - reg_req => { in => [ "general_purpose" ], out => [ "none" ] }, - emit => '. j %S1' -}, - -# _ _ -# | | ___ __ _ __| | -# | | / _ \ / _` |/ _` | -# | |__| (_) | (_| | (_| | -# |_____\___/ \__,_|\__,_| -# - -load_r => { - reg_req => { in => [ "none", "general_purpose" ], out => [ "none", "none", "general_purpose" ] }, - emit => ' - mips_attr_t* attr = get_mips_attr(n); - ir_mode *mode; - - mode = attr->modes.load_store_mode; - - switch (get_mode_size_bits(mode)) { - case 8: - if (mode_is_signed(mode)) -3. lb %D3, %C(%S2) - else -3. lbu %D3, %C(%S2) - break; - case 16: - if (mode_is_signed(mode)) -3. lh %D3, %C(%S2) - else -3. lhu %D3, %C(%S2) - break; - case 32: -2. lw %D3, %C(%S2) - break; - default: - assert(! "Only 8, 16 and 32 bit loads supported"); - break; - } -', - cmp_attr => 'return attr_a->tv != attr_b->tv || attr_a->stack_entity != attr_b->stack_entity;', + op_flags => "X", + reg_req => { in => [ "gp" ], out => [ "none" ] }, + emit => '. jr %S0' }, - # _ _ ______ _ # | | ___ __ _ __| | / / ___|| |_ ___ _ __ ___ # | | / _ \ / _` |/ _` | / /\___ \| __/ _ \| '__/ _ \ @@ -523,74 +475,74 @@ load_r => { # |_____\___/ \__,_|\__,_/_/ |____/ \__\___/|_| \___| # -store_r => { - reg_req => { in => [ "none", "general_purpose", "general_purpose" ], out => [ "none", "none" ] }, - emit => ' - mips_attr_t* attr = get_mips_attr(n); - ir_mode* mode; - - mode = attr->modes.load_store_mode; - - switch (get_mode_size_bits(mode)) { - case 8: - if (mode_is_signed(mode)) -2. sb %S3, %C(%S2) - break; - case 16: - if (mode_is_signed(mode)) -2. sh %S3, %C(%S2) - break; - case 32: -2. sw %S3, %C(%S2) - break; - default: - assert(! "Only 8, 16 and 32 bit stores supported"); - break; - } -', - cmp_attr => 'return attr_a->tv != attr_b->tv;', -}, - -store_i => { - reg_req => { in => [ "none", "none", "general_purpose" ], out => [ "none", "none" ] }, - emit => ' - mips_attr_t* attr = get_mips_attr(n); - ir_mode *mode; - - mode = attr->modes.load_store_mode; - - switch (get_mode_size_bits(mode)) { - case 8: -2. sb %S3, %C - break; - case 16: -2. sh %S3, %C - break; - case 32: -2. sw %S3, %C - break; - default: - assert(! "Only 8, 16 and 32 bit stores supported"); - break; - } -', - cmp_attr => ' - return attr_a->stack_entity != attr_b->stack_entity; -', +lw => { + op_flags => "L|F", + state => "exc_pinned", + reg_req => { in => [ "none", "gp" ], out => [ "gp", "none" ] }, + outs => [ "res", "M" ], + emit => '. lw %D0, %C(%S1)', }, -move => { - reg_req => { in => [ "general_purpose" ], out => [ "general_purpose" ] }, - emit => '. or %D1, $zero, %S1' +lh => { + op_flags => "L|F", + state => "exc_pinned", + reg_req => { in => [ "none", "gp" ], out => [ "gp", "none" ] }, + outs => [ "res", "M" ], + emit => '. lh %D0, %C(%S1)', }, -# -# Conversion -# +lhu => { + op_flags => "L|F", + state => "exc_pinned", + reg_req => { in => [ "none", "gp" ], out => [ "gp", "none" ] }, + outs => [ "res", "M" ], + emit => '. lhu %D0, %C(%S1)', +}, + +lb => { + op_flags => "L|F", + state => "exc_pinned", + reg_req => { in => [ "none", "gp" ], out => [ "gp", "none" ] }, + outs => [ "res", "M" ], + emit => '. lb %D0, %C(%S1)', +}, -reinterpret_conv => { - reg_req => { in => [ "general_purpose" ], out => [ "in_r1" ] }, - emit => '. # reinterpret %S1 -> %D1', +lbu => { + op_flags => "L|F", + state => "exc_pinned", + reg_req => { in => [ "none", "gp" ], out => [ "gp", "none" ] }, + outs => [ "res", "M" ], + emit => '. lbu %D0, %C(%S1)', +}, + +sw => { + op_flags => "L|F", + state => "exc_pinned", + reg_req => { in => [ "none", "gp", "gp" ], out => [ "none" ] }, + emit => '. sw %S2, %C(%S1)', + mode => 'mode_M', +}, + +sh => { + op_flags => "L|F", + state => "exc_pinned", + reg_req => { in => [ "none", "gp", "gp" ], out => [ "none" ] }, + emit => '. sh %S2, %C(%S1)', + mode => 'mode_M', +}, + +sb => { + op_flags => "L|F", + state => "exc_pinned", + reg_req => { in => [ "none", "gp", "gp" ], out => [ "none" ] }, + emit => '. sb %S2, %C(%S1)', + mode => 'mode_M', +}, + +move => { + reg_req => { in => [ "gp" ], out => [ "gp" ] }, + emit => '. move %D0, %S0', + mode => "mode_Iu" }, # @@ -598,9 +550,9 @@ reinterpret_conv => { # nop => { - op_flags => "K", - reg_req => { in => [], out => [ "none" ] }, - emit => '. nop # nop', + op_flags => "K", + reg_req => { in => [], out => [ "none" ] }, + emit => '. nop', }, ); # end of %nodes