| 1 | #include "macros.h" |
| 2 | .text |
| 3 | .global _start |
| 4 | _start: |
| 5 | # insn num result rs1 rs2 imm |
| 6 | # | | | | | | |
| 7 | TEST_D_DDI(dextr, 1, 0xabcdef01, 0xabcdef01, 0x23456789, 0) |
| 8 | TEST_D_DDI(dextr, 2, 0x579bde02, 0xabcdef01, 0x23456789, 1) |
| 9 | TEST_D_DDI(dextr, 3, 0xaf37bc04, 0xabcdef01, 0x23456789, 2) |
| 10 | TEST_D_DDI(dextr, 4, 0x5e6f7809, 0xabcdef01, 0x23456789, 3) |
| 11 | TEST_D_DDI(dextr, 5, 0xbcdef012, 0xabcdef01, 0x23456789, 4) |
| 12 | TEST_D_DDI(dextr, 6, 0x79bde024, 0xabcdef01, 0x23456789, 5) |
| 13 | TEST_D_DDI(dextr, 7, 0xf37bc048, 0xabcdef01, 0x23456789, 6) |
| 14 | TEST_D_DDI(dextr, 8, 0xe6f78091, 0xabcdef01, 0x23456789, 7) |
| 15 | TEST_D_DDI(dextr, 9, 0xcdef0123, 0xabcdef01, 0x23456789, 8) |
| 16 | TEST_D_DDI(dextr, 10, 0x9bde0246, 0xabcdef01, 0x23456789, 9) |
| 17 | TEST_D_DDI(dextr, 11, 0x37bc048d, 0xabcdef01, 0x23456789, 10) |
| 18 | TEST_D_DDI(dextr, 12, 0x6f78091a, 0xabcdef01, 0x23456789, 11) |
| 19 | TEST_D_DDI(dextr, 13, 0xdef01234, 0xabcdef01, 0x23456789, 12) |
| 20 | TEST_D_DDI(dextr, 14, 0xbde02468, 0xabcdef01, 0x23456789, 13) |
| 21 | TEST_D_DDI(dextr, 15, 0x7bc048d1, 0xabcdef01, 0x23456789, 14) |
| 22 | TEST_D_DDI(dextr, 16, 0xf78091a2, 0xabcdef01, 0x23456789, 15) |
| 23 | TEST_D_DDI(dextr, 17, 0xef012345, 0xabcdef01, 0x23456789, 16) |
| 24 | TEST_D_DDI(dextr, 18, 0xde02468a, 0xabcdef01, 0x23456789, 17) |
| 25 | TEST_D_DDI(dextr, 19, 0xbc048d15, 0xabcdef01, 0x23456789, 18) |
| 26 | TEST_D_DDI(dextr, 20, 0x78091a2b, 0xabcdef01, 0x23456789, 19) |
| 27 | TEST_D_DDI(dextr, 21, 0xf0123456, 0xabcdef01, 0x23456789, 20) |
| 28 | TEST_D_DDI(dextr, 22, 0xe02468ac, 0xabcdef01, 0x23456789, 21) |
| 29 | TEST_D_DDI(dextr, 23, 0xc048d159, 0xabcdef01, 0x23456789, 22) |
| 30 | TEST_D_DDI(dextr, 24, 0x8091a2b3, 0xabcdef01, 0x23456789, 23) |
| 31 | TEST_D_DDI(dextr, 25, 0x01234567, 0xabcdef01, 0x23456789, 24) |
| 32 | TEST_D_DDI(dextr, 26, 0x02468acf, 0xabcdef01, 0x23456789, 25) |
| 33 | TEST_D_DDI(dextr, 27, 0x048d159e, 0xabcdef01, 0x23456789, 26) |
| 34 | TEST_D_DDI(dextr, 28, 0x091a2b3c, 0xabcdef01, 0x23456789, 27) |
| 35 | TEST_D_DDI(dextr, 29, 0x12345678, 0xabcdef01, 0x23456789, 28) |
| 36 | TEST_D_DDI(dextr, 30, 0x2468acf1, 0xabcdef01, 0x23456789, 29) |
| 37 | TEST_D_DDI(dextr, 31, 0x48d159e2, 0xabcdef01, 0x23456789, 30) |
| 38 | TEST_D_DDI(dextr, 32, 0x91a2b3c4, 0xabcdef01, 0x23456789, 31) |
| 39 | |
| 40 | # insn num result rs1 rs2 rs3 |
| 41 | # | | | | | | |
| 42 | TEST_D_DDD(dextr, 33, 0xabcdef01, 0xabcdef01, 0x23456789, 0) |
| 43 | TEST_D_DDD(dextr, 34, 0x579bde02, 0xabcdef01, 0x23456789, 1) |
| 44 | TEST_D_DDD(dextr, 35, 0xaf37bc04, 0xabcdef01, 0x23456789, 2) |
| 45 | TEST_D_DDD(dextr, 36, 0x5e6f7809, 0xabcdef01, 0x23456789, 3) |
| 46 | TEST_D_DDD(dextr, 37, 0xbcdef012, 0xabcdef01, 0x23456789, 4) |
| 47 | TEST_D_DDD(dextr, 38, 0x79bde024, 0xabcdef01, 0x23456789, 5) |
| 48 | TEST_D_DDD(dextr, 39, 0xf37bc048, 0xabcdef01, 0x23456789, 6) |
| 49 | TEST_D_DDD(dextr, 40, 0xe6f78091, 0xabcdef01, 0x23456789, 7) |
| 50 | TEST_D_DDD(dextr, 41, 0xcdef0123, 0xabcdef01, 0x23456789, 8) |
| 51 | TEST_D_DDD(dextr, 42, 0x9bde0246, 0xabcdef01, 0x23456789, 9) |
| 52 | TEST_D_DDD(dextr, 43, 0x37bc048d, 0xabcdef01, 0x23456789, 10) |
| 53 | TEST_D_DDD(dextr, 44, 0x6f78091a, 0xabcdef01, 0x23456789, 11) |
| 54 | TEST_D_DDD(dextr, 45, 0xdef01234, 0xabcdef01, 0x23456789, 12) |
| 55 | TEST_D_DDD(dextr, 46, 0xbde02468, 0xabcdef01, 0x23456789, 13) |
| 56 | TEST_D_DDD(dextr, 47, 0x7bc048d1, 0xabcdef01, 0x23456789, 14) |
| 57 | TEST_D_DDD(dextr, 48, 0xf78091a2, 0xabcdef01, 0x23456789, 15) |
| 58 | TEST_D_DDD(dextr, 49, 0xef012345, 0xabcdef01, 0x23456789, 16) |
| 59 | TEST_D_DDD(dextr, 51, 0xde02468a, 0xabcdef01, 0x23456789, 17) |
| 60 | TEST_D_DDD(dextr, 52, 0xbc048d15, 0xabcdef01, 0x23456789, 18) |
| 61 | TEST_D_DDD(dextr, 53, 0x78091a2b, 0xabcdef01, 0x23456789, 19) |
| 62 | TEST_D_DDD(dextr, 54, 0xf0123456, 0xabcdef01, 0x23456789, 20) |
| 63 | TEST_D_DDD(dextr, 55, 0xe02468ac, 0xabcdef01, 0x23456789, 21) |
| 64 | TEST_D_DDD(dextr, 56, 0xc048d159, 0xabcdef01, 0x23456789, 22) |
| 65 | TEST_D_DDD(dextr, 57, 0x8091a2b3, 0xabcdef01, 0x23456789, 23) |
| 66 | TEST_D_DDD(dextr, 58, 0x01234567, 0xabcdef01, 0x23456789, 24) |
| 67 | TEST_D_DDD(dextr, 59, 0x02468acf, 0xabcdef01, 0x23456789, 25) |
| 68 | TEST_D_DDD(dextr, 60, 0x048d159e, 0xabcdef01, 0x23456789, 26) |
| 69 | TEST_D_DDD(dextr, 61, 0x091a2b3c, 0xabcdef01, 0x23456789, 27) |
| 70 | TEST_D_DDD(dextr, 62, 0x12345678, 0xabcdef01, 0x23456789, 28) |
| 71 | TEST_D_DDD(dextr, 63, 0x2468acf1, 0xabcdef01, 0x23456789, 29) |
| 72 | TEST_D_DDD(dextr, 64, 0x48d159e2, 0xabcdef01, 0x23456789, 30) |
| 73 | TEST_D_DDD(dextr, 65, 0x91a2b3c4, 0xabcdef01, 0x23456789, 31) |
| 74 | |
| 75 | TEST_PASSFAIL |