xref: /qemu/tests/tcg/s390x/mie3-compl.c (revision 99c53410bc9d50e556f565b0960673cccb566452)
1*e2c3fb06SDavid Miller #include <stdint.h>
2*e2c3fb06SDavid Miller 
3*e2c3fb06SDavid Miller #define FbinOp(S, ASM) uint64_t S(uint64_t a, uint64_t b) \
4*e2c3fb06SDavid Miller { \
5*e2c3fb06SDavid Miller     uint64_t res = 0; \
6*e2c3fb06SDavid Miller     asm ("llihf %[res],801\n" ASM \
7*e2c3fb06SDavid Miller          : [res]"=&r"(res) : [a]"r"(a), [b]"r"(b) : "cc"); \
8*e2c3fb06SDavid Miller     return res; \
9*e2c3fb06SDavid Miller }
10*e2c3fb06SDavid Miller 
11*e2c3fb06SDavid Miller /* AND WITH COMPLEMENT */
12*e2c3fb06SDavid Miller FbinOp(_ncrk,  ".insn rrf, 0xB9F50000, %[res], %[b], %[a], 0\n")
13*e2c3fb06SDavid Miller FbinOp(_ncgrk, ".insn rrf, 0xB9E50000, %[res], %[b], %[a], 0\n")
14*e2c3fb06SDavid Miller 
15*e2c3fb06SDavid Miller /* NAND */
16*e2c3fb06SDavid Miller FbinOp(_nnrk,  ".insn rrf, 0xB9740000, %[res], %[b], %[a], 0\n")
17*e2c3fb06SDavid Miller FbinOp(_nngrk, ".insn rrf, 0xB9640000, %[res], %[b], %[a], 0\n")
18*e2c3fb06SDavid Miller 
19*e2c3fb06SDavid Miller /* NOT XOR */
20*e2c3fb06SDavid Miller FbinOp(_nxrk,  ".insn rrf, 0xB9770000, %[res], %[b], %[a], 0\n")
21*e2c3fb06SDavid Miller FbinOp(_nxgrk, ".insn rrf, 0xB9670000, %[res], %[b], %[a], 0\n")
22*e2c3fb06SDavid Miller 
23*e2c3fb06SDavid Miller /* NOR */
24*e2c3fb06SDavid Miller FbinOp(_nork,  ".insn rrf, 0xB9760000, %[res], %[b], %[a], 0\n")
25*e2c3fb06SDavid Miller FbinOp(_nogrk, ".insn rrf, 0xB9660000, %[res], %[b], %[a], 0\n")
26*e2c3fb06SDavid Miller 
27*e2c3fb06SDavid Miller /* OR WITH COMPLEMENT */
28*e2c3fb06SDavid Miller FbinOp(_ocrk,  ".insn rrf, 0xB9750000, %[res], %[b], %[a], 0\n")
29*e2c3fb06SDavid Miller FbinOp(_ocgrk, ".insn rrf, 0xB9650000, %[res], %[b], %[a], 0\n")
30*e2c3fb06SDavid Miller 
main(int argc,char * argv[])31*e2c3fb06SDavid Miller int main(int argc, char *argv[])
32*e2c3fb06SDavid Miller {
33*e2c3fb06SDavid Miller     if (_ncrk(0xFF88, 0xAA11)  != 0x0000032100000011ull ||
34*e2c3fb06SDavid Miller         _nnrk(0xFF88, 0xAA11)  != 0x00000321FFFF55FFull ||
35*e2c3fb06SDavid Miller         _nork(0xFF88, 0xAA11)  != 0x00000321FFFF0066ull ||
36*e2c3fb06SDavid Miller         _nxrk(0xFF88, 0xAA11)  != 0x00000321FFFFAA66ull ||
37*e2c3fb06SDavid Miller         _ocrk(0xFF88, 0xAA11)  != 0x00000321FFFFAA77ull ||
38*e2c3fb06SDavid Miller         _ncgrk(0xFF88, 0xAA11) != 0x0000000000000011ull ||
39*e2c3fb06SDavid Miller         _nngrk(0xFF88, 0xAA11) != 0xFFFFFFFFFFFF55FFull ||
40*e2c3fb06SDavid Miller         _nogrk(0xFF88, 0xAA11) != 0xFFFFFFFFFFFF0066ull ||
41*e2c3fb06SDavid Miller         _nxgrk(0xFF88, 0xAA11) != 0xFFFFFFFFFFFFAA66ull ||
42*e2c3fb06SDavid Miller         _ocgrk(0xFF88, 0xAA11) != 0xFFFFFFFFFFFFAA77ull)
43*e2c3fb06SDavid Miller     {
44*e2c3fb06SDavid Miller         return 1;
45*e2c3fb06SDavid Miller     }
46*e2c3fb06SDavid Miller 
47*e2c3fb06SDavid Miller     return 0;
48*e2c3fb06SDavid Miller }
49