]>
Commit | Line | Data |
---|---|---|
9ca03622 ADF |
1 | /* |
2 | * Tiny Code Generator for QEMU | |
3 | * | |
4 | * Copyright (c) 2008 Fabrice Bellard | |
5 | * | |
6 | * Permission is hereby granted, free of charge, to any person obtaining a copy | |
7 | * of this software and associated documentation files (the "Software"), to deal | |
8 | * in the Software without restriction, including without limitation the rights | |
9 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | |
10 | * copies of the Software, and to permit persons to whom the Software is | |
11 | * furnished to do so, subject to the following conditions: | |
12 | * | |
13 | * The above copyright notice and this permission notice shall be included in | |
14 | * all copies or substantial portions of the Software. | |
15 | * | |
16 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR | |
17 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, | |
18 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL | |
19 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER | |
20 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, | |
21 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN | |
22 | * THE SOFTWARE. | |
23 | */ | |
24 | ||
25 | #ifndef TCG_COND_H | |
26 | #define TCG_COND_H | |
27 | ||
28 | /* | |
29 | * Conditions. Note that these are laid out for easy manipulation by | |
30 | * the functions below: | |
31 | * bit 0 is used for inverting; | |
32 | * bit 1 is signed, | |
33 | * bit 2 is unsigned, | |
34 | * bit 3 is used with bit 0 for swapping signed/unsigned. | |
35 | */ | |
36 | typedef enum { | |
37 | /* non-signed */ | |
38 | TCG_COND_NEVER = 0 | 0 | 0 | 0, | |
39 | TCG_COND_ALWAYS = 0 | 0 | 0 | 1, | |
40 | TCG_COND_EQ = 8 | 0 | 0 | 0, | |
41 | TCG_COND_NE = 8 | 0 | 0 | 1, | |
42 | /* signed */ | |
43 | TCG_COND_LT = 0 | 0 | 2 | 0, | |
44 | TCG_COND_GE = 0 | 0 | 2 | 1, | |
45 | TCG_COND_LE = 8 | 0 | 2 | 0, | |
46 | TCG_COND_GT = 8 | 0 | 2 | 1, | |
47 | /* unsigned */ | |
48 | TCG_COND_LTU = 0 | 4 | 0 | 0, | |
49 | TCG_COND_GEU = 0 | 4 | 0 | 1, | |
50 | TCG_COND_LEU = 8 | 4 | 0 | 0, | |
51 | TCG_COND_GTU = 8 | 4 | 0 | 1, | |
52 | } TCGCond; | |
53 | ||
54 | /* Invert the sense of the comparison. */ | |
55 | static inline TCGCond tcg_invert_cond(TCGCond c) | |
56 | { | |
57 | return (TCGCond)(c ^ 1); | |
58 | } | |
59 | ||
60 | /* Swap the operands in a comparison. */ | |
61 | static inline TCGCond tcg_swap_cond(TCGCond c) | |
62 | { | |
63 | return c & 6 ? (TCGCond)(c ^ 9) : c; | |
64 | } | |
65 | ||
66 | /* Create an "unsigned" version of a "signed" comparison. */ | |
67 | static inline TCGCond tcg_unsigned_cond(TCGCond c) | |
68 | { | |
69 | return c & 2 ? (TCGCond)(c ^ 6) : c; | |
70 | } | |
71 | ||
72 | /* Create a "signed" version of an "unsigned" comparison. */ | |
73 | static inline TCGCond tcg_signed_cond(TCGCond c) | |
74 | { | |
75 | return c & 4 ? (TCGCond)(c ^ 6) : c; | |
76 | } | |
77 | ||
78 | /* Must a comparison be considered unsigned? */ | |
79 | static inline bool is_unsigned_cond(TCGCond c) | |
80 | { | |
81 | return (c & 4) != 0; | |
82 | } | |
83 | ||
84 | /* | |
85 | * Create a "high" version of a double-word comparison. | |
86 | * This removes equality from a LTE or GTE comparison. | |
87 | */ | |
88 | static inline TCGCond tcg_high_cond(TCGCond c) | |
89 | { | |
90 | switch (c) { | |
91 | case TCG_COND_GE: | |
92 | case TCG_COND_LE: | |
93 | case TCG_COND_GEU: | |
94 | case TCG_COND_LEU: | |
95 | return (TCGCond)(c ^ 8); | |
96 | default: | |
97 | return c; | |
98 | } | |
99 | } | |
100 | ||
101 | #endif /* TCG_COND_H */ |