| # See LICENSE for license details. |
| |
| #***************************************************************************** |
| # beq.S |
| #----------------------------------------------------------------------------- |
| # |
| # Test beq instruction. |
| # |
| |
| #include "riscv_test.h" |
| #include "test_macros.h" |
| |
| RVTEST_RV64U |
| RVTEST_CODE_BEGIN |
| |
| #------------------------------------------------------------- |
| # Branch tests |
| #------------------------------------------------------------- |
| |
| # Each test checks both forward and backward branches |
| |
| TEST_BR2_OP_TAKEN( 2, beq, 0, 0 ); |
| TEST_BR2_OP_TAKEN( 3, beq, 1, 1 ); |
| TEST_BR2_OP_TAKEN( 4, beq, -1, -1 ); |
| |
| TEST_BR2_OP_NOTTAKEN( 5, beq, 0, 1 ); |
| TEST_BR2_OP_NOTTAKEN( 6, beq, 1, 0 ); |
| TEST_BR2_OP_NOTTAKEN( 7, beq, -1, 1 ); |
| TEST_BR2_OP_NOTTAKEN( 8, beq, 1, -1 ); |
| |
| #------------------------------------------------------------- |
| # Bypassing tests |
| #------------------------------------------------------------- |
| |
| TEST_BR2_SRC12_BYPASS( 9, 0, 0, beq, 0, -1 ); |
| TEST_BR2_SRC12_BYPASS( 10, 0, 1, beq, 0, -1 ); |
| TEST_BR2_SRC12_BYPASS( 11, 0, 2, beq, 0, -1 ); |
| TEST_BR2_SRC12_BYPASS( 12, 1, 0, beq, 0, -1 ); |
| TEST_BR2_SRC12_BYPASS( 13, 1, 1, beq, 0, -1 ); |
| TEST_BR2_SRC12_BYPASS( 14, 2, 0, beq, 0, -1 ); |
| |
| TEST_BR2_SRC12_BYPASS( 15, 0, 0, beq, 0, -1 ); |
| TEST_BR2_SRC12_BYPASS( 16, 0, 1, beq, 0, -1 ); |
| TEST_BR2_SRC12_BYPASS( 17, 0, 2, beq, 0, -1 ); |
| TEST_BR2_SRC12_BYPASS( 18, 1, 0, beq, 0, -1 ); |
| TEST_BR2_SRC12_BYPASS( 19, 1, 1, beq, 0, -1 ); |
| TEST_BR2_SRC12_BYPASS( 20, 2, 0, beq, 0, -1 ); |
| |
| #------------------------------------------------------------- |
| # Test delay slot instructions not executed nor bypassed |
| #------------------------------------------------------------- |
| |
| TEST_CASE( 21, x1, 3, \ |
| li x1, 1; \ |
| beq x0, x0, 1f; \ |
| addi x1, x1, 1; \ |
| addi x1, x1, 1; \ |
| addi x1, x1, 1; \ |
| addi x1, x1, 1; \ |
| 1: addi x1, x1, 1; \ |
| addi x1, x1, 1; \ |
| ) |
| |
| TEST_PASSFAIL |
| |
| RVTEST_CODE_END |
| |
| .data |
| RVTEST_DATA_BEGIN |
| |
| TEST_DATA |
| |
| RVTEST_DATA_END |