X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fia32%2Fia32_spec.pl;h=2ccf12d41b7c606db247076519db46b1b27456bc;hb=41658443cdd74a5ce93c986ab9e623cc92d11f38;hp=7672d23d3a1051a8819fd68b266755a31419ccd8;hpb=ad1ef5b7317757fc54bf6ceb202b6e6f786a07ce;p=libfirm

diff --git a/ir/be/ia32/ia32_spec.pl b/ir/be/ia32/ia32_spec.pl
index 7672d23d3..2ccf12d41 100644
--- a/ir/be/ia32/ia32_spec.pl
+++ b/ir/be/ia32/ia32_spec.pl
@@ -197,9 +197,11 @@ $arch = "ia32";
 	S1 => "${arch}_emit_source_register(node, 1);",
 	S2 => "${arch}_emit_source_register(node, 2);",
 	S3 => "${arch}_emit_source_register(node, 3);",
+	SB0 => "${arch}_emit_8bit_source_register_or_immediate(node, 0);",
 	SB1 => "${arch}_emit_8bit_source_register_or_immediate(node, 1);",
 	SB2 => "${arch}_emit_8bit_source_register_or_immediate(node, 2);",
 	SB3 => "${arch}_emit_8bit_source_register_or_immediate(node, 3);",
+	SH0 => "${arch}_emit_8bit_high_source_register(node, 0);",
 	SI1 => "${arch}_emit_source_register_or_immediate(node, 1);",
 	SI3 => "${arch}_emit_source_register_or_immediate(node, 3);",
 	D0 => "${arch}_emit_dest_register(node, 0);",
@@ -207,9 +209,7 @@ $arch = "ia32";
 	DB0 => "${arch}_emit_8bit_dest_register(node, 0);",
 	X0 => "${arch}_emit_x87_register(node, 0);",
 	X1 => "${arch}_emit_x87_register(node, 1);",
-	SE => "${arch}_emit_extend_suffix(get_ia32_ls_mode(node));",
-	ME => "if(get_mode_size_bits(get_ia32_ls_mode(node)) != 32)\n
-	           ia32_emit_mode_suffix(node);",
+	EX => "${arch}_emit_extend_suffix(node);",
 	M  => "${arch}_emit_mode_suffix(node);",
 	XM => "${arch}_emit_x87_mode_suffix(node);",
 	XXM => "${arch}_emit_xmm_mode_suffix(node);",
@@ -1337,7 +1337,7 @@ Load => {
 	ins       => [ "base", "index", "mem" ],
 	outs      => [ "res", "M", "X_exc" ],
 	latency   => 0,
-	emit      => ". mov%SE%ME%.l %AM, %D0",
+	emit      => ". mov%EX%.l %AM, %D0",
 	units     => [ "GP" ],
 },
 
@@ -1475,6 +1475,9 @@ LdTls => {
 	latency   => 1,
 },
 
+#
+# BT supports source address mode, but this is unused yet
+#
 Bt => {
 	irn_flags => "R",
 	state     => "exc_pinned",
@@ -1487,6 +1490,54 @@ Bt => {
 	modified_flags => $status_flags  # only CF is set, but the other flags are undefined
 },
 
+Bsf => {
+	irn_flags => "R",
+	state     => "exc_pinned",
+	reg_req   => { in => [ "gp", "gp", "none", "gp" ],
+	               out => [ "gp", "flags", "none" ] },
+	ins       => [ "base", "index", "mem", "operand" ],
+	outs      => [ "res", "flags", "M" ],
+	am        => "source,binary",
+	emit      => '. bsf%M %unop3, %D0',
+	units     => [ "GP" ],
+	latency   => 1,
+	mode      => $mode_gp,
+	modified_flags => $status_flags
+},
+
+Bsr => {
+	irn_flags => "R",
+	state     => "exc_pinned",
+	reg_req   => { in => [ "gp", "gp", "none", "gp" ],
+	               out => [ "gp", "flags", "none" ] },
+	ins       => [ "base", "index", "mem", "operand" ],
+	outs      => [ "res", "flags", "M" ],
+	am        => "source,binary",
+	emit      => '. bsr%M %unop3, %D0',
+	units     => [ "GP" ],
+	latency   => 1,
+	mode      => $mode_gp,
+	modified_flags => $status_flags
+},
+
+#
+# SSE4.2 or SSE4a popcnt instruction
+#
+Popcnt => {
+	irn_flags => "R",
+	state     => "exc_pinned",
+	reg_req   => { in => [ "gp", "gp", "none", "gp" ],
+	               out => [ "gp", "flags", "none" ] },
+	ins       => [ "base", "index", "mem", "operand" ],
+	outs      => [ "res", "flags", "M" ],
+	am        => "source,binary",
+	emit      => '. popcnt%M %unop3, %D0',
+	units     => [ "GP" ],
+	latency   => 1,
+	mode      => $mode_gp,
+	modified_flags => $status_flags
+},
+
 Call => {
 	state     => "exc_pinned",
 	reg_req   => {
@@ -1519,6 +1570,47 @@ ClimbFrame => {
 	mode      => $mode_gp
 },
 
+#
+# bswap
+#
+Bswap => {
+	irn_flags => "R",
+	reg_req   => { in => [ "gp" ],
+	               out => [ "in_r1" ] },
+	emit      => '. bswap%M %S0',
+	ins       => [ "val" ],
+	units     => [ "GP" ],
+	latency   => 1,
+	mode      => $mode_gp,
+},
+
+#
+# bswap16, use xchg here
+#
+Bswap16 => {
+	irn_flags => "R",
+	reg_req   => { in => [ "eax ebx ecx edx" ],
+	               out => [ "in_r1" ] },
+	emit      => '. xchg %SB0, %SH0',
+	ins       => [ "val" ],
+	units     => [ "GP" ],
+	latency   => 1,
+	mode      => $mode_gp,
+},
+
+#
+# BreakPoint
+#
+Breakpoint => {
+	state     => "pinned",
+	reg_req   => { in => [ "none" ], out => [ "none" ] },
+	ins       => [ "mem" ],
+	latency   => 0,
+	emit      => ". int3",
+	units     => [ "GP" ],
+	mode      => mode_M,
+},
+
 #
 # Intel style prefetching
 #