Notebooks · lib/rv32/tests/riscv/rv32ui_sll
lib/
lib/rv32/tests/riscv/rv32ui_sll.viv · 1 code cellOpen in the workbenchDownload .vivLook inside this program
- Atlas
The program’s map: every function and which calls which.
There’s no recorded run of this program yet.
Shift+Enter in a cell runs it and moves to the next. Running a cell runs every cell above it too, as one program.
[1]lines 1–355
# riscv-tests rv32ui/sll.S, preprocessed by tools/rv32/riscv_tests.py # (riscv-tests commit 7b68f7b91f82; BSD-3-Clause, The Regents of the # University of California). Generated: do not edit. from rv32.system import run_asm, STEP_LIMIT SOURCE = """ .text _start: test_2: li gp, 2 li x11, 1 li x12, 0 sll x14, x11, x12 li x7, 1 bne x14, x7, fail test_3: li gp, 3 li x11, 1 li x12, 1 sll x14, x11, x12 li x7, 2 bne x14, x7, fail test_4: li gp, 4 li x11, 1 li x12, 7 sll x14, x11, x12 li x7, 128 bne x14, x7, fail test_5: li gp, 5 li x11, 1 li x12, 14 sll x14, x11, x12 li x7, 16384 bne x14, x7, fail test_6: li gp, 6 li x11, 1 li x12, 31 sll x14, x11, x12 li x7, 2147483648 bne x14, x7, fail test_7: li gp, 7 li x11, 4294967295 li x12, 0 sll x14, x11, x12 li x7, 4294967295 bne x14, x7, fail test_8: li gp, 8 li x11, 4294967295 li x12, 1 sll x14, x11, x12 li x7, 4294967294 bne x14, x7, fail test_9: li gp, 9 li x11, 4294967295 li x12, 7 sll x14, x11, x12 li x7, 4294967168 bne x14, x7, fail test_10: li gp, 10 li x11, 4294967295 li x12, 14 sll x14, x11, x12 li x7, 4294950912 bne x14, x7, fail test_11: li gp, 11 li x11, 4294967295 li x12, 31 sll x14, x11, x12 li x7, 2147483648 bne x14, x7, fail test_12: li gp, 12 li x11, 555819297 li x12, 0 sll x14, x11, x12 li x7, 555819297 bne x14, x7, fail test_13: li gp, 13 li x11, 555819297 li x12, 1 sll x14, x11, x12 li x7, 1111638594 bne x14, x7, fail test_14: li gp, 14 li x11, 555819297 li x12, 7 sll x14, x11, x12 li x7, 2425393280 bne x14, x7, fail test_15: li gp, 15 li x11, 555819297 li x12, 14 sll x14, x11, x12 li x7, 1212694528 bne x14, x7, fail test_16: li gp, 16 li x11, 555819297 li x12, 31 sll x14, x11, x12 li x7, 2147483648 bne x14, x7, fail test_17: li gp, 17 li x11, 555819297 li x12, 4294967232 sll x14, x11, x12 li x7, 555819297 bne x14, x7, fail test_18: li gp, 18 li x11, 555819297 li x12, 4294967233 sll x14, x11, x12 li x7, 1111638594 bne x14, x7, fail test_19: li gp, 19 li x11, 555819297 li x12, 4294967239 sll x14, x11, x12 li x7, 2425393280 bne x14, x7, fail test_20: li gp, 20 li x11, 555819297 li x12, 4294967246 sll x14, x11, x12 li x7, 1212694528 bne x14, x7, fail test_22: li gp, 22 li x11, 1 li x12, 7 sll x11, x11, x12 li x7, 128 bne x11, x7, fail test_23: li gp, 23 li x11, 1 li x12, 14 sll x12, x11, x12 li x7, 16384 bne x12, x7, fail test_24: li gp, 24 li x11, 3 sll x11, x11, x11 li x7, 24 bne x11, x7, fail test_25: li gp, 25 li x4, 0 1: li x1, 1 li x2, 7 sll x14, x1, x2 addi x6, x14, 0 addi x4, x4, 1 li x5, 2 bne x4, x5, 1b li x7, 128 bne x6, x7, fail test_26: li gp, 26 li x4, 0 1: li x1, 1 li x2, 14 sll x14, x1, x2 nop addi x6, x14, 0 addi x4, x4, 1 li x5, 2 bne x4, x5, 1b li x7, 16384 bne x6, x7, fail test_27: li gp, 27 li x4, 0 1: li x1, 1 li x2, 31 sll x14, x1, x2 nop nop addi x6, x14, 0 addi x4, x4, 1 li x5, 2 bne x4, x5, 1b li x7, 2147483648 bne x6, x7, fail test_28: li gp, 28 li x4, 0 1: li x1, 1 li x2, 7 sll x14, x1, x2 addi x4, x4, 1 li x5, 2 bne x4, x5, 1b li x7, 128 bne x14, x7, fail test_29: li gp, 29 li x4, 0 1: li x1, 1 li x2, 14 nop sll x14, x1, x2 addi x4, x4, 1 li x5, 2 bne x4, x5, 1b li x7, 16384 bne x14, x7, fail test_30: li gp, 30 li x4, 0 1: li x1, 1 li x2, 31 nop nop sll x14, x1, x2 addi x4, x4, 1 li x5, 2 bne x4, x5, 1b li x7, 2147483648 bne x14, x7, fail test_31: li gp, 31 li x4, 0 1: li x1, 1 nop li x2, 7 sll x14, x1, x2 addi x4, x4, 1 li x5, 2 bne x4, x5, 1b li x7, 128 bne x14, x7, fail test_32: li gp, 32 li x4, 0 1: li x1, 1 nop li x2, 14 nop sll x14, x1, x2 addi x4, x4, 1 li x5, 2 bne x4, x5, 1b li x7, 16384 bne x14, x7, fail test_33: li gp, 33 li x4, 0 1: li x1, 1 nop nop li x2, 31 sll x14, x1, x2 addi x4, x4, 1 li x5, 2 bne x4, x5, 1b li x7, 2147483648 bne x14, x7, fail test_34: li gp, 34 li x4, 0 1: li x2, 7 li x1, 1 sll x14, x1, x2 addi x4, x4, 1 li x5, 2 bne x4, x5, 1b li x7, 128 bne x14, x7, fail test_35: li gp, 35 li x4, 0 1: li x2, 14 li x1, 1 nop sll x14, x1, x2 addi x4, x4, 1 li x5, 2 bne x4, x5, 1b li x7, 16384 bne x14, x7, fail test_36: li gp, 36 li x4, 0 1: li x2, 31 li x1, 1 nop nop sll x14, x1, x2 addi x4, x4, 1 li x5, 2 bne x4, x5, 1b li x7, 2147483648 bne x14, x7, fail test_37: li gp, 37 li x4, 0 1: li x2, 7 nop li x1, 1 sll x14, x1, x2 addi x4, x4, 1 li x5, 2 bne x4, x5, 1b li x7, 128 bne x14, x7, fail test_38: li gp, 38 li x4, 0 1: li x2, 14 nop li x1, 1 nop sll x14, x1, x2 addi x4, x4, 1 li x5, 2 bne x4, x5, 1b li x7, 16384 bne x14, x7, fail test_39: li gp, 39 li x4, 0 1: li x2, 31 nop nop li x1, 1 sll x14, x1, x2 addi x4, x4, 1 li x5, 2 bne x4, x5, 1b li x7, 2147483648 bne x14, x7, fail test_40: li gp, 40 li x1, 15 sll x2, x0, x1 li x7, 0 bne x2, x7, fail test_41: li gp, 41 li x1, 32 sll x2, x1, x0 li x7, 32 bne x2, x7, fail test_42: li gp, 42 sll x1, x0, x0 li x7, 0 bne x1, x7, fail test_43: li gp, 43 li x1, 1024 li x2, 2048 sll x0, x1, x2 li x7, 0 bne x0, x7, fail bne x0, gp, pass fail: mv a0, gp li a7, 93 ecall pass: li gp, 1 li a7, 93 li a0, 0 ecall .data .data """ result = run_asm(SOURCE, STEP_LIMIT) show "rv32ui-sll", result.exit_code, result.steps test "rv32ui-sll passes every case" { assert_true(result.halted) assert_true(result.exit_code == 0) } # SPDX-License-Identifier: BSD-3-Clause # SPDX-FileCopyrightText: 2012-2015 The Regents of the University of California (Regents) # SPDX-FileCopyrightText: 2026 The Viv authors