theory_bool.c File Reference

#include <rz_il/rz_il_opcodes.h>
#include <rz_il/rz_il_vm.h>

Go to the source code of this file.

Functions
void *	rz_il_handler_bool_false (RzILVM *vm, RzILOpBool *op, RzILTypePure *type)
	also known as b0 More...
void *	rz_il_handler_bool_true (RzILVM *vm, RzILOpBool *op, RzILTypePure *type)
	also known as b1 More...
void *	rz_il_handler_bool_and (RzILVM *vm, RzILOpBool *op, RzILTypePure *type)
void *	rz_il_handler_bool_or (RzILVM *vm, RzILOpBool *op, RzILTypePure *type)
void *	rz_il_handler_bool_xor (RzILVM *vm, RzILOpBool *op, RzILTypePure *type)
void *	rz_il_handler_bool_inv (RzILVM *vm, RzILOpBool *op, RzILTypePure *type)
	also known as boolean not More...

Function Documentation

rz_il_handler_bool_and()

void* rz_il_handler_bool_and	(	RzILVM *	vm,
		RzILOpBool *	op,
		RzILTypePure *	type
	)

Definition at line 29 of file theory_bool.c.

                                                                             {
    rz_return_val_if_fail(vm && op && type, NULL);
 
    RzILOpArgsBoolAnd *op_and = &op->op.booland;
    RzILBool *x = rz_il_evaluate_bool(vm, op_and->x);
    RzILBool *y = rz_il_evaluate_bool(vm, op_and->y);
 
    RzILBool *result = x && y ? rz_il_bool_and(x, y) : NULL;
    rz_il_bool_free(x);
    rz_il_bool_free(y);
 
    *type = RZ_IL_TYPE_PURE_BOOL;
    return result;
}

References NULL, rz_il_bool_and(), rz_il_bool_free(), rz_il_evaluate_bool(), RZ_IL_TYPE_PURE_BOOL, rz_return_val_if_fail, type, x, rz_il_op_args_bool_operation_t::x, and rz_il_op_args_bool_operation_t::y.

rz_il_handler_bool_false()

void* rz_il_handler_bool_false	(	RzILVM *	vm,
		RzILOpBool *	op,
		RzILTypePure *	type
	)

also known as b0

Definition at line 10 of file theory_bool.c.

                                                                               {
    rz_return_val_if_fail(vm && op && type, NULL);
 
    RzILBool *ret = rz_il_bool_new(false);
    *type = RZ_IL_TYPE_PURE_BOOL;
    return ret;
}

References NULL, rz_il_bool_new(), RZ_IL_TYPE_PURE_BOOL, rz_return_val_if_fail, and type.

rz_il_handler_bool_inv()

void* rz_il_handler_bool_inv	(	RzILVM *	vm,
		RzILOpBool *	op,
		RzILTypePure *	type
	)

also known as boolean not

Definition at line 77 of file theory_bool.c.

                                                                             {
    rz_return_val_if_fail(vm && op && type, NULL);
 
    RzILOpArgsBoolInv *op_inv = &op->op.boolinv;
    RzILBool *x = rz_il_evaluate_bool(vm, op_inv->x);
    RzILBool *result = x ? rz_il_bool_not(x) : NULL;
    rz_il_bool_free(x);
 
    *type = RZ_IL_TYPE_PURE_BOOL;
    return result;
}

References NULL, rz_il_bool_free(), rz_il_bool_not(), rz_il_evaluate_bool(), RZ_IL_TYPE_PURE_BOOL, rz_return_val_if_fail, type, x, and rz_il_op_args_bool_inv_t::x.

rz_il_handler_bool_or()

void* rz_il_handler_bool_or	(	RzILVM *	vm,
		RzILOpBool *	op,
		RzILTypePure *	type
	)

Definition at line 44 of file theory_bool.c.

                                                                            {
    rz_return_val_if_fail(vm && op && type, NULL);
 
    RzILOpArgsBoolOr *op_or = &op->op.boolor;
    RzILBool *x = rz_il_evaluate_bool(vm, op_or->x);
    RzILBool *y = rz_il_evaluate_bool(vm, op_or->y);
 
    RzILBool *result = x && y ? rz_il_bool_or(x, y) : NULL;
    rz_il_bool_free(x);
    rz_il_bool_free(y);
 
    *type = RZ_IL_TYPE_PURE_BOOL;
    return result;
}

References NULL, rz_il_bool_free(), rz_il_bool_or(), rz_il_evaluate_bool(), RZ_IL_TYPE_PURE_BOOL, rz_return_val_if_fail, type, x, rz_il_op_args_bool_operation_t::x, and rz_il_op_args_bool_operation_t::y.

rz_il_handler_bool_true()

void* rz_il_handler_bool_true	(	RzILVM *	vm,
		RzILOpBool *	op,
		RzILTypePure *	type
	)

also known as b1

Definition at line 21 of file theory_bool.c.

                                                                              {
    rz_return_val_if_fail(vm && op && type, NULL);
 
    RzILBool *ret = rz_il_bool_new(true);
    *type = RZ_IL_TYPE_PURE_BOOL;
    return ret;
}

References NULL, rz_il_bool_new(), RZ_IL_TYPE_PURE_BOOL, rz_return_val_if_fail, and type.

rz_il_handler_bool_xor()

void* rz_il_handler_bool_xor	(	RzILVM *	vm,
		RzILOpBool *	op,
		RzILTypePure *	type
	)

Definition at line 59 of file theory_bool.c.

                                                                             {
    rz_return_val_if_fail(vm && op && type, NULL);
 
    RzILOpArgsBoolXor *op_xor = &op->op.boolxor;
    RzILBool *x = rz_il_evaluate_bool(vm, op_xor->x);
    RzILBool *y = rz_il_evaluate_bool(vm, op_xor->y);
 
    RzILBool *result = x && y ? rz_il_bool_xor(x, y) : NULL;
    rz_il_bool_free(x);
    rz_il_bool_free(y);
 
    *type = RZ_IL_TYPE_PURE_BOOL;
    return result;
}

References NULL, rz_il_bool_free(), rz_il_bool_xor(), rz_il_evaluate_bool(), RZ_IL_TYPE_PURE_BOOL, rz_return_val_if_fail, type, x, rz_il_op_args_bool_operation_t::x, and rz_il_op_args_bool_operation_t::y.