Viewing file:  test-compound-assignment.c (3.73 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
#include <stdlib.h>
#include <stdio.h>
#include "libgccjit.h"
#include "harness.h"
struct assignable_struct
{
int a;
char b;
float c;
};
union assignable_union
{
int a;
char b;
float c;
};
/* Verify that compound assignment works; let's try to inject the
equivalent of:
struct assignable_struct
test_struct_assignment (struct assignable_struct x)
{
struct assignable_struct y, z;
y = x;
z = y;
return z;
}
and the same, for "union assignable_union". */
/* Make the type "struct assignable_struct" or "union assignable_union". */
static gcc_jit_type *
make_type (gcc_jit_context *ctxt, int make_union)
{
gcc_jit_type *t_int =
gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_INT);
gcc_jit_type *t_char =
gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_CHAR);
gcc_jit_type *t_float =
gcc_jit_context_get_type (ctxt, GCC_JIT_TYPE_FLOAT);
gcc_jit_field *a =
gcc_jit_context_new_field (ctxt,
NULL,
t_int,
"a");
gcc_jit_field *b =
gcc_jit_context_new_field (ctxt,
NULL,
t_char,
"b");
gcc_jit_field *c =
gcc_jit_context_new_field (ctxt,
NULL,
t_float,
"c");
gcc_jit_field *fields[] = {a, b, c};
if (make_union)
return gcc_jit_context_new_union_type (ctxt, NULL,
"assignable_union",
3, fields);
else
return gcc_jit_struct_as_type (
gcc_jit_context_new_struct_type (ctxt, NULL,
"assignable_struct",
3, fields));
}
static void
make_function (gcc_jit_context *ctxt, int make_union, const char *funcname)
{
gcc_jit_type *test_type = make_type (ctxt, make_union);
gcc_jit_param *x =
gcc_jit_context_new_param (ctxt, NULL,
test_type, "x");
gcc_jit_function *fn =
gcc_jit_context_new_function (ctxt, NULL,
GCC_JIT_FUNCTION_EXPORTED,
test_type,
funcname,
1, &x,
0);
gcc_jit_lvalue *y =
gcc_jit_function_new_local (fn, NULL, test_type, "y");
gcc_jit_lvalue *z =
gcc_jit_function_new_local (fn, NULL, test_type, "z");
gcc_jit_block *block =
gcc_jit_function_new_block (fn, NULL);
gcc_jit_block_add_assignment (block, NULL,
y, gcc_jit_param_as_rvalue (x));
gcc_jit_block_add_assignment (block, NULL,
z, gcc_jit_lvalue_as_rvalue (y));
gcc_jit_block_end_with_return (block, NULL,
gcc_jit_lvalue_as_rvalue (z));
}
void
create_code (gcc_jit_context *ctxt, void *user_data)
{
make_function (ctxt, 0, "test_struct_assignment");
make_function (ctxt, 1, "test_union_assignment");
}
static void
verify_test_struct_assignment (gcc_jit_result *result)
{
typedef struct assignable_struct (*fn_type) (struct assignable_struct);
fn_type test_struct_assignment =
(fn_type)gcc_jit_result_get_code (result, "test_struct_assignment");
CHECK_NON_NULL (test_struct_assignment);
struct assignable_struct s, t;
s.a = 500;
s.b = 'A';
s.c = 1.0;
t = test_struct_assignment (s);
CHECK_VALUE (t.a, 500);
CHECK_VALUE (t.b, 'A');
CHECK_VALUE (t.c, 1.0);
}
static void
verify_test_union_assignment (gcc_jit_result *result)
{
typedef union assignable_union (*fn_type) (union assignable_union);
fn_type test_union_assignment =
(fn_type)gcc_jit_result_get_code (result, "test_union_assignment");
CHECK_NON_NULL (test_union_assignment);
union assignable_union p, q;
p.a = 500;
q = test_union_assignment (p);
CHECK_VALUE (q.a, 500);
p.b = 'A';
q = test_union_assignment (p);
CHECK_VALUE (q.b, 'A');
p.c = 1.0;
q = test_union_assignment (p);
CHECK_VALUE (q.c, 1.0);
}
void
verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
{
CHECK_NON_NULL (result);
verify_test_struct_assignment (result);
verify_test_union_assignment (result);
}
|
