mirror of
https://github.com/corda/corda.git
synced 2025-01-05 20:54:13 +00:00
add type assert in f2i & i2f
This commit is contained in:
parent
c843a97e23
commit
c9313d5802
@ -2709,8 +2709,7 @@ class MyCompiler: public Compiler {
|
||||
|
||||
virtual ir::Value* f2i(ir::Type aType, ir::Type resType, ir::Value* a)
|
||||
{
|
||||
// TODO: enable when possible
|
||||
// assert(&c, aType == a->type);
|
||||
assert(&c, aType == a->type);
|
||||
assert(&c, isFloatValue(a));
|
||||
assert(&c, resType.flavor() != ir::Type::Float);
|
||||
assert(&c, aType.flavor() == ir::Type::Float);
|
||||
@ -2726,8 +2725,7 @@ class MyCompiler: public Compiler {
|
||||
|
||||
virtual ir::Value* i2f(ir::Type aType, ir::Type resType, ir::Value* a)
|
||||
{
|
||||
// TODO: enable when possible
|
||||
// assert(&c, aType == a->type);
|
||||
assert(&c, aType == a->type);
|
||||
assert(&c, isGeneralValue(a));
|
||||
assert(&c, resType.flavor() == ir::Type::Float);
|
||||
assert(&c, aType.flavor() != ir::Type::Float);
|
||||
|
Loading…
Reference in New Issue
Block a user