mark ebp output of leave as ignore

[r23186]

diff --git a/ir/be/ia32/ia32_spec.pl b/ir/be/ia32/ia32_spec.pl
index 61b6b40..192ebfe 100644 (file)
--- a/ir/be/ia32/ia32_spec.pl
+++ b/ir/be/ia32/ia32_spec.pl
@@ -1400,7 +1400,7 @@ Enter => {
 },
 
 Leave => {
-       reg_req   => { in => [ "ebp" ], out => [ "ebp", "esp:I|S" ] },
+       reg_req   => { in => [ "ebp" ], out => [ "ebp:I", "esp:I|S" ] },
        emit      => '. leave',
        outs      => [ "frame", "stack" ],
        latency   => 3,