1/* Semantics ops support for CGEN-based simulators. 2 Copyright (C) 1996-2023 Free Software Foundation, Inc. 3 Contributed by Cygnus Solutions. 4 5This file is part of the GNU Simulators. 6 7This program is free software; you can redistribute it and/or modify 8it under the terms of the GNU General Public License as published by 9the Free Software Foundation; either version 3 of the License, or 10(at your option) any later version. 11 12This program is distributed in the hope that it will be useful, 13but WITHOUT ANY WARRANTY; without even the implied warranty of 14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15GNU General Public License for more details. 16 17You should have received a copy of the GNU General Public License 18along with this program. If not, see <http://www.gnu.org/licenses/>. 19 20*/ 21 22#ifndef CGEN_SEM_OPS_H 23#define CGEN_SEM_OPS_H 24 25#include <assert.h> 26 27/* TODO: This should get moved into sim-inline.h. */ 28#if defined (__GNUC__) && ! defined (SEMOPS_DEFINE_INLINE) 29#define SEMOPS_DEFINE_INLINE 30#define SEMOPS_INLINE EXTERN_INLINE 31#else 32#define SEMOPS_INLINE 33#endif 34 35/* Semantic operations. 36 At one point this file was machine generated. Maybe it will be again. */ 37 38/* TODO: Lazy encoding/decoding of fp values. */ 39 40/* These don't really have a mode. */ 41#define ANDIF(x, y) ((x) && (y)) 42#define ORIF(x, y) ((x) || (y)) 43 44#define SUBBI(x, y) ((x) - (y)) 45#define ANDBI(x, y) ((x) & (y)) 46#define ORBI(x, y) ((x) | (y)) 47#define XORBI(x, y) ((x) ^ (y)) 48#define NEGBI(x) (- (x)) 49#define NOTBI(x) (! (BI) (x)) 50#define INVBI(x) (~ (x)) 51#define EQBI(x, y) ((BI) (x) == (BI) (y)) 52#define NEBI(x, y) ((BI) (x) != (BI) (y)) 53#define LTBI(x, y) ((BI) (x) < (BI) (y)) 54#define LEBI(x, y) ((BI) (x) <= (BI) (y)) 55#define GTBI(x, y) ((BI) (x) > (BI) (y)) 56#define GEBI(x, y) ((BI) (x) >= (BI) (y)) 57#define LTUBI(x, y) ((BI) (x) < (BI) (y)) 58#define LEUBI(x, y) ((BI) (x) <= (BI) (y)) 59#define GTUBI(x, y) ((BI) (x) > (BI) (y)) 60#define GEUBI(x, y) ((BI) (x) >= (BI) (y)) 61 62#define ADDQI(x, y) ((QI) ((UQI) (x) + (UQI) (y))) 63#define SUBQI(x, y) ((QI) ((UQI) (x) - (UQI) (y))) 64#define MULQI(x, y) ((QI) ((UQI) (x) * (UQI) (y))) 65#define DIVQI(x, y) ((QI) (x) / (QI) (y)) 66#define UDIVQI(x, y) ((UQI) (x) / (UQI) (y)) 67#define MODQI(x, y) ((QI) (x) % (QI) (y)) 68#define UMODQI(x, y) ((UQI) (x) % (UQI) (y)) 69#define SRAQI(x, y) ((QI) (x) >> (y)) 70#define SRLQI(x, y) ((UQI) (x) >> (y)) 71#define SLLQI(x, y) ((UQI) (x) << (y)) 72extern QI RORQI (QI, int); 73extern QI ROLQI (QI, int); 74#define ANDQI(x, y) ((x) & (y)) 75#define ORQI(x, y) ((x) | (y)) 76#define XORQI(x, y) ((x) ^ (y)) 77#define NEGQI(x) ((QI) (- (UQI) (x))) 78#define NOTQI(x) (! (QI) (x)) 79#define INVQI(x) (~ (x)) 80#define ABSQI(x) ((QI) ((QI) (x) < 0 ? -(UQI) (x) : (UQI) (x))) 81#define EQQI(x, y) ((QI) (x) == (QI) (y)) 82#define NEQI(x, y) ((QI) (x) != (QI) (y)) 83#define LTQI(x, y) ((QI) (x) < (QI) (y)) 84#define LEQI(x, y) ((QI) (x) <= (QI) (y)) 85#define GTQI(x, y) ((QI) (x) > (QI) (y)) 86#define GEQI(x, y) ((QI) (x) >= (QI) (y)) 87#define LTUQI(x, y) ((UQI) (x) < (UQI) (y)) 88#define LEUQI(x, y) ((UQI) (x) <= (UQI) (y)) 89#define GTUQI(x, y) ((UQI) (x) > (UQI) (y)) 90#define GEUQI(x, y) ((UQI) (x) >= (UQI) (y)) 91 92#define ADDHI(x, y) ((HI) ((UHI) (x) + (UHI) (y))) 93#define SUBHI(x, y) ((HI) ((UHI) (x) - (UHI) (y))) 94#define MULHI(x, y) ((HI) ((UHI) (x) * (UHI) (y))) 95#define DIVHI(x, y) ((HI) (x) / (HI) (y)) 96#define UDIVHI(x, y) ((UHI) (x) / (UHI) (y)) 97#define MODHI(x, y) ((HI) (x) % (HI) (y)) 98#define UMODHI(x, y) ((UHI) (x) % (UHI) (y)) 99#define SRAHI(x, y) ((HI) (x) >> (y)) 100#define SRLHI(x, y) ((UHI) (x) >> (y)) 101#define SLLHI(x, y) ((UHI) (x) << (y)) 102extern HI RORHI (HI, int); 103extern HI ROLHI (HI, int); 104#define ANDHI(x, y) ((x) & (y)) 105#define ORHI(x, y) ((x) | (y)) 106#define XORHI(x, y) ((x) ^ (y)) 107#define NEGHI(x) ((HI) (- (UHI) (x))) 108#define NOTHI(x) (! (HI) (x)) 109#define INVHI(x) (~ (x)) 110#define ABSHI(x) ((HI) ((HI) (x) < 0 ? -(UHI) (x) : (UHI) (x))) 111#define EQHI(x, y) ((HI) (x) == (HI) (y)) 112#define NEHI(x, y) ((HI) (x) != (HI) (y)) 113#define LTHI(x, y) ((HI) (x) < (HI) (y)) 114#define LEHI(x, y) ((HI) (x) <= (HI) (y)) 115#define GTHI(x, y) ((HI) (x) > (HI) (y)) 116#define GEHI(x, y) ((HI) (x) >= (HI) (y)) 117#define LTUHI(x, y) ((UHI) (x) < (UHI) (y)) 118#define LEUHI(x, y) ((UHI) (x) <= (UHI) (y)) 119#define GTUHI(x, y) ((UHI) (x) > (UHI) (y)) 120#define GEUHI(x, y) ((UHI) (x) >= (UHI) (y)) 121 122#define ADDSI(x, y) ((SI) ((USI) (x) + (USI) (y))) 123#define SUBSI(x, y) ((SI) ((USI) (x) - (USI) (y))) 124#define MULSI(x, y) ((SI) ((USI) (x) * (USI) (y))) 125#define DIVSI(x, y) ((SI) (x) / (SI) (y)) 126#define UDIVSI(x, y) ((USI) (x) / (USI) (y)) 127#define MODSI(x, y) ((SI) (x) % (SI) (y)) 128#define UMODSI(x, y) ((USI) (x) % (USI) (y)) 129#define SRASI(x, y) ((SI) (x) >> (y)) 130#define SRLSI(x, y) ((USI) (x) >> (y)) 131#define SLLSI(x, y) ((USI) (x) << (y)) 132extern SI RORSI (SI, int); 133extern SI ROLSI (SI, int); 134#define ANDSI(x, y) ((x) & (y)) 135#define ORSI(x, y) ((x) | (y)) 136#define XORSI(x, y) ((x) ^ (y)) 137#define NEGSI(x) ((SI) (- (USI) (x))) 138#define NOTSI(x) (! (SI) (x)) 139#define INVSI(x) (~ (x)) 140#define ABSSI(x) ((SI) ((SI) (x) < 0 ? -(USI) (x) : (USI) (x))) 141#define EQSI(x, y) ((SI) (x) == (SI) (y)) 142#define NESI(x, y) ((SI) (x) != (SI) (y)) 143#define LTSI(x, y) ((SI) (x) < (SI) (y)) 144#define LESI(x, y) ((SI) (x) <= (SI) (y)) 145#define GTSI(x, y) ((SI) (x) > (SI) (y)) 146#define GESI(x, y) ((SI) (x) >= (SI) (y)) 147#define LTUSI(x, y) ((USI) (x) < (USI) (y)) 148#define LEUSI(x, y) ((USI) (x) <= (USI) (y)) 149#define GTUSI(x, y) ((USI) (x) > (USI) (y)) 150#define GEUSI(x, y) ((USI) (x) >= (USI) (y)) 151 152#ifdef DI_FN_SUPPORT 153extern DI ADDDI (DI, DI); 154extern DI SUBDI (DI, DI); 155extern DI MULDI (DI, DI); 156extern DI DIVDI (DI, DI); 157extern DI UDIVDI (DI, DI); 158extern DI MODDI (DI, DI); 159extern DI UMODDI (DI, DI); 160extern DI SRADI (DI, int); 161extern UDI SRLDI (UDI, int); 162extern UDI SLLDI (UDI, int); 163extern DI RORDI (DI, int); 164extern DI ROLDI (DI, int); 165extern DI ANDDI (DI, DI); 166extern DI ORDI (DI, DI); 167extern DI XORDI (DI, DI); 168extern DI NEGDI (DI); 169extern int NOTDI (DI); 170extern DI INVDI (DI); 171extern int EQDI (DI, DI); 172extern int NEDI (DI, DI); 173extern int LTDI (DI, DI); 174extern int LEDI (DI, DI); 175extern int GTDI (DI, DI); 176extern int GEDI (DI, DI); 177extern int LTUDI (UDI, UDI); 178extern int LEUDI (UDI, UDI); 179extern int GTUDI (UDI, UDI); 180extern int GEUDI (UDI, UDI); 181#else /* ! DI_FN_SUPPORT */ 182#define ADDDI(x, y) ((DI) ((UDI) (x) + (UDI) (y))) 183#define SUBDI(x, y) ((DI) ((UDI) (x) - (UDI) (y))) 184#define MULDI(x, y) ((DI) ((UDI) (x) * (UDI) (y))) 185#define DIVDI(x, y) ((DI) (x) / (DI) (y)) 186#define UDIVDI(x, y) ((UDI) (x) / (UDI) (y)) 187#define MODDI(x, y) ((DI) (x) % (DI) (y)) 188#define UMODDI(x, y) ((UDI) (x) % (UDI) (y)) 189#define SRADI(x, y) ((DI) (x) >> (y)) 190#define SRLDI(x, y) ((UDI) (x) >> (y)) 191#define SLLDI(x, y) ((UDI) (x) << (y)) 192extern DI RORDI (DI, int); 193extern DI ROLDI (DI, int); 194#define ANDDI(x, y) ((x) & (y)) 195#define ORDI(x, y) ((x) | (y)) 196#define XORDI(x, y) ((x) ^ (y)) 197#define NEGDI(x) ((DI) (- (UDI) (x))) 198#define NOTDI(x) (! (DI) (x)) 199#define INVDI(x) (~ (x)) 200#define ABSDI(x) ((DI) ((DI) (x) < 0 ? -(UDI) (x) : (UDI) (x))) 201#define EQDI(x, y) ((DI) (x) == (DI) (y)) 202#define NEDI(x, y) ((DI) (x) != (DI) (y)) 203#define LTDI(x, y) ((DI) (x) < (DI) (y)) 204#define LEDI(x, y) ((DI) (x) <= (DI) (y)) 205#define GTDI(x, y) ((DI) (x) > (DI) (y)) 206#define GEDI(x, y) ((DI) (x) >= (DI) (y)) 207#define LTUDI(x, y) ((UDI) (x) < (UDI) (y)) 208#define LEUDI(x, y) ((UDI) (x) <= (UDI) (y)) 209#define GTUDI(x, y) ((UDI) (x) > (UDI) (y)) 210#define GEUDI(x, y) ((UDI) (x) >= (UDI) (y)) 211#endif /* DI_FN_SUPPORT */ 212 213#define EXTBIQI(x) ((QI) (BI) (x)) 214#define EXTBIHI(x) ((HI) (BI) (x)) 215#define EXTBISI(x) ((SI) (BI) (x)) 216#if defined (DI_FN_SUPPORT) 217extern DI EXTBIDI (BI); 218#else 219#define EXTBIDI(x) ((DI) (BI) (x)) 220#endif 221#define EXTQIHI(x) ((HI) (QI) (x)) 222#define EXTQISI(x) ((SI) (QI) (x)) 223#if defined (DI_FN_SUPPORT) 224extern DI EXTQIDI (QI); 225#else 226#define EXTQIDI(x) ((DI) (QI) (x)) 227#endif 228#define EXTHIHI(x) ((HI) (HI) (x)) 229#define EXTHISI(x) ((SI) (HI) (x)) 230#define EXTSISI(x) ((SI) (SI) (x)) 231#if defined (DI_FN_SUPPORT) 232extern DI EXTHIDI (HI); 233#else 234#define EXTHIDI(x) ((DI) (HI) (x)) 235#endif 236#if defined (DI_FN_SUPPORT) 237extern DI EXTSIDI (SI); 238#else 239#define EXTSIDI(x) ((DI) (SI) (x)) 240#endif 241 242#define ZEXTBIQI(x) ((QI) (BI) (x)) 243#define ZEXTBIHI(x) ((HI) (BI) (x)) 244#define ZEXTBISI(x) ((SI) (BI) (x)) 245#if defined (DI_FN_SUPPORT) 246extern DI ZEXTBIDI (BI); 247#else 248#define ZEXTBIDI(x) ((DI) (BI) (x)) 249#endif 250#define ZEXTQIHI(x) ((HI) (UQI) (x)) 251#define ZEXTQISI(x) ((SI) (UQI) (x)) 252#if defined (DI_FN_SUPPORT) 253extern DI ZEXTQIDI (QI); 254#else 255#define ZEXTQIDI(x) ((DI) (UQI) (x)) 256#endif 257#define ZEXTHISI(x) ((SI) (UHI) (x)) 258#define ZEXTHIHI(x) ((HI) (UHI) (x)) 259#define ZEXTSISI(x) ((SI) (USI) (x)) 260#if defined (DI_FN_SUPPORT) 261extern DI ZEXTHIDI (HI); 262#else 263#define ZEXTHIDI(x) ((DI) (UHI) (x)) 264#endif 265#if defined (DI_FN_SUPPORT) 266extern DI ZEXTSIDI (SI); 267#else 268#define ZEXTSIDI(x) ((DI) (USI) (x)) 269#endif 270 271#define TRUNCQIBI(x) ((BI) (QI) (x)) 272#define TRUNCHIBI(x) ((BI) (HI) (x)) 273#define TRUNCHIQI(x) ((QI) (HI) (x)) 274#define TRUNCSIBI(x) ((BI) (SI) (x)) 275#define TRUNCSIQI(x) ((QI) (SI) (x)) 276#define TRUNCSIHI(x) ((HI) (SI) (x)) 277#define TRUNCSISI(x) ((SI) (SI) (x)) 278#if defined (DI_FN_SUPPORT) 279extern BI TRUNCDIBI (DI); 280#else 281#define TRUNCDIBI(x) ((BI) (DI) (x)) 282#endif 283#if defined (DI_FN_SUPPORT) 284extern QI TRUNCDIQI (DI); 285#else 286#define TRUNCDIQI(x) ((QI) (DI) (x)) 287#endif 288#if defined (DI_FN_SUPPORT) 289extern HI TRUNCDIHI (DI); 290#else 291#define TRUNCDIHI(x) ((HI) (DI) (x)) 292#endif 293#if defined (DI_FN_SUPPORT) 294extern SI TRUNCDISI (DI); 295#else 296#define TRUNCDISI(x) ((SI) (DI) (x)) 297#endif 298 299/* Composing/decomposing the various types. 300 Word ordering is endian-independent. Words are specified most to least 301 significant and word number 0 is the most significant word. 302 ??? May also wish an endian-dependent version. Later. */ 303 304QI SUBWORDSIQI (SI, int); 305HI SUBWORDSIHI (SI, int); 306SI SUBWORDSFSI (SF); 307SF SUBWORDSISF (SI); 308DI SUBWORDDFDI (DF); 309DF SUBWORDDIDF (DI); 310QI SUBWORDDIQI (DI, int); 311HI SUBWORDDIHI (DI, int); 312SI SUBWORDDISI (DI, int); 313SI SUBWORDDFSI (DF, int); 314SI SUBWORDXFSI (XF, int); 315SI SUBWORDTFSI (TF, int); 316 317UQI SUBWORDSIUQI (SI, int); 318UQI SUBWORDDIUQI (DI, int); 319 320DI JOINSIDI (SI, SI); 321DF JOINSIDF (SI, SI); 322XF JOINSIXF (SI, SI, SI); 323TF JOINSITF (SI, SI, SI, SI); 324 325#ifdef SEMOPS_DEFINE_INLINE 326 327SEMOPS_INLINE SF 328SUBWORDSISF (SI in) 329{ 330 union { SI in; SF out; } x; 331 x.in = in; 332 return x.out; 333} 334 335SEMOPS_INLINE DF 336SUBWORDDIDF (DI in) 337{ 338 union { DI in; DF out; } x; 339 x.in = in; 340 return x.out; 341} 342 343SEMOPS_INLINE QI 344SUBWORDSIQI (SI in, int byte) 345{ 346 assert (byte >= 0 && byte <= 3); 347 return (UQI) (in >> (8 * (3 - byte))) & 0xFF; 348} 349 350SEMOPS_INLINE UQI 351SUBWORDSIUQI (SI in, int byte) 352{ 353 assert (byte >= 0 && byte <= 3); 354 return (UQI) (in >> (8 * (3 - byte))) & 0xFF; 355} 356 357SEMOPS_INLINE QI 358SUBWORDDIQI (DI in, int byte) 359{ 360 assert (byte >= 0 && byte <= 7); 361 return (UQI) (in >> (8 * (7 - byte))) & 0xFF; 362} 363 364SEMOPS_INLINE HI 365SUBWORDDIHI (DI in, int word) 366{ 367 assert (word >= 0 && word <= 3); 368 return (UHI) (in >> (16 * (3 - word))) & 0xFFFF; 369} 370 371SEMOPS_INLINE HI 372SUBWORDSIHI (SI in, int word) 373{ 374 if (word == 0) 375 return (USI) in >> 16; 376 else 377 return in; 378} 379 380SEMOPS_INLINE SI 381SUBWORDSFSI (SF in) 382{ 383 union { SF in; SI out; } x; 384 x.in = in; 385 return x.out; 386} 387 388SEMOPS_INLINE DI 389SUBWORDDFDI (DF in) 390{ 391 union { DF in; DI out; } x; 392 x.in = in; 393 return x.out; 394} 395 396SEMOPS_INLINE UQI 397SUBWORDDIUQI (DI in, int byte) 398{ 399 assert (byte >= 0 && byte <= 7); 400 return (UQI) (in >> (8 * (7 - byte))); 401} 402 403SEMOPS_INLINE SI 404SUBWORDDISI (DI in, int word) 405{ 406 if (word == 0) 407 return (UDI) in >> 32; 408 else 409 return in; 410} 411 412SEMOPS_INLINE SI 413SUBWORDDFSI (DF in, int word) 414{ 415 /* Note: typedef UDI DF; */ 416 if (word == 0) 417 return (UDI) in >> 32; 418 else 419 return in; 420} 421 422SEMOPS_INLINE SI 423SUBWORDXFSI (XF in, int word) 424{ 425 /* Note: typedef struct { SI parts[3]; } XF; */ 426 union { XF in; SI out[3]; } x; 427 x.in = in; 428 if (HOST_BYTE_ORDER == BFD_ENDIAN_BIG) 429 return x.out[word]; 430 else 431 return x.out[2 - word]; 432} 433 434SEMOPS_INLINE SI 435SUBWORDTFSI (TF in, int word) 436{ 437 /* Note: typedef struct { SI parts[4]; } TF; */ 438 union { TF in; SI out[4]; } x; 439 x.in = in; 440 if (HOST_BYTE_ORDER == BFD_ENDIAN_BIG) 441 return x.out[word]; 442 else 443 return x.out[3 - word]; 444} 445 446SEMOPS_INLINE DI 447JOINSIDI (SI x0, SI x1) 448{ 449 return MAKEDI (x0, x1); 450} 451 452SEMOPS_INLINE DF 453JOINSIDF (SI x0, SI x1) 454{ 455 union { SI in[2]; DF out; } x; 456 if (HOST_BYTE_ORDER == BFD_ENDIAN_BIG) 457 x.in[0] = x0, x.in[1] = x1; 458 else 459 x.in[1] = x0, x.in[0] = x1; 460 return x.out; 461} 462 463SEMOPS_INLINE XF 464JOINSIXF (SI x0, SI x1, SI x2) 465{ 466 union { SI in[3]; XF out; } x; 467 if (HOST_BYTE_ORDER == BFD_ENDIAN_BIG) 468 x.in[0] = x0, x.in[1] = x1, x.in[2] = x2; 469 else 470 x.in[2] = x0, x.in[1] = x1, x.in[0] = x2; 471 return x.out; 472} 473 474SEMOPS_INLINE TF 475JOINSITF (SI x0, SI x1, SI x2, SI x3) 476{ 477 union { SI in[4]; TF out; } x; 478 if (HOST_BYTE_ORDER == BFD_ENDIAN_BIG) 479 x.in[0] = x0, x.in[1] = x1, x.in[2] = x2, x.in[3] = x3; 480 else 481 x.in[3] = x0, x.in[2] = x1, x.in[1] = x2, x.in[0] = x3; 482 return x.out; 483} 484 485#endif /* SUBWORD,JOIN */ 486 487/* Semantic support utilities. */ 488 489SI ADDCSI (SI, SI, BI); 490BI ADDCFSI (SI, SI, BI); 491BI ADDOFSI (SI, SI, BI); 492SI SUBCSI (SI, SI, BI); 493BI SUBCFSI (SI, SI, BI); 494BI SUBOFSI (SI, SI, BI); 495HI ADDCHI (HI, HI, BI); 496BI ADDCFHI (HI, HI, BI); 497BI ADDOFHI (HI, HI, BI); 498HI SUBCHI (HI, HI, BI); 499BI SUBCFHI (HI, HI, BI); 500BI SUBOFHI (HI, HI, BI); 501QI ADDCQI (QI, QI, BI); 502BI ADDCFQI (QI, QI, BI); 503BI ADDOFQI (QI, QI, BI); 504QI SUBCQI (QI, QI, BI); 505BI SUBCFQI (QI, QI, BI); 506BI SUBOFQI (QI, QI, BI); 507BI MUL1OFSI (USI a, USI b); 508BI MUL2OFSI (SI a, SI b); 509BI ADDCFDI (DI a, DI b, BI c); 510BI ADDOFDI (DI a, DI b, BI c); 511BI SUBCFDI (DI a, DI b, BI c); 512BI SUBOFDI (DI a, DI b, BI c); 513 514#ifdef SEMOPS_DEFINE_INLINE 515 516SEMOPS_INLINE SI 517ADDCSI (SI a, SI b, BI c) 518{ 519 SI res = ADDSI (a, ADDSI (b, c)); 520 return res; 521} 522 523SEMOPS_INLINE BI 524ADDCFSI (SI a, SI b, BI c) 525{ 526 SI tmp = ADDSI (a, ADDSI (b, c)); 527 BI res = ((USI) tmp < (USI) a) || (c && tmp == a); 528 return res; 529} 530 531SEMOPS_INLINE BI 532ADDOFSI (SI a, SI b, BI c) 533{ 534 SI tmp = ADDSI (a, ADDSI (b, c)); 535 BI res = (((a < 0) == (b < 0)) 536 && ((a < 0) != (tmp < 0))); 537 return res; 538} 539 540SEMOPS_INLINE SI 541SUBCSI (SI a, SI b, BI c) 542{ 543 SI res = SUBSI (a, ADDSI (b, c)); 544 return res; 545} 546 547SEMOPS_INLINE BI 548SUBCFSI (SI a, SI b, BI c) 549{ 550 BI res = ((USI) a < (USI) b) || (c && a == b); 551 return res; 552} 553 554SEMOPS_INLINE BI 555SUBOFSI (SI a, SI b, BI c) 556{ 557 SI tmp = SUBSI (a, ADDSI (b, c)); 558 BI res = (((a < 0) != (b < 0)) 559 && ((a < 0) != (tmp < 0))); 560 return res; 561} 562 563SEMOPS_INLINE HI 564ADDCHI (HI a, HI b, BI c) 565{ 566 HI res = ADDHI (a, ADDHI (b, c)); 567 return res; 568} 569 570SEMOPS_INLINE BI 571ADDCFHI (HI a, HI b, BI c) 572{ 573 HI tmp = ADDHI (a, ADDHI (b, c)); 574 BI res = ((UHI) tmp < (UHI) a) || (c && tmp == a); 575 return res; 576} 577 578SEMOPS_INLINE BI 579ADDOFHI (HI a, HI b, BI c) 580{ 581 HI tmp = ADDHI (a, ADDHI (b, c)); 582 BI res = (((a < 0) == (b < 0)) 583 && ((a < 0) != (tmp < 0))); 584 return res; 585} 586 587SEMOPS_INLINE HI 588SUBCHI (HI a, HI b, BI c) 589{ 590 HI res = SUBHI (a, ADDHI (b, c)); 591 return res; 592} 593 594SEMOPS_INLINE BI 595SUBCFHI (HI a, HI b, BI c) 596{ 597 BI res = ((UHI) a < (UHI) b) || (c && a == b); 598 return res; 599} 600 601SEMOPS_INLINE BI 602SUBOFHI (HI a, HI b, BI c) 603{ 604 HI tmp = SUBHI (a, ADDHI (b, c)); 605 BI res = (((a < 0) != (b < 0)) 606 && ((a < 0) != (tmp < 0))); 607 return res; 608} 609 610SEMOPS_INLINE QI 611ADDCQI (QI a, QI b, BI c) 612{ 613 QI res = ADDQI (a, ADDQI (b, c)); 614 return res; 615} 616 617SEMOPS_INLINE BI 618ADDCFQI (QI a, QI b, BI c) 619{ 620 QI tmp = ADDQI (a, ADDQI (b, c)); 621 BI res = ((UQI) tmp < (UQI) a) || (c && tmp == a); 622 return res; 623} 624 625SEMOPS_INLINE BI 626ADDOFQI (QI a, QI b, BI c) 627{ 628 QI tmp = ADDQI (a, ADDQI (b, c)); 629 BI res = (((a < 0) == (b < 0)) 630 && ((a < 0) != (tmp < 0))); 631 return res; 632} 633 634SEMOPS_INLINE QI 635SUBCQI (QI a, QI b, BI c) 636{ 637 QI res = SUBQI (a, ADDQI (b, c)); 638 return res; 639} 640 641SEMOPS_INLINE BI 642SUBCFQI (QI a, QI b, BI c) 643{ 644 BI res = ((UQI) a < (UQI) b) || (c && a == b); 645 return res; 646} 647 648SEMOPS_INLINE BI 649SUBOFQI (QI a, QI b, BI c) 650{ 651 QI tmp = SUBQI (a, ADDQI (b, c)); 652 BI res = (((a < 0) != (b < 0)) 653 && ((a < 0) != (tmp < 0))); 654 return res; 655} 656 657SEMOPS_INLINE BI 658MUL2OFSI (SI a, SI b) 659{ 660 DI tmp = MULDI (EXTSIDI (a), EXTSIDI (b)); 661 BI res = tmp < -0x80000000LL || tmp > 0x7fffffffLL; 662 return res; 663} 664 665SEMOPS_INLINE BI 666MUL1OFSI (USI a, USI b) 667{ 668 UDI tmp = MULDI (ZEXTSIDI (a), ZEXTSIDI (b)); 669 BI res = (tmp > 0xFFFFFFFFULL); 670 return res; 671} 672 673SEMOPS_INLINE BI 674ADDCFDI (DI a, DI b, BI c) 675{ 676 DI tmp = ADDDI (a, ADDDI (b, c)); 677 BI res = ((UDI) tmp < (UDI) a) || (c && tmp == a); 678 return res; 679} 680 681SEMOPS_INLINE BI 682ADDOFDI (DI a, DI b, BI c) 683{ 684 DI tmp = ADDDI (a, ADDDI (b, c)); 685 BI res = (((a < 0) == (b < 0)) 686 && ((a < 0) != (tmp < 0))); 687 return res; 688} 689 690SEMOPS_INLINE BI 691SUBCFDI (DI a, DI b, BI c) 692{ 693 BI res = ((UDI) a < (UDI) b) || (c && a == b); 694 return res; 695} 696 697SEMOPS_INLINE BI 698SUBOFDI (DI a, DI b, BI c) 699{ 700 DI tmp = SUBDI (a, ADDSI (b, c)); 701 BI res = (((a < 0) != (b < 0)) 702 && ((a < 0) != (tmp < 0))); 703 return res; 704} 705 706#endif 707 708extern void cgen_rtx_error (SIM_CPU *, const char *); 709 710#endif /* CGEN_SEM_OPS_H */ 711