aboutgitcodelistschat:MatrixIRC
diff options
context:
space:
mode:
authorAlice Frosi <afrosi@redhat.com>2023-04-18 10:22:19 +0200
committerAlice Frosi <afrosi@redhat.com>2023-04-18 10:22:19 +0200
commita34036f4a4174922d65862ff68baecf2511a0fa1 (patch)
treea2e3c92cab70992f5c96c0fcf51d2031f2c422ad
parent455bf52a0c79b2f6ee44d8829119a68cd691b8d3 (diff)
downloadseitan-a34036f4a4174922d65862ff68baecf2511a0fa1.tar
seitan-a34036f4a4174922d65862ff68baecf2511a0fa1.tar.gz
seitan-a34036f4a4174922d65862ff68baecf2511a0fa1.tar.bz2
seitan-a34036f4a4174922d65862ff68baecf2511a0fa1.tar.lz
seitan-a34036f4a4174922d65862ff68baecf2511a0fa1.tar.xz
seitan-a34036f4a4174922d65862ff68baecf2511a0fa1.tar.zst
seitan-a34036f4a4174922d65862ff68baecf2511a0fa1.zip
filter: add and_ne operation
-rw-r--r--cooker/filter.c43
1 files changed, 39 insertions, 4 deletions
diff --git a/cooker/filter.c b/cooker/filter.c
index febf3da..15d80ed 100644
--- a/cooker/filter.c
+++ b/cooker/filter.c
@@ -193,7 +193,8 @@ static unsigned int get_n_args_syscall_instr(const struct syscall_entry *table)
* arithemtic instructions (3):
* 1 loading the value + 1 for the operation + 1 for evaluation
*/
- if (entry->args[k].cmp == AND_EQ)
+ if (entry->args[k].cmp == AND_EQ ||
+ entry->args[k].cmp == AND_NE)
n += 3;
else
n += 2;
@@ -202,7 +203,8 @@ static unsigned int get_n_args_syscall_instr(const struct syscall_entry *table)
/* For 64 bit arguments: 32 instructions * 2
* for loading and evaluating the high and low 32 bits chuncks.
*/
- if (entry->args[k].cmp == AND_EQ)
+ if (entry->args[k].cmp == AND_EQ ||
+ entry->args[k].cmp == AND_NE)
n += 6;
else
n += 4;
@@ -401,6 +403,38 @@ static unsigned int and_eq (struct sock_filter filter[], int idx,
return size;
}
+static unsigned int and_ne(struct sock_filter filter[], int idx,
+ const struct bpf_call *entry, unsigned int jtrue,
+ unsigned int jfalse)
+{
+ unsigned int size = 0;
+
+ switch (entry->args[idx].type) {
+ case U64:
+ filter[size++] = (struct sock_filter)LOAD(LO_ARG(idx));
+ filter[size++] = (struct sock_filter)AND(
+ get_lo(entry->args[idx].op2.v64));
+ filter[size++] = (struct sock_filter)EQ(
+ get_lo((entry->args[idx]).value.v64), 0, jtrue + 3);
+ filter[size++] = (struct sock_filter)LOAD(HI_ARG(idx));
+ filter[size++] = (struct sock_filter)AND(
+ get_hi(entry->args[idx].op2.v64));
+ filter[size++] = (struct sock_filter)EQ(
+ get_hi(entry->args[idx].value.v64), jfalse, jtrue);
+ break;
+ case U32:
+
+ filter[size++] = (struct sock_filter)LOAD(LO_ARG(idx));
+ filter[size++] =
+ (struct sock_filter)AND(entry->args[idx].op2.v32);
+ filter[size++] = (struct sock_filter)EQ(
+ entry->args[idx].value.v32, jfalse, jtrue);
+ break;
+ }
+
+ return size;
+}
+
unsigned int create_bfp_program(struct syscall_entry table[],
struct sock_filter filter[],
unsigned int n_syscall)
@@ -512,8 +546,9 @@ unsigned int create_bfp_program(struct syscall_entry table[],
0, offset);
break;
case AND_NE:
- fprintf(stderr,
- "AND_NE not supported yet\n");
+ size += and_ne(&filter[size], k, entry,
+ 0, offset);
+
break;
}
n_checks++;