X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=ir%2Fbe%2FTEMPLATE%2FTEMPLATE_spec.pl;h=65185467616b994ca7e8856a77dbc275897f9ccd;hb=8e4e49e66d1d578b31a5ffce9bb6ff94ba985dfb;hp=63397bda11fb5f70b7e6b0746a95441355491b27;hpb=294649280c357adf3afa6d66918ff36ca739e943;p=libfirm diff --git a/ir/be/TEMPLATE/TEMPLATE_spec.pl b/ir/be/TEMPLATE/TEMPLATE_spec.pl index 63397bda1..651854676 100644 --- a/ir/be/TEMPLATE/TEMPLATE_spec.pl +++ b/ir/be/TEMPLATE/TEMPLATE_spec.pl @@ -1,15 +1,11 @@ -# Creation: 2006/02/13 -# $Id$ - # the cpu architecture (ia32, ia64, mips, sparc, ppc, ...) - $arch = "TEMPLATE"; # # Modes # $mode_gp = "mode_Iu"; # mode used by general purpose registers -$mode_fp = "mode_E"; # mode used by floatingpoint registers +$mode_fp = "mode_F"; # mode used by floatingpoint registers # The node description is done as a perl hash initializer with the # following structure: @@ -17,8 +13,6 @@ $mode_fp = "mode_E"; # mode used by floatingpoint registers # %nodes = ( # # => { -# op_flags => "N|L|C|X|I|F|Y|H|c|K", # optional -# irn_flags => "R|N|I" # optional # arity => "0|1|2|3 ... |variable|dynamic|any", # optional # state => "floats|pinned|mem_pinned|exc_pinned", # optional # args => [ @@ -45,25 +39,6 @@ $mode_fp = "mode_E"; # mode used by floatingpoint registers # # ); # close the %nodes initializer -# op_flags: flags for the operation, OPTIONAL (default is "N") -# the op_flags correspond to the firm irop_flags: -# N irop_flag_none -# L irop_flag_labeled -# C irop_flag_commutative -# X irop_flag_cfopcode -# I irop_flag_ip_cfopcode -# F irop_flag_fragile -# Y irop_flag_forking -# H irop_flag_highlevel -# c irop_flag_constlike -# K irop_flag_keep -# -# irn_flags: special node flags, OPTIONAL (default is 0) -# following irn_flags are supported: -# R rematerializeable -# N not spillable -# I ignore for register allocation -# # state: state of the operation, OPTIONAL (default is "floats") # # arity: arity of the operation, MUST NOT BE OMITTED @@ -80,65 +55,50 @@ $mode_fp = "mode_E"; # mode used by floatingpoint registers # # comment: OPTIONAL comment for the node constructor # -# rd_constructor: for every operation there will be a -# new_rd__ function with the arguments from above -# which creates the ir_node corresponding to the defined operation -# you can either put the complete source code of this function here -# -# This key is OPTIONAL. If omitted, the following constructor will -# be created: -# if (!op__) assert(0); -# for i = 1 to arity -# set in[i] = op_i -# done -# res = new_ir_node(db, irg, block, op__, mode, arity, in) -# return res -# -# NOTE: rd_constructor and args are only optional if and only if arity is 0,1,2 or 3 - # register types: # 0 - no special type -# 1 - caller save (register must be saved by the caller of a function) -# 2 - callee save (register must be saved by the called function) -# 4 - ignore (do not assign this register) +# 1 - ignore (do not assign this register) +# 2 - emitter can choose an arbitrary register of this class +# 4 - the register is a virtual one +# 8 - register represents a state # NOTE: Last entry of each class is the largest Firm-Mode a register can hold %reg_classes = ( gp => [ - { name => "r0", type => 1 }, - { name => "r1", type => 1 }, - { name => "r2", type => 1 }, - { name => "r3", type => 1 }, - { name => "r4", type => 1 }, - { name => "r5", type => 1 }, - { name => "r6", type => 1 }, - { name => "r7", type => 2 }, - { name => "r8", type => 2 }, - { name => "r9", type => 2 }, - { name => "r10", type => 2 }, - { name => "r11", type => 2 }, - { name => "r12", type => 2 }, - { name => "r13", type => 2 }, - { name => "sp", realname => "r14", type => 4 }, # stackpointer - { name => "bp", realname => "r15", type => 4 }, # basepointer + { name => "r0" }, + { name => "r1" }, + { name => "r2" }, + { name => "r3" }, + { name => "r4" }, + { name => "r5" }, + { name => "r6" }, + { name => "r7" }, + { name => "r8" }, + { name => "r9" }, + { name => "r10" }, + { name => "r11" }, + { name => "r12" }, + { name => "r13" }, + { name => "sp", realname => "r14", type => 1 }, # stackpointer + { name => "bp", realname => "r15", type => 1 }, # basepointer { mode => $mode_gp } ], fp => [ - { name => "f0", type => 1 }, - { name => "f1", type => 1 }, - { name => "f2", type => 1 }, - { name => "f3", type => 1 }, - { name => "f4", type => 1 }, - { name => "f5", type => 1 }, - { name => "f6", type => 1 }, - { name => "f7", type => 1 }, - { name => "f8", type => 1 }, - { name => "f9", type => 1 }, - { name => "f10", type => 1 }, - { name => "f11", type => 1 }, - { name => "f12", type => 1 }, - { name => "f13", type => 1 }, - { name => "f14", type => 1 }, - { name => "f15", type => 1 }, + { name => "f0" }, + { name => "f1" }, + { name => "f2" }, + { name => "f3" }, + { name => "f4" }, + { name => "f5" }, + { name => "f6" }, + { name => "f7" }, + { name => "f8" }, + { name => "f9" }, + { name => "f10" }, + { name => "f11" }, + { name => "f12" }, + { name => "f13" }, + { name => "f14" }, + { name => "f15" }, { mode => $mode_fp } ] ); @@ -159,6 +119,9 @@ $mode_fp = "mode_E"; # mode used by floatingpoint registers C => "${arch}_emit_immediate(node);" ); +$default_attr_type = "TEMPLATE_attr_t"; +$default_copy_attr = "TEMPLATE_copy_attr"; + %nodes = ( # Integer nodes @@ -242,7 +205,7 @@ Not => { Const => { op_flags => [ "constlike" ], irn_flags => [ "rematerializable" ], - attr => "tarval *value", + attr => "ir_tarval *value", custominit => "set_TEMPLATE_value(res, value);", reg_req => { out => [ "gp" ] }, emit => '. mov %C, %D1', @@ -267,7 +230,7 @@ Jmp => { # Load / Store Load => { - op_flags => [ "labeled", "fragile" ], + op_flags => [ "labeled" ], irn_flags => [ "rematerializable" ], state => "exc_pinned", reg_req => { in => [ "gp", "none" ], out => [ "gp" ] }, @@ -275,7 +238,7 @@ Load => { }, Store => { - op_flags => [ "labeled", "fragile" ], + op_flags => [ "labeled" ], irn_flags => [ "rematerializable" ], state => "exc_pinned", reg_req => { in => [ "gp", "gp", "none" ] }, @@ -335,7 +298,7 @@ fConst => { # Load / Store fLoad => { - op_flags => [ "labeled", "fragile" ], + op_flags => [ "labeled" ], irn_flags => [ "rematerializable" ], state => "exc_pinned", reg_req => { in => [ "gp", "none" ], out => [ "fp" ] }, @@ -343,7 +306,7 @@ fLoad => { }, fStore => { - op_flags => [ "labeled", "fragile" ], + op_flags => [ "labeled" ], irn_flags => [ "rematerializable" ], state => "exc_pinned", reg_req => { in => [ "gp", "fp", "none" ] },