Crash in ia32 floating point code emitter.

[r14835]

diff --git a/ir/be/test/fehler29.c b/ir/be/test/fehler29.c
new file mode 100644 (file)
index 0000000..8d0e608
--- /dev/null
+++ b/ir/be/test/fehler29.c
@@ -0,0 +1,12 @@
+/* Crash in ia32 floating point code emitter */
+
+int f(float x)
+{
+       return x != -1;
+}
+
+
+int main(void)
+{
+       return 0;
+}