Add Intel encodings for the bint instructions.

Convert b1 to i32 or i64 by zero-extending the byte.
2017-07-19 12:01:28 -07:00
parent 82fbc78f2f
commit 265bd351bd
4 changed files with 40 additions and 0 deletions
--- a/filetests/isa/intel/binary32.cton
+++ b/filetests/isa/intel/binary32.cton
@@ -326,6 +326,13 @@ ebb0:
    ; asm: setbe %dl
    [-,%rdx]            v319 = icmp ule v2, v1  ; bin: 39 ce 0f 96 c2

+    ; Bool-to-int conversions.
+
+    ; asm: movzbl %bl, %ecx
+    [-,%rcx]             v350 = bint.i32 v300   ; bin: 0f b6 cb
+    ; asm: movzbl %dl, %esi
+    [-,%rsi]             v351 = bint.i32 v301   ; bin: 0f b6 f2
+
    ; asm: call foo
    call fn0()                                  ; bin: e8 PCRel4(fn0) 00000000