| /* | |
| * FreeRTOS Kernel V10.3.0 | |
| * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. | |
| * | |
| * Permission is hereby granted, free of charge, to any person obtaining a copy of | |
| * this software and associated documentation files (the "Software"), to deal in | |
| * the Software without restriction, including without limitation the rights to | |
| * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of | |
| * the Software, and to permit persons to whom the Software is furnished to do so, | |
| * subject to the following conditions: | |
| * | |
| * The above copyright notice and this permission notice shall be included in all | |
| * copies or substantial portions of the Software. | |
| * | |
| * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR | |
| * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS | |
| * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR | |
| * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER | |
| * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN | |
| * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. | |
| * | |
| * http://www.FreeRTOS.org | |
| * http://aws.amazon.com/freertos | |
| * | |
| * 1 tab == 4 spaces! | |
| */ | |
| EXTERN pulRegTest1LoopCounter | |
| EXTERN pulRegTest2LoopCounter | |
| PUBLIC vRegTest1Implementation | |
| PUBLIC vRegTest2Implementation | |
| /*-----------------------------------------------------------*/ | |
| SECTION `.text`:CODE:NOROOT(2) | |
| CODE | |
| /* | |
| * The register check tasks are described in the comments at the top of | |
| * main_full.c. | |
| */ | |
| ALIGN 8 | |
| vRegTest1Implementation: | |
| /* Fill the core registers with known values. */ | |
| li x5, 0x5 | |
| li x6, 0x6 | |
| li x7, 0x7 | |
| li x8, 0x8 | |
| li x9, 0x9 | |
| li x10, 0xa | |
| li x11, 0xb | |
| li x12, 0xc | |
| li x13, 0xd | |
| li x14, 0xe | |
| li x15, 0xf | |
| li x16, 0x10 | |
| li x17, 0x11 | |
| li x18, 0x12 | |
| li x19, 0x13 | |
| li x20, 0x14 | |
| li x21, 0x15 | |
| li x22, 0x16 | |
| li x23, 0x17 | |
| li x24, 0x18 | |
| li x25, 0x19 | |
| li x26, 0x1a | |
| li x27, 0x1b | |
| li x28, 0x1c | |
| li x29, 0x1d | |
| li x30, 0x1e | |
| reg1_loop: | |
| /* Check each register still contains the expected known value. | |
| vRegTest1Implementation uses x31 as the temporary, vRegTest2Implementation | |
| uses x5 as the temporary. */ | |
| li x31, 0x5 | |
| bne x31, x5, reg1_error_loop | |
| li x31, 0x6 | |
| bne x31, x6, reg1_error_loop | |
| li x31, 0x7 | |
| bne x31, x7, reg1_error_loop | |
| li x31, 0x8 | |
| bne x31, x8, reg1_error_loop | |
| li x31, 0x9 | |
| bne x31, x9, reg1_error_loop | |
| li x31, 0xa | |
| bne x31, x10, reg1_error_loop | |
| li x31, 0xb | |
| bne x31, x11, reg1_error_loop | |
| li x31, 0xc | |
| bne x31, x12, reg1_error_loop | |
| li x31, 0xd | |
| bne x31, x13, reg1_error_loop | |
| li x31, 0xe | |
| bne x31, x14, reg1_error_loop | |
| li x31, 0xf | |
| bne x31, x15, reg1_error_loop | |
| li x31, 0x10 | |
| bne x31, x16, reg1_error_loop | |
| li x31, 0x11 | |
| bne x31, x17, reg1_error_loop | |
| li x31, 0x12 | |
| bne x31, x18, reg1_error_loop | |
| li x31, 0x13 | |
| bne x31, x19, reg1_error_loop | |
| li x31, 0x14 | |
| bne x31, x20, reg1_error_loop | |
| li x31, 0x15 | |
| bne x31, x21, reg1_error_loop | |
| li x31, 0x16 | |
| bne x31, x22, reg1_error_loop | |
| li x31, 0x17 | |
| bne x31, x23, reg1_error_loop | |
| li x31, 0x18 | |
| bne x31, x24, reg1_error_loop | |
| li x31, 0x19 | |
| bne x31, x25, reg1_error_loop | |
| li x31, 0x1a | |
| bne x31, x26, reg1_error_loop | |
| li x31, 0x1b | |
| bne x31, x27, reg1_error_loop | |
| li x31, 0x1c | |
| bne x31, x28, reg1_error_loop | |
| li x31, 0x1d | |
| bne x31, x29, reg1_error_loop | |
| li x31, 0x1e | |
| bne x31, x30, reg1_error_loop | |
| /* Everything passed, increment the loop counter. */ | |
| lw x31, pulRegTest1LoopCounter | |
| lw x30, 0(x31) | |
| addi x30, x30, 1 | |
| sw x30, 0(x31) | |
| /* Restore clobbered register reading for next loop. */ | |
| li x30, 0x1e | |
| /* Yield to increase code coverage. */ | |
| ecall | |
| /* Start again. */ | |
| jal reg1_loop | |
| reg1_error_loop: | |
| /* Jump here if a register contains an uxpected value. This stops the loop | |
| counter being incremented so the check task knows an error was found. */ | |
| ebreak | |
| jal reg1_error_loop | |
| /*-----------------------------------------------------------*/ | |
| ALIGN 8 | |
| vRegTest2Implementation: | |
| /* Fill the core registers with known values. */ | |
| li x6, 0x61 | |
| li x7, 0x71 | |
| li x8, 0x81 | |
| li x9, 0x91 | |
| li x10, 0xa1 | |
| li x11, 0xb1 | |
| li x12, 0xc1 | |
| li x13, 0xd1 | |
| li x14, 0xe1 | |
| li x15, 0xf1 | |
| li x16, 0x20 | |
| li x17, 0x21 | |
| li x18, 0x22 | |
| li x19, 0x23 | |
| li x20, 0x24 | |
| li x21, 0x25 | |
| li x22, 0x26 | |
| li x23, 0x27 | |
| li x24, 0x28 | |
| li x25, 0x29 | |
| li x26, 0x2a | |
| li x27, 0x2b | |
| li x28, 0x2c | |
| li x29, 0x2d | |
| li x30, 0x2e | |
| li x31, 0x2f | |
| Reg2_loop: | |
| /* Check each register still contains the expected known value. | |
| vRegTest2Implementation uses x5 as the temporary, vRegTest1Implementation | |
| uses x31 as the temporary. */ | |
| li x5, 0x61 | |
| bne x5, x6, reg2_error_loop | |
| li x5, 0x71 | |
| bne x5, x7, reg2_error_loop | |
| li x5, 0x81 | |
| bne x5, x8, reg2_error_loop | |
| li x5, 0x91 | |
| bne x5, x9, reg2_error_loop | |
| li x5, 0xa1 | |
| bne x5, x10, reg2_error_loop | |
| li x5, 0xb1 | |
| bne x5, x11, reg2_error_loop | |
| li x5, 0xc1 | |
| bne x5, x12, reg2_error_loop | |
| li x5, 0xd1 | |
| bne x5, x13, reg2_error_loop | |
| li x5, 0xe1 | |
| bne x5, x14, reg2_error_loop | |
| li x5, 0xf1 | |
| bne x5, x15, reg2_error_loop | |
| li x5, 0x20 | |
| bne x5, x16, reg2_error_loop | |
| li x5, 0x21 | |
| bne x5, x17, reg2_error_loop | |
| li x5, 0x22 | |
| bne x5, x18, reg2_error_loop | |
| li x5, 0x23 | |
| bne x5, x19, reg2_error_loop | |
| li x5, 0x24 | |
| bne x5, x20, reg2_error_loop | |
| li x5, 0x25 | |
| bne x5, x21, reg2_error_loop | |
| li x5, 0x26 | |
| bne x5, x22, reg2_error_loop | |
| li x5, 0x27 | |
| bne x5, x23, reg2_error_loop | |
| li x5, 0x28 | |
| bne x5, x24, reg2_error_loop | |
| li x5, 0x29 | |
| bne x5, x25, reg2_error_loop | |
| li x5, 0x2a | |
| bne x5, x26, reg2_error_loop | |
| li x5, 0x2b | |
| bne x5, x27, reg2_error_loop | |
| li x5, 0x2c | |
| bne x5, x28, reg2_error_loop | |
| li x5, 0x2d | |
| bne x5, x29, reg2_error_loop | |
| li x5, 0x2e | |
| bne x5, x30, reg2_error_loop | |
| li x5, 0x2f | |
| bne x5, x31, reg2_error_loop | |
| /* Everything passed, increment the loop counter. */ | |
| lw x5, pulRegTest2LoopCounter | |
| lw x6, 0(x5) | |
| addi x6, x6, 1 | |
| sw x6, 0(x5) | |
| /* Restore clobbered register reading for next loop. */ | |
| li x6, 0x61 | |
| /* Start again. */ | |
| jal Reg2_loop | |
| reg2_error_loop: | |
| /* Jump here if a register contains an uxpected value. This stops the loop | |
| counter being incremented so the check task knows an error was found. */ | |
| ebreak | |
| jal reg2_error_loop | |
| /*-----------------------------------------------------------*/ | |