- corrected SSE prefetch instructions

[r24837]

diff --git a/ir/be/ia32/ia32_spec.pl b/ir/be/ia32/ia32_spec.pl
index a4c7a72..7672d23 100644 (file)
--- a/ir/be/ia32/ia32_spec.pl
+++ b/ir/be/ia32/ia32_spec.pl
@@ -1529,7 +1529,7 @@ Prefetch0 => {
        ins       => [ "base", "index", "mem" ],
        outs      => [ "M" ],
        latency   => 0,
-       emit      => ". prefetch0 %AM",
+       emit      => ". prefetcht0 %AM",
        units     => [ "GP" ],
 },
 
@@ -1540,7 +1540,7 @@ Prefetch1 => {
        ins       => [ "base", "index", "mem" ],
        outs      => [ "M" ],
        latency   => 0,
-       emit      => ". prefetch1 %AM",
+       emit      => ". prefetcht1 %AM",
        units     => [ "GP" ],
 },
 
@@ -1551,7 +1551,7 @@ Prefetch2 => {
        ins       => [ "base", "index", "mem" ],
        outs      => [ "M" ],
        latency   => 0,
-       emit      => ". prefetch2 %AM",
+       emit      => ". prefetcht2 %AM",
        units     => [ "GP" ],
 },