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

Side by Side Diff: src/trusted/validator_x86/testdata/64/fpu.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 # Load floating point value.

3 # mov %eax,%eax

4 89 C0 \\

5 # fld (%r15,%rax)

6 41 D9 04 07

7

8 # mov %eax,%eax

9 89 C0 \\

10 # fldl (%r15,%rax)

11 41 DD 04 07

12

13 # mov %eax,%eax

14 89 C0 \\

15 # fldt (%r15,%rax)

16 41 DB 2C 07

17 @rval:

18 VALIDATOR: Checking jump targets: 0 to 12

19 VALIDATOR: Checking that basic blocks are aligned

20 * <input> is safe *

21 @rvald:

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

23 * <input> is safe *

24 @vd-rval:

25 VALIDATOR: Checking jump targets: 0 to 12

26 VALIDATOR: Checking that basic blocks are aligned

27 * <input> is safe *

28 @dis:

29 0000000000000000: 89 c0 mov %eax, %eax

30 0000000000000002: 41 d9 04 07 fld %st0, [%r15 +%rax*1]

31 0000000000000006: 89 c0 mov %eax, %eax

32 0000000000000008: 41 dd 04 07 fld %st0, [%r15 +%rax*1]

33 000000000000000c: 89 c0 mov %eax, %eax

34 000000000000000e: 41 db 2c 07 fld %st0, [%r15 +%rax*1]

35 @vdis:

36 0000000000000000: 89 c0 mov %eax, %eax

37 0000000000000002: 41 d9 04 07 [P] dontcare [% r15+%rax*1] (u)

38 0000000000000006: 89 c0 mov %eax, %eax

39 0000000000000008: 41 dd 04 07 [P] dontcare [% r15+%rax*1] (u)

40 000000000000000c: 89 c0 mov %eax, %eax

41 000000000000000e: 41 db 2c 07 [P] dontcare [% r15+%rax*1] (u)

42 @rdfa_output:

43 return code: 0

44 ----------------------------------------------------------------------

45 @hex:

46 # Load integer value.

47 # mov %eax,%eax

48 89 C0 \\

49 # fildl (%r15,%rax)

50 41 DB 04 07

51

52 # mov %eax,%eax

53 89 C0 \\

54 # fildq (%r15,%rax)

55 41 DF 2C 07

56 @rval:

57 VALIDATOR: Checking jump targets: 0 to c

58 VALIDATOR: Checking that basic blocks are aligned

59 * <input> is safe *

60 @rvald:

61 VALIDATOR: Checking block alignment and jump targets: 0 to c

62 * <input> is safe *

63 @vd-rval:

64 VALIDATOR: Checking jump targets: 0 to c

65 VALIDATOR: Checking that basic blocks are aligned

66 * <input> is safe *

67 @dis:

68 0000000000000000: 89 c0 mov %eax, %eax

69 0000000000000002: 41 db 04 07 fild %st0, [%r1 5+%rax*1]

70 0000000000000006: 89 c0 mov %eax, %eax

71 0000000000000008: 41 df 2c 07 fild %st0, [%r1 5+%rax*1]

72 @vdis:

73 0000000000000000: 89 c0 mov %eax, %eax

74 0000000000000002: 41 db 04 07 [P] dontcare [% r15+%rax*1] (u)

75 0000000000000006: 89 c0 mov %eax, %eax

76 0000000000000008: 41 df 2c 07 [P] dontcare [% r15+%rax*1] (u)

77 @rdfa_output:

78 return code: 0

79 ----------------------------------------------------------------------

80 @hex:

81 # Store floating point value.

82 # mov %eax,%eax

83 89 C0 \\

84 # fsts (%r15,%rax)

85 41 D9 14 07

86

87 # mov %eax,%eax

88 89 C0 \\

89 # fstl (%r15,%rax)

90 41 DD 14 07

91

92 # mov %eax,%eax

93 89 C0 \\

94 # fstps (%r15,%rax)

95 41 D9 1C 07

96

97 # mov %eax,%eax

98 89 C0 \\

99 # fstpl (%r15,%rax)

100 41 DD 1C 07

101

102 # mov %eax,%eax

103 89 C0 \\

104 # fstpt (%r15,%rax)

105 41 DB 3C 07

106 @rval:

107 VALIDATOR: Checking jump targets: 0 to 1e

108 VALIDATOR: Checking that basic blocks are aligned

109 * <input> is safe *

110 @rvald:

111 VALIDATOR: Checking block alignment and jump targets: 0 to 1e

112 * <input> is safe *

113 @vd-rval:

114 VALIDATOR: Checking jump targets: 0 to 1e

115 VALIDATOR: Checking that basic blocks are aligned

116 * <input> is safe *

117 @dis:

118 0000000000000000: 89 c0 mov %eax, %eax

119 0000000000000002: 41 d9 14 07 fst [%r15+%rax* 1], %st0

120 0000000000000006: 89 c0 mov %eax, %eax

121 0000000000000008: 41 dd 14 07 fst [%r15+%rax* 1], %st0

122 000000000000000c: 89 c0 mov %eax, %eax

123 000000000000000e: 41 d9 1c 07 fstp [%r15+%rax *1], %st0

124 0000000000000012: 89 c0 mov %eax, %eax

125 0000000000000014: 41 dd 1c 07 fstp [%r15+%rax *1], %st0

126 0000000000000018: 89 c0 mov %eax, %eax

127 000000000000001a: 41 db 3c 07 fstp [%r15+%rax *1], %st0

128 @vdis:

129 0000000000000000: 89 c0 mov %eax, %eax

130 0000000000000002: 41 d9 14 07 [P] dontcare [% r15+%rax*1] (s)

131 0000000000000006: 89 c0 mov %eax, %eax

132 0000000000000008: 41 dd 14 07 [P] dontcare [% r15+%rax*1] (s)

133 000000000000000c: 89 c0 mov %eax, %eax

134 000000000000000e: 41 d9 1c 07 [P] dontcare [% r15+%rax*1] (s)

135 0000000000000012: 89 c0 mov %eax, %eax

136 0000000000000014: 41 dd 1c 07 [P] dontcare [% r15+%rax*1] (s)

137 0000000000000018: 89 c0 mov %eax, %eax

138 000000000000001a: 41 db 3c 07 [P] dontcare [% r15+%rax*1] (s)

139 @rdfa_output:

140 return code: 0

141 ----------------------------------------------------------------------

142 @hex:

143 # Store integer value

144 # mov %eax,%eax

145 89 C0 \\

146 # fists (%r15,%rax)

147 41 DF 14 07

148

149 # mov %eax,%eax

150 89 C0 \\

151 # fistl (%r15,%rax)

152 41 DB 14 07

153

154 # mov %eax,%eax

155 89 C0 \\

156 # fistp (%r15,%rax)

157 41 DF 1C 07

158

159 # mov %eax,%eax

160 89 C0 \\

161 # fistpl (%r15,%rax)

162 41 DB 1C 07

163

164 # mov %eax,%eax

165 89 C0 \\

166 # fistpq (%r15,%rax)

167 41 DF 3C 07

168 @rval:

169 VALIDATOR: Checking jump targets: 0 to 1e

170 VALIDATOR: Checking that basic blocks are aligned

171 * <input> is safe *

172 @rvald:

173 VALIDATOR: Checking block alignment and jump targets: 0 to 1e

174 * <input> is safe *

175 @vd-rval:

176 VALIDATOR: Checking jump targets: 0 to 1e

177 VALIDATOR: Checking that basic blocks are aligned

178 * <input> is safe *

179 @dis:

180 0000000000000000: 89 c0 mov %eax, %eax

181 0000000000000002: 41 df 14 07 fist [%r15+%rax *1], %st0

182 0000000000000006: 89 c0 mov %eax, %eax

183 0000000000000008: 41 db 14 07 fist [%r15+%rax *1], %st0

184 000000000000000c: 89 c0 mov %eax, %eax

185 000000000000000e: 41 df 1c 07 fistp [%r15+%ra x*1], %st0

186 0000000000000012: 89 c0 mov %eax, %eax

187 0000000000000014: 41 db 1c 07 fistp [%r15+%ra x*1], %st0

188 0000000000000018: 89 c0 mov %eax, %eax

189 000000000000001a: 41 df 3c 07 fistp [%r15+%ra x*1], %st0

190 @vdis:

191 0000000000000000: 89 c0 mov %eax, %eax

192 0000000000000002: 41 df 14 07 [P] dontcare [% r15+%rax*1] (s)

193 0000000000000006: 89 c0 mov %eax, %eax

194 0000000000000008: 41 db 14 07 [P] dontcare [% r15+%rax*1] (s)

195 000000000000000c: 89 c0 mov %eax, %eax

196 000000000000000e: 41 df 1c 07 [P] dontcare [% r15+%rax*1] (s)

197 0000000000000012: 89 c0 mov %eax, %eax

198 0000000000000014: 41 db 1c 07 [P] dontcare [% r15+%rax*1] (s)

199 0000000000000018: 89 c0 mov %eax, %eax

200 000000000000001a: 41 df 3c 07 [P] dontcare [% r15+%rax*1] (s)

201 @rdfa_output:

202 return code: 0

203 ----------------------------------------------------------------------

204 @hex:

205 # Basic arithmetic

206 # fadd %st(1),%st(0)

207 D8 C1

208 # faddp %st(0),%st(1)

209 DE C1

210

211 # mov %eax,%eax

212 89 C0 \\

213 # fadds (%r15,%rax)

214 41 D8 04 07

215

216 # mov %eax,%eax

217 89 C0 \\

218 # faddl (%r15,%rax)

219 41 DC 04 07

220 @rval:

221 VALIDATOR: Checking jump targets: 0 to 10

222 VALIDATOR: Checking that basic blocks are aligned

223 * <input> is safe *

224 @rvald:

225 VALIDATOR: Checking block alignment and jump targets: 0 to 10

226 * <input> is safe *

227 @vd-rval:

228 VALIDATOR: Checking jump targets: 0 to 10

229 VALIDATOR: Checking that basic blocks are aligned

230 * <input> is safe *

231 @dis:

232 0000000000000000: d8 c1 fadd %st0, %st1

233 0000000000000002: de c1 faddp %st1, %st 0

234 0000000000000004: 89 c0 mov %eax, %eax

235 0000000000000006: 41 d8 04 07 fadd %st0, [%r1 5+%rax*1]

236 000000000000000a: 89 c0 mov %eax, %eax

237 000000000000000c: 41 dc 04 07 fadd %st0, [%r1 5+%rax*1]

238 @vdis:

239 0000000000000000: d8 c1 [P] dontcare

240 0000000000000002: de c1 [P] dontcare

241 0000000000000004: 89 c0 mov %eax, %eax

242 0000000000000006: 41 d8 04 07 [P] dontcare [% r15+%rax*1] (u)

243 000000000000000a: 89 c0 mov %eax, %eax

244 000000000000000c: 41 dc 04 07 [P] dontcare [% r15+%rax*1] (u)

245 @rdfa_output:

246 return code: 0

OLD	NEW

« no previous file with comments | « src/trusted/validator_x86/testdata/64/extensions.test ('k') | src/trusted/validator_x86/testdata/64/fs_use.test » ('j') | no next file with comments »