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

Side by Side Diff

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

Keyboard Shortcuts

	File
u :	up to issue
j / k :	jump to file after / before current file
J / K :	jump to next file with a comment after / before current file
	Side-by-side diff
i :	toggle intra-line diffs
e :	expand all comments
c :	collapse all comments
s :	toggle showing all comments
n / p :	next / previous diff chunk or comment
N / P :	next / previous comment
<Up> / <Down> :	next / previous line

	Issue
u :	up to list of issues
j / k :	jump to patch after / before current patch
o / <Enter> :	open current patch in side-by-side view
i :	open current patch in unified diff view

	Issue List
j / k :	jump to issue after / before current issue
o / <Enter> :	open current issue

Side by Side Diff: src/trusted/validator_x86/testdata/64/change-subregs.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 # Sample of updating subregisters of protected registers rsp, rbp, and r15

3 # 66 29 c4 sub %sp, %ax

4 # 66 29 c5 sub %bp, %ax

5 # 47 29 c7 sub %r15d, %r8d

6 66 29 c4

7 66 29 c5

8 47 29 c7

9 @rval:

10 VALIDATOR: 0000000000000000: 66 29 c4 sub %sp, %ax

11 VALIDATOR: ERROR: Changing RegSP changes the value of RegRSP

12 VALIDATOR: 0000000000000003: 66 29 c5 sub %bp, %ax

13 VALIDATOR: ERROR: Changing RegBP changes the value of RegRBP

14 VALIDATOR: 0000000000000006: 47 29 c7 sub %r15d, %r8d

15 VALIDATOR: ERROR: Changing RegR15D changes the value of RegR15

16 VALIDATOR: Checking jump targets: 0 to 9

17 VALIDATOR: Checking that basic blocks are aligned

18 * <input> IS UNSAFE *

19 @rvald:

20 VALIDATOR: 0000000000000000: 66 29 c4 sub %sp, %ax

21 VALIDATOR: ERROR: Changing RegSP changes the value of RegRSP

22 VALIDATOR: 0000000000000003: 66 29 c5 sub %bp, %ax

23 VALIDATOR: ERROR: Changing RegBP changes the value of RegRBP

24 VALIDATOR: 0000000000000006: 47 29 c7 sub %r15d, %r8d

25 VALIDATOR: ERROR: Changing RegR15D changes the value of RegR15

26 VALIDATOR: Checking block alignment and jump targets: 0 to 9

27 * <input> IS UNSAFE *

28 @vd-rval:

29 VALIDATOR: 0000000000000000: 66 29 c4 sub %sp, %ax

30 VALIDATOR: ERROR: Changing RegSP changes the value of RegRSP

31 VALIDATOR: 0000000000000003: 66 29 c5 sub %bp, %ax

32 VALIDATOR: ERROR: Changing RegBP changes the value of RegRBP

33 VALIDATOR: 0000000000000006: 47 29 c7 sub %r15d, %r8d

34 VALIDATOR: ERROR: Changing RegR15D changes the value of RegR15

35 VALIDATOR: Checking jump targets: 0 to 9

36 VALIDATOR: Checking that basic blocks are aligned

37 * <input> IS UNSAFE *

38 @dis:

39 0000000000000000: 66 29 c4 sub %sp, %ax

40 0000000000000003: 66 29 c5 sub %bp, %ax

41 0000000000000006: 47 29 c7 sub %r15d, %r8d

42 @vdis:

43 0000000000000000: 66 29 c4 sub %sp, %ax

44 0000000000000003: 66 29 c5 sub %bp, %ax

45 0000000000000006: 47 29 c7 sub %r15d, %r8d

46 @rdfa_output:

47 0: [0] error - %spl or %sp is changed

48 3: [0] error - %bpl or %bp is changed

49 6: [0] error - %r15 is changed

50 return code: 1

OLD	NEW

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