From: Christian Würdig Date: Tue, 8 Nov 2005 16:57:01 +0000 (+0000) Subject: added format string for code emitter X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=551ddadd02243cfd6e65a2bbe6be7d870911663b;p=libfirm added format string for code emitter --- diff --git a/ir/be/ia32/ia32_spec.pl b/ir/be/ia32/ia32_spec.pl index 20df0a7b7..ac451a992 100644 --- a/ir/be/ia32/ia32_spec.pl +++ b/ir/be/ia32/ia32_spec.pl @@ -92,198 +92,292 @@ $arch = "ia32"; "Add" => { "op_flags" => "C", "arity" => 2, - "comment" => "construct Add: Add(a, b) = Add(b, a) = a + b" + "comment" => "construct Add: Add(a, b) = Add(b, a) = a + b", + "emit" => '. addl %s2, %d1\t\t\t/* Add(%s1, %s2) -> %d1 */' }, "Add_i" => { "arity" => 1, "comment" => "construct Add: Add(a, const) = Add(const, a) = a + const", + "emit" => '. addl %c, %d1\t\t\t/* Add(%c, %s1) -> %d1 */' }, "Mul" => { "op_flags" => "C", "arity" => 2, - "comment" => "construct Mul: Mul(a, b) = Mul(b, a) = a * b" + "comment" => "construct Mul: Mul(a, b) = Mul(b, a) = a * b", + "emit" => +' if (mode_is_signed(get_irn_mode(n))) { +4. imull %s2\t\t\t/* signed Mul(%s1, %s2) -> %d1 */ + } + else { +4. mull %s2\t\t\t/* unsigned Mul(%s1, %s2) -> %d1 */ + } +' }, "Mul_i" => { "state" => "pinned", "arity" => 1, - "comment" => "construct Mul: Mul(a, const) = Mul(const, a) = a * const" + "comment" => "construct Mul: Mul(a, const) = Mul(const, a) = a * const", + "emit" => +' if (mode_is_signed(get_irn_mode(n))) { +4. imull %c\t\t\t/* signed Mul(%c, %s1) -> %d1 */ + } + else { +4. mull %c\t\t\t/* unsigned Mul(%c, %s1) -> %d1 */ + } +' }, "Mulh" => { "op_flags" => "C", "arity" => 2, - "comment" => "construct Mulh: Mulh(a, b) = Mulh(b, a) = get_32_highest_bits(a * b)" + "comment" => "construct Mulh: Mulh(a, b) = Mulh(b, a) = get_32_highest_bits(a * b)", + "emit" => +' if (mode_is_signed(get_irn_mode(n))) { +4. imull %s2\t\t\t/* signed Mulh(%s1, %s2) -> %d1 */ + } + else { +4. mull %s2\t\t\t/* unsigned Mulh(%s1, %s2) -> %d1 */ + } +' }, "Mulh_i" => { "state" => "pinned", "arity" => 1, - "comment" => "construct Mulh: Mulh(a, const) = Mulh(const, a) = get_32_highest_bits(a * const)" + "comment" => "construct Mulh: Mulh(a, const) = Mulh(const, a) = get_32_highest_bits(a * const)", + "emit" => +' if (mode_is_signed(get_irn_mode(n))) { +4. imull %c\t\t\t/* signed Mulh(%c, %s1) -> %d1 */ + } + else { +4. mull %c\t\t\t/* unsigned Mulh(%c, %s1) -> %d1 */ + } +' }, "And" => { "op_flags" => "C", "arity" => 2, - "comment" => "construct And: And(a, b) = And(b, a) = a AND b" + "comment" => "construct And: And(a, b) = And(b, a) = a AND b", + "emit" => '. andl %s2, %d1\t\t\t/* And(%s1, %s2) -> %d1 */' }, "And_i" => { "arity" => 1, - "comment" => "construct And: And(a, const) = And(const, a) = a AND const" + "comment" => "construct And: And(a, const) = And(const, a) = a AND const", + "emit" => '. andl %c, %d1\t\t\t/* And(%c, %s1) -> %d1 */' }, "Or" => { "op_flags" => "C", "arity" => 2, - "comment" => "construct Or: Or(a, b) = Or(b, a) = a OR b" + "comment" => "construct Or: Or(a, b) = Or(b, a) = a OR b", + "emit" => '. orl %s2, %d1\t\t\t/* Or(%s1, %s2) -> %d1 */' }, "Or_i" => { "arity" => 1, - "comment" => "construct Or: Or(a, const) = Or(const, a) = a OR const" + "comment" => "construct Or: Or(a, const) = Or(const, a) = a OR const", + "emit" => '. orl %c, %d1\t\t\t/* Or(%c, %s1) -> %d1 */' }, "Eor" => { "op_flags" => "C", "arity" => 2, - "comment" => "construct Eor: Eor(a, b) = Eor(b, a) = a EOR b" + "comment" => "construct Eor: Eor(a, b) = Eor(b, a) = a EOR b", + "emit" => '. xorl %s2, %d1\t\t\t/* Xor(%s1, %s2) -> %d1 */' }, "Eor_i" => { "arity" => 1, - "comment" => "construct Eor: Eor(a, const) = Eor(const, a) = a EOR const" + "comment" => "construct Eor: Eor(a, const) = Eor(const, a) = a EOR const", + "emit" => '. xorl %c, %d1\t\t\t/* Xor(%c, %s1) -> %d1 */' }, "Max" => { "op_flags" => "C", "arity" => 2, - "comment" => "construct Max: Max(a, b) = Max(b, a) = a > b ? a : b" -}, - -"Max_i" => { - "arity" => 1, - "comment" => "construct Max: Max(a, const) = Max(const, a) = a > const ? a : const" + "comment" => "construct Max: Max(a, b) = Max(b, a) = a > b ? a : b", + "emit" => +'2. cmpl %s2, %s1\t\t\t/* prepare Max */ + if (mode_is_signed(get_irn_mode(n))) { +2. cmovg %s1, %d1\t\t\t/* Max(%s1, %s2) -> %d1 */ + } + else { +2. cmova %s1, %d1\t\t\t/* Max(%s1, %s2) -> %d1 */ + } +' }, "Min" => { "op_flags" => "C", "arity" => 2, - "comment" => "construct Min: Min(a, b) = Min(b, a) = a < b ? a : b" -}, - -"Min_i" => { - "arity" => 1, - "comment" => "construct Min: Min(a, const) = Min(const, a) = a < const ? a : const" + "comment" => "construct Min: Min(a, b) = Min(b, a) = a < b ? a : b", + "emit" => +'2. cmpl %s2, %s1\t\t\t/* prepare Min (%s1 - %s2) */ + if (mode_is_signed(get_irn_mode(n))) { +2. cmovl %s1, %d1\t\t\t/* Min(%s1, %s2) -> %d1 */ + } + else { +2. cmovb %s1, %d1\t\t\t/* Min(%s1, %s2) -> %d1 */ + } +' }, # not commutative operations "Sub" => { "arity" => 2, - "comment" => "construct Sub: Sub(a, b) = a - b" + "comment" => "construct Sub: Sub(a, b) = a - b", + "emit" => '. subl %s2, %s1\t\t\t/* Sub(%s1, %s2) -> %d1 */' }, "Sub_i" => { "arity" => 1, - "comment" => "construct Sub: Sub(a, const) = a - const" + "comment" => "construct Sub: Sub(a, const) = a - const", + "emit" => '. subl %c, %s1\t\t\t/* Sub(%s1, %c) -> %d1 */' }, "Mod" => { "arity" => 2, - "comment" => "construct Mod: Mod(a, b) = a % b" -}, - -"Mod_i" => { - "arity" => 1, - "comment" => "construct Mod: Mod(a, const) = a % const" + "comment" => "construct Mod: Mod(a, b) = a % b", + "emit" => +' if (mode_is_signed(get_irn_mode(n))) { +4. cltd\t\t\t/* sign extend EAX -> EDX:EAX */\n +4. idivl %s2\t\t\t/* signed Mod(%s1, %s2) -> %d1 */ + } + else { +4. xorl edx, edx\t\t\t/* EDX = 0 */ +4. divl %s2\t\t\t/* unsigned Mod(%s1, %s2) -> %d1 */ + } +' }, "DivMod" => { "arity" => 2, - "comment" => "construct DivMod: DivMod(a,b) = (a / b, a % b)" -}, - -"DivMod_i" => { - "arity" => 1, - "comment" => "construct DivMod: DivMod(a, const) = (a / const, a % const)" + "comment" => "construct DivMod: DivMod(a,b) = (a / b, a % b)", + "emit" => +' if (mode_is_signed(get_irn_mode(n))) { +4. cltd\t\t\t/* sign extend EAX -> EDX:EAX */\n +4. idivl %s2\t\t\t/* signed DivMod(%s1, %s2) -> (%d1:%d2) (Div, Mod) */ + } + else { +4. xorl edx, edx\t\t\t/* EDX = 0 */ +4. divl %s2\t\t\t/* unsigned DivMod(%s1, %s2) -> (%d1:%d2) (Div, Mod) */ + } +' }, "Div" => { "arity" => 2, - "comment" => "construct Div: Div(a, b) = a / b" -}, - -"Div_i" => { - "arity" => 1, - "comment" => "construct Div: Div(a, const) = a / const" + "comment" => "construct Div: Div(a, b) = a / b", + "emit" => +' if (mode_is_signed(get_irn_mode(n))) { +4. cltd\t\t\t/* sign extend EAX -> EDX:EAX */\n +4. idivl %s2\t\t\t/* signed Div(%s1, %s2) -> %d1 */ + } + else { +4. xorl edx, edx\t\t\t/* EDX = 0 */ +4. divl %s2\t\t\t/* unsigned Div(%s1, %s2) -> %d1 */ + } +' }, "Shl" => { "arity" => 2, - "comment" => "construct Shl: Shl(a, b) = a << b" + "comment" => "construct Shl: Shl(a, b) = a << b", + "emit" => '. shll %s2, %d1\t\t\t/* Shl(%s1, %s2) -> %d1 */' }, "Shl_i" => { "arity" => 1, - "comment" => "construct Shl: Shl(a, const) = a << const" + "comment" => "construct Shl: Shl(a, const) = a << const", + "emit" => '. shll %c, %d1\t\t\t/* Shl(%s1, %c) -> %d1 */' }, "Shr" => { "arity" => 2, - "comment" => "construct Shr: Shr(a, b) = a >> b" + "comment" => "construct Shr: Shr(a, b) = a >> b", + "emit" => '. shrl %s2, %d1\t\t\t/* Shr(%s1, %s2) -> %d1 */' }, "Shr_i" => { "arity" => 1, - "comment" => "construct Shr: Shr(a, const) = a >> const" + "comment" => "construct Shr: Shr(a, const) = a >> const", + "emit" => '. shrl %c, %d1\t\t\t/* Shr(%s1, %c) -> %d1 */' }, "Shrs" => { "arity" => 2, - "comment" => "construct Shrs: Shrs(a, b) = a >> b" + "comment" => "construct Shrs: Shrs(a, b) = a >> b", + "emit" => '. sarl %s2, %d1\t\t\t/* Shrs(%s1, %s2) -> %d1 */' }, "Shrs_i" => { "arity" => 1, - "comment" => "construct Shrs: Shrs(a, const) = a >> const" + "comment" => "construct Shrs: Shrs(a, const) = a >> const", + "emit" => '. sarl %c, %d1\t\t\t/* Shrs(%s1, %c) -> %d1 */' +}, + +"RotR" => { + "arity" => 2, + "comment" => "construct RotR: RotR(a, b) = a ROTR b", + "emit" => '. rorl %s2, %d1\t\t\t/* RotR(%s1, %s2) -> %d1 */' +}, + +"RotR_i" => { + "arity" => 1, + "comment" => "construct RotR: RotR(a, const) = a ROTR const", + "emit" => '. rorl %c, %d1\t\t\t/* RotR(%s1, %c) -> %d1 */' }, -"Rot" => { +"RotL" => { "arity" => 2, - "comment" => "construct Rot: Rot(a, b) = a ROT b" + "comment" => "construct RotL: RotL(a, b) = a ROTL b", + "emit" => '. roll %s2, %d1\t\t\t/* RotL(%s1, %s2) -> %d1 */' }, -"Rot_i" => { +"RotL_i" => { "arity" => 1, - "comment" => "construct Rot: Rot(a, const) = a ROT const" + "comment" => "construct RotL: RotL(a, const) = a ROTL const", + "emit" => '. roll %c, %d1\t\t\t/* RotL(%s1, %c) -> %d1 */' }, "Minus" => { "arity" => 1, - "comment" => "construct Minus: Minus(a) = -a" + "comment" => "construct Minus: Minus(a) = -a", + "emit" => '. negl %d1\t\t\t/* Neg(%s1) -> %d1 */' }, "Inc" => { "arity" => 1, - "comment" => "construct Increment: Inc(a) = a++" + "comment" => "construct Increment: Inc(a) = a++", + "emit" => '. incl %d1\t\t\t/* Inc(%s1) -> %d1 */' }, "Dec" => { "arity" => 1, - "comment" => "construct Decrement: Dec(a) = a--" + "comment" => "construct Decrement: Dec(a) = a--", + "emit" => '. decl %d1\t\t\t/* Dec(%s1) -> %d1 */' }, "Abs" => { "arity" => 1, - "comment" => "construct Abs: Abs(a) = |a|" + "comment" => "construct Abs: Abs(a) = |a|", + "emit" => +'2. cdq\t\t\t/* Abs: EAX->EDX:EAX */ +2. xorl %edx, %eax\t\t\t/* Abs: one-completent */ +2. subl %edx, %eax\t\t\t/* Abs: two-complement */ +' }, "Not" => { "arity" => 1, - "comment" => "construct Not: Not(a) = !a" + "comment" => "construct Not: Not(a) = !a", + "emit" => '. notl %d1\t\t\t/* Not(%s1) -> %d1 */' }, # other operations @@ -296,34 +390,40 @@ $arch = "ia32"; "Cmp" => { "op_flags" => "C", "arity" => 2, - "comment" => "construct Cmp: Cmp(a, b) = a CMP b" + "comment" => "construct Cmp: Cmp(a, b) = a CMP b", + "emit" => '. cmpl %s2, %s1\t\t\t/* Cmp(%s1, %s2) -> flags */' }, "Cmp_i" => { "arity" => 1, - "comment" => "construct Cmp: Cmp(a, const) = Cmp(const, a) = a CMP const" + "comment" => "construct Cmp: Cmp(a, const) = Cmp(const, a) = a CMP const", + "emit" => '. cmpl %c, %s1\t\t\t/* Cmp(%s1, %c) -> flags */' }, # Load / Store "Load" => { "arity" => 2, - "comment" => "construct Load: Load(mem-edge, ptr) = LD ptr" + "comment" => "construct Load: Load(mem-edge, ptr) = LD ptr", + "emit" => '. movl (%s1), %d1\t\t\t/* Load((%s1)) -> %d1 */' }, "Store" => { "arity" => 3, - "comment" => "construct Store: Store(mem-edge, ptr, val) = ST ptr,val" + "comment" => "construct Store: Store(mem-edge, ptr, val) = ST ptr,val", + "emit" => '. movl %s1, (%d1)\t\t\t/* Store(%s1) -> (%d1) */' }, "Lea" => { "arity" => 2, - "comment" => "construct Lea: Lea(a,b) = lea offs(a,b,const) | res = a + b * const + offs with const = 0,1,2,4,8" + "comment" => "construct Lea: Lea(a,b) = lea offs(a,b,const) | res = a + b * const + offs with const = 0,1,2,4,8", + "emit" => '. leal %o(%s1, %s2, %c), %d1\t\t\t/* %d1 = %s1 + %s2 << %c + %o */' }, "Lea_i" => { "arity" => 1, - "comment" => "construct Lea: Lea(a) = lea offs(a) | res = a + offs" + "comment" => "construct Lea: Lea(a) = lea offs(a) | res = a + offs", + "emit" => '. leal %c(%s1), %d1\t\t\t/* %d1 = %s1 + %c */' }, # Call