sid/component/cgen-cpu/cgen-ops.h

   1 // cgen-ops.h - CGEN semantic ops.  -*- C++ -*-
   2
   3 // Copyright (C) 1999, 2000 Red Hat.
   4 // This file is part of SID and is licensed under the GPL.
   5 // See the file COPYING.SID for conditions for redistribution.
   6
   7 #ifndef CGEN_OPS_H
   8 #define CGEN_OPS_H
   9
  10 namespace cgen {
  11
  12 #define ANDIF(x, y) ((x) && (y))
  13 #define ORIF(x, y) ((x) || (y))
  14
  15 #define ANDBI(x, y) ((x) & (y))
  16 #define ORBI(x, y) ((x) | (y))
  17 #define XORBI(x, y) ((x) ^ (y))
  18 #define NEGBI(x) (- (x))
  19 #define NOTBI(x) (! (BI) (x))
  20 #define INVBI(x) (~ (x))
  21 #define EQBI(x, y) ((BI) (x) == (BI) (y))
  22 #define NEBI(x, y) ((BI) (x) != (BI) (y))
  23 #define LTBI(x, y) ((BI) (x) < (BI) (y))
  24 #define LEBI(x, y) ((BI) (x) <= (BI) (y))
  25 #define GTBI(x, y) ((BI) (x) > (BI) (y))
  26 #define GEBI(x, y) ((BI) (x) >= (BI) (y))
  27 #define LTUBI(x, y) ((BI) (x) < (BI) (y))
  28 #define LEUBI(x, y) ((BI) (x) <= (BI) (y))
  29 #define GTUBI(x, y) ((BI) (x) > (BI) (y))
  30 #define GEUBI(x, y) ((BI) (x) >= (BI) (y))
  31
  32 #define ADDQI(x, y) ((x) + (y))
  33 #define SUBQI(x, y) ((x) - (y))
  34 #define MULQI(x, y) ((x) * (y))
  35 #define DIVQI(x, y) ((QI) (x) / (QI) (y))
  36 #define UDIVQI(x, y) ((UQI) (x) / (UQI) (y))
  37 #define MODQI(x, y) ((QI) (x) % (QI) (y))
  38 #define UMODQI(x, y) ((UQI) (x) % (UQI) (y))
  39 #define SRAQI(x, y) ((QI) (x) >> (y))
  40 #define SRLQI(x, y) ((UQI) (x) >> (y))
  41 #define SLLQI(x, y) ((UQI) (x) << (y))
  42 #define ANDQI(x, y) ((x) & (y))
  43 #define ORQI(x, y) ((x) | (y))
  44 #define XORQI(x, y) ((x) ^ (y))
  45 #define NEGQI(x) (- (x))
  46 #define NOTQI(x) (! (QI) (x))
  47 #define INVQI(x) (~ (x))
  48 #define EQQI(x, y) ((QI) (x) == (QI) (y))
  49 #define NEQI(x, y) ((QI) (x) != (QI) (y))
  50 #define LTQI(x, y) ((QI) (x) < (QI) (y))
  51 #define LEQI(x, y) ((QI) (x) <= (QI) (y))
  52 #define GTQI(x, y) ((QI) (x) > (QI) (y))
  53 #define GEQI(x, y) ((QI) (x) >= (QI) (y))
  54 #define LTUQI(x, y) ((UQI) (x) < (UQI) (y))
  55 #define LEUQI(x, y) ((UQI) (x) <= (UQI) (y))
  56 #define GTUQI(x, y) ((UQI) (x) > (UQI) (y))
  57 #define GEUQI(x, y) ((UQI) (x) >= (UQI) (y))
  58
  59 #define ADDHI(x, y) ((x) + (y))
  60 #define SUBHI(x, y) ((x) - (y))
  61 #define MULHI(x, y) ((x) * (y))
  62 #define DIVHI(x, y) ((HI) (x) / (HI) (y))
  63 #define UDIVHI(x, y) ((UHI) (x) / (UHI) (y))
  64 #define MODHI(x, y) ((HI) (x) % (HI) (y))
  65 #define UMODHI(x, y) ((UHI) (x) % (UHI) (y))
  66 #define SRAHI(x, y) ((HI) (x) >> (y))
  67 #define SRLHI(x, y) ((UHI) (x) >> (y))
  68 #define SLLHI(x, y) ((UHI) (x) << (y))
  69 #define ANDHI(x, y) ((x) & (y))
  70 #define ORHI(x, y) ((x) | (y))
  71 #define XORHI(x, y) ((x) ^ (y))
  72 #define NEGHI(x) (- (x))
  73 #define NOTHI(x) (! (HI) (x))
  74 #define INVHI(x) (~ (x))
  75 #define EQHI(x, y) ((HI) (x) == (HI) (y))
  76 #define NEHI(x, y) ((HI) (x) != (HI) (y))
  77 #define LTHI(x, y) ((HI) (x) < (HI) (y))
  78 #define LEHI(x, y) ((HI) (x) <= (HI) (y))
  79 #define GTHI(x, y) ((HI) (x) > (HI) (y))
  80 #define GEHI(x, y) ((HI) (x) >= (HI) (y))
  81 #define LTUHI(x, y) ((UHI) (x) < (UHI) (y))
  82 #define LEUHI(x, y) ((UHI) (x) <= (UHI) (y))
  83 #define GTUHI(x, y) ((UHI) (x) > (UHI) (y))
  84 #define GEUHI(x, y) ((UHI) (x) >= (UHI) (y))
  85
  86 #define ADDSI(x, y) ((x) + (y))
  87 #define SUBSI(x, y) ((x) - (y))
  88 #define MULSI(x, y) ((x) * (y))
  89 #define DIVSI(x, y) ((SI) (x) / (SI) (y))
  90 #define UDIVSI(x, y) ((USI) (x) / (USI) (y))
  91 #define MODSI(x, y) ((SI) (x) % (SI) (y))
  92 #define UMODSI(x, y) ((USI) (x) % (USI) (y))
  93 #define SRASI(x, y) ((SI) (x) >> (y))
  94 #define SRLSI(x, y) ((USI) (x) >> (y))
  95 #define SLLSI(x, y) ((USI) (x) << (y))
  96 #define ANDSI(x, y) ((x) & (y))
  97 #define ORSI(x, y) ((x) | (y))
  98 #define XORSI(x, y) ((x) ^ (y))
  99 #define NEGSI(x) (- (x))
 100 #define NOTSI(x) (! (SI) (x))
 101 #define INVSI(x) (~ (x))
 102 #define EQSI(x, y) ((SI) (x) == (SI) (y))
 103 #define NESI(x, y) ((SI) (x) != (SI) (y))
 104 #define LTSI(x, y) ((SI) (x) < (SI) (y))
 105 #define LESI(x, y) ((SI) (x) <= (SI) (y))
 106 #define GTSI(x, y) ((SI) (x) > (SI) (y))
 107 #define GESI(x, y) ((SI) (x) >= (SI) (y))
 108 #define LTUSI(x, y) ((USI) (x) < (USI) (y))
 109 #define LEUSI(x, y) ((USI) (x) <= (USI) (y))
 110 #define GTUSI(x, y) ((USI) (x) > (USI) (y))
 111 #define GEUSI(x, y) ((USI) (x) >= (USI) (y))
 112
 113 #define ADDDI(x, y) ((x) + (y))
 114 #define SUBDI(x, y) ((x) - (y))
 115 #define MULDI(x, y) ((x) * (y))
 116 #define DIVDI(x, y) ((DI) (x) / (DI) (y))
 117 #define UDIVDI(x, y) ((UDI) (x) / (UDI) (y))
 118 #define MODDI(x, y) ((DI) (x) % (DI) (y))
 119 #define UMODDI(x, y) ((UDI) (x) % (UDI) (y))
 120 #define SRADI(x, y) ((DI) (x) >> (y))
 121 #define SRLDI(x, y) ((UDI) (x) >> (y))
 122 #define SLLDI(x, y) ((UDI) (x) << (y))
 123 #define ANDDI(x, y) ((x) & (y))
 124 #define ORDI(x, y) ((x) | (y))
 125 #define XORDI(x, y) ((x) ^ (y))
 126 #define NEGDI(x) (- (x))
 127 #define NOTDI(x) (! (DI) (x))
 128 #define INVDI(x) (~ (x))
 129 #define EQDI(x, y) ((DI) (x) == (DI) (y))
 130 #define NEDI(x, y) ((DI) (x) != (DI) (y))
 131 #define LTDI(x, y) ((DI) (x) < (DI) (y))
 132 #define LEDI(x, y) ((DI) (x) <= (DI) (y))
 133 #define GTDI(x, y) ((DI) (x) > (DI) (y))
 134 #define GEDI(x, y) ((DI) (x) >= (DI) (y))
 135 #define LTUDI(x, y) ((UDI) (x) < (UDI) (y))
 136 #define LEUDI(x, y) ((UDI) (x) <= (UDI) (y))
 137 #define GTUDI(x, y) ((UDI) (x) > (UDI) (y))
 138 #define GEUDI(x, y) ((UDI) (x) >= (UDI) (y))
 139
 140 #define LTUINT(x, y) ((UINT) (x) < (UINT) (y))
 141 #define LEUINT(x, y) ((UINT) (x) <= (UINT) (y))
 142 #define GTUINT(x, y) ((UINT) (x) > (UINT) (y))
 143 #define GEUINT(x, y) ((UINT) (x) >= (UINT) (y))
 144
 145 // XXX: fill out families of functions
 146 #define RORQI(x, y) (SRLQI((x), (y)) | SLLQI((x), 8-(y)))
 147 #define ROLQI(x, y) (SLLQI((x), (y)) | SRLQI((x), 8-(y)))
 148 #define RORSI(x, y) (SRLSI((x), (y)) | SLLSI((x), 32-(y)))
 149 #define ROLSI(x, y) (SLLSI((x), (y)) | SRLSI((x), 32-(y)))
 150 #define JOINSIDI(x, y)  (MAKEDI(x, y))
 151 // XXX: endianness issues undecided
 152 #define SUBWORDDISI(x, y) ((y) == 0 ? GETHIDI(x) : GETLODI(x))
 153 #define SUBWORDSISI(x) ((SI) (x))
 154 #define SUBWORDHIQI(x, y) ((y) == 0 ? ((x) >> 8) : ((QI) (x)))
 155 #define SUBWORDHIHI(x) ((HI) (x))
 156 #define SUBWORDBIHI(x) ((x) ? true : false)
 157 \f
 158 // Floating point.
 159
 160 #define ADDSF(x, y) ((x) + (y))
 161 #define SUBSF(x, y) ((x) - (y))
 162 #define NEGSF(x) (- (x))
 163 #define MULSF(x, y) ((x) * (y))
 164 #define DIVSF(x, y) ((x) / (y))
 165 #define EQSF(x, y) ((SF) (x) == (SF) (y))
 166 #define NESF(x, y) ((SF) (x) != (SF) (y))
 167 #define LTSF(x, y) ((SF) (x) < (SF) (y))
 168 #define LESF(x, y) ((SF) (x) <= (SF) (y))
 169 #define GTSF(x, y) ((SF) (x) > (SF) (y))
 170 #define GESF(x, y) ((SF) (x) >= (SF) (y))
 171
 172 #define ADDDF(x, y) ((x) + (y))
 173 #define SUBDF(x, y) ((x) - (y))
 174 #define NEGDF(x) (- (x))
 175 #define MULDF(x, y) ((x) * (y))
 176 #define DIVDF(x, y) ((x) / (y))
 177 #define EQDF(x, y) ((DF) (x) == (DF) (y))
 178 #define NEDF(x, y) ((DF) (x) != (DF) (y))
 179 #define LTDF(x, y) ((DF) (x) < (DF) (y))
 180 #define LEDF(x, y) ((DF) (x) <= (DF) (y))
 181 #define GTDF(x, y) ((DF) (x) > (DF) (y))
 182 #define GEDF(x, y) ((DF) (x) >= (DF) (y))
 183
 184 #define ADDXF(x, y) ((x) + (y))
 185 #define SUBXF(x, y) ((x) - (y))
 186 #define NEGXF(x) (- (x))
 187 #define MULXF(x, y) ((x) * (y))
 188 #define DIVXF(x, y) ((x) / (y))
 189 #define EQXF(x, y) ((XF) (x) == (XF) (y))
 190 #define NEXF(x, y) ((XF) (x) != (XF) (y))
 191 #define LTXF(x, y) ((XF) (x) < (XF) (y))
 192 #define LEXF(x, y) ((XF) (x) <= (XF) (y))
 193 #define GTXF(x, y) ((XF) (x) > (XF) (y))
 194 #define GEXF(x, y) ((XF) (x) >= (XF) (y))
 195
 196 #define ADDTF(x, y) ((x) + (y))
 197 #define SUBTF(x, y) ((x) - (y))
 198 #define NEGTF(x) (- (x))
 199 #define MULTF(x, y) ((x) * (y))
 200 #define DIVTF(x, y) ((x) / (y))
 201 #define EQTF(x, y) ((TF) (x) == (TF) (y))
 202 #define NETF(x, y) ((TF) (x) != (TF) (y))
 203 #define LTTF(x, y) ((TF) (x) < (TF) (y))
 204 #define LETF(x, y) ((TF) (x) <= (TF) (y))
 205 #define GTTF(x, y) ((TF) (x) > (TF) (y))
 206 #define GETF(x, y) ((TF) (x) >= (TF) (y))
 207
 208 #define EXTBIQI(x) ((QI) (BI) (x))
 209 #define EXTBIHI(x) ((HI) (BI) (x))
 210 #define EXTBISI(x) ((SI) (BI) (x))
 211 #define EXTBIDI(x) ((DI) (BI) (x))
 212 #define EXTQIQI(x) ((QI) (x))
 213 #define EXTQIHI(x) ((HI) (QI) (x))
 214 #define EXTQISI(x) ((SI) (QI) (x))
 215 #define EXTQIDI(x) ((DI) (QI) (x))
 216 #define EXTHIHI(x) ((HI) (x))
 217 #define EXTHISI(x) ((SI) (HI) (x))
 218 #define EXTHIDI(x) ((DI) (HI) (x))
 219 #define EXTSISI(x) ((SI) (x))
 220 #define EXTSIDI(x) ((DI) (SI) (x))
 221 #define EXTDIDI(x) ((DI) (x))
 222 #define EXTSFDF(x) ((DF) (SF) (x))
 223 #define EXTSFXF(x) ((XF) (SF) (x))
 224 #define EXTSFTF(x) ((TF) (SF) (x))
 225 #define EXTDFXF(x) ((XF) (DF) (x))
 226 #define EXTDFTF(x) ((TF) (DF) (x))
 227 #define EXTXFTF(x) ((TF) (XF) (x))
 228
 229 #define ZEXTBIQI(x) ((QI) (BI) (x))
 230 #define ZEXTBIHI(x) ((HI) (BI) (x))
 231 #define ZEXTBISI(x) ((SI) (BI) (x))
 232 #define ZEXTBIDI(x) ((DI) (BI) (x))
 233 #define ZEXTQIQI(x) ((UQI) (x))
 234 #define ZEXTQIHI(x) ((HI) (UQI) (x))
 235 #define ZEXTQISI(x) ((SI) (UQI) (x))
 236 #define ZEXTQIDI(x) ((DI) (UQI) (x))
 237 #define ZEXTHIHI(x) ((UHI) (x))
 238 #define ZEXTHISI(x) ((SI) (UHI) (x))
 239 #define ZEXTHIDI(x) ((DI) (UHI) (x))
 240 #define ZEXTSISI(x) ((USI) (x))
 241 #define ZEXTSIDI(x) ((DI) (USI) (x))
 242 #define ZEXTDIDI(x) ((UDI) (x))
 243
 244 #define TRUNCQIBI(x) ((BI) (QI) (x))
 245 #define TRUNCQIQI(x) ((QI) (x))
 246 #define TRUNCHIBI(x) ((BI) (HI) (x))
 247 #define TRUNCHIQI(x) ((QI) (HI) (x))
 248 #define TRUNCHIHI(x) ((HI) (x))
 249 #define TRUNCSIBI(x) ((BI) (SI) (x))
 250 #define TRUNCSIQI(x) ((QI) (SI) (x))
 251 #define TRUNCSIHI(x) ((HI) (SI) (x))
 252 #define TRUNCSISI(x) ((SI) (x))
 253 #define TRUNCDIBI(x) ((BI) (DI) (x))
 254 #define TRUNCDIQI(x) ((QI) (DI) (x))
 255 #define TRUNCDIHI(x) ((HI) (DI) (x))
 256 #define TRUNCDISI(x) ((SI) (DI) (x))
 257 #define TRUNCDIDI(x) ((DI) (x))
 258 #define TRUNCDFSF(x) ((SF) (DF) (x))
 259 #define TRUNCXFSF(x) ((SF) (XF) (x))
 260 #define TRUNCXFDF(x) ((DF) (XF) (x))
 261 #define TRUNCTFSF(x) ((SF) (TF) (x))
 262 #define TRUNCTFDF(x) ((DF) (TF) (x))
 263 #define TRUNCTFXF(x) ((XF) (TF) (x))
 264
 265 #define FLOATQISF(x) ((SF) (QI) (x))
 266 #define FLOATQIDF(x) ((DF) (QI) (x))
 267 #define FLOATQIXF(x) ((XF) (QI) (x))
 268 #define FLOATQITF(x) ((TF) (QI) (x))
 269 #define FLOATHISF(x) ((SF) (HI) (x))
 270 #define FLOATHIDF(x) ((DF) (HI) (x))
 271 #define FLOATHIXF(x) ((XF) (HI) (x))
 272 #define FLOATHITF(x) ((TF) (HI) (x))
 273 #define FLOATSISF(x) ((SF) (SI) (x))
 274 #define FLOATSIDF(x) ((DF) (SI) (x))
 275 #define FLOATSIXF(x) ((XF) (SI) (x))
 276 #define FLOATSITF(x) ((TF) (SI) (x))
 277 #define FLOATDISF(x) ((SF) (DI) (x))
 278 #define FLOATDIDF(x) ((DF) (DI) (x))
 279 #define FLOATDIXF(x) ((XF) (DI) (x))
 280 #define FLOATDITF(x) ((TF) (DI) (x))
 281
 282 #define UFLOATQISF(x) ((SF) (UQI) (x))
 283 #define UFLOATQIDF(x) ((DF) (UQI) (x))
 284 #define UFLOATQIXF(x) ((XF) (UQI) (x))
 285 #define UFLOATQITF(x) ((TF) (UQI) (x))
 286 #define UFLOATHISF(x) ((SF) (UHI) (x))
 287 #define UFLOATHIDF(x) ((DF) (UHI) (x))
 288 #define UFLOATHIXF(x) ((XF) (UHI) (x))
 289 #define UFLOATHITF(x) ((TF) (UHI) (x))
 290 #define UFLOATSISF(x) ((SF) (USI) (x))
 291 #define UFLOATSIDF(x) ((DF) (USI) (x))
 292 #define UFLOATSIXF(x) ((XF) (USI) (x))
 293 #define UFLOATSITF(x) ((TF) (USI) (x))
 294 #define UFLOATDISF(x) ((SF) (UDI) (x))
 295 #define UFLOATDIDF(x) ((DF) (UDI) (x))
 296 #define UFLOATDIXF(x) ((XF) (UDI) (x))
 297 #define UFLOATDITF(x) ((TF) (UDI) (x))
 298
 299 #define FIXSFBI(x) ((BI) (SF) (x))
 300 #define FIXSFQI(x) ((QI) (SF) (x))
 301 #define FIXSFHI(x) ((HI) (SF) (x))
 302 #define FIXSFSI(x) ((SI) (SF) (x))
 303 #define FIXSFDI(x) ((DI) (SF) (x))
 304 #define FIXDFBI(x) ((BI) (DF) (x))
 305 #define FIXDFQI(x) ((QI) (DF) (x))
 306 #define FIXDFHI(x) ((HI) (DF) (x))
 307 #define FIXDFSI(x) ((SI) (DF) (x))
 308 #define FIXDFDI(x) ((DI) (DF) (x))
 309 #define FIXXFBI(x) ((BI) (XF) (x))
 310 #define FIXXFQI(x) ((QI) (XF) (x))
 311 #define FIXXFHI(x) ((HI) (XF) (x))
 312 #define FIXXFSI(x) ((SI) (XF) (x))
 313 #define FIXXFDI(x) ((DI) (XF) (x))
 314 #define FIXTFBI(x) ((BI) (TF) (x))
 315 #define FIXTFQI(x) ((QI) (TF) (x))
 316 #define FIXTFHI(x) ((HI) (TF) (x))
 317 #define FIXTFSI(x) ((SI) (TF) (x))
 318 #define FIXTFDI(x) ((DI) (TF) (x))
 319
 320 #define UFIXSFQI(x) ((UQI) (SF) (x))
 321 #define UFIXSFHI(x) ((UHI) (SF) (x))
 322 #define UFIXSFSI(x) ((USI) (SF) (x))
 323 #define UFIXSFDI(x) ((UDI) (SF) (x))
 324 #define UFIXDFQI(x) ((UQI) (DF) (x))
 325 #define UFIXDFHI(x) ((UHI) (DF) (x))
 326 #define UFIXDFSI(x) ((USI) (DF) (x))
 327 #define UFIXDFDI(x) ((UDI) (DF) (x))
 328 #define UFIXXFQI(x) ((UQI) (XF) (x))
 329 #define UFIXXFHI(x) ((UHI) (XF) (x))
 330 #define UFIXXFSI(x) ((USI) (XF) (x))
 331 #define UFIXXFDI(x) ((UDI) (XF) (x))
 332 #define UFIXTFQI(x) ((UQI) (TF) (x))
 333 #define UFIXTFHI(x) ((UHI) (TF) (x))
 334 #define UFIXTFSI(x) ((USI) (TF) (x))
 335 #define UFIXTFDI(x) ((UDI) (TF) (x))
 336 \f
 337 // Semantic support utilities.
 338
 339 inline QI
 340 ADDCQI (QI a, QI b, BI c)
 341 {
 342   QI res = ADDQI (a, ADDQI (b, c));
 343   return res;
 344 }
 345
 346 inline QI
 347 ADDCHI (HI a, HI b, HI c)
 348 {
 349   HI res = ADDHI (a, ADDHI (b, c));
 350   return res;
 351 }
 352
 353 inline SI
 354 ADDCSI (SI a, SI b, BI c)
 355 {
 356   SI res = ADDSI (a, ADDSI (b, c));
 357   return res;
 358 }
 359
 360 inline BI
 361 ADDCFQI (QI a, QI b, BI c)
 362 {
 363   QI tmp = ADDQI (a, ADDQI (b, c));
 364   BI res = ((UQI) tmp < (UQI) a) || (c && tmp == a);
 365   return res;
 366 }
 367
 368 inline BI
 369 ADDCFHI (HI a, HI b, BI c)
 370 {
 371   HI tmp = ADDHI (a, ADDHI (b, c));
 372   BI res = ((UHI) tmp < (UHI) a) || (c && tmp == a);
 373   return res;
 374 }
 375
 376 inline BI
 377 ADDCFSI (SI a, SI b, BI c)
 378 {
 379   SI tmp = ADDSI (a, ADDSI (b, c));
 380   BI res = ((USI) tmp < (USI) a) || (c && tmp == a);
 381   return res;
 382 }
 383
 384 inline BI
 385 ADDOFHI (HI a, HI b, BI c)
 386 {
 387   HI tmp = ADDHI (a, ADDHI (b, c));
 388   BI res = (((a < 0) == (b < 0))
 389             && ((a < 0) != (tmp < 0)));
 390   return res;
 391 }
 392
 393 inline BI
 394 ADDOFSI (SI a, SI b, BI c)
 395 {
 396   SI tmp = ADDSI (a, ADDSI (b, c));
 397   BI res = (((a < 0) == (b < 0))
 398             && ((a < 0) != (tmp < 0)));
 399   return res;
 400 }
 401
 402
 403 inline BI
 404 ADDOFDI (DI a, DI b, BI c)
 405 {
 406   DI tmp = ADDDI (a, ADDDI (b, c));
 407   BI res = (((a < 0) == (b < 0))
 408             && ((a < 0) != (tmp < 0)));
 409   return res;
 410 }
 411
 412 inline QI
 413 SUBCQI (QI a, QI b, BI c)
 414 {
 415   QI res = SUBQI (a, ADDQI (b, c));
 416   return res;
 417 }
 418
 419 inline HI
 420 SUBCHI (HI a, HI b, BI c)
 421 {
 422   HI res = SUBHI (a, ADDHI (b, c));
 423   return res;
 424 }
 425
 426 inline SI
 427 SUBCSI (SI a, SI b, BI c)
 428 {
 429   SI res = SUBSI (a, ADDSI (b, c));
 430   return res;
 431 }
 432
 433 inline BI
 434 SUBCFQI (QI a, QI b, BI c)
 435 {
 436   BI res = ((UQI) a < (UQI) b) || (c && a == b);
 437   return res;
 438 }
 439
 440 inline BI
 441 SUBCFHI (HI a, HI b, BI c)
 442 {
 443   BI res = ((UHI) a < (UHI) b) || (c && a == b);
 444   return res;
 445 }
 446
 447 inline BI
 448 SUBCFSI (SI a, SI b, BI c)
 449 {
 450   BI res = ((USI) a < (USI) b) || (c && a == b);
 451   return res;
 452 }
 453
 454 inline BI
 455 SUBOFHI (HI a, HI b, BI c)
 456 {
 457   HI tmp = SUBHI (a, ADDHI (b, c));
 458   BI res = (((a < 0) != (b < 0))
 459             && ((a < 0) != (tmp < 0)));
 460   return res;
 461 }
 462
 463 inline BI
 464 SUBOFSI (SI a, SI b, BI c)
 465 {
 466   SI tmp = SUBSI (a, ADDSI (b, c));
 467   BI res = (((a < 0) != (b < 0))
 468             && ((a < 0) != (tmp < 0)));
 469   return res;
 470 }
 471
 472 inline BI
 473 SUBOFDI (DI a, DI b, DI c)
 474 {
 475   DI tmp = SUBDI (a, ADDDI (b, c));
 476   BI res = (((a < 0) != (b < 0))
 477             && ((a < 0) != (tmp < 0)));
 478   return res;
 479 }
 480
 481
 482 } // namespace cgen
 483
 484 #endif // CGEN_OPS_H