/
curve25519_x25519.ml
4757 lines (4559 loc) · 229 KB
/
curve25519_x25519.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
(*
* Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
* SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT-0
*)
(* ========================================================================= *)
(* The x25519 function for curve25519. *)
(* ========================================================================= *)
needs "arm/proofs/base.ml";;
needs "arm/proofs/bignum_inv_p25519.ml";;
needs "common/ecencoding.ml";;
do_list hide_constant ["X1";"X2";"X3";"X4";"X5"];;
needs "EC/curve25519.ml";;
needs "EC/formulary_xzprojective.ml";;
needs "EC/x25519.ml";;
do_list unhide_constant ["X1";"X2";"X3";"X4";"X5"];;
prioritize_int();;
prioritize_real();;
prioritize_num();;
(* ------------------------------------------------------------------------- *)
(* The code. *)
(* ------------------------------------------------------------------------- *)
(**** print_literal_from_elf "arm/curve25519/curve25519_x25519.o";;
****)
let curve25519_x25519_mc = define_assert_from_elf
"curve25519_x25519_mc" "arm/curve25519/curve25519_x25519.o"
[
0xd10603ff; (* arm_SUB SP SP (rvalue (word 384)) *)
0x6d0e27e8; (* arm_STP D8 D9 SP (Immediate_Offset (iword (&224))) *)
0x6d0f2fea; (* arm_STP D10 D11 SP (Immediate_Offset (iword (&240))) *)
0x6d1037ec; (* arm_STP D12 D13 SP (Immediate_Offset (iword (&256))) *)
0x6d113fee; (* arm_STP D14 D15 SP (Immediate_Offset (iword (&272))) *)
0xa91253f3; (* arm_STP X19 X20 SP (Immediate_Offset (iword (&288))) *)
0xa9135bf5; (* arm_STP X21 X22 SP (Immediate_Offset (iword (&304))) *)
0xa91463f7; (* arm_STP X23 X24 SP (Immediate_Offset (iword (&320))) *)
0xa9156bf9; (* arm_STP X25 X26 SP (Immediate_Offset (iword (&336))) *)
0xa91673fb; (* arm_STP X27 X28 SP (Immediate_Offset (iword (&352))) *)
0xa9177bfd; (* arm_STP X29 X30 SP (Immediate_Offset (iword (&368))) *)
0xf90063e0; (* arm_STR X0 SP (Immediate_Offset (word 192)) *)
0xa9402c2a; (* arm_LDP X10 X11 X1 (Immediate_Offset (iword (&0))) *)
0x927df14a; (* arm_AND X10 X10 (rvalue (word 18446744073709551608)) *)
0xa9002fea; (* arm_STP X10 X11 SP (Immediate_Offset (iword (&0))) *)
0xa941342c; (* arm_LDP X12 X13 X1 (Immediate_Offset (iword (&16))) *)
0xb24201ad; (* arm_ORR X13 X13 (rvalue (word 4611686018427387904)) *)
0xa90137ec; (* arm_STP X12 X13 SP (Immediate_Offset (iword (&16))) *)
0xa9400440; (* arm_LDP X0 X1 X2 (Immediate_Offset (iword (&0))) *)
0xa9410c42; (* arm_LDP X2 X3 X2 (Immediate_Offset (iword (&16))) *)
0xd373fc0c; (* arm_LSR X12 X0 51 *)
0xd373fc51; (* arm_LSR X17 X2 51 *)
0xaa01358c; (* arm_ORR X12 X12 (Shiftedreg X1 LSL 13) *)
0xaa033631; (* arm_ORR X17 X17 (Shiftedreg X3 LSL 13) *)
0xd34c9468; (* arm_UBFM X8 X3 12 37 *)
0xd366f869; (* arm_UBFM X9 X3 38 62 *)
0xd35ac80b; (* arm_UBFM X11 X0 26 50 *)
0xd34d942d; (* arm_UBFM X13 X1 13 37 *)
0xd366fc2e; (* arm_LSR X14 X1 38 *)
0xd359c850; (* arm_UBFM X16 X2 25 50 *)
0x9240640a; (* arm_AND X10 X0 (rvalue (word 67108863)) *)
0x9240658c; (* arm_AND X12 X12 (rvalue (word 67108863)) *)
0x9240604f; (* arm_AND X15 X2 (rvalue (word 33554431)) *)
0x92406231; (* arm_AND X17 X17 (rvalue (word 33554431)) *)
0xaa0b814a; (* arm_ORR X10 X10 (Shiftedreg X11 LSL 32) *)
0xaa0d818b; (* arm_ORR X11 X12 (Shiftedreg X13 LSL 32) *)
0xaa0f81cc; (* arm_ORR X12 X14 (Shiftedreg X15 LSL 32) *)
0xaa11820d; (* arm_ORR X13 X16 (Shiftedreg X17 LSL 32) *)
0xaa09810e; (* arm_ORR X14 X8 (Shiftedreg X9 LSL 32) *)
0xa9022fea; (* arm_STP X10 X11 SP (Immediate_Offset (iword (&32))) *)
0xa90337ec; (* arm_STP X12 X13 SP (Immediate_Offset (iword (&48))) *)
0xf90023ee; (* arm_STR X14 SP (Immediate_Offset (word 64)) *)
0xd2800021; (* arm_MOV X1 (rvalue (word 1)) *)
0x4e081c20; (* arm_INS_GEN Q0 X1 0 64 *)
0x4e081fe2; (* arm_INS_GEN Q2 XZR 0 64 *)
0x4e081fe4; (* arm_INS_GEN Q4 XZR 0 64 *)
0x4e081fe6; (* arm_INS_GEN Q6 XZR 0 64 *)
0x4e081fe8; (* arm_INS_GEN Q8 XZR 0 64 *)
0x4e081fe1; (* arm_INS_GEN Q1 XZR 0 64 *)
0x4e081fe3; (* arm_INS_GEN Q3 XZR 0 64 *)
0x4e081fe5; (* arm_INS_GEN Q5 XZR 0 64 *)
0x4e081fe7; (* arm_INS_GEN Q7 XZR 0 64 *)
0x4e081fe9; (* arm_INS_GEN Q9 XZR 0 64 *)
0x4e081d4a; (* arm_INS_GEN Q10 X10 0 64 *)
0x4e081d6c; (* arm_INS_GEN Q12 X11 0 64 *)
0x4e081d8e; (* arm_INS_GEN Q14 X12 0 64 *)
0x4e081db0; (* arm_INS_GEN Q16 X13 0 64 *)
0x4e081dd2; (* arm_INS_GEN Q18 X14 0 64 *)
0x4e081c2b; (* arm_INS_GEN Q11 X1 0 64 *)
0x4e081fed; (* arm_INS_GEN Q13 XZR 0 64 *)
0x4e081fef; (* arm_INS_GEN Q15 XZR 0 64 *)
0x4e081ff1; (* arm_INS_GEN Q17 XZR 0 64 *)
0x4e081ff3; (* arm_INS_GEN Q19 XZR 0 64 *)
0x52800260; (* arm_MOV W0 (rvalue (word 19)) *)
0x8b008000; (* arm_ADD X0 X0 (Shiftedreg X0 LSL 32) *)
0x4e081c1f; (* arm_INS_GEN Q31 X0 0 64 *)
0x4e181fff; (* arm_INS_GEN Q31 XZR 64 64 *)
0xb24067e0; (* arm_MOV X0 (rvalue (word 67108863)) *)
0x4e081c1e; (* arm_INS_GEN Q30 X0 0 64 *)
0x4e181c1e; (* arm_INS_GEN Q30 X0 64 64 *)
0xb21f67e0; (* arm_MOV X0 (rvalue (word 576460743847706622)) *)
0xd1012801; (* arm_SUB X1 X0 (rvalue (word 74)) *)
0xd1000800; (* arm_SUB X0 X0 (rvalue (word 2)) *)
0xa90487e0; (* arm_STP X0 X1 SP (Immediate_Offset (iword (&72))) *)
0x6d44f3fd; (* arm_LDP D29 D28 SP (Immediate_Offset (iword (&72))) *)
0xf9006bff; (* arm_STR XZR SP (Immediate_Offset (word 208)) *)
0xd2801fc0; (* arm_MOV X0 (rvalue (word 254)) *)
0xf90067e0; (* arm_STR X0 SP (Immediate_Offset (word 200)) *)
0xd346fc01; (* arm_LSR X1 X0 6 *)
0xf8617be2; (* arm_LDR X2 SP (Shiftreg_Offset X1 3) *)
0x9ac02442; (* arm_LSRV X2 X2 X0 *)
0x92400042; (* arm_AND X2 X2 (rvalue (word 1)) *)
0xf9406be0; (* arm_LDR X0 SP (Immediate_Offset (word 208)) *)
0xeb02001f; (* arm_CMP X0 X2 *)
0xf9006be2; (* arm_STR X2 SP (Immediate_Offset (word 208)) *)
0x0ea38456; (* arm_ADD_VEC Q22 Q2 Q3 32 64 *)
0x2ea18795; (* arm_SUB_VEC Q21 Q28 Q1 32 64 *)
0x0ea18419; (* arm_ADD_VEC Q25 Q0 Q1 32 64 *)
0x2ea387b8; (* arm_SUB_VEC Q24 Q29 Q3 32 64 *)
0x0eb38643; (* arm_ADD_VEC Q3 Q18 Q19 32 64 *)
0x0eb58400; (* arm_ADD_VEC Q0 Q0 Q21 32 64 *)
0x2eaf87b4; (* arm_SUB_VEC Q20 Q29 Q15 32 64 *)
0x2ea587a1; (* arm_SUB_VEC Q1 Q29 Q5 32 64 *)
0x2eab879a; (* arm_SUB_VEC Q26 Q28 Q11 32 64 *)
0x2eb387b5; (* arm_SUB_VEC Q21 Q29 Q19 32 64 *)
0x0eab8553; (* arm_ADD_VEC Q19 Q10 Q11 32 64 *)
0x0eb485cb; (* arm_ADD_VEC Q11 Q14 Q20 32 64 *)
0x0eb58655; (* arm_ADD_VEC Q21 Q18 Q21 32 64 *)
0x2eb187b4; (* arm_SUB_VEC Q20 Q29 Q17 32 64 *)
0x0eb88452; (* arm_ADD_VEC Q18 Q2 Q24 32 64 *)
0x0eaf85ce; (* arm_ADD_VEC Q14 Q14 Q15 32 64 *)
0x0eb1860f; (* arm_ADD_VEC Q15 Q16 Q17 32 64 *)
0x0eb48602; (* arm_ADD_VEC Q2 Q16 Q20 32 64 *)
0x0ead8598; (* arm_ADD_VEC Q24 Q12 Q13 32 64 *)
0x0eba855a; (* arm_ADD_VEC Q26 Q10 Q26 32 64 *)
0x2ead87aa; (* arm_SUB_VEC Q10 Q29 Q13 32 64 *)
0x2ea787ad; (* arm_SUB_VEC Q13 Q29 Q7 32 64 *)
0x0ea784d7; (* arm_ADD_VEC Q23 Q6 Q7 32 64 *)
0x2ea987a7; (* arm_SUB_VEC Q7 Q29 Q9 32 64 *)
0x0eaa859b; (* arm_ADD_VEC Q27 Q12 Q10 32 64 *)
0x1e780ed4; (* arm_FCSEL Q20 Q22 Q24 Condition_EQ 64 *)
0x0ea5849c; (* arm_ADD_VEC Q28 Q4 Q5 32 64 *)
0x1e6f0eec; (* arm_FCSEL Q12 Q23 Q15 Condition_EQ 64 *)
0x0ea78507; (* arm_ADD_VEC Q7 Q8 Q7 32 64 *)
0x1e730f30; (* arm_FCSEL Q16 Q25 Q19 Condition_EQ 64 *)
0x4e083e80; (* arm_UMOV X0 Q20 0 8 *)
0x1e6e0f85; (* arm_FCSEL Q5 Q28 Q14 Condition_EQ 64 *)
0x4e083d95; (* arm_UMOV X21 Q12 0 8 *)
0x1e750cfd; (* arm_FCSEL Q29 Q7 Q21 Condition_EQ 64 *)
0x4e083e05; (* arm_UMOV X5 Q16 0 8 *)
0xd360fc1a; (* arm_LSR X26 X0 32 *)
0x8b1502bd; (* arm_ADD X29 X21 X21 *)
0x9bbd7caf; (* arm_UMULL X15 W5 W29 *)
0x0ead84cd; (* arm_ADD_VEC Q13 Q6 Q13 32 64 *)
0x8b1a034c; (* arm_ADD X12 X26 X26 *)
0x4e083cbe; (* arm_UMOV X30 Q5 0 8 *)
0x1e7b0e4a; (* arm_FCSEL Q10 Q18 Q27 Condition_EQ 64 *)
0xd360fcab; (* arm_LSR X11 X5 32 *)
0xd360ffca; (* arm_LSR X10 X30 32 *)
0x0e836ab4; (* arm_TRN2 Q20 Q21 Q3 32 64 *)
0x0ea98509; (* arm_ADD_VEC Q9 Q8 Q9 32 64 *)
0x8b0b016e; (* arm_ADD X14 X11 X11 *)
0x0e8f6846; (* arm_TRN2 Q6 Q2 Q15 32 64 *)
0x0e802b2c; (* arm_TRN1 Q12 Q25 Q0 32 64 *)
0x0ea18481; (* arm_ADD_VEC Q1 Q4 Q1 32 64 *)
0x0e8d2af0; (* arm_TRN1 Q16 Q23 Q13 32 64 *)
0x1e620da8; (* arm_FCSEL Q8 Q13 Q2 Condition_EQ 64 *)
0x0e986b71; (* arm_TRN2 Q17 Q27 Q24 32 64 *)
0xfd0053fd; (* arm_STR D29 SP (Immediate_Offset (word 160)) *)
0x8b0a0151; (* arm_ADD X17 X10 X10 *)
0x0e816b84; (* arm_TRN2 Q4 Q28 Q1 32 64 *)
0x0e812b85; (* arm_TRN1 Q5 Q28 Q1 32 64 *)
0x0e8f285c; (* arm_TRN1 Q28 Q2 Q15 32 64 *)
0x0e922ac2; (* arm_TRN1 Q2 Q22 Q18 32 64 *)
0x1e7a0c1d; (* arm_FCSEL Q29 Q0 Q26 Condition_EQ 64 *)
0x0e926acf; (* arm_TRN2 Q15 Q22 Q18 32 64 *)
0x2eb4c196; (* arm_UMULL_VEC Q22 Q12 Q20 32 *)
0x9bb17fd6; (* arm_UMULL X22 W30 W17 *)
0x6d082bfd; (* arm_STP D29 D10 SP (Immediate_Offset (iword (&128))) *)
0x0e8d6aea; (* arm_TRN2 Q10 Q23 Q13 32 64 *)
0x0e8e6977; (* arm_TRN2 Q23 Q11 Q14 32 64 *)
0x0e982b6d; (* arm_TRN1 Q13 Q27 Q24 32 64 *)
0x1e6b0c3b; (* arm_FCSEL Q27 Q1 Q11 Condition_EQ 64 *)
0x0e8e296e; (* arm_TRN1 Q14 Q11 Q14 32 64 *)
0x2ea68056; (* arm_UMLAL_VEC Q22 Q2 Q6 32 *)
0x9bbe7fd9; (* arm_UMULL X25 W30 W30 *)
0x2eb780b6; (* arm_UMLAL_VEC Q22 Q5 Q23 32 *)
0x8b1e03c3; (* arm_ADD X3 X30 X30 *)
0x2eb18216; (* arm_UMLAL_VEC Q22 Q16 Q17 32 *)
0x0b1506be; (* arm_ADD W30 W21 (Shiftedreg W21 LSL 1) *)
0x6d0923fb; (* arm_STP D27 D8 SP (Immediate_Offset (iword (&144))) *)
0x0b1513de; (* arm_ADD W30 W30 (Shiftedreg W21 LSL 4) *)
0x0e932b4b; (* arm_TRN1 Q11 Q26 Q19 32 64 *)
0x0e936b48; (* arm_TRN2 Q8 Q26 Q19 32 64 *)
0x0e806b33; (* arm_TRN2 Q19 Q25 Q0 32 64 *)
0x0ebf9e9d; (* arm_MUL_VEC Q29 Q20 Q31 32 64 *)
0xf9404ff4; (* arm_LDR X20 SP (Immediate_Offset (word 152)) *)
0x2ea6c279; (* arm_UMULL_VEC Q25 Q19 Q6 32 *)
0x8b000001; (* arm_ADD X1 X0 X0 *)
0x2eb7c27b; (* arm_UMULL_VEC Q27 Q19 Q23 32 *)
0x9ba17ca9; (* arm_UMULL X9 W5 W1 *)
0x2eb7c180; (* arm_UMULL_VEC Q0 Q12 Q23 32 *)
0xd360fe98; (* arm_LSR X24 X20 32 *)
0x0ebf9ef4; (* arm_MUL_VEC Q20 Q23 Q31 32 64 *)
0xd360feb0; (* arm_LSR X16 X21 32 *)
0x2eb781f9; (* arm_UMLAL_VEC Q25 Q15 Q23 32 *)
0x9bae256d; (* arm_UMADDL X13 W11 W14 X9 *)
0x2eb18099; (* arm_UMLAL_VEC Q25 Q4 Q17 32 *)
0x9bb13dc9; (* arm_UMADDL X9 W14 W17 X15 *)
0x2ea6c198; (* arm_UMULL_VEC Q24 Q12 Q6 32 *)
0x0b100602; (* arm_ADD W2 W16 (Shiftedreg W16 LSL 1) *)
0x1e630d3a; (* arm_FCSEL Q26 Q9 Q3 Condition_EQ 64 *)
0x0b101042; (* arm_ADD W2 W2 (Shiftedreg W16 LSL 4) *)
0x0e832ab2; (* arm_TRN1 Q18 Q21 Q3 32 64 *)
0x2ebdc263; (* arm_UMULL_VEC Q3 Q19 Q29 32 *)
0x9ba37cbc; (* arm_UMULL X28 W5 W3 *)
0x0ebf9cc1; (* arm_MUL_VEC Q1 Q6 Q31 32 64 *)
0x9ba57ca8; (* arm_UMULL X8 W5 W5 *)
0x2eb78058; (* arm_UMLAL_VEC Q24 Q2 Q23 32 *)
0x9bbe36ad; (* arm_UMADDL X13 W21 W30 X13 *)
0x0ebf9e37; (* arm_MUL_VEC Q23 Q17 Q31 32 64 *)
0x9bac71db; (* arm_UMADDL X27 W14 W12 X28 *)
0x0e876926; (* arm_TRN2 Q6 Q9 Q7 32 64 *)
0x4e083f46; (* arm_UMOV X6 Q26 0 8 *)
0x2ea181e3; (* arm_UMLAL_VEC Q3 Q15 Q1 32 *)
0x8b100210; (* arm_ADD X16 X16 X16 *)
0x2eb48083; (* arm_UMLAL_VEC Q3 Q4 Q20 32 *)
0xd360fcc4; (* arm_LSR X4 X6 32 *)
0x2eb78143; (* arm_UMLAL_VEC Q3 Q10 Q23 32 *)
0x8b0600c7; (* arm_ADD X7 X6 X6 *)
0x2ea8c27a; (* arm_UMULL_VEC Q26 Q19 Q8 32 *)
0x8b040097; (* arm_ADD X23 X4 X4 *)
0x9bb758bc; (* arm_UMADDL X28 W5 W23 X22 *)
0x0e872927; (* arm_TRN1 Q7 Q9 Q7 32 64 *)
0x2eb181fb; (* arm_UMLAL_VEC Q27 Q15 Q17 32 *)
0x0b04048f; (* arm_ADD W15 W4 (Shiftedreg W4 LSL 1) *)
0x2ea8809b; (* arm_UMLAL_VEC Q27 Q4 Q8 32 *)
0x0b0411ef; (* arm_ADD W15 W15 (Shiftedreg W4 LSL 4) *)
0x0b0a0556; (* arm_ADD W22 W10 (Shiftedreg W10 LSL 1) *)
0x2eb180b8; (* arm_UMLAL_VEC Q24 Q5 Q17 32 *)
0x0b0a12d6; (* arm_ADD W22 W22 (Shiftedreg W10 LSL 4) *)
0x9ba7716a; (* arm_UMADDL X10 W11 W7 X28 *)
0x2ea88159; (* arm_UMLAL_VEC Q25 Q10 Q8 32 *)
0x9bb07cb5; (* arm_UMULL X21 W5 W16 *)
0x2ebd80d9; (* arm_UMLAL_VEC Q25 Q6 Q29 32 *)
0x9bb765f7; (* arm_UMADDL X23 W15 W23 X25 *)
0x2ebd815b; (* arm_UMLAL_VEC Q27 Q10 Q29 32 *)
0x9bac7cb3; (* arm_UMULL X19 W5 W12 *)
0x2ea180db; (* arm_UMLAL_VEC Q27 Q6 Q1 32 *)
0x9bbd5579; (* arm_UMADDL X25 W11 W29 X21 *)
0x2eb18040; (* arm_UMLAL_VEC Q0 Q2 Q17 32 *)
0x9ba3241c; (* arm_UMADDL X28 W0 W3 X9 *)
0x4f415735; (* arm_SHL_VEC Q21 Q25 1 64 128 *)
0x9ba14d64; (* arm_UMADDL X4 W11 W1 X19 *)
0x9bbd1055; (* arm_UMADDL X21 W2 W29 X4 *)
0x0ebf9d19; (* arm_MUL_VEC Q25 Q8 Q31 32 64 *)
0x2ea88218; (* arm_UMLAL_VEC Q24 Q16 Q8 32 *)
0x9bb16413; (* arm_UMADDL X19 W0 W17 X25 *)
0x2ebd80f8; (* arm_UMLAL_VEC Q24 Q7 Q29 32 *)
0x9bb17cb9; (* arm_UMULL X25 W5 W17 *)
0x2ebc8278; (* arm_UMLAL_VEC Q24 Q19 Q28 32 *)
0x9bb02804; (* arm_UMADDL X4 W0 W16 X10 *)
0x2ea8c189; (* arm_UMULL_VEC Q9 Q12 Q8 32 *)
0x9ba75cb7; (* arm_UMADDL X23 W5 W7 X23 *)
0x2eb28195; (* arm_UMLAL_VEC Q21 Q12 Q18 32 *)
0x0b0604ca; (* arm_ADD W10 W6 (Shiftedreg W6 LSL 1) *)
0x4f41577b; (* arm_SHL_VEC Q27 Q27 1 64 128 *)
0x0b06114a; (* arm_ADD W10 W10 (Shiftedreg W6 LSL 4) *)
0x9bac735c; (* arm_UMADDL X28 W26 W12 X28 *)
0x2ebd81fa; (* arm_UMLAL_VEC Q26 Q15 Q29 32 *)
0x9bb05dc9; (* arm_UMADDL X9 W14 W16 X23 *)
0x2ebd8049; (* arm_UMLAL_VEC Q9 Q2 Q29 32 *)
0x9bb122d6; (* arm_UMADDL X22 W22 W17 X8 *)
0x2ebc8055; (* arm_UMLAL_VEC Q21 Q2 Q28 32 *)
0x9baa70dc; (* arm_UMADDL X28 W6 W10 X28 *)
0x9ba06c1b; (* arm_UMADDL X27 W0 W0 X27 *)
0x8b0e01c8; (* arm_ADD X8 X14 X14 *)
0x2ea880a0; (* arm_UMLAL_VEC Q0 Q5 Q8 32 *)
0x9bae7ca5; (* arm_UMULL X5 W5 W14 *)
0x2ea180a9; (* arm_UMLAL_VEC Q9 Q5 Q1 32 *)
0x9bbd240e; (* arm_UMADDL X14 W0 W29 X9 *)
0x2ea1809a; (* arm_UMLAL_VEC Q26 Q4 Q1 32 *)
0x9bb06c46; (* arm_UMADDL X6 W2 W16 X27 *)
0x2ea880f6; (* arm_UMLAL_VEC Q22 Q7 Q8 32 *)
0x9bb117c5; (* arm_UMADDL X5 W30 W17 X5 *)
0x9ba31445; (* arm_UMADDL X5 W2 W3 X5 *)
0x8b110237; (* arm_ADD X23 X17 X17 *)
0x2ebc819b; (* arm_UMLAL_VEC Q27 Q12 Q28 32 *)
0x9bb7344d; (* arm_UMADDL X13 W2 W23 X13 *)
0x2eb4815a; (* arm_UMLAL_VEC Q26 Q10 Q20 32 *)
0x8b0c0189; (* arm_ADD X9 X12 X12 *)
0x2eb48209; (* arm_UMLAL_VEC Q9 Q16 Q20 32 *)
0x9bbd195b; (* arm_UMADDL X27 W10 W29 X6 *)
0x2ebd8200; (* arm_UMLAL_VEC Q0 Q16 Q29 32 *)
0x9ba36566; (* arm_UMADDL X6 W11 W3 X25 *)
0x2eb28276; (* arm_UMLAL_VEC Q22 Q19 Q18 32 *)
0x9ba34f53; (* arm_UMADDL X19 W26 W3 X19 *)
0x0ebf9e52; (* arm_MUL_VEC Q18 Q18 Q31 32 64 *)
0x9bb76df7; (* arm_UMADDL X23 W15 W23 X27 *)
0x2eb980c3; (* arm_UMLAL_VEC Q3 Q6 Q25 32 *)
0x9bac1800; (* arm_UMADDL X0 W0 W12 X6 *)
0x2ea180e0; (* arm_UMLAL_VEC Q0 Q7 Q1 32 *)
0x8b10020b; (* arm_ADD X11 X16 X16 *)
0x2eb780e9; (* arm_UMLAL_VEC Q9 Q7 Q23 32 *)
0x9bb13986; (* arm_UMADDL X6 W12 W17 X14 *)
0x2eab8269; (* arm_UMLAL_VEC Q9 Q19 Q11 32 *)
0x9bbd1359; (* arm_UMADDL X25 W26 W29 X4 *)
0x2eb281e9; (* arm_UMLAL_VEC Q9 Q15 Q18 32 *)
0x9ba3354e; (* arm_UMADDL X14 W10 W3 X13 *)
0x2eb1c199; (* arm_UMULL_VEC Q25 Q12 Q17 32 *)
0x9bb0015b; (* arm_UMADDL X27 W10 W16 X0 *)
0x2eb780da; (* arm_UMLAL_VEC Q26 Q6 Q23 32 *)
0x8b466b20; (* arm_ADD X0 X25 (Shiftedreg X6 LSR 26) *)
0x0ebf9f97; (* arm_MUL_VEC Q23 Q28 Q31 32 64 *)
0x9bac154c; (* arm_UMADDL X12 W10 W12 X5 *)
0x4f415463; (* arm_SHL_VEC Q3 Q3 1 64 128 *)
0x8b4066d0; (* arm_ADD X16 X22 (Shiftedreg X0 LSR 25) *)
0x2eae80b5; (* arm_UMLAL_VEC Q21 Q5 Q14 32 *)
0x92679816; (* arm_AND X22 X0 (rvalue (word 18446744073675997184)) *)
0x2eab8183; (* arm_UMLAL_VEC Q3 Q12 Q11 32 *)
0x8b56621a; (* arm_ADD X26 X16 (Shiftedreg X22 LSR 24) *)
0x2eb28043; (* arm_UMLAL_VEC Q3 Q2 Q18 32 *)
0x9bb15550; (* arm_UMADDL X16 W10 W17 X21 *)
0x2eb780a3; (* arm_UMLAL_VEC Q3 Q5 Q23 32 *)
0x8b565756; (* arm_ADD X22 X26 (Shiftedreg X22 LSR 21) *)
0x2eb78089; (* arm_UMLAL_VEC Q9 Q4 Q23 32 *)
0x9bbd6de5; (* arm_UMADDL X5 W15 W29 X27 *)
0x2eb1c271; (* arm_UMULL_VEC Q17 Q19 Q17 32 *)
0x9ba35bd1; (* arm_UMADDL X17 W30 W3 X22 *)
0x2ea88059; (* arm_UMLAL_VEC Q25 Q2 Q8 32 *)
0x9ba341f9; (* arm_UMADDL X25 W15 W3 X16 *)
0x2ebd80b9; (* arm_UMLAL_VEC Q25 Q5 Q29 32 *)
0x9ba74dfa; (* arm_UMADDL X26 W15 W7 X19 *)
0x2eae8260; (* arm_UMLAL_VEC Q0 Q19 Q14 32 *)
0x9ba94451; (* arm_UMADDL X17 W2 W9 X17 *)
0x2ea881f1; (* arm_UMLAL_VEC Q17 Q15 Q8 32 *)
0xf94043f3; (* arm_LDR X19 SP (Immediate_Offset (word 128)) *)
0x2ebd8091; (* arm_UMLAL_VEC Q17 Q4 Q29 32 *)
0xf94047e7; (* arm_LDR X7 SP (Immediate_Offset (word 136)) *)
0x4f41575d; (* arm_SHL_VEC Q29 Q26 1 64 128 *)
0x9ba1454d; (* arm_UMADDL X13 W10 W1 X17 *)
0x2ead81e0; (* arm_UMLAL_VEC Q0 Q15 Q13 32 *)
0xd360fe62; (* arm_LSR X2 X19 32 *)
0x2ead819d; (* arm_UMLAL_VEC Q29 Q12 Q13 32 *)
0x9ba131fb; (* arm_UMADDL X27 W15 W1 X12 *)
0x2eab805d; (* arm_UMLAL_VEC Q29 Q2 Q11 32 *)
0x9ba835fe; (* arm_UMADDL X30 W15 W8 X13 *)
0x2eb280bd; (* arm_UMLAL_VEC Q29 Q5 Q18 32 *)
0x8b0700e4; (* arm_ADD X4 X7 X7 *)
0x2eb7821d; (* arm_UMLAL_VEC Q29 Q16 Q23 32 *)
0x9ba939fd; (* arm_UMADDL X29 W15 W9 X14 *)
0x2eab8080; (* arm_UMLAL_VEC Q0 Q4 Q11 32 *)
0x8b5e6b71; (* arm_ADD X17 X27 (Shiftedreg X30 LSR 26) *)
0x2eb28140; (* arm_UMLAL_VEC Q0 Q10 Q18 32 *)
0x9bab71f0; (* arm_UMADDL X16 W15 W11 X28 *)
0x2eb780c0; (* arm_UMLAL_VEC Q0 Q6 Q23 32 *)
0x8b5167a1; (* arm_ADD X1 X29 (Shiftedreg X17 LSR 25) *)
0x2ea18219; (* arm_UMLAL_VEC Q25 Q16 Q1 32 *)
0x9ba47e6b; (* arm_UMULL X11 W19 W4 *)
0xf94053e8; (* arm_LDR X8 SP (Immediate_Offset (word 160)) *)
0x0ebf9dda; (* arm_MUL_VEC Q26 Q14 Q31 32 64 *)
0x2ea18151; (* arm_UMLAL_VEC Q17 Q10 Q1 32 *)
0xf9404bef; (* arm_LDR X15 SP (Immediate_Offset (word 144)) *)
0x2eb480d1; (* arm_UMLAL_VEC Q17 Q6 Q20 32 *)
0x924067c9; (* arm_AND X9 X30 (rvalue (word 67108863)) *)
0xb3606229; (* arm_BFM X9 X17 32 24 *)
0x8b020051; (* arm_ADD X17 X2 X2 *)
0xd360fdea; (* arm_LSR X10 X15 32 *)
0x8b416b3b; (* arm_ADD X27 X25 (Shiftedreg X1 LSR 26) *)
0x2eb480f9; (* arm_UMLAL_VEC Q25 Q7 Q20 32 *)
0x8b0a014d; (* arm_ADD X13 X10 X10 *)
0x2ead8279; (* arm_UMLAL_VEC Q25 Q19 Q13 32 *)
0x8b5b66fd; (* arm_ADD X29 X23 (Shiftedreg X27 LSR 25) *)
0x2eab81f9; (* arm_UMLAL_VEC Q25 Q15 Q11 32 *)
0xd360fd1e; (* arm_LSR X30 X8 32 *)
0x2eb28099; (* arm_UMLAL_VEC Q25 Q4 Q18 32 *)
0x8b5d68b7; (* arm_ADD X23 X5 (Shiftedreg X29 LSR 26) *)
0x2eb78159; (* arm_UMLAL_VEC Q25 Q10 Q23 32 *)
0x924067ae; (* arm_AND X14 X29 (rvalue (word 67108863)) *)
0x2eba80d9; (* arm_UMLAL_VEC Q25 Q6 Q26 32 *)
0x8b576605; (* arm_ADD X5 X16 (Shiftedreg X23 LSR 25) *)
0x4f415628; (* arm_SHL_VEC Q8 Q17 1 64 128 *)
0x9bb12c4c; (* arm_UMADDL X12 W2 W17 X11 *)
0x924064bd; (* arm_AND X29 X5 (rvalue (word 67108863)) *)
0x9bb37e75; (* arm_UMULL X21 W19 W19 *)
0x2eba80fd; (* arm_UMLAL_VEC Q29 Q7 Q26 32 *)
0x0b0a0550; (* arm_ADD W16 W10 (Shiftedreg W10 LSL 1) *)
0x2eba8203; (* arm_UMLAL_VEC Q3 Q16 Q26 32 *)
0x0b0a1210; (* arm_ADD W16 W16 (Shiftedreg W10 LSL 4) *)
0xb36062ee; (* arm_BFM X14 X23 32 24 *)
0x0b18070a; (* arm_ADD W10 W24 (Shiftedreg W24 LSL 1) *)
0x8b456b56; (* arm_ADD X22 X26 (Shiftedreg X5 LSR 26) *)
0x0b18114a; (* arm_ADD W10 W10 (Shiftedreg W24 LSL 4) *)
0x2eae8188; (* arm_UMLAL_VEC Q8 Q12 Q14 32 *)
0x9bad5619; (* arm_UMADDL X25 W16 W13 X21 *)
0x2ead8048; (* arm_UMLAL_VEC Q8 Q2 Q13 32 *)
0xb36062dd; (* arm_BFM X29 X22 32 24 *)
0x2eab80a8; (* arm_UMLAL_VEC Q8 Q5 Q11 32 *)
0x8b18031a; (* arm_ADD X26 X24 X24 *)
0x2eb28208; (* arm_UMLAL_VEC Q8 Q16 Q18 32 *)
0xa906f7ee; (* arm_STP X14 X29 SP (Immediate_Offset (iword (&104))) *)
0x2eb780e8; (* arm_UMLAL_VEC Q8 Q7 Q23 32 *)
0x0b1e07d8; (* arm_ADD W24 W30 (Shiftedreg W30 LSL 1) *)
0x6f6617b9; (* arm_USRA_VEC Q25 Q29 26 64 128 *)
0x0b1e1318; (* arm_ADD W24 W24 (Shiftedreg W30 LSL 4) *)
0x9baf7dfd; (* arm_UMULL X29 W15 W15 *)
0x2eae805b; (* arm_UMLAL_VEC Q27 Q2 Q14 32 *)
0x9bad7de3; (* arm_UMULL X3 W15 W13 *)
0x2ead80bb; (* arm_UMLAL_VEC Q27 Q5 Q13 32 *)
0x8b140295; (* arm_ADD X21 X20 X20 *)
0x2eae81f8; (* arm_UMLAL_VEC Q24 Q15 Q14 32 *)
0x9bb57e65; (* arm_UMULL X5 W19 W21 *)
0x2ead8098; (* arm_UMLAL_VEC Q24 Q4 Q13 32 *)
0x9240642b; (* arm_AND X11 X1 (rvalue (word 67108863)) *)
0x6f671728; (* arm_USRA_VEC Q8 Q25 25 64 128 *)
0x92406001; (* arm_AND X1 X0 (rvalue (word 33554431)) *)
0x2eab821b; (* arm_UMLAL_VEC Q27 Q16 Q11 32 *)
0x9bad1637; (* arm_UMADDL X23 W17 W13 X5 *)
0x2eb280fb; (* arm_UMLAL_VEC Q27 Q7 Q18 32 *)
0x8b1e03c5; (* arm_ADD X5 X30 X30 *)
0x6f661500; (* arm_USRA_VEC Q0 Q8 26 64 128 *)
0x8b0f01e0; (* arm_ADD X0 X15 X15 *)
0x2eab8158; (* arm_UMLAL_VEC Q24 Q10 Q11 32 *)
0x9ba05cf7; (* arm_UMADDL X23 W7 W0 X23 *)
0x2eb280d8; (* arm_UMLAL_VEC Q24 Q6 Q18 32 *)
0xd360fcfe; (* arm_LSR X30 X7 32 *)
0x6f67141b; (* arm_USRA_VEC Q27 Q0 25 64 128 *)
0x8b1e03d0; (* arm_ADD X16 X30 X30 *)
0x4e3e1d14; (* arm_AND_VEC Q20 Q8 Q30 128 *)
0x9bb05fcf; (* arm_UMADDL X15 W30 W16 X23 *)
0x6f7f07d7; (* arm_USHR_VEC Q23 Q30 1 64 128 *)
0x0b080517; (* arm_ADD W23 W8 (Shiftedreg W8 LSL 1) *)
0x6f661778; (* arm_USRA_VEC Q24 Q27 26 64 128 *)
0x0b0812f7; (* arm_ADD W23 W23 (Shiftedreg W8 LSL 4) *)
0x9ba50e6e; (* arm_UMADDL X14 W19 W5 X3 *)
0x4e3e1f68; (* arm_AND_VEC Q8 Q27 Q30 128 *)
0x8b08011c; (* arm_ADD X28 X8 X8 *)
0x4e371c1b; (* arm_AND_VEC Q27 Q0 Q23 128 *)
0x9bb73d08; (* arm_UMADDL X8 W8 W23 X15 *)
0x4e371f05; (* arm_AND_VEC Q5 Q24 Q23 128 *)
0x9bbc3843; (* arm_UMADDL X3 W2 W28 X14 *)
0x2ebc81f6; (* arm_UMLAL_VEC Q22 Q15 Q28 32 *)
0xb360636b; (* arm_BFM X11 X27 32 24 *)
0x4e851905; (* arm_UZP1 Q5 Q8 Q5 32 *)
0x9ba5770e; (* arm_UMADDL X14 W24 W5 X29 *)
0x9bbc3a65; (* arm_UMADDL X5 W19 W28 X14 *)
0xfd4027f2; (* arm_LDR D18 SP (Immediate_Offset (word 72)) *)
0x6e180652; (* arm_INS Q18 Q18 64 0 64 64 *)
0x9bba0cef; (* arm_UMADDL X15 W7 W26 X3 *)
0x0ebf9dac; (* arm_MUL_VEC Q12 Q13 Q31 32 64 *)
0x2ead8215; (* arm_UMLAL_VEC Q21 Q16 Q13 32 *)
0xa905afe9; (* arm_STP X9 X11 SP (Immediate_Offset (iword (&88))) *)
0x2eab80f5; (* arm_UMLAL_VEC Q21 Q7 Q11 32 *)
0x9bba163d; (* arm_UMADDL X29 W17 W26 X5 *)
0x2eae8096; (* arm_UMLAL_VEC Q22 Q4 Q14 32 *)
0x0b14068e; (* arm_ADD W14 W20 (Shiftedreg W20 LSL 1) *)
0x2ead8156; (* arm_UMLAL_VEC Q22 Q10 Q13 32 *)
0x0b1411ce; (* arm_ADD W14 W14 (Shiftedreg W20 LSL 4) *)
0x9ba07e63; (* arm_UMULL X3 W19 W0 *)
0x2eab80d6; (* arm_UMLAL_VEC Q22 Q6 Q11 32 *)
0x9bb574fd; (* arm_UMADDL X29 W7 W21 X29 *)
0x6f671715; (* arm_USRA_VEC Q21 Q24 25 64 128 *)
0x9bae328b; (* arm_UMADDL X11 W20 W14 X12 *)
0x4e371f20; (* arm_AND_VEC Q0 Q25 Q23 128 *)
0x9bb53fc5; (* arm_UMADDL X5 W30 W21 X15 *)
0x4e3e1fae; (* arm_AND_VEC Q14 Q29 Q30 128 *)
0x9bad760c; (* arm_UMADDL X12 W16 W13 X29 *)
0x6f6616b6; (* arm_USRA_VEC Q22 Q21 26 64 128 *)
0x9bb00e3d; (* arm_UMADDL X29 W17 W16 X3 *)
0x2eac80e3; (* arm_UMLAL_VEC Q3 Q7 Q12 32 *)
0x8b1a0349; (* arm_ADD X9 X26 X26 *)
0x4e3e1ea1; (* arm_AND_VEC Q1 Q21 Q30 128 *)
0x8b4c68bb; (* arm_ADD X27 X5 (Shiftedreg X12 LSR 26) *)
0x4e771ec8; (* arm_BIC_VEC Q8 Q22 Q23 128 *)
0x9ba774fd; (* arm_UMADDL X29 W7 W7 X29 *)
0x4e371ed1; (* arm_AND_VEC Q17 Q22 Q23 128 *)
0x8b5b6725; (* arm_ADD X5 X25 (Shiftedreg X27 LSR 25) *)
0x6f671503; (* arm_USRA_VEC Q3 Q8 25 64 128 *)
0x9ba92319; (* arm_UMADDL X25 W24 W9 X8 *)
0x2eba8149; (* arm_UMLAL_VEC Q9 Q10 Q26 32 *)
0x8b0d01a8; (* arm_ADD X8 X13 X13 *)
0x4e912836; (* arm_TRN1 Q22 Q1 Q17 32 128 *)
0x9ba82d4b; (* arm_UMADDL X11 W10 W8 X11 *)
0x6f681503; (* arm_USRA_VEC Q3 Q8 24 64 128 *)
0x9bb07e74; (* arm_UMULL X20 W19 W16 *)
0x0eb286da; (* arm_ADD_VEC Q26 Q22 Q18 32 64 *)
0xfd402bfc; (* arm_LDR D28 SP (Immediate_Offset (word 80)) *)
0x2eac80c9; (* arm_UMLAL_VEC Q9 Q6 Q12 32 *)
0x9ba02ee3; (* arm_UMADDL X3 W23 W0 X11 *)
0x6f6b1503; (* arm_USRA_VEC Q3 Q8 21 64 128 *)
0x9bba755d; (* arm_UMADDL X29 W10 W26 X29 *)
0x4e9b1a8b; (* arm_UZP1 Q11 Q20 Q27 32 *)
0x9ba45054; (* arm_UMADDL X20 W2 W4 X20 *)
0x9bb55149; (* arm_UMADDL X9 W10 W21 X20 *)
0x6e0846d1; (* arm_INS Q17 Q22 0 64 64 128 *)
0x6f661469; (* arm_USRA_VEC Q9 Q3 26 64 128 *)
0x9bad7e6f; (* arm_UMULL X15 W19 W13 *)
0x4e3e1c67; (* arm_AND_VEC Q7 Q3 Q30 128 *)
0x8b10020b; (* arm_ADD X11 X16 X16 *)
0x4e855961; (* arm_UZP2 Q1 Q11 Q5 32 *)
0x9bad26f4; (* arm_UMADDL X20 W23 W13 X9 *)
0x4e371d28; (* arm_AND_VEC Q8 Q9 Q23 128 *)
0x9ba03c49; (* arm_UMADDL X9 W2 W0 X15 *)
0x6f67152e; (* arm_USRA_VEC Q14 Q9 25 64 128 *)
0x924064c6; (* arm_AND X6 X6 (rvalue (word 67108863)) *)
0x4e8818e7; (* arm_UZP1 Q7 Q7 Q8 32 *)
0x9bb576fd; (* arm_UMADDL X29 W23 W21 X29 *)
0x4e85197b; (* arm_UZP1 Q27 Q11 Q5 32 *)
0x9bba7e6f; (* arm_UMULL X15 W19 W26 *)
0x6f6615c0; (* arm_USRA_VEC Q0 Q14 26 64 128 *)
0x8b5664c6; (* arm_ADD X6 X6 (Shiftedreg X22 LSR 25) *)
0x4e3e1dc3; (* arm_AND_VEC Q3 Q14 Q30 128 *)
0x92679b76; (* arm_AND X22 X27 (rvalue (word 18446744073675997184)) *)
0x2eb18742; (* arm_SUB_VEC Q2 Q26 Q17 32 64 *)
0x0eb186c9; (* arm_ADD_VEC Q9 Q22 Q17 32 64 *)
0x4e80186e; (* arm_UZP1 Q14 Q3 Q0 32 *)
0x9bb53c42; (* arm_UMADDL X2 W2 W21 X15 *)
0x4eb28765; (* arm_ADD_VEC Q5 Q27 Q18 32 128 *)
0x8b5660a5; (* arm_ADD X5 X5 (Shiftedreg X22 LSR 24) *)
0x0e893856; (* arm_ZIP1 Q22 Q2 Q9 32 64 *)
0x6e010792; (* arm_INS Q18 Q28 0 0 8 64 *)
0x4e8e18e8; (* arm_UZP1 Q8 Q7 Q14 32 *)
0x8b5654b6; (* arm_ADD X22 X5 (Shiftedreg X22 LSR 21) *)
0x4e8e58e3; (* arm_UZP2 Q3 Q7 Q14 32 *)
0x9bb024e5; (* arm_UMADDL X5 W7 W16 X9 *)
0x4eb28519; (* arm_ADD_VEC Q25 Q8 Q18 32 128 *)
0x9ba059cf; (* arm_UMADDL X15 W14 W0 X22 *)
0x4ea1876c; (* arm_ADD_VEC Q12 Q27 Q1 32 128 *)
0x8b110229; (* arm_ADD X9 X17 X17 *)
0x6ea184ae; (* arm_SUB_VEC Q14 Q5 Q1 32 128 *)
0x9bb17e73; (* arm_UMULL X19 W19 W17 *)
0x6ea38732; (* arm_SUB_VEC Q18 Q25 Q3 32 128 *)
0xf94033f6; (* arm_LDR X22 SP (Immediate_Offset (word 96)) *)
0x4ea38514; (* arm_ADD_VEC Q20 Q8 Q3 32 128 *)
0x9bab3d4f; (* arm_UMADDL X15 W10 W11 X15 *)
0x4e8c39d0; (* arm_ZIP1 Q16 Q14 Q12 32 128 *)
0x9bad4dce; (* arm_UMADDL X14 W14 W13 X19 *)
0x4e8c79ce; (* arm_ZIP2 Q14 Q14 Q12 32 128 *)
0x92406371; (* arm_AND X17 X27 (rvalue (word 33554431)) *)
0x4e947a40; (* arm_ZIP2 Q0 Q18 Q20 32 128 *)
0x9ba43eef; (* arm_UMADDL X15 W23 W4 X15 *)
0x4e943a41; (* arm_ZIP1 Q1 Q18 Q20 32 128 *)
0x9ba0394a; (* arm_UMADDL X10 W10 W0 X14 *)
0x0e897845; (* arm_ZIP2 Q5 Q2 Q9 32 64 *)
0x0f215418; (* arm_SHL_VEC Q24 Q0 1 32 64 *)
0x6e084433; (* arm_INS Q19 Q1 0 64 64 128 *)
0x0f2156da; (* arm_SHL_VEC Q26 Q22 1 32 64 *)
0x0f215611; (* arm_SHL_VEC Q17 Q16 1 32 64 *)
0x6e08440f; (* arm_INS Q15 Q0 0 64 64 128 *)
0x0f2154a7; (* arm_SHL_VEC Q7 Q5 1 32 64 *)
0x0f215672; (* arm_SHL_VEC Q18 Q19 1 32 64 *)
0x2eb8c02b; (* arm_UMULL_VEC Q11 Q1 Q24 32 *)
0x9bb02af3; (* arm_UMADDL X19 W23 W16 X10 *)
0x2eb1c026; (* arm_UMULL_VEC Q6 Q1 Q17 32 *)
0x9bad08ea; (* arm_UMADDL X10 W7 W13 X2 *)
0x6e084604; (* arm_INS Q4 Q16 0 64 64 128 *)
0x6e0845ca; (* arm_INS Q10 Q14 0 64 64 128 *)
0x2ebac029; (* arm_UMULL_VEC Q9 Q1 Q26 32 *)
0xf9402fed; (* arm_LDR X13 SP (Immediate_Offset (word 88)) *)
0x0f2155fc; (* arm_SHL_VEC Q28 Q15 1 32 64 *)
0x0f215543; (* arm_SHL_VEC Q3 Q10 1 32 64 *)
0xf94037ee; (* arm_LDR X14 SP (Immediate_Offset (word 104)) *)
0x0ebf9d4c; (* arm_MUL_VEC Q12 Q10 Q31 32 64 *)
0x2ea7c039; (* arm_UMULL_VEC Q25 Q1 Q7 32 *)
0xf9403be2; (* arm_LDR X2 SP (Immediate_Offset (word 112)) *)
0x2ebc8246; (* arm_UMLAL_VEC Q6 Q18 Q28 32 *)
0x9ba02bdb; (* arm_UMADDL X27 W30 W0 X10 *)
0x9ba05310; (* arm_UMADDL X16 W24 W0 X20 *)
0x0f2155cd; (* arm_SHL_VEC Q13 Q14 1 32 64 *)
0x9bba16e5; (* arm_UMADDL X5 W23 W26 X5 *)
0x0ebf9ec2; (* arm_MUL_VEC Q2 Q22 Q31 32 64 *)
0x2eadc035; (* arm_UMULL_VEC Q21 Q1 Q13 32 *)
0x9ba87717; (* arm_UMADDL X23 W24 W8 X29 *)
0x2eb3824b; (* arm_UMLAL_VEC Q11 Q18 Q19 32 *)
0xb21f67ea; (* arm_MOV X10 (rvalue (word 576460743847706622)) *)
0xd100094a; (* arm_SUB X10 X10 (rvalue (word 2)) *)
0x9bb5171a; (* arm_UMADDL X26 W24 W21 X5 *)
0x0ebf9ddd; (* arm_MUL_VEC Q29 Q14 Q31 32 64 *)
0x2eba8279; (* arm_UMLAL_VEC Q25 Q19 Q26 32 *)
0x8b466827; (* arm_ADD X7 X1 (Shiftedreg X6 LSR 26) *)
0x0ebf9c94; (* arm_MUL_VEC Q20 Q4 Q31 32 64 *)
0x924064c6; (* arm_AND X6 X6 (rvalue (word 67108863)) *)
0x0f215648; (* arm_SHL_VEC Q8 Q18 1 32 64 *)
0x0f215484; (* arm_SHL_VEC Q4 Q4 1 32 64 *)
0x2eae83ab; (* arm_UMLAL_VEC Q11 Q29 Q14 32 *)
0xb36064e6; (* arm_BFM X6 X7 32 25 *)
0x2ea38019; (* arm_UMLAL_VEC Q25 Q0 Q3 32 *)
0x9ba44f00; (* arm_UMADDL X0 W24 W4 X19 *)
0x2ead81f9; (* arm_UMLAL_VEC Q25 Q15 Q13 32 *)
0xf9003fe6; (* arm_STR X6 SP (Immediate_Offset (word 120)) *)
0x2ea48255; (* arm_UMLAL_VEC Q21 Q18 Q4 32 *)
0x9bab0f08; (* arm_UMADDL X8 W24 W11 X3 *)
0x2eb18015; (* arm_UMLAL_VEC Q21 Q0 Q17 32 *)
0xf9403ffe; (* arm_LDR X30 SP (Immediate_Offset (word 120)) *)
0x0ebf9cae; (* arm_MUL_VEC Q14 Q5 Q31 32 64 *)
0x8b0a0042; (* arm_ADD X2 X2 X10 *)
0x0f215785; (* arm_SHL_VEC Q5 Q28 1 32 64 *)
0x0f21549b; (* arm_SHL_VEC Q27 Q4 1 32 64 *)
0x2ea08006; (* arm_UMLAL_VEC Q6 Q0 Q0 32 *)
0x9ba93f0b; (* arm_UMADDL X11 W24 W9 X15 *)
0x2ea38186; (* arm_UMLAL_VEC Q6 Q12 Q3 32 *)
0x8b0a03c4; (* arm_ADD X4 X30 X10 *)
0x2ea581cb; (* arm_UMLAL_VEC Q11 Q14 Q5 32 *)
0x8b0a02c3; (* arm_ADD X3 X22 X10 *)
0x2eb1804b; (* arm_UMLAL_VEC Q11 Q2 Q17 32 *)
0x8b4b6806; (* arm_ADD X6 X0 (Shiftedreg X11 LSR 26) *)
0x2ebb818b; (* arm_UMLAL_VEC Q11 Q12 Q27 32 *)
0x8b0a01ce; (* arm_ADD X14 X14 X10 *)
0x2ebb81c6; (* arm_UMLAL_VEC Q6 Q14 Q27 32 *)
0x8b466508; (* arm_ADD X8 X8 (Shiftedreg X6 LSR 25) *)
0x2ead8046; (* arm_UMLAL_VEC Q6 Q2 Q13 32 *)
0xf29ff68a; (* arm_MOVK X10 (word 65460) 0 *)
0x2ea48219; (* arm_UMLAL_VEC Q25 Q16 Q4 32 *)
0x8b486a1d; (* arm_ADD X29 X16 (Shiftedreg X8 LSR 26) *)
0x2ea3c03b; (* arm_UMULL_VEC Q27 Q1 Q3 32 *)
0x9240656b; (* arm_AND X11 X11 (rvalue (word 67108863)) *)
0x2ea38249; (* arm_UMLAL_VEC Q9 Q18 Q3 32 *)
0x8b0a01b3; (* arm_ADD X19 X13 X10 *)
0x2ead8009; (* arm_UMLAL_VEC Q9 Q0 Q13 32 *)
0x92406505; (* arm_AND X5 X8 (rvalue (word 67108863)) *)
0x2ea48389; (* arm_UMLAL_VEC Q9 Q28 Q4 32 *)
0xb36060cb; (* arm_BFM X11 X6 32 24 *)
0x2eb08209; (* arm_UMLAL_VEC Q9 Q16 Q16 32 *)
0x9bbc6f1e; (* arm_UMADDL X30 W24 W28 X27 *)
0x2ea781c9; (* arm_UMLAL_VEC Q9 Q14 Q7 32 *)
0xcb0b026d; (* arm_SUB X13 X19 X11 *)
0x2eb2c02a; (* arm_UMULL_VEC Q10 Q1 Q18 32 *)
0x8b5d66e7; (* arm_ADD X7 X23 (Shiftedreg X29 LSR 25) *)
0x2eaf8395; (* arm_UMLAL_VEC Q21 Q28 Q15 32 *)
0xd360fdb0; (* arm_LSR X16 X13 32 *)
0x2eb68055; (* arm_UMLAL_VEC Q21 Q2 Q22 32 *)
0x8b476b40; (* arm_ADD X0 X26 (Shiftedreg X7 LSR 26) *)
0x6f661539; (* arm_USRA_VEC Q25 Q9 26 64 128 *)
0x924064f4; (* arm_AND X20 X7 (rvalue (word 67108863)) *)
0x2ea1c036; (* arm_UMULL_VEC Q22 Q1 Q1 32 *)
0x8b406728; (* arm_ADD X8 X25 (Shiftedreg X0 LSR 25) *)
0x2ebcc027; (* arm_UMULL_VEC Q7 Q1 Q28 32 *)
0x924063a1; (* arm_AND X1 X29 (rvalue (word 33554431)) *)
0x4e771f32; (* arm_BIC_VEC Q18 Q25 Q23 128 *)
0x92406513; (* arm_AND X19 X8 (rvalue (word 67108863)) *)
0x4e3e1d30; (* arm_AND_VEC Q16 Q9 Q30 128 *)
0x92406587; (* arm_AND X7 X12 (rvalue (word 67108863)) *)
0x6f671656; (* arm_USRA_VEC Q22 Q18 25 64 128 *)
0x8b486bca; (* arm_ADD X10 X30 (Shiftedreg X8 LSR 26) *)
0x2eb88267; (* arm_UMLAL_VEC Q7 Q19 Q24 32 *)
0xb36063a5; (* arm_BFM X5 X29 32 24 *)
0x4e371f29; (* arm_AND_VEC Q9 Q25 Q23 128 *)
0x8b4a64fb; (* arm_ADD X27 X7 (Shiftedreg X10 LSR 25) *)
0x6f681656; (* arm_USRA_VEC Q22 Q18 24 64 128 *)
0xd29db435; (* arm_MOV X21 (rvalue (word 60833)) *)
0xd37ffab5; (* arm_LSL X21 X21 1 *)
0x8b5b6a2f; (* arm_ADD X15 X17 (Shiftedreg X27 LSR 26) *)
0x0f215479; (* arm_SHL_VEC Q25 Q3 1 32 64 *)
0x2eb181c7; (* arm_UMLAL_VEC Q7 Q14 Q17 32 *)
0x9240677d; (* arm_AND X29 X27 (rvalue (word 67108863)) *)
0x6f6b1656; (* arm_USRA_VEC Q22 Q18 21 64 128 *)
0xb36065fd; (* arm_BFM X29 X15 32 25 *)
0x2eb881ca; (* arm_UMLAL_VEC Q10 Q14 Q24 32 *)
0x924060d1; (* arm_AND X17 X6 (rvalue (word 33554431)) *)
0x2ebc804a; (* arm_UMLAL_VEC Q10 Q2 Q28 32 *)
0xcb050066; (* arm_SUB X6 X3 X5 *)
0x2eb1818a; (* arm_UMLAL_VEC Q10 Q12 Q17 32 *)
0x9bb54619; (* arm_UMADDL X25 W16 W21 X17 *)
0x2ea483aa; (* arm_UMLAL_VEC Q10 Q29 Q4 32 *)
0x2a0503ec; (* arm_MOV W12 W5 *)
0x2ea48296; (* arm_UMLAL_VEC Q22 Q20 Q4 32 *)
0xd360fcda; (* arm_LSR X26 X6 32 *)
0x2ea881d6; (* arm_UMLAL_VEC Q22 Q14 Q8 32 *)
0x92406018; (* arm_AND X24 X0 (rvalue (word 33554431)) *)
0x2eb88056; (* arm_UMLAL_VEC Q22 Q2 Q24 32 *)
0xa90817eb; (* arm_STP X11 X5 SP (Immediate_Offset (iword (&128))) *)
0x2ea58196; (* arm_UMLAL_VEC Q22 Q12 Q5 32 *)
0xb3606014; (* arm_BFM X20 X0 32 24 *)
0x2eb183b6; (* arm_UMLAL_VEC Q22 Q29 Q17 32 *)
0x9bb530cc; (* arm_UMADDL X12 W6 W21 X12 *)
0x2ea4c032; (* arm_UMULL_VEC Q18 Q1 Q4 32 *)
0xb3606153; (* arm_BFM X19 X10 32 24 *)
0x2ea48047; (* arm_UMLAL_VEC Q7 Q2 Q4 32 *)
0xcb1401c7; (* arm_SUB X7 X14 X20 *)
0x2ead827b; (* arm_UMLAL_VEC Q27 Q19 Q13 32 *)
0x2a1403e8; (* arm_MOV W8 W20 *)
0x6f6616ca; (* arm_USRA_VEC Q10 Q22 26 64 128 *)
0xd360fcee; (* arm_LSR X14 X7 32 *)
0x2eb18272; (* arm_UMLAL_VEC Q18 Q19 Q17 32 *)
0x9240615c; (* arm_AND X28 X10 (rvalue (word 33554431)) *)
0x2ead8187; (* arm_UMLAL_VEC Q7 Q12 Q13 32 *)
0xcb130045; (* arm_SUB X5 X2 X19 *)
0x6f67154b; (* arm_USRA_VEC Q11 Q10 25 64 128 *)
0x2a1303e2; (* arm_MOV W2 W19 *)
0x2ea4801b; (* arm_UMLAL_VEC Q27 Q0 Q4 32 *)
0x2eb981d5; (* arm_UMLAL_VEC Q21 Q14 Q25 32 *)
0xcb1d0097; (* arm_SUB X23 X4 X29 *)
0x6f661567; (* arm_USRA_VEC Q7 Q11 26 64 128 *)
0x2a1d03e0; (* arm_MOV W0 W29 *)
0x2ebc8012; (* arm_UMLAL_VEC Q18 Q0 Q28 32 *)
0xd360fef6; (* arm_LSR X22 X23 32 *)
0x2eb181fb; (* arm_UMLAL_VEC Q27 Q15 Q17 32 *)
0xf90053fd; (* arm_STR X29 SP (Immediate_Offset (word 160)) *)
0x6f6714e6; (* arm_USRA_VEC Q6 Q7 25 64 128 *)
0x2a0b03f1; (* arm_MOV W17 W11 *)
0x4e3e1ec0; (* arm_AND_VEC Q0 Q22 Q30 128 *)
0x9bb5075b; (* arm_UMADDL X27 W26 W21 X1 *)
0x2ead81d2; (* arm_UMLAL_VEC Q18 Q14 Q13 32 *)
0x9bb502fe; (* arm_UMADDL X30 W23 W21 X0 *)
0x2ea38052; (* arm_UMLAL_VEC Q18 Q2 Q3 32 *)
0xd360fcaa; (* arm_LSR X10 X5 32 *)
0x4e3e1cc4; (* arm_AND_VEC Q4 Q6 Q30 128 *)
0x4e371d41; (* arm_AND_VEC Q1 Q10 Q23 128 *)
0x9bb561c4; (* arm_UMADDL X4 W14 W21 X24 *)
0xf9402fe0; (* arm_LDR X0 SP (Immediate_Offset (word 88)) *)
0x4e0c1c00; (* arm_INS_GEN Q0 W0 32 32 *)
0xd360fc00; (* arm_LSR X0 X0 32 *)
0x4e0c1c01; (* arm_INS_GEN Q1 W0 32 32 *)
0x9bb520e9; (* arm_UMADDL X9 W7 W21 X8 *)
0x6f6614d2; (* arm_USRA_VEC Q18 Q6 26 64 128 *)
0x9bb57158; (* arm_UMADDL X24 W10 W21 X28 *)
0x4e371ce3; (* arm_AND_VEC Q3 Q7 Q23 128 *)
0x9bb53ec8; (* arm_UMADDL X8 W22 W21 X15 *)
0x2eba81db; (* arm_UMLAL_VEC Q27 Q14 Q26 32 *)
0x9bb545af; (* arm_UMADDL X15 W13 W21 X17 *)
0x6f671655; (* arm_USRA_VEC Q21 Q18 25 64 128 *)
0xa9094ff4; (* arm_STP X20 X19 SP (Immediate_Offset (iword (&144))) *)
0x4e3e1d62; (* arm_AND_VEC Q2 Q11 Q30 128 *)
0xd359fd1d; (* arm_LSR X29 X8 25 *)
0xf94043e3; (* arm_LDR X3 SP (Immediate_Offset (word 128)) *)
0x4e0c1c6a; (* arm_INS_GEN Q10 W3 32 32 *)
0xd360fc63; (* arm_LSR X3 X3 32 *)
0x4e0c1c6b; (* arm_INS_GEN Q11 W3 32 32 *)
0x8b1d01f1; (* arm_ADD X17 X15 X29 *)
0x6f6616bb; (* arm_USRA_VEC Q27 Q21 26 64 128 *)
0x8b1d063c; (* arm_ADD X28 X17 (Shiftedreg X29 LSL 1) *)
0x4e3e1ea6; (* arm_AND_VEC Q6 Q21 Q30 128 *)
0x92406114; (* arm_AND X20 X8 (rvalue (word 33554431)) *)
0x4e371e45; (* arm_AND_VEC Q5 Q18 Q23 128 *)
0x8b1d1391; (* arm_ADD X17 X28 (Shiftedreg X29 LSL 4) *)
0x4e371f67; (* arm_AND_VEC Q7 Q27 Q23 128 *)
0xf94047e3; (* arm_LDR X3 SP (Immediate_Offset (word 136)) *)
0x4e0c1c76; (* arm_INS_GEN Q22 W3 32 32 *)
0xd360fc63; (* arm_LSR X3 X3 32 *)
0x4e0c1c77; (* arm_INS_GEN Q23 W3 32 32 *)
0x8b516b3d; (* arm_ADD X29 X25 (Shiftedreg X17 LSR 26) *)
0xf94013ef; (* arm_LDR X15 SP (Immediate_Offset (word 32)) *)
0x4e041dea; (* arm_INS_GEN Q10 W15 0 32 *)
0xd360fdef; (* arm_LSR X15 X15 32 *)
0x4e041deb; (* arm_INS_GEN Q11 W15 0 32 *)
0x9240662b; (* arm_AND X11 X17 (rvalue (word 67108863)) *)
0x6f671770; (* arm_USRA_VEC Q16 Q27 25 64 128 *)
0x8b5d6588; (* arm_ADD X8 X12 (Shiftedreg X29 LSR 25) *)
0xf9404be3; (* arm_LDR X3 SP (Immediate_Offset (word 144)) *)
0x4e0c1c6e; (* arm_INS_GEN Q14 W3 32 32 *)
0xd360fc63; (* arm_LSR X3 X3 32 *)
0x4e0c1c6f; (* arm_INS_GEN Q15 W3 32 32 *)
0x924063ac; (* arm_AND X12 X29 (rvalue (word 33554431)) *)
0xf94017ef; (* arm_LDR X15 SP (Immediate_Offset (word 40)) *)
0x4e041df6; (* arm_INS_GEN Q22 W15 0 32 *)
0xd360fdef; (* arm_LSR X15 X15 32 *)
0x4e041df7; (* arm_INS_GEN Q23 W15 0 32 *)
0x8b486b7c; (* arm_ADD X28 X27 (Shiftedreg X8 LSR 26) *)
0x4e3e1e08; (* arm_AND_VEC Q8 Q16 Q30 128 *)
0x9baa7d81; (* arm_UMULL X1 W12 W10 *)
0xf9404fe3; (* arm_LDR X3 SP (Immediate_Offset (word 152)) *)
0x4e0c1c71; (* arm_INS_GEN Q17 W3 32 32 *)
0xd360fc63; (* arm_LSR X3 X3 32 *)
0x4e0c1c72; (* arm_INS_GEN Q18 W3 32 32 *)
0x8b5c6539; (* arm_ADD X25 X9 (Shiftedreg X28 LSR 25) *)
0xf9401bef; (* arm_LDR X15 SP (Immediate_Offset (word 48)) *)
0x4e041dee; (* arm_INS_GEN Q14 W15 0 32 *)
0xd360fdef; (* arm_LSR X15 X15 32 *)
0x4e041def; (* arm_INS_GEN Q15 W15 0 32 *)
0x9bb508b3; (* arm_UMADDL X19 W5 W21 X2 *)
0x6f661609; (* arm_USRA_VEC Q9 Q16 26 64 128 *)
0x8b596882; (* arm_ADD X2 X4 (Shiftedreg X25 LSR 26) *)
0xf94053e3; (* arm_LDR X3 SP (Immediate_Offset (word 160)) *)
0x4e0c1c78; (* arm_INS_GEN Q24 W3 32 32 *)
0xd360fc63; (* arm_LSR X3 X3 32 *)
0x4e0c1c79; (* arm_INS_GEN Q25 W3 32 32 *)
0x9bb77d83; (* arm_UMULL X3 W12 W23 *)
0xf9401fef; (* arm_LDR X15 SP (Immediate_Offset (word 56)) *)
0x4e041df1; (* arm_INS_GEN Q17 W15 0 32 *)
0xd360fdef; (* arm_LSR X15 X15 32 *)
0x4e041df2; (* arm_INS_GEN Q18 W15 0 32 *)
0x8b42667d; (* arm_ADD X29 X19 (Shiftedreg X2 LSR 25) *)
0x2eb7c01a; (* arm_UMULL_VEC Q26 Q0 Q23 32 *)
0x92406395; (* arm_AND X21 X28 (rvalue (word 33554431)) *)
0xf94033e0; (* arm_LDR X0 SP (Immediate_Offset (word 96)) *)
0x4e0c1c02; (* arm_INS_GEN Q2 W0 32 32 *)
0xd360fc00; (* arm_LSR X0 X0 32 *)
0x4e0c1c03; (* arm_INS_GEN Q3 W0 32 32 *)
0x9ba50ebb; (* arm_UMADDL X27 W21 W5 X3 *)
0xf94023ef; (* arm_LDR X15 SP (Immediate_Offset (word 64)) *)
0x4e041df8; (* arm_INS_GEN Q24 W15 0 32 *)
0xd360fdef; (* arm_LSR X15 X15 32 *)
0x4e041df9; (* arm_INS_GEN Q25 W15 0 32 *)
0x8b5d6b11; (* arm_ADD X17 X24 (Shiftedreg X29 LSR 26) *)
0x2eb2c03d; (* arm_UMULL_VEC Q29 Q1 Q18 32 *)
0x9240650f; (* arm_AND X15 X8 (rvalue (word 67108863)) *)
0x2eafc014; (* arm_UMULL_VEC Q20 Q0 Q15 32 *)
0x8b5167d3; (* arm_ADD X19 X30 (Shiftedreg X17 LSR 25) *)
0x92406223; (* arm_AND X3 X17 (rvalue (word 33554431)) *)
0x0ebf9f2c; (* arm_MUL_VEC Q12 Q25 Q31 32 64 *)
0xf94037e0; (* arm_LDR X0 SP (Immediate_Offset (word 104)) *)
0x4e0c1c04; (* arm_INS_GEN Q4 W0 32 32 *)
0xd360fc00; (* arm_LSR X0 X0 32 *)
0x4e0c1c05; (* arm_INS_GEN Q5 W0 32 32 *)
0x8b536a84; (* arm_ADD X4 X20 (Shiftedreg X19 LSR 26) *)
0x2eab805a; (* arm_UMLAL_VEC Q26 Q2 Q11 32 *)
0x0b03047c; (* arm_ADD W28 W3 (Shiftedreg W3 LSL 1) *)
0x2eb78054; (* arm_UMLAL_VEC Q20 Q2 Q23 32 *)
0x0b03139c; (* arm_ADD W28 W28 (Shiftedreg W3 LSL 4) *)
0x9ba57d88; (* arm_UMULL X8 W12 W5 *)
0xf9403be0; (* arm_LDR X0 SP (Immediate_Offset (word 112)) *)
0x4e0c1c06; (* arm_INS_GEN Q6 W0 32 32 *)
0xd360fc00; (* arm_LSR X0 X0 32 *)
0x4e0c1c07; (* arm_INS_GEN Q7 W0 32 32 *)
0x9240673e; (* arm_AND X30 X25 (rvalue (word 67108863)) *)
0x0ebf9e50; (* arm_MUL_VEC Q16 Q18 Q31 32 64 *)
0x0b040491; (* arm_ADD W17 W4 (Shiftedreg W4 LSL 1) *)
0x2eafc035; (* arm_UMULL_VEC Q21 Q1 Q15 32 *)
0x0b041231; (* arm_ADD W17 W17 (Shiftedreg W4 LSL 4) *)
0x9ba722b9; (* arm_UMADDL X25 W21 W7 X8 *)
0x2eab8094; (* arm_UMLAL_VEC Q20 Q4 Q11 32 *)
0x0b1506a8; (* arm_ADD W8 W21 (Shiftedreg W21 LSL 1) *)
0xf9403fe0; (* arm_LDR X0 SP (Immediate_Offset (word 120)) *)
0x0b151108; (* arm_ADD W8 W8 (Shiftedreg W21 LSL 4) *)
0x4e0c1c08; (* arm_INS_GEN Q8 W0 32 32 *)
0xd360fc00; (* arm_LSR X0 X0 32 *)
0x4e0c1c09; (* arm_INS_GEN Q9 W0 32 32 *)
0x92406042; (* arm_AND X2 X2 (rvalue (word 33554431)) *)
0x2eaf807d; (* arm_UMLAL_VEC Q29 Q3 Q15 32 *)
0x9ba66458; (* arm_UMADDL X24 W2 W6 X25 *)
0x2eb9c00d; (* arm_UMULL_VEC Q13 Q0 Q25 32 *)
0x9ba76c59; (* arm_UMADDL X25 W2 W7 X27 *)
0x9ba66460; (* arm_UMADDL X0 W3 W6 X25 *)
0x0ebf9df3; (* arm_MUL_VEC Q19 Q15 Q31 32 64 *)
0x2eb2c01b; (* arm_UMULL_VEC Q27 Q0 Q18 32 *)
0x9bad6074; (* arm_UMADDL X20 W3 W13 X24 *)
0x2eac80d4; (* arm_UMLAL_VEC Q20 Q6 Q12 32 *)
0x9bae06b8; (* arm_UMADDL X24 W21 W14 X1 *)
0x2eb2804d; (* arm_UMLAL_VEC Q13 Q2 Q18 32 *)
0x9bad0089; (* arm_UMADDL X9 W4 W13 X0 *)
0x2eabc019; (* arm_UMULL_VEC Q25 Q0 Q11 32 *)
0x9bb75234; (* arm_UMADDL X20 W17 W23 X20 *)
0x2eaf805b; (* arm_UMLAL_VEC Q27 Q2 Q15 32 *)
0x9bba6040; (* arm_UMADDL X0 W2 W26 X24 *)
0x2eabc03c; (* arm_UMULL_VEC Q28 Q1 Q11 32 *)
0x9ba57e38; (* arm_UMULL X24 W17 W5 *)
0x2eb780bd; (* arm_UMLAL_VEC Q29 Q5 Q23 32 *)
0x9bb62569; (* arm_UMADDL X9 W11 W22 X9 *)
0x2eaf808d; (* arm_UMLAL_VEC Q13 Q4 Q15 32 *)
0x9bb0007b; (* arm_UMADDL X27 W3 W16 X0 *)
0x2eb7809b; (* arm_UMLAL_VEC Q27 Q4 Q23 32 *)
0x9bae7e20; (* arm_UMULL X0 W17 W14 *)
0x2eab80db; (* arm_UMLAL_VEC Q27 Q6 Q11 32 *)
0x9bae7d84; (* arm_UMULL X4 W12 W14 *)
0x2eac811b; (* arm_UMLAL_VEC Q27 Q8 Q12 32 *)
0x9baa5179; (* arm_UMADDL X25 W11 W10 X20 *)
0x2eb1803b; (* arm_UMLAL_VEC Q27 Q1 Q17 32 *)
0x9baa0380; (* arm_UMADDL X0 W28 W10 X0 *)
0x2eb780cd; (* arm_UMLAL_VEC Q13 Q6 Q23 32 *)
0x9ba67e23; (* arm_UMULL X3 W17 W6 *)
0x2eab810d; (* arm_UMLAL_VEC Q13 Q8 Q11 32 *)
0x9bba12a1; (* arm_UMADDL X1 W21 W26 X4 *)
0x2eb08114; (* arm_UMLAL_VEC Q20 Q8 Q16 32 *)
0x9bad6044; (* arm_UMADDL X4 W2 W13 X24 *)
0x2eac807c; (* arm_UMLAL_VEC Q28 Q3 Q12 32 *)
0x9ba70f94; (* arm_UMADDL X20 W28 W7 X3 *)
0x2eab80fd; (* arm_UMLAL_VEC Q29 Q7 Q11 32 *)
0x92406663; (* arm_AND X3 X19 (rvalue (word 67108863)) *)
0x2eac813d; (* arm_UMLAL_VEC Q29 Q9 Q12 32 *)
0x9bb66e33; (* arm_UMADDL X19 W17 W22 X27 *)
0x0b02045b; (* arm_ADD W27 W2 (Shiftedreg W2 LSL 1) *)
0x0ebf9f12; (* arm_MUL_VEC Q18 Q24 Q31 32 64 *)
0x0b02137b; (* arm_ADD W27 W27 (Shiftedreg W2 LSL 4) *)
0x2eb78075; (* arm_UMLAL_VEC Q21 Q3 Q23 32 *)
0x9ba77e38; (* arm_UMULL X24 W17 W7 *)
0x2eb8802d; (* arm_UMLAL_VEC Q13 Q1 Q24 32 *)
0x8b130273; (* arm_ADD X19 X19 X19 *)
0x4f4157bd; (* arm_SHL_VEC Q29 Q29 1 64 128 *)
0x9bb00441; (* arm_UMADDL X1 W2 W16 X1 *)
0x2eb7c02f; (* arm_UMULL_VEC Q15 Q1 Q23 32 *)
0x9bb60360; (* arm_UMADDL X0 W27 W22 X0 *)
0x2eb8801d; (* arm_UMLAL_VEC Q29 Q0 Q24 32 *)
0x9ba56382; (* arm_UMADDL X2 W28 W5 X24 *)
0x0ebf9ef8; (* arm_MUL_VEC Q24 Q23 Q31 32 64 *)
0x9bb71384; (* arm_UMADDL X4 W28 W23 X4 *)
0x2eab80b5; (* arm_UMLAL_VEC Q21 Q5 Q11 32 *)
0x9ba55378; (* arm_UMADDL X24 W27 W5 X20 *)
0x2eae8034; (* arm_UMLAL_VEC Q20 Q1 Q14 32 *)
0x9bb74d74; (* arm_UMADDL X20 W11 W23 X19 *)
0x2eac809a; (* arm_UMLAL_VEC Q26 Q4 Q12 32 *)
0x9bb70b73; (* arm_UMADDL X19 W27 W23 X2 *)
0x2eb080da; (* arm_UMLAL_VEC Q26 Q6 Q16 32 *)
0x9ba612a2; (* arm_UMADDL X2 W21 W6 X4 *)
0x2eb1805d; (* arm_UMLAL_VEC Q29 Q2 Q17 32 *)
0x9bb76118; (* arm_UMADDL X24 W8 W23 X24 *)
0x2eab806f; (* arm_UMLAL_VEC Q15 Q3 Q11 32 *)
0x9bb002a0; (* arm_UMADDL X0 W21 W16 X0 *)
0x9bad4ea4; (* arm_UMADDL X4 W21 W13 X19 *)
0x0ebf9d77; (* arm_MUL_VEC Q23 Q11 Q31 32 64 *)
0x2eb68074; (* arm_UMLAL_VEC Q20 Q3 Q22 32 *)
0x9ba70982; (* arm_UMADDL X2 W12 W7 X2 *)
0x2eaa80b4; (* arm_UMLAL_VEC Q20 Q5 Q10 32 *)
0x9bba0193; (* arm_UMADDL X19 W12 W26 X0 *)
0x2eae809d; (* arm_UMLAL_VEC Q29 Q4 Q14 32 *)
0x9bad6180; (* arm_UMADDL X0 W12 W13 X24 *)
0x2eb3811a; (* arm_UMLAL_VEC Q26 Q8 Q19 32 *)
0x9ba551f4; (* arm_UMADDL X20 W15 W5 X20 *)
0x2eb6803a; (* arm_UMLAL_VEC Q26 Q1 Q22 32 *)
0x9baa25f5; (* arm_UMADDL X21 W15 W10 X9 *)
0x2eaa807a; (* arm_UMLAL_VEC Q26 Q3 Q10 32 *)
0x924067a9; (* arm_AND X9 X29 (rvalue (word 67108863)) *)
0x2eb680dd; (* arm_UMLAL_VEC Q29 Q6 Q22 32 *)
0x9ba753d4; (* arm_UMADDL X20 W30 W7 X20 *)
0x9bb60781; (* arm_UMADDL X1 W28 W22 X1 *)
0x8b130278; (* arm_ADD X24 X19 X19 *)
0x2eacc02b; (* arm_UMULL_VEC Q11 Q1 Q12 32 *)
0x0b030473; (* arm_ADD W19 W3 (Shiftedreg W3 LSL 1) *)
0x2eb280ba; (* arm_UMLAL_VEC Q26 Q5 Q18 32 *)
0x0b031273; (* arm_ADD W19 W19 (Shiftedreg W3 LSL 4) *)
0x9ba65134; (* arm_UMADDL X20 W9 W6 X20 *)
0x2eaa811d; (* arm_UMLAL_VEC Q29 Q8 Q10 32 *)
0x0b09053d; (* arm_ADD W29 W9 (Shiftedreg W9 LSL 1) *)
0x2eb1806d; (* arm_UMLAL_VEC Q13 Q3 Q17 32 *)
0x0b0913bd; (* arm_ADD W29 W29 (Shiftedreg W9 LSL 4) *)
0x9baa0a62; (* arm_UMADDL X2 W19 W10 X2 *)
0x2eb0806b; (* arm_UMLAL_VEC Q11 Q3 Q16 32 *)
0x9bae57d5; (* arm_UMADDL X21 W30 W14 X21 *)
0x2eb380ab; (* arm_UMLAL_VEC Q11 Q5 Q19 32 *)
0x9bad5074; (* arm_UMADDL X20 W3 W13 X20 *)
0x2eb880eb; (* arm_UMLAL_VEC Q11 Q7 Q24 32 *)
0x9bb60ba2; (* arm_UMADDL X2 W29 W22 X2 *)
0x2eb7812b; (* arm_UMLAL_VEC Q11 Q9 Q23 32 *)
0x9bba5535; (* arm_UMADDL X21 W9 W26 X21 *)
0x6f7f07d7; (* arm_USHR_VEC Q23 Q30 1 64 128 *)
0x9baa0621; (* arm_UMADDL X1 W17 W10 X1 *)
0x2eae80ad; (* arm_UMLAL_VEC Q13 Q5 Q14 32 *)
0x9ba56278; (* arm_UMADDL X24 W19 W5 X24 *)
0x2eae807b; (* arm_UMLAL_VEC Q27 Q3 Q14 32 *)
0x9bb05475; (* arm_UMADDL X21 W3 W16 X21 *)
0x4f41556b; (* arm_SHL_VEC Q11 Q11 1 64 128 *)
0x0b1e07c3; (* arm_ADD W3 W30 (Shiftedreg W30 LSL 1) *)
0x2eb080bc; (* arm_UMLAL_VEC Q28 Q5 Q16 32 *)
0x0b1e1063; (* arm_ADD W3 W3 (Shiftedreg W30 LSL 4) *)
0x9bb763b8; (* arm_UMADDL X24 W29 W23 X24 *)
0x2eb380fc; (* arm_UMLAL_VEC Q28 Q7 Q19 32 *)
0x8b010021; (* arm_ADD X1 X1 X1 *)
0x2eb8813c; (* arm_UMLAL_VEC Q28 Q9 Q24 32 *)
0x9ba50561; (* arm_UMADDL X1 W11 W5 X1 *)
0x2eac80af; (* arm_UMLAL_VEC Q15 Q5 Q12 32 *)
0x9bad63d8; (* arm_UMADDL X24 W30 W13 X24 *)
0x2eb080ef; (* arm_UMLAL_VEC Q15 Q7 Q16 32 *)
0x9bae65f9; (* arm_UMADDL X25 W15 W14 X25 *)
0x2eb3812f; (* arm_UMLAL_VEC Q15 Q9 Q19 32 *)
0x9ba705e1; (* arm_UMADDL X1 W15 W7 X1 *)
0x4f41579c; (* arm_SHL_VEC Q28 Q28 1 64 128 *)
0x9ba661f8; (* arm_UMADDL X24 W15 W6 X24 *)
0x2eac80f5; (* arm_UMLAL_VEC Q21 Q7 Q12 32 *)
0x9bb00bc2; (* arm_UMADDL X2 W30 W16 X2 *)
0x2eb08135; (* arm_UMLAL_VEC Q21 Q9 Q16 32 *)
0x9bba67d9; (* arm_UMADDL X25 W30 W26 X25 *)
0x4f4155ef; (* arm_SHL_VEC Q15 Q15 1 64 128 *)
0x9ba607de; (* arm_UMADDL X30 W30 W6 X1 *)
0x2eb6801c; (* arm_UMLAL_VEC Q28 Q0 Q22 32 *)
0x9bba09e1; (* arm_UMADDL X1 W15 W26 X2 *)
0x2eaa805c; (* arm_UMLAL_VEC Q28 Q2 Q10 32 *)
0x9bb06522; (* arm_UMADDL X2 W9 W16 X25 *)
0x4f4156b5; (* arm_SHL_VEC Q21 Q21 1 64 128 *)
0x9ba76178; (* arm_UMADDL X24 W11 W7 X24 *)
0x2eae800f; (* arm_UMLAL_VEC Q15 Q0 Q14 32 *)
0x9bae0561; (* arm_UMADDL X1 W11 W14 X1 *)
0x2eb18015; (* arm_UMLAL_VEC Q21 Q0 Q17 32 *)
0x9bad7939; (* arm_UMADDL X25 W9 W13 X30 *)
0x2eb2809c; (* arm_UMLAL_VEC Q28 Q4 Q18 32 *)
0x9bba0260; (* arm_UMADDL X0 W19 W26 X0 *)
0x2eac8059; (* arm_UMLAL_VEC Q25 Q2 Q12 32 *)
0x8b586821; (* arm_ADD X1 X1 (Shiftedreg X24 LSR 26) *)
0x2eb08099; (* arm_UMLAL_VEC Q25 Q4 Q16 32 *)
0x9bb60a7e; (* arm_UMADDL X30 W19 W22 X2 *)
0x2eae8055; (* arm_UMLAL_VEC Q21 Q2 Q14 32 *)
0x9ba61184; (* arm_UMADDL X4 W12 W6 X4 *)
0x0ebf9dce; (* arm_MUL_VEC Q14 Q14 Q31 32 64 *)
0x9bb76679; (* arm_UMADDL X25 W19 W23 X25 *)
0x92406022; (* arm_AND X2 X1 (rvalue (word 33554431)) *)
0x0ebf9e30; (* arm_MUL_VEC Q16 Q17 Q31 32 64 *)
0x2eb380d9; (* arm_UMLAL_VEC Q25 Q6 Q19 32 *)
0x9bae1269; (* arm_UMADDL X9 W19 W14 X4 *)
0x2eb680ed; (* arm_UMLAL_VEC Q13 Q7 Q22 32 *)
0x8b416739; (* arm_ADD X25 X25 (Shiftedreg X1 LSR 25) *)
0x2eb68095; (* arm_UMLAL_VEC Q21 Q4 Q22 32 *)
0x9bae03a0; (* arm_UMADDL X0 W29 W14 X0 *)
0x2eb080fa; (* arm_UMLAL_VEC Q26 Q7 Q16 32 *)
0x8b596bde; (* arm_ADD X30 X30 (Shiftedreg X25 LSR 26) *)
0x2eae813a; (* arm_UMLAL_VEC Q26 Q9 Q14 32 *)
0x0b0f05e1; (* arm_ADD W1 W15 (Shiftedreg W15 LSL 1) *)
0x2eb080dc; (* arm_UMLAL_VEC Q28 Q6 Q16 32 *)
0x0b0f1021; (* arm_ADD W1 W1 (Shiftedreg W15 LSL 4) *)
0x8b5e6684; (* arm_ADD X4 X20 (Shiftedreg X30 LSR 25) *)