Para usar isso, você deve primeiro baixar o XML mais recente do Guia Intrinsics da Intel
(Atualmente aqui: https://www.intel.com/content/dam/devell/public/us/en/include/intrinsics-guide/data-latest.xml)
e salve -o como data.xml no diretório atual.Até agora, apenas esses recursos do pseudocódigo da Intel são suportados:
Existem muitas funções usadas na documentação da Intel que não são dadas explicitamente no XML.O Intrinsics cobre apenas um subconjunto de x86
Instruções (presumivelmente até que um leitor de PDF seja adicionado), então isso será principalmente
Útil para investigar o código SIMD enrolado à mão, etc. O Guia Intrinsics da Intel fornece um interativo
Guia com dados para cada instrução intrínseca x86, incluindo um pseudocódigo que especifica as instruções
comportamento.
Esta é uma tentativa rudimentar de construir um modelo formal autogenerado de
X86 INTRIMÍCIAS Ao interpretar o pseudocódigo de instruções da Intel, transformando
em um modelo para z3.
Trending posts dos últimos 30 dias
-
Laptop da estrutura 13 revisado, novamente: meteor lake meh, atualizações Linux Good
13 de agosto de 2024By Auto News Bot | 0 Comments -
O que o Google Rivals quer após a vitória do teste antitruste do DOJ
11 de agosto de 2024By Auto News Bot | 0 Comments -
Mostrar HN: COMANDI – Um assistente de terminal alimentado pela IA sem usar a chave da API
13 de agosto de 2024By Auto News Bot | 0 Comments
3D ARM BSD BSDDAY ChatGPT CoC conferências containers debian Desktop Environment Documentação emacs eventos FLISOL FreeBSD Free Software Foundation games GDPR jogos joomla KDE linux Linux-BR LISP Mail malware Microsoft Mozilla NVIDIA open source PGP Privacidade python RISC segurança software livre suse ubuntu União Européia virtualização VPN Vulkan vulnerabilidade Windows youtube
Comentários
Nenhum comentário para mostrar.
- setembro 2024
- agosto 2024
- julho 2024
- junho 2024
- maio 2024
- abril 2024
- março 2024
- fevereiro 2024
- janeiro 2024
- dezembro 2023
- novembro 2023
- outubro 2023
- setembro 2023
- agosto 2023
- julho 2023
- junho 2023
- maio 2023
- abril 2023
- janeiro 2023
- novembro 2022
- junho 2022
- janeiro 2022
- abril 2021
- outubro 2020
- setembro 2020
- agosto 2020
- junho 2020
- abril 2020
- fevereiro 2020
- janeiro 2020
- abril 2019
- março 2019
- fevereiro 2019
- dezembro 2018
- novembro 2018
- outubro 2018
- setembro 2018
- agosto 2018
- julho 2018
- junho 2018
- maio 2018
- abril 2018