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

Side by Side Diff: src/trusted/validator_x86/testdata/64/legacy.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 # Legacy instructions which are invalid in 64-bit mode

3 # nops (90) are used to reconsile disassembler

4 # aaa

5 37

6 # aad

7 D5 0A

8 @rval:

9 VALIDATOR: 0000000000000000: 37 inva lid

10 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

11 VALIDATOR: 0000000000000000: 37 inva lid

12 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

13 VALIDATOR: 0000000000000001: d5 inva lid

14 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

15 VALIDATOR: 0000000000000001: d5 inva lid

16 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

17 VALIDATOR: 0000000000000002: 0a inva lid

18 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

19 VALIDATOR: Checking jump targets: 0 to 3

20 VALIDATOR: Checking that basic blocks are aligned

21 * <input> IS UNSAFE *

22 @rvald:

23 VALIDATOR: 0000000000000000: 37 inva lid

24 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

25 VALIDATOR: 0000000000000000: 37 inva lid

26 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

27 VALIDATOR: 0000000000000001: d5 inva lid

28 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

29 VALIDATOR: 0000000000000001: d5 inva lid

30 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

31 VALIDATOR: 0000000000000002: 0a inva lid

32 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

33 VALIDATOR: Checking block alignment and jump targets: 0 to 3

34 * <input> IS UNSAFE *

35 @vd-rval:

36 VALIDATOR: 0000000000000000: 37 inva lid

37 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

38 VALIDATOR: 0000000000000000: 37 inva lid

39 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

40 VALIDATOR: 0000000000000001: d5 inva lid

41 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

42 VALIDATOR: 0000000000000001: d5 inva lid

43 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

44 VALIDATOR: 0000000000000002: 0a inva lid

45 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

46 VALIDATOR: Checking jump targets: 0 to 3

47 VALIDATOR: Checking that basic blocks are aligned

48 * <input> IS UNSAFE *

49 @dis:

50 0000000000000000: 37 invalid

51 0000000000000001: d5 invalid

52 0000000000000002: 0a invalid

53 @vdis:

54 0000000000000000: 37 invalid

55 0000000000000001: d5 invalid

56 0000000000000002: 0a invalid

57 @rdfa_output:

58 0: [0] unrecognized instruction

59 1: [1] unrecognized instruction

60 return code: 1

61 @validators_disagree:

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

63 0x2 - because of error recovery

64 ----------------------------------------------------------------------

65 @hex:

66 # aam

67 D4 0A

68 @rval:

69 VALIDATOR: 0000000000000000: d4 inva lid

70 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

71 VALIDATOR: 0000000000000000: d4 inva lid

72 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

73 VALIDATOR: 0000000000000001: 0a inva lid

74 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

75 VALIDATOR: Checking jump targets: 0 to 2

76 VALIDATOR: Checking that basic blocks are aligned

77 * <input> IS UNSAFE *

78 @rvald:

79 VALIDATOR: 0000000000000000: d4 inva lid

80 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

81 VALIDATOR: 0000000000000000: d4 inva lid

82 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

83 VALIDATOR: 0000000000000001: 0a inva lid

84 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

85 VALIDATOR: Checking block alignment and jump targets: 0 to 2

86 * <input> IS UNSAFE *

87 @vd-rval:

88 VALIDATOR: 0000000000000000: d4 inva lid

89 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

90 VALIDATOR: 0000000000000000: d4 inva lid

91 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

92 VALIDATOR: 0000000000000001: 0a inva lid

93 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

94 VALIDATOR: Checking jump targets: 0 to 2

95 VALIDATOR: Checking that basic blocks are aligned

96 * <input> IS UNSAFE *

97 @dis:

98 0000000000000000: d4 invalid

99 0000000000000001: 0a invalid

100 @vdis:

101 0000000000000000: d4 invalid

102 0000000000000001: 0a invalid

103 @rdfa_output:

104 0: [0] unrecognized instruction

105 return code: 1

106 @validators_disagree:

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

108 0x1 - because of error recovery

109 ----------------------------------------------------------------------

110 @hex:

111 # aas

112 3F

113 # bound %eax, (%eax)

114 62 00

115 @rval:

116 VALIDATOR: 0000000000000000: 3f inva lid

117 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

118 VALIDATOR: 0000000000000000: 3f inva lid

119 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

120 VALIDATOR: 0000000000000001: 62 inva lid

121 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

122 VALIDATOR: 0000000000000001: 62 inva lid

123 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

124 VALIDATOR: 0000000000000002: 00 inva lid

125 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

126 VALIDATOR: Checking jump targets: 0 to 3

127 VALIDATOR: Checking that basic blocks are aligned

128 * <input> IS UNSAFE *

129 @rvald:

130 VALIDATOR: 0000000000000000: 3f inva lid

131 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

132 VALIDATOR: 0000000000000000: 3f inva lid

133 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

134 VALIDATOR: 0000000000000001: 62 inva lid

135 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

136 VALIDATOR: 0000000000000001: 62 inva lid

137 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

138 VALIDATOR: 0000000000000002: 00 inva lid

139 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

140 VALIDATOR: Checking block alignment and jump targets: 0 to 3

141 * <input> IS UNSAFE *

142 @vd-rval:

143 VALIDATOR: 0000000000000000: 3f inva lid

144 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

145 VALIDATOR: 0000000000000000: 3f inva lid

146 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

147 VALIDATOR: 0000000000000001: 62 inva lid

148 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

149 VALIDATOR: 0000000000000001: 62 inva lid

150 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

151 VALIDATOR: 0000000000000002: 00 inva lid

152 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

153 VALIDATOR: Checking jump targets: 0 to 3

154 VALIDATOR: Checking that basic blocks are aligned

155 * <input> IS UNSAFE *

156 @dis:

157 0000000000000000: 3f invalid

158 0000000000000001: 62 invalid

159 0000000000000002: 00 invalid

160 @vdis:

161 0000000000000000: 3f invalid

162 0000000000000001: 62 invalid

163 0000000000000002: 00 invalid

164 @rdfa_output:

165 0: [0] unrecognized instruction

166 1: [1] unrecognized instruction

167 return code: 1

168 @validators_disagree:

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

170 0x2 - because of error recovery

171 ----------------------------------------------------------------------

172 @hex:

173 # daa

174 27

175 # das

176 2F

177 # pusha

178 60

179 @rval:

180 VALIDATOR: 0000000000000000: 27 inva lid

181 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

182 VALIDATOR: 0000000000000000: 27 inva lid

183 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

184 VALIDATOR: 0000000000000001: 2f inva lid

185 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

186 VALIDATOR: 0000000000000001: 2f inva lid

187 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

188 VALIDATOR: 0000000000000002: 60 inva lid

189 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

190 VALIDATOR: 0000000000000002: 60 inva lid

191 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

192 VALIDATOR: Checking jump targets: 0 to 3

193 VALIDATOR: Checking that basic blocks are aligned

194 * <input> IS UNSAFE *

195 @rvald:

196 VALIDATOR: 0000000000000000: 27 inva lid

197 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

198 VALIDATOR: 0000000000000000: 27 inva lid

199 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

200 VALIDATOR: 0000000000000001: 2f inva lid

201 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

202 VALIDATOR: 0000000000000001: 2f inva lid

203 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

204 VALIDATOR: 0000000000000002: 60 inva lid

205 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

206 VALIDATOR: 0000000000000002: 60 inva lid

207 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

208 VALIDATOR: Checking block alignment and jump targets: 0 to 3

209 * <input> IS UNSAFE *

210 @vd-rval:

211 VALIDATOR: 0000000000000000: 27 inva lid

212 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

213 VALIDATOR: 0000000000000000: 27 inva lid

214 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

215 VALIDATOR: 0000000000000001: 2f inva lid

216 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

217 VALIDATOR: 0000000000000001: 2f inva lid

218 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

219 VALIDATOR: 0000000000000002: 60 inva lid

220 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

221 VALIDATOR: 0000000000000002: 60 inva lid

222 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

223 VALIDATOR: Checking jump targets: 0 to 3

224 VALIDATOR: Checking that basic blocks are aligned

225 * <input> IS UNSAFE *

226 @dis:

227 0000000000000000: 27 invalid

228 0000000000000001: 2f invalid

229 0000000000000002: 60 invalid

230 @vdis:

231 0000000000000000: 27 invalid

232 0000000000000001: 2f invalid

233 0000000000000002: 60 invalid

234 @rdfa_output:

235 0: [0] unrecognized instruction

236 1: [1] unrecognized instruction

237 2: [2] unrecognized instruction

238 return code: 1

239 ----------------------------------------------------------------------

240 @hex:

241 # Some undocumented instructions

242 # icebp

243 F1

244 # salc

245 D6

246 @rval:

247 VALIDATOR: 0000000000000000: f1 int1

248 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

249 VALIDATOR: 0000000000000001: d6 inva lid

250 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

251 VALIDATOR: 0000000000000001: d6 inva lid

252 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

253 VALIDATOR: Checking jump targets: 0 to 2

254 VALIDATOR: Checking that basic blocks are aligned

255 * <input> IS UNSAFE *

256 @rvald:

257 VALIDATOR: 0000000000000000: f1 int1

258 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

259 VALIDATOR: 0000000000000001: d6 inva lid

260 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

261 VALIDATOR: 0000000000000001: d6 inva lid

262 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

263 VALIDATOR: Checking block alignment and jump targets: 0 to 2

264 * <input> IS UNSAFE *

265 @vd-rval:

266 VALIDATOR: 0000000000000000: f1 [P] dontcare(illegal)

267 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

268 VALIDATOR: 0000000000000001: d6 inva lid

269 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

270 VALIDATOR: 0000000000000001: d6 inva lid

271 VALIDATOR: ERROR: Opcode sequence doesn't define a valid x86 instruction

272 VALIDATOR: Checking jump targets: 0 to 2

273 VALIDATOR: Checking that basic blocks are aligned

274 * <input> IS UNSAFE *

275 @dis:

276 0000000000000000: f1 int1

277 0000000000000001: d6 invalid

278 @vdis:

279 0000000000000000: f1 [P] dontcare(il legal)

280 0000000000000001: d6 invalid

281 @rdfa_output:

282 0: [0] unrecognized instruction

283 1: [1] unrecognized instruction

284 return code: 1

285 ----------------------------------------------------------------------

286 @hex:

287 # Instruction below could be valid in 64-bit code and could be not valid

288 # depending on CPUID return values.

289 # lahf

290 9F

291 # sahf

292 9E

293 @rval:

294 VALIDATOR: Checking jump targets: 0 to 2

295 VALIDATOR: Checking that basic blocks are aligned

296 * <input> is safe *

297 @rvald:

298 VALIDATOR: Checking block alignment and jump targets: 0 to 2

299 * <input> is safe *

300 @vd-rval:

301 VALIDATOR: Checking jump targets: 0 to 2

302 VALIDATOR: Checking that basic blocks are aligned

303 * <input> is safe *

304 @dis:

305 0000000000000000: 9f lahf

306 0000000000000001: 9e sahf

307 @vdis:

308 0000000000000000: 9f [P] dontcare %a h (s)

309 0000000000000001: 9e [P] dontcare %a h (u)

310 @rdfa_output:

311 return code: 0

312 ----------------------------------------------------------------------

313 @hex:

314 # Legacy instructions which are valid in 64-bit mode

315 # xlat (%ebx,%al)

316 D7

317

318 # xlat (%rbx,%al)

319 48 D7

320 @rval:

321 VALIDATOR: 0000000000000000: d7 xlat

322 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

323 VALIDATOR: 0000000000000000: d7 xlat

324 VALIDATOR: ERROR: Segment memory reference not allowed

325 VALIDATOR: 0000000000000001: 48 d7 xlat

326 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

327 VALIDATOR: 0000000000000001: 48 d7 xlat

328 VALIDATOR: ERROR: Segment memory reference not allowed

329 VALIDATOR: Checking jump targets: 0 to 3

330 VALIDATOR: Checking that basic blocks are aligned

331 * <input> IS UNSAFE *

332 @rvald:

333 VALIDATOR: 0000000000000000: d7 xlat

334 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

335 VALIDATOR: 0000000000000000: d7 xlat

336 VALIDATOR: ERROR: Segment memory reference not allowed

337 VALIDATOR: 0000000000000001: 48 d7 xlat

338 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

339 VALIDATOR: 0000000000000001: 48 d7 xlat

340 VALIDATOR: ERROR: Segment memory reference not allowed

341 VALIDATOR: Checking block alignment and jump targets: 0 to 3

342 * <input> IS UNSAFE *

343 @vd-rval:

344 VALIDATOR: 0000000000000000: d7 [P] dontcare(illegal)

345 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

346 VALIDATOR: 0000000000000001: 48 d7 [P] dontcare(illegal)

347 VALIDATOR: ERROR: This instruction has been marked illegal by Native Client

348 VALIDATOR: Checking jump targets: 0 to 3

349 VALIDATOR: Checking that basic blocks are aligned

350 * <input> IS UNSAFE *

351 @dis:

352 0000000000000000: d7 xlat

353 0000000000000001: 48 d7 xlat

354 @vdis:

355 0000000000000000: d7 [P] dontcare(il legal)

356 0000000000000001: 48 d7 [P] dontcare(il legal)

357 @rdfa_output:

358 0: [0] unrecognized instruction

359 1: [1] unrecognized instruction

360 return code: 1

OLD	NEW

« no previous file with comments | « src/trusted/validator_x86/testdata/64/lea-rsp.test ('k') | src/trusted/validator_x86/testdata/64/lzcnt.test » ('j') | no next file with comments »