denuvo-ref/VTIL-Core
1
0
Fork 0
mirror of https://github.com/vtil-project/VTIL-Core synced 2026-08-17 08:23:03 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #67 from wallds/DCE-fix

Browse source 
Revert #60, fix testcase.
This commit is contained in:
Duncan Ogilvie 2022-01-26 11:30:17 +01:00 • committed by GitHub
commit 11149d7a97
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 10 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

2
VTIL-Compiler/common/auxiliaries.cpp
View file

@ -137,7 +137,7 @@ namespace vtil::optimizer::aux
symbolic::expression exp =
local_var.mem().decay()
- local_var.at.block->sp_offset
+ rel_ptr( symbolic::variable{ it.block->begin(), REG_SP } )
+ symbolic::variable{ it.block->begin(), REG_SP }.to_expression()
- symbolic::variable{ local_var.at.block->begin(), REG_SP }.to_expression();
local_var = symbolic::variable{ it.block->begin(), { symbolic::pointer{ exp }, local_var.mem().bit_count } };
}

19
VTIL-Tests/dummy.cpp
View file

@ -419,9 +419,9 @@ DOCTEST_TEST_CASE("Optimization dead_code_elimination_pass")
{
// push eax
block1->push( reg_eax );
block1->push( reg_eax ); // used in block3
// push ebx
block1->push( reg_ebx );
block1->push( reg_ebx ); // Not used, DCE me
// ecx = ecx == 0xAABB
block1->te( reg_ecx, reg_ecx, (uintptr_t)0xAABB );
// js ecx ? 0x2000, 0x3000
@ -430,8 +430,8 @@ DOCTEST_TEST_CASE("Optimization dead_code_elimination_pass")
auto block2 = block1->fork( 0x2000 );
{
// sp -= 0x10
block2->shift_sp( 0x10 );
// sp += 0x10
block2->shift_sp( vtil::arch::size*2 );
// mov eax, 0
block2->add( reg_eax, (uintptr_t)1 ); // need this to contains [shift_sp]
// vexit 0
@ -440,10 +440,10 @@ DOCTEST_TEST_CASE("Optimization dead_code_elimination_pass")
auto block3 = block1->fork( 0x3000 );
{
// mov eax, [esp - 8]
block3->ldd( reg_eax, vtil::REG_SP, -8 );
// sp -= 0x10
block3->shift_sp( 0x10 );
// mov rax, [esp + 8]
block3->ldd( reg_eax, vtil::REG_SP, block3->sp_offset + vtil::arch::size); // restore rax from stack
// sp += 0x10
block3->shift_sp( vtil::arch::size*2 );
// add eax, 1
block3->add( reg_eax, (uintptr_t)1 ); // need this to contains [shift_sp]
// vexit 0
@ -459,8 +459,7 @@ DOCTEST_TEST_CASE("Optimization dead_code_elimination_pass")
vtil::logger::log( ":: After:\n" );
vtil::debug::dump( block1->owner );
// Cant optimize the block1 (strq) because we use it in block3
CHECK( block1->size() == 4 );
CHECK( block1->size() == 3 );
}
}