isa/rv64uv/beq.S

   1 #*****************************************************************************
   2 # beq.S
   3 #-----------------------------------------------------------------------------
   4 #
   5 # Test beq instruction in a vf block.
   6 #
   7
   8 #include "riscv_test.h"
   9 #include "test_macros.h"
  10
  11 RVTEST_RV64UV
  12 RVTEST_CODE_BEGIN
  13
  14   #-------------------------------------------------------------
  15   # Branch tests
  16   #-------------------------------------------------------------
  17
  18   # Each test checks both forward and backward branches
  19
  20   TEST_BR2_OP_TAKEN( 2, beq,  0,  0 );
  21   TEST_BR2_OP_TAKEN( 3, beq,  1,  1 );
  22   TEST_BR2_OP_TAKEN( 4, beq, -1, -1 );
  23
  24   TEST_BR2_OP_NOTTAKEN( 5, beq,  0,  1 );
  25   TEST_BR2_OP_NOTTAKEN( 6, beq,  1,  0 );
  26   TEST_BR2_OP_NOTTAKEN( 7, beq, -1,  1 );
  27   TEST_BR2_OP_NOTTAKEN( 8, beq,  1, -1 );
  28
  29   #-------------------------------------------------------------
  30   # Bypassing tests
  31   #-------------------------------------------------------------
  32
  33   TEST_BR2_SRC12_BYPASS( 9,  0, 0, beq, 0, -1 );
  34   TEST_BR2_SRC12_BYPASS( 10, 0, 1, beq, 0, -1 );
  35   TEST_BR2_SRC12_BYPASS( 11, 0, 2, beq, 0, -1 );
  36   TEST_BR2_SRC12_BYPASS( 12, 1, 0, beq, 0, -1 );
  37   TEST_BR2_SRC12_BYPASS( 13, 1, 1, beq, 0, -1 );
  38   TEST_BR2_SRC12_BYPASS( 14, 2, 0, beq, 0, -1 );
  39
  40   TEST_BR2_SRC12_BYPASS( 15, 0, 0, beq, 0, -1 );
  41   TEST_BR2_SRC12_BYPASS( 16, 0, 1, beq, 0, -1 );
  42   TEST_BR2_SRC12_BYPASS( 17, 0, 2, beq, 0, -1 );
  43   TEST_BR2_SRC12_BYPASS( 18, 1, 0, beq, 0, -1 );
  44   TEST_BR2_SRC12_BYPASS( 19, 1, 1, beq, 0, -1 );
  45   TEST_BR2_SRC12_BYPASS( 20, 2, 0, beq, 0, -1 );
  46
  47   #-------------------------------------------------------------
  48   # Test when uts diverge
  49   #-------------------------------------------------------------
  50
  51   TEST_BR2_DIVERGED_ODD_EVEN( 24, beq, 1, 1, \
  52     addi x3, x3, 1; \
  53   )
  54   TEST_BR2_DIVERGED_ODD_EVEN( 25, beq, 2, 2, \
  55     addi x3, x3, 1; \
  56   )
  57   TEST_BR2_DIVERGED_ODD_EVEN( 26, beq, 3, 3, \
  58     addi x3, x3, 1; \
  59   )
  60
  61   TEST_BR2_DIVERGED_ODD_EVEN( 27, beq, 1, 16, \
  62     addi x3, x3, 4; \
  63     mul x3, x3, x3; \
  64   )
  65   TEST_BR2_DIVERGED_ODD_EVEN( 28, beq, 2, 400, \
  66     addi x3, x3, 4; \
  67     mul x3, x3, x3; \
  68   )
  69   TEST_BR2_DIVERGED_ODD_EVEN( 29, beq, 3, 163216, \
  70     addi x3, x3, 4; \
  71     mul x3, x3, x3; \
  72   )
  73
  74   TEST_BR2_DIVERGED_FULL12( 30, beq, 1, 1, \
  75     addi x3, x3, 1; \
  76   )
  77
  78   TEST_BR2_DIVERGED_FULL12( 31, beq, 1, 16, \
  79     addi x3, x3, 4; \
  80     mul x3, x3, x3; \
  81   )
  82
  83   TEST_BR2_DIVERGED_MEM_FULL12( 32, beq, 1);
  84
  85   TEST_PASSFAIL
  86
  87 RVTEST_CODE_END
  88
  89   .data
  90 RVTEST_DATA_BEGIN
  91
  92   TEST_DATA
  93
  94 RVTEST_DATA_END