| # mach: bpf |
| # output: pass\nexit 0 (0x0)\n |
| ;; alu32.s |
| ;; Tests for ALU(32) BPF instructions in simulator |
| |
| .include "testutils.inc" |
| |
| .text |
| .global main |
| .type main, @function |
| main: |
| 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) |
| 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) |
| 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) |
| fail_ne32 %r1, 264 |
| |
| ;; div |
| div32 %r1, 6 |
| mov32 %r2, 11 |
| div32 %r1, %r2 |
| fail_ne32 %r1, 4 |
| |
| ;; div is unsigned |
| mov32 %r1, -8 ; 0xfffffff8 |
| div32 %r1, 2 |
| 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) |
| fail_ne32 %r1, 0xa |
| and32 %r1, %r2 ; r1 &= r2 = 0x0 |
| fail_ne32 %r1, 0x0 |
| |
| ;; 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 |
| lsh32 %r1, %r2 |
| fail_ne32 %r1, 0xf0000000 |
| |
| ;; rsh (right logical shift) |
| rsh32 %r1, 2 |
| rsh32 %r1, %r2 |
| fail_ne32 %r1, 0x3c ; (0xf000 0000 >> 26) |
| |
| ;; arsh (right arithmetic shift) |
| arsh32 %r1, 1 |
| or32 %r1, 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 |
| |
| ;; mod |
| mov32 %r1, 1025 |
| mod32 %r1, 16 |
| fail_ne32 %r1, 1 |
| |
| ;; mod is unsigned |
| mov32 %r1, 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 |
| mod32 %r1, %r2 |
| fail_ne32 %r1, 1 |
| |
| ;; xor |
| xor32 %r1, %r2 |
| fail_ne32 %r1, 4 |
| xor32 %r1, 0xF000000F |
| fail_ne %r1, 0xF000000B ; Note: check for (bad) sign-extend |
| xor32 %r1, %r1 |
| fail_ne %r1, 0 |
| |
| ;; 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 |
| neg32 %r2 |
| fail_ne32 %r2, 0x7fffffff |
| |
| pass |