src/native_client/src/trusted/validator_x86/testdata/64/hlt.test

   1 @hex:
   2   # Counts halt instructions.
   3   90
   4   f4
   5   f4
   6   f4
   7   f4
   8   f4
   9   f4
  10   f4
  11   f4
  12   f4
  13   f4
  14   f4
  15   f4
  16   f4
  17   f4
  18   f4
  19   f4
  20   f4
  21   f4
  22   f4
  23   f4
  24   f4
  25   f4
  26   f4
  27   f4
  28   f4
  29   f4
  30   f4
  31   f4
  32   f4
  33   f4
  34   f4
  35   f4
  36   f4
  37   f4
  38   f4
  39   f4
  40   f4
  41   f4
  42   f4
  43   f4
  44   f4
  45   f4
  46   f4
  47   f4
  48   f4
  49   f4
  50   f4
  51   f4
  52   f4
  53   f4
  54   f4
  55   f4
  56   f4
  57   f4
  58   f4
  59   f4
  60   f4
  61   f4
  62   f4
  63   f4
  64   f4
  65   f4
  66   f4
  67   f4
  68   f4
  69   f4
  70   f4
  71   f4
  72   f4
  73   f4
  74   f4
  75   f4
  76   f4
  77   f4
  78   f4
  79   f4
  80   f4
  81   f4
  82   f4
  83   f4
  84   f4
  85   f4
  86   f4
  87   f4
  88   f4
  89   f4
  90   f4
  91   f4
  92   f4
  93   f4
  94   f4
  95   f4
  96   f4
  97   f4
  98   f4
  99   f4
 100   f4
 101   f4
 102   f4
 103   f4
 104   f4
 105   f4
 106   f4
 107   f4
 108   f4
 109   f4
 110   f4
 111   f4
 112   f4
 113   f4
 114   f4
 115 @rval:
 116   VALIDATOR: Checking jump targets: 0 to 20
 117   VALIDATOR: Checking that basic blocks are aligned
 118   *** <input> is safe ***
 119 @rvald:
 120   VALIDATOR: Checking block alignment and jump targets: 0 to 20
 121   *** <input> is safe ***
 122 @vd-rval:
 123   VALIDATOR: Checking jump targets: 0 to 20
 124   VALIDATOR: Checking that basic blocks are aligned
 125   *** <input> is safe ***
 126 @dis:
 127   0000000000000000: 90                                           nop
 128   0000000000000001: f4                                           hlt
 129   0000000000000002: f4                                           hlt
 130   0000000000000003: f4                                           hlt
 131   0000000000000004: f4                                           hlt
 132   0000000000000005: f4                                           hlt
 133   0000000000000006: f4                                           hlt
 134   0000000000000007: f4                                           hlt
 135   0000000000000008: f4                                           hlt
 136   0000000000000009: f4                                           hlt
 137   000000000000000a: f4                                           hlt
 138   000000000000000b: f4                                           hlt
 139   000000000000000c: f4                                           hlt
 140   000000000000000d: f4                                           hlt
 141   000000000000000e: f4                                           hlt
 142   000000000000000f: f4                                           hlt
 143   0000000000000010: f4                                           hlt
 144   0000000000000011: f4                                           hlt
 145   0000000000000012: f4                                           hlt
 146   0000000000000013: f4                                           hlt
 147   0000000000000014: f4                                           hlt
 148   0000000000000015: f4                                           hlt
 149   0000000000000016: f4                                           hlt
 150   0000000000000017: f4                                           hlt
 151   0000000000000018: f4                                           hlt
 152   0000000000000019: f4                                           hlt
 153   000000000000001a: f4                                           hlt
 154   000000000000001b: f4                                           hlt
 155   000000000000001c: f4                                           hlt
 156   000000000000001d: f4                                           hlt
 157   000000000000001e: f4                                           hlt
 158   000000000000001f: f4                                           hlt
 159   0000000000000020: f4                                           hlt
 160   0000000000000021: f4                                           hlt
 161   0000000000000022: f4                                           hlt
 162   0000000000000023: f4                                           hlt
 163   0000000000000024: f4                                           hlt
 164   0000000000000025: f4                                           hlt
 165   0000000000000026: f4                                           hlt
 166   0000000000000027: f4                                           hlt
 167   0000000000000028: f4                                           hlt
 168   0000000000000029: f4                                           hlt
 169   000000000000002a: f4                                           hlt
 170   000000000000002b: f4                                           hlt
 171   000000000000002c: f4                                           hlt
 172   000000000000002d: f4                                           hlt
 173   000000000000002e: f4                                           hlt
 174   000000000000002f: f4                                           hlt
 175   0000000000000030: f4                                           hlt
 176   0000000000000031: f4                                           hlt
 177   0000000000000032: f4                                           hlt
 178   0000000000000033: f4                                           hlt
 179   0000000000000034: f4                                           hlt
 180   0000000000000035: f4                                           hlt
 181   0000000000000036: f4                                           hlt
 182   0000000000000037: f4                                           hlt
 183   0000000000000038: f4                                           hlt
 184   0000000000000039: f4                                           hlt
 185   000000000000003a: f4                                           hlt
 186   000000000000003b: f4                                           hlt
 187   000000000000003c: f4                                           hlt
 188   000000000000003d: f4                                           hlt
 189   000000000000003e: f4                                           hlt
 190   000000000000003f: f4                                           hlt
 191   0000000000000040: f4                                           hlt
 192   0000000000000041: f4                                           hlt
 193   0000000000000042: f4                                           hlt
 194   0000000000000043: f4                                           hlt
 195   0000000000000044: f4                                           hlt
 196   0000000000000045: f4                                           hlt
 197   0000000000000046: f4                                           hlt
 198   0000000000000047: f4                                           hlt
 199   0000000000000048: f4                                           hlt
 200   0000000000000049: f4                                           hlt
 201   000000000000004a: f4                                           hlt
 202   000000000000004b: f4                                           hlt
 203   000000000000004c: f4                                           hlt
 204   000000000000004d: f4                                           hlt
 205   000000000000004e: f4                                           hlt
 206   000000000000004f: f4                                           hlt
 207   0000000000000050: f4                                           hlt
 208   0000000000000051: f4                                           hlt
 209   0000000000000052: f4                                           hlt
 210   0000000000000053: f4                                           hlt
 211   0000000000000054: f4                                           hlt
 212   0000000000000055: f4                                           hlt
 213   0000000000000056: f4                                           hlt
 214   0000000000000057: f4                                           hlt
 215   0000000000000058: f4                                           hlt
 216   0000000000000059: f4                                           hlt
 217   000000000000005a: f4                                           hlt
 218   000000000000005b: f4                                           hlt
 219   000000000000005c: f4                                           hlt
 220   000000000000005d: f4                                           hlt
 221   000000000000005e: f4                                           hlt
 222   000000000000005f: f4                                           hlt
 223   0000000000000060: f4                                           hlt
 224   0000000000000061: f4                                           hlt
 225   0000000000000062: f4                                           hlt
 226   0000000000000063: f4                                           hlt
 227   0000000000000064: f4                                           hlt
 228   0000000000000065: f4                                           hlt
 229   0000000000000066: f4                                           hlt
 230   0000000000000067: f4                                           hlt
 231   0000000000000068: f4                                           hlt
 232   0000000000000069: f4                                           hlt
 233   000000000000006a: f4                                           hlt
 234   000000000000006b: f4                                           hlt
 235   000000000000006c: f4                                           hlt
 236   000000000000006d: f4                                           hlt
 237   000000000000006e: f4                                           hlt
 238   000000000000006f: f4                                           hlt
 239 @vdis:
 240   0000000000000000: 90                                           [P] dontcare
 241   0000000000000001: f4                                           [P] dontcare
 242   0000000000000002: f4                                           [P] dontcare
 243   0000000000000003: f4                                           [P] dontcare
 244   0000000000000004: f4                                           [P] dontcare
 245   0000000000000005: f4                                           [P] dontcare
 246   0000000000000006: f4                                           [P] dontcare
 247   0000000000000007: f4                                           [P] dontcare
 248   0000000000000008: f4                                           [P] dontcare
 249   0000000000000009: f4                                           [P] dontcare
 250   000000000000000a: f4                                           [P] dontcare
 251   000000000000000b: f4                                           [P] dontcare
 252   000000000000000c: f4                                           [P] dontcare
 253   000000000000000d: f4                                           [P] dontcare
 254   000000000000000e: f4                                           [P] dontcare
 255   000000000000000f: f4                                           [P] dontcare
 256   0000000000000010: f4                                           [P] dontcare
 257   0000000000000011: f4                                           [P] dontcare
 258   0000000000000012: f4                                           [P] dontcare
 259   0000000000000013: f4                                           [P] dontcare
 260   0000000000000014: f4                                           [P] dontcare
 261   0000000000000015: f4                                           [P] dontcare
 262   0000000000000016: f4                                           [P] dontcare
 263   0000000000000017: f4                                           [P] dontcare
 264   0000000000000018: f4                                           [P] dontcare
 265   0000000000000019: f4                                           [P] dontcare
 266   000000000000001a: f4                                           [P] dontcare
 267   000000000000001b: f4                                           [P] dontcare
 268   000000000000001c: f4                                           [P] dontcare
 269   000000000000001d: f4                                           [P] dontcare
 270   000000000000001e: f4                                           [P] dontcare
 271   000000000000001f: f4                                           [P] dontcare
 272   0000000000000020: f4                                           [P] dontcare
 273   0000000000000021: f4                                           [P] dontcare
 274   0000000000000022: f4                                           [P] dontcare
 275   0000000000000023: f4                                           [P] dontcare
 276   0000000000000024: f4                                           [P] dontcare
 277   0000000000000025: f4                                           [P] dontcare
 278   0000000000000026: f4                                           [P] dontcare
 279   0000000000000027: f4                                           [P] dontcare
 280   0000000000000028: f4                                           [P] dontcare
 281   0000000000000029: f4                                           [P] dontcare
 282   000000000000002a: f4                                           [P] dontcare
 283   000000000000002b: f4                                           [P] dontcare
 284   000000000000002c: f4                                           [P] dontcare
 285   000000000000002d: f4                                           [P] dontcare
 286   000000000000002e: f4                                           [P] dontcare
 287   000000000000002f: f4                                           [P] dontcare
 288   0000000000000030: f4                                           [P] dontcare
 289   0000000000000031: f4                                           [P] dontcare
 290   0000000000000032: f4                                           [P] dontcare
 291   0000000000000033: f4                                           [P] dontcare
 292   0000000000000034: f4                                           [P] dontcare
 293   0000000000000035: f4                                           [P] dontcare
 294   0000000000000036: f4                                           [P] dontcare
 295   0000000000000037: f4                                           [P] dontcare
 296   0000000000000038: f4                                           [P] dontcare
 297   0000000000000039: f4                                           [P] dontcare
 298   000000000000003a: f4                                           [P] dontcare
 299   000000000000003b: f4                                           [P] dontcare
 300   000000000000003c: f4                                           [P] dontcare
 301   000000000000003d: f4                                           [P] dontcare
 302   000000000000003e: f4                                           [P] dontcare
 303   000000000000003f: f4                                           [P] dontcare
 304   0000000000000040: f4                                           [P] dontcare
 305   0000000000000041: f4                                           [P] dontcare
 306   0000000000000042: f4                                           [P] dontcare
 307   0000000000000043: f4                                           [P] dontcare
 308   0000000000000044: f4                                           [P] dontcare
 309   0000000000000045: f4                                           [P] dontcare
 310   0000000000000046: f4                                           [P] dontcare
 311   0000000000000047: f4                                           [P] dontcare
 312   0000000000000048: f4                                           [P] dontcare
 313   0000000000000049: f4                                           [P] dontcare
 314   000000000000004a: f4                                           [P] dontcare
 315   000000000000004b: f4                                           [P] dontcare
 316   000000000000004c: f4                                           [P] dontcare
 317   000000000000004d: f4                                           [P] dontcare
 318   000000000000004e: f4                                           [P] dontcare
 319   000000000000004f: f4                                           [P] dontcare
 320   0000000000000050: f4                                           [P] dontcare
 321   0000000000000051: f4                                           [P] dontcare
 322   0000000000000052: f4                                           [P] dontcare
 323   0000000000000053: f4                                           [P] dontcare
 324   0000000000000054: f4                                           [P] dontcare
 325   0000000000000055: f4                                           [P] dontcare
 326   0000000000000056: f4                                           [P] dontcare
 327   0000000000000057: f4                                           [P] dontcare
 328   0000000000000058: f4                                           [P] dontcare
 329   0000000000000059: f4                                           [P] dontcare
 330   000000000000005a: f4                                           [P] dontcare
 331   000000000000005b: f4                                           [P] dontcare
 332   000000000000005c: f4                                           [P] dontcare
 333   000000000000005d: f4                                           [P] dontcare
 334   000000000000005e: f4                                           [P] dontcare
 335   000000000000005f: f4                                           [P] dontcare
 336   0000000000000060: f4                                           [P] dontcare
 337   0000000000000061: f4                                           [P] dontcare
 338   0000000000000062: f4                                           [P] dontcare
 339   0000000000000063: f4                                           [P] dontcare
 340   0000000000000064: f4                                           [P] dontcare
 341   0000000000000065: f4                                           [P] dontcare
 342   0000000000000066: f4                                           [P] dontcare
 343   0000000000000067: f4                                           [P] dontcare
 344   0000000000000068: f4                                           [P] dontcare
 345   0000000000000069: f4                                           [P] dontcare
 346   000000000000006a: f4                                           [P] dontcare
 347   000000000000006b: f4                                           [P] dontcare
 348   000000000000006c: f4                                           [P] dontcare
 349   000000000000006d: f4                                           [P] dontcare
 350   000000000000006e: f4                                           [P] dontcare
 351   000000000000006f: f4                                           [P] dontcare
 352 @rdfa_output:
 353   return code: 0