projects
/
libfirm
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
0738962
)
Assert that only float Cmps have unordered Projs.
author
Christoph Mallon
<christoph.mallon@gmx.de>
Thu, 20 Dec 2007 08:24:42 +0000
(08:24 +0000)
committer
Christoph Mallon
<christoph.mallon@gmx.de>
Thu, 20 Dec 2007 08:24:42 +0000
(08:24 +0000)
[r17028]
ir/ir/irvrfy.c
patch
|
blob
|
history
diff --git
a/ir/ir/irvrfy.c
b/ir/ir/irvrfy.c
index
f674c15
..
e6cc632
100644
(file)
--- a/
ir/ir/irvrfy.c
+++ b/
ir/ir/irvrfy.c
@@
-545,6
+545,11
@@
static int verify_node_Proj_Cmp(ir_node *n, ir_node *p) {
"wrong Proj from Cmp", 0,
show_proj_failure(p);
);
"wrong Proj from Cmp", 0,
show_proj_failure(p);
);
+ ASSERT_AND_RET_DBG(
+ (mode_is_float(get_irn_mode(get_Cmp_left(n))) || !(proj & pn_Cmp_Uo)),
+ "unordered Proj for non-float Cmp", 0,
+ show_proj_failure(p);
+ );
return 1;
}
return 1;
}