none/tests/mips64/branches.stdout.exp-r6

   1 b
   2 B :: 1, RSval: 0
   3 B :: 2, RSval: 1
   4 B :: 3, RSval: 2
   5 B :: 4, RSval: 3
   6 B :: 5, RSval: 4
   7 B :: 6, RSval: 5
   8 B :: 7, RSval: 6
   9 B :: 8, RSval: 7
  10 B :: 9, RSval: 8
  11 B :: 10, RSval: 9
  12 B :: 11, RSval: 10
  13 B :: 12, RSval: 11
  14 B :: 13, RSval: 12
  15 B :: 14, RSval: 13
  16 B :: 15, RSval: 14
  17 B :: 16, RSval: 15
  18 B :: 17, RSval: 16
  19 B :: 18, RSval: 17
  20 B :: 19, RSval: 18
  21 B :: 20, RSval: 19
  22 B :: 21, RSval: 20
  23 B :: 22, RSval: 21
  24 B :: 23, RSval: 22
  25 B :: 24, RSval: 23
  26 b
  27 B :: 6, RSval: 0
  28 B :: 7, RSval: 1
  29 B :: 8, RSval: 2
  30 B :: 9, RSval: 3
  31 B :: 10, RSval: 4
  32 B :: 11, RSval: 5
  33 B :: 12, RSval: 6
  34 B :: 13, RSval: 7
  35 B :: 14, RSval: 8
  36 B :: 15, RSval: 9
  37 B :: 16, RSval: 10
  38 B :: 17, RSval: 11
  39 B :: 18, RSval: 12
  40 B :: 19, RSval: 13
  41 B :: 20, RSval: 14
  42 B :: 21, RSval: 15
  43 B :: 22, RSval: 16
  44 B :: 23, RSval: 17
  45 B :: 24, RSval: 18
  46 B :: 25, RSval: 19
  47 B :: 26, RSval: 20
  48 B :: 27, RSval: 21
  49 B :: 28, RSval: 22
  50 B :: 29, RSval: 23
  51 b, bal, jr
  52 B BAL JR :: 6, RSval: 0
  53 B BAL JR :: 7, RSval: 1
  54 B BAL JR :: 8, RSval: 2
  55 B BAL JR :: 9, RSval: 3
  56 B BAL JR :: 10, RSval: 4
  57 B BAL JR :: 11, RSval: 5
  58 B BAL JR :: 12, RSval: 6
  59 B BAL JR :: 13, RSval: 7
  60 B BAL JR :: 14, RSval: 8
  61 B BAL JR :: 15, RSval: 9
  62 B BAL JR :: 16, RSval: 10
  63 B BAL JR :: 17, RSval: 11
  64 B BAL JR :: 18, RSval: 12
  65 B BAL JR :: 19, RSval: 13
  66 B BAL JR :: 20, RSval: 14
  67 B BAL JR :: 21, RSval: 15
  68 B BAL JR :: 22, RSval: 16
  69 B BAL JR :: 23, RSval: 17
  70 B BAL JR :: 24, RSval: 18
  71 B BAL JR :: 25, RSval: 19
  72 B BAL JR :: 26, RSval: 20
  73 B BAL JR :: 27, RSval: 21
  74 B BAL JR :: 28, RSval: 22
  75 B BAL JR :: 29, RSval: 23
  76 --- BEQ ---  if RSval == RTval then out = RDval + 1 else out = RDval + 6
  77 beq :: out: 6, RDval: 0, RSval: 0, RTval: 1
  78 beq :: out: 2, RDval: 1, RSval: 1, RTval: 1
  79 beq :: out: 3, RDval: 2, RSval: -1, RTval: -1
  80 beq :: out: 9, RDval: 3, RSval: -1, RTval: -2
  81 beq :: out: 10, RDval: 4, RSval: -2, RTval: -1
  82 beq :: out: 6, RDval: 5, RSval: -1, RTval: -1
  83 beq :: out: 7, RDval: 6, RSval: 5, RTval: 5
  84 beq :: out: 13, RDval: 7, RSval: -3, RTval: -4
  85 beq :: out: 9, RDval: 8, RSval: 125, RTval: 125
  86 beq :: out: 10, RDval: 9, RSval: -2147483648, RTval: -2147483648
  87 beq :: out: 16, RDval: 10, RSval: -1, RTval: -2147483648
  88 beq :: out: 12, RDval: 11, RSval: 598, RTval: 598
  89 beq :: out: 13, RDval: 12, RSval: 85, RTval: 85
  90 beq :: out: 19, RDval: 13, RSval: 4095, RTval: 221
  91 beq :: out: 20, RDval: 14, RSval: -1, RTval: 5
  92 beq :: out: 16, RDval: 15, RSval: -1, RTval: -1
  93 --- BNE ---  if RSval != RTval then out = RDval + 1 else out = RDval + 6
  94 bne :: out: 1, RDval: 0, RSval: 0, RTval: 1
  95 bne :: out: 7, RDval: 1, RSval: 1, RTval: 1
  96 bne :: out: 8, RDval: 2, RSval: -1, RTval: -1
  97 bne :: out: 4, RDval: 3, RSval: -1, RTval: -2
  98 bne :: out: 5, RDval: 4, RSval: -2, RTval: -1
  99 bne :: out: 11, RDval: 5, RSval: -1, RTval: -1
 100 bne :: out: 12, RDval: 6, RSval: 5, RTval: 5
 101 bne :: out: 8, RDval: 7, RSval: -3, RTval: -4
 102 bne :: out: 14, RDval: 8, RSval: 125, RTval: 125
 103 bne :: out: 15, RDval: 9, RSval: -2147483648, RTval: -2147483648
 104 bne :: out: 11, RDval: 10, RSval: -1, RTval: -2147483648
 105 bne :: out: 17, RDval: 11, RSval: 598, RTval: 598
 106 bne :: out: 18, RDval: 12, RSval: 85, RTval: 85
 107 bne :: out: 14, RDval: 13, RSval: 4095, RTval: 221
 108 bne :: out: 15, RDval: 14, RSval: -1, RTval: 5
 109 bne :: out: 21, RDval: 15, RSval: -1, RTval: -1
 110 --- BEQZ ---  if RSval == 0 then out = RDval + 1 else out = RDval + 6
 111 beqz :: out: 1, RDval: 0, RSval: 0
 112 beqz :: out: 7, RDval: 1, RSval: 1
 113 beqz :: out: 8, RDval: 2, RSval: -1
 114 beqz :: out: 9, RDval: 3, RSval: -1
 115 beqz :: out: 10, RDval: 4, RSval: -2
 116 beqz :: out: 11, RDval: 5, RSval: -1
 117 beqz :: out: 12, RDval: 6, RSval: 5
 118 beqz :: out: 13, RDval: 7, RSval: -3
 119 beqz :: out: 14, RDval: 8, RSval: 125
 120 beqz :: out: 15, RDval: 9, RSval: -2147483648
 121 beqz :: out: 16, RDval: 10, RSval: -1
 122 beqz :: out: 17, RDval: 11, RSval: 598
 123 beqz :: out: 18, RDval: 12, RSval: 85
 124 beqz :: out: 19, RDval: 13, RSval: 4095
 125 beqz :: out: 20, RDval: 14, RSval: -1
 126 beqz :: out: 21, RDval: 15, RSval: -1
 127 --- BGEZ ---  if RSval >= 0 then out = RDval + 1 else out = RDval + 6
 128 bgez :: out: 1, RDval: 0, RSval: 0
 129 bgez :: out: 2, RDval: 1, RSval: 1
 130 bgez :: out: 8, RDval: 2, RSval: -1
 131 bgez :: out: 9, RDval: 3, RSval: -1
 132 bgez :: out: 10, RDval: 4, RSval: -2
 133 bgez :: out: 11, RDval: 5, RSval: -1
 134 bgez :: out: 7, RDval: 6, RSval: 5
 135 bgez :: out: 13, RDval: 7, RSval: -3
 136 bgez :: out: 9, RDval: 8, RSval: 125
 137 bgez :: out: 15, RDval: 9, RSval: -2147483648
 138 bgez :: out: 16, RDval: 10, RSval: -1
 139 bgez :: out: 12, RDval: 11, RSval: 598
 140 bgez :: out: 13, RDval: 12, RSval: 85
 141 bgez :: out: 14, RDval: 13, RSval: 4095
 142 bgez :: out: 20, RDval: 14, RSval: -1
 143 bgez :: out: 21, RDval: 15, RSval: -1
 144 --- BGTZ ---  if RSval > 0 then out = RDval + 1 else out = RDval + 6
 145 bgtz :: out: 6, RDval: 0, RSval: 0
 146 bgtz :: out: 2, RDval: 1, RSval: 1
 147 bgtz :: out: 8, RDval: 2, RSval: -1
 148 bgtz :: out: 9, RDval: 3, RSval: -1
 149 bgtz :: out: 10, RDval: 4, RSval: -2
 150 bgtz :: out: 11, RDval: 5, RSval: -1
 151 bgtz :: out: 7, RDval: 6, RSval: 5
 152 bgtz :: out: 13, RDval: 7, RSval: -3
 153 bgtz :: out: 9, RDval: 8, RSval: 125
 154 bgtz :: out: 15, RDval: 9, RSval: -2147483648
 155 bgtz :: out: 16, RDval: 10, RSval: -1
 156 bgtz :: out: 12, RDval: 11, RSval: 598
 157 bgtz :: out: 13, RDval: 12, RSval: 85
 158 bgtz :: out: 14, RDval: 13, RSval: 4095
 159 bgtz :: out: 20, RDval: 14, RSval: -1
 160 bgtz :: out: 21, RDval: 15, RSval: -1
 161 --- BLEZ ---  if RSval <= 0 then out = RDval + 1 else out = RDval + 6
 162 blez :: out: 1, RDval: 0, RSval: 0
 163 blez :: out: 7, RDval: 1, RSval: 1
 164 blez :: out: 3, RDval: 2, RSval: -1
 165 blez :: out: 4, RDval: 3, RSval: -1
 166 blez :: out: 5, RDval: 4, RSval: -2
 167 blez :: out: 6, RDval: 5, RSval: -1
 168 blez :: out: 12, RDval: 6, RSval: 5
 169 blez :: out: 8, RDval: 7, RSval: -3
 170 blez :: out: 14, RDval: 8, RSval: 125
 171 blez :: out: 10, RDval: 9, RSval: -2147483648
 172 blez :: out: 11, RDval: 10, RSval: -1
 173 blez :: out: 17, RDval: 11, RSval: 598
 174 blez :: out: 18, RDval: 12, RSval: 85
 175 blez :: out: 19, RDval: 13, RSval: 4095
 176 blez :: out: 15, RDval: 14, RSval: -1
 177 blez :: out: 16, RDval: 15, RSval: -1
 178 --- BLTZ ---  if RSval < 0 then out = RDval + 1 else out = RDval + 6
 179 bltz :: out: 6, RDval: 0, RSval: 0
 180 bltz :: out: 7, RDval: 1, RSval: 1
 181 bltz :: out: 3, RDval: 2, RSval: -1
 182 bltz :: out: 4, RDval: 3, RSval: -1
 183 bltz :: out: 5, RDval: 4, RSval: -2
 184 bltz :: out: 6, RDval: 5, RSval: -1
 185 bltz :: out: 12, RDval: 6, RSval: 5
 186 bltz :: out: 8, RDval: 7, RSval: -3
 187 bltz :: out: 14, RDval: 8, RSval: 125
 188 bltz :: out: 10, RDval: 9, RSval: -2147483648
 189 bltz :: out: 11, RDval: 10, RSval: -1
 190 bltz :: out: 17, RDval: 11, RSval: 598
 191 bltz :: out: 18, RDval: 12, RSval: 85
 192 bltz :: out: 19, RDval: 13, RSval: 4095
 193 bltz :: out: 15, RDval: 14, RSval: -1
 194 bltz :: out: 16, RDval: 15, RSval: -1
 195 --- BNEZ ---  if RSval != 0 then out = RDval + 1 else out = RDval + 6
 196 bnez :: out: 6, RDval: 0, RSval: 0
 197 bnez :: out: 2, RDval: 1, RSval: 1
 198 bnez :: out: 3, RDval: 2, RSval: -1
 199 bnez :: out: 4, RDval: 3, RSval: -1
 200 bnez :: out: 5, RDval: 4, RSval: -2
 201 bnez :: out: 6, RDval: 5, RSval: -1
 202 bnez :: out: 7, RDval: 6, RSval: 5
 203 bnez :: out: 8, RDval: 7, RSval: -3
 204 bnez :: out: 9, RDval: 8, RSval: 125
 205 bnez :: out: 10, RDval: 9, RSval: -2147483648
 206 bnez :: out: 11, RDval: 10, RSval: -1
 207 bnez :: out: 12, RDval: 11, RSval: 598
 208 bnez :: out: 13, RDval: 12, RSval: 85
 209 bnez :: out: 14, RDval: 13, RSval: 4095
 210 bnez :: out: 15, RDval: 14, RSval: -1
 211 bnez :: out: 16, RDval: 15, RSval: -1
 212 j, jal, jr
 213 J JAL JR :: 6, RSval: 0
 214 J JAL JR :: 7, RSval: 1
 215 J JAL JR :: 8, RSval: 2
 216 J JAL JR :: 9, RSval: 3
 217 J JAL JR :: 10, RSval: 4
 218 J JAL JR :: 11, RSval: 5
 219 J JAL JR :: 12, RSval: 6
 220 J JAL JR :: 13, RSval: 7
 221 J JAL JR :: 14, RSval: 8
 222 J JAL JR :: 15, RSval: 9
 223 J JAL JR :: 16, RSval: 10
 224 J JAL JR :: 17, RSval: 11
 225 J JAL JR :: 18, RSval: 12
 226 J JAL JR :: 19, RSval: 13
 227 J JAL JR :: 20, RSval: 14
 228 J JAL JR :: 21, RSval: 15
 229 J JAL JR :: 22, RSval: 16
 230 J JAL JR :: 23, RSval: 17
 231 J JAL JR :: 24, RSval: 18
 232 J JAL JR :: 25, RSval: 19
 233 J JAL JR :: 26, RSval: 20
 234 J JAL JR :: 27, RSval: 21
 235 J JAL JR :: 28, RSval: 22
 236 J JAL JR :: 29, RSval: 23
 237 j, jalr, jr
 238 J JALR JR :: 6, RSval: 0
 239 J JALR JR :: 7, RSval: 1
 240 J JALR JR :: 8, RSval: 2
 241 J JALR JR :: 9, RSval: 3
 242 J JALR JR :: 10, RSval: 4
 243 J JALR JR :: 11, RSval: 5
 244 J JALR JR :: 12, RSval: 6
 245 J JALR JR :: 13, RSval: 7
 246 J JALR JR :: 14, RSval: 8
 247 J JALR JR :: 15, RSval: 9
 248 J JALR JR :: 17, RSval: 11
 249 J JALR JR :: 18, RSval: 12
 250 J JALR JR :: 19, RSval: 13
 251 J JALR JR :: 20, RSval: 14
 252 J JALR JR :: 21, RSval: 15
 253 J JALR JR :: 22, RSval: 16
 254 J JALR JR :: 23, RSval: 17
 255 J JALR JR :: 24, RSval: 18
 256 J JALR JR :: 25, RSval: 19
 257 J JALR JR :: 26, RSval: 20
 258 J JALR JR :: 27, RSval: 21
 259 J JALR JR :: 28, RSval: 22
 260 J JALR JR :: 29, RSval: 23