Add tests and documentation for x86_(push|pop). Fix up encoding issues revealed by tests.

2017-12-01 19:15:31 -08:00
parent 3b1b33e0ac
commit 1a11c351b5
4 changed files with 38 additions and 5 deletions
--- a/cranelift/filetests/isa/intel/binary32.cton
+++ b/cranelift/filetests/isa/intel/binary32.cton
@@ -383,6 +383,12 @@ ebb0:
    ; asm: movl 1032(%esp), %ecx
    regfill v1, ss1 -> %rcx                     ; bin: 8b 8c 24 00000408

+    ; Push and Pop
+    ; asm: pushl %ecx
+    x86_push v1                                 ; bin: 51
+    ; asm: popl %ecx
+    [-,%rcx]            v512 = x86_pop.i32      ; bin: 59
+
    ; asm: testl %ecx, %ecx
    ; asm: je ebb1
    brz v1, ebb1                                ; bin: 85 c9 74 0e