ubpf_jit_x86_64.rs 42 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715
  1. // Converted from the tests for uBPF <https://github.com/iovisor/ubpf>
  2. // Copyright 2015 Big Switch Networks, Inc
  3. // Copyright 2016 6WIND S.A. <quentin.monnet@6wind.com>
  4. //
  5. // Licensed under the Apache License, Version 2.0 <http://www.apache.org/licenses/LICENSE-2.0> or
  6. // the MIT license <http://opensource.org/licenses/MIT>, at your option. This file may not be
  7. // copied, modified, or distributed except according to those terms.
  8. // The tests contained in this file are extracted from the unit tests of uBPF software. Each test
  9. // in this file has a name in the form `test_jit_<name>`, and corresponds to the (human-readable)
  10. // code in `ubpf/tree/master/tests/<name>`, available at
  11. // <https://github.com/iovisor/ubpf/tree/master/tests> (hyphen had to be replaced with underscores
  12. // as Rust will not accept them in function names). It is strongly advised to refer to the uBPF
  13. // version to understand what these program do.
  14. //
  15. // Each program was assembled from the uBPF version with the assembler provided by uBPF itself, and
  16. // available at <https://github.com/iovisor/ubpf/tree/master/ubpf>.
  17. // The very few modifications that have been realized should be indicated.
  18. // These are unit tests for the eBPF JIT compiler.
  19. #![cfg_attr(feature = "cargo-clippy", allow(unreadable_literal))]
  20. #![cfg(not(windows))]
  21. extern crate rbpf;
  22. mod common;
  23. use rbpf::helpers;
  24. use rbpf::assembler::assemble;
  25. use common::{TCP_SACK_ASM, TCP_SACK_MATCH, TCP_SACK_NOMATCH};
  26. #[test]
  27. fn test_jit_add() {
  28. let prog = assemble("
  29. mov32 r0, 0
  30. mov32 r1, 2
  31. add32 r0, 1
  32. add32 r0, r1
  33. exit").unwrap();
  34. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  35. vm.jit_compile();
  36. unsafe { assert_eq!(vm.prog_exec_jit(), 0x3); }
  37. }
  38. #[test]
  39. fn test_jit_alu64_arith() {
  40. let prog = assemble("
  41. mov r0, 0
  42. mov r1, 1
  43. mov r2, 2
  44. mov r3, 3
  45. mov r4, 4
  46. mov r5, 5
  47. mov r6, 6
  48. mov r7, 7
  49. mov r8, 8
  50. mov r9, 9
  51. add r0, 23
  52. add r0, r7
  53. sub r0, 13
  54. sub r0, r1
  55. mul r0, 7
  56. mul r0, r3
  57. div r0, 2
  58. div r0, r4
  59. exit").unwrap();
  60. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  61. vm.jit_compile();
  62. unsafe { assert_eq!(vm.prog_exec_jit(), 0x2a); }
  63. }
  64. #[test]
  65. fn test_jit_alu64_bit() {
  66. let prog = assemble("
  67. mov r0, 0
  68. mov r1, 1
  69. mov r2, 2
  70. mov r3, 3
  71. mov r4, 4
  72. mov r5, 5
  73. mov r6, 6
  74. mov r7, 7
  75. mov r8, 8
  76. or r0, r5
  77. or r0, 0xa0
  78. and r0, 0xa3
  79. mov r9, 0x91
  80. and r0, r9
  81. lsh r0, 32
  82. lsh r0, 22
  83. lsh r0, r8
  84. rsh r0, 32
  85. rsh r0, 19
  86. rsh r0, r7
  87. xor r0, 0x03
  88. xor r0, r2
  89. exit").unwrap();
  90. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  91. vm.jit_compile();
  92. unsafe { assert_eq!(vm.prog_exec_jit(), 0x11); }
  93. }
  94. #[test]
  95. fn test_jit_alu_arith() {
  96. let prog = assemble("
  97. mov32 r0, 0
  98. mov32 r1, 1
  99. mov32 r2, 2
  100. mov32 r3, 3
  101. mov32 r4, 4
  102. mov32 r5, 5
  103. mov32 r6, 6
  104. mov32 r7, 7
  105. mov32 r8, 8
  106. mov32 r9, 9
  107. add32 r0, 23
  108. add32 r0, r7
  109. sub32 r0, 13
  110. sub32 r0, r1
  111. mul32 r0, 7
  112. mul32 r0, r3
  113. div32 r0, 2
  114. div32 r0, r4
  115. exit").unwrap();
  116. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  117. vm.jit_compile();
  118. unsafe { assert_eq!(vm.prog_exec_jit(), 0x2a); }
  119. }
  120. #[test]
  121. fn test_jit_alu_bit() {
  122. let prog = assemble("
  123. mov32 r0, 0
  124. mov32 r1, 1
  125. mov32 r2, 2
  126. mov32 r3, 3
  127. mov32 r4, 4
  128. mov32 r5, 5
  129. mov32 r6, 6
  130. mov32 r7, 7
  131. mov32 r8, 8
  132. or32 r0, r5
  133. or32 r0, 0xa0
  134. and32 r0, 0xa3
  135. mov32 r9, 0x91
  136. and32 r0, r9
  137. lsh32 r0, 22
  138. lsh32 r0, r8
  139. rsh32 r0, 19
  140. rsh32 r0, r7
  141. xor32 r0, 0x03
  142. xor32 r0, r2
  143. exit").unwrap();
  144. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  145. vm.jit_compile();
  146. unsafe { assert_eq!(vm.prog_exec_jit(), 0x11); }
  147. }
  148. #[test]
  149. fn test_jit_arsh32_high_shift() {
  150. let prog = assemble("
  151. mov r0, 8
  152. lddw r1, 0x100000001
  153. arsh32 r0, r1
  154. exit").unwrap();
  155. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  156. vm.jit_compile();
  157. unsafe { assert_eq!(vm.prog_exec_jit(), 0x4); }
  158. }
  159. #[test]
  160. fn test_jit_arsh() {
  161. let prog = assemble("
  162. mov32 r0, 0xf8
  163. lsh32 r0, 28
  164. arsh32 r0, 16
  165. exit").unwrap();
  166. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  167. vm.jit_compile();
  168. unsafe { assert_eq!(vm.prog_exec_jit(), 0xffff8000); }
  169. }
  170. #[test]
  171. fn test_jit_arsh64() {
  172. let prog = assemble("
  173. mov32 r0, 1
  174. lsh r0, 63
  175. arsh r0, 55
  176. mov32 r1, 5
  177. arsh r0, r1
  178. exit").unwrap();
  179. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  180. vm.jit_compile();
  181. unsafe { assert_eq!(vm.prog_exec_jit(), 0xfffffffffffffff8); }
  182. }
  183. #[test]
  184. fn test_jit_arsh_reg() {
  185. let prog = assemble("
  186. mov32 r0, 0xf8
  187. mov32 r1, 16
  188. lsh32 r0, 28
  189. arsh32 r0, r1
  190. exit").unwrap();
  191. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  192. vm.jit_compile();
  193. unsafe { assert_eq!(vm.prog_exec_jit(), 0xffff8000); }
  194. }
  195. #[test]
  196. fn test_jit_be16() {
  197. let prog = assemble("
  198. ldxh r0, [r1]
  199. be16 r0
  200. exit").unwrap();
  201. let mem = &mut [
  202. 0x11, 0x22
  203. ];
  204. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  205. vm.jit_compile();
  206. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x1122); }
  207. }
  208. #[test]
  209. fn test_jit_be16_high() {
  210. let prog = assemble("
  211. ldxdw r0, [r1]
  212. be16 r0
  213. exit").unwrap();
  214. let mem = &mut [
  215. 0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0x88
  216. ];
  217. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  218. vm.jit_compile();
  219. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x1122); }
  220. }
  221. #[test]
  222. fn test_jit_be32() {
  223. let prog = assemble("
  224. ldxw r0, [r1]
  225. be32 r0
  226. exit").unwrap();
  227. let mem = &mut [
  228. 0x11, 0x22, 0x33, 0x44
  229. ];
  230. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  231. vm.jit_compile();
  232. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x11223344); }
  233. }
  234. #[test]
  235. fn test_jit_be32_high() {
  236. let prog = assemble("
  237. ldxdw r0, [r1]
  238. be32 r0
  239. exit").unwrap();
  240. let mem = &mut [
  241. 0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0x88
  242. ];
  243. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  244. vm.jit_compile();
  245. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x11223344); }
  246. }
  247. #[test]
  248. fn test_jit_be64() {
  249. let prog = assemble("
  250. ldxdw r0, [r1]
  251. be64 r0
  252. exit").unwrap();
  253. let mem = &mut [
  254. 0x11, 0x22, 0x33, 0x44, 0x55, 0x66, 0x77, 0x88
  255. ];
  256. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  257. vm.jit_compile();
  258. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x1122334455667788); }
  259. }
  260. #[test]
  261. fn test_jit_call() {
  262. let prog = assemble("
  263. mov r1, 1
  264. mov r2, 2
  265. mov r3, 3
  266. mov r4, 4
  267. mov r5, 5
  268. call 0
  269. exit").unwrap();
  270. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  271. vm.register_helper(0, helpers::gather_bytes);
  272. vm.jit_compile();
  273. unsafe { assert_eq!(vm.prog_exec_jit(), 0x0102030405); }
  274. }
  275. #[test]
  276. fn test_jit_call_memfrob() {
  277. let prog = assemble("
  278. mov r6, r1
  279. add r1, 2
  280. mov r2, 4
  281. call 1
  282. ldxdw r0, [r6]
  283. be64 r0
  284. exit").unwrap();
  285. let mem = &mut [
  286. 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08
  287. ];
  288. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  289. vm.register_helper(1, helpers::memfrob);
  290. vm.jit_compile();
  291. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x102292e2f2c0708); }
  292. }
  293. // TODO: helpers::trash_registers needs asm!().
  294. // Try this again once asm!() is available in stable.
  295. //#[test]
  296. //fn test_jit_call_save() {
  297. //let prog = &[
  298. //0xb7, 0x06, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00,
  299. //0xb7, 0x07, 0x00, 0x00, 0x20, 0x00, 0x00, 0x00,
  300. //0xb7, 0x08, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00,
  301. //0xb7, 0x09, 0x00, 0x00, 0x00, 0x40, 0x00, 0x00,
  302. //0x85, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00,
  303. //0xb7, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  304. //0x4f, 0x60, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  305. //0x4f, 0x70, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  306. //0x4f, 0x80, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  307. //0x4f, 0x90, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  308. //0x95, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
  309. //];
  310. //let mut vm = rbpf::EbpfVmNoData::new(prog);
  311. //vm.register_helper(2, helpers::trash_registers);
  312. //vm.jit_compile();
  313. //unsafe { assert_eq!(vm.prog_exec_jit(), 0x4321); }
  314. //}
  315. #[test]
  316. fn test_jit_div32_high_divisor() {
  317. let prog = assemble("
  318. mov r0, 12
  319. lddw r1, 0x100000004
  320. div32 r0, r1
  321. exit").unwrap();
  322. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  323. vm.jit_compile();
  324. unsafe { assert_eq!(vm.prog_exec_jit(), 0x3); }
  325. }
  326. #[test]
  327. fn test_jit_div32_imm() {
  328. let prog = assemble("
  329. lddw r0, 0x10000000c
  330. div32 r0, 4
  331. exit").unwrap();
  332. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  333. vm.jit_compile();
  334. unsafe { assert_eq!(vm.prog_exec_jit(), 0x3); }
  335. }
  336. #[test]
  337. fn test_jit_div32_reg() {
  338. let prog = assemble("
  339. lddw r0, 0x10000000c
  340. mov r1, 4
  341. div32 r0, r1
  342. exit").unwrap();
  343. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  344. vm.jit_compile();
  345. unsafe { assert_eq!(vm.prog_exec_jit(), 0x3); }
  346. }
  347. #[test]
  348. fn test_jit_div64_imm() {
  349. let prog = assemble("
  350. mov r0, 0xc
  351. lsh r0, 32
  352. div r0, 4
  353. exit").unwrap();
  354. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  355. vm.jit_compile();
  356. unsafe { assert_eq!(vm.prog_exec_jit(), 0x300000000); }
  357. }
  358. #[test]
  359. fn test_jit_div64_reg() {
  360. let prog = assemble("
  361. mov r0, 0xc
  362. lsh r0, 32
  363. mov r1, 4
  364. div r0, r1
  365. exit").unwrap();
  366. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  367. vm.jit_compile();
  368. unsafe { assert_eq!(vm.prog_exec_jit(), 0x300000000); }
  369. }
  370. #[test]
  371. fn test_jit_early_exit() {
  372. let prog = assemble("
  373. mov r0, 3
  374. exit
  375. mov r0, 4
  376. exit").unwrap();
  377. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  378. vm.jit_compile();
  379. unsafe { assert_eq!(vm.prog_exec_jit(), 0x3); }
  380. }
  381. // uBPF limits the number of user functions at 64. We don't.
  382. //#[test]
  383. //fn test_jit_err_call_bad_imm() {
  384. //}
  385. #[test]
  386. #[should_panic(expected = "[JIT] Error: unknown helper function (id: 0x3f)")]
  387. fn test_jit_err_call_unreg() {
  388. let prog = assemble("
  389. mov r1, 1
  390. mov r2, 2
  391. mov r3, 3
  392. mov r4, 4
  393. mov r5, 5
  394. call 63
  395. exit").unwrap();
  396. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  397. vm.jit_compile();
  398. unsafe { vm.prog_exec_jit(); }
  399. }
  400. // TODO: Should panic!() instead, but I could not make it panic in JIT-compiled code, so the
  401. // program returns -1 instead. We can make it write on stderr, though.
  402. #[test]
  403. //#[should_panic(expected = "[JIT] Error: division by 0")]
  404. fn test_jit_err_div64_by_zero_reg() {
  405. let prog = assemble("
  406. mov32 r0, 1
  407. mov32 r1, 0
  408. div r0, r1
  409. exit").unwrap();
  410. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  411. vm.jit_compile();
  412. unsafe { assert_eq!(vm.prog_exec_jit(), 0xffffffffffffffff); }
  413. }
  414. // TODO: Same remark as above
  415. #[test]
  416. //#[should_panic(expected = "[JIT] Error: division by 0")]
  417. fn test_jit_err_div_by_zero_reg() {
  418. let prog = assemble("
  419. mov32 r0, 1
  420. mov32 r1, 0
  421. div32 r0, r1
  422. exit").unwrap();
  423. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  424. vm.jit_compile();
  425. unsafe { assert_eq!(vm.prog_exec_jit(), 0xffffffffffffffff); }
  426. }
  427. // TODO: Same remark as above
  428. #[test]
  429. //#[should_panic(expected = "[JIT] Error: division by 0")]
  430. fn test_jit_err_mod64_by_zero_reg() {
  431. let prog = assemble("
  432. mov32 r0, 1
  433. mov32 r1, 0
  434. mod r0, r1
  435. exit").unwrap();
  436. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  437. vm.jit_compile();
  438. unsafe { assert_eq!(vm.prog_exec_jit(), 0xffffffffffffffff); }
  439. }
  440. // TODO: Same remark as above
  441. #[test]
  442. //#[should_panic(expected = "[JIT] Error: division by 0")]
  443. fn test_jit_err_mod_by_zero_reg() {
  444. let prog = assemble("
  445. mov32 r0, 1
  446. mov32 r1, 0
  447. mod32 r0, r1
  448. exit").unwrap();
  449. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  450. vm.jit_compile();
  451. unsafe { assert_eq!(vm.prog_exec_jit(), 0xffffffffffffffff); }
  452. }
  453. // TODO SKIP: JIT disabled for this testcase (stack oob check not implemented)
  454. // #[test]
  455. // #[should_panic(expected = "Error: out of bounds memory store (insn #1)")]
  456. // fn test_jit_err_stack_out_of_bound() {
  457. // let prog = &[
  458. // 0x72, 0x0a, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  459. // 0x95, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
  460. // ];
  461. // let mut vm = rbpf::EbpfVmNoData::new(prog);
  462. // vm.jit_compile();
  463. // unsafe { vm.prog_exec_jit(); }
  464. // }
  465. #[test]
  466. fn test_jit_exit() {
  467. let prog = assemble("
  468. mov r0, 0
  469. exit").unwrap();
  470. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  471. vm.jit_compile();
  472. unsafe { assert_eq!(vm.prog_exec_jit(), 0x0); }
  473. }
  474. #[test]
  475. fn test_jit_ja() {
  476. let prog = assemble("
  477. mov r0, 1
  478. ja +1
  479. mov r0, 2
  480. exit").unwrap();
  481. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  482. vm.jit_compile();
  483. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  484. }
  485. #[test]
  486. fn test_jit_jeq_imm() {
  487. let prog = assemble("
  488. mov32 r0, 0
  489. mov32 r1, 0xa
  490. jeq r1, 0xb, +4
  491. mov32 r0, 1
  492. mov32 r1, 0xb
  493. jeq r1, 0xb, +1
  494. mov32 r0, 2
  495. exit").unwrap();
  496. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  497. vm.jit_compile();
  498. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  499. }
  500. #[test]
  501. fn test_jit_jeq_reg() {
  502. let prog = assemble("
  503. mov32 r0, 0
  504. mov32 r1, 0xa
  505. mov32 r2, 0xb
  506. jeq r1, r2, +4
  507. mov32 r0, 1
  508. mov32 r1, 0xb
  509. jeq r1, r2, +1
  510. mov32 r0, 2
  511. exit").unwrap();
  512. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  513. vm.jit_compile();
  514. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  515. }
  516. #[test]
  517. fn test_jit_jge_imm() {
  518. let prog = assemble("
  519. mov32 r0, 0
  520. mov32 r1, 0xa
  521. jge r1, 0xb, +4
  522. mov32 r0, 1
  523. mov32 r1, 0xc
  524. jge r1, 0xb, +1
  525. mov32 r0, 2
  526. exit").unwrap();
  527. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  528. vm.jit_compile();
  529. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  530. }
  531. #[test]
  532. fn test_jit_jgt_imm() {
  533. let prog = assemble("
  534. mov32 r0, 0
  535. mov32 r1, 5
  536. jgt r1, 6, +2
  537. jgt r1, 5, +1
  538. jgt r1, 4, +1
  539. exit
  540. mov32 r0, 1
  541. exit").unwrap();
  542. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  543. vm.jit_compile();
  544. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  545. }
  546. #[test]
  547. fn test_jit_jgt_reg() {
  548. let prog = assemble("
  549. mov r0, 0
  550. mov r1, 5
  551. mov r2, 6
  552. mov r3, 4
  553. jgt r1, r2, +2
  554. jgt r1, r1, +1
  555. jgt r1, r3, +1
  556. exit
  557. mov r0, 1
  558. exit").unwrap();
  559. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  560. vm.jit_compile();
  561. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  562. }
  563. #[test]
  564. fn test_jit_jit_bounce() {
  565. let prog = assemble("
  566. mov r0, 1
  567. mov r6, r0
  568. mov r7, r6
  569. mov r8, r7
  570. mov r9, r8
  571. mov r0, r9
  572. exit").unwrap();
  573. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  574. vm.jit_compile();
  575. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  576. }
  577. #[test]
  578. fn test_jit_jne_reg() {
  579. let prog = assemble("
  580. mov32 r0, 0
  581. mov32 r1, 0xb
  582. mov32 r2, 0xb
  583. jne r1, r2, +4
  584. mov32 r0, 1
  585. mov32 r1, 0xa
  586. jne r1, r2, +1
  587. mov32 r0, 2
  588. exit").unwrap();
  589. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  590. vm.jit_compile();
  591. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  592. }
  593. #[test]
  594. fn test_jit_jset_imm() {
  595. let prog = assemble("
  596. mov32 r0, 0
  597. mov32 r1, 0x7
  598. jset r1, 0x8, +4
  599. mov32 r0, 1
  600. mov32 r1, 0x9
  601. jset r1, 0x8, +1
  602. mov32 r0, 2
  603. exit").unwrap();
  604. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  605. vm.jit_compile();
  606. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  607. }
  608. #[test]
  609. fn test_jit_jset_reg() {
  610. let prog = assemble("
  611. mov32 r0, 0
  612. mov32 r1, 0x7
  613. mov32 r2, 0x8
  614. jset r1, r2, +4
  615. mov32 r0, 1
  616. mov32 r1, 0x9
  617. jset r1, r2, +1
  618. mov32 r0, 2
  619. exit").unwrap();
  620. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  621. vm.jit_compile();
  622. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  623. }
  624. #[test]
  625. fn test_jit_jsge_imm() {
  626. let prog = assemble("
  627. mov32 r0, 0
  628. mov r1, -2
  629. jsge r1, -1, +5
  630. jsge r1, 0, +4
  631. mov32 r0, 1
  632. mov r1, -1
  633. jsge r1, -1, +1
  634. mov32 r0, 2
  635. exit").unwrap();
  636. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  637. vm.jit_compile();
  638. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  639. }
  640. #[test]
  641. fn test_jit_jsge_reg() {
  642. let prog = assemble("
  643. mov32 r0, 0
  644. mov r1, -2
  645. mov r2, -1
  646. mov32 r3, 0
  647. jsge r1, r2, +5
  648. jsge r1, r3, +4
  649. mov32 r0, 1
  650. mov r1, r2
  651. jsge r1, r2, +1
  652. mov32 r0, 2
  653. exit").unwrap();
  654. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  655. vm.jit_compile();
  656. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  657. }
  658. #[test]
  659. fn test_jit_jsgt_imm() {
  660. let prog = assemble("
  661. mov32 r0, 0
  662. mov r1, -2
  663. jsgt r1, -1, +4
  664. mov32 r0, 1
  665. mov32 r1, 0
  666. jsgt r1, -1, +1
  667. mov32 r0, 2
  668. exit").unwrap();
  669. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  670. vm.jit_compile();
  671. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  672. }
  673. #[test]
  674. fn test_jit_jsgt_reg() {
  675. let prog = assemble("
  676. mov32 r0, 0
  677. mov r1, -2
  678. mov r2, -1
  679. jsgt r1, r2, +4
  680. mov32 r0, 1
  681. mov32 r1, 0
  682. jsgt r1, r2, +1
  683. mov32 r0, 2
  684. exit").unwrap();
  685. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  686. vm.jit_compile();
  687. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  688. }
  689. #[test]
  690. fn test_jit_lddw() {
  691. let prog = assemble("
  692. lddw r0, 0x1122334455667788
  693. exit").unwrap();
  694. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  695. vm.jit_compile();
  696. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1122334455667788); }
  697. }
  698. #[test]
  699. fn test_jit_lddw2() {
  700. let prog = assemble("
  701. lddw r0, 0x0000000080000000
  702. exit").unwrap();
  703. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  704. vm.jit_compile();
  705. unsafe { assert_eq!(vm.prog_exec_jit(), 0x80000000); }
  706. }
  707. #[test]
  708. fn test_jit_ldxb_all() {
  709. let prog = assemble("
  710. mov r0, r1
  711. ldxb r9, [r0+0]
  712. lsh r9, 0
  713. ldxb r8, [r0+1]
  714. lsh r8, 4
  715. ldxb r7, [r0+2]
  716. lsh r7, 8
  717. ldxb r6, [r0+3]
  718. lsh r6, 12
  719. ldxb r5, [r0+4]
  720. lsh r5, 16
  721. ldxb r4, [r0+5]
  722. lsh r4, 20
  723. ldxb r3, [r0+6]
  724. lsh r3, 24
  725. ldxb r2, [r0+7]
  726. lsh r2, 28
  727. ldxb r1, [r0+8]
  728. lsh r1, 32
  729. ldxb r0, [r0+9]
  730. lsh r0, 36
  731. or r0, r1
  732. or r0, r2
  733. or r0, r3
  734. or r0, r4
  735. or r0, r5
  736. or r0, r6
  737. or r0, r7
  738. or r0, r8
  739. or r0, r9
  740. exit").unwrap();
  741. let mem = &mut [
  742. 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
  743. 0x08, 0x09
  744. ];
  745. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  746. vm.jit_compile();
  747. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x9876543210); }
  748. }
  749. #[test]
  750. fn test_jit_ldxb() {
  751. let prog = assemble("
  752. ldxb r0, [r1+2]
  753. exit").unwrap();
  754. let mem = &mut [
  755. 0xaa, 0xbb, 0x11, 0xcc, 0xdd
  756. ];
  757. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  758. vm.jit_compile();
  759. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x11); }
  760. }
  761. #[test]
  762. fn test_jit_ldxdw() {
  763. let prog = assemble("
  764. ldxdw r0, [r1+2]
  765. exit").unwrap();
  766. let mem = &mut [
  767. 0xaa, 0xbb, 0x11, 0x22, 0x33, 0x44, 0x55, 0x66,
  768. 0x77, 0x88, 0xcc, 0xdd
  769. ];
  770. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  771. vm.jit_compile();
  772. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x8877665544332211); }
  773. }
  774. #[test]
  775. fn test_jit_ldxh_all() {
  776. let prog = assemble("
  777. mov r0, r1
  778. ldxh r9, [r0+0]
  779. be16 r9
  780. lsh r9, 0
  781. ldxh r8, [r0+2]
  782. be16 r8
  783. lsh r8, 4
  784. ldxh r7, [r0+4]
  785. be16 r7
  786. lsh r7, 8
  787. ldxh r6, [r0+6]
  788. be16 r6
  789. lsh r6, 12
  790. ldxh r5, [r0+8]
  791. be16 r5
  792. lsh r5, 16
  793. ldxh r4, [r0+10]
  794. be16 r4
  795. lsh r4, 20
  796. ldxh r3, [r0+12]
  797. be16 r3
  798. lsh r3, 24
  799. ldxh r2, [r0+14]
  800. be16 r2
  801. lsh r2, 28
  802. ldxh r1, [r0+16]
  803. be16 r1
  804. lsh r1, 32
  805. ldxh r0, [r0+18]
  806. be16 r0
  807. lsh r0, 36
  808. or r0, r1
  809. or r0, r2
  810. or r0, r3
  811. or r0, r4
  812. or r0, r5
  813. or r0, r6
  814. or r0, r7
  815. or r0, r8
  816. or r0, r9
  817. exit").unwrap();
  818. let mem = &mut [
  819. 0x00, 0x00, 0x00, 0x01, 0x00, 0x02, 0x00, 0x03,
  820. 0x00, 0x04, 0x00, 0x05, 0x00, 0x06, 0x00, 0x07,
  821. 0x00, 0x08, 0x00, 0x09
  822. ];
  823. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  824. vm.jit_compile();
  825. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x9876543210); }
  826. }
  827. #[test]
  828. fn test_jit_ldxh_all2() {
  829. let prog = assemble("
  830. mov r0, r1
  831. ldxh r9, [r0+0]
  832. be16 r9
  833. ldxh r8, [r0+2]
  834. be16 r8
  835. ldxh r7, [r0+4]
  836. be16 r7
  837. ldxh r6, [r0+6]
  838. be16 r6
  839. ldxh r5, [r0+8]
  840. be16 r5
  841. ldxh r4, [r0+10]
  842. be16 r4
  843. ldxh r3, [r0+12]
  844. be16 r3
  845. ldxh r2, [r0+14]
  846. be16 r2
  847. ldxh r1, [r0+16]
  848. be16 r1
  849. ldxh r0, [r0+18]
  850. be16 r0
  851. or r0, r1
  852. or r0, r2
  853. or r0, r3
  854. or r0, r4
  855. or r0, r5
  856. or r0, r6
  857. or r0, r7
  858. or r0, r8
  859. or r0, r9
  860. exit").unwrap();
  861. let mem = &mut [
  862. 0x00, 0x01, 0x00, 0x02, 0x00, 0x04, 0x00, 0x08,
  863. 0x00, 0x10, 0x00, 0x20, 0x00, 0x40, 0x00, 0x80,
  864. 0x01, 0x00, 0x02, 0x00
  865. ];
  866. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  867. vm.jit_compile();
  868. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x3ff); }
  869. }
  870. #[test]
  871. fn test_jit_ldxh() {
  872. let prog = assemble("
  873. ldxh r0, [r1+2]
  874. exit").unwrap();
  875. let mem = &mut [
  876. 0xaa, 0xbb, 0x11, 0x22, 0xcc, 0xdd
  877. ];
  878. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  879. vm.jit_compile();
  880. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x2211); }
  881. }
  882. #[test]
  883. fn test_jit_ldxh_same_reg() {
  884. let prog = assemble("
  885. mov r0, r1
  886. sth [r0], 0x1234
  887. ldxh r0, [r0]
  888. exit").unwrap();
  889. let mem = &mut [
  890. 0xff, 0xff
  891. ];
  892. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  893. vm.jit_compile();
  894. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x1234); }
  895. }
  896. #[test]
  897. fn test_jit_ldxw_all() {
  898. let prog = assemble("
  899. mov r0, r1
  900. ldxw r9, [r0+0]
  901. be32 r9
  902. ldxw r8, [r0+4]
  903. be32 r8
  904. ldxw r7, [r0+8]
  905. be32 r7
  906. ldxw r6, [r0+12]
  907. be32 r6
  908. ldxw r5, [r0+16]
  909. be32 r5
  910. ldxw r4, [r0+20]
  911. be32 r4
  912. ldxw r3, [r0+24]
  913. be32 r3
  914. ldxw r2, [r0+28]
  915. be32 r2
  916. ldxw r1, [r0+32]
  917. be32 r1
  918. ldxw r0, [r0+36]
  919. be32 r0
  920. or r0, r1
  921. or r0, r2
  922. or r0, r3
  923. or r0, r4
  924. or r0, r5
  925. or r0, r6
  926. or r0, r7
  927. or r0, r8
  928. or r0, r9
  929. exit").unwrap();
  930. let mem = &mut [
  931. 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x02,
  932. 0x00, 0x00, 0x00, 0x04, 0x00, 0x00, 0x00, 0x08,
  933. 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x02, 0x00,
  934. 0x00, 0x00, 0x04, 0x00, 0x00, 0x00, 0x08, 0x00,
  935. 0x00, 0x01, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00
  936. ];
  937. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  938. vm.jit_compile();
  939. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x030f0f); }
  940. }
  941. #[test]
  942. fn test_jit_ldxw() {
  943. let prog = assemble("
  944. ldxw r0, [r1+2]
  945. exit").unwrap();
  946. let mem = &mut [
  947. 0xaa, 0xbb, 0x11, 0x22, 0x33, 0x44, 0xcc, 0xdd
  948. ];
  949. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  950. vm.jit_compile();
  951. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x44332211); }
  952. }
  953. #[test]
  954. fn test_jit_le16() {
  955. let prog = assemble("
  956. ldxh r0, [r1]
  957. le16 r0
  958. exit").unwrap();
  959. let mem = &mut [
  960. 0x22, 0x11
  961. ];
  962. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  963. vm.jit_compile();
  964. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x1122); }
  965. }
  966. #[test]
  967. fn test_jit_le32() {
  968. let prog = assemble("
  969. ldxw r0, [r1]
  970. le32 r0
  971. exit").unwrap();
  972. let mem = &mut [
  973. 0x44, 0x33, 0x22, 0x11
  974. ];
  975. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  976. vm.jit_compile();
  977. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x11223344); }
  978. }
  979. #[test]
  980. fn test_jit_le64() {
  981. let prog = assemble("
  982. ldxdw r0, [r1]
  983. le64 r0
  984. exit").unwrap();
  985. let mem = &mut [
  986. 0x88, 0x77, 0x66, 0x55, 0x44, 0x33, 0x22, 0x11
  987. ];
  988. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  989. vm.jit_compile();
  990. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x1122334455667788); }
  991. }
  992. #[test]
  993. fn test_jit_lsh_reg() {
  994. let prog = assemble("
  995. mov r0, 0x1
  996. mov r7, 4
  997. lsh r0, r7
  998. exit").unwrap();
  999. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1000. vm.jit_compile();
  1001. unsafe { assert_eq!(vm.prog_exec_jit(), 0x10); }
  1002. }
  1003. #[test]
  1004. fn test_jit_mod() {
  1005. let prog = assemble("
  1006. mov32 r0, 5748
  1007. mod32 r0, 92
  1008. mov32 r1, 13
  1009. mod32 r0, r1
  1010. exit").unwrap();
  1011. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1012. vm.jit_compile();
  1013. unsafe { assert_eq!(vm.prog_exec_jit(), 0x5); }
  1014. }
  1015. #[test]
  1016. fn test_jit_mod32() {
  1017. let prog = assemble("
  1018. lddw r0, 0x100000003
  1019. mod32 r0, 3
  1020. exit").unwrap();
  1021. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1022. vm.jit_compile();
  1023. unsafe { assert_eq!(vm.prog_exec_jit(), 0x0); }
  1024. }
  1025. #[test]
  1026. fn test_jit_mod64() {
  1027. let prog = assemble("
  1028. mov32 r0, -1316649930
  1029. lsh r0, 32
  1030. or r0, 0x100dc5c8
  1031. mov32 r1, 0xdde263e
  1032. lsh r1, 32
  1033. or r1, 0x3cbef7f3
  1034. mod r0, r1
  1035. mod r0, 0x658f1778
  1036. exit").unwrap();
  1037. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1038. vm.jit_compile();
  1039. unsafe { assert_eq!(vm.prog_exec_jit(), 0x30ba5a04); }
  1040. }
  1041. #[test]
  1042. fn test_jit_mov() {
  1043. let prog = assemble("
  1044. mov32 r1, 1
  1045. mov32 r0, r1
  1046. exit").unwrap();
  1047. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1048. vm.jit_compile();
  1049. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  1050. }
  1051. #[test]
  1052. fn test_jit_mul32_imm() {
  1053. let prog = assemble("
  1054. mov r0, 3
  1055. mul32 r0, 4
  1056. exit").unwrap();
  1057. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1058. vm.jit_compile();
  1059. unsafe { assert_eq!(vm.prog_exec_jit(), 0xc); }
  1060. }
  1061. #[test]
  1062. fn test_jit_mul32_reg() {
  1063. let prog = assemble("
  1064. mov r0, 3
  1065. mov r1, 4
  1066. mul32 r0, r1
  1067. exit").unwrap();
  1068. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1069. vm.jit_compile();
  1070. unsafe { assert_eq!(vm.prog_exec_jit(), 0xc); }
  1071. }
  1072. #[test]
  1073. fn test_jit_mul32_reg_overflow() {
  1074. let prog = assemble("
  1075. mov r0, 0x40000001
  1076. mov r1, 4
  1077. mul32 r0, r1
  1078. exit").unwrap();
  1079. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1080. vm.jit_compile();
  1081. unsafe { assert_eq!(vm.prog_exec_jit(), 0x4); }
  1082. }
  1083. #[test]
  1084. fn test_jit_mul64_imm() {
  1085. let prog = assemble("
  1086. mov r0, 0x40000001
  1087. mul r0, 4
  1088. exit").unwrap();
  1089. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1090. vm.jit_compile();
  1091. unsafe { assert_eq!(vm.prog_exec_jit(), 0x100000004); }
  1092. }
  1093. #[test]
  1094. fn test_jit_mul64_reg() {
  1095. let prog = assemble("
  1096. mov r0, 0x40000001
  1097. mov r1, 4
  1098. mul r0, r1
  1099. exit").unwrap();
  1100. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1101. vm.jit_compile();
  1102. unsafe { assert_eq!(vm.prog_exec_jit(), 0x100000004); }
  1103. }
  1104. #[test]
  1105. fn test_jit_mul_loop() {
  1106. let prog = assemble("
  1107. mov r0, 0x7
  1108. add r1, 0xa
  1109. lsh r1, 0x20
  1110. rsh r1, 0x20
  1111. jeq r1, 0x0, +4
  1112. mov r0, 0x7
  1113. mul r0, 0x7
  1114. add r1, -1
  1115. jne r1, 0x0, -3
  1116. exit").unwrap();
  1117. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1118. vm.jit_compile();
  1119. unsafe { assert_eq!(vm.prog_exec_jit(), 0x75db9c97); }
  1120. }
  1121. #[test]
  1122. fn test_jit_neg64() {
  1123. let prog = assemble("
  1124. mov32 r0, 2
  1125. neg r0
  1126. exit").unwrap();
  1127. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1128. vm.jit_compile();
  1129. unsafe { assert_eq!(vm.prog_exec_jit(), 0xfffffffffffffffe); }
  1130. }
  1131. #[test]
  1132. fn test_jit_neg() {
  1133. let prog = assemble("
  1134. mov32 r0, 2
  1135. neg32 r0
  1136. exit").unwrap();
  1137. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1138. vm.jit_compile();
  1139. unsafe { assert_eq!(vm.prog_exec_jit(), 0xfffffffe); }
  1140. }
  1141. #[test]
  1142. fn test_jit_prime() {
  1143. let prog = assemble("
  1144. mov r1, 67
  1145. mov r0, 0x1
  1146. mov r2, 0x2
  1147. jgt r1, 0x2, +4
  1148. ja +10
  1149. add r2, 0x1
  1150. mov r0, 0x1
  1151. jge r2, r1, +7
  1152. mov r3, r1
  1153. div r3, r2
  1154. mul r3, r2
  1155. mov r4, r1
  1156. sub r4, r3
  1157. mov r0, 0x0
  1158. jne r4, 0x0, -10
  1159. exit").unwrap();
  1160. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1161. vm.jit_compile();
  1162. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  1163. }
  1164. #[test]
  1165. fn test_jit_rhs32() {
  1166. let prog = assemble("
  1167. xor r0, r0
  1168. sub r0, 1
  1169. rsh32 r0, 8
  1170. exit").unwrap();
  1171. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1172. vm.jit_compile();
  1173. unsafe { assert_eq!(vm.prog_exec_jit(), 0x00ffffff); }
  1174. }
  1175. #[test]
  1176. fn test_jit_rsh_reg() {
  1177. let prog = assemble("
  1178. mov r0, 0x10
  1179. mov r7, 4
  1180. rsh r0, r7
  1181. exit").unwrap();
  1182. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1183. vm.jit_compile();
  1184. unsafe { assert_eq!(vm.prog_exec_jit(), 0x1); }
  1185. }
  1186. #[test]
  1187. fn test_jit_stack() {
  1188. let prog = assemble("
  1189. mov r1, 51
  1190. stdw [r10-16], 0xab
  1191. stdw [r10-8], 0xcd
  1192. and r1, 1
  1193. lsh r1, 3
  1194. mov r2, r10
  1195. add r2, r1
  1196. ldxdw r0, [r2-16]
  1197. exit").unwrap();
  1198. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1199. vm.jit_compile();
  1200. unsafe { assert_eq!(vm.prog_exec_jit(), 0xcd); }
  1201. }
  1202. #[test]
  1203. fn test_jit_stack2() {
  1204. let prog = assemble("
  1205. stb [r10-4], 0x01
  1206. stb [r10-3], 0x02
  1207. stb [r10-2], 0x03
  1208. stb [r10-1], 0x04
  1209. mov r1, r10
  1210. mov r2, 0x4
  1211. sub r1, r2
  1212. call 1
  1213. mov r1, 0
  1214. ldxb r2, [r10-4]
  1215. ldxb r3, [r10-3]
  1216. ldxb r4, [r10-2]
  1217. ldxb r5, [r10-1]
  1218. call 0
  1219. xor r0, 0x2a2a2a2a
  1220. exit").unwrap();
  1221. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1222. vm.register_helper(0, helpers::gather_bytes);
  1223. vm.register_helper(1, helpers::memfrob);
  1224. vm.jit_compile();
  1225. unsafe { assert_eq!(vm.prog_exec_jit(), 0x01020304); }
  1226. }
  1227. #[test]
  1228. fn test_jit_stb() {
  1229. let prog = assemble("
  1230. stb [r1+2], 0x11
  1231. ldxb r0, [r1+2]
  1232. exit").unwrap();
  1233. let mem = &mut [
  1234. 0xaa, 0xbb, 0xff, 0xcc, 0xdd
  1235. ];
  1236. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  1237. vm.jit_compile();
  1238. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x11); }
  1239. }
  1240. #[test]
  1241. fn test_jit_stdw() {
  1242. let prog = assemble("
  1243. stdw [r1+2], 0x44332211
  1244. ldxdw r0, [r1+2]
  1245. exit").unwrap();
  1246. let mem = &mut [
  1247. 0xaa, 0xbb, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
  1248. 0xff, 0xff, 0xcc, 0xdd
  1249. ];
  1250. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  1251. vm.jit_compile();
  1252. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x44332211); }
  1253. }
  1254. #[test]
  1255. fn test_jit_sth() {
  1256. let prog = assemble("
  1257. sth [r1+2], 0x2211
  1258. ldxh r0, [r1+2]
  1259. exit").unwrap();
  1260. let mem = &mut [
  1261. 0xaa, 0xbb, 0xff, 0xff, 0xcc, 0xdd
  1262. ];
  1263. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  1264. vm.jit_compile();
  1265. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x2211); }
  1266. }
  1267. #[test]
  1268. fn test_jit_string_stack() {
  1269. let prog = assemble("
  1270. mov r1, 0x78636261
  1271. stxw [r10-8], r1
  1272. mov r6, 0x0
  1273. stxb [r10-4], r6
  1274. stxb [r10-12], r6
  1275. mov r1, 0x79636261
  1276. stxw [r10-16], r1
  1277. mov r1, r10
  1278. add r1, -8
  1279. mov r2, r1
  1280. call 0x4
  1281. mov r1, r0
  1282. mov r0, 0x1
  1283. lsh r1, 0x20
  1284. rsh r1, 0x20
  1285. jne r1, 0x0, +11
  1286. mov r1, r10
  1287. add r1, -8
  1288. mov r2, r10
  1289. add r2, -16
  1290. call 0x4
  1291. mov r1, r0
  1292. lsh r1, 0x20
  1293. rsh r1, 0x20
  1294. mov r0, 0x1
  1295. jeq r1, r6, +1
  1296. mov r0, 0x0
  1297. exit").unwrap();
  1298. let mut vm = rbpf::EbpfVmNoData::new(&prog);
  1299. vm.register_helper(4, helpers::strcmp);
  1300. vm.jit_compile();
  1301. unsafe { assert_eq!(vm.prog_exec_jit(), 0x0); }
  1302. }
  1303. #[test]
  1304. fn test_jit_stw() {
  1305. let prog = assemble("
  1306. stw [r1+2], 0x44332211
  1307. ldxw r0, [r1+2]
  1308. exit").unwrap();
  1309. let mem = &mut [
  1310. 0xaa, 0xbb, 0xff, 0xff, 0xff, 0xff, 0xcc, 0xdd
  1311. ];
  1312. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  1313. vm.jit_compile();
  1314. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x44332211); }
  1315. }
  1316. #[test]
  1317. fn test_jit_stxb() {
  1318. let prog = assemble("
  1319. mov32 r2, 0x11
  1320. stxb [r1+2], r2
  1321. ldxb r0, [r1+2]
  1322. exit").unwrap();
  1323. let mem = &mut [
  1324. 0xaa, 0xbb, 0xff, 0xcc, 0xdd
  1325. ];
  1326. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  1327. vm.jit_compile();
  1328. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x11); }
  1329. }
  1330. #[test]
  1331. fn test_jit_stxb_all() {
  1332. let prog = assemble("
  1333. mov r0, 0xf0
  1334. mov r2, 0xf2
  1335. mov r3, 0xf3
  1336. mov r4, 0xf4
  1337. mov r5, 0xf5
  1338. mov r6, 0xf6
  1339. mov r7, 0xf7
  1340. mov r8, 0xf8
  1341. stxb [r1], r0
  1342. stxb [r1+1], r2
  1343. stxb [r1+2], r3
  1344. stxb [r1+3], r4
  1345. stxb [r1+4], r5
  1346. stxb [r1+5], r6
  1347. stxb [r1+6], r7
  1348. stxb [r1+7], r8
  1349. ldxdw r0, [r1]
  1350. be64 r0
  1351. exit").unwrap();
  1352. let mem = &mut [
  1353. 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff
  1354. ];
  1355. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  1356. vm.jit_compile();
  1357. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0xf0f2f3f4f5f6f7f8); }
  1358. }
  1359. #[test]
  1360. fn test_jit_stxb_all2() {
  1361. let prog = assemble("
  1362. mov r0, r1
  1363. mov r1, 0xf1
  1364. mov r9, 0xf9
  1365. stxb [r0], r1
  1366. stxb [r0+1], r9
  1367. ldxh r0, [r0]
  1368. be16 r0
  1369. exit").unwrap();
  1370. let mem = &mut [
  1371. 0xff, 0xff
  1372. ];
  1373. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  1374. vm.jit_compile();
  1375. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0xf1f9); }
  1376. }
  1377. #[test]
  1378. fn test_jit_stxb_chain() {
  1379. let prog = assemble("
  1380. mov r0, r1
  1381. ldxb r9, [r0+0]
  1382. stxb [r0+1], r9
  1383. ldxb r8, [r0+1]
  1384. stxb [r0+2], r8
  1385. ldxb r7, [r0+2]
  1386. stxb [r0+3], r7
  1387. ldxb r6, [r0+3]
  1388. stxb [r0+4], r6
  1389. ldxb r5, [r0+4]
  1390. stxb [r0+5], r5
  1391. ldxb r4, [r0+5]
  1392. stxb [r0+6], r4
  1393. ldxb r3, [r0+6]
  1394. stxb [r0+7], r3
  1395. ldxb r2, [r0+7]
  1396. stxb [r0+8], r2
  1397. ldxb r1, [r0+8]
  1398. stxb [r0+9], r1
  1399. ldxb r0, [r0+9]
  1400. exit").unwrap();
  1401. let mem = &mut [
  1402. 0x2a, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  1403. 0x00, 0x00
  1404. ];
  1405. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  1406. vm.jit_compile();
  1407. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x2a); }
  1408. }
  1409. #[test]
  1410. fn test_jit_stxdw() {
  1411. let prog = assemble("
  1412. mov r2, -2005440939
  1413. lsh r2, 32
  1414. or r2, 0x44332211
  1415. stxdw [r1+2], r2
  1416. ldxdw r0, [r1+2]
  1417. exit").unwrap();
  1418. let mem = &mut [
  1419. 0xaa, 0xbb, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
  1420. 0xff, 0xff, 0xcc, 0xdd
  1421. ];
  1422. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  1423. vm.jit_compile();
  1424. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x8877665544332211); }
  1425. }
  1426. #[test]
  1427. fn test_jit_stxh() {
  1428. let prog = assemble("
  1429. mov32 r2, 0x2211
  1430. stxh [r1+2], r2
  1431. ldxh r0, [r1+2]
  1432. exit").unwrap();
  1433. let mem = &mut [
  1434. 0xaa, 0xbb, 0xff, 0xff, 0xcc, 0xdd
  1435. ];
  1436. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  1437. vm.jit_compile();
  1438. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x2211); }
  1439. }
  1440. #[test]
  1441. fn test_jit_stxw() {
  1442. let prog = assemble("
  1443. mov32 r2, 0x44332211
  1444. stxw [r1+2], r2
  1445. ldxw r0, [r1+2]
  1446. exit").unwrap();
  1447. let mem = &mut [
  1448. 0xaa, 0xbb, 0xff, 0xff, 0xff, 0xff, 0xcc, 0xdd
  1449. ];
  1450. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  1451. vm.jit_compile();
  1452. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x44332211); }
  1453. }
  1454. #[test]
  1455. fn test_jit_subnet() {
  1456. let prog = assemble("
  1457. mov r2, 0xe
  1458. ldxh r3, [r1+12]
  1459. jne r3, 0x81, +2
  1460. mov r2, 0x12
  1461. ldxh r3, [r1+16]
  1462. and r3, 0xffff
  1463. jne r3, 0x8, +5
  1464. add r1, r2
  1465. mov r0, 0x1
  1466. ldxw r1, [r1+16]
  1467. and r1, 0xffffff
  1468. jeq r1, 0x1a8c0, +1
  1469. mov r0, 0x0
  1470. exit").unwrap();
  1471. let mem = &mut [
  1472. 0x00, 0x00, 0xc0, 0x9f, 0xa0, 0x97, 0x00, 0xa0,
  1473. 0xcc, 0x3b, 0xbf, 0xfa, 0x08, 0x00, 0x45, 0x10,
  1474. 0x00, 0x3c, 0x46, 0x3c, 0x40, 0x00, 0x40, 0x06,
  1475. 0x73, 0x1c, 0xc0, 0xa8, 0x01, 0x02, 0xc0, 0xa8,
  1476. 0x01, 0x01, 0x06, 0x0e, 0x00, 0x17, 0x99, 0xc5,
  1477. 0xa0, 0xec, 0x00, 0x00, 0x00, 0x00, 0xa0, 0x02,
  1478. 0x7d, 0x78, 0xe0, 0xa3, 0x00, 0x00, 0x02, 0x04,
  1479. 0x05, 0xb4, 0x04, 0x02, 0x08, 0x0a, 0x00, 0x9c,
  1480. 0x27, 0x24, 0x00, 0x00, 0x00, 0x00, 0x01, 0x03,
  1481. 0x03, 0x00
  1482. ];
  1483. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  1484. vm.jit_compile();
  1485. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x1); }
  1486. }
  1487. const PROG_TCP_PORT_80: [u8;152] = [
  1488. 0x71, 0x12, 0x0c, 0x00, 0x00, 0x00, 0x00, 0x00,
  1489. 0x71, 0x13, 0x0d, 0x00, 0x00, 0x00, 0x00, 0x00,
  1490. 0x67, 0x03, 0x00, 0x00, 0x08, 0x00, 0x00, 0x00,
  1491. 0x4f, 0x23, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  1492. 0xb7, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  1493. 0x55, 0x03, 0x0c, 0x00, 0x08, 0x00, 0x00, 0x00,
  1494. 0x71, 0x12, 0x17, 0x00, 0x00, 0x00, 0x00, 0x00,
  1495. 0x55, 0x02, 0x0a, 0x00, 0x06, 0x00, 0x00, 0x00,
  1496. 0x71, 0x12, 0x0e, 0x00, 0x00, 0x00, 0x00, 0x00,
  1497. 0x07, 0x01, 0x00, 0x00, 0x0e, 0x00, 0x00, 0x00,
  1498. 0x57, 0x02, 0x00, 0x00, 0x0f, 0x00, 0x00, 0x00,
  1499. 0x67, 0x02, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00,
  1500. 0x0f, 0x21, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  1501. 0x69, 0x12, 0x02, 0x00, 0x00, 0x00, 0x00, 0x00,
  1502. 0x15, 0x02, 0x02, 0x00, 0x00, 0x50, 0x00, 0x00,
  1503. 0x69, 0x11, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
  1504. 0x55, 0x01, 0x01, 0x00, 0x00, 0x50, 0x00, 0x00,
  1505. 0xb7, 0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00,
  1506. 0x95, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
  1507. ];
  1508. #[test]
  1509. fn test_jit_tcp_port80_match() {
  1510. let mem = &mut [
  1511. 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x00, 0x06,
  1512. 0x07, 0x08, 0x09, 0x0a, 0x08, 0x00, 0x45, 0x00,
  1513. 0x00, 0x56, 0x00, 0x01, 0x00, 0x00, 0x40, 0x06,
  1514. 0xf9, 0x4d, 0xc0, 0xa8, 0x00, 0x01, 0xc0, 0xa8,
  1515. 0x00, 0x02, 0x27, 0x10, 0x00, 0x50, 0x00, 0x00,
  1516. 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x50, 0x02,
  1517. 0x20, 0x00, 0xc5, 0x18, 0x00, 0x00, 0x44, 0x44,
  1518. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1519. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1520. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1521. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1522. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1523. 0x44, 0x44, 0x44, 0x44
  1524. ];
  1525. let prog = &PROG_TCP_PORT_80;
  1526. let mut vm = rbpf::EbpfVmRaw::new(prog);
  1527. vm.jit_compile();
  1528. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x1); }
  1529. }
  1530. #[test]
  1531. fn test_jit_tcp_port80_nomatch() {
  1532. let mem = &mut [
  1533. 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x00, 0x06,
  1534. 0x07, 0x08, 0x09, 0x0a, 0x08, 0x00, 0x45, 0x00,
  1535. 0x00, 0x56, 0x00, 0x01, 0x00, 0x00, 0x40, 0x06,
  1536. 0xf9, 0x4d, 0xc0, 0xa8, 0x00, 0x01, 0xc0, 0xa8,
  1537. 0x00, 0x02, 0x00, 0x16, 0x27, 0x10, 0x00, 0x00,
  1538. 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x51, 0x02,
  1539. 0x20, 0x00, 0xc5, 0x18, 0x00, 0x00, 0x44, 0x44,
  1540. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1541. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1542. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1543. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1544. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1545. 0x44, 0x44, 0x44, 0x44
  1546. ];
  1547. let prog = &PROG_TCP_PORT_80;
  1548. let mut vm = rbpf::EbpfVmRaw::new(prog);
  1549. vm.jit_compile();
  1550. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x0); }
  1551. }
  1552. #[test]
  1553. fn test_jit_tcp_port80_nomatch_ethertype() {
  1554. let mem = &mut [
  1555. 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x00, 0x06,
  1556. 0x07, 0x08, 0x09, 0x0a, 0x08, 0x01, 0x45, 0x00,
  1557. 0x00, 0x56, 0x00, 0x01, 0x00, 0x00, 0x40, 0x06,
  1558. 0xf9, 0x4d, 0xc0, 0xa8, 0x00, 0x01, 0xc0, 0xa8,
  1559. 0x00, 0x02, 0x27, 0x10, 0x00, 0x50, 0x00, 0x00,
  1560. 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x50, 0x02,
  1561. 0x20, 0x00, 0xc5, 0x18, 0x00, 0x00, 0x44, 0x44,
  1562. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1563. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1564. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1565. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1566. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1567. 0x44, 0x44, 0x44, 0x44
  1568. ];
  1569. let prog = &PROG_TCP_PORT_80;
  1570. let mut vm = rbpf::EbpfVmRaw::new(prog);
  1571. vm.jit_compile();
  1572. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x0); }
  1573. }
  1574. #[test]
  1575. fn test_jit_tcp_port80_nomatch_proto() {
  1576. let mem = &mut [
  1577. 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x00, 0x06,
  1578. 0x07, 0x08, 0x09, 0x0a, 0x08, 0x00, 0x45, 0x00,
  1579. 0x00, 0x56, 0x00, 0x01, 0x00, 0x00, 0x40, 0x11,
  1580. 0xf9, 0x4d, 0xc0, 0xa8, 0x00, 0x01, 0xc0, 0xa8,
  1581. 0x00, 0x02, 0x27, 0x10, 0x00, 0x50, 0x00, 0x00,
  1582. 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x50, 0x02,
  1583. 0x20, 0x00, 0xc5, 0x18, 0x00, 0x00, 0x44, 0x44,
  1584. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1585. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1586. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1587. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1588. 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44, 0x44,
  1589. 0x44, 0x44, 0x44, 0x44
  1590. ];
  1591. let prog = &PROG_TCP_PORT_80;
  1592. let mut vm = rbpf::EbpfVmRaw::new(prog);
  1593. vm.jit_compile();
  1594. unsafe { assert_eq!(vm.prog_exec_jit(mem), 0x0); }
  1595. }
  1596. #[test]
  1597. fn test_jit_tcp_sack_match() {
  1598. let mut mem = TCP_SACK_MATCH.to_vec();
  1599. let prog = assemble(TCP_SACK_ASM).unwrap();
  1600. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  1601. vm.jit_compile();
  1602. unsafe { assert_eq!(vm.prog_exec_jit(mem.as_mut_slice()), 0x1); }
  1603. }
  1604. #[test]
  1605. fn test_jit_tcp_sack_nomatch() {
  1606. let mut mem = TCP_SACK_NOMATCH.to_vec();
  1607. let prog = assemble(TCP_SACK_ASM).unwrap();
  1608. let mut vm = rbpf::EbpfVmRaw::new(&prog);
  1609. vm.jit_compile();
  1610. unsafe { assert_eq!(vm.prog_exec_jit(mem.as_mut_slice()), 0x0); }
  1611. }