1 /* SPDX-License-Identifier: MIT
3 * lttng-filter-specialize.c
5 * LTTng modules filter code specializer.
7 * Copyright (C) 2010-2016 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
10 #include <linux/slab.h>
11 #include <lttng-filter.h>
12 #include "lib/align.h"
14 #include <wrapper/compiler_attributes.h>
16 static ssize_t
bytecode_reserve_data(struct bytecode_runtime
*runtime
,
17 size_t align
, size_t len
)
20 size_t padding
= offset_align(runtime
->data_len
, align
);
21 size_t new_len
= runtime
->data_len
+ padding
+ len
;
22 size_t new_alloc_len
= new_len
;
23 size_t old_alloc_len
= runtime
->data_alloc_len
;
25 if (new_len
> FILTER_MAX_DATA_LEN
)
28 if (new_alloc_len
> old_alloc_len
) {
32 max_t(size_t, 1U << get_count_order(new_alloc_len
), old_alloc_len
<< 1);
33 newptr
= krealloc(runtime
->data
, new_alloc_len
, GFP_KERNEL
);
36 runtime
->data
= newptr
;
37 /* We zero directly the memory from start of allocation. */
38 memset(&runtime
->data
[old_alloc_len
], 0, new_alloc_len
- old_alloc_len
);
39 runtime
->data_alloc_len
= new_alloc_len
;
41 runtime
->data_len
+= padding
;
42 ret
= runtime
->data_len
;
43 runtime
->data_len
+= len
;
47 static ssize_t
bytecode_push_data(struct bytecode_runtime
*runtime
,
48 const void *p
, size_t align
, size_t len
)
52 offset
= bytecode_reserve_data(runtime
, align
, len
);
55 memcpy(&runtime
->data
[offset
], p
, len
);
59 static int specialize_load_field(struct vstack_entry
*stack_top
,
64 switch (stack_top
->load
.type
) {
67 case LOAD_ROOT_CONTEXT
:
68 case LOAD_ROOT_APP_CONTEXT
:
69 case LOAD_ROOT_PAYLOAD
:
71 dbg_printk("Filter warning: cannot load root, missing field name.\n");
75 switch (stack_top
->load
.object_type
) {
77 dbg_printk("op load field s8\n");
78 stack_top
->type
= REG_S64
;
79 if (!stack_top
->load
.rev_bo
)
80 insn
->op
= FILTER_OP_LOAD_FIELD_S8
;
83 dbg_printk("op load field s16\n");
84 stack_top
->type
= REG_S64
;
85 if (!stack_top
->load
.rev_bo
)
86 insn
->op
= FILTER_OP_LOAD_FIELD_S16
;
89 dbg_printk("op load field s32\n");
90 stack_top
->type
= REG_S64
;
91 if (!stack_top
->load
.rev_bo
)
92 insn
->op
= FILTER_OP_LOAD_FIELD_S32
;
95 dbg_printk("op load field s64\n");
96 stack_top
->type
= REG_S64
;
97 if (!stack_top
->load
.rev_bo
)
98 insn
->op
= FILTER_OP_LOAD_FIELD_S64
;
101 dbg_printk("op load field u8\n");
102 stack_top
->type
= REG_S64
;
103 insn
->op
= FILTER_OP_LOAD_FIELD_U8
;
105 case OBJECT_TYPE_U16
:
106 dbg_printk("op load field u16\n");
107 stack_top
->type
= REG_S64
;
108 if (!stack_top
->load
.rev_bo
)
109 insn
->op
= FILTER_OP_LOAD_FIELD_U16
;
111 case OBJECT_TYPE_U32
:
112 dbg_printk("op load field u32\n");
113 stack_top
->type
= REG_S64
;
114 if (!stack_top
->load
.rev_bo
)
115 insn
->op
= FILTER_OP_LOAD_FIELD_U32
;
117 case OBJECT_TYPE_U64
:
118 dbg_printk("op load field u64\n");
119 stack_top
->type
= REG_S64
;
120 if (!stack_top
->load
.rev_bo
)
121 insn
->op
= FILTER_OP_LOAD_FIELD_U64
;
123 case OBJECT_TYPE_DOUBLE
:
124 printk(KERN_WARNING
"Double type unsupported\n\n");
127 case OBJECT_TYPE_STRING
:
128 dbg_printk("op load field string\n");
129 stack_top
->type
= REG_STRING
;
130 insn
->op
= FILTER_OP_LOAD_FIELD_STRING
;
132 case OBJECT_TYPE_STRING_SEQUENCE
:
133 dbg_printk("op load field string sequence\n");
134 stack_top
->type
= REG_STRING
;
135 insn
->op
= FILTER_OP_LOAD_FIELD_SEQUENCE
;
137 case OBJECT_TYPE_DYNAMIC
:
140 case OBJECT_TYPE_SEQUENCE
:
141 case OBJECT_TYPE_ARRAY
:
142 case OBJECT_TYPE_STRUCT
:
143 case OBJECT_TYPE_VARIANT
:
144 printk(KERN_WARNING
"Sequences, arrays, struct and variant cannot be loaded (nested types).\n");
154 static int specialize_get_index_object_type(enum object_type
*otype
,
155 int signedness
, uint32_t elem_len
)
160 *otype
= OBJECT_TYPE_S8
;
162 *otype
= OBJECT_TYPE_U8
;
166 *otype
= OBJECT_TYPE_S16
;
168 *otype
= OBJECT_TYPE_U16
;
172 *otype
= OBJECT_TYPE_S32
;
174 *otype
= OBJECT_TYPE_U32
;
178 *otype
= OBJECT_TYPE_S64
;
180 *otype
= OBJECT_TYPE_U64
;
188 static int specialize_get_index(struct bytecode_runtime
*runtime
,
189 struct load_op
*insn
, uint64_t index
,
190 struct vstack_entry
*stack_top
,
194 struct filter_get_index_data gid
;
197 memset(&gid
, 0, sizeof(gid
));
198 switch (stack_top
->load
.type
) {
200 switch (stack_top
->load
.object_type
) {
201 case OBJECT_TYPE_ARRAY
:
203 const struct lttng_event_field
*field
;
204 uint32_t elem_len
, num_elems
;
207 field
= stack_top
->load
.field
;
208 elem_len
= field
->type
.u
.array
.elem_type
.u
.basic
.integer
.size
;
209 signedness
= field
->type
.u
.array
.elem_type
.u
.basic
.integer
.signedness
;
210 num_elems
= field
->type
.u
.array
.length
;
211 if (index
>= num_elems
) {
215 ret
= specialize_get_index_object_type(&stack_top
->load
.object_type
,
216 signedness
, elem_len
);
219 gid
.offset
= index
* (elem_len
/ CHAR_BIT
);
220 gid
.array_len
= num_elems
* (elem_len
/ CHAR_BIT
);
221 gid
.elem
.type
= stack_top
->load
.object_type
;
222 gid
.elem
.len
= elem_len
;
223 if (field
->type
.u
.array
.elem_type
.u
.basic
.integer
.reverse_byte_order
)
224 gid
.elem
.rev_bo
= true;
225 stack_top
->load
.rev_bo
= gid
.elem
.rev_bo
;
228 case OBJECT_TYPE_SEQUENCE
:
230 const struct lttng_event_field
*field
;
234 field
= stack_top
->load
.field
;
235 elem_len
= field
->type
.u
.sequence
.elem_type
.u
.basic
.integer
.size
;
236 signedness
= field
->type
.u
.sequence
.elem_type
.u
.basic
.integer
.signedness
;
237 ret
= specialize_get_index_object_type(&stack_top
->load
.object_type
,
238 signedness
, elem_len
);
241 gid
.offset
= index
* (elem_len
/ CHAR_BIT
);
242 gid
.elem
.type
= stack_top
->load
.object_type
;
243 gid
.elem
.len
= elem_len
;
244 if (field
->type
.u
.sequence
.elem_type
.u
.basic
.integer
.reverse_byte_order
)
245 gid
.elem
.rev_bo
= true;
246 stack_top
->load
.rev_bo
= gid
.elem
.rev_bo
;
249 case OBJECT_TYPE_STRUCT
:
250 /* Only generated by the specialize phase. */
251 case OBJECT_TYPE_VARIANT
:
254 printk(KERN_WARNING
"Unexpected get index type %d",
255 (int) stack_top
->load
.object_type
);
260 case LOAD_ROOT_CONTEXT
:
261 case LOAD_ROOT_APP_CONTEXT
:
262 case LOAD_ROOT_PAYLOAD
:
263 printk(KERN_WARNING
"Index lookup for root field not implemented yet.\n");
267 data_offset
= bytecode_push_data(runtime
, &gid
,
268 __alignof__(gid
), sizeof(gid
));
269 if (data_offset
< 0) {
275 ((struct get_index_u16
*) insn
->data
)->index
= data_offset
;
278 ((struct get_index_u64
*) insn
->data
)->index
= data_offset
;
291 static int specialize_context_lookup_name(struct bytecode_runtime
*bytecode
,
292 struct load_op
*insn
)
297 offset
= ((struct get_symbol
*) insn
->data
)->offset
;
298 name
= bytecode
->p
.bc
->bc
.data
+ bytecode
->p
.bc
->bc
.reloc_offset
+ offset
;
299 return lttng_get_context_index(lttng_static_ctx
, name
);
302 static int specialize_load_object(const struct lttng_event_field
*field
,
303 struct vstack_load
*load
, bool is_context
)
305 load
->type
= LOAD_OBJECT
;
307 * LTTng-UST layout all integer fields as s64 on the stack for the filter.
309 switch (field
->type
.atype
) {
311 if (field
->type
.u
.basic
.integer
.signedness
)
312 load
->object_type
= OBJECT_TYPE_S64
;
314 load
->object_type
= OBJECT_TYPE_U64
;
315 load
->rev_bo
= false;
319 const struct lttng_integer_type
*itype
=
320 &field
->type
.u
.basic
.enumeration
.container_type
;
322 if (itype
->signedness
)
323 load
->object_type
= OBJECT_TYPE_S64
;
325 load
->object_type
= OBJECT_TYPE_U64
;
326 load
->rev_bo
= false;
330 if (field
->type
.u
.array
.elem_type
.atype
!= atype_integer
) {
331 printk(KERN_WARNING
"Array nesting only supports integer types.\n");
335 load
->object_type
= OBJECT_TYPE_STRING
;
337 if (field
->type
.u
.array
.elem_type
.u
.basic
.integer
.encoding
== lttng_encode_none
) {
338 load
->object_type
= OBJECT_TYPE_ARRAY
;
341 load
->object_type
= OBJECT_TYPE_STRING_SEQUENCE
;
346 if (field
->type
.u
.sequence
.elem_type
.atype
!= atype_integer
) {
347 printk(KERN_WARNING
"Sequence nesting only supports integer types.\n");
351 load
->object_type
= OBJECT_TYPE_STRING
;
353 if (field
->type
.u
.sequence
.elem_type
.u
.basic
.integer
.encoding
== lttng_encode_none
) {
354 load
->object_type
= OBJECT_TYPE_SEQUENCE
;
357 load
->object_type
= OBJECT_TYPE_STRING_SEQUENCE
;
361 case atype_array_bitfield
:
362 printk(KERN_WARNING
"Bitfield array type is not supported.\n");
364 case atype_sequence_bitfield
:
365 printk(KERN_WARNING
"Bitfield sequence type is not supported.\n");
368 load
->object_type
= OBJECT_TYPE_STRING
;
371 printk(KERN_WARNING
"Structure type cannot be loaded.\n");
374 printk(KERN_WARNING
"Unknown type: %d", (int) field
->type
.atype
);
380 static int specialize_context_lookup(struct bytecode_runtime
*runtime
,
381 struct load_op
*insn
,
382 struct vstack_load
*load
)
385 struct lttng_ctx_field
*ctx_field
;
386 struct lttng_event_field
*field
;
387 struct filter_get_index_data gid
;
390 idx
= specialize_context_lookup_name(runtime
, insn
);
394 ctx_field
= <tng_static_ctx
->fields
[idx
];
395 field
= &ctx_field
->event_field
;
396 ret
= specialize_load_object(field
, load
, true);
399 /* Specialize each get_symbol into a get_index. */
400 insn
->op
= FILTER_OP_GET_INDEX_U16
;
401 memset(&gid
, 0, sizeof(gid
));
403 gid
.elem
.type
= load
->object_type
;
404 data_offset
= bytecode_push_data(runtime
, &gid
,
405 __alignof__(gid
), sizeof(gid
));
406 if (data_offset
< 0) {
409 ((struct get_index_u16
*) insn
->data
)->index
= data_offset
;
413 static int specialize_event_payload_lookup(struct lttng_event
*event
,
414 struct bytecode_runtime
*runtime
,
415 struct load_op
*insn
,
416 struct vstack_load
*load
)
420 const struct lttng_event_desc
*desc
= event
->desc
;
421 unsigned int i
, nr_fields
;
423 uint32_t field_offset
= 0;
424 const struct lttng_event_field
*field
;
426 struct filter_get_index_data gid
;
429 nr_fields
= desc
->nr_fields
;
430 offset
= ((struct get_symbol
*) insn
->data
)->offset
;
431 name
= runtime
->p
.bc
->bc
.data
+ runtime
->p
.bc
->bc
.reloc_offset
+ offset
;
432 for (i
= 0; i
< nr_fields
; i
++) {
433 field
= &desc
->fields
[i
];
434 if (!strcmp(field
->name
, name
)) {
438 /* compute field offset on stack */
439 switch (field
->type
.atype
) {
442 field_offset
+= sizeof(int64_t);
446 case atype_array_bitfield
:
447 case atype_sequence_bitfield
:
448 field_offset
+= sizeof(unsigned long);
449 field_offset
+= sizeof(void *);
452 field_offset
+= sizeof(void *);
464 ret
= specialize_load_object(field
, load
, false);
468 /* Specialize each get_symbol into a get_index. */
469 insn
->op
= FILTER_OP_GET_INDEX_U16
;
470 memset(&gid
, 0, sizeof(gid
));
471 gid
.offset
= field_offset
;
472 gid
.elem
.type
= load
->object_type
;
473 data_offset
= bytecode_push_data(runtime
, &gid
,
474 __alignof__(gid
), sizeof(gid
));
475 if (data_offset
< 0) {
479 ((struct get_index_u16
*) insn
->data
)->index
= data_offset
;
485 int lttng_filter_specialize_bytecode(struct lttng_event
*event
,
486 struct bytecode_runtime
*bytecode
)
488 void *pc
, *next_pc
, *start_pc
;
490 struct vstack _stack
;
491 struct vstack
*stack
= &_stack
;
495 start_pc
= &bytecode
->code
[0];
496 for (pc
= next_pc
= start_pc
; pc
- start_pc
< bytecode
->len
;
498 switch (*(filter_opcode_t
*) pc
) {
499 case FILTER_OP_UNKNOWN
:
501 printk(KERN_WARNING
"unknown bytecode op %u\n",
502 (unsigned int) *(filter_opcode_t
*) pc
);
506 case FILTER_OP_RETURN
:
507 case FILTER_OP_RETURN_S64
:
516 case FILTER_OP_MINUS
:
517 printk(KERN_WARNING
"unsupported bytecode op %u\n",
518 (unsigned int) *(filter_opcode_t
*) pc
);
524 struct binary_op
*insn
= (struct binary_op
*) pc
;
526 switch(vstack_ax(stack
)->type
) {
528 printk(KERN_WARNING
"unknown register type\n");
533 if (vstack_bx(stack
)->type
== REG_STAR_GLOB_STRING
)
534 insn
->op
= FILTER_OP_EQ_STAR_GLOB_STRING
;
536 insn
->op
= FILTER_OP_EQ_STRING
;
538 case REG_STAR_GLOB_STRING
:
539 insn
->op
= FILTER_OP_EQ_STAR_GLOB_STRING
;
542 if (vstack_bx(stack
)->type
== REG_S64
)
543 insn
->op
= FILTER_OP_EQ_S64
;
545 insn
->op
= FILTER_OP_EQ_DOUBLE_S64
;
548 if (vstack_bx(stack
)->type
== REG_S64
)
549 insn
->op
= FILTER_OP_EQ_S64_DOUBLE
;
551 insn
->op
= FILTER_OP_EQ_DOUBLE
;
555 if (vstack_pop(stack
)) {
559 vstack_ax(stack
)->type
= REG_S64
;
560 next_pc
+= sizeof(struct binary_op
);
566 struct binary_op
*insn
= (struct binary_op
*) pc
;
568 switch(vstack_ax(stack
)->type
) {
570 printk(KERN_WARNING
"unknown register type\n");
575 if (vstack_bx(stack
)->type
== REG_STAR_GLOB_STRING
)
576 insn
->op
= FILTER_OP_NE_STAR_GLOB_STRING
;
578 insn
->op
= FILTER_OP_NE_STRING
;
580 case REG_STAR_GLOB_STRING
:
581 insn
->op
= FILTER_OP_NE_STAR_GLOB_STRING
;
584 if (vstack_bx(stack
)->type
== REG_S64
)
585 insn
->op
= FILTER_OP_NE_S64
;
587 insn
->op
= FILTER_OP_NE_DOUBLE_S64
;
590 if (vstack_bx(stack
)->type
== REG_S64
)
591 insn
->op
= FILTER_OP_NE_S64_DOUBLE
;
593 insn
->op
= FILTER_OP_NE_DOUBLE
;
597 if (vstack_pop(stack
)) {
601 vstack_ax(stack
)->type
= REG_S64
;
602 next_pc
+= sizeof(struct binary_op
);
608 struct binary_op
*insn
= (struct binary_op
*) pc
;
610 switch(vstack_ax(stack
)->type
) {
612 printk(KERN_WARNING
"unknown register type\n");
616 case REG_STAR_GLOB_STRING
:
617 printk(KERN_WARNING
"invalid register type for > binary operator\n");
621 insn
->op
= FILTER_OP_GT_STRING
;
624 if (vstack_bx(stack
)->type
== REG_S64
)
625 insn
->op
= FILTER_OP_GT_S64
;
627 insn
->op
= FILTER_OP_GT_DOUBLE_S64
;
630 if (vstack_bx(stack
)->type
== REG_S64
)
631 insn
->op
= FILTER_OP_GT_S64_DOUBLE
;
633 insn
->op
= FILTER_OP_GT_DOUBLE
;
637 if (vstack_pop(stack
)) {
641 vstack_ax(stack
)->type
= REG_S64
;
642 next_pc
+= sizeof(struct binary_op
);
648 struct binary_op
*insn
= (struct binary_op
*) pc
;
650 switch(vstack_ax(stack
)->type
) {
652 printk(KERN_WARNING
"unknown register type\n");
656 case REG_STAR_GLOB_STRING
:
657 printk(KERN_WARNING
"invalid register type for < binary operator\n");
661 insn
->op
= FILTER_OP_LT_STRING
;
664 if (vstack_bx(stack
)->type
== REG_S64
)
665 insn
->op
= FILTER_OP_LT_S64
;
667 insn
->op
= FILTER_OP_LT_DOUBLE_S64
;
670 if (vstack_bx(stack
)->type
== REG_S64
)
671 insn
->op
= FILTER_OP_LT_S64_DOUBLE
;
673 insn
->op
= FILTER_OP_LT_DOUBLE
;
677 if (vstack_pop(stack
)) {
681 vstack_ax(stack
)->type
= REG_S64
;
682 next_pc
+= sizeof(struct binary_op
);
688 struct binary_op
*insn
= (struct binary_op
*) pc
;
690 switch(vstack_ax(stack
)->type
) {
692 printk(KERN_WARNING
"unknown register type\n");
696 case REG_STAR_GLOB_STRING
:
697 printk(KERN_WARNING
"invalid register type for >= binary operator\n");
701 insn
->op
= FILTER_OP_GE_STRING
;
704 if (vstack_bx(stack
)->type
== REG_S64
)
705 insn
->op
= FILTER_OP_GE_S64
;
707 insn
->op
= FILTER_OP_GE_DOUBLE_S64
;
710 if (vstack_bx(stack
)->type
== REG_S64
)
711 insn
->op
= FILTER_OP_GE_S64_DOUBLE
;
713 insn
->op
= FILTER_OP_GE_DOUBLE
;
717 if (vstack_pop(stack
)) {
721 vstack_ax(stack
)->type
= REG_S64
;
722 next_pc
+= sizeof(struct binary_op
);
727 struct binary_op
*insn
= (struct binary_op
*) pc
;
729 switch(vstack_ax(stack
)->type
) {
731 printk(KERN_WARNING
"unknown register type\n");
735 case REG_STAR_GLOB_STRING
:
736 printk(KERN_WARNING
"invalid register type for <= binary operator\n");
740 insn
->op
= FILTER_OP_LE_STRING
;
743 if (vstack_bx(stack
)->type
== REG_S64
)
744 insn
->op
= FILTER_OP_LE_S64
;
746 insn
->op
= FILTER_OP_LE_DOUBLE_S64
;
749 if (vstack_bx(stack
)->type
== REG_S64
)
750 insn
->op
= FILTER_OP_LE_S64_DOUBLE
;
752 insn
->op
= FILTER_OP_LE_DOUBLE
;
755 vstack_ax(stack
)->type
= REG_S64
;
756 next_pc
+= sizeof(struct binary_op
);
760 case FILTER_OP_EQ_STRING
:
761 case FILTER_OP_NE_STRING
:
762 case FILTER_OP_GT_STRING
:
763 case FILTER_OP_LT_STRING
:
764 case FILTER_OP_GE_STRING
:
765 case FILTER_OP_LE_STRING
:
766 case FILTER_OP_EQ_STAR_GLOB_STRING
:
767 case FILTER_OP_NE_STAR_GLOB_STRING
:
768 case FILTER_OP_EQ_S64
:
769 case FILTER_OP_NE_S64
:
770 case FILTER_OP_GT_S64
:
771 case FILTER_OP_LT_S64
:
772 case FILTER_OP_GE_S64
:
773 case FILTER_OP_LE_S64
:
774 case FILTER_OP_EQ_DOUBLE
:
775 case FILTER_OP_NE_DOUBLE
:
776 case FILTER_OP_GT_DOUBLE
:
777 case FILTER_OP_LT_DOUBLE
:
778 case FILTER_OP_GE_DOUBLE
:
779 case FILTER_OP_LE_DOUBLE
:
780 case FILTER_OP_EQ_DOUBLE_S64
:
781 case FILTER_OP_NE_DOUBLE_S64
:
782 case FILTER_OP_GT_DOUBLE_S64
:
783 case FILTER_OP_LT_DOUBLE_S64
:
784 case FILTER_OP_GE_DOUBLE_S64
:
785 case FILTER_OP_LE_DOUBLE_S64
:
786 case FILTER_OP_EQ_S64_DOUBLE
:
787 case FILTER_OP_NE_S64_DOUBLE
:
788 case FILTER_OP_GT_S64_DOUBLE
:
789 case FILTER_OP_LT_S64_DOUBLE
:
790 case FILTER_OP_GE_S64_DOUBLE
:
791 case FILTER_OP_LE_S64_DOUBLE
:
792 case FILTER_OP_BIT_RSHIFT
:
793 case FILTER_OP_BIT_LSHIFT
:
794 case FILTER_OP_BIT_AND
:
795 case FILTER_OP_BIT_OR
:
796 case FILTER_OP_BIT_XOR
:
799 if (vstack_pop(stack
)) {
803 vstack_ax(stack
)->type
= REG_S64
;
804 next_pc
+= sizeof(struct binary_op
);
809 case FILTER_OP_UNARY_PLUS
:
811 struct unary_op
*insn
= (struct unary_op
*) pc
;
813 switch(vstack_ax(stack
)->type
) {
815 printk(KERN_WARNING
"unknown register type\n");
820 insn
->op
= FILTER_OP_UNARY_PLUS_S64
;
823 insn
->op
= FILTER_OP_UNARY_PLUS_DOUBLE
;
827 next_pc
+= sizeof(struct unary_op
);
831 case FILTER_OP_UNARY_MINUS
:
833 struct unary_op
*insn
= (struct unary_op
*) pc
;
835 switch(vstack_ax(stack
)->type
) {
837 printk(KERN_WARNING
"unknown register type\n");
842 insn
->op
= FILTER_OP_UNARY_MINUS_S64
;
845 insn
->op
= FILTER_OP_UNARY_MINUS_DOUBLE
;
849 next_pc
+= sizeof(struct unary_op
);
853 case FILTER_OP_UNARY_NOT
:
855 struct unary_op
*insn
= (struct unary_op
*) pc
;
857 switch(vstack_ax(stack
)->type
) {
859 printk(KERN_WARNING
"unknown register type\n");
864 insn
->op
= FILTER_OP_UNARY_NOT_S64
;
867 insn
->op
= FILTER_OP_UNARY_NOT_DOUBLE
;
871 next_pc
+= sizeof(struct unary_op
);
875 case FILTER_OP_UNARY_BIT_NOT
:
878 next_pc
+= sizeof(struct unary_op
);
882 case FILTER_OP_UNARY_PLUS_S64
:
883 case FILTER_OP_UNARY_MINUS_S64
:
884 case FILTER_OP_UNARY_NOT_S64
:
885 case FILTER_OP_UNARY_PLUS_DOUBLE
:
886 case FILTER_OP_UNARY_MINUS_DOUBLE
:
887 case FILTER_OP_UNARY_NOT_DOUBLE
:
890 next_pc
+= sizeof(struct unary_op
);
898 /* Continue to next instruction */
899 /* Pop 1 when jump not taken */
900 if (vstack_pop(stack
)) {
904 next_pc
+= sizeof(struct logical_op
);
909 case FILTER_OP_LOAD_FIELD_REF
:
911 printk(KERN_WARNING
"Unknown field ref type\n");
915 /* get context ref */
916 case FILTER_OP_GET_CONTEXT_REF
:
918 printk(KERN_WARNING
"Unknown get context ref type\n");
922 case FILTER_OP_LOAD_FIELD_REF_STRING
:
923 case FILTER_OP_LOAD_FIELD_REF_SEQUENCE
:
924 case FILTER_OP_GET_CONTEXT_REF_STRING
:
925 case FILTER_OP_LOAD_FIELD_REF_USER_STRING
:
926 case FILTER_OP_LOAD_FIELD_REF_USER_SEQUENCE
:
928 if (vstack_push(stack
)) {
932 vstack_ax(stack
)->type
= REG_STRING
;
933 next_pc
+= sizeof(struct load_op
) + sizeof(struct field_ref
);
936 case FILTER_OP_LOAD_FIELD_REF_S64
:
937 case FILTER_OP_GET_CONTEXT_REF_S64
:
939 if (vstack_push(stack
)) {
943 vstack_ax(stack
)->type
= REG_S64
;
944 next_pc
+= sizeof(struct load_op
) + sizeof(struct field_ref
);
947 case FILTER_OP_LOAD_FIELD_REF_DOUBLE
:
948 case FILTER_OP_GET_CONTEXT_REF_DOUBLE
:
950 if (vstack_push(stack
)) {
954 vstack_ax(stack
)->type
= REG_DOUBLE
;
955 next_pc
+= sizeof(struct load_op
) + sizeof(struct field_ref
);
959 /* load from immediate operand */
960 case FILTER_OP_LOAD_STRING
:
962 struct load_op
*insn
= (struct load_op
*) pc
;
964 if (vstack_push(stack
)) {
968 vstack_ax(stack
)->type
= REG_STRING
;
969 next_pc
+= sizeof(struct load_op
) + strlen(insn
->data
) + 1;
973 case FILTER_OP_LOAD_STAR_GLOB_STRING
:
975 struct load_op
*insn
= (struct load_op
*) pc
;
977 if (vstack_push(stack
)) {
981 vstack_ax(stack
)->type
= REG_STAR_GLOB_STRING
;
982 next_pc
+= sizeof(struct load_op
) + strlen(insn
->data
) + 1;
986 case FILTER_OP_LOAD_S64
:
988 if (vstack_push(stack
)) {
992 vstack_ax(stack
)->type
= REG_S64
;
993 next_pc
+= sizeof(struct load_op
)
994 + sizeof(struct literal_numeric
);
998 case FILTER_OP_LOAD_DOUBLE
:
1000 if (vstack_push(stack
)) {
1004 vstack_ax(stack
)->type
= REG_DOUBLE
;
1005 next_pc
+= sizeof(struct load_op
)
1006 + sizeof(struct literal_double
);
1011 case FILTER_OP_CAST_TO_S64
:
1013 struct cast_op
*insn
= (struct cast_op
*) pc
;
1015 switch (vstack_ax(stack
)->type
) {
1017 printk(KERN_WARNING
"unknown register type\n");
1022 case REG_STAR_GLOB_STRING
:
1023 printk(KERN_WARNING
"Cast op can only be applied to numeric or floating point registers\n");
1027 insn
->op
= FILTER_OP_CAST_NOP
;
1030 insn
->op
= FILTER_OP_CAST_DOUBLE_TO_S64
;
1034 vstack_ax(stack
)->type
= REG_S64
;
1035 next_pc
+= sizeof(struct cast_op
);
1038 case FILTER_OP_CAST_DOUBLE_TO_S64
:
1041 vstack_ax(stack
)->type
= REG_S64
;
1042 next_pc
+= sizeof(struct cast_op
);
1045 case FILTER_OP_CAST_NOP
:
1047 next_pc
+= sizeof(struct cast_op
);
1052 * Instructions for recursive traversal through composed types.
1054 case FILTER_OP_GET_CONTEXT_ROOT
:
1056 if (vstack_push(stack
)) {
1060 vstack_ax(stack
)->type
= REG_PTR
;
1061 vstack_ax(stack
)->load
.type
= LOAD_ROOT_CONTEXT
;
1062 next_pc
+= sizeof(struct load_op
);
1065 case FILTER_OP_GET_APP_CONTEXT_ROOT
:
1067 if (vstack_push(stack
)) {
1071 vstack_ax(stack
)->type
= REG_PTR
;
1072 vstack_ax(stack
)->load
.type
= LOAD_ROOT_APP_CONTEXT
;
1073 next_pc
+= sizeof(struct load_op
);
1076 case FILTER_OP_GET_PAYLOAD_ROOT
:
1078 if (vstack_push(stack
)) {
1082 vstack_ax(stack
)->type
= REG_PTR
;
1083 vstack_ax(stack
)->load
.type
= LOAD_ROOT_PAYLOAD
;
1084 next_pc
+= sizeof(struct load_op
);
1088 case FILTER_OP_LOAD_FIELD
:
1090 struct load_op
*insn
= (struct load_op
*) pc
;
1092 WARN_ON_ONCE(vstack_ax(stack
)->type
!= REG_PTR
);
1094 ret
= specialize_load_field(vstack_ax(stack
), insn
);
1098 next_pc
+= sizeof(struct load_op
);
1102 case FILTER_OP_LOAD_FIELD_S8
:
1103 case FILTER_OP_LOAD_FIELD_S16
:
1104 case FILTER_OP_LOAD_FIELD_S32
:
1105 case FILTER_OP_LOAD_FIELD_S64
:
1106 case FILTER_OP_LOAD_FIELD_U8
:
1107 case FILTER_OP_LOAD_FIELD_U16
:
1108 case FILTER_OP_LOAD_FIELD_U32
:
1109 case FILTER_OP_LOAD_FIELD_U64
:
1112 vstack_ax(stack
)->type
= REG_S64
;
1113 next_pc
+= sizeof(struct load_op
);
1117 case FILTER_OP_LOAD_FIELD_STRING
:
1118 case FILTER_OP_LOAD_FIELD_SEQUENCE
:
1121 vstack_ax(stack
)->type
= REG_STRING
;
1122 next_pc
+= sizeof(struct load_op
);
1126 case FILTER_OP_LOAD_FIELD_DOUBLE
:
1129 vstack_ax(stack
)->type
= REG_DOUBLE
;
1130 next_pc
+= sizeof(struct load_op
);
1134 case FILTER_OP_GET_SYMBOL
:
1136 struct load_op
*insn
= (struct load_op
*) pc
;
1138 dbg_printk("op get symbol\n");
1139 switch (vstack_ax(stack
)->load
.type
) {
1141 printk(KERN_WARNING
"Nested fields not implemented yet.\n");
1144 case LOAD_ROOT_CONTEXT
:
1145 /* Lookup context field. */
1146 ret
= specialize_context_lookup(bytecode
, insn
,
1147 &vstack_ax(stack
)->load
);
1151 case LOAD_ROOT_APP_CONTEXT
:
1154 case LOAD_ROOT_PAYLOAD
:
1155 /* Lookup event payload field. */
1156 ret
= specialize_event_payload_lookup(event
,
1158 &vstack_ax(stack
)->load
);
1163 next_pc
+= sizeof(struct load_op
) + sizeof(struct get_symbol
);
1167 case FILTER_OP_GET_SYMBOL_FIELD
:
1169 /* Always generated by specialize phase. */
1174 case FILTER_OP_GET_INDEX_U16
:
1176 struct load_op
*insn
= (struct load_op
*) pc
;
1177 struct get_index_u16
*index
= (struct get_index_u16
*) insn
->data
;
1179 dbg_printk("op get index u16\n");
1181 ret
= specialize_get_index(bytecode
, insn
, index
->index
,
1182 vstack_ax(stack
), sizeof(*index
));
1185 next_pc
+= sizeof(struct load_op
) + sizeof(struct get_index_u16
);
1189 case FILTER_OP_GET_INDEX_U64
:
1191 struct load_op
*insn
= (struct load_op
*) pc
;
1192 struct get_index_u64
*index
= (struct get_index_u64
*) insn
->data
;
1194 dbg_printk("op get index u64\n");
1196 ret
= specialize_get_index(bytecode
, insn
, index
->index
,
1197 vstack_ax(stack
), sizeof(*index
));
1200 next_pc
+= sizeof(struct load_op
) + sizeof(struct get_index_u64
);