projects
/
libfirm
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7a4389d
)
verifier: Check that Div has a num mode, not a data mode.
author
Christoph Mallon
<christoph.mallon@gmx.de>
Thu, 22 Nov 2012 16:47:59 +0000
(17:47 +0100)
committer
Christoph Mallon
<christoph.mallon@gmx.de>
Thu, 22 Nov 2012 16:47:59 +0000
(17:47 +0100)
ir/ir/irverify.c
patch
|
blob
|
history
diff --git
a/ir/ir/irverify.c
b/ir/ir/irverify.c
index
50f50f2
..
06c7c5c
100644
(file)
--- a/
ir/ir/irverify.c
+++ b/
ir/ir/irverify.c
@@
-1214,10
+1214,10
@@
static int verify_node_Div(const ir_node *n)
ir_mode *op3mode = get_irn_mode(get_Div_right(n));
ASSERT_AND_RET(
- /* Div: BB x M x
data x data --> M x X x data
*/
+ /* Div: BB x M x
num x num --> M x X x num
*/
op1mode == mode_M &&
op2mode == op3mode &&
- mode_is_
data
(op2mode) &&
+ mode_is_
num
(op2mode) &&
mymode == mode_T,
"Div node", 0
);