src/trusted/validator_arm/testdata/test_vector_loads.S - Issue 8275008: Make validator require read sandboxing on ARM.

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_arm/testdata/test_vector_loads.S

Issue 8275008: Make validator require read sandboxing on ARM. (Closed) Base URL: svn://svn.chromium.org/native_client/trunk/src/native_client/

Patch Set: '' Created 9 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:

OLD	NEW
(Empty)
	1 @ Copyright (c) 2011 The Native Client Authors. All rights reserved.

	2 @ Use of this source code is governed by a BSD-style license that can be

	3 @ found in the LICENSE file.

	4

	5 @

	6 @ Tests masked and unmasked forms of vector loads. Regression test for

	7 @ http://code.google.com/p/nativeclient/issues/detail?id=2129

	8 @

	9

	10 .globl _start

	11 _start:

	12

	13 .align 4

	14 bundle0:

	15 vld2.16 {d10[2],d12[2]}, [r0] @ Unmasked, should fail.

	16

	17 bic r0, r0, #0xC0000000 @ r0 is masked here, so

	18 vld1.16 {d10-d12}, [r0] @ this should succeed.

	19

	20 nop

	21

	22 bundle1:

	23 bic r0, r0, #0xC0000000 @ r0 is masked here, so

	24 vld1.8 {d0}, [r0, :64], r1 @ register postincrement should succeed

	25

	26 bic r0, r0, #0xC0000000 @ r0 is masked here, but

	27 vld1.8 {d0}, [sp, :64], r1 @ SP+register should fail.

	28

	29 bundle2:

	30 vld1.8 {d3-d6}, [sp]! @ Pop vectors - should pass.

	31 vst1.8 {d3-d6}, [sp]! @ Push (wrong way) vectors - should pass.

	32

	33 vld1.8 {d3-d6}, [sp], r12 @ Attempt to update SP without mask - ERROR.

	34 vst1.8 {d3-d6}, [sp], r12 @ Same deal.

	35

	36 bundle3:

	37 vld1.8 {d3-d6}, [sp], r12 @ Attempt to update SP,

	38 bic sp, sp, #0xC0000000 @ with mask - should pass.

	39 vst1.8 {d3-d6}, [sp], r12 @ Same deal,

	40 bic sp, sp, #0xC0000000 @ with mask - should pass.

OLD	NEW