test-arm.c 61 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363
  1. // SPDX-License-Identifier: GPL-2.0-only
  2. /*
  3. * arch/arm/kernel/kprobes-test-arm.c
  4. *
  5. * Copyright (C) 2011 Jon Medhurst <[email protected]>.
  6. */
  7. #include <linux/kernel.h>
  8. #include <linux/module.h>
  9. #include <asm/system_info.h>
  10. #include <asm/opcodes.h>
  11. #include <asm/probes.h>
  12. #include "test-core.h"
  13. #define TEST_ISA "32"
  14. #define TEST_ARM_TO_THUMB_INTERWORK_R(code1, reg, val, code2) \
  15. TESTCASE_START(code1 #reg code2) \
  16. TEST_ARG_REG(reg, val) \
  17. TEST_ARG_REG(14, 99f) \
  18. TEST_ARG_END("") \
  19. "50: nop \n\t" \
  20. "1: "code1 #reg code2" \n\t" \
  21. " bx lr \n\t" \
  22. ".thumb \n\t" \
  23. "3: adr lr, 2f \n\t" \
  24. " bx lr \n\t" \
  25. ".arm \n\t" \
  26. "2: nop \n\t" \
  27. TESTCASE_END
  28. #define TEST_ARM_TO_THUMB_INTERWORK_P(code1, reg, val, code2) \
  29. TESTCASE_START(code1 #reg code2) \
  30. TEST_ARG_PTR(reg, val) \
  31. TEST_ARG_REG(14, 99f) \
  32. TEST_ARG_MEM(15, 3f+1) \
  33. TEST_ARG_END("") \
  34. "50: nop \n\t" \
  35. "1: "code1 #reg code2" \n\t" \
  36. " bx lr \n\t" \
  37. ".thumb \n\t" \
  38. "3: adr lr, 2f \n\t" \
  39. " bx lr \n\t" \
  40. ".arm \n\t" \
  41. "2: nop \n\t" \
  42. TESTCASE_END
  43. void kprobe_arm_test_cases(void)
  44. {
  45. kprobe_test_flags = 0;
  46. TEST_GROUP("Data-processing (register), (register-shifted register), (immediate)")
  47. #define _DATA_PROCESSING_DNM(op,s,val) \
  48. TEST_RR( op s "eq r0, r",1, VAL1,", r",2, val, "") \
  49. TEST_RR( op s "ne r1, r",1, VAL1,", r",2, val, ", lsl #3") \
  50. TEST_RR( op s "cs r2, r",3, VAL1,", r",2, val, ", lsr #4") \
  51. TEST_RR( op s "cc r3, r",3, VAL1,", r",2, val, ", asr #5") \
  52. TEST_RR( op s "mi r4, r",5, VAL1,", r",2, N(val),", asr #6") \
  53. TEST_RR( op s "pl r5, r",5, VAL1,", r",2, val, ", ror #7") \
  54. TEST_RR( op s "vs r6, r",7, VAL1,", r",2, val, ", rrx") \
  55. TEST_R( op s "vc r6, r",7, VAL1,", pc, lsl #3") \
  56. TEST_R( op s "vc r6, r",7, VAL1,", sp, lsr #4") \
  57. TEST_R( op s "vc r6, pc, r",7, VAL1,", asr #5") \
  58. TEST_R( op s "vc r6, sp, r",7, VAL1,", ror #6") \
  59. TEST_RRR( op s "hi r8, r",9, VAL1,", r",14,val, ", lsl r",0, 3,"")\
  60. TEST_RRR( op s "ls r9, r",9, VAL1,", r",14,val, ", lsr r",7, 4,"")\
  61. TEST_RRR( op s "ge r10, r",11,VAL1,", r",14,val, ", asr r",7, 5,"")\
  62. TEST_RRR( op s "lt r11, r",11,VAL1,", r",14,N(val),", asr r",7, 6,"")\
  63. TEST_RR( op s "gt r12, r13" ", r",14,val, ", ror r",14,7,"")\
  64. TEST_RR( op s "le r14, r",0, val, ", r13" ", lsl r",14,8,"")\
  65. TEST_R( op s "eq r0, r",11,VAL1,", #0xf5") \
  66. TEST_R( op s "ne r11, r",0, VAL1,", #0xf5000000") \
  67. TEST_R( op s " r7, r",8, VAL2,", #0x000af000") \
  68. TEST( op s " r4, pc" ", #0x00005a00")
  69. #define DATA_PROCESSING_DNM(op,val) \
  70. _DATA_PROCESSING_DNM(op,"",val) \
  71. _DATA_PROCESSING_DNM(op,"s",val)
  72. #define DATA_PROCESSING_NM(op,val) \
  73. TEST_RR( op "ne r",1, VAL1,", r",2, val, "") \
  74. TEST_RR( op "eq r",1, VAL1,", r",2, val, ", lsl #3") \
  75. TEST_RR( op "cc r",3, VAL1,", r",2, val, ", lsr #4") \
  76. TEST_RR( op "cs r",3, VAL1,", r",2, val, ", asr #5") \
  77. TEST_RR( op "pl r",5, VAL1,", r",2, N(val),", asr #6") \
  78. TEST_RR( op "mi r",5, VAL1,", r",2, val, ", ror #7") \
  79. TEST_RR( op "vc r",7, VAL1,", r",2, val, ", rrx") \
  80. TEST_R ( op "vs r",7, VAL1,", pc, lsl #3") \
  81. TEST_R ( op "vs r",7, VAL1,", sp, lsr #4") \
  82. TEST_R( op "vs pc, r",7, VAL1,", asr #5") \
  83. TEST_R( op "vs sp, r",7, VAL1,", ror #6") \
  84. TEST_RRR( op "ls r",9, VAL1,", r",14,val, ", lsl r",0, 3,"") \
  85. TEST_RRR( op "hi r",9, VAL1,", r",14,val, ", lsr r",7, 4,"") \
  86. TEST_RRR( op "lt r",11,VAL1,", r",14,val, ", asr r",7, 5,"") \
  87. TEST_RRR( op "ge r",11,VAL1,", r",14,N(val),", asr r",7, 6,"") \
  88. TEST_RR( op "le r13" ", r",14,val, ", ror r",14,7,"") \
  89. TEST_RR( op "gt r",0, val, ", r13" ", lsl r",14,8,"") \
  90. TEST_R( op "eq r",11,VAL1,", #0xf5") \
  91. TEST_R( op "ne r",0, VAL1,", #0xf5000000") \
  92. TEST_R( op " r",8, VAL2,", #0x000af000")
  93. #define _DATA_PROCESSING_DM(op,s,val) \
  94. TEST_R( op s "eq r0, r",1, val, "") \
  95. TEST_R( op s "ne r1, r",1, val, ", lsl #3") \
  96. TEST_R( op s "cs r2, r",3, val, ", lsr #4") \
  97. TEST_R( op s "cc r3, r",3, val, ", asr #5") \
  98. TEST_R( op s "mi r4, r",5, N(val),", asr #6") \
  99. TEST_R( op s "pl r5, r",5, val, ", ror #7") \
  100. TEST_R( op s "vs r6, r",10,val, ", rrx") \
  101. TEST( op s "vs r7, pc, lsl #3") \
  102. TEST( op s "vs r7, sp, lsr #4") \
  103. TEST_RR( op s "vc r8, r",7, val, ", lsl r",0, 3,"") \
  104. TEST_RR( op s "hi r9, r",9, val, ", lsr r",7, 4,"") \
  105. TEST_RR( op s "ls r10, r",9, val, ", asr r",7, 5,"") \
  106. TEST_RR( op s "ge r11, r",11,N(val),", asr r",7, 6,"") \
  107. TEST_RR( op s "lt r12, r",11,val, ", ror r",14,7,"") \
  108. TEST_R( op s "gt r14, r13" ", lsl r",14,8,"") \
  109. TEST( op s "eq r0, #0xf5") \
  110. TEST( op s "ne r11, #0xf5000000") \
  111. TEST( op s " r7, #0x000af000") \
  112. TEST( op s " r4, #0x00005a00")
  113. #define DATA_PROCESSING_DM(op,val) \
  114. _DATA_PROCESSING_DM(op,"",val) \
  115. _DATA_PROCESSING_DM(op,"s",val)
  116. DATA_PROCESSING_DNM("and",0xf00f00ff)
  117. DATA_PROCESSING_DNM("eor",0xf00f00ff)
  118. DATA_PROCESSING_DNM("sub",VAL2)
  119. DATA_PROCESSING_DNM("rsb",VAL2)
  120. DATA_PROCESSING_DNM("add",VAL2)
  121. DATA_PROCESSING_DNM("adc",VAL2)
  122. DATA_PROCESSING_DNM("sbc",VAL2)
  123. DATA_PROCESSING_DNM("rsc",VAL2)
  124. DATA_PROCESSING_NM("tst",0xf00f00ff)
  125. DATA_PROCESSING_NM("teq",0xf00f00ff)
  126. DATA_PROCESSING_NM("cmp",VAL2)
  127. DATA_PROCESSING_NM("cmn",VAL2)
  128. DATA_PROCESSING_DNM("orr",0xf00f00ff)
  129. DATA_PROCESSING_DM("mov",VAL2)
  130. DATA_PROCESSING_DNM("bic",0xf00f00ff)
  131. DATA_PROCESSING_DM("mvn",VAL2)
  132. TEST("mov ip, sp") /* This has special case emulation code */
  133. TEST_SUPPORTED("mov pc, #0x1000");
  134. TEST_SUPPORTED("mov sp, #0x1000");
  135. TEST_SUPPORTED("cmp pc, #0x1000");
  136. TEST_SUPPORTED("cmp sp, #0x1000");
  137. /* Data-processing with PC and a shift count in a register */
  138. TEST_UNSUPPORTED(__inst_arm(0xe15c0f1e) " @ cmp r12, r14, asl pc")
  139. TEST_UNSUPPORTED(__inst_arm(0xe1a0cf1e) " @ mov r12, r14, asl pc")
  140. TEST_UNSUPPORTED(__inst_arm(0xe08caf1e) " @ add r10, r12, r14, asl pc")
  141. TEST_UNSUPPORTED(__inst_arm(0xe151021f) " @ cmp r1, pc, lsl r2")
  142. TEST_UNSUPPORTED(__inst_arm(0xe17f0211) " @ cmn pc, r1, lsl r2")
  143. TEST_UNSUPPORTED(__inst_arm(0xe1a0121f) " @ mov r1, pc, lsl r2")
  144. TEST_UNSUPPORTED(__inst_arm(0xe1a0f211) " @ mov pc, r1, lsl r2")
  145. TEST_UNSUPPORTED(__inst_arm(0xe042131f) " @ sub r1, r2, pc, lsl r3")
  146. TEST_UNSUPPORTED(__inst_arm(0xe1cf1312) " @ bic r1, pc, r2, lsl r3")
  147. TEST_UNSUPPORTED(__inst_arm(0xe081f312) " @ add pc, r1, r2, lsl r3")
  148. /* Data-processing with PC as a target and status registers updated */
  149. TEST_UNSUPPORTED("movs pc, r1")
  150. TEST_UNSUPPORTED(__inst_arm(0xe1b0f211) " @movs pc, r1, lsl r2")
  151. TEST_UNSUPPORTED("movs pc, #0x10000")
  152. TEST_UNSUPPORTED("adds pc, lr, r1")
  153. TEST_UNSUPPORTED(__inst_arm(0xe09ef211) " @adds pc, lr, r1, lsl r2")
  154. TEST_UNSUPPORTED("adds pc, lr, #4")
  155. /* Data-processing with SP as target */
  156. TEST("add sp, sp, #16")
  157. TEST("sub sp, sp, #8")
  158. TEST("bic sp, sp, #0x20")
  159. TEST("orr sp, sp, #0x20")
  160. TEST_PR( "add sp, r",10,0,", r",11,4,"")
  161. TEST_PRR("add sp, r",10,0,", r",11,4,", asl r",12,1,"")
  162. TEST_P( "mov sp, r",10,0,"")
  163. TEST_PR( "mov sp, r",10,0,", asl r",12,0,"")
  164. /* Data-processing with PC as target */
  165. TEST_BF( "add pc, pc, #2f-1b-8")
  166. TEST_BF_R ("add pc, pc, r",14,2f-1f-8,"")
  167. TEST_BF_R ("add pc, r",14,2f-1f-8,", pc")
  168. TEST_BF_R ("mov pc, r",0,2f,"")
  169. TEST_BF_R ("add pc, pc, r",14,(2f-1f-8)*2,", asr #1")
  170. TEST_BB( "sub pc, pc, #1b-2b+8")
  171. #if __LINUX_ARM_ARCH__ == 6 && !defined(CONFIG_CPU_V7)
  172. TEST_BB( "sub pc, pc, #1b-2b+8-2") /* UNPREDICTABLE before and after ARMv6 */
  173. #endif
  174. TEST_BB_R( "sub pc, pc, r",14, 1f-2f+8,"")
  175. TEST_BB_R( "rsb pc, r",14,1f-2f+8,", pc")
  176. TEST_R( "add pc, pc, r",10,-2,", asl #1")
  177. #ifdef CONFIG_THUMB2_KERNEL
  178. TEST_ARM_TO_THUMB_INTERWORK_R("add pc, pc, r",0,3f-1f-8+1,"")
  179. TEST_ARM_TO_THUMB_INTERWORK_R("sub pc, r",0,3f+8+1,", #8")
  180. #endif
  181. TEST_GROUP("Miscellaneous instructions")
  182. TEST_RMASKED("mrs r",0,~PSR_IGNORE_BITS,", cpsr")
  183. TEST_RMASKED("mrspl r",7,~PSR_IGNORE_BITS,", cpsr")
  184. TEST_RMASKED("mrs r",14,~PSR_IGNORE_BITS,", cpsr")
  185. TEST_UNSUPPORTED(__inst_arm(0xe10ff000) " @ mrs r15, cpsr")
  186. TEST_UNSUPPORTED("mrs r0, spsr")
  187. TEST_UNSUPPORTED("mrs lr, spsr")
  188. TEST_UNSUPPORTED("msr cpsr, r0")
  189. TEST_UNSUPPORTED("msr cpsr_f, lr")
  190. TEST_UNSUPPORTED("msr spsr, r0")
  191. #if __LINUX_ARM_ARCH__ >= 5 || \
  192. (__LINUX_ARM_ARCH__ == 4 && !defined(CONFIG_CPU_32v4))
  193. TEST_BF_R("bx r",0,2f,"")
  194. TEST_BB_R("bx r",7,2f,"")
  195. TEST_BF_R("bxeq r",14,2f,"")
  196. #endif
  197. #if __LINUX_ARM_ARCH__ >= 5
  198. TEST_R("clz r0, r",0, 0x0,"")
  199. TEST_R("clzeq r7, r",14,0x1,"")
  200. TEST_R("clz lr, r",7, 0xffffffff,"")
  201. TEST( "clz r4, sp")
  202. TEST_UNSUPPORTED(__inst_arm(0x016fff10) " @ clz pc, r0")
  203. TEST_UNSUPPORTED(__inst_arm(0x016f0f1f) " @ clz r0, pc")
  204. #if __LINUX_ARM_ARCH__ >= 6
  205. TEST_UNSUPPORTED("bxj r0")
  206. #endif
  207. TEST_BF_R("blx r",0,2f,"")
  208. TEST_BB_R("blx r",7,2f,"")
  209. TEST_BF_R("blxeq r",14,2f,"")
  210. TEST_UNSUPPORTED(__inst_arm(0x0120003f) " @ blx pc")
  211. TEST_RR( "qadd r0, r",1, VAL1,", r",2, VAL2,"")
  212. TEST_RR( "qaddvs lr, r",9, VAL2,", r",8, VAL1,"")
  213. TEST_R( "qadd lr, r",9, VAL2,", r13")
  214. TEST_RR( "qsub r0, r",1, VAL1,", r",2, VAL2,"")
  215. TEST_RR( "qsubvs lr, r",9, VAL2,", r",8, VAL1,"")
  216. TEST_R( "qsub lr, r",9, VAL2,", r13")
  217. TEST_RR( "qdadd r0, r",1, VAL1,", r",2, VAL2,"")
  218. TEST_RR( "qdaddvs lr, r",9, VAL2,", r",8, VAL1,"")
  219. TEST_R( "qdadd lr, r",9, VAL2,", r13")
  220. TEST_RR( "qdsub r0, r",1, VAL1,", r",2, VAL2,"")
  221. TEST_RR( "qdsubvs lr, r",9, VAL2,", r",8, VAL1,"")
  222. TEST_R( "qdsub lr, r",9, VAL2,", r13")
  223. TEST_UNSUPPORTED(__inst_arm(0xe101f050) " @ qadd pc, r0, r1")
  224. TEST_UNSUPPORTED(__inst_arm(0xe121f050) " @ qsub pc, r0, r1")
  225. TEST_UNSUPPORTED(__inst_arm(0xe141f050) " @ qdadd pc, r0, r1")
  226. TEST_UNSUPPORTED(__inst_arm(0xe161f050) " @ qdsub pc, r0, r1")
  227. TEST_UNSUPPORTED(__inst_arm(0xe16f2050) " @ qdsub r2, r0, pc")
  228. TEST_UNSUPPORTED(__inst_arm(0xe161205f) " @ qdsub r2, pc, r1")
  229. TEST_UNSUPPORTED("bkpt 0xffff")
  230. TEST_UNSUPPORTED("bkpt 0x0000")
  231. TEST_UNSUPPORTED(__inst_arm(0xe1600070) " @ smc #0")
  232. TEST_GROUP("Halfword multiply and multiply-accumulate")
  233. TEST_RRR( "smlabb r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
  234. TEST_RRR( "smlabbge r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
  235. TEST_RR( "smlabb lr, r",1, VAL2,", r",2, VAL3,", r13")
  236. TEST_UNSUPPORTED(__inst_arm(0xe10f3281) " @ smlabb pc, r1, r2, r3")
  237. TEST_RRR( "smlatb r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
  238. TEST_RRR( "smlatbge r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
  239. TEST_RR( "smlatb lr, r",1, VAL2,", r",2, VAL3,", r13")
  240. TEST_UNSUPPORTED(__inst_arm(0xe10f32a1) " @ smlatb pc, r1, r2, r3")
  241. TEST_RRR( "smlabt r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
  242. TEST_RRR( "smlabtge r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
  243. TEST_RR( "smlabt lr, r",1, VAL2,", r",2, VAL3,", r13")
  244. TEST_UNSUPPORTED(__inst_arm(0xe10f32c1) " @ smlabt pc, r1, r2, r3")
  245. TEST_RRR( "smlatt r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
  246. TEST_RRR( "smlattge r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
  247. TEST_RR( "smlatt lr, r",1, VAL2,", r",2, VAL3,", r13")
  248. TEST_UNSUPPORTED(__inst_arm(0xe10f32e1) " @ smlatt pc, r1, r2, r3")
  249. TEST_RRR( "smlawb r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
  250. TEST_RRR( "smlawbge r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
  251. TEST_RR( "smlawb lr, r",1, VAL2,", r",2, VAL3,", r13")
  252. TEST_UNSUPPORTED(__inst_arm(0xe12f3281) " @ smlawb pc, r1, r2, r3")
  253. TEST_RRR( "smlawt r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
  254. TEST_RRR( "smlawtge r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
  255. TEST_RR( "smlawt lr, r",1, VAL2,", r",2, VAL3,", r13")
  256. TEST_UNSUPPORTED(__inst_arm(0xe12f32c1) " @ smlawt pc, r1, r2, r3")
  257. TEST_UNSUPPORTED(__inst_arm(0xe12032cf) " @ smlawt r0, pc, r2, r3")
  258. TEST_UNSUPPORTED(__inst_arm(0xe1203fc1) " @ smlawt r0, r1, pc, r3")
  259. TEST_UNSUPPORTED(__inst_arm(0xe120f2c1) " @ smlawt r0, r1, r2, pc")
  260. TEST_RR( "smulwb r0, r",1, VAL1,", r",2, VAL2,"")
  261. TEST_RR( "smulwbge r7, r",8, VAL3,", r",9, VAL1,"")
  262. TEST_R( "smulwb lr, r",1, VAL2,", r13")
  263. TEST_UNSUPPORTED(__inst_arm(0xe12f02a1) " @ smulwb pc, r1, r2")
  264. TEST_RR( "smulwt r0, r",1, VAL1,", r",2, VAL2,"")
  265. TEST_RR( "smulwtge r7, r",8, VAL3,", r",9, VAL1,"")
  266. TEST_R( "smulwt lr, r",1, VAL2,", r13")
  267. TEST_UNSUPPORTED(__inst_arm(0xe12f02e1) " @ smulwt pc, r1, r2")
  268. TEST_RRRR( "smlalbb r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
  269. TEST_RRRR( "smlalbble r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
  270. TEST_RRR( "smlalbb r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
  271. TEST_UNSUPPORTED(__inst_arm(0xe14f1382) " @ smlalbb pc, r1, r2, r3")
  272. TEST_UNSUPPORTED(__inst_arm(0xe141f382) " @ smlalbb r1, pc, r2, r3")
  273. TEST_RRRR( "smlaltb r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
  274. TEST_RRRR( "smlaltble r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
  275. TEST_RRR( "smlaltb r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
  276. TEST_UNSUPPORTED(__inst_arm(0xe14f13a2) " @ smlaltb pc, r1, r2, r3")
  277. TEST_UNSUPPORTED(__inst_arm(0xe141f3a2) " @ smlaltb r1, pc, r2, r3")
  278. TEST_RRRR( "smlalbt r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
  279. TEST_RRRR( "smlalbtle r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
  280. TEST_RRR( "smlalbt r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
  281. TEST_UNSUPPORTED(__inst_arm(0xe14f13c2) " @ smlalbt pc, r1, r2, r3")
  282. TEST_UNSUPPORTED(__inst_arm(0xe141f3c2) " @ smlalbt r1, pc, r2, r3")
  283. TEST_RRRR( "smlaltt r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
  284. TEST_RRRR( "smlalttle r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
  285. TEST_RRR( "smlaltt r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
  286. TEST_UNSUPPORTED(__inst_arm(0xe14f13e2) " @ smlalbb pc, r1, r2, r3")
  287. TEST_UNSUPPORTED(__inst_arm(0xe140f3e2) " @ smlalbb r0, pc, r2, r3")
  288. TEST_UNSUPPORTED(__inst_arm(0xe14013ef) " @ smlalbb r0, r1, pc, r3")
  289. TEST_UNSUPPORTED(__inst_arm(0xe1401fe2) " @ smlalbb r0, r1, r2, pc")
  290. TEST_RR( "smulbb r0, r",1, VAL1,", r",2, VAL2,"")
  291. TEST_RR( "smulbbge r7, r",8, VAL3,", r",9, VAL1,"")
  292. TEST_R( "smulbb lr, r",1, VAL2,", r13")
  293. TEST_UNSUPPORTED(__inst_arm(0xe16f0281) " @ smulbb pc, r1, r2")
  294. TEST_RR( "smultb r0, r",1, VAL1,", r",2, VAL2,"")
  295. TEST_RR( "smultbge r7, r",8, VAL3,", r",9, VAL1,"")
  296. TEST_R( "smultb lr, r",1, VAL2,", r13")
  297. TEST_UNSUPPORTED(__inst_arm(0xe16f02a1) " @ smultb pc, r1, r2")
  298. TEST_RR( "smulbt r0, r",1, VAL1,", r",2, VAL2,"")
  299. TEST_RR( "smulbtge r7, r",8, VAL3,", r",9, VAL1,"")
  300. TEST_R( "smulbt lr, r",1, VAL2,", r13")
  301. TEST_UNSUPPORTED(__inst_arm(0xe16f02c1) " @ smultb pc, r1, r2")
  302. TEST_RR( "smultt r0, r",1, VAL1,", r",2, VAL2,"")
  303. TEST_RR( "smulttge r7, r",8, VAL3,", r",9, VAL1,"")
  304. TEST_R( "smultt lr, r",1, VAL2,", r13")
  305. TEST_UNSUPPORTED(__inst_arm(0xe16f02e1) " @ smultt pc, r1, r2")
  306. TEST_UNSUPPORTED(__inst_arm(0xe16002ef) " @ smultt r0, pc, r2")
  307. TEST_UNSUPPORTED(__inst_arm(0xe1600fe1) " @ smultt r0, r1, pc")
  308. #endif
  309. TEST_GROUP("Multiply and multiply-accumulate")
  310. TEST_RR( "mul r0, r",1, VAL1,", r",2, VAL2,"")
  311. TEST_RR( "mulls r7, r",8, VAL2,", r",9, VAL2,"")
  312. TEST_R( "mul lr, r",4, VAL3,", r13")
  313. TEST_UNSUPPORTED(__inst_arm(0xe00f0291) " @ mul pc, r1, r2")
  314. TEST_UNSUPPORTED(__inst_arm(0xe000029f) " @ mul r0, pc, r2")
  315. TEST_UNSUPPORTED(__inst_arm(0xe0000f91) " @ mul r0, r1, pc")
  316. TEST_RR( "muls r0, r",1, VAL1,", r",2, VAL2,"")
  317. TEST_RR( "mulsls r7, r",8, VAL2,", r",9, VAL2,"")
  318. TEST_R( "muls lr, r",4, VAL3,", r13")
  319. TEST_UNSUPPORTED(__inst_arm(0xe01f0291) " @ muls pc, r1, r2")
  320. TEST_RRR( "mla r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
  321. TEST_RRR( "mlahi r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
  322. TEST_RR( "mla lr, r",1, VAL2,", r",2, VAL3,", r13")
  323. TEST_UNSUPPORTED(__inst_arm(0xe02f3291) " @ mla pc, r1, r2, r3")
  324. TEST_RRR( "mlas r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
  325. TEST_RRR( "mlashi r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
  326. TEST_RR( "mlas lr, r",1, VAL2,", r",2, VAL3,", r13")
  327. TEST_UNSUPPORTED(__inst_arm(0xe03f3291) " @ mlas pc, r1, r2, r3")
  328. #if __LINUX_ARM_ARCH__ >= 6
  329. TEST_RR( "umaal r0, r1, r",2, VAL1,", r",3, VAL2,"")
  330. TEST_RR( "umaalls r7, r8, r",9, VAL2,", r",10, VAL1,"")
  331. TEST_R( "umaal lr, r12, r",11,VAL3,", r13")
  332. TEST_UNSUPPORTED(__inst_arm(0xe041f392) " @ umaal pc, r1, r2, r3")
  333. TEST_UNSUPPORTED(__inst_arm(0xe04f0392) " @ umaal r0, pc, r2, r3")
  334. TEST_UNSUPPORTED(__inst_arm(0xe0500090) " @ undef")
  335. TEST_UNSUPPORTED(__inst_arm(0xe05fff9f) " @ undef")
  336. #endif
  337. #if __LINUX_ARM_ARCH__ >= 7
  338. TEST_RRR( "mls r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
  339. TEST_RRR( "mlshi r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
  340. TEST_RR( "mls lr, r",1, VAL2,", r",2, VAL3,", r13")
  341. TEST_UNSUPPORTED(__inst_arm(0xe06f3291) " @ mls pc, r1, r2, r3")
  342. TEST_UNSUPPORTED(__inst_arm(0xe060329f) " @ mls r0, pc, r2, r3")
  343. TEST_UNSUPPORTED(__inst_arm(0xe0603f91) " @ mls r0, r1, pc, r3")
  344. TEST_UNSUPPORTED(__inst_arm(0xe060f291) " @ mls r0, r1, r2, pc")
  345. #endif
  346. TEST_UNSUPPORTED(__inst_arm(0xe0700090) " @ undef")
  347. TEST_UNSUPPORTED(__inst_arm(0xe07fff9f) " @ undef")
  348. TEST_RR( "umull r0, r1, r",2, VAL1,", r",3, VAL2,"")
  349. TEST_RR( "umullls r7, r8, r",9, VAL2,", r",10, VAL1,"")
  350. TEST_R( "umull lr, r12, r",11,VAL3,", r13")
  351. TEST_UNSUPPORTED(__inst_arm(0xe081f392) " @ umull pc, r1, r2, r3")
  352. TEST_UNSUPPORTED(__inst_arm(0xe08f1392) " @ umull r1, pc, r2, r3")
  353. TEST_RR( "umulls r0, r1, r",2, VAL1,", r",3, VAL2,"")
  354. TEST_RR( "umullsls r7, r8, r",9, VAL2,", r",10, VAL1,"")
  355. TEST_R( "umulls lr, r12, r",11,VAL3,", r13")
  356. TEST_UNSUPPORTED(__inst_arm(0xe091f392) " @ umulls pc, r1, r2, r3")
  357. TEST_UNSUPPORTED(__inst_arm(0xe09f1392) " @ umulls r1, pc, r2, r3")
  358. TEST_RRRR( "umlal r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
  359. TEST_RRRR( "umlalle r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
  360. TEST_RRR( "umlal r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
  361. TEST_UNSUPPORTED(__inst_arm(0xe0af1392) " @ umlal pc, r1, r2, r3")
  362. TEST_UNSUPPORTED(__inst_arm(0xe0a1f392) " @ umlal r1, pc, r2, r3")
  363. TEST_RRRR( "umlals r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
  364. TEST_RRRR( "umlalsle r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
  365. TEST_RRR( "umlals r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
  366. TEST_UNSUPPORTED(__inst_arm(0xe0bf1392) " @ umlals pc, r1, r2, r3")
  367. TEST_UNSUPPORTED(__inst_arm(0xe0b1f392) " @ umlals r1, pc, r2, r3")
  368. TEST_RR( "smull r0, r1, r",2, VAL1,", r",3, VAL2,"")
  369. TEST_RR( "smullls r7, r8, r",9, VAL2,", r",10, VAL1,"")
  370. TEST_R( "smull lr, r12, r",11,VAL3,", r13")
  371. TEST_UNSUPPORTED(__inst_arm(0xe0c1f392) " @ smull pc, r1, r2, r3")
  372. TEST_UNSUPPORTED(__inst_arm(0xe0cf1392) " @ smull r1, pc, r2, r3")
  373. TEST_RR( "smulls r0, r1, r",2, VAL1,", r",3, VAL2,"")
  374. TEST_RR( "smullsls r7, r8, r",9, VAL2,", r",10, VAL1,"")
  375. TEST_R( "smulls lr, r12, r",11,VAL3,", r13")
  376. TEST_UNSUPPORTED(__inst_arm(0xe0d1f392) " @ smulls pc, r1, r2, r3")
  377. TEST_UNSUPPORTED(__inst_arm(0xe0df1392) " @ smulls r1, pc, r2, r3")
  378. TEST_RRRR( "smlal r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
  379. TEST_RRRR( "smlalle r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
  380. TEST_RRR( "smlal r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
  381. TEST_UNSUPPORTED(__inst_arm(0xe0ef1392) " @ smlal pc, r1, r2, r3")
  382. TEST_UNSUPPORTED(__inst_arm(0xe0e1f392) " @ smlal r1, pc, r2, r3")
  383. TEST_RRRR( "smlals r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
  384. TEST_RRRR( "smlalsle r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
  385. TEST_RRR( "smlals r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
  386. TEST_UNSUPPORTED(__inst_arm(0xe0ff1392) " @ smlals pc, r1, r2, r3")
  387. TEST_UNSUPPORTED(__inst_arm(0xe0f0f392) " @ smlals r0, pc, r2, r3")
  388. TEST_UNSUPPORTED(__inst_arm(0xe0f0139f) " @ smlals r0, r1, pc, r3")
  389. TEST_UNSUPPORTED(__inst_arm(0xe0f01f92) " @ smlals r0, r1, r2, pc")
  390. TEST_GROUP("Synchronization primitives")
  391. #if __LINUX_ARM_ARCH__ < 6
  392. TEST_RP("swp lr, r",7,VAL2,", [r",8,0,"]")
  393. TEST_R( "swpvs r0, r",1,VAL1,", [sp]")
  394. TEST_RP("swp sp, r",14,VAL2,", [r",12,13*4,"]")
  395. #else
  396. TEST_UNSUPPORTED(__inst_arm(0xe108e097) " @ swp lr, r7, [r8]")
  397. TEST_UNSUPPORTED(__inst_arm(0x610d0091) " @ swpvs r0, r1, [sp]")
  398. TEST_UNSUPPORTED(__inst_arm(0xe10cd09e) " @ swp sp, r14 [r12]")
  399. #endif
  400. TEST_UNSUPPORTED(__inst_arm(0xe102f091) " @ swp pc, r1, [r2]")
  401. TEST_UNSUPPORTED(__inst_arm(0xe102009f) " @ swp r0, pc, [r2]")
  402. TEST_UNSUPPORTED(__inst_arm(0xe10f0091) " @ swp r0, r1, [pc]")
  403. #if __LINUX_ARM_ARCH__ < 6
  404. TEST_RP("swpb lr, r",7,VAL2,", [r",8,0,"]")
  405. TEST_R( "swpbvs r0, r",1,VAL1,", [sp]")
  406. #else
  407. TEST_UNSUPPORTED(__inst_arm(0xe148e097) " @ swpb lr, r7, [r8]")
  408. TEST_UNSUPPORTED(__inst_arm(0x614d0091) " @ swpvsb r0, r1, [sp]")
  409. #endif
  410. TEST_UNSUPPORTED(__inst_arm(0xe142f091) " @ swpb pc, r1, [r2]")
  411. TEST_UNSUPPORTED(__inst_arm(0xe1100090)) /* Unallocated space */
  412. TEST_UNSUPPORTED(__inst_arm(0xe1200090)) /* Unallocated space */
  413. TEST_UNSUPPORTED(__inst_arm(0xe1300090)) /* Unallocated space */
  414. TEST_UNSUPPORTED(__inst_arm(0xe1500090)) /* Unallocated space */
  415. TEST_UNSUPPORTED(__inst_arm(0xe1600090)) /* Unallocated space */
  416. TEST_UNSUPPORTED(__inst_arm(0xe1700090)) /* Unallocated space */
  417. #if __LINUX_ARM_ARCH__ >= 6
  418. TEST_UNSUPPORTED("ldrex r2, [sp]")
  419. #endif
  420. #if (__LINUX_ARM_ARCH__ >= 7) || defined(CONFIG_CPU_32v6K)
  421. TEST_UNSUPPORTED("strexd r0, r2, r3, [sp]")
  422. TEST_UNSUPPORTED("ldrexd r2, r3, [sp]")
  423. TEST_UNSUPPORTED("strexb r0, r2, [sp]")
  424. TEST_UNSUPPORTED("ldrexb r2, [sp]")
  425. TEST_UNSUPPORTED("strexh r0, r2, [sp]")
  426. TEST_UNSUPPORTED("ldrexh r2, [sp]")
  427. #endif
  428. TEST_GROUP("Extra load/store instructions")
  429. TEST_RPR( "strh r",0, VAL1,", [r",1, 48,", -r",2, 24,"]")
  430. TEST_RPR( "strheq r",14,VAL2,", [r",11,0, ", r",12, 48,"]")
  431. TEST_UNSUPPORTED( "strheq r14, [r13, r12]")
  432. TEST_UNSUPPORTED( "strheq r14, [r12, r13]")
  433. TEST_RPR( "strh r",1, VAL1,", [r",2, 24,", r",3, 48,"]!")
  434. TEST_RPR( "strhne r",12,VAL2,", [r",11,48,", -r",10,24,"]!")
  435. TEST_RPR( "strh r",2, VAL1,", [r",3, 24,"], r",4, 48,"")
  436. TEST_RPR( "strh r",10,VAL2,", [r",9, 48,"], -r",11,24,"")
  437. TEST_UNSUPPORTED(__inst_arm(0xe1afc0ba) " @ strh r12, [pc, r10]!")
  438. TEST_UNSUPPORTED(__inst_arm(0xe089f0bb) " @ strh pc, [r9], r11")
  439. TEST_UNSUPPORTED(__inst_arm(0xe089a0bf) " @ strh r10, [r9], pc")
  440. TEST_PR( "ldrh r0, [r",0, 48,", -r",2, 24,"]")
  441. TEST_PR( "ldrhcs r14, [r",13,0, ", r",12, 48,"]")
  442. TEST_PR( "ldrh r1, [r",2, 24,", r",3, 48,"]!")
  443. TEST_PR( "ldrhcc r12, [r",11,48,", -r",10,24,"]!")
  444. TEST_PR( "ldrh r2, [r",3, 24,"], r",4, 48,"")
  445. TEST_PR( "ldrh r10, [r",9, 48,"], -r",11,24,"")
  446. TEST_UNSUPPORTED(__inst_arm(0xe1bfc0ba) " @ ldrh r12, [pc, r10]!")
  447. TEST_UNSUPPORTED(__inst_arm(0xe099f0bb) " @ ldrh pc, [r9], r11")
  448. TEST_UNSUPPORTED(__inst_arm(0xe099a0bf) " @ ldrh r10, [r9], pc")
  449. TEST_RP( "strh r",0, VAL1,", [r",1, 24,", #-2]")
  450. TEST_RP( "strhmi r",14,VAL2,", [r",13,0, ", #2]")
  451. TEST_RP( "strh r",1, VAL1,", [r",2, 24,", #4]!")
  452. TEST_RP( "strhpl r",12,VAL2,", [r",11,24,", #-4]!")
  453. TEST_RP( "strh r",2, VAL1,", [r",3, 24,"], #48")
  454. TEST_RP( "strh r",10,VAL2,", [r",9, 64,"], #-48")
  455. TEST_RP( "strh r",3, VAL1,", [r",13,TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"]!")
  456. TEST_UNSUPPORTED("strh r3, [r13, #-"__stringify(MAX_STACK_SIZE)"-8]!")
  457. TEST_RP( "strh r",4, VAL1,", [r",14,TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"-8]!")
  458. TEST_UNSUPPORTED(__inst_arm(0xe1efc3b0) " @ strh r12, [pc, #48]!")
  459. TEST_UNSUPPORTED(__inst_arm(0xe0c9f3b0) " @ strh pc, [r9], #48")
  460. TEST_P( "ldrh r0, [r",0, 24,", #-2]")
  461. TEST_P( "ldrhvs r14, [r",13,0, ", #2]")
  462. TEST_P( "ldrh r1, [r",2, 24,", #4]!")
  463. TEST_P( "ldrhvc r12, [r",11,24,", #-4]!")
  464. TEST_P( "ldrh r2, [r",3, 24,"], #48")
  465. TEST_P( "ldrh r10, [r",9, 64,"], #-48")
  466. TEST( "ldrh r0, [pc, #0]")
  467. TEST_UNSUPPORTED(__inst_arm(0xe1ffc3b0) " @ ldrh r12, [pc, #48]!")
  468. TEST_UNSUPPORTED(__inst_arm(0xe0d9f3b0) " @ ldrh pc, [r9], #48")
  469. TEST_PR( "ldrsb r0, [r",0, 48,", -r",2, 24,"]")
  470. TEST_PR( "ldrsbhi r14, [r",13,0,", r",12, 48,"]")
  471. TEST_PR( "ldrsb r1, [r",2, 24,", r",3, 48,"]!")
  472. TEST_PR( "ldrsbls r12, [r",11,48,", -r",10,24,"]!")
  473. TEST_PR( "ldrsb r2, [r",3, 24,"], r",4, 48,"")
  474. TEST_PR( "ldrsb r10, [r",9, 48,"], -r",11,24,"")
  475. TEST_UNSUPPORTED(__inst_arm(0xe1bfc0da) " @ ldrsb r12, [pc, r10]!")
  476. TEST_UNSUPPORTED(__inst_arm(0xe099f0db) " @ ldrsb pc, [r9], r11")
  477. TEST_P( "ldrsb r0, [r",0, 24,", #-1]")
  478. TEST_P( "ldrsbge r14, [r",13,0, ", #1]")
  479. TEST_P( "ldrsb r1, [r",2, 24,", #4]!")
  480. TEST_P( "ldrsblt r12, [r",11,24,", #-4]!")
  481. TEST_P( "ldrsb r2, [r",3, 24,"], #48")
  482. TEST_P( "ldrsb r10, [r",9, 64,"], #-48")
  483. TEST( "ldrsb r0, [pc, #0]")
  484. TEST_UNSUPPORTED(__inst_arm(0xe1ffc3d0) " @ ldrsb r12, [pc, #48]!")
  485. TEST_UNSUPPORTED(__inst_arm(0xe0d9f3d0) " @ ldrsb pc, [r9], #48")
  486. TEST_PR( "ldrsh r0, [r",0, 48,", -r",2, 24,"]")
  487. TEST_PR( "ldrshgt r14, [r",13,0, ", r",12, 48,"]")
  488. TEST_PR( "ldrsh r1, [r",2, 24,", r",3, 48,"]!")
  489. TEST_PR( "ldrshle r12, [r",11,48,", -r",10,24,"]!")
  490. TEST_PR( "ldrsh r2, [r",3, 24,"], r",4, 48,"")
  491. TEST_PR( "ldrsh r10, [r",9, 48,"], -r",11,24,"")
  492. TEST_UNSUPPORTED(__inst_arm(0xe1bfc0fa) " @ ldrsh r12, [pc, r10]!")
  493. TEST_UNSUPPORTED(__inst_arm(0xe099f0fb) " @ ldrsh pc, [r9], r11")
  494. TEST_P( "ldrsh r0, [r",0, 24,", #-1]")
  495. TEST_P( "ldrsheq r14, [r",13,0 ,", #1]")
  496. TEST_P( "ldrsh r1, [r",2, 24,", #4]!")
  497. TEST_P( "ldrshne r12, [r",11,24,", #-4]!")
  498. TEST_P( "ldrsh r2, [r",3, 24,"], #48")
  499. TEST_P( "ldrsh r10, [r",9, 64,"], #-48")
  500. TEST( "ldrsh r0, [pc, #0]")
  501. TEST_UNSUPPORTED(__inst_arm(0xe1ffc3f0) " @ ldrsh r12, [pc, #48]!")
  502. TEST_UNSUPPORTED(__inst_arm(0xe0d9f3f0) " @ ldrsh pc, [r9], #48")
  503. #if __LINUX_ARM_ARCH__ >= 7
  504. TEST_UNSUPPORTED("strht r1, [r2], r3")
  505. TEST_UNSUPPORTED("ldrht r1, [r2], r3")
  506. TEST_UNSUPPORTED("strht r1, [r2], #48")
  507. TEST_UNSUPPORTED("ldrht r1, [r2], #48")
  508. TEST_UNSUPPORTED("ldrsbt r1, [r2], r3")
  509. TEST_UNSUPPORTED("ldrsbt r1, [r2], #48")
  510. TEST_UNSUPPORTED("ldrsht r1, [r2], r3")
  511. TEST_UNSUPPORTED("ldrsht r1, [r2], #48")
  512. #endif
  513. #if __LINUX_ARM_ARCH__ >= 5
  514. TEST_RPR( "strd r",0, VAL1,", [r",1, 48,", -r",2,24,"]")
  515. TEST_RPR( "strdcc r",8, VAL2,", [r",11,0, ", r",12,48,"]")
  516. TEST_UNSUPPORTED( "strdcc r8, [r13, r12]")
  517. TEST_UNSUPPORTED( "strdcc r8, [r12, r13]")
  518. TEST_RPR( "strd r",4, VAL1,", [r",2, 24,", r",3, 48,"]!")
  519. TEST_RPR( "strdcs r",12,VAL2,", r13, [r",11,48,", -r",10,24,"]!")
  520. TEST_RPR( "strd r",2, VAL1,", r3, [r",5, 24,"], r",4,48,"")
  521. TEST_RPR( "strd r",10,VAL2,", r11, [r",9, 48,"], -r",7,24,"")
  522. TEST_UNSUPPORTED(__inst_arm(0xe1afc0fa) " @ strd r12, [pc, r10]!")
  523. TEST_PR( "ldrd r0, [r",0, 48,", -r",2,24,"]")
  524. TEST_PR( "ldrdmi r8, [r",13,0, ", r",12,48,"]")
  525. TEST_PR( "ldrd r4, [r",2, 24,", r",3, 48,"]!")
  526. TEST_PR( "ldrdpl r6, [r",11,48,", -r",10,24,"]!")
  527. TEST_PR( "ldrd r2, r3, [r",5, 24,"], r",4,48,"")
  528. TEST_PR( "ldrd r10, r11, [r",9,48,"], -r",7,24,"")
  529. TEST_UNSUPPORTED(__inst_arm(0xe1afc0da) " @ ldrd r12, [pc, r10]!")
  530. TEST_UNSUPPORTED(__inst_arm(0xe089f0db) " @ ldrd pc, [r9], r11")
  531. TEST_UNSUPPORTED(__inst_arm(0xe089e0db) " @ ldrd lr, [r9], r11")
  532. TEST_UNSUPPORTED(__inst_arm(0xe089c0df) " @ ldrd r12, [r9], pc")
  533. TEST_RP( "strd r",0, VAL1,", [r",1, 24,", #-8]")
  534. TEST_RP( "strdvs r",8, VAL2,", [r",13,0, ", #8]")
  535. TEST_RP( "strd r",4, VAL1,", [r",2, 24,", #16]!")
  536. TEST_RP( "strdvc r",12,VAL2,", r13, [r",11,24,", #-16]!")
  537. TEST_RP( "strd r",2, VAL1,", [r",4, 24,"], #48")
  538. TEST_RP( "strd r",10,VAL2,", [r",9, 64,"], #-48")
  539. TEST_RP( "strd r",6, VAL1,", [r",13,TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"]!")
  540. TEST_UNSUPPORTED("strd r6, [r13, #-"__stringify(MAX_STACK_SIZE)"-8]!")
  541. TEST_RP( "strd r",4, VAL1,", [r",12,TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"-8]!")
  542. TEST_UNSUPPORTED(__inst_arm(0xe1efc3f0) " @ strd r12, [pc, #48]!")
  543. TEST_P( "ldrd r0, [r",0, 24,", #-8]")
  544. TEST_P( "ldrdhi r8, [r",13,0, ", #8]")
  545. TEST_P( "ldrd r4, [r",2, 24,", #16]!")
  546. TEST_P( "ldrdls r6, [r",11,24,", #-16]!")
  547. TEST_P( "ldrd r2, [r",5, 24,"], #48")
  548. TEST_P( "ldrd r10, [r",9,6,"], #-48")
  549. TEST_UNSUPPORTED(__inst_arm(0xe1efc3d0) " @ ldrd r12, [pc, #48]!")
  550. TEST_UNSUPPORTED(__inst_arm(0xe0c9f3d0) " @ ldrd pc, [r9], #48")
  551. TEST_UNSUPPORTED(__inst_arm(0xe0c9e3d0) " @ ldrd lr, [r9], #48")
  552. #endif
  553. TEST_GROUP("Miscellaneous")
  554. #if __LINUX_ARM_ARCH__ >= 7
  555. TEST("movw r0, #0")
  556. TEST("movw r0, #0xffff")
  557. TEST("movw lr, #0xffff")
  558. TEST_UNSUPPORTED(__inst_arm(0xe300f000) " @ movw pc, #0")
  559. TEST_R("movt r",0, VAL1,", #0")
  560. TEST_R("movt r",0, VAL2,", #0xffff")
  561. TEST_R("movt r",14,VAL1,", #0xffff")
  562. TEST_UNSUPPORTED(__inst_arm(0xe340f000) " @ movt pc, #0")
  563. #endif
  564. TEST_UNSUPPORTED("msr cpsr, 0x13")
  565. TEST_UNSUPPORTED("msr cpsr_f, 0xf0000000")
  566. TEST_UNSUPPORTED("msr spsr, 0x13")
  567. #if __LINUX_ARM_ARCH__ >= 7
  568. TEST_SUPPORTED("yield")
  569. TEST("sev")
  570. TEST("nop")
  571. TEST("wfi")
  572. TEST_SUPPORTED("wfe")
  573. TEST_UNSUPPORTED("dbg #0")
  574. #endif
  575. TEST_GROUP("Load/store word and unsigned byte")
  576. #define LOAD_STORE(byte) \
  577. TEST_RP( "str"byte" r",0, VAL1,", [r",1, 24,", #-2]") \
  578. TEST_RP( "str"byte" r",14,VAL2,", [r",13,0, ", #2]") \
  579. TEST_RP( "str"byte" r",1, VAL1,", [r",2, 24,", #4]!") \
  580. TEST_RP( "str"byte" r",12,VAL2,", [r",11,24,", #-4]!") \
  581. TEST_RP( "str"byte" r",2, VAL1,", [r",3, 24,"], #48") \
  582. TEST_RP( "str"byte" r",10,VAL2,", [r",9, 64,"], #-48") \
  583. TEST_RP( "str"byte" r",3, VAL1,", [r",13,TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"]!") \
  584. TEST_UNSUPPORTED("str"byte" r3, [r13, #-"__stringify(MAX_STACK_SIZE)"-8]!") \
  585. TEST_RP( "str"byte" r",4, VAL1,", [r",10,TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"-8]!") \
  586. TEST_RPR("str"byte" r",0, VAL1,", [r",1, 48,", -r",2, 24,"]") \
  587. TEST_RPR("str"byte" r",14,VAL2,", [r",11,0, ", r",12, 48,"]") \
  588. TEST_UNSUPPORTED("str"byte" r14, [r13, r12]") \
  589. TEST_UNSUPPORTED("str"byte" r14, [r12, r13]") \
  590. TEST_RPR("str"byte" r",1, VAL1,", [r",2, 24,", r",3, 48,"]!") \
  591. TEST_RPR("str"byte" r",12,VAL2,", [r",11,48,", -r",10,24,"]!") \
  592. TEST_RPR("str"byte" r",2, VAL1,", [r",3, 24,"], r",4, 48,"") \
  593. TEST_RPR("str"byte" r",10,VAL2,", [r",9, 48,"], -r",11,24,"") \
  594. TEST_RPR("str"byte" r",0, VAL1,", [r",1, 24,", r",2, 32,", asl #1]")\
  595. TEST_RPR("str"byte" r",14,VAL2,", [r",11,0, ", r",12, 32,", lsr #2]")\
  596. TEST_UNSUPPORTED("str"byte" r14, [r13, r12, lsr #2]") \
  597. TEST_RPR("str"byte" r",1, VAL1,", [r",2, 24,", r",3, 32,", asr #3]!")\
  598. TEST_RPR("str"byte" r",12,VAL2,", [r",11,24,", r",10, 4,", ror #31]!")\
  599. TEST_P( "ldr"byte" r0, [r",0, 24,", #-2]") \
  600. TEST_P( "ldr"byte" r14, [r",13,0, ", #2]") \
  601. TEST_P( "ldr"byte" r1, [r",2, 24,", #4]!") \
  602. TEST_P( "ldr"byte" r12, [r",11,24,", #-4]!") \
  603. TEST_P( "ldr"byte" r2, [r",3, 24,"], #48") \
  604. TEST_P( "ldr"byte" r10, [r",9, 64,"], #-48") \
  605. TEST_PR( "ldr"byte" r0, [r",0, 48,", -r",2, 24,"]") \
  606. TEST_PR( "ldr"byte" r14, [r",13,0, ", r",12, 48,"]") \
  607. TEST_PR( "ldr"byte" r1, [r",2, 24,", r",3, 48,"]!") \
  608. TEST_PR( "ldr"byte" r12, [r",11,48,", -r",10,24,"]!") \
  609. TEST_PR( "ldr"byte" r2, [r",3, 24,"], r",4, 48,"") \
  610. TEST_PR( "ldr"byte" r10, [r",9, 48,"], -r",11,24,"") \
  611. TEST_PR( "ldr"byte" r0, [r",0, 24,", r",2, 32,", asl #1]") \
  612. TEST_PR( "ldr"byte" r14, [r",13,0, ", r",12, 32,", lsr #2]") \
  613. TEST_PR( "ldr"byte" r1, [r",2, 24,", r",3, 32,", asr #3]!") \
  614. TEST_PR( "ldr"byte" r12, [r",11,24,", r",10, 4,", ror #31]!") \
  615. TEST( "ldr"byte" r0, [pc, #0]") \
  616. TEST_R( "ldr"byte" r12, [pc, r",14,0,"]")
  617. LOAD_STORE("")
  618. TEST_P( "str pc, [r",0,0,", #15*4]")
  619. TEST_UNSUPPORTED( "str pc, [sp, r2]")
  620. TEST_BF( "ldr pc, [sp, #15*4]")
  621. TEST_BF_R("ldr pc, [sp, r",2,15*4,"]")
  622. TEST_P( "str sp, [r",0,0,", #13*4]")
  623. TEST_UNSUPPORTED( "str sp, [sp, r2]")
  624. TEST_BF( "ldr sp, [sp, #13*4]")
  625. TEST_BF_R("ldr sp, [sp, r",2,13*4,"]")
  626. #ifdef CONFIG_THUMB2_KERNEL
  627. TEST_ARM_TO_THUMB_INTERWORK_P("ldr pc, [r",0,0,", #15*4]")
  628. #endif
  629. TEST_UNSUPPORTED(__inst_arm(0xe5af6008) " @ str r6, [pc, #8]!")
  630. TEST_UNSUPPORTED(__inst_arm(0xe7af6008) " @ str r6, [pc, r8]!")
  631. TEST_UNSUPPORTED(__inst_arm(0xe5bf6008) " @ ldr r6, [pc, #8]!")
  632. TEST_UNSUPPORTED(__inst_arm(0xe7bf6008) " @ ldr r6, [pc, r8]!")
  633. TEST_UNSUPPORTED(__inst_arm(0xe788600f) " @ str r6, [r8, pc]")
  634. TEST_UNSUPPORTED(__inst_arm(0xe798600f) " @ ldr r6, [r8, pc]")
  635. LOAD_STORE("b")
  636. TEST_UNSUPPORTED(__inst_arm(0xe5f7f008) " @ ldrb pc, [r7, #8]!")
  637. TEST_UNSUPPORTED(__inst_arm(0xe7f7f008) " @ ldrb pc, [r7, r8]!")
  638. TEST_UNSUPPORTED(__inst_arm(0xe5ef6008) " @ strb r6, [pc, #8]!")
  639. TEST_UNSUPPORTED(__inst_arm(0xe7ef6008) " @ strb r6, [pc, r3]!")
  640. TEST_UNSUPPORTED(__inst_arm(0xe5ff6008) " @ ldrb r6, [pc, #8]!")
  641. TEST_UNSUPPORTED(__inst_arm(0xe7ff6008) " @ ldrb r6, [pc, r3]!")
  642. TEST_UNSUPPORTED("ldrt r0, [r1], #4")
  643. TEST_UNSUPPORTED("ldrt r1, [r2], r3")
  644. TEST_UNSUPPORTED("strt r2, [r3], #4")
  645. TEST_UNSUPPORTED("strt r3, [r4], r5")
  646. TEST_UNSUPPORTED("ldrbt r4, [r5], #4")
  647. TEST_UNSUPPORTED("ldrbt r5, [r6], r7")
  648. TEST_UNSUPPORTED("strbt r6, [r7], #4")
  649. TEST_UNSUPPORTED("strbt r7, [r8], r9")
  650. #if __LINUX_ARM_ARCH__ >= 7
  651. TEST_GROUP("Parallel addition and subtraction, signed")
  652. TEST_UNSUPPORTED(__inst_arm(0xe6000010) "") /* Unallocated space */
  653. TEST_UNSUPPORTED(__inst_arm(0xe60fffff) "") /* Unallocated space */
  654. TEST_RR( "sadd16 r0, r",0, HH1,", r",1, HH2,"")
  655. TEST_RR( "sadd16 r14, r",12,HH2,", r",10,HH1,"")
  656. TEST_UNSUPPORTED(__inst_arm(0xe61cff1a) " @ sadd16 pc, r12, r10")
  657. TEST_RR( "sasx r0, r",0, HH1,", r",1, HH2,"")
  658. TEST_RR( "sasx r14, r",12,HH2,", r",10,HH1,"")
  659. TEST_UNSUPPORTED(__inst_arm(0xe61cff3a) " @ sasx pc, r12, r10")
  660. TEST_RR( "ssax r0, r",0, HH1,", r",1, HH2,"")
  661. TEST_RR( "ssax r14, r",12,HH2,", r",10,HH1,"")
  662. TEST_UNSUPPORTED(__inst_arm(0xe61cff5a) " @ ssax pc, r12, r10")
  663. TEST_RR( "ssub16 r0, r",0, HH1,", r",1, HH2,"")
  664. TEST_RR( "ssub16 r14, r",12,HH2,", r",10,HH1,"")
  665. TEST_UNSUPPORTED(__inst_arm(0xe61cff7a) " @ ssub16 pc, r12, r10")
  666. TEST_RR( "sadd8 r0, r",0, HH1,", r",1, HH2,"")
  667. TEST_RR( "sadd8 r14, r",12,HH2,", r",10,HH1,"")
  668. TEST_UNSUPPORTED(__inst_arm(0xe61cff9a) " @ sadd8 pc, r12, r10")
  669. TEST_UNSUPPORTED(__inst_arm(0xe61000b0) "") /* Unallocated space */
  670. TEST_UNSUPPORTED(__inst_arm(0xe61fffbf) "") /* Unallocated space */
  671. TEST_UNSUPPORTED(__inst_arm(0xe61000d0) "") /* Unallocated space */
  672. TEST_UNSUPPORTED(__inst_arm(0xe61fffdf) "") /* Unallocated space */
  673. TEST_RR( "ssub8 r0, r",0, HH1,", r",1, HH2,"")
  674. TEST_RR( "ssub8 r14, r",12,HH2,", r",10,HH1,"")
  675. TEST_UNSUPPORTED(__inst_arm(0xe61cfffa) " @ ssub8 pc, r12, r10")
  676. TEST_RR( "qadd16 r0, r",0, HH1,", r",1, HH2,"")
  677. TEST_RR( "qadd16 r14, r",12,HH2,", r",10,HH1,"")
  678. TEST_UNSUPPORTED(__inst_arm(0xe62cff1a) " @ qadd16 pc, r12, r10")
  679. TEST_RR( "qasx r0, r",0, HH1,", r",1, HH2,"")
  680. TEST_RR( "qasx r14, r",12,HH2,", r",10,HH1,"")
  681. TEST_UNSUPPORTED(__inst_arm(0xe62cff3a) " @ qasx pc, r12, r10")
  682. TEST_RR( "qsax r0, r",0, HH1,", r",1, HH2,"")
  683. TEST_RR( "qsax r14, r",12,HH2,", r",10,HH1,"")
  684. TEST_UNSUPPORTED(__inst_arm(0xe62cff5a) " @ qsax pc, r12, r10")
  685. TEST_RR( "qsub16 r0, r",0, HH1,", r",1, HH2,"")
  686. TEST_RR( "qsub16 r14, r",12,HH2,", r",10,HH1,"")
  687. TEST_UNSUPPORTED(__inst_arm(0xe62cff7a) " @ qsub16 pc, r12, r10")
  688. TEST_RR( "qadd8 r0, r",0, HH1,", r",1, HH2,"")
  689. TEST_RR( "qadd8 r14, r",12,HH2,", r",10,HH1,"")
  690. TEST_UNSUPPORTED(__inst_arm(0xe62cff9a) " @ qadd8 pc, r12, r10")
  691. TEST_UNSUPPORTED(__inst_arm(0xe62000b0) "") /* Unallocated space */
  692. TEST_UNSUPPORTED(__inst_arm(0xe62fffbf) "") /* Unallocated space */
  693. TEST_UNSUPPORTED(__inst_arm(0xe62000d0) "") /* Unallocated space */
  694. TEST_UNSUPPORTED(__inst_arm(0xe62fffdf) "") /* Unallocated space */
  695. TEST_RR( "qsub8 r0, r",0, HH1,", r",1, HH2,"")
  696. TEST_RR( "qsub8 r14, r",12,HH2,", r",10,HH1,"")
  697. TEST_UNSUPPORTED(__inst_arm(0xe62cfffa) " @ qsub8 pc, r12, r10")
  698. TEST_RR( "shadd16 r0, r",0, HH1,", r",1, HH2,"")
  699. TEST_RR( "shadd16 r14, r",12,HH2,", r",10,HH1,"")
  700. TEST_UNSUPPORTED(__inst_arm(0xe63cff1a) " @ shadd16 pc, r12, r10")
  701. TEST_RR( "shasx r0, r",0, HH1,", r",1, HH2,"")
  702. TEST_RR( "shasx r14, r",12,HH2,", r",10,HH1,"")
  703. TEST_UNSUPPORTED(__inst_arm(0xe63cff3a) " @ shasx pc, r12, r10")
  704. TEST_RR( "shsax r0, r",0, HH1,", r",1, HH2,"")
  705. TEST_RR( "shsax r14, r",12,HH2,", r",10,HH1,"")
  706. TEST_UNSUPPORTED(__inst_arm(0xe63cff5a) " @ shsax pc, r12, r10")
  707. TEST_RR( "shsub16 r0, r",0, HH1,", r",1, HH2,"")
  708. TEST_RR( "shsub16 r14, r",12,HH2,", r",10,HH1,"")
  709. TEST_UNSUPPORTED(__inst_arm(0xe63cff7a) " @ shsub16 pc, r12, r10")
  710. TEST_RR( "shadd8 r0, r",0, HH1,", r",1, HH2,"")
  711. TEST_RR( "shadd8 r14, r",12,HH2,", r",10,HH1,"")
  712. TEST_UNSUPPORTED(__inst_arm(0xe63cff9a) " @ shadd8 pc, r12, r10")
  713. TEST_UNSUPPORTED(__inst_arm(0xe63000b0) "") /* Unallocated space */
  714. TEST_UNSUPPORTED(__inst_arm(0xe63fffbf) "") /* Unallocated space */
  715. TEST_UNSUPPORTED(__inst_arm(0xe63000d0) "") /* Unallocated space */
  716. TEST_UNSUPPORTED(__inst_arm(0xe63fffdf) "") /* Unallocated space */
  717. TEST_RR( "shsub8 r0, r",0, HH1,", r",1, HH2,"")
  718. TEST_RR( "shsub8 r14, r",12,HH2,", r",10,HH1,"")
  719. TEST_UNSUPPORTED(__inst_arm(0xe63cfffa) " @ shsub8 pc, r12, r10")
  720. TEST_GROUP("Parallel addition and subtraction, unsigned")
  721. TEST_UNSUPPORTED(__inst_arm(0xe6400010) "") /* Unallocated space */
  722. TEST_UNSUPPORTED(__inst_arm(0xe64fffff) "") /* Unallocated space */
  723. TEST_RR( "uadd16 r0, r",0, HH1,", r",1, HH2,"")
  724. TEST_RR( "uadd16 r14, r",12,HH2,", r",10,HH1,"")
  725. TEST_UNSUPPORTED(__inst_arm(0xe65cff1a) " @ uadd16 pc, r12, r10")
  726. TEST_RR( "uasx r0, r",0, HH1,", r",1, HH2,"")
  727. TEST_RR( "uasx r14, r",12,HH2,", r",10,HH1,"")
  728. TEST_UNSUPPORTED(__inst_arm(0xe65cff3a) " @ uasx pc, r12, r10")
  729. TEST_RR( "usax r0, r",0, HH1,", r",1, HH2,"")
  730. TEST_RR( "usax r14, r",12,HH2,", r",10,HH1,"")
  731. TEST_UNSUPPORTED(__inst_arm(0xe65cff5a) " @ usax pc, r12, r10")
  732. TEST_RR( "usub16 r0, r",0, HH1,", r",1, HH2,"")
  733. TEST_RR( "usub16 r14, r",12,HH2,", r",10,HH1,"")
  734. TEST_UNSUPPORTED(__inst_arm(0xe65cff7a) " @ usub16 pc, r12, r10")
  735. TEST_RR( "uadd8 r0, r",0, HH1,", r",1, HH2,"")
  736. TEST_RR( "uadd8 r14, r",12,HH2,", r",10,HH1,"")
  737. TEST_UNSUPPORTED(__inst_arm(0xe65cff9a) " @ uadd8 pc, r12, r10")
  738. TEST_UNSUPPORTED(__inst_arm(0xe65000b0) "") /* Unallocated space */
  739. TEST_UNSUPPORTED(__inst_arm(0xe65fffbf) "") /* Unallocated space */
  740. TEST_UNSUPPORTED(__inst_arm(0xe65000d0) "") /* Unallocated space */
  741. TEST_UNSUPPORTED(__inst_arm(0xe65fffdf) "") /* Unallocated space */
  742. TEST_RR( "usub8 r0, r",0, HH1,", r",1, HH2,"")
  743. TEST_RR( "usub8 r14, r",12,HH2,", r",10,HH1,"")
  744. TEST_UNSUPPORTED(__inst_arm(0xe65cfffa) " @ usub8 pc, r12, r10")
  745. TEST_RR( "uqadd16 r0, r",0, HH1,", r",1, HH2,"")
  746. TEST_RR( "uqadd16 r14, r",12,HH2,", r",10,HH1,"")
  747. TEST_UNSUPPORTED(__inst_arm(0xe66cff1a) " @ uqadd16 pc, r12, r10")
  748. TEST_RR( "uqasx r0, r",0, HH1,", r",1, HH2,"")
  749. TEST_RR( "uqasx r14, r",12,HH2,", r",10,HH1,"")
  750. TEST_UNSUPPORTED(__inst_arm(0xe66cff3a) " @ uqasx pc, r12, r10")
  751. TEST_RR( "uqsax r0, r",0, HH1,", r",1, HH2,"")
  752. TEST_RR( "uqsax r14, r",12,HH2,", r",10,HH1,"")
  753. TEST_UNSUPPORTED(__inst_arm(0xe66cff5a) " @ uqsax pc, r12, r10")
  754. TEST_RR( "uqsub16 r0, r",0, HH1,", r",1, HH2,"")
  755. TEST_RR( "uqsub16 r14, r",12,HH2,", r",10,HH1,"")
  756. TEST_UNSUPPORTED(__inst_arm(0xe66cff7a) " @ uqsub16 pc, r12, r10")
  757. TEST_RR( "uqadd8 r0, r",0, HH1,", r",1, HH2,"")
  758. TEST_RR( "uqadd8 r14, r",12,HH2,", r",10,HH1,"")
  759. TEST_UNSUPPORTED(__inst_arm(0xe66cff9a) " @ uqadd8 pc, r12, r10")
  760. TEST_UNSUPPORTED(__inst_arm(0xe66000b0) "") /* Unallocated space */
  761. TEST_UNSUPPORTED(__inst_arm(0xe66fffbf) "") /* Unallocated space */
  762. TEST_UNSUPPORTED(__inst_arm(0xe66000d0) "") /* Unallocated space */
  763. TEST_UNSUPPORTED(__inst_arm(0xe66fffdf) "") /* Unallocated space */
  764. TEST_RR( "uqsub8 r0, r",0, HH1,", r",1, HH2,"")
  765. TEST_RR( "uqsub8 r14, r",12,HH2,", r",10,HH1,"")
  766. TEST_UNSUPPORTED(__inst_arm(0xe66cfffa) " @ uqsub8 pc, r12, r10")
  767. TEST_RR( "uhadd16 r0, r",0, HH1,", r",1, HH2,"")
  768. TEST_RR( "uhadd16 r14, r",12,HH2,", r",10,HH1,"")
  769. TEST_UNSUPPORTED(__inst_arm(0xe67cff1a) " @ uhadd16 pc, r12, r10")
  770. TEST_RR( "uhasx r0, r",0, HH1,", r",1, HH2,"")
  771. TEST_RR( "uhasx r14, r",12,HH2,", r",10,HH1,"")
  772. TEST_UNSUPPORTED(__inst_arm(0xe67cff3a) " @ uhasx pc, r12, r10")
  773. TEST_RR( "uhsax r0, r",0, HH1,", r",1, HH2,"")
  774. TEST_RR( "uhsax r14, r",12,HH2,", r",10,HH1,"")
  775. TEST_UNSUPPORTED(__inst_arm(0xe67cff5a) " @ uhsax pc, r12, r10")
  776. TEST_RR( "uhsub16 r0, r",0, HH1,", r",1, HH2,"")
  777. TEST_RR( "uhsub16 r14, r",12,HH2,", r",10,HH1,"")
  778. TEST_UNSUPPORTED(__inst_arm(0xe67cff7a) " @ uhsub16 pc, r12, r10")
  779. TEST_RR( "uhadd8 r0, r",0, HH1,", r",1, HH2,"")
  780. TEST_RR( "uhadd8 r14, r",12,HH2,", r",10,HH1,"")
  781. TEST_UNSUPPORTED(__inst_arm(0xe67cff9a) " @ uhadd8 pc, r12, r10")
  782. TEST_UNSUPPORTED(__inst_arm(0xe67000b0) "") /* Unallocated space */
  783. TEST_UNSUPPORTED(__inst_arm(0xe67fffbf) "") /* Unallocated space */
  784. TEST_UNSUPPORTED(__inst_arm(0xe67000d0) "") /* Unallocated space */
  785. TEST_UNSUPPORTED(__inst_arm(0xe67fffdf) "") /* Unallocated space */
  786. TEST_RR( "uhsub8 r0, r",0, HH1,", r",1, HH2,"")
  787. TEST_RR( "uhsub8 r14, r",12,HH2,", r",10,HH1,"")
  788. TEST_UNSUPPORTED(__inst_arm(0xe67cfffa) " @ uhsub8 pc, r12, r10")
  789. TEST_UNSUPPORTED(__inst_arm(0xe67feffa) " @ uhsub8 r14, pc, r10")
  790. TEST_UNSUPPORTED(__inst_arm(0xe67cefff) " @ uhsub8 r14, r12, pc")
  791. #endif /* __LINUX_ARM_ARCH__ >= 7 */
  792. #if __LINUX_ARM_ARCH__ >= 6
  793. TEST_GROUP("Packing, unpacking, saturation, and reversal")
  794. TEST_RR( "pkhbt r0, r",0, HH1,", r",1, HH2,"")
  795. TEST_RR( "pkhbt r14,r",12, HH1,", r",10,HH2,", lsl #2")
  796. TEST_UNSUPPORTED(__inst_arm(0xe68cf11a) " @ pkhbt pc, r12, r10, lsl #2")
  797. TEST_RR( "pkhtb r0, r",0, HH1,", r",1, HH2,"")
  798. TEST_RR( "pkhtb r14,r",12, HH1,", r",10,HH2,", asr #2")
  799. TEST_UNSUPPORTED(__inst_arm(0xe68cf15a) " @ pkhtb pc, r12, r10, asr #2")
  800. TEST_UNSUPPORTED(__inst_arm(0xe68fe15a) " @ pkhtb r14, pc, r10, asr #2")
  801. TEST_UNSUPPORTED(__inst_arm(0xe68ce15f) " @ pkhtb r14, r12, pc, asr #2")
  802. TEST_UNSUPPORTED(__inst_arm(0xe6900010) "") /* Unallocated space */
  803. TEST_UNSUPPORTED(__inst_arm(0xe69fffdf) "") /* Unallocated space */
  804. TEST_R( "ssat r0, #24, r",0, VAL1,"")
  805. TEST_R( "ssat r14, #24, r",12, VAL2,"")
  806. TEST_R( "ssat r0, #24, r",0, VAL1,", lsl #8")
  807. TEST_R( "ssat r14, #24, r",12, VAL2,", asr #8")
  808. TEST_UNSUPPORTED(__inst_arm(0xe6b7f01c) " @ ssat pc, #24, r12")
  809. TEST_R( "usat r0, #24, r",0, VAL1,"")
  810. TEST_R( "usat r14, #24, r",12, VAL2,"")
  811. TEST_R( "usat r0, #24, r",0, VAL1,", lsl #8")
  812. TEST_R( "usat r14, #24, r",12, VAL2,", asr #8")
  813. TEST_UNSUPPORTED(__inst_arm(0xe6f7f01c) " @ usat pc, #24, r12")
  814. TEST_RR( "sxtab16 r0, r",0, HH1,", r",1, HH2,"")
  815. TEST_RR( "sxtab16 r14,r",12, HH2,", r",10,HH1,", ror #8")
  816. TEST_R( "sxtb16 r8, r",7, HH1,"")
  817. TEST_UNSUPPORTED(__inst_arm(0xe68cf47a) " @ sxtab16 pc,r12, r10, ror #8")
  818. TEST_RR( "sel r0, r",0, VAL1,", r",1, VAL2,"")
  819. TEST_RR( "sel r14, r",12,VAL1,", r",10, VAL2,"")
  820. TEST_UNSUPPORTED(__inst_arm(0xe68cffba) " @ sel pc, r12, r10")
  821. TEST_UNSUPPORTED(__inst_arm(0xe68fefba) " @ sel r14, pc, r10")
  822. TEST_UNSUPPORTED(__inst_arm(0xe68cefbf) " @ sel r14, r12, pc")
  823. TEST_R( "ssat16 r0, #12, r",0, HH1,"")
  824. TEST_R( "ssat16 r14, #12, r",12, HH2,"")
  825. TEST_UNSUPPORTED(__inst_arm(0xe6abff3c) " @ ssat16 pc, #12, r12")
  826. TEST_RR( "sxtab r0, r",0, HH1,", r",1, HH2,"")
  827. TEST_RR( "sxtab r14,r",12, HH2,", r",10,HH1,", ror #8")
  828. TEST_R( "sxtb r8, r",7, HH1,"")
  829. TEST_UNSUPPORTED(__inst_arm(0xe6acf47a) " @ sxtab pc,r12, r10, ror #8")
  830. TEST_R( "rev r0, r",0, VAL1,"")
  831. TEST_R( "rev r14, r",12, VAL2,"")
  832. TEST_UNSUPPORTED(__inst_arm(0xe6bfff3c) " @ rev pc, r12")
  833. TEST_RR( "sxtah r0, r",0, HH1,", r",1, HH2,"")
  834. TEST_RR( "sxtah r14,r",12, HH2,", r",10,HH1,", ror #8")
  835. TEST_R( "sxth r8, r",7, HH1,"")
  836. TEST_UNSUPPORTED(__inst_arm(0xe6bcf47a) " @ sxtah pc,r12, r10, ror #8")
  837. TEST_R( "rev16 r0, r",0, VAL1,"")
  838. TEST_R( "rev16 r14, r",12, VAL2,"")
  839. TEST_UNSUPPORTED(__inst_arm(0xe6bfffbc) " @ rev16 pc, r12")
  840. TEST_RR( "uxtab16 r0, r",0, HH1,", r",1, HH2,"")
  841. TEST_RR( "uxtab16 r14,r",12, HH2,", r",10,HH1,", ror #8")
  842. TEST_R( "uxtb16 r8, r",7, HH1,"")
  843. TEST_UNSUPPORTED(__inst_arm(0xe6ccf47a) " @ uxtab16 pc,r12, r10, ror #8")
  844. TEST_R( "usat16 r0, #12, r",0, HH1,"")
  845. TEST_R( "usat16 r14, #12, r",12, HH2,"")
  846. TEST_UNSUPPORTED(__inst_arm(0xe6ecff3c) " @ usat16 pc, #12, r12")
  847. TEST_UNSUPPORTED(__inst_arm(0xe6ecef3f) " @ usat16 r14, #12, pc")
  848. TEST_RR( "uxtab r0, r",0, HH1,", r",1, HH2,"")
  849. TEST_RR( "uxtab r14,r",12, HH2,", r",10,HH1,", ror #8")
  850. TEST_R( "uxtb r8, r",7, HH1,"")
  851. TEST_UNSUPPORTED(__inst_arm(0xe6ecf47a) " @ uxtab pc,r12, r10, ror #8")
  852. #if __LINUX_ARM_ARCH__ >= 7
  853. TEST_R( "rbit r0, r",0, VAL1,"")
  854. TEST_R( "rbit r14, r",12, VAL2,"")
  855. TEST_UNSUPPORTED(__inst_arm(0xe6ffff3c) " @ rbit pc, r12")
  856. #endif
  857. TEST_RR( "uxtah r0, r",0, HH1,", r",1, HH2,"")
  858. TEST_RR( "uxtah r14,r",12, HH2,", r",10,HH1,", ror #8")
  859. TEST_R( "uxth r8, r",7, HH1,"")
  860. TEST_UNSUPPORTED(__inst_arm(0xe6fff077) " @ uxth pc, r7")
  861. TEST_UNSUPPORTED(__inst_arm(0xe6ff807f) " @ uxth r8, pc")
  862. TEST_UNSUPPORTED(__inst_arm(0xe6fcf47a) " @ uxtah pc, r12, r10, ror #8")
  863. TEST_UNSUPPORTED(__inst_arm(0xe6fce47f) " @ uxtah r14, r12, pc, ror #8")
  864. TEST_R( "revsh r0, r",0, VAL1,"")
  865. TEST_R( "revsh r14, r",12, VAL2,"")
  866. TEST_UNSUPPORTED(__inst_arm(0xe6ffff3c) " @ revsh pc, r12")
  867. TEST_UNSUPPORTED(__inst_arm(0xe6ffef3f) " @ revsh r14, pc")
  868. TEST_UNSUPPORTED(__inst_arm(0xe6900070) "") /* Unallocated space */
  869. TEST_UNSUPPORTED(__inst_arm(0xe69fff7f) "") /* Unallocated space */
  870. TEST_UNSUPPORTED(__inst_arm(0xe6d00070) "") /* Unallocated space */
  871. TEST_UNSUPPORTED(__inst_arm(0xe6dfff7f) "") /* Unallocated space */
  872. #endif /* __LINUX_ARM_ARCH__ >= 6 */
  873. #if __LINUX_ARM_ARCH__ >= 6
  874. TEST_GROUP("Signed multiplies")
  875. TEST_RRR( "smlad r0, r",0, HH1,", r",1, HH2,", r",2, VAL1,"")
  876. TEST_RRR( "smlad r14, r",12,HH2,", r",10,HH1,", r",8, VAL2,"")
  877. TEST_UNSUPPORTED(__inst_arm(0xe70f8a1c) " @ smlad pc, r12, r10, r8")
  878. TEST_RRR( "smladx r0, r",0, HH1,", r",1, HH2,", r",2, VAL1,"")
  879. TEST_RRR( "smladx r14, r",12,HH2,", r",10,HH1,", r",8, VAL2,"")
  880. TEST_UNSUPPORTED(__inst_arm(0xe70f8a3c) " @ smladx pc, r12, r10, r8")
  881. TEST_RR( "smuad r0, r",0, HH1,", r",1, HH2,"")
  882. TEST_RR( "smuad r14, r",12,HH2,", r",10,HH1,"")
  883. TEST_UNSUPPORTED(__inst_arm(0xe70ffa1c) " @ smuad pc, r12, r10")
  884. TEST_RR( "smuadx r0, r",0, HH1,", r",1, HH2,"")
  885. TEST_RR( "smuadx r14, r",12,HH2,", r",10,HH1,"")
  886. TEST_UNSUPPORTED(__inst_arm(0xe70ffa3c) " @ smuadx pc, r12, r10")
  887. TEST_RRR( "smlsd r0, r",0, HH1,", r",1, HH2,", r",2, VAL1,"")
  888. TEST_RRR( "smlsd r14, r",12,HH2,", r",10,HH1,", r",8, VAL2,"")
  889. TEST_UNSUPPORTED(__inst_arm(0xe70f8a5c) " @ smlsd pc, r12, r10, r8")
  890. TEST_RRR( "smlsdx r0, r",0, HH1,", r",1, HH2,", r",2, VAL1,"")
  891. TEST_RRR( "smlsdx r14, r",12,HH2,", r",10,HH1,", r",8, VAL2,"")
  892. TEST_UNSUPPORTED(__inst_arm(0xe70f8a7c) " @ smlsdx pc, r12, r10, r8")
  893. TEST_RR( "smusd r0, r",0, HH1,", r",1, HH2,"")
  894. TEST_RR( "smusd r14, r",12,HH2,", r",10,HH1,"")
  895. TEST_UNSUPPORTED(__inst_arm(0xe70ffa5c) " @ smusd pc, r12, r10")
  896. TEST_RR( "smusdx r0, r",0, HH1,", r",1, HH2,"")
  897. TEST_RR( "smusdx r14, r",12,HH2,", r",10,HH1,"")
  898. TEST_UNSUPPORTED(__inst_arm(0xe70ffa7c) " @ smusdx pc, r12, r10")
  899. TEST_RRRR( "smlald r",0, VAL1,", r",1, VAL2, ", r",0, HH1,", r",1, HH2)
  900. TEST_RRRR( "smlald r",11,VAL2,", r",10,VAL1, ", r",9, HH2,", r",8, HH1)
  901. TEST_UNSUPPORTED(__inst_arm(0xe74af819) " @ smlald pc, r10, r9, r8")
  902. TEST_UNSUPPORTED(__inst_arm(0xe74fb819) " @ smlald r11, pc, r9, r8")
  903. TEST_UNSUPPORTED(__inst_arm(0xe74ab81f) " @ smlald r11, r10, pc, r8")
  904. TEST_UNSUPPORTED(__inst_arm(0xe74abf19) " @ smlald r11, r10, r9, pc")
  905. TEST_RRRR( "smlaldx r",0, VAL1,", r",1, VAL2, ", r",0, HH1,", r",1, HH2)
  906. TEST_RRRR( "smlaldx r",11,VAL2,", r",10,VAL1, ", r",9, HH2,", r",8, HH1)
  907. TEST_UNSUPPORTED(__inst_arm(0xe74af839) " @ smlaldx pc, r10, r9, r8")
  908. TEST_UNSUPPORTED(__inst_arm(0xe74fb839) " @ smlaldx r11, pc, r9, r8")
  909. TEST_RRR( "smmla r0, r",0, VAL1,", r",1, VAL2,", r",2, VAL1,"")
  910. TEST_RRR( "smmla r14, r",12,VAL2,", r",10,VAL1,", r",8, VAL2,"")
  911. TEST_UNSUPPORTED(__inst_arm(0xe75f8a1c) " @ smmla pc, r12, r10, r8")
  912. TEST_RRR( "smmlar r0, r",0, VAL1,", r",1, VAL2,", r",2, VAL1,"")
  913. TEST_RRR( "smmlar r14, r",12,VAL2,", r",10,VAL1,", r",8, VAL2,"")
  914. TEST_UNSUPPORTED(__inst_arm(0xe75f8a3c) " @ smmlar pc, r12, r10, r8")
  915. TEST_RR( "smmul r0, r",0, VAL1,", r",1, VAL2,"")
  916. TEST_RR( "smmul r14, r",12,VAL2,", r",10,VAL1,"")
  917. TEST_UNSUPPORTED(__inst_arm(0xe75ffa1c) " @ smmul pc, r12, r10")
  918. TEST_RR( "smmulr r0, r",0, VAL1,", r",1, VAL2,"")
  919. TEST_RR( "smmulr r14, r",12,VAL2,", r",10,VAL1,"")
  920. TEST_UNSUPPORTED(__inst_arm(0xe75ffa3c) " @ smmulr pc, r12, r10")
  921. TEST_RRR( "smmls r0, r",0, VAL1,", r",1, VAL2,", r",2, VAL1,"")
  922. TEST_RRR( "smmls r14, r",12,VAL2,", r",10,VAL1,", r",8, VAL2,"")
  923. TEST_UNSUPPORTED(__inst_arm(0xe75f8adc) " @ smmls pc, r12, r10, r8")
  924. TEST_RRR( "smmlsr r0, r",0, VAL1,", r",1, VAL2,", r",2, VAL1,"")
  925. TEST_RRR( "smmlsr r14, r",12,VAL2,", r",10,VAL1,", r",8, VAL2,"")
  926. TEST_UNSUPPORTED(__inst_arm(0xe75f8afc) " @ smmlsr pc, r12, r10, r8")
  927. TEST_UNSUPPORTED(__inst_arm(0xe75e8aff) " @ smmlsr r14, pc, r10, r8")
  928. TEST_UNSUPPORTED(__inst_arm(0xe75e8ffc) " @ smmlsr r14, r12, pc, r8")
  929. TEST_UNSUPPORTED(__inst_arm(0xe75efafc) " @ smmlsr r14, r12, r10, pc")
  930. TEST_RR( "usad8 r0, r",0, VAL1,", r",1, VAL2,"")
  931. TEST_RR( "usad8 r14, r",12,VAL2,", r",10,VAL1,"")
  932. TEST_UNSUPPORTED(__inst_arm(0xe75ffa1c) " @ usad8 pc, r12, r10")
  933. TEST_UNSUPPORTED(__inst_arm(0xe75efa1f) " @ usad8 r14, pc, r10")
  934. TEST_UNSUPPORTED(__inst_arm(0xe75eff1c) " @ usad8 r14, r12, pc")
  935. TEST_RRR( "usada8 r0, r",0, VAL1,", r",1, VAL2,", r",2, VAL3,"")
  936. TEST_RRR( "usada8 r14, r",12,VAL2,", r",10,VAL1,", r",8, VAL3,"")
  937. TEST_UNSUPPORTED(__inst_arm(0xe78f8a1c) " @ usada8 pc, r12, r10, r8")
  938. TEST_UNSUPPORTED(__inst_arm(0xe78e8a1f) " @ usada8 r14, pc, r10, r8")
  939. TEST_UNSUPPORTED(__inst_arm(0xe78e8f1c) " @ usada8 r14, r12, pc, r8")
  940. #endif /* __LINUX_ARM_ARCH__ >= 6 */
  941. #if __LINUX_ARM_ARCH__ >= 7
  942. TEST_GROUP("Bit Field")
  943. TEST_R( "sbfx r0, r",0 , VAL1,", #0, #31")
  944. TEST_R( "sbfxeq r14, r",12, VAL2,", #8, #16")
  945. TEST_R( "sbfx r4, r",10, VAL1,", #16, #15")
  946. TEST_UNSUPPORTED(__inst_arm(0xe7aff45c) " @ sbfx pc, r12, #8, #16")
  947. TEST_R( "ubfx r0, r",0 , VAL1,", #0, #31")
  948. TEST_R( "ubfxcs r14, r",12, VAL2,", #8, #16")
  949. TEST_R( "ubfx r4, r",10, VAL1,", #16, #15")
  950. TEST_UNSUPPORTED(__inst_arm(0xe7eff45c) " @ ubfx pc, r12, #8, #16")
  951. TEST_UNSUPPORTED(__inst_arm(0xe7efc45f) " @ ubfx r12, pc, #8, #16")
  952. TEST_R( "bfc r",0, VAL1,", #4, #20")
  953. TEST_R( "bfcvs r",14,VAL2,", #4, #20")
  954. TEST_R( "bfc r",7, VAL1,", #0, #31")
  955. TEST_R( "bfc r",8, VAL2,", #0, #31")
  956. TEST_UNSUPPORTED(__inst_arm(0xe7def01f) " @ bfc pc, #0, #31");
  957. TEST_RR( "bfi r",0, VAL1,", r",0 , VAL2,", #0, #31")
  958. TEST_RR( "bfipl r",12,VAL1,", r",14 , VAL2,", #4, #20")
  959. TEST_UNSUPPORTED(__inst_arm(0xe7d7f21e) " @ bfi pc, r14, #4, #20")
  960. TEST_UNSUPPORTED(__inst_arm(0x07f000f0) "") /* Permanently UNDEFINED */
  961. TEST_UNSUPPORTED(__inst_arm(0x07ffffff) "") /* Permanently UNDEFINED */
  962. #endif /* __LINUX_ARM_ARCH__ >= 6 */
  963. TEST_GROUP("Branch, branch with link, and block data transfer")
  964. TEST_P( "stmda r",0, 16*4,", {r0}")
  965. TEST_P( "stmdaeq r",4, 16*4,", {r0-r15}")
  966. TEST_P( "stmdane r",8, 16*4,"!, {r8-r15}")
  967. TEST_P( "stmda r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
  968. TEST_P( "stmda r",13,0, "!, {pc}")
  969. TEST_P( "ldmda r",0, 16*4,", {r0}")
  970. TEST_BF_P("ldmdacs r",4, 15*4,", {r0-r15}")
  971. TEST_BF_P("ldmdacc r",7, 15*4,"!, {r8-r15}")
  972. TEST_P( "ldmda r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
  973. TEST_BF_P("ldmda r",14,15*4,"!, {pc}")
  974. TEST_P( "stmia r",0, 16*4,", {r0}")
  975. TEST_P( "stmiami r",4, 16*4,", {r0-r15}")
  976. TEST_P( "stmiapl r",8, 16*4,"!, {r8-r15}")
  977. TEST_P( "stmia r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
  978. TEST_P( "stmia r",14,0, "!, {pc}")
  979. TEST_P( "ldmia r",0, 16*4,", {r0}")
  980. TEST_BF_P("ldmiavs r",4, 0, ", {r0-r15}")
  981. TEST_BF_P("ldmiavc r",7, 8*4, "!, {r8-r15}")
  982. TEST_P( "ldmia r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
  983. TEST_BF_P("ldmia r",14,15*4,"!, {pc}")
  984. TEST_P( "stmdb r",0, 16*4,", {r0}")
  985. TEST_P( "stmdbhi r",4, 16*4,", {r0-r15}")
  986. TEST_P( "stmdbls r",8, 16*4,"!, {r8-r15}")
  987. TEST_P( "stmdb r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
  988. TEST_P( "stmdb r",13,4, "!, {pc}")
  989. TEST_P( "ldmdb r",0, 16*4,", {r0}")
  990. TEST_BF_P("ldmdbge r",4, 16*4,", {r0-r15}")
  991. TEST_BF_P("ldmdblt r",7, 16*4,"!, {r8-r15}")
  992. TEST_P( "ldmdb r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
  993. TEST_BF_P("ldmdb r",14,16*4,"!, {pc}")
  994. TEST_P( "stmib r",0, 16*4,", {r0}")
  995. TEST_P( "stmibgt r",4, 16*4,", {r0-r15}")
  996. TEST_P( "stmible r",8, 16*4,"!, {r8-r15}")
  997. TEST_P( "stmib r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
  998. TEST_P( "stmib r",13,-4, "!, {pc}")
  999. TEST_P( "ldmib r",0, 16*4,", {r0}")
  1000. TEST_BF_P("ldmibeq r",4, -4,", {r0-r15}")
  1001. TEST_BF_P("ldmibne r",7, 7*4,"!, {r8-r15}")
  1002. TEST_P( "ldmib r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
  1003. TEST_BF_P("ldmib r",14,14*4,"!, {pc}")
  1004. TEST_P( "stmdb r",13,16*4,"!, {r3-r12,lr}")
  1005. TEST_P( "stmdbeq r",13,16*4,"!, {r3-r12}")
  1006. TEST_P( "stmdbne r",2, 16*4,", {r3-r12,lr}")
  1007. TEST_P( "stmdb r",13,16*4,"!, {r2-r12,lr}")
  1008. TEST_P( "stmdb r",0, 16*4,", {r0-r12}")
  1009. TEST_P( "stmdb r",0, 16*4,", {r0-r12,lr}")
  1010. TEST_BF_P("ldmia r",13,5*4, "!, {r3-r12,pc}")
  1011. TEST_P( "ldmiacc r",13,5*4, "!, {r3-r12}")
  1012. TEST_BF_P("ldmiacs r",2, 5*4, "!, {r3-r12,pc}")
  1013. TEST_BF_P("ldmia r",13,4*4, "!, {r2-r12,pc}")
  1014. TEST_P( "ldmia r",0, 16*4,", {r0-r12}")
  1015. TEST_P( "ldmia r",0, 16*4,", {r0-r12,lr}")
  1016. #ifdef CONFIG_THUMB2_KERNEL
  1017. TEST_ARM_TO_THUMB_INTERWORK_P("ldmplia r",0,15*4,", {pc}")
  1018. TEST_ARM_TO_THUMB_INTERWORK_P("ldmmiia r",13,0,", {r0-r15}")
  1019. #endif
  1020. TEST_BF("b 2f")
  1021. TEST_BF("bl 2f")
  1022. TEST_BB("b 2b")
  1023. TEST_BB("bl 2b")
  1024. TEST_BF("beq 2f")
  1025. TEST_BF("bleq 2f")
  1026. TEST_BB("bne 2b")
  1027. TEST_BB("blne 2b")
  1028. TEST_BF("bgt 2f")
  1029. TEST_BF("blgt 2f")
  1030. TEST_BB("blt 2b")
  1031. TEST_BB("bllt 2b")
  1032. TEST_GROUP("Supervisor Call, and coprocessor instructions")
  1033. /*
  1034. * We can't really test these by executing them, so all
  1035. * we can do is check that probes are, or are not allowed.
  1036. * At the moment none are allowed...
  1037. */
  1038. #define TEST_COPROCESSOR(code) TEST_UNSUPPORTED(code)
  1039. #define COPROCESSOR_INSTRUCTIONS_ST_LD(two,cc) \
  1040. TEST_COPROCESSOR("stc"two" p0, cr0, [r13, #4]") \
  1041. TEST_COPROCESSOR("stc"two" p0, cr0, [r13, #-4]") \
  1042. TEST_COPROCESSOR("stc"two" p0, cr0, [r13, #4]!") \
  1043. TEST_COPROCESSOR("stc"two" p0, cr0, [r13, #-4]!") \
  1044. TEST_COPROCESSOR("stc"two" p0, cr0, [r13], #4") \
  1045. TEST_COPROCESSOR("stc"two" p0, cr0, [r13], #-4") \
  1046. TEST_COPROCESSOR("stc"two" p0, cr0, [r13], {1}") \
  1047. TEST_COPROCESSOR("stc"two"l p0, cr0, [r13, #4]") \
  1048. TEST_COPROCESSOR("stc"two"l p0, cr0, [r13, #-4]") \
  1049. TEST_COPROCESSOR("stc"two"l p0, cr0, [r13, #4]!") \
  1050. TEST_COPROCESSOR("stc"two"l p0, cr0, [r13, #-4]!") \
  1051. TEST_COPROCESSOR("stc"two"l p0, cr0, [r13], #4") \
  1052. TEST_COPROCESSOR("stc"two"l p0, cr0, [r13], #-4") \
  1053. TEST_COPROCESSOR("stc"two"l p0, cr0, [r13], {1}") \
  1054. TEST_COPROCESSOR("ldc"two" p0, cr0, [r13, #4]") \
  1055. TEST_COPROCESSOR("ldc"two" p0, cr0, [r13, #-4]") \
  1056. TEST_COPROCESSOR("ldc"two" p0, cr0, [r13, #4]!") \
  1057. TEST_COPROCESSOR("ldc"two" p0, cr0, [r13, #-4]!") \
  1058. TEST_COPROCESSOR("ldc"two" p0, cr0, [r13], #4") \
  1059. TEST_COPROCESSOR("ldc"two" p0, cr0, [r13], #-4") \
  1060. TEST_COPROCESSOR("ldc"two" p0, cr0, [r13], {1}") \
  1061. TEST_COPROCESSOR("ldc"two"l p0, cr0, [r13, #4]") \
  1062. TEST_COPROCESSOR("ldc"two"l p0, cr0, [r13, #-4]") \
  1063. TEST_COPROCESSOR("ldc"two"l p0, cr0, [r13, #4]!") \
  1064. TEST_COPROCESSOR("ldc"two"l p0, cr0, [r13, #-4]!") \
  1065. TEST_COPROCESSOR("ldc"two"l p0, cr0, [r13], #4") \
  1066. TEST_COPROCESSOR("ldc"two"l p0, cr0, [r13], #-4") \
  1067. TEST_COPROCESSOR("ldc"two"l p0, cr0, [r13], {1}") \
  1068. \
  1069. TEST_COPROCESSOR( "stc"two" p0, cr0, [r15, #4]") \
  1070. TEST_COPROCESSOR( "stc"two" p0, cr0, [r15, #-4]") \
  1071. TEST_UNSUPPORTED(__inst_arm(0x##cc##daf0001) " @ stc"two" 0, cr0, [r15, #4]!") \
  1072. TEST_UNSUPPORTED(__inst_arm(0x##cc##d2f0001) " @ stc"two" 0, cr0, [r15, #-4]!") \
  1073. TEST_UNSUPPORTED(__inst_arm(0x##cc##caf0001) " @ stc"two" 0, cr0, [r15], #4") \
  1074. TEST_UNSUPPORTED(__inst_arm(0x##cc##c2f0001) " @ stc"two" 0, cr0, [r15], #-4") \
  1075. TEST_COPROCESSOR( "stc"two" p0, cr0, [r15], {1}") \
  1076. TEST_COPROCESSOR( "stc"two"l p0, cr0, [r15, #4]") \
  1077. TEST_COPROCESSOR( "stc"two"l p0, cr0, [r15, #-4]") \
  1078. TEST_UNSUPPORTED(__inst_arm(0x##cc##def0001) " @ stc"two"l 0, cr0, [r15, #4]!") \
  1079. TEST_UNSUPPORTED(__inst_arm(0x##cc##d6f0001) " @ stc"two"l 0, cr0, [r15, #-4]!") \
  1080. TEST_UNSUPPORTED(__inst_arm(0x##cc##cef0001) " @ stc"two"l 0, cr0, [r15], #4") \
  1081. TEST_UNSUPPORTED(__inst_arm(0x##cc##c6f0001) " @ stc"two"l 0, cr0, [r15], #-4") \
  1082. TEST_COPROCESSOR( "stc"two"l p0, cr0, [r15], {1}") \
  1083. TEST_COPROCESSOR( "ldc"two" p0, cr0, [r15, #4]") \
  1084. TEST_COPROCESSOR( "ldc"two" p0, cr0, [r15, #-4]") \
  1085. TEST_UNSUPPORTED(__inst_arm(0x##cc##dbf0001) " @ ldc"two" 0, cr0, [r15, #4]!") \
  1086. TEST_UNSUPPORTED(__inst_arm(0x##cc##d3f0001) " @ ldc"two" 0, cr0, [r15, #-4]!") \
  1087. TEST_UNSUPPORTED(__inst_arm(0x##cc##cbf0001) " @ ldc"two" 0, cr0, [r15], #4") \
  1088. TEST_UNSUPPORTED(__inst_arm(0x##cc##c3f0001) " @ ldc"two" 0, cr0, [r15], #-4") \
  1089. TEST_COPROCESSOR( "ldc"two" p0, cr0, [r15], {1}") \
  1090. TEST_COPROCESSOR( "ldc"two"l p0, cr0, [r15, #4]") \
  1091. TEST_COPROCESSOR( "ldc"two"l p0, cr0, [r15, #-4]") \
  1092. TEST_UNSUPPORTED(__inst_arm(0x##cc##dff0001) " @ ldc"two"l 0, cr0, [r15, #4]!") \
  1093. TEST_UNSUPPORTED(__inst_arm(0x##cc##d7f0001) " @ ldc"two"l 0, cr0, [r15, #-4]!") \
  1094. TEST_UNSUPPORTED(__inst_arm(0x##cc##cff0001) " @ ldc"two"l 0, cr0, [r15], #4") \
  1095. TEST_UNSUPPORTED(__inst_arm(0x##cc##c7f0001) " @ ldc"two"l 0, cr0, [r15], #-4") \
  1096. TEST_COPROCESSOR( "ldc"two"l p0, cr0, [r15], {1}")
  1097. #define COPROCESSOR_INSTRUCTIONS_MC_MR(two,cc) \
  1098. \
  1099. TEST_COPROCESSOR( "mcrr"two" p0, 15, r0, r14, cr0") \
  1100. TEST_COPROCESSOR( "mcrr"two" p15, 0, r14, r0, cr15") \
  1101. TEST_UNSUPPORTED(__inst_arm(0x##cc##c4f00f0) " @ mcrr"two" 0, 15, r0, r15, cr0") \
  1102. TEST_UNSUPPORTED(__inst_arm(0x##cc##c40ff0f) " @ mcrr"two" 15, 0, r15, r0, cr15") \
  1103. TEST_COPROCESSOR( "mrrc"two" p0, 15, r0, r14, cr0") \
  1104. TEST_COPROCESSOR( "mrrc"two" p15, 0, r14, r0, cr15") \
  1105. TEST_UNSUPPORTED(__inst_arm(0x##cc##c5f00f0) " @ mrrc"two" 0, 15, r0, r15, cr0") \
  1106. TEST_UNSUPPORTED(__inst_arm(0x##cc##c50ff0f) " @ mrrc"two" 15, 0, r15, r0, cr15") \
  1107. TEST_COPROCESSOR( "cdp"two" p15, 15, cr15, cr15, cr15, 7") \
  1108. TEST_COPROCESSOR( "cdp"two" p0, 0, cr0, cr0, cr0, 0") \
  1109. TEST_COPROCESSOR( "mcr"two" p15, 7, r15, cr15, cr15, 7") \
  1110. TEST_COPROCESSOR( "mcr"two" p0, 0, r0, cr0, cr0, 0") \
  1111. TEST_COPROCESSOR( "mrc"two" p15, 7, r14, cr15, cr15, 7") \
  1112. TEST_COPROCESSOR( "mrc"two" p0, 0, r0, cr0, cr0, 0")
  1113. COPROCESSOR_INSTRUCTIONS_ST_LD("",e)
  1114. #if __LINUX_ARM_ARCH__ >= 5
  1115. COPROCESSOR_INSTRUCTIONS_MC_MR("",e)
  1116. #endif
  1117. TEST_UNSUPPORTED("svc 0")
  1118. TEST_UNSUPPORTED("svc 0xffffff")
  1119. TEST_UNSUPPORTED("svc 0")
  1120. TEST_GROUP("Unconditional instruction")
  1121. #if __LINUX_ARM_ARCH__ >= 6
  1122. TEST_UNSUPPORTED("srsda sp, 0x13")
  1123. TEST_UNSUPPORTED("srsdb sp, 0x13")
  1124. TEST_UNSUPPORTED("srsia sp, 0x13")
  1125. TEST_UNSUPPORTED("srsib sp, 0x13")
  1126. TEST_UNSUPPORTED("srsda sp!, 0x13")
  1127. TEST_UNSUPPORTED("srsdb sp!, 0x13")
  1128. TEST_UNSUPPORTED("srsia sp!, 0x13")
  1129. TEST_UNSUPPORTED("srsib sp!, 0x13")
  1130. TEST_UNSUPPORTED("rfeda sp")
  1131. TEST_UNSUPPORTED("rfedb sp")
  1132. TEST_UNSUPPORTED("rfeia sp")
  1133. TEST_UNSUPPORTED("rfeib sp")
  1134. TEST_UNSUPPORTED("rfeda sp!")
  1135. TEST_UNSUPPORTED("rfedb sp!")
  1136. TEST_UNSUPPORTED("rfeia sp!")
  1137. TEST_UNSUPPORTED("rfeib sp!")
  1138. TEST_UNSUPPORTED(__inst_arm(0xf81d0a00) " @ rfeda pc")
  1139. TEST_UNSUPPORTED(__inst_arm(0xf91d0a00) " @ rfedb pc")
  1140. TEST_UNSUPPORTED(__inst_arm(0xf89d0a00) " @ rfeia pc")
  1141. TEST_UNSUPPORTED(__inst_arm(0xf99d0a00) " @ rfeib pc")
  1142. TEST_UNSUPPORTED(__inst_arm(0xf83d0a00) " @ rfeda pc!")
  1143. TEST_UNSUPPORTED(__inst_arm(0xf93d0a00) " @ rfedb pc!")
  1144. TEST_UNSUPPORTED(__inst_arm(0xf8bd0a00) " @ rfeia pc!")
  1145. TEST_UNSUPPORTED(__inst_arm(0xf9bd0a00) " @ rfeib pc!")
  1146. #endif /* __LINUX_ARM_ARCH__ >= 6 */
  1147. #if __LINUX_ARM_ARCH__ >= 6
  1148. TEST_X( "blx __dummy_thumb_subroutine_even",
  1149. ".thumb \n\t"
  1150. ".space 4 \n\t"
  1151. ".type __dummy_thumb_subroutine_even, %%function \n\t"
  1152. "__dummy_thumb_subroutine_even: \n\t"
  1153. "mov r0, pc \n\t"
  1154. "bx lr \n\t"
  1155. ".arm \n\t"
  1156. )
  1157. TEST( "blx __dummy_thumb_subroutine_even")
  1158. TEST_X( "blx __dummy_thumb_subroutine_odd",
  1159. ".thumb \n\t"
  1160. ".space 2 \n\t"
  1161. ".type __dummy_thumb_subroutine_odd, %%function \n\t"
  1162. "__dummy_thumb_subroutine_odd: \n\t"
  1163. "mov r0, pc \n\t"
  1164. "bx lr \n\t"
  1165. ".arm \n\t"
  1166. )
  1167. TEST( "blx __dummy_thumb_subroutine_odd")
  1168. #endif /* __LINUX_ARM_ARCH__ >= 6 */
  1169. #if __LINUX_ARM_ARCH__ >= 5
  1170. COPROCESSOR_INSTRUCTIONS_ST_LD("2",f)
  1171. #endif
  1172. #if __LINUX_ARM_ARCH__ >= 6
  1173. COPROCESSOR_INSTRUCTIONS_MC_MR("2",f)
  1174. #endif
  1175. TEST_GROUP("Miscellaneous instructions, memory hints, and Advanced SIMD instructions")
  1176. #if __LINUX_ARM_ARCH__ >= 6
  1177. TEST_UNSUPPORTED("cps 0x13")
  1178. TEST_UNSUPPORTED("cpsie i")
  1179. TEST_UNSUPPORTED("cpsid i")
  1180. TEST_UNSUPPORTED("cpsie i,0x13")
  1181. TEST_UNSUPPORTED("cpsid i,0x13")
  1182. TEST_UNSUPPORTED("setend le")
  1183. TEST_UNSUPPORTED("setend be")
  1184. #endif
  1185. #if __LINUX_ARM_ARCH__ >= 7
  1186. TEST_P("pli [r",0,0b,", #16]")
  1187. TEST( "pli [pc, #0]")
  1188. TEST_RR("pli [r",12,0b,", r",0, 16,"]")
  1189. TEST_RR("pli [r",0, 0b,", -r",12,16,", lsl #4]")
  1190. #endif
  1191. #if __LINUX_ARM_ARCH__ >= 5
  1192. TEST_P("pld [r",0,32,", #-16]")
  1193. TEST( "pld [pc, #0]")
  1194. TEST_PR("pld [r",7, 24, ", r",0, 16,"]")
  1195. TEST_PR("pld [r",8, 24, ", -r",12,16,", lsl #4]")
  1196. #endif
  1197. #if __LINUX_ARM_ARCH__ >= 7
  1198. TEST_SUPPORTED( __inst_arm(0xf590f000) " @ pldw [r0, #0]")
  1199. TEST_SUPPORTED( __inst_arm(0xf797f000) " @ pldw [r7, r0]")
  1200. TEST_SUPPORTED( __inst_arm(0xf798f18c) " @ pldw [r8, r12, lsl #3]");
  1201. #endif
  1202. #if __LINUX_ARM_ARCH__ >= 7
  1203. TEST_UNSUPPORTED("clrex")
  1204. TEST_UNSUPPORTED("dsb")
  1205. TEST_UNSUPPORTED("dmb")
  1206. TEST_UNSUPPORTED("isb")
  1207. #endif
  1208. verbose("\n");
  1209. }