src/trusted/validator_x86/testdata/64/prefix-2.test - Issue 625923004: Delete old x86 validator.

Side by Side Diff: src/trusted/validator_x86/testdata/64/prefix-2.test

Issue 625923004: Delete old x86 validator. (Closed) Base URL: svn://svn.chromium.org/native_client/trunk/src/native_client

Patch Set: rebase master Created 6 years, 2 months ago

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Jump to:

View unified diff | Download patch | Annotate | Revision Log

OLD	NEW
	(Empty)
1 @hex:

2 # 2 prefixes of the same type

3 # lock lock add %eax,(%rsp)

4 F0 F0 01 04 24

5 # mov %edi,%edi

6 # lea (%r15,%rdi),%rdi

7 # rep rep stos %eax,%es:(%rdi)

8 89 FF

9 49 8D 3C 3F

10 F3 F3 AB

11 # mov %edi,%edi

12 # lea (%r15,%rdi),%rdi

13 # repne rep stos %eax,%es:(%rdi)

14 89 FF

15 49 8D 3C 3F

16 F2 F3 AB

17 # mov %edi,%edi

18 # lea (%r15,%rdi),%rdi

19 # rep repne scas %es:(%rdi),%al

20 89 FF

21 49 8D 3C 3F

22 F3 F2 AE

23 # fs gs mov %eax,%eax

24 64 65 89 C0

25 # 0x66 mov %ax,%ax

26 66 66 89 C0

27 # 0x67 mov %eax,(%esp)

28 67 67 89 04 24

29 @rval:

30 VALIDATOR: 0000000000000000: f0 f0 01 04 24 add [%rsp], %eax

31 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

32 VALIDATOR: 0000000000000000: f0 f0 01 04 24 add [%rsp], %eax

33 VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client

34 VALIDATOR: 000000000000000b: f3 f3 ab stos d [%rdi]

35 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

36 VALIDATOR: 000000000000000b: f3 f3 ab stos d [%rdi]

37 VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client

38 VALIDATOR: 0000000000000014: f2 f3 ab stos d [%rdi]

39 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

40 VALIDATOR: 0000000000000014: f2 f3 ab stos d [%rdi]

41 VALIDATOR: ERROR: Use of REPNE (F2) prefix for instruction not allowed by Nati ve Client

42 VALIDATOR: 000000000000001d: f3 f2 ae scas b [%rdi]

43 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

44 VALIDATOR: 0000000000000020: 64 65 89 c0 mov %eax, %eax

45 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

46 VALIDATOR: 0000000000000020: 64 65 89 c0 mov %eax, %eax

47 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

48 VALIDATOR: 0000000000000020: 64 65 89 c0 mov %eax, %eax

49 VALIDATOR: ERROR: Specifying different segment registers using prefix bytes is not allowed by Native Client

50 VALIDATOR: 0000000000000024: 66 66 89 c0 mov %ax, %ax

51 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

52 VALIDATOR: 0000000000000024: 66 66 89 c0 mov %ax, %ax

53 VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client

54 VALIDATOR: 0000000000000028: 67 67 89 04 24 mov [%esp], %eax

55 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

56 VALIDATOR: 0000000000000028: 67 67 89 04 24 mov [%esp], %eax

57 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

58 VALIDATOR: 0000000000000028: 67 67 89 04 24 mov [%esp], %eax

59 VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client

60 VALIDATOR: 0000000000000028: 67 67 89 04 24 mov [%esp], %eax

61 VALIDATOR: ERROR: Assignment to non-64 bit memory address

62 VALIDATOR: Checking jump targets: 0 to 2d

63 VALIDATOR: Checking that basic blocks are aligned

64 * <input> IS UNSAFE *

65 @rvald:

66 VALIDATOR: 0000000000000000: f0 f0 01 04 24 add [%rsp], %eax

67 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

68 VALIDATOR: 0000000000000000: f0 f0 01 04 24 add [%rsp], %eax

69 VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client

70 VALIDATOR: 000000000000000b: f3 f3 ab stos d [%rdi]

71 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

72 VALIDATOR: 000000000000000b: f3 f3 ab stos d [%rdi]

73 VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client

74 VALIDATOR: 0000000000000014: f2 f3 ab stos d [%rdi]

75 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

76 VALIDATOR: 0000000000000014: f2 f3 ab stos d [%rdi]

77 VALIDATOR: ERROR: Use of REPNE (F2) prefix for instruction not allowed by Nati ve Client

78 VALIDATOR: 000000000000001d: f3 f2 ae scas b [%rdi]

79 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

80 VALIDATOR: 0000000000000020: 64 65 89 c0 mov %eax, %eax

81 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

82 VALIDATOR: 0000000000000020: 64 65 89 c0 mov %eax, %eax

83 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

84 VALIDATOR: 0000000000000020: 64 65 89 c0 mov %eax, %eax

85 VALIDATOR: ERROR: Specifying different segment registers using prefix bytes is not allowed by Native Client

86 VALIDATOR: 0000000000000024: 66 66 89 c0 mov %ax, %ax

87 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

88 VALIDATOR: 0000000000000024: 66 66 89 c0 mov %ax, %ax

89 VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client

90 VALIDATOR: 0000000000000028: 67 67 89 04 24 mov [%esp], %eax

91 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

92 VALIDATOR: 0000000000000028: 67 67 89 04 24 mov [%esp], %eax

93 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

94 VALIDATOR: 0000000000000028: 67 67 89 04 24 mov [%esp], %eax

95 VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client

96 VALIDATOR: 0000000000000028: 67 67 89 04 24 mov [%esp], %eax

97 VALIDATOR: ERROR: Assignment to non-64 bit memory address

98 VALIDATOR: Checking block alignment and jump targets: 0 to 2d

99 * <input> IS UNSAFE *

100 @vd-rval:

101 VALIDATOR: 0000000000000000: f0 f0 01 04 24 add [%rsp], %eax

102 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

103 VALIDATOR: 0000000000000000: f0 f0 01 04 24 add [%rsp], %eax

104 VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client

105 VALIDATOR: 000000000000000b: f3 f3 ab [P] dontcare [%rdi] (s), %eax (u)

106 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

107 VALIDATOR: 000000000000000b: f3 f3 ab [P] dontcare [%rdi] (s), %eax (u)

108 VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client

109 VALIDATOR: 0000000000000014: f2 f3 ab [P] dontcare [%rdi] (s), %eax (u)

110 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

111 VALIDATOR: 0000000000000014: f2 f3 ab [P] dontcare [%rdi] (s), %eax (u)

112 VALIDATOR: ERROR: Use of REPNE (F2) prefix for instruction not allowed by Nati ve Client

113 VALIDATOR: 000000000000001d: f3 f2 ae [P] dontcare %al (u), [%rdi] (u)

114 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

115 VALIDATOR: 0000000000000020: 64 65 89 c0 mov %eax, %eax

116 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

117 VALIDATOR: 0000000000000020: 64 65 89 c0 mov %eax, %eax

118 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

119 VALIDATOR: 0000000000000020: 64 65 89 c0 mov %eax, %eax

120 VALIDATOR: ERROR: Specifying different segment registers using prefix bytes is not allowed by Native Client

121 VALIDATOR: 0000000000000024: 66 66 89 c0 mov %ax, %ax

122 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

123 VALIDATOR: 0000000000000024: 66 66 89 c0 mov %ax, %ax

124 VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client

125 VALIDATOR: 0000000000000028: 67 67 89 04 24 mov [%esp], %eax

126 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

127 VALIDATOR: 0000000000000028: 67 67 89 04 24 mov [%esp], %eax

128 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

129 VALIDATOR: 0000000000000028: 67 67 89 04 24 mov [%esp], %eax

130 VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client

131 VALIDATOR: 0000000000000028: 67 67 89 04 24 mov [%esp], %eax

132 VALIDATOR: ERROR: Assignment to non-64 bit memory address

133 VALIDATOR: Checking jump targets: 0 to 2d

134 VALIDATOR: Checking that basic blocks are aligned

135 * <input> IS UNSAFE *

136 @dis:

137 0000000000000000: f0 f0 01 04 24 add [%rsp], %ea x

138 0000000000000005: 89 ff mov %edi, %edi

139 0000000000000007: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

140 000000000000000b: f3 f3 ab stosd [%rdi]

141 000000000000000e: 89 ff mov %edi, %edi

142 0000000000000010: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

143 0000000000000014: f2 f3 ab stosd [%rdi]

144 0000000000000017: 89 ff mov %edi, %edi

145 0000000000000019: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

146 000000000000001d: f3 f2 ae scasb [%rdi]

147 0000000000000020: 64 65 89 c0 mov %eax, %eax

148 0000000000000024: 66 66 89 c0 mov %ax, %ax

149 0000000000000028: 67 67 89 04 24 mov [%esp], %ea x

150 @vdis:

151 0000000000000000: f0 f0 01 04 24 add [%rsp], %ea x

152 0000000000000005: 89 ff mov %edi, %edi

153 0000000000000007: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

154 000000000000000b: f3 f3 ab [P] dontcare [% rdi] (s), %eax (u)

155 000000000000000e: 89 ff mov %edi, %edi

156 0000000000000010: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

157 0000000000000014: f2 f3 ab [P] dontcare [% rdi] (s), %eax (u)

158 0000000000000017: 89 ff mov %edi, %edi

159 0000000000000019: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

160 000000000000001d: f3 f2 ae [P] dontcare %a l (u), [%rdi] (u)

161 0000000000000020: 64 65 89 c0 mov %eax, %eax

162 0000000000000024: 66 66 89 c0 mov %ax, %ax

163 0000000000000028: 67 67 89 04 24 mov [%esp], %ea x

164 @rdfa_output:

165 0: [0] unrecognized instruction

166 b: [1] unrecognized instruction

167 14: [2] unrecognized instruction

168 1d: [3] unrecognized instruction

169 20: [0] unrecognized instruction

170 24: [1] unrecognized instruction

171 28: [2] unrecognized instruction

172 return code: 1

173 ----------------------------------------------------------------------

174 @hex:

175 # rex rex jmp $

176 40 40 EB FD

177 @rval:

178 VALIDATOR: 0000000000000000: 40 40 eb fd jmp 0x1

179 VALIDATOR: ERROR: Multiple use of REX prefix not allowed

180 VALIDATOR: Checking jump targets: 0 to 4

181 VALIDATOR: ERROR: 1: Bad jump target

182 VALIDATOR: Checking that basic blocks are aligned

183 * <input> IS UNSAFE *

184 @rvald:

185 VALIDATOR: 0000000000000000: 40 40 eb fd jmp 0x1

186 VALIDATOR: ERROR: Multiple use of REX prefix not allowed

187 VALIDATOR: Checking block alignment and jump targets: 0 to 4

188 VALIDATOR: 0000000000000000: 40 40 eb fd jmp 0x1

189 VALIDATOR: ERROR: Doesn't jump to instruction address

190 * <input> IS UNSAFE *

191 @vd-rval:

192 VALIDATOR: 0000000000000000: 40 40 eb fd [P] dontcarejump %rip (s), 0x1 (u)

193 VALIDATOR: ERROR: Multiple use of REX prefix not allowed

194 VALIDATOR: Checking jump targets: 0 to 4

195 VALIDATOR: ERROR: 1: Bad jump target

196 VALIDATOR: Checking that basic blocks are aligned

197 * <input> IS UNSAFE *

198 @dis:

199 0000000000000000: 40 40 eb fd jmp 0x1

200 @vdis:

201 0000000000000000: 40 40 eb fd [P] dontcarejum p %rip (s), 0x1 (u)

202 @rdfa_output:

203 0: [0] unrecognized instruction

204 return code: 1

205 @validators_disagree:

206 errors reported by old validator but not by rdfa one:

207 0x1 - because of error recovery

208 ----------------------------------------------------------------------

209 @hex:

210 # 2 prefixes of different type

211 # lock add %eax, %ss:(%rsp)

212 36 F0 01 04 24

213 F0 36 01 04 24

214

215 # mov %edi,%edi

216 # lea (%r15,%rdi),%rdi

217 # es rep stos %eax,%es:(%rdi)

218 89 FF

219 49 8D 3C 3F

220 26 F3 AB

221 89 FF

222 49 8D 3C 3F

223 F3 26 AB

224

225 # nops for bundle alignment

226 90 90 90 90

227

228 # lock add %ax, (%rsp)

229 66 F0 01 04 24

230 F0 66 01 04 24

231 @rval:

232 VALIDATOR: 0000000000000000: 36 f0 01 04 24 add [%rsp], %eax

233 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

234 VALIDATOR: 0000000000000000: 36 f0 01 04 24 add [%rsp], %eax

235 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

236 VALIDATOR: 0000000000000005: f0 36 01 04 24 add [%rsp], %eax

237 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

238 VALIDATOR: 0000000000000005: f0 36 01 04 24 add [%rsp], %eax

239 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

240 VALIDATOR: 0000000000000010: 26 f3 ab stos d [%rdi]

241 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

242 VALIDATOR: 0000000000000010: 26 f3 ab stos d [%rdi]

243 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

244 VALIDATOR: 0000000000000019: f3 26 ab stos d [%rdi]

245 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

246 VALIDATOR: 0000000000000019: f3 26 ab stos d [%rdi]

247 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

248 VALIDATOR: Checking jump targets: 0 to 2a

249 VALIDATOR: Checking that basic blocks are aligned

250 * <input> IS UNSAFE *

251 @rvald:

252 VALIDATOR: 0000000000000000: 36 f0 01 04 24 add [%rsp], %eax

253 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

254 VALIDATOR: 0000000000000000: 36 f0 01 04 24 add [%rsp], %eax

255 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

256 VALIDATOR: 0000000000000005: f0 36 01 04 24 add [%rsp], %eax

257 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

258 VALIDATOR: 0000000000000005: f0 36 01 04 24 add [%rsp], %eax

259 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

260 VALIDATOR: 0000000000000010: 26 f3 ab stos d [%rdi]

261 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

262 VALIDATOR: 0000000000000010: 26 f3 ab stos d [%rdi]

263 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

264 VALIDATOR: 0000000000000019: f3 26 ab stos d [%rdi]

265 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

266 VALIDATOR: 0000000000000019: f3 26 ab stos d [%rdi]

267 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

268 VALIDATOR: Checking block alignment and jump targets: 0 to 2a

269 * <input> IS UNSAFE *

270 @vd-rval:

271 VALIDATOR: 0000000000000000: 36 f0 01 04 24 add [%rsp], %eax

272 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

273 VALIDATOR: 0000000000000000: 36 f0 01 04 24 add [%rsp], %eax

274 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

275 VALIDATOR: 0000000000000005: f0 36 01 04 24 add [%rsp], %eax

276 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

277 VALIDATOR: 0000000000000005: f0 36 01 04 24 add [%rsp], %eax

278 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

279 VALIDATOR: 0000000000000010: 26 f3 ab [P] dontcare [%rdi] (s), %eax (u)

280 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

281 VALIDATOR: 0000000000000010: 26 f3 ab [P] dontcare [%rdi] (s), %eax (u)

282 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

283 VALIDATOR: 0000000000000019: f3 26 ab [P] dontcare [%rdi] (s), %eax (u)

284 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

285 VALIDATOR: 0000000000000019: f3 26 ab [P] dontcare [%rdi] (s), %eax (u)

286 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

287 VALIDATOR: Checking jump targets: 0 to 2a

288 VALIDATOR: Checking that basic blocks are aligned

289 * <input> IS UNSAFE *

290 @dis:

291 0000000000000000: 36 f0 01 04 24 add [%rsp], %ea x

292 0000000000000005: f0 36 01 04 24 add [%rsp], %ea x

293 000000000000000a: 89 ff mov %edi, %edi

294 000000000000000c: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

295 0000000000000010: 26 f3 ab stosd [%rdi]

296 0000000000000013: 89 ff mov %edi, %edi

297 0000000000000015: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

298 0000000000000019: f3 26 ab stosd [%rdi]

299 000000000000001c: 90 nop

300 000000000000001d: 90 nop

301 000000000000001e: 90 nop

302 000000000000001f: 90 nop

303 0000000000000020: 66 f0 01 04 24 add [%rsp], %ax

304 0000000000000025: f0 66 01 04 24 add [%rsp], %ax

305 @vdis:

306 0000000000000000: 36 f0 01 04 24 add [%rsp], %ea x

307 0000000000000005: f0 36 01 04 24 add [%rsp], %ea x

308 000000000000000a: 89 ff mov %edi, %edi

309 000000000000000c: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

310 0000000000000010: 26 f3 ab [P] dontcare [% rdi] (s), %eax (u)

311 0000000000000013: 89 ff mov %edi, %edi

312 0000000000000015: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

313 0000000000000019: f3 26 ab [P] dontcare [% rdi] (s), %eax (u)

314 000000000000001c: 90 [P] dontcare

315 000000000000001d: 90 [P] dontcare

316 000000000000001e: 90 [P] dontcare

317 000000000000001f: 90 [P] dontcare

318 0000000000000020: 66 f0 01 04 24 add [%rsp], %ax

319 0000000000000025: f0 66 01 04 24 add [%rsp], %ax

320 @rdfa_output:

321 0: [0] unrecognized instruction

322 5: [1] unrecognized instruction

323 10: [2] unrecognized instruction

324 19: [3] unrecognized instruction

325 return code: 1

326 ----------------------------------------------------------------------

327 @hex:

328 # Doesn't validate due to bug.

329 # mov %edi,%edi

330 # lea (%r15,%rdi),%rdi

331 # rep stosw %ax,%es:(%rdi)

332 89 FF

333 49 8D 3C 3F

334 66 F3 AB

335 89 FF

336 49 8D 3C 3F

337 F3 66 AB

338 @rval:

339 VALIDATOR: 0000000000000006: 66 f3 ab stos w [%rdi]

340 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

341 VALIDATOR: 000000000000000f: f3 66 ab stos w [%rdi]

342 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

343 VALIDATOR: Checking jump targets: 0 to 12

344 VALIDATOR: Checking that basic blocks are aligned

345 * <input> IS UNSAFE *

346 @rvald:

347 VALIDATOR: 0000000000000006: 66 f3 ab stos w [%rdi]

348 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

349 VALIDATOR: 000000000000000f: f3 66 ab stos w [%rdi]

350 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

351 VALIDATOR: Checking block alignment and jump targets: 0 to 12

352 * <input> IS UNSAFE *

353 @vd-rval:

354 VALIDATOR: 0000000000000006: 66 f3 ab [P] dontcare [%rdi] (s), %ax (u)

355 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

356 VALIDATOR: 000000000000000f: f3 66 ab [P] dontcare [%rdi] (s), %ax (u)

357 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

358 VALIDATOR: Checking jump targets: 0 to 12

359 VALIDATOR: Checking that basic blocks are aligned

360 * <input> IS UNSAFE *

361 @dis:

362 0000000000000000: 89 ff mov %edi, %edi

363 0000000000000002: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

364 0000000000000006: 66 f3 ab stosw [%rdi]

365 0000000000000009: 89 ff mov %edi, %edi

366 000000000000000b: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

367 000000000000000f: f3 66 ab stosw [%rdi]

368 @vdis:

369 0000000000000000: 89 ff mov %edi, %edi

370 0000000000000002: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

371 0000000000000006: 66 f3 ab [P] dontcare [% rdi] (s), %ax (u)

372 0000000000000009: 89 ff mov %edi, %edi

373 000000000000000b: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

374 000000000000000f: f3 66 ab [P] dontcare [% rdi] (s), %ax (u)

375 @rdfa_output:

376 6: [0] unrecognized instruction

377 f: [1] unrecognized instruction

378 return code: 1

379 ----------------------------------------------------------------------

380 @hex:

381 # lock add %eax, (%esp)

382 67 F0 01 04 24

383 F0 67 01 04 24

384

385 # rep stos %eax, %es:(%edi)

386 89 FF

387 49 8D 3C 3F

388 67 F3 AB

389 89 FF

390 49 8D 3C 3F

391 F3 67 AB

392 @rval:

393 VALIDATOR: 0000000000000000: 67 f0 01 04 24 add [%esp], %eax

394 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

395 VALIDATOR: 0000000000000000: 67 f0 01 04 24 add [%esp], %eax

396 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

397 VALIDATOR: 0000000000000000: 67 f0 01 04 24 add [%esp], %eax

398 VALIDATOR: ERROR: Assignment to non-64 bit memory address

399 VALIDATOR: 0000000000000005: f0 67 01 04 24 add [%esp], %eax

400 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

401 VALIDATOR: 0000000000000005: f0 67 01 04 24 add [%esp], %eax

402 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

403 VALIDATOR: 0000000000000005: f0 67 01 04 24 add [%esp], %eax

404 VALIDATOR: ERROR: Assignment to non-64 bit memory address

405 VALIDATOR: 0000000000000010: 67 f3 ab stos d [%edi]

406 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

407 VALIDATOR: 0000000000000010: 67 f3 ab stos d [%edi]

408 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

409 VALIDATOR: 0000000000000010: 67 f3 ab stos d [%edi]

410 VALIDATOR: ERROR: Assignment to non-64 bit segment address

411 VALIDATOR: 0000000000000019: f3 67 ab stos d [%edi]

412 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

413 VALIDATOR: 0000000000000019: f3 67 ab stos d [%edi]

414 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

415 VALIDATOR: 0000000000000019: f3 67 ab stos d [%edi]

416 VALIDATOR: ERROR: Assignment to non-64 bit segment address

417 VALIDATOR: Checking jump targets: 0 to 1c

418 VALIDATOR: Checking that basic blocks are aligned

419 * <input> IS UNSAFE *

420 @rvald:

421 VALIDATOR: 0000000000000000: 67 f0 01 04 24 add [%esp], %eax

422 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

423 VALIDATOR: 0000000000000000: 67 f0 01 04 24 add [%esp], %eax

424 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

425 VALIDATOR: 0000000000000000: 67 f0 01 04 24 add [%esp], %eax

426 VALIDATOR: ERROR: Assignment to non-64 bit memory address

427 VALIDATOR: 0000000000000005: f0 67 01 04 24 add [%esp], %eax

428 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

429 VALIDATOR: 0000000000000005: f0 67 01 04 24 add [%esp], %eax

430 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

431 VALIDATOR: 0000000000000005: f0 67 01 04 24 add [%esp], %eax

432 VALIDATOR: ERROR: Assignment to non-64 bit memory address

433 VALIDATOR: 0000000000000010: 67 f3 ab stos d [%edi]

434 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

435 VALIDATOR: 0000000000000010: 67 f3 ab stos d [%edi]

436 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

437 VALIDATOR: 0000000000000010: 67 f3 ab stos d [%edi]

438 VALIDATOR: ERROR: Assignment to non-64 bit segment address

439 VALIDATOR: 0000000000000019: f3 67 ab stos d [%edi]

440 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

441 VALIDATOR: 0000000000000019: f3 67 ab stos d [%edi]

442 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

443 VALIDATOR: 0000000000000019: f3 67 ab stos d [%edi]

444 VALIDATOR: ERROR: Assignment to non-64 bit segment address

445 VALIDATOR: Checking block alignment and jump targets: 0 to 1c

446 * <input> IS UNSAFE *

447 @vd-rval:

448 VALIDATOR: 0000000000000000: 67 f0 01 04 24 add [%esp], %eax

449 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

450 VALIDATOR: 0000000000000000: 67 f0 01 04 24 add [%esp], %eax

451 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

452 VALIDATOR: 0000000000000000: 67 f0 01 04 24 add [%esp], %eax

453 VALIDATOR: ERROR: Assignment to non-64 bit memory address

454 VALIDATOR: 0000000000000005: f0 67 01 04 24 add [%esp], %eax

455 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

456 VALIDATOR: 0000000000000005: f0 67 01 04 24 add [%esp], %eax

457 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

458 VALIDATOR: 0000000000000005: f0 67 01 04 24 add [%esp], %eax

459 VALIDATOR: ERROR: Assignment to non-64 bit memory address

460 VALIDATOR: 0000000000000010: 67 f3 ab [P] dontcare [%edi] (s), %eax (u)

461 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

462 VALIDATOR: 0000000000000010: 67 f3 ab [P] dontcare [%edi] (s), %eax (u)

463 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

464 VALIDATOR: 0000000000000010: 67 f3 ab [P] dontcare [%edi] (s), %eax (u)

465 VALIDATOR: ERROR: Assignment to non-64 bit segment address

466 VALIDATOR: 0000000000000019: f3 67 ab [P] dontcare [%edi] (s), %eax (u)

467 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

468 VALIDATOR: 0000000000000019: f3 67 ab [P] dontcare [%edi] (s), %eax (u)

469 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

470 VALIDATOR: 0000000000000019: f3 67 ab [P] dontcare [%edi] (s), %eax (u)

471 VALIDATOR: ERROR: Assignment to non-64 bit segment address

472 VALIDATOR: Checking jump targets: 0 to 1c

473 VALIDATOR: Checking that basic blocks are aligned

474 * <input> IS UNSAFE *

475 @dis:

476 0000000000000000: 67 f0 01 04 24 add [%esp], %ea x

477 0000000000000005: f0 67 01 04 24 add [%esp], %ea x

478 000000000000000a: 89 ff mov %edi, %edi

479 000000000000000c: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

480 0000000000000010: 67 f3 ab stosd [%edi]

481 0000000000000013: 89 ff mov %edi, %edi

482 0000000000000015: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

483 0000000000000019: f3 67 ab stosd [%edi]

484 @vdis:

485 0000000000000000: 67 f0 01 04 24 add [%esp], %ea x

486 0000000000000005: f0 67 01 04 24 add [%esp], %ea x

487 000000000000000a: 89 ff mov %edi, %edi

488 000000000000000c: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

489 0000000000000010: 67 f3 ab [P] dontcare [% edi] (s), %eax (u)

490 0000000000000013: 89 ff mov %edi, %edi

491 0000000000000015: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

492 0000000000000019: f3 67 ab [P] dontcare [% edi] (s), %eax (u)

493 @rdfa_output:

494 0: [0] unrecognized instruction

495 5: [1] unrecognized instruction

496 10: [2] unrecognized instruction

497 19: [3] unrecognized instruction

498 return code: 1

499 ----------------------------------------------------------------------

500 @hex:

501 # lock add %rax, (%rsp)

502 f0 48 01 04 24

503 48 f0 01 04 24

504 # mov %edi,%edi

505 # lea (%r15,%rdi),%rdi

506 # rep stos %rax,%es:(%rdi)

507 89 FF

508 49 8D 3C 3F

509 F3 48 AB

510 @rval:

511 VALIDATOR: 0000000000000005: 48 f0 01 04 24 add [%rsp], %rax

512 VALIDATOR: ERROR: REX prefix byte must appear last

513 VALIDATOR: Checking jump targets: 0 to 13

514 VALIDATOR: Checking that basic blocks are aligned

515 * <input> IS UNSAFE *

516 @rvald:

517 VALIDATOR: 0000000000000005: 48 f0 01 04 24 add [%rsp], %rax

518 VALIDATOR: ERROR: REX prefix byte must appear last

519 VALIDATOR: Checking block alignment and jump targets: 0 to 13

520 * <input> IS UNSAFE *

521 @vd-rval:

522 VALIDATOR: 0000000000000005: 48 f0 01 04 24 add [%rsp], %rax

523 VALIDATOR: ERROR: REX prefix byte must appear last

524 VALIDATOR: Checking jump targets: 0 to 13

525 VALIDATOR: Checking that basic blocks are aligned

526 * <input> IS UNSAFE *

527 @dis:

528 0000000000000000: f0 48 01 04 24 add [%rsp], %ra x

529 0000000000000005: 48 f0 01 04 24 add [%rsp], %ra x

530 000000000000000a: 89 ff mov %edi, %edi

531 000000000000000c: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

532 0000000000000010: f3 48 ab stosq [%rdi]

533 @vdis:

534 0000000000000000: f0 48 01 04 24 add [%rsp], %ra x

535 0000000000000005: 48 f0 01 04 24 add [%rsp], %ra x

536 000000000000000a: 89 ff mov %edi, %edi

537 000000000000000c: 49 8d 3c 3f lea %rdi, [%r15 +%rdi*1]

538 0000000000000010: f3 48 ab [P] dontcare [% rdi] (s), %rax (u)

539 @rdfa_output:

540 5: [0] unrecognized instruction

541 return code: 1

542 ----------------------------------------------------------------------

543 @hex:

544 # fs mov %ax,%ax

545 64 66 89 C0

546 66 64 89 C0

547 # fs add %eax, (%esp)

548 67 64 01 04 24

549 64 67 01 04 24

550 # fs mov %rax,%rax

551 64 48 89 C0

552 48 64 89 C0

553

554 # bundle alignment

555 90 90 90 90 90 90

556

557 # add %ax, (%esp)

558 66 67 01 04 24

559 67 66 01 04 24

560 # mov %r15l, (%rsp)

561 66 44 89 3C 24

562 44 66 89 3C 24

563 # mov %r15, (%esp)

564 67 4C 89 3C 24

565 4C 67 89 3C 24

566 @rval:

567 VALIDATOR: 0000000000000000: 64 66 89 c0 mov %ax, %ax

568 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

569 VALIDATOR: 0000000000000000: 64 66 89 c0 mov %ax, %ax

570 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

571 VALIDATOR: 0000000000000004: 66 64 89 c0 mov %ax, %ax

572 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

573 VALIDATOR: 0000000000000004: 66 64 89 c0 mov %ax, %ax

574 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

575 VALIDATOR: 0000000000000008: 67 64 01 04 24 add %fs:[%esp], %eax

576 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

577 VALIDATOR: 0000000000000008: 67 64 01 04 24 add %fs:[%esp], %eax

578 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

579 VALIDATOR: 0000000000000008: 67 64 01 04 24 add %fs:[%esp], %eax

580 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

581 VALIDATOR: 0000000000000008: 67 64 01 04 24 add %fs:[%esp], %eax

582 VALIDATOR: ERROR: Assignment to non-64 bit segment address

583 VALIDATOR: 000000000000000d: 64 67 01 04 24 add %fs:[%esp], %eax

584 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

585 VALIDATOR: 000000000000000d: 64 67 01 04 24 add %fs:[%esp], %eax

586 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

587 VALIDATOR: 000000000000000d: 64 67 01 04 24 add %fs:[%esp], %eax

588 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

589 VALIDATOR: 000000000000000d: 64 67 01 04 24 add %fs:[%esp], %eax

590 VALIDATOR: ERROR: Assignment to non-64 bit segment address

591 VALIDATOR: 0000000000000012: 64 48 89 c0 mov %rax, %rax

592 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

593 VALIDATOR: 0000000000000016: 48 64 89 c0 mov %rax, %rax

594 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

595 VALIDATOR: 0000000000000016: 48 64 89 c0 mov %rax, %rax

596 VALIDATOR: ERROR: REX prefix byte must appear last

597 VALIDATOR: 0000000000000020: 66 67 01 04 24 add [%esp], %ax

598 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

599 VALIDATOR: 0000000000000020: 66 67 01 04 24 add [%esp], %ax

600 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

601 VALIDATOR: 0000000000000020: 66 67 01 04 24 add [%esp], %ax

602 VALIDATOR: ERROR: Assignment to non-64 bit memory address

603 VALIDATOR: 0000000000000025: 67 66 01 04 24 add [%esp], %ax

604 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

605 VALIDATOR: 0000000000000025: 67 66 01 04 24 add [%esp], %ax

606 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

607 VALIDATOR: 0000000000000025: 67 66 01 04 24 add [%esp], %ax

608 VALIDATOR: ERROR: Assignment to non-64 bit memory address

609 VALIDATOR: 000000000000002f: 44 66 89 3c 24 mov [%rsp], %r15w

610 VALIDATOR: ERROR: REX prefix byte must appear last

611 VALIDATOR: 0000000000000034: 67 4c 89 3c 24 mov [%esp], %r15

612 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

613 VALIDATOR: 0000000000000034: 67 4c 89 3c 24 mov [%esp], %r15

614 VALIDATOR: ERROR: Assignment to non-64 bit memory address

615 VALIDATOR: 0000000000000039: 4c 67 89 3c 24 mov [%esp], %r15

616 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

617 VALIDATOR: 0000000000000039: 4c 67 89 3c 24 mov [%esp], %r15

618 VALIDATOR: ERROR: REX prefix byte must appear last

619 VALIDATOR: 0000000000000039: 4c 67 89 3c 24 mov [%esp], %r15

620 VALIDATOR: ERROR: Assignment to non-64 bit memory address

621 VALIDATOR: Checking jump targets: 0 to 3e

622 VALIDATOR: Checking that basic blocks are aligned

623 * <input> IS UNSAFE *

624 @rvald:

625 VALIDATOR: 0000000000000000: 64 66 89 c0 mov %ax, %ax

626 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

627 VALIDATOR: 0000000000000000: 64 66 89 c0 mov %ax, %ax

628 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

629 VALIDATOR: 0000000000000004: 66 64 89 c0 mov %ax, %ax

630 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

631 VALIDATOR: 0000000000000004: 66 64 89 c0 mov %ax, %ax

632 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

633 VALIDATOR: 0000000000000008: 67 64 01 04 24 add %fs:[%esp], %eax

634 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

635 VALIDATOR: 0000000000000008: 67 64 01 04 24 add %fs:[%esp], %eax

636 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

637 VALIDATOR: 0000000000000008: 67 64 01 04 24 add %fs:[%esp], %eax

638 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

639 VALIDATOR: 0000000000000008: 67 64 01 04 24 add %fs:[%esp], %eax

640 VALIDATOR: ERROR: Assignment to non-64 bit segment address

641 VALIDATOR: 000000000000000d: 64 67 01 04 24 add %fs:[%esp], %eax

642 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

643 VALIDATOR: 000000000000000d: 64 67 01 04 24 add %fs:[%esp], %eax

644 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

645 VALIDATOR: 000000000000000d: 64 67 01 04 24 add %fs:[%esp], %eax

646 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

647 VALIDATOR: 000000000000000d: 64 67 01 04 24 add %fs:[%esp], %eax

648 VALIDATOR: ERROR: Assignment to non-64 bit segment address

649 VALIDATOR: 0000000000000012: 64 48 89 c0 mov %rax, %rax

650 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

651 VALIDATOR: 0000000000000016: 48 64 89 c0 mov %rax, %rax

652 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

653 VALIDATOR: 0000000000000016: 48 64 89 c0 mov %rax, %rax

654 VALIDATOR: ERROR: REX prefix byte must appear last

655 VALIDATOR: 0000000000000020: 66 67 01 04 24 add [%esp], %ax

656 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

657 VALIDATOR: 0000000000000020: 66 67 01 04 24 add [%esp], %ax

658 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

659 VALIDATOR: 0000000000000020: 66 67 01 04 24 add [%esp], %ax

660 VALIDATOR: ERROR: Assignment to non-64 bit memory address

661 VALIDATOR: 0000000000000025: 67 66 01 04 24 add [%esp], %ax

662 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

663 VALIDATOR: 0000000000000025: 67 66 01 04 24 add [%esp], %ax

664 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

665 VALIDATOR: 0000000000000025: 67 66 01 04 24 add [%esp], %ax

666 VALIDATOR: ERROR: Assignment to non-64 bit memory address

667 VALIDATOR: 000000000000002f: 44 66 89 3c 24 mov [%rsp], %r15w

668 VALIDATOR: ERROR: REX prefix byte must appear last

669 VALIDATOR: 0000000000000034: 67 4c 89 3c 24 mov [%esp], %r15

670 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

671 VALIDATOR: 0000000000000034: 67 4c 89 3c 24 mov [%esp], %r15

672 VALIDATOR: ERROR: Assignment to non-64 bit memory address

673 VALIDATOR: 0000000000000039: 4c 67 89 3c 24 mov [%esp], %r15

674 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

675 VALIDATOR: 0000000000000039: 4c 67 89 3c 24 mov [%esp], %r15

676 VALIDATOR: ERROR: REX prefix byte must appear last

677 VALIDATOR: 0000000000000039: 4c 67 89 3c 24 mov [%esp], %r15

678 VALIDATOR: ERROR: Assignment to non-64 bit memory address

679 VALIDATOR: Checking block alignment and jump targets: 0 to 3e

680 * <input> IS UNSAFE *

681 @vd-rval:

682 VALIDATOR: 0000000000000000: 64 66 89 c0 mov %ax, %ax

683 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

684 VALIDATOR: 0000000000000000: 64 66 89 c0 mov %ax, %ax

685 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

686 VALIDATOR: 0000000000000004: 66 64 89 c0 mov %ax, %ax

687 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

688 VALIDATOR: 0000000000000004: 66 64 89 c0 mov %ax, %ax

689 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

690 VALIDATOR: 0000000000000008: 67 64 01 04 24 add %fs:[%esp], %eax

691 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

692 VALIDATOR: 0000000000000008: 67 64 01 04 24 add %fs:[%esp], %eax

693 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

694 VALIDATOR: 0000000000000008: 67 64 01 04 24 add %fs:[%esp], %eax

695 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

696 VALIDATOR: 0000000000000008: 67 64 01 04 24 add %fs:[%esp], %eax

697 VALIDATOR: ERROR: Assignment to non-64 bit segment address

698 VALIDATOR: 000000000000000d: 64 67 01 04 24 add %fs:[%esp], %eax

699 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

700 VALIDATOR: 000000000000000d: 64 67 01 04 24 add %fs:[%esp], %eax

701 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

702 VALIDATOR: 000000000000000d: 64 67 01 04 24 add %fs:[%esp], %eax

703 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

704 VALIDATOR: 000000000000000d: 64 67 01 04 24 add %fs:[%esp], %eax

705 VALIDATOR: ERROR: Assignment to non-64 bit segment address

706 VALIDATOR: 0000000000000012: 64 48 89 c0 mov %rax, %rax

707 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

708 VALIDATOR: 0000000000000016: 48 64 89 c0 mov %rax, %rax

709 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

710 VALIDATOR: 0000000000000016: 48 64 89 c0 mov %rax, %rax

711 VALIDATOR: ERROR: REX prefix byte must appear last

712 VALIDATOR: 0000000000000020: 66 67 01 04 24 add [%esp], %ax

713 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

714 VALIDATOR: 0000000000000020: 66 67 01 04 24 add [%esp], %ax

715 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

716 VALIDATOR: 0000000000000020: 66 67 01 04 24 add [%esp], %ax

717 VALIDATOR: ERROR: Assignment to non-64 bit memory address

718 VALIDATOR: 0000000000000025: 67 66 01 04 24 add [%esp], %ax

719 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

720 VALIDATOR: 0000000000000025: 67 66 01 04 24 add [%esp], %ax

721 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

722 VALIDATOR: 0000000000000025: 67 66 01 04 24 add [%esp], %ax

723 VALIDATOR: ERROR: Assignment to non-64 bit memory address

724 VALIDATOR: 000000000000002f: 44 66 89 3c 24 mov [%rsp], %r15w

725 VALIDATOR: ERROR: REX prefix byte must appear last

726 VALIDATOR: 0000000000000034: 67 4c 89 3c 24 mov [%esp], %r15

727 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

728 VALIDATOR: 0000000000000034: 67 4c 89 3c 24 mov [%esp], %r15

729 VALIDATOR: ERROR: Assignment to non-64 bit memory address

730 VALIDATOR: 0000000000000039: 4c 67 89 3c 24 mov [%esp], %r15

731 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

732 VALIDATOR: 0000000000000039: 4c 67 89 3c 24 mov [%esp], %r15

733 VALIDATOR: ERROR: REX prefix byte must appear last

734 VALIDATOR: 0000000000000039: 4c 67 89 3c 24 mov [%esp], %r15

735 VALIDATOR: ERROR: Assignment to non-64 bit memory address

736 VALIDATOR: Checking jump targets: 0 to 3e

737 VALIDATOR: Checking that basic blocks are aligned

738 * <input> IS UNSAFE *

739 @dis:

740 0000000000000000: 64 66 89 c0 mov %ax, %ax

741 0000000000000004: 66 64 89 c0 mov %ax, %ax

742 0000000000000008: 67 64 01 04 24 add %fs:[%esp], %eax

743 000000000000000d: 64 67 01 04 24 add %fs:[%esp], %eax

744 0000000000000012: 64 48 89 c0 mov %rax, %rax

745 0000000000000016: 48 64 89 c0 mov %rax, %rax

746 000000000000001a: 90 nop

747 000000000000001b: 90 nop

748 000000000000001c: 90 nop

749 000000000000001d: 90 nop

750 000000000000001e: 90 nop

751 000000000000001f: 90 nop

752 0000000000000020: 66 67 01 04 24 add [%esp], %ax

753 0000000000000025: 67 66 01 04 24 add [%esp], %ax

754 000000000000002a: 66 44 89 3c 24 mov [%rsp], %r1 5w

755 000000000000002f: 44 66 89 3c 24 mov [%rsp], %r1 5w

756 0000000000000034: 67 4c 89 3c 24 mov [%esp], %r1 5

757 0000000000000039: 4c 67 89 3c 24 mov [%esp], %r1 5

758 @vdis:

759 0000000000000000: 64 66 89 c0 mov %ax, %ax

760 0000000000000004: 66 64 89 c0 mov %ax, %ax

761 0000000000000008: 67 64 01 04 24 add %fs:[%esp], %eax

762 000000000000000d: 64 67 01 04 24 add %fs:[%esp], %eax

763 0000000000000012: 64 48 89 c0 mov %rax, %rax

764 0000000000000016: 48 64 89 c0 mov %rax, %rax

765 000000000000001a: 90 [P] dontcare

766 000000000000001b: 90 [P] dontcare

767 000000000000001c: 90 [P] dontcare

768 000000000000001d: 90 [P] dontcare

769 000000000000001e: 90 [P] dontcare

770 000000000000001f: 90 [P] dontcare

771 0000000000000020: 66 67 01 04 24 add [%esp], %ax

772 0000000000000025: 67 66 01 04 24 add [%esp], %ax

773 000000000000002a: 66 44 89 3c 24 mov [%rsp], %r1 5w

774 000000000000002f: 44 66 89 3c 24 mov [%rsp], %r1 5w

775 0000000000000034: 67 4c 89 3c 24 mov [%esp], %r1 5

776 0000000000000039: 4c 67 89 3c 24 mov [%esp], %r1 5

777 @rdfa_output:

778 0: [0] unrecognized instruction

779 4: [1] unrecognized instruction

780 8: [2] unrecognized instruction

781 d: [3] unrecognized instruction

782 12: [4] unrecognized instruction

783 16: [5] unrecognized instruction

784 20: [0] unrecognized instruction

785 25: [1] unrecognized instruction

786 2f: [2] unrecognized instruction

787 34: [3] unrecognized instruction

788 39: [4] unrecognized instruction

789 return code: 1

790 ----------------------------------------------------------------------

791 @hex:

792 # 2 prefixes when one is mandatory

793 # fs phaddw %xmm0,%xmm1

794 64 66 0F 38 01 C8

795 # fs addsd %xmm0,%xmm1

796 64 F2 0F 58 C8

797 # 0x66 phaddw %xmm0,%xmm1

798 66 66 0F 38 01 C8

799 # 0x66 addsd %xmm0,%xmm1

800 66 F2 0F 58 C8

801 # phaddw (%esp), %xmm0

802 67 66 0f 38 01 04 24

803

804 # nops for bundle alignment

805 90 90 90

806

807 # addsd (%esp), %xmm0

808 67 f2 0f 58 04 24

809 # mov %eax,%eax

810 # phaddw (%r15,%rax),%xmm0

811 89 C0

812 66 41 0F 38 01 04 07

813 89 C0

814 41 66 0F 38 01 04 07

815 # mov %eax,%eax

816 # addsd (%r15,%rax),%xmm0

817 89 C0

818 F2 41 0F 58 04 07

819 89 C0

820 41 F2 0F 58 04 07

821 @rval:

822 VALIDATOR: 0000000000000000: 64 66 0f 38 01 c8 phad dw %xmm1, %xmm0

823 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

824 VALIDATOR: 0000000000000000: 64 66 0f 38 01 c8 phad dw %xmm1, %xmm0

825 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

826 VALIDATOR: 0000000000000006: 64 f2 0f 58 c8 adds d %xmm1, %xmm0

827 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

828 VALIDATOR: 0000000000000006: 64 f2 0f 58 c8 adds d %xmm1, %xmm0

829 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

830 VALIDATOR: 000000000000000b: 66 66 0f 38 01 c8 phad dw %xmm1, %xmm0

831 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

832 VALIDATOR: 000000000000000b: 66 66 0f 38 01 c8 phad dw %xmm1, %xmm0

833 VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client

834 VALIDATOR: 0000000000000011: 66 f2 0f 58 c8 adds d %xmm1, %xmm0

835 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

836 VALIDATOR: 0000000000000011: 66 f2 0f 58 c8 adds d %xmm1, %xmm0

837 VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Nat ive Client

838 VALIDATOR: 0000000000000016: 67 66 0f 38 01 04 24 phad dw %xmm0, [%esp]

839 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

840 VALIDATOR: 0000000000000016: 67 66 0f 38 01 04 24 phad dw %xmm0, [%esp]

841 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

842 VALIDATOR: 0000000000000016: 67 66 0f 38 01 04 24 phad dw %xmm0, [%esp]

843 VALIDATOR: ERROR: Assignment to non-64 bit memory address

844 VALIDATOR: 0000000000000020: 67 f2 0f 58 04 24 adds d %xmm0, [%esp]

845 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

846 VALIDATOR: 0000000000000020: 67 f2 0f 58 04 24 adds d %xmm0, [%esp]

847 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

848 VALIDATOR: 0000000000000020: 67 f2 0f 58 04 24 adds d %xmm0, [%esp]

849 VALIDATOR: ERROR: Assignment to non-64 bit memory address

850 VALIDATOR: 0000000000000031: 41 66 0f 38 01 04 07 phad dw %xmm0, [%r15+%rax*1]

851 VALIDATOR: ERROR: REX prefix byte must appear last

852 VALIDATOR: 0000000000000042: 41 f2 0f 58 04 07 adds d %xmm0, [%r15+%rax*1]

853 VALIDATOR: ERROR: REX prefix byte must appear last

854 VALIDATOR: Checking jump targets: 0 to 48

855 VALIDATOR: Checking that basic blocks are aligned

856 * <input> IS UNSAFE *

857 @rvald:

858 VALIDATOR: 0000000000000000: 64 66 0f 38 01 c8 phad dw %xmm1, %xmm0

859 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

860 VALIDATOR: 0000000000000000: 64 66 0f 38 01 c8 phad dw %xmm1, %xmm0

861 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

862 VALIDATOR: 0000000000000006: 64 f2 0f 58 c8 adds d %xmm1, %xmm0

863 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

864 VALIDATOR: 0000000000000006: 64 f2 0f 58 c8 adds d %xmm1, %xmm0

865 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

866 VALIDATOR: 000000000000000b: 66 66 0f 38 01 c8 phad dw %xmm1, %xmm0

867 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

868 VALIDATOR: 000000000000000b: 66 66 0f 38 01 c8 phad dw %xmm1, %xmm0

869 VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client

870 VALIDATOR: 0000000000000011: 66 f2 0f 58 c8 adds d %xmm1, %xmm0

871 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

872 VALIDATOR: 0000000000000011: 66 f2 0f 58 c8 adds d %xmm1, %xmm0

873 VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Nat ive Client

874 VALIDATOR: 0000000000000016: 67 66 0f 38 01 04 24 phad dw %xmm0, [%esp]

875 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

876 VALIDATOR: 0000000000000016: 67 66 0f 38 01 04 24 phad dw %xmm0, [%esp]

877 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

878 VALIDATOR: 0000000000000016: 67 66 0f 38 01 04 24 phad dw %xmm0, [%esp]

879 VALIDATOR: ERROR: Assignment to non-64 bit memory address

880 VALIDATOR: 0000000000000020: 67 f2 0f 58 04 24 adds d %xmm0, [%esp]

881 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

882 VALIDATOR: 0000000000000020: 67 f2 0f 58 04 24 adds d %xmm0, [%esp]

883 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

884 VALIDATOR: 0000000000000020: 67 f2 0f 58 04 24 adds d %xmm0, [%esp]

885 VALIDATOR: ERROR: Assignment to non-64 bit memory address

886 VALIDATOR: 0000000000000031: 41 66 0f 38 01 04 07 phad dw %xmm0, [%r15+%rax*1]

887 VALIDATOR: ERROR: REX prefix byte must appear last

888 VALIDATOR: 0000000000000042: 41 f2 0f 58 04 07 adds d %xmm0, [%r15+%rax*1]

889 VALIDATOR: ERROR: REX prefix byte must appear last

890 VALIDATOR: Checking block alignment and jump targets: 0 to 48

891 * <input> IS UNSAFE *

892 @vd-rval:

893 VALIDATOR: 0000000000000000: 64 66 0f 38 01 c8 [P] dontcare %xmm0 (u)

894 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

895 VALIDATOR: 0000000000000000: 64 66 0f 38 01 c8 [P] dontcare %xmm0 (u)

896 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

897 VALIDATOR: 0000000000000006: 64 f2 0f 58 c8 [P] dontcare %xmm0 (u)

898 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

899 VALIDATOR: 0000000000000006: 64 f2 0f 58 c8 [P] dontcare %xmm0 (u)

900 VALIDATOR: ERROR: Uses a segment prefix byte not allowed by Native Client

901 VALIDATOR: 000000000000000b: 66 66 0f 38 01 c8 [P] dontcare %xmm0 (u)

902 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

903 VALIDATOR: 000000000000000b: 66 66 0f 38 01 c8 [P] dontcare %xmm0 (u)

904 VALIDATOR: ERROR: Duplicating a prefix byte is not allowed by Native Client

905 VALIDATOR: 0000000000000011: 66 f2 0f 58 c8 [P] dontcare %xmm0 (u)

906 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

907 VALIDATOR: 0000000000000011: 66 f2 0f 58 c8 [P] dontcare %xmm0 (u)

908 VALIDATOR: ERROR: Use of DATA16 (66) prefix for instruction not allowed by Nat ive Client

909 VALIDATOR: 0000000000000016: 67 66 0f 38 01 04 24 [P] dontcare [%esp] (u)

910 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

911 VALIDATOR: 0000000000000016: 67 66 0f 38 01 04 24 [P] dontcare [%esp] (u)

912 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

913 VALIDATOR: 0000000000000016: 67 66 0f 38 01 04 24 [P] dontcare [%esp] (u)

914 VALIDATOR: ERROR: Assignment to non-64 bit memory address

915 VALIDATOR: 0000000000000020: 67 f2 0f 58 04 24 [P] dontcare [%esp] (u)

916 VALIDATOR: ERROR: More than one (non-REX) prefix byte specified

917 VALIDATOR: 0000000000000020: 67 f2 0f 58 04 24 [P] dontcare [%esp] (u)

918 VALIDATOR: ERROR: Use of 67 (ADDR16) prefix not allowed by Native Client

919 VALIDATOR: 0000000000000020: 67 f2 0f 58 04 24 [P] dontcare [%esp] (u)

920 VALIDATOR: ERROR: Assignment to non-64 bit memory address

921 VALIDATOR: 0000000000000031: 41 66 0f 38 01 04 07 [P] dontcare [%r15+%rax*1] (u)

922 VALIDATOR: ERROR: REX prefix byte must appear last

923 VALIDATOR: 0000000000000042: 41 f2 0f 58 04 07 [P] dontcare [%r15+%rax*1] (u)

924 VALIDATOR: ERROR: REX prefix byte must appear last

925 VALIDATOR: Checking jump targets: 0 to 48

926 VALIDATOR: Checking that basic blocks are aligned

927 * <input> IS UNSAFE *

928 @dis:

929 0000000000000000: 64 66 0f 38 01 c8 phaddw %xmm1, % xmm0

930 0000000000000006: 64 f2 0f 58 c8 addsd %xmm1, %x mm0

931 000000000000000b: 66 66 0f 38 01 c8 phaddw %xmm1, % xmm0

932 0000000000000011: 66 f2 0f 58 c8 addsd %xmm1, %x mm0

933 0000000000000016: 67 66 0f 38 01 04 24 phaddw %xmm0, [ %esp]

934 000000000000001d: 90 nop

935 000000000000001e: 90 nop

936 000000000000001f: 90 nop

937 0000000000000020: 67 f2 0f 58 04 24 addsd %xmm0, [% esp]

938 0000000000000026: 89 c0 mov %eax, %eax

939 0000000000000028: 66 41 0f 38 01 04 07 phaddw %xmm0, [ %r15+%rax*1]

940 000000000000002f: 89 c0 mov %eax, %eax

941 0000000000000031: 41 66 0f 38 01 04 07 phaddw %xmm0, [ %r15+%rax*1]

942 0000000000000038: 89 c0 mov %eax, %eax

943 000000000000003a: f2 41 0f 58 04 07 addsd %xmm0, [% r15+%rax*1]

944 0000000000000040: 89 c0 mov %eax, %eax

945 0000000000000042: 41 f2 0f 58 04 07 addsd %xmm0, [% r15+%rax*1]

946 @vdis:

947 0000000000000000: 64 66 0f 38 01 c8 [P] dontcare %x mm0 (u)

948 0000000000000006: 64 f2 0f 58 c8 [P] dontcare %x mm0 (u)

949 000000000000000b: 66 66 0f 38 01 c8 [P] dontcare %x mm0 (u)

950 0000000000000011: 66 f2 0f 58 c8 [P] dontcare %x mm0 (u)

951 0000000000000016: 67 66 0f 38 01 04 24 [P] dontcare [% esp] (u)

952 000000000000001d: 90 [P] dontcare

953 000000000000001e: 90 [P] dontcare

954 000000000000001f: 90 [P] dontcare

955 0000000000000020: 67 f2 0f 58 04 24 [P] dontcare [% esp] (u)

956 0000000000000026: 89 c0 mov %eax, %eax

957 0000000000000028: 66 41 0f 38 01 04 07 [P] dontcare [% r15+%rax*1] (u)

958 000000000000002f: 89 c0 mov %eax, %eax

959 0000000000000031: 41 66 0f 38 01 04 07 [P] dontcare [% r15+%rax*1] (u)

960 0000000000000038: 89 c0 mov %eax, %eax

961 000000000000003a: f2 41 0f 58 04 07 [P] dontcare [% r15+%rax*1] (u)

962 0000000000000040: 89 c0 mov %eax, %eax

963 0000000000000042: 41 f2 0f 58 04 07 [P] dontcare [% r15+%rax*1] (u)

964 @rdfa_output:

965 0: [0] unrecognized instruction

966 6: [1] unrecognized instruction

967 b: [2] unrecognized instruction

968 11: [3] unrecognized instruction

969 16: [4] unrecognized instruction

970 20: [0] unrecognized instruction

971 31: [1] unrecognized instruction

972 42: [0] unrecognized instruction

973 return code: 1

OLD	NEW

« no previous file with comments | « src/trusted/validator_x86/testdata/64/pop-rbp.test ('k') | src/trusted/validator_x86/testdata/64/prefix-3.test » ('j') | no next file with comments »