ExternalVendorCode/corda
1
0
Fork 0
mirror of https://github.com/corda/corda.git synced 2025-01-07 05:28:51 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

add type asserts in Compiler::truncate

Browse Source
This commit is contained in:
Joshua Warner 2014-05-03 20:02:29 -06:00 committed by Joshua Warner
parent b853f1a594
commit 3029bb2d7e
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/codegen/compiler.cpp
View File

@ -2562,6 +2562,10 @@ class MyCompiler: public Compiler {
virtual ir::Value* truncate(ir::Type type, ir::Type srcType, ir::Value* src) virtual ir::Value* truncate(ir::Type type, ir::Type srcType, ir::Value* src)
{ {
assert(&c, srcType == src->type);
assert(&c, src->type.flavor() == type.flavor());
assert(&c, type.flavor() != ir::Type::Float);
assert(&c, type.size() < src->type.size());
Value* dst = value(&c, type); Value* dst = value(&c, type);
appendMove(&c, appendMove(&c,
lir::Move, lir::Move,