URL
https://opencores.org/ocsvn/forwardcom/forwardcom/trunk
Subversion Repositories forwardcom
[/] [forwardcom/] [testsuite/] [tests_arithmetics.as] - Rev 159
Compare with Previous | Blame | View Log
/************************** tests_arithmetics.as ***************************** Author: Agner Fog* date created: 2021-06-06* last modified: 2021-07-20* Version: 1.11* Project: ForwardCom Test suite, assembly code* Description: Test arithmetic instructions with general purpose registers** This test program will test arithmetic instructions and output a list of* which instructions are working for int8, int16, int32, and int64 operands.** Copyright 2021 GNU General Public License v.3 http://www.gnu.org/licenses******************************************************************************/// Library functions in libc_light.liextern _puts: function reguse=3,0 // write string + linefeed to stdoutextern _printf: function reguse=0xF,0 // write formatted string to stdoutconst section read ip // read-only data section// Text strings:text1: int8 "\nForwardCom test suite\nTest general purpose register arithmetic instructions" // intro text,int8 "\nPress Run to continue"int8 "\n int8 int16 int32 int64", 0 // and headingnewline: int8 "\n", 0 // newlinepress_run: int8 "\nPress Run to continue", 0format1: int8 "\n%-18s%3c%7c%7c%7c", 0 // format string for printing resultstextadd: int8 "add", 0 // text strings for each instructiontextsub: int8 "sub", 0textmul: int8 "mul", 0textmulhisigned: int8 "mul_hi signed", 0textmulhiunsigned: int8 "mul_hi unsigned", 0textdivsigned: int8 "div signed", 0textdivunsigned: int8 "div unsigned", 0textremsigned: int8 "rem signed", 0textremunsigned: int8 "rem unsigned", 0textmaxsigned: int8 "max signed", 0textmaxunsigned: int8 "max unsigned", 0textminsigned: int8 "min signed", 0textminunsigned: int8 "min unsigned", 0textcompsigned: int8 "compare signed", 0textcompunsigned: int8 "compare unsigned", 0textabs: int8 "abs", 0textsignx: int8 "sign_extend", 0textroundp2: int8 "roundp2", 0textaddadd: int8 "add_add", 0textmuladd: int8 "mul_add", 0textsignexadd: int8 "sign_extend_add", 0const endcode section execute // code section_main function public/* register use:r0: bits indicating success for int8, int16, int32, int64r1: operandr2: operandr3: resultr4: scratchr6: int64 supported*/// print intro text and headingint64 r0 = address [text1] // calculate address of stringcall _puts // call puts. parameter is in r0breakpoint // debug breakpointint r1 = 1int capab2 = write_capabilities(r1, 0) // disable error trap for unknown instructions// Test additionint32 r1 = 0x12345678int32 r2 = 0x9abcdef0int8 r3 = r1 + r2 // int8 additionint32 r0 = r3 == ((0x78 + 0xf0) & 0xFF) // check result, set bit 0 if successint16 r3 = r1 + r2 // int16 additionint32 r4 = r3 == ((0x5678 + 0xdef0) & 0xFFFF) // check resultint32 r0 |= 2, mask = r4 // set bit 1 if successint32 r3 = r1 + r2 // int32 additionint32 r4 = r3 == (0x12345678 + 0x9abcdef0) // check resultint32 r0 |= 4, mask = r4 // set bit 2 if successint64 r1 <<= 32int64 r2 <<= 32int64 r1 += 0x12345int64 r3 = r1 + r2 // 64 bit additionint32 r4 = r3 == 0x12345 // check lower half of resultuint64 r3 >>= 32 // shift down upper halfint64 r6 = (r3 == (0x12345678 + 0x9abcdef0)) && r4 // check upper half of resultint32 r0 |= 8, mask = r6 // set bit 2 if successint64 r1 = address [textadd]call print_result// Test subtractionint32 r1 = 0x12345678int32 r2 = 0x9abcdef0int8 r3 = r1 - r2 // int8 additionint32 r0 = r3 == ((0x78 - 0xf0) & 0xFF) // check result, set bit 0 if successint16 r3 = r1 - r2 // int16 additionint32 r4 = r3 == ((0x5678 - 0xdef0) & 0xFFFF) // check resultint32 r0 |= 2, mask = r4 // set bit 1 if successint32 r3 = r1 - r2 // int32 additionint32 r4 = r3 == ((0x12345678 - 0x9abcdef0) & 0xFFFFFFFF) // check resultint32 r0 |= 4, mask = r4 // set bit 2 if successint64 r1 <<= 32int64 r2 <<= 32int64 r1 += 0x12345int64 r3 = r1 - r2 // 64 bit additionint64 r4 = ((0x12345678 - 0x9abcdef0) << 32) + 0x12345int64 r5 = r3 == r4 && r6int32 r0 |= 8, mask = r5 // set bit 2 if successint64 r1 = address [textsub]call print_result// Test multiplicationint32 r1 = 0x12345678int32 r2 = 0x9abcdef0int8 r3 = r1 * r2 // int8 multiplicationint32 r0 = r3 == ((0x78 * 0xf0) & 0xFF) // check result, set bit 0 if successint16 r3 = r1 * r2 // int16 multiplicationint32 r4 = r3 == ((0x5678 * 0xdef0) & 0xFFFF) // check resultint32 r0 |= 2, mask = r4 // set bit 1 if successint32 r3 = r1 * r2 // int32 multiplicationint32 r4 = r3 == ((0x12345678 * 0x9abcdef0) & 0xFFFFFFFF) // check resultint32 r0 |= 4, mask = r4 // set bit 2 if successif (int r6 & 1) { // try only if 64 bits supportedint64 r1 <<= 32int64 r2 <<= 32int64 r1 += 0x00012345int64 r2 += 0x6edc4321int64 r3 = r1 * r2 // 64 bit multiplicationint64 r4 = (0x1234567800012345 * 0x9abcdef06edc4321) // expected resultint64 r5 = (r3 == r4)int32 r0 |= 8, mask = r5 // set bit 2 if success}int64 r1 = address [textmul]call print_result// Test mul_hi: high part of product, signedint32 r1 = 0xa1b2c3d4int32 r2 = 0xe5f60718int8 r3 = mul_hi(r1, r2)int32 r0 = r3 == ((0xffd4 * 0x18) >> 8 & 0xFF) // check result, set bit 0 if successint16 r3 = mul_hi(r1, r2)int32 r4 = r3 == ((0xffffc3d4 * 0x0718) >> 16 & 0xFFFF) // check result, set bit 0 if successint32 r0 |= 2, mask = r4 // set bit 1 if successint32 r3 = mul_hi(r1, r2)int32 r4 = r3 == ((0xffffffffa1b2c3d4 * 0xffffffffe5f60718) >> 32 & 0xFFFFFFFF) // check result, set bit 0 if successint32 r0 |= 4, mask = r4 // set bit 2 if successint64 r1 = 0x21b2c3d4e5f60718int64 r2 = 0x46352958adbecef8%prodhi = (((0xe5f60718 * 0xadbecef8 >>> 32) + 0x21b2c3d4 * 0xadbecef8 + 0x46352958 * 0xe5f60718) >>> 32) + 0x21b2c3d4 * 0x46352958int64 r3 = mul_hi(r1, r2)int64 r4 = r3 == prodhi // check result, set bit 0 if successint32 r0 |= 8, mask = r4 // set bit 3 if successint64 r1 = address [textmulhisigned]call print_result// Test mul_hi: high part of product, unsignedint32 r1 = 0xa1b2c3d4int32 r2 = 0xe5f60718int8 r3 = mul_hi_u(r1, r2)int32 r0 = r3 == ((0xd4 * 0x18) >> 8 & 0xFF) // check result, set bit 0 if successint16 r3 = mul_hi_u(r1, r2)int32 r4 = r3 == ((0xc3d4 * 0x0718) >> 16 & 0xFFFF) // check result, set bit 0 if successint32 r0 |= 2, mask = r4 // set bit 1 if successint32 r3 = mul_hi_u(r1, r2)int32 r4 = r3 == ((0xa1b2c3d4 * 0xe5f60718) >> 32 & 0xFFFFFFFF) // check result, set bit 0 if successint32 r0 |= 4, mask = r4 // set bit 2 if successint64 r1 = 0x21b2c3d4e5f60718int64 r2 = 0x46352958adbecef8%prodhi = (((0xe5f60718 * 0xadbecef8 >>> 32) + 0x21b2c3d4 * 0xadbecef8 + 0x46352958 * 0xe5f60718) >>> 32) + 0x21b2c3d4 * 0x46352958int64 r3 = mul_hi_u(r1, r2)int64 r4 = r3 == prodhi // check result, set bit 0 if successint32 r0 |= 8, mask = r4 // set bit 3 if successint64 r1 = address [textmulhiunsigned]call print_result// Test signed divisionint32 r1 = 0x12345678int32 r2 = 0xab1d2fint8 r3 = r1 / r2 // int8 divisionint32 r0 = r3 == ((0x78 / 0x2f) & 0xFF) // check result, set bit 0 if successint16 r3 = r1 / r2 // int16 divisionint32 r4 = r3 == ((0x5678 / 0x1d2f) & 0xFFFF) // check resultint32 r0 |= 2, mask = r4 // set bit 1 if successint32 r3 = r1 / r2 // int32 divisionint32 r4 = r3 == ((0x12345678 / 0xab1d2f) & 0xFFFFFFFF) // check resultint32 r6 = -r2int32 r3 = r1 / r6 // int32 division negativeint32 r5 = r3 == (-(0x12345678 / 0xab1d2f) & 0xFFFFFFFF) // check resultint r4 &= r5int32 r0 |= 4, mask = r4 // set bit 2 if successint64 r1 <<= 32int64 r2 <<= 32int64 r1 |= 0x22334455int64 r2 |= 0x66778899int64 r3 = r1 / r2int32 r4 = r3 == 0x1234567822334455 / 0xab1d2f66778899 // check resultint32 r0 |= 8, mask = r4 // set bit 3 if successint64 r1 = address [textdivsigned]call print_result// Test unsigned divisionint32 r1 = 0x12345678int32 r2 = 0xffabf2f3uint8 r3 = r1 / r2 // int8 unsigned divisionint r0 = r3 == 0 // check result, set bit 0 if successuint8 r3 = r2 / r1 // int8 unsigned divisionint r0 = r3 == 2 && r0 // check result, set bit 0 if successuint16 r3 = r1 / r2 // int16 unsigned divisionint32 r5 = r3 == 0 // check result, set bit 0 if successuint16 r3 = r2 / r1 // int16 unsigned divisionint32 r4 = r3 == 2 && r5int r0 |= 2, mask = r4 // set bit 1 if successuint32 r3 = r1 / r2 // int32 unsigned divisionint32 r5 = r3 == 0 // check result, set bit 0 if successuint32 r3 = r2 / r1 // int32 unsigned divisionint32 r4 = r3 == 0xE // check result, set bit 0 if successint r4 &= r5int r0 |= 4, mask = r4 // set bit 2 if successint64 r1 <<= 32int64 r2 <<= 32int64 r1 |= 0x22334455int64 r2 |= 0x66778899uint64 r3 = r2 / r1int64 r4 = r3 == 0xffabf2f3 / 0x12345678int r0 |= 8, mask = r4 // set bit 3 if successint64 r1 = address [textdivunsigned]call print_result// Test rem, signed%A = 0xcc5d8e9f%B = 0x1c1d1e18int32 r1 = Aint32 r2 = Bint8 r3 = r1 % r2 // int8 moduloint32 r0 = r3 == (-((-A & 0xFF) % (B & 0xFF)) & 0xFF) // check result, set bit 0 if successint16 r3 = r1 % r2 // int16 moduloint32 r4 = r3 == (-((-A & 0xFFFF) % (B & 0xFFFF)) & 0xFFFF) // check resultint32 r0 |= 2, mask = r4 // set bit 1 if successint32 r3 = r1 % r2 // int32 moduloint32 r4 = r3 ==(-((-A & 0xFFFFFFFF) % (B & 0xFFFFFFFF)) & 0xFFFFFFFF) // check resultint32 r0 |= 4, mask = r4 // set bit 2 if successint64 r1 <<= 32int64 r1 |= r2int64 r2 <<= 32%A1 = (A << 32) + Aint64 r1 = A1int64 r2 = Bint64 r3 = r1 % r2 // int64 modulo%modulo1 = -(-A1 % B)int64 r4 = r3 == modulo1 // check resultint32 r0 |= 8, mask = r4 // set bit 3 if successint64 r1 = address [textremsigned]call print_result// Test rem, unsignedint32 r1 = Aint32 r2 = Buint8 r3 = r1 % r2 // int8 moduloint32 r0 = r3 == (A & 0xFF) % (B & 0xFF) // check result, set bit 0 if successuint16 r3 = r1 % r2 // int16 moduloint32 r4 = r3 == (A & 0xFFFF) % (B & 0xFFFF) // check resultint32 r0 |= 2, mask = r4 // set bit 1 if successuint32 r3 = r1 % r2 // int32 moduloint32 r4 = r3 == (A & 0xFFFFFFFF) % (B & 0xFFFFFFFF) // check resultint32 r0 |= 4, mask = r4 // set bit 2 if successint64 r1 = A1uint64 r3 = r1 % r2 // int64 modulo%modulo1 = 0x177FFA97int64 r4 = r3 == modulo1 // check resultint32 r0 |= 8, mask = r4 // set bit 3 if successint64 r1 = address [textremunsigned]call print_resultint64 r0 = address [press_run] // press run to continuecall _printf // print stringbreakpoint// Test max signedint32 r1 = Aint32 r2 = Bint8 r3 = max(r1, r2) // int8 maxint32 r0 = r3 == (B & 0xFF) // check result, set bit 0 if successint16 r3 = max(r1, r2) // int16 maxint32 r4 = r3 == (B & 0xFFFF) // check resultint32 r0 |= 2, mask = r4 // set bit 1 if successint32 r3 = max(r2, r1) // int32 maxint32 r4 = r3 == (B & 0xFFFFFFFF) // check resultint32 r0 |= 4, mask = r4 // set bit 2 if successint64 r1 <<= 32int64 r2 <<= 32int64 r3 = max(r1, r2) // int64 maxint64 r3 >>= 32int64 r4 = r3 == B // check resultint32 r0 |= 8, mask = r4 // set bit 3 if successint64 r1 = address [textmaxsigned]call print_result// Test max unsignedint32 r1 = Aint32 r2 = Buint8 r3 = max(r1, r2) // int8 maxint32 r0 = r3 == (A & 0xFF) // check result, set bit 0 if successuint16 r3 = max(r1, r2) // int16 maxint32 r4 = r3 == (A & 0xFFFF) // check resultint32 r0 |= 2, mask = r4 // set bit 1 if successuint32 r3 = max(r2, r1) // int32 maxint32 r4 = r3 == (A & 0xFFFFFFFF) // check resultint32 r0 |= 4, mask = r4 // set bit 2 if successint64 r1 <<= 32int64 r2 <<= 32uint64 r3 = max(r1, r2) // int64 maxuint64 r3 >>= 32int64 r4 = r3 == A // check resultint32 r0 |= 8, mask = r4 // set bit 3 if successint64 r1 = address [textmaxunsigned]call print_result// Test min signedint32 r1 = Aint32 r2 = Bint8 r3 = min(r1, r2) // int8 maxint32 r0 = r3 == (A & 0xFF) // check result, set bit 0 if successint16 r3 = min(r1, r2) // int16 maxint32 r4 = r3 == (A & 0xFFFF) // check resultint32 r0 |= 2, mask = r4 // set bit 1 if successint32 r3 = min(r2, r1) // int32 maxint32 r4 = r3 == (A & 0xFFFFFFFF) // check resultint32 r0 |= 4, mask = r4 // set bit 2 if successint64 r1 <<= 32int64 r2 <<= 32int64 r3 = min(r1, r2) // int64 maxint64 r3 >>= 32int64 r4 = r3 == A - (1 << 32) // check resultint32 r0 |= 8, mask = r4 // set bit 3 if successint64 r1 = address [textminsigned]call print_result// Test min unsignedint32 r1 = Aint32 r2 = Buint8 r3 = min(r1, r2) // int8 maxint32 r0 = r3 == (B & 0xFF) // check result, set bit 0 if successuint16 r3 = min(r1, r2) // int16 maxint32 r4 = r3 == (B & 0xFFFF) // check resultint32 r0 |= 2, mask = r4 // set bit 1 if successuint32 r3 = min(r2, r1) // int32 maxint32 r4 = r3 == (B & 0xFFFFFFFF) // check resultint32 r0 |= 4, mask = r4 // set bit 2 if successint64 r1 <<= 32int64 r2 <<= 32uint64 r3 = min(r1, r2) // int64 maxuint64 r3 >>= 32int64 r4 = r3 == B // check resultint32 r0 |= 8, mask = r4 // set bit 3 if successint64 r1 = address [textminunsigned]call print_result// Test compare signedint32 r1 = Aint32 r2 = Bint8 r0 = r1 < r2 // int8 compareint8 r0 = r2 > r1 && r0 // int8 compare && last resultint16 r3 = r1 <= r2 // int16 compareint16 r3 = r1 != r2 && r3 // int16 compareint r0 |= 2, mask = r3 // set bit 1 if successint32 r3 = r1 <= r2 // int32 compareint32 r3 = r2 >= r1 && r3 // int32 compareint32 r0 |= 4, mask = r3 // set bit 2 if successint64 r1 <<= 32int64 r2 <<= 32int64 r3 = r1 < r2 // int64 compareint64 r3 = r2 > r1 && r3 // int64 compareint64 r3 = r2 == r2 && r3 // int64 compareint64 r0 |= 8, mask = r3 // set bit 3 if successint64 r1 = address [textcompsigned]call print_result// Test compare unsignedint32 r1 = Aint32 r2 = Buint8 r0 = r1 > r2 // int8 compareuint8 r0 = r2 < r1 && r0 // int8 compare && last resultuint16 r3 = r1 >= r2 // int16 compareuint16 r3 = r1 != r2 && r3 // int16 compareint r0 |= 2, mask = r3 // set bit 1 if successuint32 r3 = r1 >= r2 // int32 compareuint32 r3 = r2 <= r1 && r3 // int32 compareint32 r0 |= 4, mask = r3 // set bit 2 if successint64 r1 <<= 32int64 r2 <<= 32uint64 r3 = r1 > r2 // int64 compareuint64 r3 = r2 < r1 && r3 // int64 compareuint64 r3 = r2 == r2 && r3 // int64 compareint64 r0 |= 8, mask = r3 // set bit 3 if successint64 r1 = address [textcompunsigned]call print_result// Test absint8 r1 = -20int8 r3 = abs(r1, 0) // int8 absint r0 = r3 == 20int8 r1 = 0x80int8 r3 = abs(r1, 0) // overflow wrap aroundint r0 = r3 == r1 && r0int8 r3 = abs(r1, 1) // overflow saturatesint r0 = r3 == 0x7F && r0int8 r3 = abs(r1, 2) // overflow gives zeroint r0 = r3 == 0 && r0int16 r1 = 0x7fffint16 r2 = abs(r1,0) // int16 absint r3 = r2 == r1int16 r2 = r1 + 1 // 0x8000int16 r2 = abs(r2, 1) // overflow saturatesint r3 = r2 == r1 && r3int r0 |= 2, mask = r3 // set bit 1 if successint32 r1 = 0x7fffffffint32 r2 = abs(r1, 0) // int32 absint r3 = r2 == r1int32 r2 = r1 + 1 // 0x80000000int32 r2 = abs(r2, 1) // overflow saturatesint r3 = r2 == r1 && r3int r0 |= 4, mask = r3 // set bit 2 if successint64 r1 = -12345 - (1 << 40)int64 r2 = abs(r1, 0) // int64 absint64 r3 = r2 == 12345 + (1 << 40)int64 r2 >>= 32int32 r3 = r2 == 1 << 8 && r3int r0 |= 8, mask = r3 // set bit 3 if successint64 r1 = address [textabs]call print_result// Test sign_extendint32 r1 = 0x1234feint8 r2 = sign_extend(r1) // sign extend from 8 bits to 64 bitsint64 r0 = r2 == -2int16 r2 = sign_extend(r1) // sign extend from 16 bits to 64 bitsint64 r3 = r2 == 0x34feint16 r2 = sign_extend(-20) // sign extend from 16 bits to 64 bitsint64 r3 = (r2 == -20) && r3int r0 |= 2, mask = r3 // set bit 1 if successint32 r1 = -r1int32 r2 = sign_extend(r1) // sign extend from 32 bits to 64 bitsint64 r3 = r2 == -0x1234feint r0 |= 4, mask = r3 // set bit 2 if successint r0 |= 1 << 7 // suppress 'N' for 64 bitsint64 r1 = address [textsignx]call print_result// Test roundp2int32 r1 = 0x1234feint8 r2 = roundp2(r1, 0) // 8 bit round down to power of 2int r0 = r2 == 0x80int8 r2 = roundp2(r1, 0x21) // 8 bit round up to power of 2int8 r0 = (r2 == -1) && r0 // overflowint16 r2 = roundp2(r1, 0) // 16 bit round down to power of 2int r3 = r2 == 0x2000int16 r2 = roundp2(r1, 1) // 16 bit round up to power of 2int r3 = (r2 == 0x4000) && r3int r0 |= 2, mask = r3 // set bit 1 if successint32 r2 = roundp2(r1, 0) // 32 bit round down to power of 2int32 r3 = r2 == 0x100000int32 r2 = roundp2(r1, 1) // 32 bit round up to power of 2int32 r3 = (r2 == 0x200000) && r3int32 r1 <<= 11int32 r2 = roundp2(r1, 1) // 32 bit round up overflowint32 r3 = (r2 == 0) && r3int32 r2 = roundp2(r2, 0x10) // 32 bit down zeroint32 r3 = (r2 == -1) && r3int r0 |= 4, mask = r3 // set bit 2 if successint64 r2 = roundp2(r1, 0) // 64 bit round down to power of 2uint64 r3 = r2 == 0x80000000int64 r2 = roundp2(r1, 1) // 64 bit round up to power of 2int64 r2 >>= 32int64 r3 = r2 == 1 && r3int r0 |= 8, mask = r3 // set bit 3 if successint64 r1 = address [textroundp2]call print_result// Test add_add%A = 0xcc5d8e9f%B = 0x1c1d1e18%C = 0x538e0c17int r1 = Aint r2 = Bint r3 = Cint8 r4 = r1 + r2 + r3 // int8 add_addint r0 = r4 == (A + B + C & 0xFF)int16 r4 = -r1 + r2 + r3 // int16 add_addint r5 = r4 == (- A + B + C & 0xFFFF)int r0 |= 2, mask = r5 // set bit 1 if successint32 r4 = r1 - r2 + r3 // int32 add_addint r5 = r4 == (A - B + C & 0xFFFFFFFF)int r0 |= 4, mask = r5 // set bit 2 if successint64 r2 <<= 32int64 r4 = r1 + r2 - r3 // int64 add_addint64 r5 = r4 == A + (B << 32) - Cint64 r4 >>= 32int32 r5 = r4 == (A - C >> 32) + B && r5int r0 |= 8, mask = r5 // set bit 3 if successint64 r1 = address [textaddadd]call print_result// Test mul_addint r1 = Aint r2 = Bint r3 = Cint8 r4 = r1 * r2 + r3 // int8 mul_addint r0 = r4 == ((A * B + C) & 0xFF)int16 r4 = -r1 * r2 + r3 // int16 mul_addint r5 = r4 == (-A * B + C & 0xFFFF)int r0 |= 2, mask = r5 // set bit 1 if successint32 r4 = r1 * 1234 - r3 // int32 mul_add2int r5 = r4 == (A * 1234 - C & 0xFFFFFFFF )int r0 |= 4, mask = r5 // set bit 2 if successint64 r4 = r1 * r2 - (123 << 4) // int64 mul_addint64 r5 = r4 == A * B - (123 << 4)int r0 |= 8, mask = r5 // set bit 3 if successint64 r1 = address [textmuladd]call print_result// Test sign_extend_addint r1 = Aint r2 = Bint8 r4 = sign_extend_add(r2, r1)int64 r0 = r4 == B + (A & 0xFF) - 0x100int16 r4 = sign_extend_add(r2, r1), options = 2int64 r5 = r4 == B + ((A & 0xFFFF) << 2) - (0x10000 << 2)int r0 |= 2, mask = r5 // set bit 1 if successint32 r4 = sign_extend_add(r1, r2), options = 3int64 r5 = r4 == A + ((B & 0xFFFFFFFF) << 3) // - (0x100000000 << 3)int r0 |= 4, mask = r5 // set bit 2 if successint64 r4 = sign_extend_add(r2, r1), options = 3int64 r5 = r4 == B + (A << 3)uint64 r4 >>= 3int32 r5 = r4 == (B >> 3) + A && r5int r0 |= 8, mask = r5 // set bit 3 if successint64 r1 = address [textsignexadd]call print_resultint64 r0 = address [newline]call _putsbreakpointint r0 = 0 // program return valuereturn // return from main_main endprint_result function// Print the result of a single test. Parameters:// r0: 4 bits indicating success for for int8, int16, int32, int64. 4 additional bits for printing space (instruction not supported)// r1: pointer to text string// set up parameter list for printfint64 sp -= 5*8 // allocate space on stackint64 [sp] = r1 // textint r4 = 'N'int r2 = r0 ? 'Y' : r4 // Y or Nint r5 = test_bit(r0, 4)int r2 = r5 ? ' ' : r2 // Y/N or spaceint64 [sp+0x08] = r2 // result for int8int r0 >>= 1int r2 = r0 ? 'Y' : r4 // Y or Nint r5 = test_bit(r0, 4)int r2 = r5 ? ' ' : r2 // Y/N or spaceint64 [sp+0x10] = r2 // result for int16int r0 >>= 1int r2 = r0 ? 'Y' : r4 // Y or Nint r5 = test_bit(r0, 4)int r2 = r5 ? ' ' : r2 // Y/N or spaceint64 [sp+0x18] = r2 // result for int32int r0 >>= 1int r2 = r0 ? 'Y' : r4 // Y or Nint r5 = test_bit(r0, 4)int r2 = r5 ? ' ' : r2 // Y/N or spaceint64 [sp+0x20] = r2 // result for int64int64 r0 = address [format1]int64 r1 = spcall _printfint64 sp += 5*8 // release parameter listreturnprint_result endcode end