19ca03622SAlessandro Di Federico /*
29ca03622SAlessandro Di Federico * Tiny Code Generator for QEMU
39ca03622SAlessandro Di Federico *
49ca03622SAlessandro Di Federico * Copyright (c) 2008 Fabrice Bellard
59ca03622SAlessandro Di Federico *
69ca03622SAlessandro Di Federico * Permission is hereby granted, free of charge, to any person obtaining a copy
79ca03622SAlessandro Di Federico * of this software and associated documentation files (the "Software"), to deal
89ca03622SAlessandro Di Federico * in the Software without restriction, including without limitation the rights
99ca03622SAlessandro Di Federico * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
109ca03622SAlessandro Di Federico * copies of the Software, and to permit persons to whom the Software is
119ca03622SAlessandro Di Federico * furnished to do so, subject to the following conditions:
129ca03622SAlessandro Di Federico *
139ca03622SAlessandro Di Federico * The above copyright notice and this permission notice shall be included in
149ca03622SAlessandro Di Federico * all copies or substantial portions of the Software.
159ca03622SAlessandro Di Federico *
169ca03622SAlessandro Di Federico * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
179ca03622SAlessandro Di Federico * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
189ca03622SAlessandro Di Federico * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
199ca03622SAlessandro Di Federico * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
209ca03622SAlessandro Di Federico * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
219ca03622SAlessandro Di Federico * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
229ca03622SAlessandro Di Federico * THE SOFTWARE.
239ca03622SAlessandro Di Federico */
249ca03622SAlessandro Di Federico
259ca03622SAlessandro Di Federico #ifndef TCG_COND_H
269ca03622SAlessandro Di Federico #define TCG_COND_H
279ca03622SAlessandro Di Federico
289ca03622SAlessandro Di Federico /*
299ca03622SAlessandro Di Federico * Conditions. Note that these are laid out for easy manipulation by
309ca03622SAlessandro Di Federico * the functions below:
319ca03622SAlessandro Di Federico * bit 0 is used for inverting;
32*d48097d0SRichard Henderson * bit 1 is used for conditions that need swapping (signed/unsigned).
33*d48097d0SRichard Henderson * bit 2 is used with bit 1 for swapping.
34*d48097d0SRichard Henderson * bit 3 is used for unsigned conditions.
359ca03622SAlessandro Di Federico */
369ca03622SAlessandro Di Federico typedef enum {
379ca03622SAlessandro Di Federico /* non-signed */
389ca03622SAlessandro Di Federico TCG_COND_NEVER = 0 | 0 | 0 | 0,
399ca03622SAlessandro Di Federico TCG_COND_ALWAYS = 0 | 0 | 0 | 1,
40*d48097d0SRichard Henderson
41*d48097d0SRichard Henderson /* equality */
429ca03622SAlessandro Di Federico TCG_COND_EQ = 8 | 0 | 0 | 0,
439ca03622SAlessandro Di Federico TCG_COND_NE = 8 | 0 | 0 | 1,
44*d48097d0SRichard Henderson
45*d48097d0SRichard Henderson /* "test" i.e. and then compare vs 0 */
46*d48097d0SRichard Henderson TCG_COND_TSTEQ = 8 | 4 | 0 | 0,
47*d48097d0SRichard Henderson TCG_COND_TSTNE = 8 | 4 | 0 | 1,
48*d48097d0SRichard Henderson
499ca03622SAlessandro Di Federico /* signed */
509ca03622SAlessandro Di Federico TCG_COND_LT = 0 | 0 | 2 | 0,
519ca03622SAlessandro Di Federico TCG_COND_GE = 0 | 0 | 2 | 1,
52*d48097d0SRichard Henderson TCG_COND_GT = 0 | 4 | 2 | 0,
53*d48097d0SRichard Henderson TCG_COND_LE = 0 | 4 | 2 | 1,
54*d48097d0SRichard Henderson
559ca03622SAlessandro Di Federico /* unsigned */
56*d48097d0SRichard Henderson TCG_COND_LTU = 8 | 0 | 2 | 0,
57*d48097d0SRichard Henderson TCG_COND_GEU = 8 | 0 | 2 | 1,
58*d48097d0SRichard Henderson TCG_COND_GTU = 8 | 4 | 2 | 0,
59*d48097d0SRichard Henderson TCG_COND_LEU = 8 | 4 | 2 | 1,
609ca03622SAlessandro Di Federico } TCGCond;
619ca03622SAlessandro Di Federico
629ca03622SAlessandro Di Federico /* Invert the sense of the comparison. */
tcg_invert_cond(TCGCond c)639ca03622SAlessandro Di Federico static inline TCGCond tcg_invert_cond(TCGCond c)
649ca03622SAlessandro Di Federico {
659ca03622SAlessandro Di Federico return (TCGCond)(c ^ 1);
669ca03622SAlessandro Di Federico }
679ca03622SAlessandro Di Federico
689ca03622SAlessandro Di Federico /* Swap the operands in a comparison. */
tcg_swap_cond(TCGCond c)699ca03622SAlessandro Di Federico static inline TCGCond tcg_swap_cond(TCGCond c)
709ca03622SAlessandro Di Federico {
71*d48097d0SRichard Henderson return (TCGCond)(c ^ ((c & 2) << 1));
729ca03622SAlessandro Di Federico }
739ca03622SAlessandro Di Federico
74*d48097d0SRichard Henderson /* Must a comparison be considered signed? */
is_signed_cond(TCGCond c)75*d48097d0SRichard Henderson static inline bool is_signed_cond(TCGCond c)
769ca03622SAlessandro Di Federico {
77*d48097d0SRichard Henderson return (c & (8 | 2)) == 2;
789ca03622SAlessandro Di Federico }
799ca03622SAlessandro Di Federico
809ca03622SAlessandro Di Federico /* Must a comparison be considered unsigned? */
is_unsigned_cond(TCGCond c)819ca03622SAlessandro Di Federico static inline bool is_unsigned_cond(TCGCond c)
829ca03622SAlessandro Di Federico {
83*d48097d0SRichard Henderson return (c & (8 | 2)) == (8 | 2);
84*d48097d0SRichard Henderson }
85*d48097d0SRichard Henderson
86*d48097d0SRichard Henderson /* Must a comparison be considered a test? */
is_tst_cond(TCGCond c)87*d48097d0SRichard Henderson static inline bool is_tst_cond(TCGCond c)
88*d48097d0SRichard Henderson {
89*d48097d0SRichard Henderson return (c | 1) == TCG_COND_TSTNE;
90*d48097d0SRichard Henderson }
91*d48097d0SRichard Henderson
92*d48097d0SRichard Henderson /* Create an "unsigned" version of a "signed" comparison. */
tcg_unsigned_cond(TCGCond c)93*d48097d0SRichard Henderson static inline TCGCond tcg_unsigned_cond(TCGCond c)
94*d48097d0SRichard Henderson {
95*d48097d0SRichard Henderson return is_signed_cond(c) ? (TCGCond)(c + 8) : c;
96*d48097d0SRichard Henderson }
97*d48097d0SRichard Henderson
98*d48097d0SRichard Henderson /* Create a "signed" version of an "unsigned" comparison. */
tcg_signed_cond(TCGCond c)99*d48097d0SRichard Henderson static inline TCGCond tcg_signed_cond(TCGCond c)
100*d48097d0SRichard Henderson {
101*d48097d0SRichard Henderson return is_unsigned_cond(c) ? (TCGCond)(c - 8) : c;
102*d48097d0SRichard Henderson }
103*d48097d0SRichard Henderson
104*d48097d0SRichard Henderson /* Create the eq/ne version of a tsteq/tstne comparison. */
tcg_tst_eqne_cond(TCGCond c)105*d48097d0SRichard Henderson static inline TCGCond tcg_tst_eqne_cond(TCGCond c)
106*d48097d0SRichard Henderson {
107*d48097d0SRichard Henderson return is_tst_cond(c) ? (TCGCond)(c - 4) : c;
108*d48097d0SRichard Henderson }
109*d48097d0SRichard Henderson
110*d48097d0SRichard Henderson /* Create the lt/ge version of a tstne/tsteq comparison of the sign. */
tcg_tst_ltge_cond(TCGCond c)111*d48097d0SRichard Henderson static inline TCGCond tcg_tst_ltge_cond(TCGCond c)
112*d48097d0SRichard Henderson {
113*d48097d0SRichard Henderson return is_tst_cond(c) ? (TCGCond)(c ^ 0xf) : c;
1149ca03622SAlessandro Di Federico }
1159ca03622SAlessandro Di Federico
1169ca03622SAlessandro Di Federico /*
1179ca03622SAlessandro Di Federico * Create a "high" version of a double-word comparison.
1189ca03622SAlessandro Di Federico * This removes equality from a LTE or GTE comparison.
1199ca03622SAlessandro Di Federico */
tcg_high_cond(TCGCond c)1209ca03622SAlessandro Di Federico static inline TCGCond tcg_high_cond(TCGCond c)
1219ca03622SAlessandro Di Federico {
1229ca03622SAlessandro Di Federico switch (c) {
1239ca03622SAlessandro Di Federico case TCG_COND_GE:
1249ca03622SAlessandro Di Federico case TCG_COND_LE:
1259ca03622SAlessandro Di Federico case TCG_COND_GEU:
1269ca03622SAlessandro Di Federico case TCG_COND_LEU:
127*d48097d0SRichard Henderson return (TCGCond)(c ^ (4 | 1));
1289ca03622SAlessandro Di Federico default:
1299ca03622SAlessandro Di Federico return c;
1309ca03622SAlessandro Di Federico }
1319ca03622SAlessandro Di Federico }
1329ca03622SAlessandro Di Federico
1339ca03622SAlessandro Di Federico #endif /* TCG_COND_H */
134