bcj_test.c File Reference

Source code of compress_prepared_bcj_*. More...

Go to the source code of this file.

Functions
int	jump (int a, int b)
int	call (int a, int b)
int	main (int argc, char **argv)

Detailed Description

Source code of compress_prepared_bcj_*.

This is a simple program that should make the compiler to generate PC-relative branches, jumps, and calls. The compiled files can then be used to test the branch conversion filters. Note that this program itself does nothing useful.

Compiling: gcc -std=c99 -fPIC -c bcj_test.c Don't optimize or strip.

Definition in file bcj_test.c.

Function Documentation

call()

int call	(	int	a,
		int	b
	)

Definition at line 25 of file bcj_test.c.

{
    if (a < b)
        a = jump(a, b);
 
    return a;
}

References a, b, and jump().

Referenced by disasm_strings(), ds_init(), esil_call(), main(), retpoline_reg(), rz_analysis_basic_block_list_handler(), and rz_print_analysis_details_handler().

jump()

int jump	(	int	a,
		int	b
	)

Definition at line 35 of file bcj_test.c.

{
    // The loop generates conditional jump backwards.
    while (1) {
        if (a < b) {
            a *= 2;
            a += 3 * b;
            break;
        } else {
            // Put enough code here to prevent JMP SHORT on x86.
            a += b;
            a /= 2;
            b += b % 5;
            a -= b / 3;
            b = 2 * b + a - 1;
            a *= b + a + 1;
            b += a - 1;
            a += b * 2 - a / 5;
        }
    }
 
    return a;
}

References a, and b.

Referenced by analop_esil(), arcompact_jump(), arcompact_jump_cond(), call(), INST_HANDLER(), java_disassemble(), print_loop(), rz_analysis_basic_block_list_handler(), rz_analysis_case_op_new(), rz_analysis_fcn_add_bb(), rz_analysis_function_blocks_add_handler(), rz_analysis_hint_set_jump(), rz_analysis_hint_set_jump_handler(), rz_analysis_switch_op_add_case(), rz_serialize_analysis_switch_op_load(), and set_bb_branches().

main()

int main	(	int	argc,
		char **	argv
	)

Definition at line 61 of file bcj_test.c.

{
    int a = call(argc, argc + 1);
    return a == 0;
}

References a, and call().