xref: /netbsd-src/sys/external/bsd/sljit/dist/doc/tutorial/branch.c (revision 99e10043c2d890154986b9f0cfb10c84949ba483)
1*99e10043Salnsn #include "sljitLir.h"
2*99e10043Salnsn 
3*99e10043Salnsn #include <stdio.h>
4*99e10043Salnsn #include <stdlib.h>
5*99e10043Salnsn 
6*99e10043Salnsn typedef long SLJIT_CALL (*func3_t)(long a, long b, long c);
7*99e10043Salnsn 
8*99e10043Salnsn /*
9*99e10043Salnsn   This example, we generate a function like this:
10*99e10043Salnsn 
11*99e10043Salnsn long func(long a, long b, long c)
12*99e10043Salnsn {
13*99e10043Salnsn 	if ((a & 1) == 0)
14*99e10043Salnsn 		return c;
15*99e10043Salnsn 	return b;
16*99e10043Salnsn }
17*99e10043Salnsn 
18*99e10043Salnsn  */
branch(long a,long b,long c)19*99e10043Salnsn static int branch(long a, long b, long c)
20*99e10043Salnsn {
21*99e10043Salnsn 	void *code;
22*99e10043Salnsn 	unsigned long len;
23*99e10043Salnsn 	func3_t func;
24*99e10043Salnsn 
25*99e10043Salnsn 	struct sljit_jump *ret_c;
26*99e10043Salnsn 	struct sljit_jump *out;
27*99e10043Salnsn 
28*99e10043Salnsn 	/* Create a SLJIT compiler */
29*99e10043Salnsn 	struct sljit_compiler *C = sljit_create_compiler();
30*99e10043Salnsn 
31*99e10043Salnsn 	/* 3 arg, 1 temp reg, 3 save reg */
32*99e10043Salnsn 	sljit_emit_enter(C, 0,  3,  1, 3, 0, 0, 0);
33*99e10043Salnsn 
34*99e10043Salnsn 	/* R0 = a & 1, S0 is argument a */
35*99e10043Salnsn 	sljit_emit_op2(C, SLJIT_AND, SLJIT_R0, 0, SLJIT_S0, 0, SLJIT_IMM, 1);
36*99e10043Salnsn 
37*99e10043Salnsn 	/* if R0 == 0 then jump to ret_c, where is ret_c? we assign it later */
38*99e10043Salnsn 	ret_c = sljit_emit_cmp(C, SLJIT_EQUAL, SLJIT_R0, 0, SLJIT_IMM, 0);
39*99e10043Salnsn 
40*99e10043Salnsn 	/* R0 = b, S1 is argument b */
41*99e10043Salnsn 	sljit_emit_op1(C, SLJIT_MOV, SLJIT_RETURN_REG, 0, SLJIT_S1, 0);
42*99e10043Salnsn 
43*99e10043Salnsn 	/* jump to out */
44*99e10043Salnsn 	out = sljit_emit_jump(C, SLJIT_JUMP);
45*99e10043Salnsn 
46*99e10043Salnsn 	/* here is the 'ret_c' should jump, we emit a label and set it to ret_c */
47*99e10043Salnsn 	sljit_set_label(ret_c, sljit_emit_label(C));
48*99e10043Salnsn 
49*99e10043Salnsn 	/* R0 = c, S2 is argument c */
50*99e10043Salnsn 	sljit_emit_op1(C, SLJIT_MOV, SLJIT_RETURN_REG, 0, SLJIT_S2, 0);
51*99e10043Salnsn 
52*99e10043Salnsn 	/* here is the 'out' should jump */
53*99e10043Salnsn 	sljit_set_label(out, sljit_emit_label(C));
54*99e10043Salnsn 
55*99e10043Salnsn 	/* end of function */
56*99e10043Salnsn 	sljit_emit_return(C, SLJIT_MOV, SLJIT_RETURN_REG, 0);
57*99e10043Salnsn 
58*99e10043Salnsn 	/* Generate machine code */
59*99e10043Salnsn 	code = sljit_generate_code(C);
60*99e10043Salnsn 	len = sljit_get_generated_code_size(C);
61*99e10043Salnsn 
62*99e10043Salnsn 	/* Execute code */
63*99e10043Salnsn 	func = (func3_t)code;
64*99e10043Salnsn 	printf("func return %ld\n", func(a, b, c));
65*99e10043Salnsn 
66*99e10043Salnsn 	/* dump_code(code, len); */
67*99e10043Salnsn 
68*99e10043Salnsn 	/* Clean up */
69*99e10043Salnsn 	sljit_free_compiler(C);
70*99e10043Salnsn 	sljit_free_code(code);
71*99e10043Salnsn 	return 0;
72*99e10043Salnsn }
73*99e10043Salnsn 
main()74*99e10043Salnsn int main()
75*99e10043Salnsn {
76*99e10043Salnsn 	return branch(4, 5, 6);
77*99e10043Salnsn }
78