tests/test_asm.S

   1         .section .text
   2
   3         .set    noreorder
   4         .set    noat
   5
   6
   7         .global cfg_branches
   8         .ent    cfg_branches
   9
  10 cfg_branches:
  11         nop
  12 cfg_branches_start:
  13         bne     $a0, $0, 1f
  14         nop
  15
  16         bgez    $a0, 2f
  17         nop
  18
  19 1:
  20         bgtz    $a0, 3f
  21         nop
  22
  23 2:
  24         blez    $a0, 4f
  25         nop
  26
  27 3:
  28         bltz    $a0, 5f
  29         nop
  30
  31 4:
  32         beq     $a0, $at, 6f
  33         nop
  34
  35 5:
  36         bne     $a0, $at, 7f
  37         nop
  38
  39 6:
  40         j       cfg_branches_start
  41         nop
  42
  43 7:
  44         jr      $ra
  45         nop
  46
  47         .end    cfg_branches
  48
  49
  50         .global cfg_branches_likely
  51         .ent    cfg_branches_likely
  52
  53 cfg_branches_likely:
  54         beql    $a0, $a1, 1f
  55         nop
  56
  57         bgezl   $a1, 1f
  58         nop
  59
  60         bgtzl   $a2, 1f
  61         nop
  62
  63         blezl   $a3, 1f
  64         nop
  65
  66         bltzl   $a0, 1f
  67         nop
  68
  69         bnel    $a0, $a2, 1f
  70         nop
  71
  72         nop
  73 1:
  74
  75         jr      $ra
  76         nop
  77
  78         .end    cfg_branches_likely
  79
  80
  81         .global cfg_branches_noswap
  82         .ent    cfg_branches_noswap
  83
  84 cfg_branches_noswap:
  85         beq     $a0, $a1, 1f
  86         move    $a1, $0
  87         lui     $v0, 0
  88 1:
  89         bltzal  $a0, cfg_branches_noswap
  90 2:      move    $a1, $31
  91         bgez    $a0, 2b
  92         nop
  93
  94         bltzal  $a0, cfg_branches_noswap
  95         move    $a1, $31
  96
  97         bltzall $a0, cfg_branches_noswap
  98 3:      nop
  99         bgez    $a0, 3b
 100         nop
 101
 102         jr      $ra
 103         nop
 104
 105         .end    cfg_branches_noswap
 106
 107
 108
 109         .global cfg_branches_never
 110         .ent    cfg_branches_never
 111
 112 cfg_branches_never:
 113         bgtz    $0, 1f
 114         nop
 115
 116         bgtzl   $0, 1f
 117         nop
 118
 119         bltz    $0, 1f
 120         nop
 121
 122         bltzl   $0, 1f
 123         nop
 124
 125         bne     $0, $0, 1f
 126         nop
 127
 128         bne     $a0, $a0, 1f
 129         nop
 130
 131         bnel    $0, $0, 1f
 132         nop
 133
 134         bnel    $a0, $a0, 1f
 135         nop
 136
 137         bltzal  $0, cfg_branches_never
 138         nop
 139
 140         bltzall  $0, cfg_branches_never
 141         nop
 142
 143 1:
 144         jr      $ra
 145         nop
 146
 147         .end    cfg_branches_never
 148
 149         .global cfg_branches_always
 150         .ent    cfg_branches_always
 151
 152 cfg_branches_always:
 153
 154         bgez    $0, 7f
 155         nop
 156
 157 1:
 158         bgezl   $0, 8f
 159         nop
 160
 161 2:
 162         blez    $0, 1b
 163         nop
 164
 165 3:
 166         blezl   $0, 2b
 167         nop
 168
 169 4:
 170         beq     $0, $0, 3b
 171         nop
 172
 173 5:
 174         beq     $a0, $a0, 4b
 175         nop
 176
 177 6:
 178         beql    $0, $0, 5b
 179         nop
 180
 181 7:
 182         beql    $a0, $a0, 6b
 183         nop
 184
 185 8:
 186         jr      $ra
 187         nop
 188
 189         .end    cfg_branches_always
 190
 191         .global cfg_branchlink
 192         .ent    cfg_branchlink
 193
 194 cfg_branchlink:
 195         bgezal  $a0, cfg_jumptobegin
 196         nop
 197         bltzal  $a0, cfg_jumptobegin
 198         nop
 199         bltzall $a0, cfg_jumptobegin
 200         nop
 201
 202         jr      $ra
 203         nop
 204
 205         .end    cfg_branchlink
 206
 207         .global cfg_strangerefs
 208         .ent    cfg_strangerefs
 209
 210 cfg_strangerefs:
 211         beql    $a0, $a1, 2f
 212 1:
 213         nop
 214         beq     $a0, $a1, 2f
 215         nop
 216         j       1b
 217         nop
 218
 219 2:
 220         bltzall $a0, cfg_jumptobegin
 221 3:
 222         nop
 223         beq     $a0, $a1, 3b
 224         nop
 225
 226         jr      $ra
 227         nop
 228
 229         .end    cfg_strangerefs
 230
 231         .global cfg_jumptobegin
 232         .ent    cfg_jumptobegin
 233
 234 cfg_jumptobegin:
 235         nop
 236         beq     $a0, $a1, cfg_jumptobegin
 237         nop
 238
 239         jr      $ra
 240         nop
 241
 242         .end    cfg_jumptobegin
 243
 244         .global cfg_callnoswap
 245         .ent    cfg_callnoswap
 246
 247 cfg_callnoswap:
 248         jal     cfg_callnoswap
 249         move    $a0, $31
 250
 251         jr      $ra
 252         nop
 253
 254         .end    cfg_callnoswap
 255
 256
 257         .global cfg_switch
 258         .ent    cfg_switch
 259
 260 cfg_switch:
 261         jal     cfg_switch_innercallback
 262         nop
 263         slti    $t0, $a1, 7
 264         sll     $a0, $a1, 2
 265         blez    $t0, switch1_default
 266         lui     $v0, %hi(switch1)
 267         addu    $v0, $a0
 268         lw      $v0, %lo(switch1)($v0)
 269         jr      $v0
 270         nop
 271 switch1_case0:
 272 switch1_case1:
 273 switch1_case6:
 274 switch1_case3:
 275         jr      $ra
 276         nop
 277
 278 switch1_case4:
 279 switch1_case2:
 280         j       switch1_case0
 281         move    $a0, $v0
 282
 283
 284 switch1_case5:
 285         jal     cfg_branches_always
 286         nop
 287
 288 switch1_default:
 289
 290         jr      $ra
 291         nop
 292
 293 cfg_switch_innercallback:
 294         jal     mycallback
 295         nop
 296         lui     $v0, %hi(inner_callback)
 297         lw      $v0, %lo(inner_callback)($v0)
 298         jr      $v0
 299         nop
 300
 301 mycallback:
 302         jr      $ra
 303         nop
 304
 305         .end    cfg_switch
 306
 307
 308 /*
 309 int double_break (void)
 310 {
 311   int i, j = 400009, t = 0;
 312   for (i = 0; i < 100; i++) {
 313     if (j & 1) {
 314       j = 3 * j + 1;
 315     } else {
 316       j >>= 1;
 317     }
 318
 319     if (j == 50) {
 320       j++;
 321       if (i > 10) break;
 322     } else {
 323       t++;
 324       if (i == 98) break;
 325     }
 326     t += 2;
 327   }
 328   return t;
 329 }
 330 */
 331         .global graph_double_break
 332         .ent    graph_double_break
 333 graph_double_break:
 334         move    $4,$0
 335         li      $2,393216
 336         ori     $3,$2,0x1a89
 337         move    $5,$0
 338         li      $9,3
 339         li      $7,50
 340         li      $8,98
 341         li      $10,51
 342         li      $6,100
 343 1:      andi    $2,$3,0x1
 344         beql    $2,$0,2f
 345         sra     $3,$3,1
 346         mult    $3,$9
 347         mflo    $2
 348         addiu   $3,$2,1
 349 2:      bne     $3,$7,3f
 350         slt     $2,$4,11
 351         beq     $2,$0,5f
 352         move    $3,$10
 353         j       4f
 354         addiu   $4,$4,1
 355 3:      beq     $4,$8,5f
 356         addiu   $5,$5,1
 357         addiu   $4,$4,1
 358 4:      bne     $4,$6,1b
 359         addiu   $5,$5,2
 360 5:      j       $ra
 361         move    $2,$5
 362
 363         .end    graph_double_break
 364
 365         .global graph_nested_ifs
 366         .ent    graph_nested_ifs
 367 graph_nested_ifs:
 368         beq     $a0, $0, 2f
 369         nop
 370         beq     $a1, $0, 1f
 371         nop
 372         li      $v0, 1
 373         j       4f
 374         nop
 375 1:      li      $v0, 2
 376         j       4f
 377         nop
 378 2:      beq     $a1, $0, 3f
 379         nop
 380         li      $v0, 3
 381         j       4f
 382         nop
 383 3:      li      $v0, 4
 384 4:      jr      $ra
 385         nop
 386
 387         .end    graph_nested_ifs
 388
 389         .global graph_nested_loops
 390         .ent    graph_nested_loops
 391 graph_nested_loops:
 392         move    $v0, $a0
 393 1:      beq     $a1, $0, 4f
 394         nop
 395 2:      beq     $a2, $0, 3f
 396         nop
 397         addu    $v0, $v0, $a1
 398         j       2b
 399         addiu   $a2, $a2, -1
 400 3:      addu    $v0, $v0, $a1
 401         j       1b
 402         addiu   $a1, $a1, -1
 403 4:      jr      $ra
 404         nop
 405
 406         .end    graph_nested_loops
 407
 408
 409         .global graph_for_inside_if
 410         .ent    graph_for_inside_if
 411 graph_for_inside_if:
 412         beq     $a0, $0, 2f
 413         move    $v0, $0
 414         li      $a1, 1
 415 1:      addiu   $a0, $a0, -1
 416         bne     $a0, $0, 1b
 417         addu    $a1, $a1, $a1
 418         move    $v0, $a0
 419 2:      jr      $ra
 420         nop
 421
 422         .end    graph_for_inside_if
 423
 424
 425         .global var_k1
 426         .ent    var_k1
 427 var_k1:
 428         addiu   $sp, $sp, -16
 429         sw      $s0, 4($sp)
 430         sw      $ra, 8($sp)
 431         move    $s0, $k1
 432         srl     $k1, $k1, 16
 433         li      $a0, 10
 434         jal     graph_for_inside_if
 435         li      $a1, 5
 436         move    $k1, $s0
 437         lw      $ra, 8($sp)
 438         lw      $s0, 4($sp)
 439         jr      $ra
 440         addiu   $sp, $sp, 16
 441         .end    var_k1
 442
 443         .section .rodata
 444 switch1:
 445         .word   switch1_case0
 446         .word   switch1_case1
 447         .word   switch1_case2
 448         .word   switch1_case3
 449         .word   switch1_case4
 450         .word   switch1_case5
 451         .word   switch1_case6
 452
 453 inner_callback:
 454         .word   mycallback
 455         .word   mycallback
 456