vmdevirt/src/lifters/nand.cpp

#include <vm_lifters.hpp>

namespace vm
{
    vm::llvm_value_t *lifters_t::and_flags( vm::vmp_rtn_t *rtn, std::uint8_t byte_size, vm::llvm_value_t *lhs,
                                            vm::llvm_value_t *rhs )
    {
        auto t0 = rtn->ir_builder->CreateAnd( lhs, rhs );
        auto cf = llvm::ConstantInt::get( llvm::IntegerType::get( *rtn->llvm_ctx, byte_size * 8 ), 0 );
        auto of = llvm::ConstantInt::get( llvm::IntegerType::get( *rtn->llvm_ctx, byte_size * 8 ), 0 );

        auto sf = rtn->compute_sf( byte_size, t0 );
        auto zf = rtn->compute_zf( byte_size, t0 );
        auto pf = rtn->compute_pf( byte_size, t0 );

        return rtn->combine_flags( cf, pf, llvm::ConstantInt::get( llvm::IntegerType::get( *rtn->llvm_ctx, 64 ), 0 ),
                                   zf, sf, of );
    }

    lifters_t::lifter_callback_t lifters_t::nandq =
        [ & ]( vm::vmp_rtn_t *rtn, const vm::instrs::code_block_t &vm_code_block,
               const vm::instrs::virt_instr_t &vinstr, llvm::IRBuilder<> *ir_builder ) {
            auto t1 = rtn->pop( 8 );
            auto t2 = rtn->pop( 8 );

            auto t1_not = ir_builder->CreateNot( t1 );
            auto t2_not = ir_builder->CreateNot( t2 );

            auto t3 = ir_builder->CreateAnd( { t1_not, t2_not } );
            rtn->push( 8, t3 );

            auto flags = and_flags( rtn, 8, t1, t2 );
            ir_builder->CreateStore( flags, rtn->flags );
            rtn->push( 8, rtn->load_value( 8, rtn->flags ) );
        };

    lifters_t::lifter_callback_t lifters_t::nanddw =
        [ & ]( vm::vmp_rtn_t *rtn, const vm::instrs::code_block_t &vm_code_block,
               const vm::instrs::virt_instr_t &vinstr, llvm::IRBuilder<> *ir_builder ) {
            auto t1 = rtn->pop( 4 );
            auto t2 = rtn->pop( 4 );

            auto t1_not = ir_builder->CreateNot( t1 );
            auto t2_not = ir_builder->CreateNot( t2 );

            auto t3 = ir_builder->CreateAnd( { t1_not, t2_not } );
            rtn->push( 4, t3 );

            // TODO: fix code for and_flags... setting byte value to anything
            // other than 8 causes asserts to fire due to different types...
            //
            // auto flags = and_flags( rtn, 4, t1, t2 );
            // ir_builder->CreateStore( flags, rtn->flags );
            rtn->push( 8, rtn->load_value( 8, rtn->flags ) );
        };
} // namespace vm