T0b1/wasmtime
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Encode bnot on x86.

Browse Source
This commit is contained in:
Sergey Pepyakin
2018-06-09 03:20:12 +03:00
committed by Dan Gohman
parent a7813c4448
commit 399860e2aa
3 changed files with 20 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
cranelift/filetests/isa/x86/binary64.cton
View File

@@ -913,6 +913,15 @@ ebb0:
; asm: movsbl -50000(%rsi), %edx
[-,%rdx] v39 = sload8.i32 v2-50000 ; bin: heap_oob 0f be 96 ffff3cb0
; Integer Register Operations.
; asm: notl %ecx
[-,%rcx] v4000 = bnot v1 ; bin: f7 d1
; asm: notl %esi
[-,%rsi] v4001 = bnot v2 ; bin: f7 d6
; asm: notl %r10d
[-,%r10] v4002 = bnot v3 ; bin: 41 f7 d2
; Integer Register-Register Operations.
; asm: addl %esi, %ecx