diff options
Diffstat (limited to 'sim')
-rw-r--r-- | sim/testsuite/bpf/alu.s | 64 | ||||
-rw-r--r-- | sim/testsuite/bpf/alu32.s | 92 | ||||
-rw-r--r-- | sim/testsuite/bpf/endbe.s | 14 | ||||
-rw-r--r-- | sim/testsuite/bpf/endle.s | 14 | ||||
-rw-r--r-- | sim/testsuite/bpf/jmp.s | 130 | ||||
-rw-r--r-- | sim/testsuite/bpf/jmp32.s | 130 | ||||
-rw-r--r-- | sim/testsuite/bpf/ldabs.s | 64 | ||||
-rw-r--r-- | sim/testsuite/bpf/mem.s | 10 | ||||
-rw-r--r-- | sim/testsuite/bpf/mov.s | 18 | ||||
-rw-r--r-- | sim/testsuite/bpf/testutils.inc | 24 | ||||
-rw-r--r-- | sim/testsuite/bpf/xadd.s | 24 |
11 files changed, 292 insertions, 292 deletions
diff --git a/sim/testsuite/bpf/alu.s b/sim/testsuite/bpf/alu.s index acba7b8..90fa3db 100644 --- a/sim/testsuite/bpf/alu.s +++ b/sim/testsuite/bpf/alu.s @@ -1,7 +1,7 @@ # mach: bpf # output: pass\nexit 0 (0x0)\n -;;; alu.s -;;; Tests for ALU64 BPF instructions in simulator +/* alu.s + Tests for ALU64 BPF instructions in simulator. */ .include "testutils.inc" @@ -12,24 +12,24 @@ main: mov %r1, 0 mov %r2, -1 - ;; add + /* add */ add %r1, 1 add %r2, -1 add %r1, %r2 fail_ne %r1, -1 - ;; sub + /* sub */ sub %r1, %r1 fail_ne %r1, 0 sub %r1, 10 sub %r2, %r1 fail_ne %r2, 8 - ;; mul - mul %r2, %r2 ; r2 = 64 - mul %r2, 3 ; r2 = 192 + /* mul */ + mul %r2, %r2 /* r2 = 64 */ + mul %r2, 3 /* r2 = 192 */ mov %r1, -3 - mul %r1, %r2 ; r1 = -576 + mul %r1, %r2 /* r1 = -576 */ mul %r2, 0 fail_ne %r1, -576 fail_ne %r2, 0 @@ -37,7 +37,7 @@ main: mul %r1, %r1 fail_ne %r1, 110075314176 - ;; div + /* div */ div %r2, %r1 fail_ne %r2, 0 div %r1, 10000 @@ -45,64 +45,64 @@ main: div %r1, %r1 fail_ne %r1, 1 - ;; div is unsigned + /* div is unsigned */ lddw %r1, -8 div %r1, 2 - fail_ne %r1, 0x7ffffffffffffffc ; sign bits NOT maintained - large pos. + fail_ne %r1, 0x7ffffffffffffffc /* sign bits NOT maintained - large pos. */ - ;; and + /* and */ lddw %r1, 0xaaaaaaaa55555555 - and %r1, 0x55aaaaaa ; we still only have 32-bit imm. + and %r1, 0x55aaaaaa /* we still only have 32-bit imm. */ fail_ne %r1, 0x0000000055000000 lddw %r2, 0x5555555a5aaaaaaa and %r2, %r1 fail_ne %r2, 0x0000000050000000 - ;; or - or %r2, -559038737 ; 0xdeadbeef - fail_ne %r2, 0xffffffffdeadbeef ; 0xdeadbeef gets sign extended + /* or */ + or %r2, -559038737 /* 0xdeadbeef */ + fail_ne %r2, 0xffffffffdeadbeef /* 0xdeadbeef gets sign extended */ lddw %r1, 0xdead00000000beef lddw %r2, 0x0000123456780000 or %r1, %r2 fail_ne %r1, 0xdead12345678beef - ;; lsh - mov %r1, -559038737 ; 0xdeadbeef + /* lsh */ + mov %r1, -559038737 /* 0xdeadbeef */ lsh %r1, 11 - fail_ne %r1, 0xfffffef56df77800 ; because deadbeef gets sign ext. + fail_ne %r1, 0xfffffef56df77800 /* because deadbeef gets sign ext. */ mov %r2, 21 lsh %r1, %r2 fail_ne %r1, 0xdeadbeef00000000 - ;; rsh + /* rsh */ rsh %r1, 11 - fail_ne %r1, 0x001bd5b7dde00000 ; 0xdeadbeef 00000000 >> 0xb + fail_ne %r1, 0x001bd5b7dde00000 /* 0xdeadbeef 00000000 >> 0xb */ rsh %r1, %r2 fail_ne %r1, 0x00000000deadbeef - ;; arsh + /* arsh */ arsh %r1, 8 fail_ne %r1, 0x0000000000deadbe - lsh %r1, 40 ; r1 = 0xdead be00 0000 0000 - arsh %r1, %r2 ; r1 arsh (r2 == 21) + lsh %r1, 40 /* r1 = 0xdead be00 0000 0000 */ + arsh %r1, %r2 /* r1 arsh (r2 == 21) */ fail_ne %r1, 0xfffffef56df00000 - ;; mod + /* mod */ mov %r1, 1025 mod %r1, 16 fail_ne %r1, 1 - ;; mod is unsigned + /* mod is unsigned */ mov %r1, 1025 - mod %r1, -16 ; mod unsigned -> will treat as large positive + mod %r1, -16 /* mod unsigned -> will treat as large positive */ fail_ne %r1, 1025 - mov %r1, -25 ; -25 is 0xff..ffe7 - mov %r2, 5 ; ... which when unsigned is a large positive - mod %r1, %r2 ; ... which is not evenly divisible by 5 + mov %r1, -25 /* -25 is 0xff..ffe7 */ + mov %r2, 5 /* ... which when unsigned is a large positive */ + mod %r1, %r2 /* ... which is not evenly divisible by 5 */ fail_ne %r1, 1 - ;; xor + /* xor */ mov %r1, 0 xor %r1, %r2 fail_ne %r1, 5 @@ -111,7 +111,7 @@ main: xor %r1, %r1 fail_ne %r1, 0 - ;; neg + /* neg */ neg %r2 fail_ne %r2, -5 mov %r1, -1025 diff --git a/sim/testsuite/bpf/alu32.s b/sim/testsuite/bpf/alu32.s index d129f0f..743ebc5 100644 --- a/sim/testsuite/bpf/alu32.s +++ b/sim/testsuite/bpf/alu32.s @@ -1,7 +1,7 @@ # mach: bpf # output: pass\nexit 0 (0x0)\n -;; alu32.s -;; Tests for ALU(32) BPF instructions in simulator +/* alu32.s + Tests for ALU(32) BPF instructions in simulator */ .include "testutils.inc" @@ -9,101 +9,101 @@ .global main .type main, @function main: - mov32 %r1, 10 ; r1 = 10 - mov32 %r2, -5 ; r2 = -5 + mov32 %r1, 10 /* r1 = 10 */ + mov32 %r2, -5 /* r2 = -5 */ - ;; add - add32 %r1, 1 ; r1 += 1 (r1 = 11) - add32 %r2, -1 ; r2 += -1 (r2 = -6) - add32 %r1, %r2 ; r1 += r2 (r1 = 11 + -6 = 5) + /* add */ + add32 %r1, 1 /* r1 += 1 (r1 = 11) */ + add32 %r2, -1 /* r2 += -1 (r2 = -6) */ + add32 %r1, %r2 /* r1 += r2 (r1 = 11 + -6 = 5) */ fail_ne32 %r1, 5 - ;; sub - sub32 %r1, 5 ; r1 -= 5 (r1 = 0) - sub32 %r1, -5 ; r1 -= -5 (r1 = 5) - sub32 %r1, %r2 ; r1 -= r2 (r1 = 5 - -6 = 11) + /* sub */ + sub32 %r1, 5 /* r1 -= 5 (r1 = 0) */ + sub32 %r1, -5 /* r1 -= -5 (r1 = 5) */ + sub32 %r1, %r2 /* r1 -= r2 (r1 = 5 - -6 = 11) */ fail_ne32 %r1, 11 - ;; mul - mul32 %r1, 2 ; r1 *= 2 (r1 = 22) - mul32 %r1, -2 ; r1 *= -2 (r1 = -44) - mul32 %r1, %r2 ; r1 *= r2 (r1 = -44 * -6 = 264) + /* mul */ + mul32 %r1, 2 /* r1 *= 2 (r1 = 22) */ + mul32 %r1, -2 /* r1 *= -2 (r1 = -44) */ + mul32 %r1, %r2 /* r1 *= r2 (r1 = -44 * -6 = 264) */ fail_ne32 %r1, 264 - ;; div + /* div */ div32 %r1, 6 mov32 %r2, 11 div32 %r1, %r2 fail_ne32 %r1, 4 - ;; div is unsigned - mov32 %r1, -8 ; 0xfffffff8 + /* div is unsigned */ + mov32 %r1, -8 /* 0xfffffff8 */ div32 %r1, 2 - fail_ne32 %r1, 0x7ffffffc ; sign bits are not preserved + fail_ne32 %r1, 0x7ffffffc /* sign bits are not preserved */ - ;; and (bitwise) - mov32 %r1, 0xb ; r1 = (0xb = 0b1011) - mov32 %r2, 0x5 ; r2 = (0x5 = 0b0101) - and32 %r1, 0xa ; r1 &= (0xa = 0b1010) = (0b1010 = 0xa) + /* and (bitwise) */ + mov32 %r1, 0xb /* r1 = (0xb = 0b1011) */ + mov32 %r2, 0x5 /* r2 = (0x5 = 0b0101) */ + and32 %r1, 0xa /* r1 &= (0xa = 0b1010) = (0b1010 = 0xa) */ fail_ne32 %r1, 0xa - and32 %r1, %r2 ; r1 &= r2 = 0x0 + and32 %r1, %r2 /* r1 &= r2 = 0x0 */ fail_ne32 %r1, 0x0 - ;; or (bitwise) + /* or (bitwise) */ or32 %r1, 0xb or32 %r1, %r2 fail_ne32 %r1, 0xf - ;; lsh (left shift) - lsh32 %r1, 4 ; r1 <<= 4 (r1 = 0xf0) - mov32 %r2, 24 ; r2 = 24 + /* lsh (left shift) */ + lsh32 %r1, 4 /* r1 <<= 4 (r1 = 0xf0) */ + mov32 %r2, 24 /* r2 = 24 */ lsh32 %r1, %r2 - fail_ne32 %r1, -268435456 ; 0xf0000000 + fail_ne32 %r1, -268435456 /* 0xf0000000 */ - ;; rsh (right logical shift) + /* rsh (right logical shift) */ rsh32 %r1, 2 rsh32 %r1, %r2 - fail_ne32 %r1, 0x3c ; (0xf000 0000 >> 26) + fail_ne32 %r1, 0x3c /* (0xf000 0000 >> 26) */ - ;; arsh (right arithmetic shift) + /* arsh (right arithmetic shift) */ arsh32 %r1, 1 - or32 %r1, -2147483648 ; 0x80000000 + or32 %r1, -2147483648 /* 0x80000000 */ mov32 %r2, 3 arsh32 %r1, %r2 fail_ne %r1, 0x00000000F0000003 - ; Note: make sure r1 is NOT sign-extended - ; i.e. upper-32 bits should be untouched + /* Note: make sure r1 is NOT sign-extended */ + /* i.e. upper-32 bits should be untouched. */ - ;; mod + /* mod */ mov32 %r1, 1025 mod32 %r1, 16 fail_ne32 %r1, 1 - ;; mod is unsigned + /* mod is unsigned */ mov32 %r1, 1025 - mod32 %r1, -16 ; when unsigned, much larger than 1025 + mod32 %r1, -16 /* when unsigned, much larger than 1025 */ fail_ne32 %r1, 1025 - mov32 %r1, -25 ; when unsigned, a large positive which is - mov32 %r2, 5 ; ... not evenly divisible by 5 + mov32 %r1, -25 /* when unsigned, a large positive which is */ + mov32 %r2, 5 /* ... not evenly divisible by 5 */ mod32 %r1, %r2 fail_ne32 %r1, 1 - ;; xor + /* xor */ xor32 %r1, %r2 fail_ne32 %r1, 4 - xor32 %r1, -268435441 ; 0xF000000F - fail_ne %r1, 0xF000000B ; Note: check for (bad) sign-extend + xor32 %r1, -268435441 /* 0xF000000F */ + fail_ne %r1, 0xF000000B /* Note: check for (bad) sign-extend */ xor32 %r1, %r1 fail_ne %r1, 0 - ;; neg + /* neg */ mov32 %r1, -1 mov32 %r2, 0x7fffffff neg32 %r1 neg32 %r2 fail_ne32 %r1, 1 - fail_ne %r2, 0x80000001 ; Note: check for (bad) sign-extend + fail_ne %r2, 0x80000001 /* Note: check for (bad) sign-extend */ neg32 %r2 fail_ne32 %r2, 0x7fffffff diff --git a/sim/testsuite/bpf/endbe.s b/sim/testsuite/bpf/endbe.s index 2f662ae..2b2de96 100644 --- a/sim/testsuite/bpf/endbe.s +++ b/sim/testsuite/bpf/endbe.s @@ -3,11 +3,11 @@ # ld: --EB # sim: -E big # output: pass\nexit 0 (0x0)\n -;;; endbe.s -;;; Tests for BPF endianness-conversion instructions in simulator -;;; running in BIG ENDIAN -;;; -;;; Both 'be' and 'le' ISAs have both endbe and endle instructions. +/* endbe.s + Tests for BPF endianness-conversion instructions in simulator + running in BIG ENDIAN + + Both 'be' and 'le' ISAs have both endbe and endle instructions. */ .include "testutils.inc" @@ -21,7 +21,7 @@ main: endle %r1, 64 fail_ne %r1, 0x12345678deadbeef - ;; `bitsize` < 64 will truncate + /* `bitsize` < 64 will truncate */ endle %r1, 32 fail_ne %r1, 0xefbeadde endle %r1, 32 @@ -32,7 +32,7 @@ main: endle %r1, 16 fail_ne %r1, 0xbeef - ;; endbe on be should be noop (except truncate) + /* endbe on be should be noop (except truncate) */ lddw %r1, 0x12345678deadbeef endbe %r1, 64 fail_ne %r1, 0x12345678deadbeef diff --git a/sim/testsuite/bpf/endle.s b/sim/testsuite/bpf/endle.s index d8f5ceb..25d852d 100644 --- a/sim/testsuite/bpf/endle.s +++ b/sim/testsuite/bpf/endle.s @@ -1,10 +1,10 @@ # mach: bpf # output: pass\nexit 0 (0x0)\n -;;; endle.s -;;; Tests for BPF endianness-conversion instructions in simulator -;;; running in LITTLE ENDIAN -;;; -;;; Both 'be' and 'le' ISAs have both endbe and endle instructions. +/* endle.s + Tests for BPF endianness-conversion instructions in simulator + running in LITTLE ENDIAN + + Both 'be' and 'le' ISAs have both endbe and endle instructions. */ .include "testutils.inc" @@ -18,7 +18,7 @@ main: endbe %r1, 64 fail_ne %r1, 0x12345678deadbeef - ;; `bitsize` < 64 will truncate + /* `bitsize` < 64 will truncate */ endbe %r1, 32 fail_ne %r1, 0xefbeadde endbe %r1, 32 @@ -29,7 +29,7 @@ main: endbe %r1, 16 fail_ne %r1, 0xbeef - ;; endle on le should be noop (except truncate) + /* endle on le should be noop (except truncate) */ lddw %r1, 0x12345678deadbeef endle %r1, 64 fail_ne %r1, 0x12345678deadbeef diff --git a/sim/testsuite/bpf/jmp.s b/sim/testsuite/bpf/jmp.s index 5ab5de0..5e261ff 100644 --- a/sim/testsuite/bpf/jmp.s +++ b/sim/testsuite/bpf/jmp.s @@ -1,7 +1,7 @@ # mach: bpf # output: pass\nexit 0 (0x0)\n -;;; jmp.s -;;; Tests for eBPF JMP instructions in simulator +/* jmp.s + Tests for eBPF JMP instructions in simulator */ .include "testutils.inc" @@ -14,106 +14,106 @@ main: mov %r3, 7 mov %r4, -1 - ;; ja - jump absolute (unconditional) + /* ja - jump absolute (unconditional) */ ja 2f 1: fail -2: ;; jeq - jump eq - jeq %r1, 4, 1b ; no - jeq %r1, %r2, 1b ; no - jeq %r1, 5, 2f ; yes +2: /* jeq - jump eq */ + jeq %r1, 4, 1b /* no */ + jeq %r1, %r2, 1b /* no */ + jeq %r1, 5, 2f /* yes */ fail -2: jeq %r1, %r1, 2f ; yes +2: jeq %r1, %r1, 2f /* yes */ fail -2: ;; jgt - jump (unsigned) greater-than - jgt %r1, 6, 1b ; no - jgt %r1, -5, 1b ; no - unsigned - jgt %r1, %r4, 1b ; no - unsigned - jgt %r1, 4, 2f ; yes +2: /* jgt - jump (unsigned) greater-than */ + jgt %r1, 6, 1b /* no */ + jgt %r1, -5, 1b /* no - unsigned */ + jgt %r1, %r4, 1b /* no - unsigned */ + jgt %r1, 4, 2f /* yes */ fail -2: jgt %r1, %r2, 2f ; yes +2: jgt %r1, %r2, 2f /* yes */ fail -2: ;; jge - jump (unsigned) greater-than-or-equal-to - jge %r1, 6, 1b ; no - jge %r1, 5, 2f ; yes +2: /* jge - jump (unsigned) greater-than-or-equal-to */ + jge %r1, 6, 1b /* no */ + jge %r1, 5, 2f /* yes */ fail -2: jge %r1, %r3, 1b ; no - jge %r1, -5, 1b ; no - unsigned - jge %r1, %r2, 2f ; yes +2: jge %r1, %r3, 1b /* no */ + jge %r1, -5, 1b /* no - unsigned */ + jge %r1, %r2, 2f /* yes */ fail -2: ;; jlt - jump (unsigned) less-than - jlt %r1, 5, 1b ; no - jlt %r1, %r2, 1b ; no - jlt %r4, %r1, 1b ; no - unsigned - jlt %r1, 6, 2f ; yes +2: /* jlt - jump (unsigned) less-than */ + jlt %r1, 5, 1b /* no */ + jlt %r1, %r2, 1b /* no */ + jlt %r4, %r1, 1b /* no - unsigned */ + jlt %r1, 6, 2f /* yes */ fail 2: - jlt %r1, %r3, 2f ; yes + jlt %r1, %r3, 2f /* yes */ fail -2: ;; jle - jump (unsigned) less-than-or-equal-to - jle %r1, 4, 1b ; no - jle %r1, %r2, 1b ; no - jle %r4, %r1, 1b ; no - jle %r1, 5, 2f ; yes +2: /* jle - jump (unsigned) less-than-or-equal-to */ + jle %r1, 4, 1b /* no */ + jle %r1, %r2, 1b /* no */ + jle %r4, %r1, 1b /* no */ + jle %r1, 5, 2f /* yes */ fail -2: jle %r1, %r1, 2f ; yes +2: jle %r1, %r1, 2f /* yes */ fail -2: ;; jset - jump "test" (AND) - jset %r1, 2, 1b ; no (5 & 2 = 0) - jset %r1, %r2, 1b ; no (same) - jset %r1, 4, 2f ; yes (5 & 4 != 0) +2: /* jset - jump "test" (AND) */ + jset %r1, 2, 1b /* no (5 & 2 = 0) */ + jset %r1, %r2, 1b /* no (same) */ + jset %r1, 4, 2f /* yes (5 & 4 != 0) */ fail -2: ;; jne - jump not-equal-to - jne %r1, 5, 1b ; no - jne %r1, %r1, 1b ; no - jne %r1, 6, 2f ; yes +2: /* jne - jump not-equal-to */ + jne %r1, 5, 1b /* no */ + jne %r1, %r1, 1b /* no */ + jne %r1, 6, 2f /* yes */ fail -2: jne %r1, %r4, 2f ; yes +2: jne %r1, %r4, 2f /* yes */ fail -2: ;; jsgt - jump (signed) greater-than - jsgt %r1, %r3, 1b ; no - jsgt %r1, %r1, 1b ; no - jsgt %r1, 5, 1b ; no - jsgt %r1, -4, 2f ; yes +2: /* jsgt - jump (signed) greater-than */ + jsgt %r1, %r3, 1b /* no */ + jsgt %r1, %r1, 1b /* no */ + jsgt %r1, 5, 1b /* no */ + jsgt %r1, -4, 2f /* yes */ fail -2: jsgt %r1, %r4, 2f ; yes +2: jsgt %r1, %r4, 2f /* yes */ fail -2: ;; jsge - jump (signed) greater-than-or-equal-to - jsge %r1, %r3, 1b ; no - jsge %r1, %r1, 2f ; yes +2: /* jsge - jump (signed) greater-than-or-equal-to */ + jsge %r1, %r3, 1b /* no */ + jsge %r1, %r1, 2f /* yes */ fail -2: jsge %r1, 7, 1b ; no - jsge %r1, -4, 2f ; yes +2: jsge %r1, 7, 1b /* no */ + jsge %r1, -4, 2f /* yes */ fail -2: jsge %r1, %r4, 2f ; yes +2: jsge %r1, %r4, 2f /* yes */ fail -2: ;; jslt - jump (signed) less-than - jslt %r1, 5, 1b ; no - jslt %r1, %r2, 1b ; no - jslt %r4, %r1, 2f ; yes +2: /* jslt - jump (signed) less-than */ + jslt %r1, 5, 1b /* no */ + jslt %r1, %r2, 1b /* no */ + jslt %r4, %r1, 2f /* yes */ fail -2: jslt %r1, 6, 2f ; yes +2: jslt %r1, 6, 2f /* yes */ fail -2: jslt %r1, %r3, 2f ; yes +2: jslt %r1, %r3, 2f /* yes */ fail -2: ;; jsle - jump (signed) less-than-or-equal-to - jsle %r1, 4, 1b ; no - jsle %r1, %r2, 1b ; no - jsle %r4, %r1, 2f ; yes +2: /* jsle - jump (signed) less-than-or-equal-to */ + jsle %r1, 4, 1b /* no */ + jsle %r1, %r2, 1b /* no */ + jsle %r4, %r1, 2f /* yes */ fail -2: jsle %r1, 5, 2f ; yes +2: jsle %r1, 5, 2f /* yes */ fail -2: jsle %r1, %r3, 2f ; yes +2: jsle %r1, %r3, 2f /* yes */ fail 2: diff --git a/sim/testsuite/bpf/jmp32.s b/sim/testsuite/bpf/jmp32.s index a6074cd..601febc 100644 --- a/sim/testsuite/bpf/jmp32.s +++ b/sim/testsuite/bpf/jmp32.s @@ -1,7 +1,7 @@ # mach: bpf # output: pass\nexit 0 (0x0)\n -;;; jmp32.s -;;; Tests for eBPF JMP32 instructions in simulator +/* jmp32.s + Tests for eBPF JMP32 instructions in simulator */ .include "testutils.inc" @@ -14,106 +14,106 @@ main: mov32 %r3, 7 mov32 %r4, -1 - ;; ja - jump absolute (unconditional) + /* ja - jump absolute (unconditional) */ ja 2f 1: fail -2: ;; jeq - jump eq - jeq32 %r1, 4, 1b ; no - jeq32 %r1, %r2, 1b ; no - jeq32 %r1, 5, 2f ; yes +2: /* jeq - jump eq */ + jeq32 %r1, 4, 1b /* no */ + jeq32 %r1, %r2, 1b /* no */ + jeq32 %r1, 5, 2f /* yes */ fail -2: jeq32 %r1, %r1, 2f ; yes +2: jeq32 %r1, %r1, 2f /* yes */ fail -2: ;; jgt - jump (unsigned) greater-than - jgt32 %r1, 6, 1b ; no - jgt32 %r1, -5, 1b ; no - unsigned - jgt32 %r1, %r4, 1b ; no - unsigned - jgt32 %r1, 4, 2f ; yes +2: /* jgt - jump (unsigned) greater-than */ + jgt32 %r1, 6, 1b /* no */ + jgt32 %r1, -5, 1b /* no - unsigned */ + jgt32 %r1, %r4, 1b /* no - unsigned */ + jgt32 %r1, 4, 2f /* yes */ fail -2: jgt32 %r1, %r2, 2f ; yes +2: jgt32 %r1, %r2, 2f /* yes */ fail -2: ;; jge - jump (unsigned) greater-than-or-equal-to - jge32 %r1, 6, 1b ; no - jge32 %r1, 5, 2f ; yes +2: /* jge - jump (unsigned) greater-than-or-equal-to */ + jge32 %r1, 6, 1b /* no */ + jge32 %r1, 5, 2f /* yes */ fail -2: jge32 %r1, %r3, 1b ; no - jge32 %r1, -5, 1b ; no - unsigned - jge32 %r1, %r2, 2f ; yes +2: jge32 %r1, %r3, 1b /* no */ + jge32 %r1, -5, 1b /* no - unsigned */ + jge32 %r1, %r2, 2f /* yes */ fail -2: ;; jlt - jump (unsigned) less-than - jlt32 %r1, 5, 1b ; no - jlt32 %r1, %r2, 1b ; no - jlt32 %r4, %r1, 1b ; no - unsigned - jlt32 %r1, 6, 2f ; yes +2: /* jlt - jump (unsigned) less-than */ + jlt32 %r1, 5, 1b /* no */ + jlt32 %r1, %r2, 1b /* no */ + jlt32 %r4, %r1, 1b /* no - unsigned */ + jlt32 %r1, 6, 2f /* yes */ fail 2: - jlt32 %r1, %r3, 2f ; yes + jlt32 %r1, %r3, 2f /* yes */ fail -2: ;; jle - jump (unsigned) less-than-or-equal-to - jle32 %r1, 4, 1b ; no - jle32 %r1, %r2, 1b ; no - jle32 %r4, %r1, 1b ; no - jle32 %r1, 5, 2f ; yes +2: /* jle - jump (unsigned) less-than-or-equal-to */ + jle32 %r1, 4, 1b /* no */ + jle32 %r1, %r2, 1b /* no */ + jle32 %r4, %r1, 1b /* no */ + jle32 %r1, 5, 2f /* yes */ fail -2: jle32 %r1, %r1, 2f ; yes +2: jle32 %r1, %r1, 2f /* yes */ fail -2: ;; jset - jump "test" (AND) - jset32 %r1, 2, 1b ; no (5 & 2 = 0) - jset32 %r1, %r2, 1b ; no (same) - jset32 %r1, 4, 2f ; yes (5 & 4 != 0) +2: /* jset - jump "test" (AND) */ + jset32 %r1, 2, 1b /* no (5 & 2 = 0) */ + jset32 %r1, %r2, 1b /* no (same) */ + jset32 %r1, 4, 2f /* yes (5 & 4 != 0) */ fail -2: ;; jne - jump not-equal-to - jne32 %r1, 5, 1b ; no - jne32 %r1, %r1, 1b ; no - jne32 %r1, 6, 2f ; yes +2: /* jne - jump not-equal-to */ + jne32 %r1, 5, 1b /* no */ + jne32 %r1, %r1, 1b /* no */ + jne32 %r1, 6, 2f /* yes */ fail -2: jne32 %r1, %r4, 2f ; yes +2: jne32 %r1, %r4, 2f /* yes */ fail -2: ;; jsgt - jump (signed) greater-than - jsgt32 %r1, %r3, 1b ; no - jsgt32 %r1, %r1, 1b ; no - jsgt32 %r1, 5, 1b ; no - jsgt32 %r1, -4, 2f ; yes +2: /* jsgt - jump (signed) greater-than */ + jsgt32 %r1, %r3, 1b /* no */ + jsgt32 %r1, %r1, 1b /* no */ + jsgt32 %r1, 5, 1b /* no */ + jsgt32 %r1, -4, 2f /* yes */ fail -2: jsgt32 %r1, %r4, 2f ; yes +2: jsgt32 %r1, %r4, 2f /* yes */ fail -2: ;; jsge - jump (signed) greater-than-or-equal-to - jsge32 %r1, %r3, 1b ; no - jsge32 %r1, %r1, 2f ; yes +2: /* jsge - jump (signed) greater-than-or-equal-to */ + jsge32 %r1, %r3, 1b /* no */ + jsge32 %r1, %r1, 2f /* yes */ fail -2: jsge32 %r1, 7, 1b ; no - jsge32 %r1, -4, 2f ; yes +2: jsge32 %r1, 7, 1b /* no */ + jsge32 %r1, -4, 2f /* yes */ fail -2: jsge32 %r1, %r4, 2f ; yes +2: jsge32 %r1, %r4, 2f /* yes */ fail -2: ;; jslt - jump (signed) less-than - jslt32 %r1, 5, 1b ; no - jslt32 %r1, %r2, 1b ; no - jslt32 %r4, %r1, 2f ; yes +2: /* jslt - jump (signed) less-than */ + jslt32 %r1, 5, 1b /* no */ + jslt32 %r1, %r2, 1b /* no */ + jslt32 %r4, %r1, 2f /* yes */ fail -2: jslt32 %r1, 6, 2f ; yes +2: jslt32 %r1, 6, 2f /* yes */ fail -2: jslt32 %r1, %r3, 2f ; yes +2: jslt32 %r1, %r3, 2f /* yes */ fail -2: ;; jsle - jump (signed) less-than-or-equal-to - jsle32 %r1, 4, 1b ; no - jsle32 %r1, %r2, 1b ; no - jsle32 %r4, %r1, 2f ; yes +2: /* jsle - jump (signed) less-than-or-equal-to */ + jsle32 %r1, 4, 1b /* no */ + jsle32 %r1, %r2, 1b /* no */ + jsle32 %r4, %r1, 2f /* yes */ fail -2: jsle32 %r1, 5, 2f ; yes +2: jsle32 %r1, 5, 2f /* yes */ fail -2: jsle32 %r1, %r3, 2f ; yes +2: jsle32 %r1, %r3, 2f /* yes */ fail 2: diff --git a/sim/testsuite/bpf/ldabs.s b/sim/testsuite/bpf/ldabs.s index f54b805..16f89ce 100644 --- a/sim/testsuite/bpf/ldabs.s +++ b/sim/testsuite/bpf/ldabs.s @@ -1,20 +1,20 @@ # mach: bpf # sim: --skb-data-offset=0x20 # output: pass\nexit 0 (0x0)\n -;;; ldabs.s -;;; Tests for non-generic BPF load instructions in simulator. -;;; These instructions (ld{abs,ind}{b,h,w,dw}) are used to access -;;; kernel socket data from BPF programs for high performance filters. -;;; -;;; Register r6 is an implicit input holding a pointer to a struct sk_buff. -;;; Register r0 is an implicit output, holding the fetched data. -;;; -;;; e.g. -;;; ldabsw means: -;;; r0 = ntohl (*(u32 *) (((struct sk_buff *)r6)->data + imm32)) -;;; -;;; ldindw means -;;; r0 = ntohl (*(u32 *) (((struct sk_buff *)r6)->data + src_reg + imm32)) +/* ldabs.s + Tests for non-generic BPF load instructions in simulator. + These instructions (ld{abs,ind}{b,h,w,dw}) are used to access + kernel socket data from BPF programs for high performance filters. + + Register r6 is an implicit input holding a pointer to a struct sk_buff. + Register r0 is an implicit output, holding the fetched data. + + e.g. + ldabsw means: + r0 = ntohl (*(u32 *) (((struct sk_buff *)r6)->data + imm32)) + + ldindw means + r0 = ntohl (*(u32 *) (((struct sk_buff *)r6)->data + src_reg + imm32)) */ .include "testutils.inc" @@ -22,62 +22,62 @@ .global main .type main, @function main: - ;; R6 holds a pointer to a struct sk_buff, which we pretend - ;; exists at 0x1000 + /* R6 holds a pointer to a struct sk_buff, which we pretend + exists at 0x1000 */ mov %r6, 0x1000 - ;; We configure skb-data-offset=0x20 - ;; This specifies offsetof(struct sk_buff, data), where the field 'data' - ;; is a pointer a data buffer, in this case at 0x2000 + /* We configure skb-data-offset=0x20 + This specifies offsetof(struct sk_buff, data), where the field 'data' + is a pointer a data buffer, in this case at 0x2000 */ stw [%r6+0x20], 0x2000 - ;; Write the value 0x7eadbeef into memory at 0x2004 - ;; i.e. offset 4 within the data buffer pointed to by - ;; ((struct sk_buff *)r6)->data + /* Write the value 0x7eadbeef into memory at 0x2004 + i.e. offset 4 within the data buffer pointed to by + ((struct sk_buff *)r6)->data */ stw [%r6+0x1004], 0x0eadbeef - ;; Now load data[4] into r0 using the ldabsw instruction + /* Now load data[4] into r0 using the ldabsw instruction */ ldabsw 0x4 - ;; ...and compare to what we expect + /* ...and compare to what we expect */ fail_ne32 %r0, 0x0eadbeef - ;; Repeat for a half-word (2-bytes) + /* Repeat for a half-word (2-bytes) */ sth [%r6+0x1008], 0x1234 ldabsh 0x8 fail_ne32 %r0, 0x1234 - ;; Repeat for a single byte + /* Repeat for a single byte */ stb [%r6+0x1010], 0x5a ldabsb 0x10 fail_ne32 %r0, 0x5a - ;; Repeat for a double-word (8-byte) - ;; (note: fail_ne macro uses r0, so copy to another r1 to compare) + /* Repeat for a double-word (8-byte) + (note: fail_ne macro uses r0, so copy to another r1 to compare) */ lddw %r2, 0x1234deadbeef5678 stxdw [%r6+0x1018], %r2 ldabsdw 0x18 mov %r1, %r0 fail_ne %r1, 0x1234deadbeef5678 - ;; Now, we do the same for the indirect loads + /* Now, we do the same for the indirect loads */ mov %r7, 0x100 stw [%r6+0x1100], 0x0eedbeef ldindw %r7, 0x0 fail_ne32 %r0, 0x0eedbeef - ;; half-word + /* half-word */ sth [%r6+0x1104], 0x6789 ldindh %r7, 0x4 fail_ne32 %r0, 0x6789 - ;; byte + /* byte */ stb [%r6+0x1108], 0x5f ldindb %r7, 0x8 fail_ne32 %r0, 0x5f - ;; double-word + /* double-word */ lddw %r2, 0xcafe12345678d00d stxdw [%r6+0x1110], %r2 ldinddw %r7, 0x10 diff --git a/sim/testsuite/bpf/mem.s b/sim/testsuite/bpf/mem.s index 26931ae..4f9c43f 100644 --- a/sim/testsuite/bpf/mem.s +++ b/sim/testsuite/bpf/mem.s @@ -1,7 +1,7 @@ # mach: bpf # output: pass\nexit 0 (0x0)\n -;;; mem.s -;;; Tests for BPF memory (ldx, stx, ..) instructions in simulator +/* mem.s + Tests for BPF memory (ldx, stx, ..) instructions in simulator */ .include "testutils.inc" @@ -12,7 +12,7 @@ main: lddw %r1, 0x1234deadbeef5678 mov %r2, 0x1000 - ;; basic store/load check + /* basic store/load check */ stxb [%r2+0], %r1 stxh [%r2+2], %r1 stxw [%r2+4], %r1 @@ -20,7 +20,7 @@ main: stb [%r2+16], 0x5a sth [%r2+18], 0xcafe - stw [%r2+20], -1091568946 ; 0xbeefface + stw [%r2+20], -1091568946 /* 0xbeefface */ stdw [%r2+24], 0x7eadbeef ldxb %r1, [%r2+16] @@ -44,7 +44,7 @@ main: ldxw %r4, [%r2+10] fail_ne %r4, 0xffffffffdeadbeef - ;; negative offsets + /* negative offsets */ add %r2, 16 ldxh %r5, [%r2+-14] fail_ne %r5, 0x5678 diff --git a/sim/testsuite/bpf/mov.s b/sim/testsuite/bpf/mov.s index f7585c1..8fbd981 100644 --- a/sim/testsuite/bpf/mov.s +++ b/sim/testsuite/bpf/mov.s @@ -1,7 +1,7 @@ # mach: bpf # output: pass\nexit 0 (0x0)\n -;; mov.s -;; Tests for mov and mov32 instructions +/* mov.s + Tests for mov and mov32 instructions */ .include "testutils.inc" @@ -9,7 +9,7 @@ .global main .type main, @function main: - ;; some basic sanity checks + /* some basic sanity checks */ mov32 %r1, 5 fail_ne %r1, 5 @@ -22,21 +22,21 @@ main: mov %r1, -666 fail_ne %r1, -666 - ;; should NOT sign extend + /* should NOT sign extend */ mov32 %r1, -1 fail_ne %r1, 0x00000000ffffffff - ;; should sign extend + /* should sign extend */ mov %r2, -1 fail_ne %r2, 0xffffffffffffffff - mov %r3, -2147483648 ; 0x80000000 + mov %r3, -2147483648 /* 0x80000000 */ - ;; should NOT sign extend + /* should NOT sign extend */ mov32 %r4, %r3 fail_ne %r4, 0x0000000080000000 - ;; should sign extend + /* should sign extend */ mov %r5, %r3 fail_ne %r5, 0xffffffff80000000 @@ -44,7 +44,7 @@ main: mov32 %r1, %r1 fail_ne32 %r1, -2147483648 - ;; casting shenanigans + /* casting shenanigans */ mov %r1, %r1 fail_ne %r1, +2147483648 mov32 %r2, -1 diff --git a/sim/testsuite/bpf/testutils.inc b/sim/testsuite/bpf/testutils.inc index ce5c552..73c726b 100644 --- a/sim/testsuite/bpf/testutils.inc +++ b/sim/testsuite/bpf/testutils.inc @@ -1,35 +1,35 @@ - ;; Print "pass\n" and 'exit 0' + /* Print "pass\n" and 'exit 0' */ .macro pass .data mpass: .string "pass\n" .text _pass: - lddw %r1, mpass ; point to "pass\n" string - mov %r2, 5 ; strlen mpass - call 7 ; printk - mov %r0, 0 ; - exit ; exit 0 + lddw %r1, mpass /* point to "pass\n" string */ + mov %r2, 5 /* strlen mpass */ + call 7 /* printk */ + mov %r0, 0 + exit /* exit 0 */ .endm -;;; MACRO fail -;;; Exit with status 1 +/* MACRO fail + Exit with status 1 */ .macro fail mov %r0, 1 exit .endm -;;; MACRO fail_ne32 -;;; Exit with status 1 if \reg32 != \val +/* MACRO fail_ne32 + Exit with status 1 if \reg32 != \val */ .macro fail_ne32 reg val jeq32 \reg, \val, 2 mov %r0, 1 exit .endm -;;; MACRO fail_ne -;;; Exit with status1 if \reg ne \val +/* MACRO fail_ne + Exit with status1 if \reg ne \val */ .macro fail_ne reg val lddw %r0, \val jeq \reg, %r0, 2 diff --git a/sim/testsuite/bpf/xadd.s b/sim/testsuite/bpf/xadd.s index be60714..0d889ac 100644 --- a/sim/testsuite/bpf/xadd.s +++ b/sim/testsuite/bpf/xadd.s @@ -1,13 +1,13 @@ # mach: bpf # output: pass\nexit 0 (0x0)\n -;;; xadd.s -;;; Tests for BPF atomic exchange-and-add instructions in simulator -;;; -;;; The xadd instructions (XADDW, XADDDW) operate on a memory location -;;; specified in $dst + offset16, atomically adding the value in $src. -;;; -;;; In the simulator, there isn't anything else happening. The atomic -;;; instructions are identical to a non-atomic load/add/store. +/* xadd.s + Tests for BPF atomic exchange-and-add instructions in simulator + + The xadd instructions (XADDW, XADDDW) operate on a memory location + specified in $dst + offset16, atomically adding the value in $src. + + In the simulator, there isn't anything else happening. The atomic + instructions are identical to a non-atomic load/add/store. */ .include "testutils.inc" @@ -18,25 +18,25 @@ main: mov %r1, 0x1000 mov %r2, 5 - ;; basic xadd w + /* basic xadd w */ stw [%r1+0], 10 xaddw [%r1+0], %r2 ldxw %r3, [%r1+0] fail_ne %r3, 15 - ;; basic xadd dw + /* basic xadd dw */ stdw [%r1+8], 42 xadddw [%r1+8], %r2 ldxdw %r3, [%r1+8] fail_ne %r3, 47 - ;; xadd w negative value + /* xadd w negative value */ mov %r4, -1 xaddw [%r1+0], %r4 ldxw %r3, [%r1+0] fail_ne %r3, 14 - ;; xadd dw negative val + /* xadd dw negative val */ xadddw [%r1+8], %r4 ldxdw %r3, [%r1+8] fail_ne %r3, 46 |