1 /* Declarations for Intel 80386 opcode table
2 Copyright (C) 2007-2019 Free Software Foundation, Inc.
4 This file is part of the GNU opcodes library.
6 This library is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 3, or (at your option)
11 It is distributed in the hope that it will be useful, but WITHOUT
12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
13 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
14 License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GAS; see the file COPYING. If not, write to the Free
18 Software Foundation, 51 Franklin Street - Fifth Floor, Boston, MA
21 #include "opcode/i386.h"
30 /* Position of cpu flags bitfiled. */
34 /* i186 or better required */
36 /* i286 or better required */
38 /* i386 or better required */
40 /* i486 or better required */
42 /* i585 or better required */
44 /* i686 or better required */
46 /* CMOV Instruction support required */
48 /* FXSR Instruction support required */
50 /* CLFLUSH Instruction support required */
52 /* NOP Instruction support required */
54 /* SYSCALL Instructions support required */
56 /* Floating point support required */
58 /* i287 support required */
60 /* i387 support required */
62 /* i686 and floating point support required */
64 /* SSE3 and floating point support required */
66 /* MMX support required */
68 /* SSE support required */
70 /* SSE2 support required */
72 /* 3dnow! support required */
74 /* 3dnow! Extensions support required */
76 /* SSE3 support required */
78 /* VIA PadLock required */
80 /* AMD Secure Virtual Machine Ext-s required */
82 /* VMX Instructions required */
84 /* SMX Instructions required */
86 /* SSSE3 support required */
88 /* SSE4a support required */
90 /* ABM New Instructions required */
92 /* SSE4.1 support required */
94 /* SSE4.2 support required */
96 /* AVX support required */
98 /* AVX2 support required */
100 /* Intel AVX-512 Foundation Instructions support required */
102 /* Intel AVX-512 Conflict Detection Instructions support required */
104 /* Intel AVX-512 Exponential and Reciprocal Instructions support
107 /* Intel AVX-512 Prefetch Instructions support required */
109 /* Intel AVX-512 VL Instructions support required. */
111 /* Intel AVX-512 DQ Instructions support required. */
113 /* Intel AVX-512 BW Instructions support required. */
115 /* Intel L1OM support required */
117 /* Intel K1OM support required */
119 /* Intel IAMCU support required */
121 /* Xsave/xrstor New Instructions support required */
123 /* Xsaveopt New Instructions support required */
125 /* AES support required */
127 /* PCLMUL support required */
129 /* FMA support required */
131 /* FMA4 support required */
133 /* XOP support required */
135 /* LWP support required */
137 /* BMI support required */
139 /* TBM support required */
141 /* MOVBE Instruction support required */
143 /* CMPXCHG16B instruction support required. */
145 /* EPT Instructions required */
147 /* RDTSCP Instruction support required */
149 /* FSGSBASE Instructions required */
151 /* RDRND Instructions required */
153 /* F16C Instructions required */
155 /* Intel BMI2 support required */
157 /* LZCNT support required */
159 /* HLE support required */
161 /* RTM support required */
163 /* INVPCID Instructions required */
165 /* VMFUNC Instruction required */
167 /* Intel MPX Instructions required */
169 /* 64bit support available, used by -march= in assembler. */
171 /* RDRSEED instruction required. */
173 /* Multi-presisionn add-carry instructions are required. */
175 /* Supports prefetchw and prefetch instructions. */
177 /* SMAP instructions required. */
179 /* SHA instructions required. */
181 /* CLFLUSHOPT instruction required */
183 /* XSAVES/XRSTORS instruction required */
185 /* XSAVEC instruction required */
187 /* PREFETCHWT1 instruction required */
189 /* SE1 instruction required */
191 /* CLWB instruction required */
193 /* Intel AVX-512 IFMA Instructions support required. */
195 /* Intel AVX-512 VBMI Instructions support required. */
197 /* Intel AVX-512 4FMAPS Instructions support required. */
199 /* Intel AVX-512 4VNNIW Instructions support required. */
201 /* Intel AVX-512 VPOPCNTDQ Instructions support required. */
203 /* Intel AVX-512 VBMI2 Instructions support required. */
205 /* Intel AVX-512 VNNI Instructions support required. */
207 /* Intel AVX-512 BITALG Instructions support required. */
209 /* Intel AVX-512 BF16 Instructions support required. */
211 /* Intel AVX-512 VP2INTERSECT Instructions support required. */
212 CpuAVX512_VP2INTERSECT,
213 /* mwaitx instruction required */
215 /* Clzero instruction required */
217 /* OSPKE instruction required */
219 /* RDPID instruction required */
221 /* PTWRITE instruction required */
223 /* CET instructions support required */
226 /* GFNI instructions required */
228 /* VAES instructions required */
230 /* VPCLMULQDQ instructions required */
232 /* WBNOINVD instructions required */
234 /* PCONFIG instructions required */
236 /* WAITPKG instructions required */
238 /* CLDEMOTE instruction required */
240 /* MOVDIRI instruction support required */
242 /* MOVDIRR64B instruction required */
244 /* ENQCMD instruction required */
246 /* RDPRU instruction required */
248 /* MCOMMIT instruction required */
250 /* 64bit support required */
252 /* Not supported in the 64bit mode */
254 /* The last bitfield in i386_cpu_flags. */
258 #define CpuNumOfUints \
259 (CpuMax / sizeof (unsigned int) / CHAR_BIT + 1)
260 #define CpuNumOfBits \
261 (CpuNumOfUints * sizeof (unsigned int) * CHAR_BIT)
263 /* If you get a compiler error for zero width of the unused field,
265 #define CpuUnused (CpuMax + 1)
267 /* We can check if an instruction is available with array instead
269 typedef union i386_cpu_flags
273 unsigned int cpui186:1;
274 unsigned int cpui286:1;
275 unsigned int cpui386:1;
276 unsigned int cpui486:1;
277 unsigned int cpui586:1;
278 unsigned int cpui686:1;
279 unsigned int cpucmov:1;
280 unsigned int cpufxsr:1;
281 unsigned int cpuclflush:1;
282 unsigned int cpunop:1;
283 unsigned int cpusyscall:1;
284 unsigned int cpu8087:1;
285 unsigned int cpu287:1;
286 unsigned int cpu387:1;
287 unsigned int cpu687:1;
288 unsigned int cpufisttp:1;
289 unsigned int cpummx:1;
290 unsigned int cpusse:1;
291 unsigned int cpusse2:1;
292 unsigned int cpua3dnow:1;
293 unsigned int cpua3dnowa:1;
294 unsigned int cpusse3:1;
295 unsigned int cpupadlock:1;
296 unsigned int cpusvme:1;
297 unsigned int cpuvmx:1;
298 unsigned int cpusmx:1;
299 unsigned int cpussse3:1;
300 unsigned int cpusse4a:1;
301 unsigned int cpuabm:1;
302 unsigned int cpusse4_1:1;
303 unsigned int cpusse4_2:1;
304 unsigned int cpuavx:1;
305 unsigned int cpuavx2:1;
306 unsigned int cpuavx512f:1;
307 unsigned int cpuavx512cd:1;
308 unsigned int cpuavx512er:1;
309 unsigned int cpuavx512pf:1;
310 unsigned int cpuavx512vl:1;
311 unsigned int cpuavx512dq:1;
312 unsigned int cpuavx512bw:1;
313 unsigned int cpul1om:1;
314 unsigned int cpuk1om:1;
315 unsigned int cpuiamcu:1;
316 unsigned int cpuxsave:1;
317 unsigned int cpuxsaveopt:1;
318 unsigned int cpuaes:1;
319 unsigned int cpupclmul:1;
320 unsigned int cpufma:1;
321 unsigned int cpufma4:1;
322 unsigned int cpuxop:1;
323 unsigned int cpulwp:1;
324 unsigned int cpubmi:1;
325 unsigned int cputbm:1;
326 unsigned int cpumovbe:1;
327 unsigned int cpucx16:1;
328 unsigned int cpuept:1;
329 unsigned int cpurdtscp:1;
330 unsigned int cpufsgsbase:1;
331 unsigned int cpurdrnd:1;
332 unsigned int cpuf16c:1;
333 unsigned int cpubmi2:1;
334 unsigned int cpulzcnt:1;
335 unsigned int cpuhle:1;
336 unsigned int cpurtm:1;
337 unsigned int cpuinvpcid:1;
338 unsigned int cpuvmfunc:1;
339 unsigned int cpumpx:1;
340 unsigned int cpulm:1;
341 unsigned int cpurdseed:1;
342 unsigned int cpuadx:1;
343 unsigned int cpuprfchw:1;
344 unsigned int cpusmap:1;
345 unsigned int cpusha:1;
346 unsigned int cpuclflushopt:1;
347 unsigned int cpuxsaves:1;
348 unsigned int cpuxsavec:1;
349 unsigned int cpuprefetchwt1:1;
350 unsigned int cpuse1:1;
351 unsigned int cpuclwb:1;
352 unsigned int cpuavx512ifma:1;
353 unsigned int cpuavx512vbmi:1;
354 unsigned int cpuavx512_4fmaps:1;
355 unsigned int cpuavx512_4vnniw:1;
356 unsigned int cpuavx512_vpopcntdq:1;
357 unsigned int cpuavx512_vbmi2:1;
358 unsigned int cpuavx512_vnni:1;
359 unsigned int cpuavx512_bitalg:1;
360 unsigned int cpuavx512_bf16:1;
361 unsigned int cpuavx512_vp2intersect:1;
362 unsigned int cpumwaitx:1;
363 unsigned int cpuclzero:1;
364 unsigned int cpuospke:1;
365 unsigned int cpurdpid:1;
366 unsigned int cpuptwrite:1;
367 unsigned int cpuibt:1;
368 unsigned int cpushstk:1;
369 unsigned int cpugfni:1;
370 unsigned int cpuvaes:1;
371 unsigned int cpuvpclmulqdq:1;
372 unsigned int cpuwbnoinvd:1;
373 unsigned int cpupconfig:1;
374 unsigned int cpuwaitpkg:1;
375 unsigned int cpucldemote:1;
376 unsigned int cpumovdiri:1;
377 unsigned int cpumovdir64b:1;
378 unsigned int cpuenqcmd:1;
379 unsigned int cpurdpru:1;
380 unsigned int cpumcommit:1;
381 unsigned int cpu64:1;
382 unsigned int cpuno64:1;
384 unsigned int unused:(CpuNumOfBits - CpuUnused);
387 unsigned int array[CpuNumOfUints];
390 /* Position of opcode_modifier bits. */
394 /* has direction bit. */
396 /* set if operands can be both bytes and words/dwords/qwords, encoded the
397 canonical way; the base_opcode field should hold the encoding for byte
400 /* load form instruction. Must be placed before store form. */
402 /* insn has a modrm byte. */
404 /* register is in low 3 bits of opcode */
406 /* special case for jump insns. */
412 /* special case for intersegment leaps/calls */
414 /* absolute address for jump */
416 /* FP insn memory format bit, sized by 0x4 */
418 /* src/dest swap for floats. */
420 /* needs size prefix if in 32-bit mode */
422 /* needs size prefix if in 16-bit mode */
424 /* needs size prefix if in 64-bit mode */
427 /* check register size. */
429 /* instruction ignores operand size prefix and in Intel mode ignores
430 mnemonic size suffix check. */
432 /* default insn size depends on mode */
434 /* any memory size */
436 /* b suffix on instruction illegal */
438 /* w suffix on instruction illegal */
440 /* l suffix on instruction illegal */
442 /* s suffix on instruction illegal */
444 /* q suffix on instruction illegal */
446 /* long double suffix on instruction illegal */
448 /* instruction needs FWAIT */
450 /* IsString provides for a quick test for string instructions, and
451 its actual value also indicates which of the operands (if any)
452 requires use of the %es segment. */
453 #define IS_STRING_ES_OP0 2
454 #define IS_STRING_ES_OP1 3
456 /* RegMem is for instructions with a modrm byte where the register
457 destination operand should be encoded in the mod and regmem fields.
458 Normally, it will be encoded in the reg field. We add a RegMem
459 flag to indicate that it should be encoded in the regmem field. */
461 /* quick test if branch instruction is MPX supported */
463 /* quick test if NOTRACK prefix is supported */
465 /* quick test for lockable instructions */
467 /* fake an extra reg operand for clr, imul and special register
468 processing for some instructions. */
470 /* An implicit xmm0 as the first operand */
472 /* The HLE prefix is OK:
473 1. With a LOCK prefix.
474 2. With or without a LOCK prefix.
475 3. With a RELEASE (0xf3) prefix.
477 #define HLEPrefixNone 0
478 #define HLEPrefixLock 1
479 #define HLEPrefixAny 2
480 #define HLEPrefixRelease 3
482 /* An instruction on which a "rep" prefix is acceptable. */
484 /* Convert to DWORD */
486 /* Convert to QWORD */
488 /* Address prefix changes register operand */
490 /* opcode is a prefix */
492 /* instruction has extension in 8 bit imm */
494 /* instruction don't need Rex64 prefix. */
496 /* instruction require Rex64 prefix. */
498 /* deprecated fp insn, gets a warning */
500 /* insn has VEX prefix:
501 1: 128bit VEX prefix (or operand dependent).
502 2: 256bit VEX prefix.
503 3: Scalar VEX prefix.
509 /* How to encode VEX.vvvv:
510 0: VEX.vvvv must be 1111b.
511 1: VEX.NDS. Register-only source is encoded in VEX.vvvv where
512 the content of source registers will be preserved.
513 VEX.DDS. The second register operand is encoded in VEX.vvvv
514 where the content of first source register will be overwritten
516 VEX.NDD2. The second destination register operand is encoded in
517 VEX.vvvv for instructions with 2 destination register operands.
518 For assembler, there are no difference between VEX.NDS, VEX.DDS
520 2. VEX.NDD. Register destination is encoded in VEX.vvvv for
521 instructions with 1 destination register operand.
522 3. VEX.LWP. Register destination is encoded in VEX.vvvv and one
523 of the operands can access a memory location.
529 /* How the VEX.W bit is used:
530 0: Set by the REX.W bit.
531 1: VEX.W0. Should always be 0.
532 2: VEX.W1. Should always be 1.
533 3: VEX.WIG. The VEX.W bit is ignored.
539 /* VEX opcode prefix:
540 0: VEX 0x0F opcode prefix.
541 1: VEX 0x0F38 opcode prefix.
542 2: VEX 0x0F3A opcode prefix
543 3: XOP 0x08 opcode prefix.
544 4: XOP 0x09 opcode prefix
545 5: XOP 0x0A opcode prefix.
554 /* number of VEX source operands:
555 0: <= 2 source operands.
556 1: 2 XOP source operands.
557 2: 3 source operands.
559 #define XOP2SOURCES 1
560 #define VEX3SOURCES 2
562 /* Instruction with vector SIB byte:
563 1: 128bit vector register.
564 2: 256bit vector register.
565 3: 512bit vector register.
571 /* SSE to AVX support required */
573 /* No AVX equivalent */
576 /* insn has EVEX prefix:
577 1: 512bit EVEX prefix.
578 2: 128bit EVEX prefix.
579 3: 256bit EVEX prefix.
580 4: Length-ignored (LIG) EVEX prefix.
581 5: Length determined from actual operands.
590 /* AVX512 masking support:
591 1: Zeroing or merging masking depending on operands.
593 3: Both zeroing and merging masking.
595 #define DYNAMIC_MASKING 1
596 #define MERGING_MASKING 2
597 #define BOTH_MASKING 3
600 /* AVX512 broadcast support. The number of bytes to broadcast is
601 1 << (Broadcast - 1):
607 #define BYTE_BROADCAST 1
608 #define WORD_BROADCAST 2
609 #define DWORD_BROADCAST 3
610 #define QWORD_BROADCAST 4
613 /* Static rounding control is supported. */
616 /* Supress All Exceptions is supported. */
619 /* Compressed Disp8*N attribute. */
620 #define DISP8_SHIFT_VL 7
623 /* Default mask isn't allowed. */
626 /* The second operand must be a vector register, {x,y,z}mmN, where N is a multiple of 4.
627 It implicitly denotes the register group of {x,y,z}mmN - {x,y,z}mm(N + 3).
631 /* Support encoding optimization. */
644 /* The last bitfield in i386_opcode_modifier. */
648 typedef struct i386_opcode_modifier
653 unsigned int modrm:1;
654 unsigned int shortform:1;
656 unsigned int jumpdword:1;
657 unsigned int jumpbyte:1;
658 unsigned int jumpintersegment:1;
659 unsigned int jumpabsolute:1;
660 unsigned int floatmf:1;
661 unsigned int floatr:1;
663 unsigned int checkregsize:1;
664 unsigned int ignoresize:1;
665 unsigned int defaultsize:1;
666 unsigned int anysize:1;
667 unsigned int no_bsuf:1;
668 unsigned int no_wsuf:1;
669 unsigned int no_lsuf:1;
670 unsigned int no_ssuf:1;
671 unsigned int no_qsuf:1;
672 unsigned int no_ldsuf:1;
673 unsigned int fwait:1;
674 unsigned int isstring:2;
675 unsigned int regmem:1;
676 unsigned int bndprefixok:1;
677 unsigned int notrackprefixok:1;
678 unsigned int islockable:1;
679 unsigned int regkludge:1;
680 unsigned int implicit1stxmm0:1;
681 unsigned int hleprefixok:2;
682 unsigned int repprefixok:1;
683 unsigned int todword:1;
684 unsigned int toqword:1;
685 unsigned int addrprefixopreg:1;
686 unsigned int isprefix:1;
687 unsigned int immext:1;
688 unsigned int norex64:1;
689 unsigned int rex64:1;
692 unsigned int vexvvvv:2;
694 unsigned int vexopcode:3;
695 unsigned int vexsources:2;
696 unsigned int vecsib:2;
697 unsigned int sse2avx:1;
698 unsigned int noavx:1;
700 unsigned int masking:2;
701 unsigned int broadcast:3;
702 unsigned int staticrounding:1;
704 unsigned int disp8memshift:3;
705 unsigned int nodefmask:1;
706 unsigned int implicitquadgroup:1;
707 unsigned int optimize:1;
708 unsigned int attmnemonic:1;
709 unsigned int attsyntax:1;
710 unsigned int intelsyntax:1;
711 unsigned int amd64:1;
712 unsigned int intel64:1;
713 } i386_opcode_modifier;
715 /* Operand classes. */
717 #define CLASS_WIDTH 4
721 Reg, /* GPRs and FP regs, distinguished by operand size */
722 SReg, /* Segment register */
723 RegCR, /* Control register */
724 RegDR, /* Debug register */
725 RegTR, /* Test register */
726 RegMMX, /* MMX register */
727 RegSIMD, /* XMM/YMM/ZMM registers, distinguished by operand size */
728 RegMask, /* Vector Mask register */
729 RegBND, /* Bound register */
732 /* Special operand instances. */
734 #define INSTANCE_WIDTH 3
735 enum operand_instance
738 Accum, /* Accumulator %al/%ax/%eax/%rax/%st(0)/%xmm0 */
739 RegC, /* %cl / %cx / %ecx / %rcx, e.g. register to hold shift count */
740 RegD, /* %dl / %dx / %edx / %rdx, e.g. register to hold I/O port addr */
741 RegB, /* %bl / %bx / %ebx / %rbx */
744 /* Position of operand_type bits. */
748 /* Class and Instance */
749 ClassInstance = CLASS_WIDTH + INSTANCE_WIDTH - 1,
750 /* 1 bit immediate */
752 /* 8 bit immediate */
754 /* 8 bit immediate sign extended */
756 /* 16 bit immediate */
758 /* 32 bit immediate */
760 /* 32 bit immediate sign extended */
762 /* 64 bit immediate */
764 /* 8bit/16bit/32bit displacements are used in different ways,
765 depending on the instruction. For jumps, they specify the
766 size of the PC relative displacement, for instructions with
767 memory operand, they specify the size of the offset relative
768 to the base register, and for instructions with memory offset
769 such as `mov 1234,%al' they specify the size of the offset
770 relative to the segment base. */
771 /* 8 bit displacement */
773 /* 16 bit displacement */
775 /* 32 bit displacement */
777 /* 32 bit signed displacement */
779 /* 64 bit displacement */
781 /* Register which can be used for base or index in memory operand. */
785 /* WORD size. 2 byte */
787 /* DWORD size. 4 byte */
789 /* FWORD size. 6 byte */
791 /* QWORD size. 8 byte */
793 /* TBYTE size. 10 byte */
801 /* Unspecified memory size. */
804 /* The number of bits in i386_operand_type. */
808 #define OTNumOfUints \
809 ((OTNum - 1) / sizeof (unsigned int) / CHAR_BIT + 1)
810 #define OTNumOfBits \
811 (OTNumOfUints * sizeof (unsigned int) * CHAR_BIT)
813 /* If you get a compiler error for zero width of the unused field,
815 #define OTUnused OTNum
817 typedef union i386_operand_type
821 unsigned int class:CLASS_WIDTH;
822 unsigned int instance:INSTANCE_WIDTH;
825 unsigned int imm8s:1;
826 unsigned int imm16:1;
827 unsigned int imm32:1;
828 unsigned int imm32s:1;
829 unsigned int imm64:1;
830 unsigned int disp8:1;
831 unsigned int disp16:1;
832 unsigned int disp32:1;
833 unsigned int disp32s:1;
834 unsigned int disp64:1;
835 unsigned int baseindex:1;
838 unsigned int dword:1;
839 unsigned int fword:1;
840 unsigned int qword:1;
841 unsigned int tbyte:1;
842 unsigned int xmmword:1;
843 unsigned int ymmword:1;
844 unsigned int zmmword:1;
845 unsigned int unspecified:1;
847 unsigned int unused:(OTNumOfBits - OTUnused);
850 unsigned int array[OTNumOfUints];
853 typedef struct insn_template
855 /* instruction name sans width suffix ("mov" for movl insns) */
858 /* base_opcode is the fundamental opcode byte without optional
860 unsigned int base_opcode;
861 #define Opcode_D 0x2 /* Direction bit:
862 set if Reg --> Regmem;
863 unset if Regmem --> Reg. */
864 #define Opcode_FloatR 0x8 /* Bit to swap src/dest for float insns. */
865 #define Opcode_FloatD 0x400 /* Direction bit for float insns. */
866 #define Opcode_SIMD_FloatD 0x1 /* Direction bit for SIMD fp insns. */
867 #define Opcode_SIMD_IntD 0x10 /* Direction bit for SIMD int insns. */
869 /* extension_opcode is the 3 bit extension for group <n> insns.
870 This field is also used to store the 8-bit opcode suffix for the
871 AMD 3DNow! instructions.
872 If this template has no extension opcode (the usual case) use None
874 unsigned short extension_opcode;
875 #define None 0xffff /* If no extension_opcode is possible. */
878 unsigned char opcode_length;
880 /* how many operands */
881 unsigned char operands;
883 /* cpu feature flags */
884 i386_cpu_flags cpu_flags;
886 /* the bits in opcode_modifier are used to generate the final opcode from
887 the base_opcode. These bits also are used to detect alternate forms of
888 the same instruction */
889 i386_opcode_modifier opcode_modifier;
891 /* operand_types[i] describes the type of operand i. This is made
892 by OR'ing together all of the possible type masks. (e.g.
893 'operand_types[i] = Reg|Imm' specifies that operand i can be
894 either a register or an immediate operand. */
895 i386_operand_type operand_types[MAX_OPERANDS];
899 extern const insn_template i386_optab[];
901 /* these are for register name --> number & type hash lookup */
905 i386_operand_type reg_type;
906 unsigned char reg_flags;
907 #define RegRex 0x1 /* Extended register. */
908 #define RegRex64 0x2 /* Extended 8 bit register. */
909 #define RegVRex 0x4 /* Extended vector register. */
910 unsigned char reg_num;
911 #define RegIP ((unsigned char ) ~0)
912 /* EIZ and RIZ are fake index registers. */
913 #define RegIZ (RegIP - 1)
914 /* FLAT is a fake segment register (Intel mode). */
915 #define RegFlat ((unsigned char) ~0)
916 signed char dw2_regnum[2];
917 #define Dw2Inval (-1)
921 /* Entries in i386_regtab. */
924 #define REGNAM_EAX 41
926 extern const reg_entry i386_regtab[];
927 extern const unsigned int i386_regtab_size;
932 unsigned int seg_prefix;
936 extern const seg_entry cs;
937 extern const seg_entry ds;
938 extern const seg_entry ss;
939 extern const seg_entry es;
940 extern const seg_entry fs;
941 extern const seg_entry gs;