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
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
|
/* -*- mode: C; c-basic-offset: 3; -*- */
#include <stdio.h> // fprintf
#include <stdlib.h> // exit
#include <assert.h> // assert
#if defined(__APPLE__)
#include <machine/endian.h>
#define __BYTE_ORDER BYTE_ORDER
#define __LITTLE_ENDIAN LITTLE_ENDIAN
#else
#include <endian.h>
#endif
#include <inttypes.h>
#include "vtest.h"
/* Something bad happened. Cannot continue. */
void __attribute__((noreturn))
panic(const char *string)
{
fprintf(stderr, "*** OOPS: %s\n", string);
exit(1);
}
/* Issue a complaint because the V-bits of the result of an operation
differ from what was expected. */
void
complain(const irop_t *op, const test_data_t *data, vbits_t expected)
{
fprintf(stderr, "*** Incorrect result for operator %s\n", op->name);
int num_operands = get_num_operands(op->op);
for (unsigned i = 0; i < num_operands; ++i) {
fprintf(stderr, " opnd %u: ", i);
print_opnd(stderr, &data->opnds[i]);
fprintf(stderr, "\n");
}
fprintf(stderr, " result: ");
print_opnd(stderr, &data->result);
fprintf(stderr, "\n");
fprintf(stderr, " expect: vbits = ");
print_vbits(stderr, expected);
fprintf(stderr, "\n");
}
static void
print_value(FILE *fp, value_t val, unsigned num_bits)
{
switch (num_bits) {
case 1: fprintf(fp, "%02x", val.u8); break;
case 8: fprintf(fp, "%02x", val.u8); break;
case 16: fprintf(fp, "%04x", val.u16); break;
case 32: fprintf(fp, "%08x", val.u32); break;
case 64: fprintf(fp, "%016"PRIx64, val.u64); break;
case 128:
if (__BYTE_ORDER == __LITTLE_ENDIAN) {
fprintf(fp, "%016"PRIx64, val.u128[1]);
fprintf(fp, "%016"PRIx64, val.u128[0]);
} else {
fprintf(fp, "%016"PRIx64, val.u128[0]);
fprintf(fp, "%016"PRIx64, val.u128[1]);
}
break;
case 256:
if (__BYTE_ORDER == __LITTLE_ENDIAN) {
fprintf(fp, "%016"PRIx64, val.u256[3]);
fprintf(fp, "%016"PRIx64, val.u256[2]);
fprintf(fp, "%016"PRIx64, val.u256[1]);
fprintf(fp, "%016"PRIx64, val.u256[0]);
} else {
fprintf(fp, "%016"PRIx64, val.u256[0]);
fprintf(fp, "%016"PRIx64, val.u256[1]);
fprintf(fp, "%016"PRIx64, val.u256[2]);
fprintf(fp, "%016"PRIx64, val.u256[3]);
}
break;
default:
panic(__func__);
}
}
void
print_opnd(FILE *fp, const opnd_t *opnd)
{
fprintf(fp, "vbits = ");
print_vbits(fp, opnd->vbits);
/* Write the value only if it is defined. Otherwise, there will be error
messages about it being undefined */
if (equal_vbits(opnd->vbits, defined_vbits(opnd->vbits.num_bits))) {
fprintf(fp, " value = ");
print_value(fp, opnd->value, opnd->vbits.num_bits);
}
}
static int
is_floating_point_type(IRType type)
{
switch (type) {
case Ity_F32:
case Ity_F64:
case Ity_F128:
case Ity_D32:
case Ity_D64:
case Ity_D128:
return 1;
default:
return 0;
}
}
int
is_floating_point_op_with_rounding_mode(IROp op)
{
IRType t_dst, t_arg1, t_arg2, t_arg3, t_arg4;
typeof_primop(op, &t_dst, &t_arg1, &t_arg2, &t_arg3, &t_arg4);
// A unary operator cannot have a rounding mode
if (t_arg2 == Ity_INVALID) return 0;
if (is_floating_point_type(t_dst) ||
is_floating_point_type(t_arg1) ||
is_floating_point_type(t_arg2) ||
is_floating_point_type(t_arg3) ||
is_floating_point_type(t_arg4)) {
// Rounding mode, if present, is the 1st operand
return t_arg1 == Ity_I32;
}
return 0;
}
/* Return the number of operands for which input values can
be freely chosen. For floating point ops, the rounding mode
is not counted here, as it is restricted. */
int
get_num_operands(IROp op)
{
IRType unused, t1, t2, t3, t4;
typeof_primop(op, &unused, &t1, &t2, &t3, &t4);
int num_operands = 4;
if (t4 == Ity_INVALID) num_operands = 3;
if (t3 == Ity_INVALID) num_operands = 2;
if (t2 == Ity_INVALID) num_operands = 1;
if (is_floating_point_op_with_rounding_mode(op))
-- num_operands;
return num_operands;
}
/* ---------------------------------------------------------------- */
/* The functions below have been imported from VEX/pric/ir_defs.c.
This is more convenient because
(1) Don't have to figure out the Makefile machinery to pick up the
correct VEX library (platform specific)
(2) Would have to export typeofIRType in VEX
(3) There is no worry that these functions get out of synch because
the test harness will iterate over all IROps in libvex_ir.h.
So if a new one was added there, we would assert here and elsewhere.
*/
// Taken from VEX/priv/ir_defs.c: function sizeofIRType
unsigned
sizeof_irtype(IRType ty)
{
switch (ty) {
case Ity_I8: return 1;
case Ity_I16: return 2;
case Ity_I32: return 4;
case Ity_I64: return 8;
case Ity_I128: return 16;
case Ity_F32: return 4;
case Ity_F64: return 8;
case Ity_F128: return 16;
case Ity_D32: return 4;
case Ity_D64: return 8;
case Ity_D128: return 16;
case Ity_V128: return 16;
case Ity_V256: return 32;
default:
panic(__func__);
}
}
// Taken from VEX/priv/ir_defs.c: function typeOfPrimop
// Modified minimally to break dependencies on VEX infrastructure.
void
typeof_primop(IROp op, IRType *t_dst, IRType *t_arg1, IRType *t_arg2,
IRType *t_arg3, IRType *t_arg4)
{
# define UNARY(_ta1,_td) \
*t_dst = (_td); *t_arg1 = (_ta1); break
# define BINARY(_ta1,_ta2,_td) \
*t_dst = (_td); *t_arg1 = (_ta1); *t_arg2 = (_ta2); break
# define TERNARY(_ta1,_ta2,_ta3,_td) \
*t_dst = (_td); *t_arg1 = (_ta1); \
*t_arg2 = (_ta2); *t_arg3 = (_ta3); break
# define QUATERNARY(_ta1,_ta2,_ta3,_ta4,_td) \
*t_dst = (_td); *t_arg1 = (_ta1); \
*t_arg2 = (_ta2); *t_arg3 = (_ta3); \
*t_arg4 = (_ta4); break
# define COMPARISON(_ta) \
*t_dst = Ity_I1; *t_arg1 = *t_arg2 = (_ta); break;
# define UNARY_COMPARISON(_ta) \
*t_dst = Ity_I1; *t_arg1 = (_ta); break;
/* Rounding mode values are always Ity_I32, encoded as per
IRRoundingMode */
const IRType ity_RMode = Ity_I32;
*t_dst = Ity_INVALID;
*t_arg1 = Ity_INVALID;
*t_arg2 = Ity_INVALID;
*t_arg3 = Ity_INVALID;
*t_arg4 = Ity_INVALID;
switch (op) {
case Iop_Add8: case Iop_Sub8: case Iop_Mul8:
case Iop_Or8: case Iop_And8: case Iop_Xor8:
BINARY(Ity_I8,Ity_I8, Ity_I8);
case Iop_Add16: case Iop_Sub16: case Iop_Mul16:
case Iop_Or16: case Iop_And16: case Iop_Xor16:
BINARY(Ity_I16,Ity_I16, Ity_I16);
case Iop_CmpORD32U:
case Iop_CmpORD32S:
case Iop_Add32: case Iop_Sub32: case Iop_Mul32:
case Iop_Or32: case Iop_And32: case Iop_Xor32:
case Iop_Max32U:
case Iop_QAdd32S: case Iop_QSub32S:
case Iop_Add16x2: case Iop_Sub16x2:
case Iop_QAdd16Sx2: case Iop_QAdd16Ux2:
case Iop_QSub16Sx2: case Iop_QSub16Ux2:
case Iop_HAdd16Ux2: case Iop_HAdd16Sx2:
case Iop_HSub16Ux2: case Iop_HSub16Sx2:
case Iop_Add8x4: case Iop_Sub8x4:
case Iop_QAdd8Sx4: case Iop_QAdd8Ux4:
case Iop_QSub8Sx4: case Iop_QSub8Ux4:
case Iop_HAdd8Ux4: case Iop_HAdd8Sx4:
case Iop_HSub8Ux4: case Iop_HSub8Sx4:
case Iop_Sad8Ux4:
BINARY(Ity_I32,Ity_I32, Ity_I32);
case Iop_Add64: case Iop_Sub64: case Iop_Mul64:
case Iop_Or64: case Iop_And64: case Iop_Xor64:
case Iop_CmpORD64U:
case Iop_CmpORD64S:
case Iop_Avg8Ux8: case Iop_Avg16Ux4:
case Iop_Add8x8: case Iop_Add16x4: case Iop_Add32x2:
case Iop_Add32Fx2: case Iop_Sub32Fx2:
case Iop_CmpEQ8x8: case Iop_CmpEQ16x4: case Iop_CmpEQ32x2:
case Iop_CmpGT8Sx8: case Iop_CmpGT16Sx4: case Iop_CmpGT32Sx2:
case Iop_CmpGT8Ux8: case Iop_CmpGT16Ux4: case Iop_CmpGT32Ux2:
case Iop_CmpGT32Fx2: case Iop_CmpEQ32Fx2: case Iop_CmpGE32Fx2:
case Iop_InterleaveHI8x8: case Iop_InterleaveLO8x8:
case Iop_InterleaveHI16x4: case Iop_InterleaveLO16x4:
case Iop_InterleaveHI32x2: case Iop_InterleaveLO32x2:
case Iop_CatOddLanes8x8: case Iop_CatEvenLanes8x8:
case Iop_CatOddLanes16x4: case Iop_CatEvenLanes16x4:
case Iop_InterleaveOddLanes8x8: case Iop_InterleaveEvenLanes8x8:
case Iop_InterleaveOddLanes16x4: case Iop_InterleaveEvenLanes16x4:
case Iop_Perm8x8:
case Iop_Max8Ux8: case Iop_Max16Ux4: case Iop_Max32Ux2:
case Iop_Max8Sx8: case Iop_Max16Sx4: case Iop_Max32Sx2:
case Iop_Max32Fx2: case Iop_Min32Fx2:
case Iop_PwMax32Fx2: case Iop_PwMin32Fx2:
case Iop_Min8Ux8: case Iop_Min16Ux4: case Iop_Min32Ux2:
case Iop_Min8Sx8: case Iop_Min16Sx4: case Iop_Min32Sx2:
case Iop_PwMax8Ux8: case Iop_PwMax16Ux4: case Iop_PwMax32Ux2:
case Iop_PwMax8Sx8: case Iop_PwMax16Sx4: case Iop_PwMax32Sx2:
case Iop_PwMin8Ux8: case Iop_PwMin16Ux4: case Iop_PwMin32Ux2:
case Iop_PwMin8Sx8: case Iop_PwMin16Sx4: case Iop_PwMin32Sx2:
case Iop_Mul8x8: case Iop_Mul16x4: case Iop_Mul32x2:
case Iop_Mul32Fx2:
case Iop_PolynomialMul8x8:
case Iop_MulHi16Sx4: case Iop_MulHi16Ux4:
case Iop_QDMulHi16Sx4: case Iop_QDMulHi32Sx2:
case Iop_QRDMulHi16Sx4: case Iop_QRDMulHi32Sx2:
case Iop_QAdd8Sx8: case Iop_QAdd16Sx4:
case Iop_QAdd32Sx2: case Iop_QAdd64Sx1:
case Iop_QAdd8Ux8: case Iop_QAdd16Ux4:
case Iop_QAdd32Ux2: case Iop_QAdd64Ux1:
case Iop_PwAdd8x8: case Iop_PwAdd16x4: case Iop_PwAdd32x2:
case Iop_PwAdd32Fx2:
case Iop_QNarrowBin32Sto16Sx4:
case Iop_QNarrowBin16Sto8Sx8: case Iop_QNarrowBin16Sto8Ux8:
case Iop_NarrowBin16to8x8: case Iop_NarrowBin32to16x4:
case Iop_Sub8x8: case Iop_Sub16x4: case Iop_Sub32x2:
case Iop_QSub8Sx8: case Iop_QSub16Sx4:
case Iop_QSub32Sx2: case Iop_QSub64Sx1:
case Iop_QSub8Ux8: case Iop_QSub16Ux4:
case Iop_QSub32Ux2: case Iop_QSub64Ux1:
case Iop_Shl8x8: case Iop_Shl16x4: case Iop_Shl32x2:
case Iop_Shr8x8: case Iop_Shr16x4: case Iop_Shr32x2:
case Iop_Sar8x8: case Iop_Sar16x4: case Iop_Sar32x2:
case Iop_Sal8x8: case Iop_Sal16x4: case Iop_Sal32x2: case Iop_Sal64x1:
case Iop_QShl8x8: case Iop_QShl16x4: case Iop_QShl32x2: case Iop_QShl64x1:
case Iop_QSal8x8: case Iop_QSal16x4: case Iop_QSal32x2: case Iop_QSal64x1:
case Iop_RecipStep32Fx2:
case Iop_RSqrtStep32Fx2:
BINARY(Ity_I64,Ity_I64, Ity_I64);
case Iop_ShlN32x2: case Iop_ShlN16x4: case Iop_ShlN8x8:
case Iop_ShrN32x2: case Iop_ShrN16x4: case Iop_ShrN8x8:
case Iop_SarN32x2: case Iop_SarN16x4: case Iop_SarN8x8:
case Iop_QShlNsatUU8x8: case Iop_QShlNsatUU16x4:
case Iop_QShlNsatUU32x2: case Iop_QShlNsatUU64x1:
case Iop_QShlNsatSU8x8: case Iop_QShlNsatSU16x4:
case Iop_QShlNsatSU32x2: case Iop_QShlNsatSU64x1:
case Iop_QShlNsatSS8x8: case Iop_QShlNsatSS16x4:
case Iop_QShlNsatSS32x2: case Iop_QShlNsatSS64x1:
BINARY(Ity_I64,Ity_I8, Ity_I64);
case Iop_Shl8: case Iop_Shr8: case Iop_Sar8:
BINARY(Ity_I8,Ity_I8, Ity_I8);
case Iop_Shl16: case Iop_Shr16: case Iop_Sar16:
BINARY(Ity_I16,Ity_I8, Ity_I16);
case Iop_Shl32: case Iop_Shr32: case Iop_Sar32:
BINARY(Ity_I32,Ity_I8, Ity_I32);
case Iop_Shl64: case Iop_Shr64: case Iop_Sar64:
BINARY(Ity_I64,Ity_I8, Ity_I64);
case Iop_Not8:
UNARY(Ity_I8, Ity_I8);
case Iop_Not16:
UNARY(Ity_I16, Ity_I16);
case Iop_Not32:
case Iop_CmpNEZ16x2: case Iop_CmpNEZ8x4:
UNARY(Ity_I32, Ity_I32);
case Iop_Not64:
case Iop_CmpNEZ32x2: case Iop_CmpNEZ16x4: case Iop_CmpNEZ8x8:
case Iop_Cnt8x8:
case Iop_Clz8x8: case Iop_Clz16x4: case Iop_Clz32x2:
case Iop_Cls8x8: case Iop_Cls16x4: case Iop_Cls32x2:
case Iop_PwAddL8Ux8: case Iop_PwAddL16Ux4: case Iop_PwAddL32Ux2:
case Iop_PwAddL8Sx8: case Iop_PwAddL16Sx4: case Iop_PwAddL32Sx2:
case Iop_Reverse8sIn64_x1: case Iop_Reverse16sIn64_x1:
case Iop_Reverse32sIn64_x1:
case Iop_Reverse8sIn32_x2: case Iop_Reverse16sIn32_x2:
case Iop_Reverse8sIn16_x4:
case Iop_FtoI32Sx2_RZ: case Iop_FtoI32Ux2_RZ:
case Iop_I32StoFx2: case Iop_I32UtoFx2:
case Iop_RecipEst32Ux2: case Iop_RecipEst32Fx2:
case Iop_Abs32Fx2:
case Iop_RSqrtEst32Fx2:
case Iop_RSqrtEst32Ux2:
case Iop_Neg32Fx2:
case Iop_Abs8x8: case Iop_Abs16x4: case Iop_Abs32x2:
UNARY(Ity_I64, Ity_I64);
case Iop_CmpEQ8: case Iop_CmpNE8:
case Iop_CasCmpEQ8: case Iop_CasCmpNE8:
COMPARISON(Ity_I8);
case Iop_CmpEQ16: case Iop_CmpNE16:
case Iop_CasCmpEQ16: case Iop_CasCmpNE16:
COMPARISON(Ity_I16);
case Iop_CmpEQ32: case Iop_CmpNE32:
case Iop_CasCmpEQ32: case Iop_CasCmpNE32:
case Iop_CmpLT32S: case Iop_CmpLE32S:
case Iop_CmpLT32U: case Iop_CmpLE32U:
COMPARISON(Ity_I32);
case Iop_CmpEQ64: case Iop_CmpNE64:
case Iop_CasCmpEQ64: case Iop_CasCmpNE64:
case Iop_CmpLT64S: case Iop_CmpLE64S:
case Iop_CmpLT64U: case Iop_CmpLE64U:
COMPARISON(Ity_I64);
case Iop_CmpNEZ8: UNARY_COMPARISON(Ity_I8);
case Iop_CmpNEZ16: UNARY_COMPARISON(Ity_I16);
case Iop_CmpNEZ32: UNARY_COMPARISON(Ity_I32);
case Iop_CmpNEZ64: UNARY_COMPARISON(Ity_I64);
case Iop_Left8: UNARY(Ity_I8, Ity_I8);
case Iop_Left16: UNARY(Ity_I16,Ity_I16);
case Iop_CmpwNEZ32: case Iop_Left32: UNARY(Ity_I32,Ity_I32);
case Iop_CmpwNEZ64: case Iop_Left64: UNARY(Ity_I64,Ity_I64);
case Iop_MullU8: case Iop_MullS8:
BINARY(Ity_I8,Ity_I8, Ity_I16);
case Iop_MullU16: case Iop_MullS16:
BINARY(Ity_I16,Ity_I16, Ity_I32);
case Iop_MullU32: case Iop_MullS32:
BINARY(Ity_I32,Ity_I32, Ity_I64);
case Iop_MullU64: case Iop_MullS64:
BINARY(Ity_I64,Ity_I64, Ity_I128);
case Iop_Clz32: case Iop_Ctz32:
UNARY(Ity_I32, Ity_I32);
case Iop_Clz64: case Iop_Ctz64:
UNARY(Ity_I64, Ity_I64);
case Iop_DivU32: case Iop_DivS32: case Iop_DivU32E: case Iop_DivS32E:
BINARY(Ity_I32,Ity_I32, Ity_I32);
case Iop_DivU64: case Iop_DivS64: case Iop_DivS64E: case Iop_DivU64E:
BINARY(Ity_I64,Ity_I64, Ity_I64);
case Iop_DivModU64to32: case Iop_DivModS64to32:
BINARY(Ity_I64,Ity_I32, Ity_I64);
case Iop_DivModU128to64: case Iop_DivModS128to64:
BINARY(Ity_I128,Ity_I64, Ity_I128);
case Iop_DivModS64to64:
BINARY(Ity_I64,Ity_I64, Ity_I128);
case Iop_16HIto8: case Iop_16to8:
UNARY(Ity_I16, Ity_I8);
case Iop_8HLto16:
BINARY(Ity_I8,Ity_I8, Ity_I16);
case Iop_32HIto16: case Iop_32to16:
UNARY(Ity_I32, Ity_I16);
case Iop_16HLto32:
BINARY(Ity_I16,Ity_I16, Ity_I32);
case Iop_64HIto32: case Iop_64to32:
UNARY(Ity_I64, Ity_I32);
case Iop_32HLto64:
BINARY(Ity_I32,Ity_I32, Ity_I64);
case Iop_128HIto64: case Iop_128to64:
UNARY(Ity_I128, Ity_I64);
case Iop_64HLto128:
BINARY(Ity_I64,Ity_I64, Ity_I128);
case Iop_Not1: UNARY(Ity_I1, Ity_I1);
case Iop_1Uto8: UNARY(Ity_I1, Ity_I8);
case Iop_1Sto8: UNARY(Ity_I1, Ity_I8);
case Iop_1Sto16: UNARY(Ity_I1, Ity_I16);
case Iop_1Uto32: case Iop_1Sto32: UNARY(Ity_I1, Ity_I32);
case Iop_1Sto64: case Iop_1Uto64: UNARY(Ity_I1, Ity_I64);
case Iop_32to1: UNARY(Ity_I32, Ity_I1);
case Iop_64to1: UNARY(Ity_I64, Ity_I1);
case Iop_8Uto32: case Iop_8Sto32:
UNARY(Ity_I8, Ity_I32);
case Iop_8Uto16: case Iop_8Sto16:
UNARY(Ity_I8, Ity_I16);
case Iop_16Uto32: case Iop_16Sto32:
UNARY(Ity_I16, Ity_I32);
case Iop_32Sto64: case Iop_32Uto64:
UNARY(Ity_I32, Ity_I64);
case Iop_8Uto64: case Iop_8Sto64:
UNARY(Ity_I8, Ity_I64);
case Iop_16Uto64: case Iop_16Sto64:
UNARY(Ity_I16, Ity_I64);
case Iop_64to16:
UNARY(Ity_I64, Ity_I16);
case Iop_32to8: UNARY(Ity_I32, Ity_I8);
case Iop_64to8: UNARY(Ity_I64, Ity_I8);
case Iop_AddF64: case Iop_SubF64:
case Iop_MulF64: case Iop_DivF64:
case Iop_AddF64r32: case Iop_SubF64r32:
case Iop_MulF64r32: case Iop_DivF64r32:
TERNARY(ity_RMode,Ity_F64,Ity_F64, Ity_F64);
case Iop_AddF32: case Iop_SubF32:
case Iop_MulF32: case Iop_DivF32:
TERNARY(ity_RMode,Ity_F32,Ity_F32, Ity_F32);
case Iop_NegF64: case Iop_AbsF64:
UNARY(Ity_F64, Ity_F64);
case Iop_NegF32: case Iop_AbsF32:
UNARY(Ity_F32, Ity_F32);
case Iop_SqrtF64:
BINARY(ity_RMode,Ity_F64, Ity_F64);
case Iop_SqrtF32:
case Iop_RoundF32toInt:
BINARY(ity_RMode,Ity_F32, Ity_F32);
case Iop_CmpF32:
BINARY(Ity_F32,Ity_F32, Ity_I32);
case Iop_CmpF64:
BINARY(Ity_F64,Ity_F64, Ity_I32);
case Iop_CmpF128:
BINARY(Ity_F128,Ity_F128, Ity_I32);
case Iop_F64toI16S: BINARY(ity_RMode,Ity_F64, Ity_I16);
case Iop_F64toI32S: BINARY(ity_RMode,Ity_F64, Ity_I32);
case Iop_F64toI64S: case Iop_F64toI64U:
BINARY(ity_RMode,Ity_F64, Ity_I64);
case Iop_F64toI32U: BINARY(ity_RMode,Ity_F64, Ity_I32);
case Iop_I32StoF64: UNARY(Ity_I32, Ity_F64);
case Iop_I64StoF64: BINARY(ity_RMode,Ity_I64, Ity_F64);
case Iop_I64UtoF64: BINARY(ity_RMode,Ity_I64, Ity_F64);
case Iop_I64UtoF32: BINARY(ity_RMode,Ity_I64, Ity_F32);
case Iop_I32UtoF64: UNARY(Ity_I32, Ity_F64);
case Iop_F32toI32S: BINARY(ity_RMode,Ity_F32, Ity_I32);
case Iop_F32toI64S: BINARY(ity_RMode,Ity_F32, Ity_I64);
case Iop_F32toI32U: BINARY(ity_RMode,Ity_F32, Ity_I32);
case Iop_F32toI64U: BINARY(ity_RMode,Ity_F32, Ity_I64);
case Iop_I32UtoF32: BINARY(ity_RMode,Ity_I32, Ity_F32);
case Iop_I32StoF32: BINARY(ity_RMode,Ity_I32, Ity_F32);
case Iop_I64StoF32: BINARY(ity_RMode,Ity_I64, Ity_F32);
case Iop_F32toF64: UNARY(Ity_F32, Ity_F64);
case Iop_F64toF32: BINARY(ity_RMode,Ity_F64, Ity_F32);
case Iop_ReinterpI64asF64: UNARY(Ity_I64, Ity_F64);
case Iop_ReinterpF64asI64: UNARY(Ity_F64, Ity_I64);
case Iop_ReinterpI32asF32: UNARY(Ity_I32, Ity_F32);
case Iop_ReinterpF32asI32: UNARY(Ity_F32, Ity_I32);
case Iop_AtanF64: case Iop_Yl2xF64: case Iop_Yl2xp1F64:
case Iop_ScaleF64: case Iop_PRemF64: case Iop_PRem1F64:
TERNARY(ity_RMode,Ity_F64,Ity_F64, Ity_F64);
case Iop_PRemC3210F64: case Iop_PRem1C3210F64:
TERNARY(ity_RMode,Ity_F64,Ity_F64, Ity_I32);
case Iop_SinF64: case Iop_CosF64: case Iop_TanF64:
case Iop_2xm1F64:
case Iop_RoundF64toInt: BINARY(ity_RMode,Ity_F64, Ity_F64);
case Iop_MAddF64: case Iop_MSubF64:
case Iop_MAddF64r32: case Iop_MSubF64r32:
QUATERNARY(ity_RMode,Ity_F64,Ity_F64,Ity_F64, Ity_F64);
case Iop_RSqrtEst5GoodF64:
case Iop_RoundF64toF64_NEAREST: case Iop_RoundF64toF64_NegINF:
case Iop_RoundF64toF64_PosINF: case Iop_RoundF64toF64_ZERO:
UNARY(Ity_F64, Ity_F64);
case Iop_RoundF64toF32:
BINARY(ity_RMode,Ity_F64, Ity_F64);
case Iop_TruncF64asF32:
UNARY(Ity_F64, Ity_F32);
case Iop_I32UtoFx4:
case Iop_I32StoFx4:
case Iop_QFtoI32Ux4_RZ:
case Iop_QFtoI32Sx4_RZ:
case Iop_FtoI32Ux4_RZ:
case Iop_FtoI32Sx4_RZ:
case Iop_RoundF32x4_RM:
case Iop_RoundF32x4_RP:
case Iop_RoundF32x4_RN:
case Iop_RoundF32x4_RZ:
case Iop_Abs32Fx4:
case Iop_RSqrtEst32Fx4:
case Iop_RSqrtEst32Ux4:
UNARY(Ity_V128, Ity_V128);
case Iop_64HLtoV128:
BINARY(Ity_I64,Ity_I64, Ity_V128);
case Iop_V128to64: case Iop_V128HIto64:
case Iop_NarrowUn16to8x8:
case Iop_NarrowUn32to16x4:
case Iop_NarrowUn64to32x2:
case Iop_QNarrowUn16Uto8Ux8:
case Iop_QNarrowUn32Uto16Ux4:
case Iop_QNarrowUn64Uto32Ux2:
case Iop_QNarrowUn16Sto8Sx8:
case Iop_QNarrowUn32Sto16Sx4:
case Iop_QNarrowUn64Sto32Sx2:
case Iop_QNarrowUn16Sto8Ux8:
case Iop_QNarrowUn32Sto16Ux4:
case Iop_QNarrowUn64Sto32Ux2:
case Iop_F32toF16x4:
UNARY(Ity_V128, Ity_I64);
case Iop_Widen8Uto16x8:
case Iop_Widen16Uto32x4:
case Iop_Widen32Uto64x2:
case Iop_Widen8Sto16x8:
case Iop_Widen16Sto32x4:
case Iop_Widen32Sto64x2:
case Iop_F16toF32x4:
UNARY(Ity_I64, Ity_V128);
case Iop_V128to32: UNARY(Ity_V128, Ity_I32);
case Iop_32UtoV128: UNARY(Ity_I32, Ity_V128);
case Iop_64UtoV128: UNARY(Ity_I64, Ity_V128);
case Iop_SetV128lo32: BINARY(Ity_V128,Ity_I32, Ity_V128);
case Iop_SetV128lo64: BINARY(Ity_V128,Ity_I64, Ity_V128);
case Iop_Dup8x16: UNARY(Ity_I8, Ity_V128);
case Iop_Dup16x8: UNARY(Ity_I16, Ity_V128);
case Iop_Dup32x4: UNARY(Ity_I32, Ity_V128);
case Iop_Dup8x8: UNARY(Ity_I8, Ity_I64);
case Iop_Dup16x4: UNARY(Ity_I16, Ity_I64);
case Iop_Dup32x2: UNARY(Ity_I32, Ity_I64);
case Iop_CmpEQ32Fx4: case Iop_CmpLT32Fx4:
case Iop_CmpEQ64Fx2: case Iop_CmpLT64Fx2:
case Iop_CmpLE32Fx4: case Iop_CmpUN32Fx4:
case Iop_CmpLE64Fx2: case Iop_CmpUN64Fx2:
case Iop_CmpGT32Fx4: case Iop_CmpGE32Fx4:
case Iop_CmpEQ32F0x4: case Iop_CmpLT32F0x4:
case Iop_CmpEQ64F0x2: case Iop_CmpLT64F0x2:
case Iop_CmpLE32F0x4: case Iop_CmpUN32F0x4:
case Iop_CmpLE64F0x2: case Iop_CmpUN64F0x2:
case Iop_Add32Fx4: case Iop_Add32F0x4:
case Iop_Add64Fx2: case Iop_Add64F0x2:
case Iop_Div32Fx4: case Iop_Div32F0x4:
case Iop_Div64Fx2: case Iop_Div64F0x2:
case Iop_Max32Fx4: case Iop_Max32F0x4:
case Iop_PwMax32Fx4: case Iop_PwMin32Fx4:
case Iop_Max64Fx2: case Iop_Max64F0x2:
case Iop_Min32Fx4: case Iop_Min32F0x4:
case Iop_Min64Fx2: case Iop_Min64F0x2:
case Iop_Mul32Fx4: case Iop_Mul32F0x4:
case Iop_Mul64Fx2: case Iop_Mul64F0x2:
case Iop_Sub32Fx4: case Iop_Sub32F0x4:
case Iop_Sub64Fx2: case Iop_Sub64F0x2:
case Iop_AndV128: case Iop_OrV128: case Iop_XorV128:
case Iop_Add8x16: case Iop_Add16x8:
case Iop_Add32x4: case Iop_Add64x2:
case Iop_QAdd8Ux16: case Iop_QAdd16Ux8:
case Iop_QAdd32Ux4: //case Iop_QAdd64Ux2:
case Iop_QAdd8Sx16: case Iop_QAdd16Sx8:
case Iop_QAdd32Sx4: case Iop_QAdd64Sx2:
case Iop_PwAdd8x16: case Iop_PwAdd16x8: case Iop_PwAdd32x4:
case Iop_Sub8x16: case Iop_Sub16x8:
case Iop_Sub32x4: case Iop_Sub64x2:
case Iop_QSub8Ux16: case Iop_QSub16Ux8:
case Iop_QSub32Ux4: //case Iop_QSub64Ux2:
case Iop_QSub8Sx16: case Iop_QSub16Sx8:
case Iop_QSub32Sx4: case Iop_QSub64Sx2:
case Iop_Mul8x16: case Iop_Mul16x8: case Iop_Mul32x4:
case Iop_PolynomialMul8x16:
case Iop_MulHi16Ux8: case Iop_MulHi32Ux4:
case Iop_MulHi16Sx8: case Iop_MulHi32Sx4:
case Iop_QDMulHi16Sx8: case Iop_QDMulHi32Sx4:
case Iop_QRDMulHi16Sx8: case Iop_QRDMulHi32Sx4:
case Iop_MullEven8Ux16: case Iop_MullEven16Ux8:
case Iop_MullEven8Sx16: case Iop_MullEven16Sx8:
case Iop_Avg8Ux16: case Iop_Avg16Ux8: case Iop_Avg32Ux4:
case Iop_Avg8Sx16: case Iop_Avg16Sx8: case Iop_Avg32Sx4:
case Iop_Max8Sx16: case Iop_Max16Sx8: case Iop_Max32Sx4:
case Iop_Max8Ux16: case Iop_Max16Ux8: case Iop_Max32Ux4:
case Iop_Min8Sx16: case Iop_Min16Sx8: case Iop_Min32Sx4:
case Iop_Min8Ux16: case Iop_Min16Ux8: case Iop_Min32Ux4:
case Iop_CmpEQ8x16: case Iop_CmpEQ16x8: case Iop_CmpEQ32x4:
case Iop_CmpEQ64x2:
case Iop_CmpGT8Sx16: case Iop_CmpGT16Sx8: case Iop_CmpGT32Sx4:
case Iop_CmpGT64Sx2:
case Iop_CmpGT8Ux16: case Iop_CmpGT16Ux8: case Iop_CmpGT32Ux4:
case Iop_Shl8x16: case Iop_Shl16x8: case Iop_Shl32x4: case Iop_Shl64x2:
case Iop_QShl8x16: case Iop_QShl16x8:
case Iop_QShl32x4: case Iop_QShl64x2:
case Iop_QSal8x16: case Iop_QSal16x8:
case Iop_QSal32x4: case Iop_QSal64x2:
case Iop_Shr8x16: case Iop_Shr16x8: case Iop_Shr32x4: case Iop_Shr64x2:
case Iop_Sar8x16: case Iop_Sar16x8: case Iop_Sar32x4: case Iop_Sar64x2:
case Iop_Sal8x16: case Iop_Sal16x8: case Iop_Sal32x4: case Iop_Sal64x2:
case Iop_Rol8x16: case Iop_Rol16x8: case Iop_Rol32x4:
case Iop_QNarrowBin16Sto8Ux16: case Iop_QNarrowBin32Sto16Ux8:
case Iop_QNarrowBin16Sto8Sx16: case Iop_QNarrowBin32Sto16Sx8:
case Iop_QNarrowBin16Uto8Ux16: case Iop_QNarrowBin32Uto16Ux8:
case Iop_NarrowBin16to8x16: case Iop_NarrowBin32to16x8:
case Iop_InterleaveHI8x16: case Iop_InterleaveHI16x8:
case Iop_InterleaveHI32x4: case Iop_InterleaveHI64x2:
case Iop_InterleaveLO8x16: case Iop_InterleaveLO16x8:
case Iop_InterleaveLO32x4: case Iop_InterleaveLO64x2:
case Iop_CatOddLanes8x16: case Iop_CatEvenLanes8x16:
case Iop_CatOddLanes16x8: case Iop_CatEvenLanes16x8:
case Iop_CatOddLanes32x4: case Iop_CatEvenLanes32x4:
case Iop_InterleaveOddLanes8x16: case Iop_InterleaveEvenLanes8x16:
case Iop_InterleaveOddLanes16x8: case Iop_InterleaveEvenLanes16x8:
case Iop_InterleaveOddLanes32x4: case Iop_InterleaveEvenLanes32x4:
case Iop_Perm8x16: case Iop_Perm32x4:
case Iop_RecipStep32Fx4:
case Iop_RSqrtStep32Fx4:
BINARY(Ity_V128,Ity_V128, Ity_V128);
case Iop_PolynomialMull8x8:
case Iop_Mull8Ux8: case Iop_Mull8Sx8:
case Iop_Mull16Ux4: case Iop_Mull16Sx4:
case Iop_Mull32Ux2: case Iop_Mull32Sx2:
BINARY(Ity_I64, Ity_I64, Ity_V128);
case Iop_NotV128:
case Iop_RecipEst32Fx4: case Iop_RecipEst32F0x4:
case Iop_RecipEst32Ux4:
case Iop_RSqrtEst32F0x4:
case Iop_Sqrt32Fx4: case Iop_Sqrt32F0x4:
case Iop_Sqrt64Fx2: case Iop_Sqrt64F0x2:
case Iop_CmpNEZ8x16: case Iop_CmpNEZ16x8:
case Iop_CmpNEZ32x4: case Iop_CmpNEZ64x2:
case Iop_Cnt8x16:
case Iop_Clz8x16: case Iop_Clz16x8: case Iop_Clz32x4:
case Iop_Cls8x16: case Iop_Cls16x8: case Iop_Cls32x4:
case Iop_PwAddL8Ux16: case Iop_PwAddL16Ux8: case Iop_PwAddL32Ux4:
case Iop_PwAddL8Sx16: case Iop_PwAddL16Sx8: case Iop_PwAddL32Sx4:
case Iop_Reverse8sIn64_x2: case Iop_Reverse16sIn64_x2:
case Iop_Reverse32sIn64_x2:
case Iop_Reverse8sIn32_x4: case Iop_Reverse16sIn32_x4:
case Iop_Reverse8sIn16_x8:
case Iop_Neg32Fx4:
case Iop_Abs8x16: case Iop_Abs16x8: case Iop_Abs32x4:
UNARY(Ity_V128, Ity_V128);
case Iop_ShlV128: case Iop_ShrV128:
case Iop_ShlN8x16: case Iop_ShlN16x8:
case Iop_ShlN32x4: case Iop_ShlN64x2:
case Iop_ShrN8x16: case Iop_ShrN16x8:
case Iop_ShrN32x4: case Iop_ShrN64x2:
case Iop_SarN8x16: case Iop_SarN16x8:
case Iop_SarN32x4: case Iop_SarN64x2:
case Iop_QShlNsatUU8x16: case Iop_QShlNsatUU16x8:
case Iop_QShlNsatUU32x4: case Iop_QShlNsatUU64x2:
case Iop_QShlNsatSU8x16: case Iop_QShlNsatSU16x8:
case Iop_QShlNsatSU32x4: case Iop_QShlNsatSU64x2:
case Iop_QShlNsatSS8x16: case Iop_QShlNsatSS16x8:
case Iop_QShlNsatSS32x4: case Iop_QShlNsatSS64x2:
BINARY(Ity_V128,Ity_I8, Ity_V128);
case Iop_F32ToFixed32Ux4_RZ:
case Iop_F32ToFixed32Sx4_RZ:
case Iop_Fixed32UToF32x4_RN:
case Iop_Fixed32SToF32x4_RN:
BINARY(Ity_V128, Ity_I8, Ity_V128);
case Iop_F32ToFixed32Ux2_RZ:
case Iop_F32ToFixed32Sx2_RZ:
case Iop_Fixed32UToF32x2_RN:
case Iop_Fixed32SToF32x2_RN:
BINARY(Ity_I64, Ity_I8, Ity_I64);
case Iop_GetElem8x16:
BINARY(Ity_V128, Ity_I8, Ity_I8);
case Iop_GetElem16x8:
BINARY(Ity_V128, Ity_I8, Ity_I16);
case Iop_GetElem32x4:
BINARY(Ity_V128, Ity_I8, Ity_I32);
case Iop_GetElem64x2:
BINARY(Ity_V128, Ity_I8, Ity_I64);
case Iop_GetElem8x8:
BINARY(Ity_I64, Ity_I8, Ity_I8);
case Iop_GetElem16x4:
BINARY(Ity_I64, Ity_I8, Ity_I16);
case Iop_GetElem32x2:
BINARY(Ity_I64, Ity_I8, Ity_I32);
case Iop_SetElem8x8:
TERNARY(Ity_I64, Ity_I8, Ity_I8, Ity_I64);
case Iop_SetElem16x4:
TERNARY(Ity_I64, Ity_I8, Ity_I16, Ity_I64);
case Iop_SetElem32x2:
TERNARY(Ity_I64, Ity_I8, Ity_I32, Ity_I64);
case Iop_Slice64:
TERNARY(Ity_I64, Ity_I64, Ity_I8, Ity_I64);
case Iop_SliceV128:
TERNARY(Ity_V128, Ity_V128, Ity_I8, Ity_V128);
case Iop_QDMull16Sx4: case Iop_QDMull32Sx2:
BINARY(Ity_I64, Ity_I64, Ity_V128);
/* s390 specific */
case Iop_MAddF32:
case Iop_MSubF32:
QUATERNARY(ity_RMode,Ity_F32,Ity_F32,Ity_F32, Ity_F32);
case Iop_F64HLtoF128:
BINARY(Ity_F64,Ity_F64, Ity_F128);
case Iop_F128HItoF64:
case Iop_F128LOtoF64:
UNARY(Ity_F128, Ity_F64);
case Iop_AddF128:
case Iop_SubF128:
case Iop_MulF128:
case Iop_DivF128:
TERNARY(ity_RMode,Ity_F128,Ity_F128, Ity_F128);
case Iop_NegF128:
case Iop_AbsF128:
UNARY(Ity_F128, Ity_F128);
case Iop_SqrtF128:
BINARY(ity_RMode,Ity_F128, Ity_F128);
case Iop_I32StoF128: UNARY(Ity_I32, Ity_F128);
case Iop_I64StoF128: UNARY(Ity_I64, Ity_F128);
case Iop_I32UtoF128: UNARY(Ity_I32, Ity_F128);
case Iop_I64UtoF128: UNARY(Ity_I64, Ity_F128);
case Iop_F128toI32S: BINARY(ity_RMode,Ity_F128, Ity_I32);
case Iop_F128toI64S: BINARY(ity_RMode,Ity_F128, Ity_I64);
case Iop_F128toI32U: BINARY(ity_RMode,Ity_F128, Ity_I32);
case Iop_F128toI64U: BINARY(ity_RMode,Ity_F128, Ity_I64);
case Iop_F32toF128: UNARY(Ity_F32, Ity_F128);
case Iop_F64toF128: UNARY(Ity_F64, Ity_F128);
case Iop_F128toF32: BINARY(ity_RMode,Ity_F128, Ity_F32);
case Iop_F128toF64: BINARY(ity_RMode,Ity_F128, Ity_F64);
case Iop_D32toD64:
UNARY(Ity_D32, Ity_D64);
case Iop_ExtractExpD64:
UNARY(Ity_D64, Ity_I64);
case Iop_ExtractSigD64:
UNARY(Ity_D64, Ity_I64);
case Iop_InsertExpD64:
BINARY(Ity_I64,Ity_D64, Ity_D64);
case Iop_ExtractExpD128:
UNARY(Ity_D128, Ity_I64);
case Iop_ExtractSigD128:
UNARY(Ity_D128, Ity_I64);
case Iop_InsertExpD128:
BINARY(Ity_I64,Ity_D128, Ity_D128);
case Iop_D64toD128:
UNARY(Ity_D64, Ity_D128);
case Iop_ReinterpD64asI64:
UNARY(Ity_D64, Ity_I64);
case Iop_ReinterpI64asD64:
UNARY(Ity_I64, Ity_D64);
case Iop_RoundD64toInt:
BINARY(ity_RMode,Ity_D64, Ity_D64);
case Iop_RoundD128toInt:
BINARY(ity_RMode,Ity_D128, Ity_D128);
case Iop_I32StoD128:
case Iop_I32UtoD128:
UNARY(Ity_I32, Ity_D128);
case Iop_I64StoD128:
UNARY(Ity_I64, Ity_D128);
case Iop_I64UtoD128:
UNARY(Ity_I64, Ity_D128);
case Iop_F32toD32:
BINARY(ity_RMode, Ity_F32, Ity_D32);
case Iop_F32toD64:
BINARY(ity_RMode, Ity_F32, Ity_D64);
case Iop_F32toD128:
BINARY(ity_RMode, Ity_F32, Ity_D128);
case Iop_F64toD32:
BINARY(ity_RMode, Ity_F64, Ity_D32);
case Iop_F64toD64:
BINARY(ity_RMode, Ity_F64, Ity_D64);
case Iop_F64toD128:
BINARY(ity_RMode, Ity_F64, Ity_D128);
case Iop_F128toD32:
BINARY(ity_RMode, Ity_F128, Ity_D32);
case Iop_F128toD64:
BINARY(ity_RMode, Ity_F128, Ity_D64);
case Iop_F128toD128:
BINARY(ity_RMode, Ity_F128, Ity_D128);
case Iop_D32toF32:
BINARY(ity_RMode, Ity_D32, Ity_F32);
case Iop_D32toF64:
BINARY(ity_RMode, Ity_D32, Ity_F64);
case Iop_D32toF128:
BINARY(ity_RMode, Ity_D32, Ity_F128);
case Iop_D64toF32:
BINARY(ity_RMode, Ity_D64, Ity_F32);
case Iop_D64toF64:
BINARY(ity_RMode, Ity_D64, Ity_F64);
case Iop_D64toF128:
BINARY(ity_RMode, Ity_D64, Ity_F128);
case Iop_D128toF32:
BINARY(ity_RMode, Ity_D128, Ity_F32);
case Iop_D128toF64:
BINARY(ity_RMode, Ity_D128, Ity_F64);
case Iop_D128toF128:
BINARY(ity_RMode, Ity_D128, Ity_F128);
case Iop_DPBtoBCD:
case Iop_BCDtoDPB:
UNARY(Ity_I64, Ity_I64);
case Iop_D128HItoD64:
case Iop_D128LOtoD64:
UNARY(Ity_D128, Ity_D64);
case Iop_D128toI32S:
case Iop_D128toI32U:
BINARY(ity_RMode, Ity_D128, Ity_I32);
case Iop_D128toI64S:
BINARY(ity_RMode, Ity_D128, Ity_I64);
case Iop_D128toI64U:
BINARY(ity_RMode, Ity_D128, Ity_I64);
case Iop_D64HLtoD128:
BINARY(Ity_D64, Ity_D64, Ity_D128);
case Iop_ShlD64:
case Iop_ShrD64:
BINARY(Ity_D64, Ity_I8, Ity_D64 );
case Iop_D64toD32:
BINARY(ity_RMode, Ity_D64, Ity_D32);
case Iop_D64toI32S:
case Iop_D64toI32U:
BINARY(ity_RMode, Ity_D64, Ity_I32);
case Iop_D64toI64S:
case Iop_D64toI64U:
BINARY(ity_RMode, Ity_D64, Ity_I64);
case Iop_I32StoD64:
case Iop_I32UtoD64:
UNARY(Ity_I32, Ity_D64);
case Iop_I64StoD64:
case Iop_I64UtoD64:
BINARY(ity_RMode, Ity_I64, Ity_D64);
case Iop_CmpD64:
case Iop_CmpExpD64:
BINARY(Ity_D64,Ity_D64, Ity_I32);
case Iop_CmpD128:
case Iop_CmpExpD128:
BINARY(Ity_D128,Ity_D128, Ity_I32);
case Iop_QuantizeD64:
TERNARY(ity_RMode,Ity_D64,Ity_D64, Ity_D64);
case Iop_SignificanceRoundD64:
TERNARY(ity_RMode,Ity_I8,Ity_D64, Ity_D64);
case Iop_QuantizeD128:
TERNARY(ity_RMode,Ity_D128,Ity_D128, Ity_D128);
case Iop_SignificanceRoundD128:
TERNARY(ity_RMode,Ity_I8,Ity_D128, Ity_D128);
case Iop_ShlD128:
case Iop_ShrD128:
BINARY(Ity_D128, Ity_I8, Ity_D128 );
case Iop_AddD64:
case Iop_SubD64:
case Iop_MulD64:
case Iop_DivD64:
TERNARY( ity_RMode, Ity_D64, Ity_D64, Ity_D64 );
case Iop_D128toD64:
BINARY( ity_RMode, Ity_D128, Ity_D64 );
case Iop_AddD128:
case Iop_SubD128:
case Iop_MulD128:
case Iop_DivD128:
TERNARY(ity_RMode,Ity_D128,Ity_D128, Ity_D128);
case Iop_V256to64_0: case Iop_V256to64_1:
case Iop_V256to64_2: case Iop_V256to64_3:
UNARY(Ity_V256, Ity_I64);
case Iop_64x4toV256:
QUATERNARY(Ity_I64, Ity_I64, Ity_I64, Ity_I64, Ity_V256);
case Iop_Add64Fx4: case Iop_Sub64Fx4:
case Iop_Mul64Fx4: case Iop_Div64Fx4:
case Iop_Add32Fx8: case Iop_Sub32Fx8:
case Iop_Mul32Fx8: case Iop_Div32Fx8:
case Iop_AndV256: case Iop_OrV256:
case Iop_XorV256:
case Iop_Max32Fx8: case Iop_Min32Fx8:
case Iop_Max64Fx4: case Iop_Min64Fx4:
BINARY(Ity_V256,Ity_V256, Ity_V256);
case Iop_V256toV128_1: case Iop_V256toV128_0:
UNARY(Ity_V256, Ity_V128);
case Iop_V128HLtoV256:
BINARY(Ity_V128,Ity_V128, Ity_V256);
case Iop_NotV256:
case Iop_RSqrtEst32Fx8:
case Iop_Sqrt32Fx8:
case Iop_Sqrt64Fx4:
case Iop_RecipEst32Fx8:
case Iop_CmpNEZ64x4: case Iop_CmpNEZ32x8:
UNARY(Ity_V256, Ity_V256);
default:
panic(__func__);
}
# undef UNARY
# undef BINARY
# undef TERNARY
# undef COMPARISON
# undef UNARY_COMPARISON
}
|
