annotate gcc/jit/docs/examples/tut03-sum-of-squares.cc @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children 1830386684a0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* Usage example for libgccjit.so's C++ API
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
2 Copyright (C) 2014-2018 Free Software Foundation, Inc.
111
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 This file is part of GCC.
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 GCC is free software; you can redistribute it and/or modify it
kono
parents:
diff changeset
7 under the terms of the GNU General Public License as published by
kono
parents:
diff changeset
8 the Free Software Foundation; either version 3, or (at your option)
kono
parents:
diff changeset
9 any later version.
kono
parents:
diff changeset
10
kono
parents:
diff changeset
11 GCC is distributed in the hope that it will be useful, but
kono
parents:
diff changeset
12 WITHOUT ANY WARRANTY; without even the implied warranty of
kono
parents:
diff changeset
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
kono
parents:
diff changeset
14 General Public License for more details.
kono
parents:
diff changeset
15
kono
parents:
diff changeset
16 You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
17 along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
18 <http://www.gnu.org/licenses/>. */
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 #include <libgccjit++.h>
kono
parents:
diff changeset
21
kono
parents:
diff changeset
22 #include <stdlib.h>
kono
parents:
diff changeset
23 #include <stdio.h>
kono
parents:
diff changeset
24
kono
parents:
diff changeset
25 void
kono
parents:
diff changeset
26 create_code (gccjit::context ctxt)
kono
parents:
diff changeset
27 {
kono
parents:
diff changeset
28 /*
kono
parents:
diff changeset
29 Simple sum-of-squares, to test conditionals and looping
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 int loop_test (int n)
kono
parents:
diff changeset
32 {
kono
parents:
diff changeset
33 int i;
kono
parents:
diff changeset
34 int sum = 0;
kono
parents:
diff changeset
35 for (i = 0; i < n ; i ++)
kono
parents:
diff changeset
36 {
kono
parents:
diff changeset
37 sum += i * i;
kono
parents:
diff changeset
38 }
kono
parents:
diff changeset
39 return sum;
kono
parents:
diff changeset
40 */
kono
parents:
diff changeset
41 gccjit::type the_type = ctxt.get_int_type <int> ();
kono
parents:
diff changeset
42 gccjit::type return_type = the_type;
kono
parents:
diff changeset
43
kono
parents:
diff changeset
44 gccjit::param n = ctxt.new_param (the_type, "n");
kono
parents:
diff changeset
45 std::vector<gccjit::param> params;
kono
parents:
diff changeset
46 params.push_back (n);
kono
parents:
diff changeset
47 gccjit::function func =
kono
parents:
diff changeset
48 ctxt.new_function (GCC_JIT_FUNCTION_EXPORTED,
kono
parents:
diff changeset
49 return_type,
kono
parents:
diff changeset
50 "loop_test",
kono
parents:
diff changeset
51 params, 0);
kono
parents:
diff changeset
52
kono
parents:
diff changeset
53 /* Build locals: */
kono
parents:
diff changeset
54 gccjit::lvalue i = func.new_local (the_type, "i");
kono
parents:
diff changeset
55 gccjit::lvalue sum = func.new_local (the_type, "sum");
kono
parents:
diff changeset
56
kono
parents:
diff changeset
57 gccjit::block b_initial = func.new_block ("initial");
kono
parents:
diff changeset
58 gccjit::block b_loop_cond = func.new_block ("loop_cond");
kono
parents:
diff changeset
59 gccjit::block b_loop_body = func.new_block ("loop_body");
kono
parents:
diff changeset
60 gccjit::block b_after_loop = func.new_block ("after_loop");
kono
parents:
diff changeset
61
kono
parents:
diff changeset
62 /* sum = 0; */
kono
parents:
diff changeset
63 b_initial.add_assignment (sum, ctxt.zero (the_type));
kono
parents:
diff changeset
64
kono
parents:
diff changeset
65 /* i = 0; */
kono
parents:
diff changeset
66 b_initial.add_assignment (i, ctxt.zero (the_type));
kono
parents:
diff changeset
67
kono
parents:
diff changeset
68 b_initial.end_with_jump (b_loop_cond);
kono
parents:
diff changeset
69
kono
parents:
diff changeset
70 /* if (i >= n) */
kono
parents:
diff changeset
71 b_loop_cond.end_with_conditional (
kono
parents:
diff changeset
72 i >= n,
kono
parents:
diff changeset
73 b_after_loop,
kono
parents:
diff changeset
74 b_loop_body);
kono
parents:
diff changeset
75
kono
parents:
diff changeset
76 /* sum += i * i */
kono
parents:
diff changeset
77 b_loop_body.add_assignment_op (sum,
kono
parents:
diff changeset
78 GCC_JIT_BINARY_OP_PLUS,
kono
parents:
diff changeset
79 i * i);
kono
parents:
diff changeset
80
kono
parents:
diff changeset
81 /* i++ */
kono
parents:
diff changeset
82 b_loop_body.add_assignment_op (i,
kono
parents:
diff changeset
83 GCC_JIT_BINARY_OP_PLUS,
kono
parents:
diff changeset
84 ctxt.one (the_type));
kono
parents:
diff changeset
85
kono
parents:
diff changeset
86 b_loop_body.end_with_jump (b_loop_cond);
kono
parents:
diff changeset
87
kono
parents:
diff changeset
88 /* return sum */
kono
parents:
diff changeset
89 b_after_loop.end_with_return (sum);
kono
parents:
diff changeset
90 }
kono
parents:
diff changeset
91
kono
parents:
diff changeset
92 int
kono
parents:
diff changeset
93 main (int argc, char **argv)
kono
parents:
diff changeset
94 {
kono
parents:
diff changeset
95 gccjit::context ctxt;
kono
parents:
diff changeset
96 gcc_jit_result *result = NULL;
kono
parents:
diff changeset
97
kono
parents:
diff changeset
98 /* Get a "context" object for working with the library. */
kono
parents:
diff changeset
99 ctxt = gccjit::context::acquire ();
kono
parents:
diff changeset
100
kono
parents:
diff changeset
101 /* Set some options on the context.
kono
parents:
diff changeset
102 Turn this on to see the code being generated, in assembler form. */
kono
parents:
diff changeset
103 ctxt.set_bool_option (GCC_JIT_BOOL_OPTION_DUMP_GENERATED_CODE,
kono
parents:
diff changeset
104 0);
kono
parents:
diff changeset
105
kono
parents:
diff changeset
106 /* Populate the context. */
kono
parents:
diff changeset
107 create_code (ctxt);
kono
parents:
diff changeset
108
kono
parents:
diff changeset
109 /* Compile the code. */
kono
parents:
diff changeset
110 result = ctxt.compile ();
kono
parents:
diff changeset
111
kono
parents:
diff changeset
112 ctxt.release ();
kono
parents:
diff changeset
113
kono
parents:
diff changeset
114 if (!result)
kono
parents:
diff changeset
115 {
kono
parents:
diff changeset
116 fprintf (stderr, "NULL result");
kono
parents:
diff changeset
117 return 1;
kono
parents:
diff changeset
118 }
kono
parents:
diff changeset
119
kono
parents:
diff changeset
120 /* Extract the generated code from "result". */
kono
parents:
diff changeset
121 typedef int (*loop_test_fn_type) (int);
kono
parents:
diff changeset
122 loop_test_fn_type loop_test =
kono
parents:
diff changeset
123 (loop_test_fn_type)gcc_jit_result_get_code (result, "loop_test");
kono
parents:
diff changeset
124 if (!loop_test)
kono
parents:
diff changeset
125 {
kono
parents:
diff changeset
126 fprintf (stderr, "NULL loop_test");
kono
parents:
diff changeset
127 gcc_jit_result_release (result);
kono
parents:
diff changeset
128 return 1;
kono
parents:
diff changeset
129 }
kono
parents:
diff changeset
130
kono
parents:
diff changeset
131 /* Run the generated code. */
kono
parents:
diff changeset
132 int val = loop_test (10);
kono
parents:
diff changeset
133 printf("loop_test returned: %d\n", val);
kono
parents:
diff changeset
134
kono
parents:
diff changeset
135 gcc_jit_result_release (result);
kono
parents:
diff changeset
136 return 0;
kono
parents:
diff changeset
137 }