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 */ 102