# Instruções lógicas e de comparação ## Instruções lógicas SSE ### ANDP(S|D) | bitwise logical AND of Packed (Single|Double)-precision floating-point values ``` ANDPS xmm(n), xmm(n) ANDPS xmm(n), float(4) ANDPD xmm(n), xmm(n) ANDPD xmm(n), double(2) ``` Faz uma operação E bit a bit (*bitwise AND*) em cada um dos valores *float/double* contidos no operando fonte e armazena o resultado no operando destino. ### ANDNP(S|D) | bitwise logical AND NOT of Packed (Single|Double)-precision floating-point values ``` ANDNPS xmm(n), xmm(n) ANDNPS xmm(n), float(4) ANDNPD xmm(n), xmm(n) ANDNPD xmm(n), double(2) ``` Faz uma operação NAND bit a bit em cada um dos valores *float/double* contidos no operando fonte e armazena o resultado no operando destino. ### ORP(S|D) | bitwise logical OR of Packed (Single|Double)-precision floating-point values ``` ORPS xmm(n), xmm(n) ORPS xmm(n), float(4) ORPD xmm(n), xmm(n) ORPD xmm(n), double(2) ``` Faz uma operação OU bit a bit (*bitwise OR*) em cada um dos valores *float/double* contidos no operando fonte e armazena o resultado no operando destino. ### XORP(S|D) | bitwise logical XOR of Packed (Single|Double)-precision floating-point values ``` XORPS xmm(n), xmm(n) XORPS xmm(n), float(4) XORPD xmm(n), xmm(n) XORPD xmm(n), double(2) ``` Faz uma operação OU Exclusivo bit a bit (*bitwise eXclusive OR*) em cada um dos valores *float/double* contidos no operando fonte e armazena o resultado no operando destino. ## Instruções de comparação SSE As instruções de comparação do SSE recebem um terceiro operando imediato de 8 bits que serve como identificador para indicar qual comparação deve ser efetuada com os valores, onde os valores válidos são de 0 até 7. Na tabela abaixo é indicado cada valor e qual operação de comparação ele representa:
ValorMnemônicoDescrição
ValorMnemônicoDescrição
0EQVerifica se os valores são iguais.
1LTVerifica se o primeiro operando é menor que o segundo.
2LEVerifica se o primeiro operando é menor ou igual ao segundo.
3UNORDVerifica se os valores não estão ordenados.
4NEQVerifica se os valores não são iguais.
5NLTVerifica se o primeiro operando não é menor que o segundo (ou seja, se é igual ou maior).
6NLEVerifica se o primeiro operando não é menor ou igual que o segundo (ou seja, se é maior).
7ORDVerifica se os valores estão ordenados.
Felizmente para facilitar nossa vida os assemblers, incluindo o NASM, adicionam pseudo-instruções que removem o operando imediato e, ao invés disso, usa os mnemônicos apresentados na tabela como *conditional code* para a instrução. Como é demonstrado no exemplo abaixo: ```nasm ; As duas instruções abaixo são equivalentes. CMPPS xmm1, xmm2, 0 CMPEQPS xmm1, xmm2 ``` ### CMPP(S|D)/CMPccP(S|D) | Compare Packed (Single|Double)-precision floating-point values ``` CMPPS xmm(n), xmm(n), imm8 CMPPS xmm(n), float(4), imm8 CMPPD xmm(n), xmm(n), imm8 CMPPD xmm(n), double(2), imm8 ``` Essa instrução compara cada um dos valores *float/double* contido nos dois operandos e armazena o resultado da comparação no operando fonte (o primeiro). O valor imediato passado como terceiro operando é um código numérico para identificar qual operação de comparação deve ser executada em cada um dos valores. O resultado é armazenado como todos os bits ligados (1) caso a comparação seja verdadeira, se não todos os bits estarão desligados (0) indicando que a comparação foi falsa. Cada número *float/double* tem um resultado distinto no registrador destino. ### CMPS(S|D)/CMPccS(S|D) | Compare Scalar (Single|Double)-precision floating-point value ``` CMPSS xmm(n), xmm(n), imm8 CMPSS xmm(n), float(4), imm8 CMPSD xmm(n), xmm(n), imm8 CMPSD xmm(n), double(2), imm8 ``` Funciona da mesma forma que a instrução anterior porém comparando um único valor escalar. O resultado é armazenado no *float/double* menos significativo do operando fonte. ### COMIS(S|D)/UCOMIS(S|D) | (Unordered) Compare Scalar (Single|Double)-precision floating-point value and set EFLAGS ``` COMISS xmm(n), xmm(n) COMISS xmm(n), float(1) UCOMISS xmm(n), xmm(n) UCOMISS xmm(n), float(1) COMISD xmm(n), xmm(n) COMISD xmm(n), double(1) UCOMISD xmm(n), xmm(n) UCOMISD xmm(n), double(1) ``` As quatro instruções comparam os dois operandos **escalares** e definem as *status flags* em EFLAGS de acordo com a comparação sem modificar os operandos. Comportamento semelhante ao da instrução CMP. Quando uma operação aritmética com números *floats* resulta em NaN existem dois tipos diferentes: * *quiet* NaN (QNaN): O valor é apenas definido para NaN sem qualquer indicação de problema. * *signaling* NaN (SNaN): O valor é definido para NaN e uma exceção *floating-point invalid-operation* (`#I`) é disparada caso você execute alguma operação com o valor. A diferença entre COMISS/COMISD e UCOMISS/UCOMISD é que COMISS/COMISD irá disparar a exceção `#I` se o primeiro operando for QNaN ou SNaN. Já UCOMISS/UCOMISD apenas dispara a exceção se o primeiro operando for SNaN. --- # Agent Instructions: Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter: ``` GET https://mentebinaria.gitbook.io/assembly/aprofundando-em-assembly/entendendo-sse/instrucoes-logicas-e-de-comparacao.md?ask= ``` The question should be specific, self-contained, and written in natural language. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.