123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386 |
- /* Tests the set flag (l.sf*) instructions.
- Copyright (C) 2017-2022 Free Software Foundation, Inc.
- This program is free software; you can redistribute it and/or modify
- it under the terms of the GNU General Public License as published by
- the Free Software Foundation; either version 3 of the License, or
- (at your option) any later version.
- This program is distributed in the hope that it will be useful,
- but WITHOUT ANY WARRANTY; without even the implied warranty of
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- GNU General Public License for more details.
- You should have received a copy of the GNU General Public License
- along with this program. If not, see <http://www.gnu.org/licenses/>. */
- # mach: or1k
- # output: exit(0)\n
- #include "or1k-asm-test-helpers.h"
- #define INT_MAX 2147483647 /* 0x7fffffff */
- #define INT_MAX_MIN1 2147483646 /* 0x7ffffffe */
- #define NEG_INT_MAX -2147483648 /* 0x80000000 */
- #define NEG_INT_MAX_PL1 -2147483647 /* 0x80000001 */
- #define MIN1 -1 /* 0xffffffff */
- #define SHRT_MIN (-32768)
- #define SHRT_MAX 32767
- #define UINT_MAX 4294967295 /* 0xffffffff */
- #define UINT_MAX_MIN1 4294967294 /* 0xfffffffe */
- #define USHRT_MAX 65535
- .macro MOVE_TO_R4_R5_AND_REPORT a, b
- LOAD_IMMEDIATE r4, \a
- LOAD_IMMEDIATE r5, \b
- /* During development, add REPORT_xxx statements here to see the
- operands. */
- .endm
- .macro MOVE_TO_R4_AND_REPORT_I a, b
- LOAD_IMMEDIATE r4, \a
- /* During development, add REPORT_xxx statements here to see the
- operands. */
- .endm
- .macro SHOULD_BE_SET
- OR1K_DELAYED_NOP (l.bnf failed)
- .endm
- .macro SHOULDNT_BE_SET
- OR1K_DELAYED_NOP (l.bf failed)
- .endm
- .macro SHOULD_BE_LESS_THAN_SIGNED a, b
- MOVE_TO_R4_R5_AND_REPORT \a , \b
- l.sfeq r4, r5
- SHOULDNT_BE_SET
- l.sfne r4, r5
- SHOULD_BE_SET
- l.sfgts r4, r5
- SHOULDNT_BE_SET
- l.sfges r4, r5
- SHOULDNT_BE_SET
- l.sfles r4, r5
- SHOULD_BE_SET
- l.sflts r4, r5
- SHOULD_BE_SET
- .endm
- .macro SHOULD_BE_GREATER_THAN_SIGNED a, b
- MOVE_TO_R4_R5_AND_REPORT \a , \b
- l.sfeq r4, r5
- SHOULDNT_BE_SET
- l.sfne r4, r5
- SHOULD_BE_SET
- l.sfgts r4, r5
- SHOULD_BE_SET
- l.sfges r4, r5
- SHOULD_BE_SET
- l.sfles r4, r5
- SHOULDNT_BE_SET
- l.sflts r4, r5
- SHOULDNT_BE_SET
- .endm
- .macro SHOULD_BE_LESS_THAN_UNSIGNED a, b
- MOVE_TO_R4_R5_AND_REPORT \a , \b
- l.sfeq r4, r5
- SHOULDNT_BE_SET
- l.sfne r4, r5
- SHOULD_BE_SET
- l.sfgtu r4, r5
- SHOULDNT_BE_SET
- l.sfgeu r4, r5
- SHOULDNT_BE_SET
- l.sfleu r4, r5
- SHOULD_BE_SET
- l.sfltu r4, r5
- SHOULD_BE_SET
- .endm
- .macro SHOULD_BE_GREATER_THAN_UNSIGNED a, b
- MOVE_TO_R4_R5_AND_REPORT \a , \b
- l.sfeq r4, r5
- SHOULDNT_BE_SET
- l.sfne r4, r5
- SHOULD_BE_SET
- l.sfgtu r4, r5
- SHOULD_BE_SET
- l.sfgeu r4, r5
- SHOULD_BE_SET
- l.sfleu r4, r5
- SHOULDNT_BE_SET
- l.sfltu r4, r5
- SHOULDNT_BE_SET
- .endm
- .macro SHOULD_BE_EQUAL a, b
- MOVE_TO_R4_R5_AND_REPORT \a , \b
- l.sfeq r4, r5
- SHOULD_BE_SET
- l.sfne r4, r5
- SHOULDNT_BE_SET
- /* Signed tests. */
- l.sfgts r4, r5
- SHOULDNT_BE_SET
- l.sfges r4, r5
- SHOULD_BE_SET
- l.sfles r4, r5
- SHOULD_BE_SET
- l.sflts r4, r5
- SHOULDNT_BE_SET
- /* Unsigned tests. */
- l.sfgtu r4, r5
- SHOULDNT_BE_SET
- l.sfgeu r4, r5
- SHOULD_BE_SET
- l.sfleu r4, r5
- SHOULD_BE_SET
- l.sfltu r4, r5
- SHOULDNT_BE_SET
- .endm
- .macro SHOULDNT_BE_EQUAL a, b
- MOVE_TO_R4_R5_AND_REPORT \a , \b
- l.sfeq r4, r5
- SHOULDNT_BE_SET
- l.sfne r4, r5
- SHOULD_BE_SET
- .endm
- .macro SHOULD_BE_EQUAL_I a, b
- MOVE_TO_R4_AND_REPORT_I \a, \b
- l.sfeqi r4, \b
- SHOULD_BE_SET
- l.sfnei r4, \b
- SHOULDNT_BE_SET
- /* Signed tests. */
- l.sfgtsi r4, \b
- SHOULDNT_BE_SET
- l.sfgesi r4, \b
- SHOULD_BE_SET
- l.sflesi r4, \b
- SHOULD_BE_SET
- l.sfltsi r4, \b
- SHOULDNT_BE_SET
- /* Unsigned tests. */
- l.sfgtui r4, \b
- SHOULDNT_BE_SET
- l.sfgeui r4, \b
- SHOULD_BE_SET
- l.sfleui r4, \b
- SHOULD_BE_SET
- l.sfltui r4, \b
- SHOULDNT_BE_SET
- .endm
- .macro SHOULDNT_BE_EQUAL_I a, b
- MOVE_TO_R4_AND_REPORT_I \a, \b
- l.sfeqi r4, \b
- SHOULDNT_BE_SET
- l.sfnei r4, \b
- SHOULD_BE_SET
- .endm
- .macro SHOULD_BE_LESS_THAN_SIGNED_I a, b
- MOVE_TO_R4_AND_REPORT_I \a, \b
- l.sfeqi r4, \b
- SHOULDNT_BE_SET
- l.sfnei r4, \b
- SHOULD_BE_SET
- l.sfgtsi r4, \b
- SHOULDNT_BE_SET
- l.sfgesi r4, \b
- SHOULDNT_BE_SET
- l.sflesi r4, \b
- SHOULD_BE_SET
- l.sfltsi r4, \b
- SHOULD_BE_SET
- .endm
- .macro SHOULD_BE_GREATER_THAN_SIGNED_I a, b
- MOVE_TO_R4_AND_REPORT_I \a, \b
- l.sfeqi r4, \b
- SHOULDNT_BE_SET
- l.sfnei r4, \b
- SHOULD_BE_SET
- l.sfgtsi r4, \b
- SHOULD_BE_SET
- l.sfgesi r4, \b
- SHOULD_BE_SET
- l.sflesi r4, \b
- SHOULDNT_BE_SET
- l.sfltsi r4, \b
- SHOULDNT_BE_SET
- .endm
- .macro SHOULD_BE_LESS_THAN_UNSIGNED_I a, b
- MOVE_TO_R4_AND_REPORT_I \a, \b
- l.sfeqi r4, \b
- SHOULDNT_BE_SET
- l.sfnei r4, \b
- SHOULD_BE_SET
- l.sfgtui r4, \b
- SHOULDNT_BE_SET
- l.sfgeui r4, \b
- SHOULDNT_BE_SET
- l.sfleui r4, \b
- SHOULD_BE_SET
- l.sfltui r4, \b
- SHOULD_BE_SET
- .endm
- .macro SHOULD_BE_GREATER_THAN_UNSIGNED_I a, b
- MOVE_TO_R4_AND_REPORT_I \a, \b
- l.sfeqi r4, \b
- SHOULDNT_BE_SET
- l.sfnei r4, \b
- SHOULD_BE_SET
- l.sfgtui r4, \b
- SHOULD_BE_SET
- l.sfgeui r4, \b
- SHOULD_BE_SET
- l.sfleui r4, \b
- SHOULDNT_BE_SET
- l.sfltui r4, \b
- SHOULDNT_BE_SET
- .endm
- STANDARD_TEST_ENVIRONMENT
- .section .text
- start_tests:
- PUSH LINK_REGISTER_R9
- /* Signed tests */
- SHOULD_BE_LESS_THAN_SIGNED 0, 1
- SHOULD_BE_LESS_THAN_SIGNED MIN1, 0
- SHOULD_BE_LESS_THAN_SIGNED INT_MAX_MIN1, INT_MAX
- SHOULD_BE_LESS_THAN_SIGNED NEG_INT_MAX, INT_MAX
- SHOULD_BE_LESS_THAN_SIGNED NEG_INT_MAX, INT_MAX_MIN1
- SHOULD_BE_LESS_THAN_SIGNED NEG_INT_MAX_PL1, INT_MAX
- SHOULD_BE_LESS_THAN_SIGNED NEG_INT_MAX_PL1, INT_MAX_MIN1
- SHOULD_BE_LESS_THAN_SIGNED -7, -6
- SHOULD_BE_LESS_THAN_SIGNED NEG_INT_MAX, NEG_INT_MAX_PL1
- SHOULD_BE_LESS_THAN_SIGNED NEG_INT_MAX, MIN1
- SHOULD_BE_LESS_THAN_SIGNED NEG_INT_MAX, 0
- SHOULD_BE_GREATER_THAN_SIGNED 1, 0
- SHOULD_BE_GREATER_THAN_SIGNED 0, MIN1
- SHOULD_BE_GREATER_THAN_SIGNED INT_MAX, INT_MAX_MIN1
- SHOULD_BE_GREATER_THAN_SIGNED INT_MAX, NEG_INT_MAX
- SHOULD_BE_GREATER_THAN_SIGNED INT_MAX_MIN1, NEG_INT_MAX
- SHOULD_BE_GREATER_THAN_SIGNED INT_MAX, NEG_INT_MAX_PL1
- SHOULD_BE_GREATER_THAN_SIGNED INT_MAX_MIN1, NEG_INT_MAX_PL1
- SHOULD_BE_GREATER_THAN_SIGNED -6, -7
- SHOULD_BE_GREATER_THAN_SIGNED NEG_INT_MAX_PL1, NEG_INT_MAX
- SHOULD_BE_GREATER_THAN_SIGNED MIN1, NEG_INT_MAX
- SHOULD_BE_GREATER_THAN_SIGNED 0, NEG_INT_MAX
- /* See the immediate tests below. */
- SHOULD_BE_LESS_THAN_SIGNED 0xFFFF7FFF, 0xFFFF8000
- /* See the immediate tests below. */
- SHOULD_BE_GREATER_THAN_SIGNED 0xFFFF8001, 0xFFFF8000
- /* Signed tests, immediate */
- SHOULD_BE_LESS_THAN_SIGNED_I 0, 1
- SHOULD_BE_LESS_THAN_SIGNED_I -1, 0
- SHOULD_BE_LESS_THAN_SIGNED_I -7, -6
- SHOULD_BE_GREATER_THAN_SIGNED_I 0x00008000, 0x7FFF
- SHOULD_BE_LESS_THAN_SIGNED_I 0xFFFFFFFF, 0x7FFF
- /* 0x8000 gets sign-extended to 0xFFFF8000. */
- SHOULD_BE_LESS_THAN_SIGNED_I 0xFFFF7FFF, 0x8000
- /* 0x8000 gets sign-extended to 0xFFFF8000. */
- SHOULD_BE_GREATER_THAN_SIGNED_I 0xFFFF8001, 0x8000
- /* 0x8000 gets sign-extended to 0xFFFF8000. */
- SHOULD_BE_GREATER_THAN_SIGNED_I 0x00008000, 0x8000
- /* Unsigned tests */
- SHOULD_BE_LESS_THAN_UNSIGNED 0, 1
- SHOULD_BE_LESS_THAN_UNSIGNED UINT_MAX_MIN1, UINT_MAX
- SHOULD_BE_GREATER_THAN_UNSIGNED 1, 0
- SHOULD_BE_GREATER_THAN_UNSIGNED UINT_MAX, UINT_MAX_MIN1
- SHOULD_BE_GREATER_THAN_UNSIGNED UINT_MAX, 0
- SHOULD_BE_GREATER_THAN_UNSIGNED 0x80000001, 0x80000000
- SHOULD_BE_LESS_THAN_UNSIGNED 0x80000000, 0x80000001
- SHOULD_BE_GREATER_THAN_UNSIGNED 0x80000000, 0x7fffffff
- SHOULD_BE_LESS_THAN_UNSIGNED 0x7fffffff, 0x80000000
- SHOULD_BE_GREATER_THAN_UNSIGNED 0x7fffffff, 0x7ffffffe
- SHOULD_BE_LESS_THAN_UNSIGNED 0x7ffffffe, 0x7fffffff
- SHOULD_BE_LESS_THAN_UNSIGNED 0x2024fae0, 0xfef03220
- /* Unsigned tests, immediate */
- SHOULD_BE_LESS_THAN_UNSIGNED_I 0, 1
- SHOULD_BE_GREATER_THAN_UNSIGNED_I 1, 0
- SHOULD_BE_LESS_THAN_UNSIGNED_I SHRT_MAX - 1, SHRT_MAX
- SHOULD_BE_GREATER_THAN_UNSIGNED_I SHRT_MAX , SHRT_MAX - 1
- /* The sign extension produces unexpected results here. */
- /* 0xFFFF gets sign-extended to 0xFFFFFFFF. */
- SHOULD_BE_LESS_THAN_UNSIGNED_I 0xFFFFFFFF - 1, 0xFFFF
- /* 0x8000 gets sign-extended to 0xFFFF8000. */
- SHOULD_BE_LESS_THAN_UNSIGNED_I 0xFFFF7FFF, 0x8000
- /* Equal tests. */
- SHOULD_BE_EQUAL 0, 0
- SHOULD_BE_EQUAL UINT_MAX, UINT_MAX
- SHOULD_BE_EQUAL MIN1, UINT_MAX
- SHOULD_BE_EQUAL INT_MAX, INT_MAX
- SHOULD_BE_EQUAL NEG_INT_MAX, NEG_INT_MAX
- /* Equal tests, immediate. Test the 16-to-32-bit sign extension. */
- SHOULD_BE_EQUAL_I 0, 0
- SHOULD_BE_EQUAL_I 0x00007FFF, 0x7FFF
- SHOULD_BE_EQUAL_I 0xFFFF8000, 0x8000
- SHOULD_BE_EQUAL_I 0xFFFFFFFF, 0xFFFF
- /* Non-equal tests. */
- SHOULDNT_BE_EQUAL 0, 1
- SHOULDNT_BE_EQUAL UINT_MAX, INT_MAX
- SHOULDNT_BE_EQUAL UINT_MAX, NEG_INT_MAX
- SHOULDNT_BE_EQUAL MIN1, NEG_INT_MAX_PL1
- SHOULDNT_BE_EQUAL INT_MAX, NEG_INT_MAX
- SHOULDNT_BE_EQUAL NEG_INT_MAX_PL1, UINT_MAX_MIN1
- /* Non-equal tests, immediate. Test the 16-to-32-bit sign
- extension. */
- SHOULDNT_BE_EQUAL_I 0x00008000, 0x8000
- POP LINK_REGISTER_R9
- RETURN_TO_LINK_REGISTER_R9
- failed:
- EXIT_SIMULATION_WITH_IMMEDIATE_EXIT_CODE SEC_GENERIC_ERROR
|