1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
/* Copyright (c) 2002-2010 Dovecot Sieve authors, see the included COPYING file
*/
#include "sieve-common.h"
#include "sieve-commands.h"
#include "sieve-validator.h"
#include "sieve-generator.h"
#include "sieve-binary.h"
#include "sieve-code.h"
#include "sieve-binary.h"
/*
* Allof test
*
* Syntax
* allof <tests: test-list>
*/
static bool tst_allof_generate
(const struct sieve_codegen_env *cgenv, struct sieve_command *ctx,
struct sieve_jumplist *jumps, bool jump_true);
const struct sieve_command_def tst_allof = {
"allof",
SCT_TEST,
0, 2, FALSE, FALSE,
NULL, NULL, NULL, NULL,
tst_allof_generate
};
/*
* Code generation
*/
static bool tst_allof_generate
(const struct sieve_codegen_env *cgenv, struct sieve_command *ctx,
struct sieve_jumplist *jumps, bool jump_true)
{
struct sieve_binary *sbin = cgenv->sbin;
struct sieve_ast_node *test;
struct sieve_jumplist false_jumps;
if ( sieve_ast_test_count(ctx->ast_node) > 1 ) {
if ( jump_true ) {
/* Prepare jumplist */
sieve_jumplist_init_temp(&false_jumps, sbin);
}
test = sieve_ast_test_first(ctx->ast_node);
while ( test != NULL ) {
bool result;
/* If this test list must jump on false, all sub-tests can simply add their jumps
* to the caller's jump list, otherwise this test redirects all false jumps to the
* end of the currently generated code. This is just after a final jump to the true
* case
*/
if ( jump_true )
result = sieve_generate_test(cgenv, test, &false_jumps, FALSE);
else
result = sieve_generate_test(cgenv, test, jumps, FALSE);
if ( !result ) return FALSE;
test = sieve_ast_test_next(test);
}
if ( jump_true ) {
/* All tests succeeded, jump to case TRUE */
sieve_operation_emit(cgenv->sbin, NULL, &sieve_jmp_operation);
sieve_jumplist_add(jumps, sieve_binary_emit_offset(sbin, 0));
/* All false exits jump here */
sieve_jumplist_resolve(&false_jumps);
}
} else {
/* Script author is being inefficient; we can optimize the allof test away */
test = sieve_ast_test_first(ctx->ast_node);
sieve_generate_test(cgenv, test, jumps, jump_true);
}
return TRUE;
}
|