tests/clight/ifthenelse.Cminor.expected

   1
   2
   3
   4 extern "__builtin___memcpy_chk" : int -> int -> int -> int -> int
   5
   6
   7 extern "__builtin___memmove_chk" : int -> int -> int -> int -> int
   8
   9
  10 extern "__builtin___mempcpy_chk" : int -> int -> int -> int -> int
  11
  12
  13 extern "__builtin___memset_chk" : int -> int -> int -> int -> int
  14
  15
  16 extern "__builtin___stpcpy_chk" : int -> int -> int -> int
  17
  18
  19 extern "__builtin___strcat_chk" : int -> int -> int -> int
  20
  21
  22 extern "__builtin___strcpy_chk" : int -> int -> int -> int
  23
  24
  25 extern "__builtin___strncat_chk" : int -> int -> int -> int -> int
  26
  27
  28 extern "__builtin___strncpy_chk" : int -> int -> int -> int -> int
  29
  30
  31 extern "__builtin___vfprintf_chk" : int -> int -> int -> int -> int
  32
  33
  34 extern "__builtin___vprintf_chk" : int -> int -> int -> int
  35
  36
  37 extern "__builtin___vsnprintf_chk" : int -> int -> int -> int -> int -> int -> int
  38
  39
  40 extern "__builtin___vsprintf_chk" : int -> int -> int -> int -> int -> int
  41
  42
  43 extern "__builtin_acos" : float -> float
  44
  45
  46 extern "__builtin_acosf" : float -> float
  47
  48
  49 extern "__builtin_acosl" : float -> float
  50
  51
  52 extern "__builtin_alloca" : int -> int
  53
  54
  55 extern "__builtin_asin" : float -> float
  56
  57
  58 extern "__builtin_asinf" : float -> float
  59
  60
  61 extern "__builtin_asinl" : float -> float
  62
  63
  64 extern "__builtin_atan" : float -> float
  65
  66
  67 extern "__builtin_atanf" : float -> float
  68
  69
  70 extern "__builtin_atanl" : float -> float
  71
  72
  73 extern "__builtin_atan2" : float -> float -> float
  74
  75
  76 extern "__builtin_atan2f" : float -> float -> float
  77
  78
  79 extern "__builtin_atan2l" : float -> float -> float
  80
  81
  82 extern "__builtin_ceil" : float -> float
  83
  84
  85 extern "__builtin_ceilf" : float -> float
  86
  87
  88 extern "__builtin_ceill" : float -> float
  89
  90
  91 extern "__builtin_cos" : float -> float
  92
  93
  94 extern "__builtin_cosf" : float -> float
  95
  96
  97 extern "__builtin_cosl" : float -> float
  98
  99
 100 extern "__builtin_cosh" : float -> float
 101
 102
 103 extern "__builtin_coshf" : float -> float
 104
 105
 106 extern "__builtin_coshl" : float -> float
 107
 108
 109 extern "__builtin_clz" : int -> int
 110
 111
 112 extern "__builtin_clzl" : int -> int
 113
 114
 115 extern "__builtin_clzll" : int -> int
 116
 117
 118 extern "__builtin_constant_p" : int -> int
 119
 120
 121 extern "__builtin_ctz" : int -> int
 122
 123
 124 extern "__builtin_ctzl" : int -> int
 125
 126
 127 extern "__builtin_ctzll" : int -> int
 128
 129
 130 extern "__builtin_exp" : float -> float
 131
 132
 133 extern "__builtin_expf" : float -> float
 134
 135
 136 extern "__builtin_expl" : float -> float
 137
 138
 139 extern "__builtin_expect" : int -> int -> int
 140
 141
 142 extern "__builtin_fabs" : float -> float
 143
 144
 145 extern "__builtin_fabsf" : float -> float
 146
 147
 148 extern "__builtin_fabsl" : float -> float
 149
 150
 151 extern "__builtin_ffs" : int -> int
 152
 153
 154 extern "__builtin_ffsl" : int -> int
 155
 156
 157 extern "__builtin_ffsll" : int -> int
 158
 159
 160 extern "__builtin_frame_address" : int -> int
 161
 162
 163 extern "__builtin_floor" : float -> float
 164
 165
 166 extern "__builtin_floorf" : float -> float
 167
 168
 169 extern "__builtin_floorl" : float -> float
 170
 171
 172 extern "__builtin_huge_val" : float
 173
 174
 175 extern "__builtin_huge_valf" : float
 176
 177
 178 extern "__builtin_huge_vall" : float
 179
 180
 181 extern "__builtin_inf" : float
 182
 183
 184 extern "__builtin_inff" : float
 185
 186
 187 extern "__builtin_infl" : float
 188
 189
 190 extern "__builtin_memcpy" : int -> int -> int -> int
 191
 192
 193 extern "__builtin_mempcpy" : int -> int -> int -> int
 194
 195
 196 extern "__builtin_fmod" : float -> float
 197
 198
 199 extern "__builtin_fmodf" : float -> float
 200
 201
 202 extern "__builtin_fmodl" : float -> float
 203
 204
 205 extern "__builtin_frexp" : float -> int -> float
 206
 207
 208 extern "__builtin_frexpf" : float -> int -> float
 209
 210
 211 extern "__builtin_frexpl" : float -> int -> float
 212
 213
 214 extern "__builtin_ldexp" : float -> int -> float
 215
 216
 217 extern "__builtin_ldexpf" : float -> int -> float
 218
 219
 220 extern "__builtin_ldexpl" : float -> int -> float
 221
 222
 223 extern "__builtin_log" : float -> float
 224
 225
 226 extern "__builtin_logf" : float -> float
 227
 228
 229 extern "__builtin_logl" : float -> float
 230
 231
 232 extern "__builtin_log10" : float -> float
 233
 234
 235 extern "__builtin_log10f" : float -> float
 236
 237
 238 extern "__builtin_log10l" : float -> float
 239
 240
 241 extern "__builtin_modff" : float -> int -> float
 242
 243
 244 extern "__builtin_modfl" : float -> int -> float
 245
 246
 247 extern "__builtin_nan" : int -> float
 248
 249
 250 extern "__builtin_nanf" : int -> float
 251
 252
 253 extern "__builtin_nanl" : int -> float
 254
 255
 256 extern "__builtin_nans" : int -> float
 257
 258
 259 extern "__builtin_nansf" : int -> float
 260
 261
 262 extern "__builtin_nansl" : int -> float
 263
 264
 265 extern "__builtin_next_arg" : int
 266
 267
 268 extern "__builtin_object_size" : int -> int -> int
 269
 270
 271 extern "__builtin_parity" : int -> int
 272
 273
 274 extern "__builtin_parityl" : int -> int
 275
 276
 277 extern "__builtin_parityll" : int -> int
 278
 279
 280 extern "__builtin_popcount" : int -> int
 281
 282
 283 extern "__builtin_popcountl" : int -> int
 284
 285
 286 extern "__builtin_popcountll" : int -> int
 287
 288
 289 extern "__builtin_powi" : float -> int -> float
 290
 291
 292 extern "__builtin_powif" : float -> int -> float
 293
 294
 295 extern "__builtin_powil" : float -> int -> float
 296
 297
 298 extern "__builtin_return" : int -> void
 299
 300
 301 extern "__builtin_return_address" : int -> int
 302
 303
 304 extern "__builtin_sin" : float -> float
 305
 306
 307 extern "__builtin_sinf" : float -> float
 308
 309
 310 extern "__builtin_sinl" : float -> float
 311
 312
 313 extern "__builtin_sinh" : float -> float
 314
 315
 316 extern "__builtin_sinhf" : float -> float
 317
 318
 319 extern "__builtin_sinhl" : float -> float
 320
 321
 322 extern "__builtin_sqrt" : float -> float
 323
 324
 325 extern "__builtin_sqrtf" : float -> float
 326
 327
 328 extern "__builtin_sqrtl" : float -> float
 329
 330
 331 extern "__builtin_stpcpy" : int -> int -> int
 332
 333
 334 extern "__builtin_strchr" : int -> int -> int
 335
 336
 337 extern "__builtin_strcmp" : int -> int -> int
 338
 339
 340 extern "__builtin_strcpy" : int -> int -> int
 341
 342
 343 extern "__builtin_strcspn" : int -> int -> int
 344
 345
 346 extern "__builtin_strncat" : int -> int -> int -> int
 347
 348
 349 extern "__builtin_strncmp" : int -> int -> int -> int
 350
 351
 352 extern "__builtin_strncpy" : int -> int -> int -> int
 353
 354
 355 extern "__builtin_strspn" : int -> int -> int
 356
 357
 358 extern "__builtin_strpbrk" : int -> int -> int
 359
 360
 361 extern "__builtin_types_compatible_p" : int -> int -> int
 362
 363
 364 extern "__builtin_tan" : float -> float
 365
 366
 367 extern "__builtin_tanf" : float -> float
 368
 369
 370 extern "__builtin_tanl" : float -> float
 371
 372
 373 extern "__builtin_tanh" : float -> float
 374
 375
 376 extern "__builtin_tanhf" : float -> float
 377
 378
 379 extern "__builtin_tanhl" : float -> float
 380
 381
 382 extern "__builtin_va_end" : int -> void
 383
 384
 385 extern "__builtin_varargs_start" : int -> void
 386
 387
 388 extern "__builtin_va_start" : int -> int -> void
 389
 390
 391 extern "__builtin_stdarg_start" : int -> void
 392
 393
 394 extern "__builtin_va_arg" : int -> int -> void
 395
 396
 397 extern "__builtin_va_copy" : int -> int -> void
 398
 399
 400 "if_jian" (a, b, c, d, e, f, g, x, y) : int -> int -> int -> int -> int -> int -> int -> int -> int -> int {
 401
 402   stack 0;
 403
 404   var u, v, t1, t2, t3, t4, t5;
 405
 406   c15:
 407   t1 = (a + b) < c;
 408   c14:
 409   t2 = d + e;
 410   c13:
 411   t3 = c + 1;
 412   c12:
 413   if (y == 1) {
 414     c11:
 415     if (t1) {
 416       c10:
 417       u = t3 + d;
 418     }
 419     else {
 420       c9:
 421       if (!x) {
 422         c8:
 423         u = t2 + d;
 424       }
 425       else {
 426       }
 427     }
 428     c7:
 429     if ((/* c6 */ !t1) ? ((/* c5 */ x) ? 1 : 0) : 0) {
 430       c4:
 431       v = t2 + e;
 432     }
 433     else {
 434     }
 435   }
 436   else {
 437     c3:
 438     t4 = t3 + e;
 439     c2:
 440     t5 = t4 + f;
 441     c1:
 442     u = t5 + g;
 443   }
 444   c0:
 445   return u;
 446
 447 }
 448
 449
 450 "if_exSimple" (a, b) : int -> int -> int {
 451
 452   stack 0;
 453
 454   var g, e, f;
 455
 456   c23:
 457   if (a < b) {
 458     c22:
 459     e = a + b;
 460     c21:
 461     e = 2 * e;
 462     c20:
 463     g = e;
 464   }
 465   else {
 466     c19:
 467     f = 2 * b;
 468     c18:
 469     f = f + a;
 470     c17:
 471     g = f + b;
 472   }
 473   c16:
 474   return g;
 475
 476 }
 477
 478
 479 "if_imbriq1" (a, b, c) : int -> int -> int -> int {
 480
 481   stack 0;
 482
 483   var result;
 484
 485   c29:
 486   if (a < b) {
 487     c28:
 488     if (b < c) {
 489       c27:
 490       result = b;
 491     }
 492     else {
 493       c26:
 494       result = c;
 495     }
 496   }
 497   else {
 498     c25:
 499     result = a;
 500   }
 501   c24:
 502   return result;
 503
 504 }
 505
 506
 507 "if_imbriq2" (a, b, c) : int -> int -> int -> int {
 508
 509   stack 0;
 510
 511   var result;
 512
 513   c35:
 514   if (a < b) {
 515     c34:
 516     if (b < c) {
 517       c33:
 518       result = b;
 519     }
 520     else {
 521       c32:
 522       result = 47;
 523     }
 524   }
 525   else {
 526     c31:
 527     result = a;
 528   }
 529   c30:
 530   return result;
 531
 532 }
 533
 534
 535 "if_min" (a, b) : int -> int -> int {
 536
 537   stack 0;
 538
 539   var min;
 540
 541   c39:
 542   if (a > b) {
 543     c38:
 544     min = b;
 545   }
 546   else {
 547     c37:
 548     min = a;
 549   }
 550   c36:
 551   return min;
 552
 553 }
 554
 555
 556 "if_prog" (j, i) : int -> int -> int {
 557
 558   stack 0;
 559
 560   var a, b;
 561
 562   c44:
 563   a = i + j;
 564   c43:
 565   if (a < 0) {
 566     c42:
 567     b = 2;
 568   }
 569   else {
 570     c41:
 571     b = 3;
 572   }
 573   c40:
 574   return b;
 575
 576 }
 577
 578
 579 "if_sansElse" (a, b) : int -> int -> int {
 580
 581   stack 0;
 582
 583   var c;
 584
 585   c48:
 586   c = 0;
 587   c47:
 588   if (a < b) {
 589     c46:
 590     c = a;
 591   }
 592   else {
 593   }
 594   c45:
 595   return c;
 596
 597 }
 598
 599
 600 "if_test" (a, b, x, y) : int -> int -> int -> int -> int {
 601
 602   stack 0;
 603
 604   var c, d, v, w, z;
 605
 606   c61:
 607   c = 0;
 608   c60:
 609   d = 0;
 610   c59:
 611   v = 0;
 612   c58:
 613   w = 0;
 614   c57:
 615   z = 0;
 616   c56:
 617   if (a < b) {
 618     c55:
 619     c = a + b;
 620   }
 621   else {
 622   }
 623   c54:
 624   if (x < y) {
 625     c53:
 626     z = x + y;
 627     c52:
 628     w = z + x;
 629   }
 630   else {
 631   }
 632   c51:
 633   d = c + 1;
 634   c50:
 635   v = c + w;
 636   c49:
 637   return c;
 638
 639 }
 640
 641
 642 "if_ual" (op, a, b) : int -> int -> int -> int {
 643
 644   stack 0;
 645
 646   var result;
 647
 648   c74:
 649   if (op == 0) {
 650     c73:
 651     result = a + b;
 652   }
 653   else {
 654     c72:
 655     if (op == 1) {
 656       c71:
 657       result = a - b;
 658     }
 659     else {
 660       c70:
 661       if (op == 2) {
 662         c69:
 663         result = (/* c68 */ a) ? ((/* c67 */ b) ? 1 : 0) : 0;
 664       }
 665       else {
 666         c66:
 667         if (op == 3) {
 668           c65:
 669           result = (/* c64 */ a) ? 1 : ((/* c63 */ b) ? 1 : 0);
 670         }
 671         else {
 672         }
 673       }
 674     }
 675   }
 676   c62:
 677   return result;
 678
 679 }
 680
 681
 682 "main" () : int {
 683
 684   stack 0;
 685
 686   var a;
 687
 688   c84:
 689   a = "if_jian"(1, 2, 3, 4, 5, 6, 7, 8, 9) : int -> int -> int -> int -> int -> int -> int -> int -> int -> int;
 690   c83:
 691   a = "if_exSimple"(1, 2) : int -> int -> int;
 692   c82:
 693   a = "if_imbriq1"(1, 2, 3) : int -> int -> int -> int;
 694   c81:
 695   a = "if_imbriq2"(1, 2, 3) : int -> int -> int -> int;
 696   c80:
 697   a = "if_min"(1, 2) : int -> int -> int;
 698   c79:
 699   a = "if_prog"(1, 2) : int -> int -> int;
 700   c78:
 701   a = "if_sansElse"(1, 2) : int -> int -> int;
 702   c77:
 703   a = "if_test"(1, 2, 3, 4) : int -> int -> int -> int -> int;
 704   c76:
 705   a = "if_ual"(1, 2, 3) : int -> int -> int -> int;
 706   c75:
 707   return a;
 708
 709 }
 710
 711