AVX512 for HJWasm in construction

[habran]

Hi there
Just to let you know that I am not bludgeoning and how far is AVX512 construction gone
there is still lot of tweaking to be done but the base has been done
I use objconv for testing the code and here it is what has been done so far:

; Disassembly of file: simple.exe
; Mon Aug 31 06:27:26 2015
; Mode: 64 bits
; Syntax: MASM/ML64
; Instruction set: AVX-512, x64
option dotname

public Entry_point


_text   SEGMENT BYTE 'CODE'                             ; section number 1

        int 3    ; breakpoint or filler                 ; 40001000 _ CC
        int 3    ; breakpoint or filler                 ; 40001001 _ CC
        int 3    ; breakpoint or filler                 ; 40001002 _ CC
        int 3    ; breakpoint or filler                 ; 40001003 _ CC
        int 3    ; breakpoint or filler                 ; 40001004 _ CC

Entry_point PROC
; Note: Immediate operand could be made smaller by sign extension
        jmp     ?_001                                   ; 40001005 _ E9, 00000006

; Filling space: 6H
; Filler type: INT 3 Debug breakpoint
;       db 0CCH, 0CCH, 0CCH, 0CCH, 0CCH, 0CCH

ALIGN   8
        vaddpd  zmm30, zmm29, zmm28, {rn-sae}           ; 40001010 _ 62 01 95 10: 58. F4
        vaddpd  zmm30, zmm29, zmm28, {rd-sae}           ; 40001016 _ 62 01 95 30: 58. F4
        vaddpd  zmm30, zmm29, zmm28, {ru-sae}           ; 4000101C _ 62 01 95 50: 58. F4
        vaddpd  zmm30, zmm29, zmm28, {rz-sae}           ; 40001022 _ 62 01 95 70: 58. F4
        vaddpd  xmm1, xmm2, xmm3                               ; 40001028 _ C5 E9: 58. CB
        vaddpd  zmm1, zmm29, zmmword ptr [rdx+10H*40H]  ; 4000102C _ 62 F1 95 40: 58. 4A, 10
        vaddpd  xmm1, xmm2, xmm3                        ; 40001033 _ C5 E9: 58. CB
        vaddpd  xmm1, xmm29, xmmword ptr [rdx+40H*10H]  ; 40001037 _ 62 F1 95 00: 58. 4A, 40
        vaddpd  xmm1, xmm29, xmmword ptr [rdx+40H*10H]  ; 4000103E _ 62 F1 95 00: 58. 4A, 40
        vaddpd  xmm1, xmm29, xmmword ptr [rdx+20H*10H]  ; 40001045 _ 62 F1 95 00: 58. 4A, 20
        vaddpd  xmm1, xmm29, xmmword ptr [rdx+20H*10H]  ; 4000104C _ 62 F1 95 00: 58. 4A, 20
        vaddpd  zmm13, zmm18, zmmword ptr [rdx+10H*40H] ; 40001053 _ 62 71 ED 40: 58. 6A, 10
        vaddpd  xmm15, xmm24, xmmword ptr [rdx+40H*10H] ; 4000105A _ 62 71 BD 00: 58. 7A, 40
        vaddpd  xmm1, xmm2, xmm3                        ; 40001061 _ C5 E9: 58. CB
        vaddps  ymm17, ymm17, dword ptr [rdx+400H] {1to8} {1to8}; 40001065 _ 62 E1 74 30: 58. 8A, 00000400
        vaddps  ymm7, ymm7, dword ptr [rdx+400H] {1to8} {1to8}; 4000106F _ 62 F1 44 38: 58. BA, 00000400
        vaddps  ymm27, ymm27, dword ptr [rdx+400H] {1to8} {1to8}; 40001079 _ 62 61 24 30: 58. 9A, 00000400
        vaddps  xmm13, xmm12, xmmword ptr [rdx+400H]    ; 40001083 _ C5 18: 58. AA, 00000400
        vaddpd  xmm1, xmm2, xmm3                        ; 4000108B _ C5 E9: 58. CB
        vaddpd  ymm1, ymm2, ymm29                       ; 4000108F _ 62 91 ED 28: 58. CD
        vaddpd  xmm1, xmm2, xmm29                       ; 40001095 _ 62 91 ED 08: 58. CD
        vaddpd  xmm1, xmm2, xmmword ptr [rdx+400H]      ; 4000109B _ C5 E9: 58. 8A, 00000400
        vaddps  xmm1, xmm8, dword ptr [rdx+400H] {1to4} {1to4}; 400010A3 _ 62 F1 3C 18: 58. 8A, 00000400
        vaddps  xmm7, xmm2, dword ptr [rdx+400H] {1to4} {1to4}; 400010AD _ 62 F1 6C 18: 58. BA, 00000400
        vaddps  ymm8, ymm2, dword ptr [rdx+400H] {1to8} {1to8}; 400010B7 _ 62 71 6C 38: 58. 82, 00000400
        vaddps  ymm8, ymm2, dword ptr [rdx+400H] {1to8} {1to8}; 400010C1 _ 62 71 6C 38: 58. 82, 00000400
        vaddps  zmm30, zmm29, dword ptr [rdx+400H] {1to16} {1to16}; 400010CB _ 62 61 94 50: 58. B2, 00000400
        vaddps  zmm30, zmm29, dword ptr [rdx+400H] {1to16} {1to16}; 400010D5 _ 62 61 94 50: 58. B2, 00000400
        vaddps  zmm30, zmm29, dword ptr [rdx+400H] {1to16} {1to16}; 400010DF _ 62 61 94 50: 58. B2, 00000400
        vaddps  xmm30, xmm29, xmmword ptr [rdx+20H*10H] ; 400010E9 _ 62 61 94 00: 58. 72, 20
        vaddps  zmm30, zmm29, zmmword ptr [rdx+10H*40H] ; 400010F0 _ 62 61 94 40: 58. 72, 10
        vaddps  xmm30, xmm29, xmmword ptr [rdx+20H*10H] ; 400010F7 _ 62 61 94 00: 58. 72, 20
        vaddps  zmm30, zmm29, zmmword ptr [rdx+10H*40H] ; 400010FE _ 62 61 94 40: 58. 72, 10
        vaddps  zmm30, zmm29, dword ptr [rdx+400H] {1to16} {1to16}; 40001105 _ 62 61 94 50: 58. B2, 00000400
        vaddps  ymm18, ymm17, dword ptr [rdx+400H] {1to8} {1to8}; 4000110F _ 62 E1 74 30: 58. 92, 00000400
        vaddps  xmm13, xmm12, xmmword ptr [rdx+400H]    ; 40001119 _ C5 18: 58. AA, 00000400
        vaddps  xmm30, xmm29, xmmword ptr [rdx+20H*10H] ; 40001121 _ 62 61 94 00: 58. 72, 20
        vaddps  zmm30, zmm29, zmmword ptr [rdx+10H*40H] ; 40001128 _ 62 61 94 40: 58. 72, 10
        vaddpd  zmm30, zmm29, qword ptr [rdx+400H] {1to8} {1to16}; 4000112F _ 62 61 95 50: 58. B2, 00000400
        vaddpd  zmm30, zmm29, qword ptr [rdx+400H] {1to8} {1to16}; 40001139 _ 62 61 95 50: 58. B2, 00000400
        vmulps  zmm1, zmm2, dword ptr [rax] {1to16} {1to16}; 40001143 _ 62 F1 EC 58: 59. 08
        vaddps  xmm30, xmm29, dword ptr [rdx+400H] {1to4} {1to4}; 40001149 _ 62 61 14 10: 58. B2, 00000400
        vaddps  xmm30, xmm29, dword ptr [rdx+400H] {1to4} {1to4}; 40001153 _ 62 61 14 10: 58. B2, 00000400
        vaddps  ymm30, ymm29, dword ptr [rdx+400H] {1to8} {1to8}; 4000115D _ 62 61 14 30: 58. B2, 00000400
        vaddps  ymm30, ymm29, dword ptr [rdx+400H] {1to8} {1to8}; 40001167 _ 62 61 14 30: 58. B2, 00000400
        vaddps  zmm30, zmm29, dword ptr [rdx+400H] {1to16} {1to16}; 40001171 _ 62 61 94 50: 58. B2, 00000400
        vaddps  zmm30, zmm29, dword ptr [rdx+400H] {1to16} {1to16}; 4000117B _ 62 61 94 50: 58. B2, 00000400
        vaddpd  zmm30, zmm29, qword ptr [rdx+400H] {1to8} {1to16}; 40001185 _ 62 61 95 50: 58. B2, 00000400
        vaddps  zmm30, zmm29, dword ptr [rdx+400H] {1to16} {1to16}; 4000118F _ 62 61 94 50: 58. B2, 00000400
        vmulps  zmm1, zmm2, dword ptr [rax] {1to16} {1to16}; 40001199 _ 62 F1 EC 58: 59. 08
        vaddpd  zmm30, zmm29, qword ptr [rdx] {1to8} {1to16}; 4000119F _ 62 61 95 50: 58. 32
        vaddpd  zmm30, zmm29, zmmword ptr [rdx+10H*40H] ; 400011A5 _ 62 61 95 40: 58. 72, 10
        vaddpd  zmm1, zmm29, zmmword ptr [rdx+10H*40H]  ; 400011AC _ 62 F1 95 40: 58. 4A, 10
        vaddpd  zmm30, zmm29, qword ptr [rdx+400H] {1to8} {1to16}; 400011B3 _ 62 61 95 50: 58. B2, 00000400
        kmovw   k7, word ptr [rbp]                        ; 400011BD _ C5 F8: 90. 7D, 00
        kmovb   k2, byte ptr [rbx+rdx*2]               ; 400011C2 _ C5 F9: 90. 14 53
        kmovb   byte ptr [rbx+rdx*2], k2               ; 400011C7 _ C5 F9: 91. 14 53
        kmovw   k2, word ptr [rbx+rdx*2]              ; 400011CC _ C5 F8: 90. 14 53
        kmovw   word ptr [rbx+rdx*2], k2              ; 400011D1 _ C5 F8: 91. 14 53
        kmovd   k2, dword ptr [rbx+rdx*2]             ; 400011D6 _ C4 E1 F9: 90. 14 53
        kmovd   dword ptr [rbx+rdx*2], k2             ; 400011DC _ C4 E1 F9: 91. 14 53
        kmovq   k2, qword ptr [rbx+rdx*2]                ; 400011E2 _ C4 E1 F8: 90. 14 53
        kmovq   qword ptr [rbx+rdx*2], k2                ; 400011E8 _ C4 E1 F8: 91. 14 53
        kmovb   k1, k2                                             ; 400011EE _ C5 F9: 90. CA
        kmovw   k1, k2                                             ; 400011F2 _ C5 F8: 90. CA
        kmovd   k1, k2                                              ; 400011F6 _ C4 E1 F9: 90. CA
        kmovq   k1, k2                                              ; 400011FB _ C4 E1 F8: 90. CA
        kmovb   k2, ecx                                             ; 40001200 _ C5 F9: 92. D1
        kmovw   k2, ecx                                             ; 40001204 _ C5 F8: 92. D1
        kmovd   k2, ecx                                             ; 40001208 _ C5 FB: 92. D1
        kmovq   k2, rcx                                              ; 4000120C _ C4 E1 FB: 92. D1
        kmovb   ecx, k2                                              ; 40001211 _ C5 F9: 93. CA
        kmovw   ecx, k2                                             ; 40001215 _ C5 F8: 93. CA
        kmovd   ecx, k2                                              ; 40001219 _ C5 FB: 93. CA
        kmovq   rcx, k2                                              ; 4000121D _ C4 E1 FB: 93. CA
        kmovb   k2, byte ptr [rbx]                               ; 40001222 _ C5 F9: 90. 13
        kmovb   byte ptr [rbx], k2                               ; 40001226 _ C5 F9: 91. 13
        kmovw   k2, word ptr [rbx]                              ; 4000122A _ C5 F8: 90. 13
        kmovw   word ptr [rbx], k2                              ; 4000122E _ C5 F8: 91. 13
        kmovd   k2, dword ptr [rbx]                             ; 40001232 _ C4 E1 F9: 90. 13
        kmovd   dword ptr [rbx], k2                             ; 40001237 _ C4 E1 F9: 91. 13
        kmovq   k2, qword ptr [rbx]                             ; 4000123C _ C4 E1 F8: 90. 13
        kmovq   qword ptr [rbx], k2                             ; 40001241 _ C4 E1 F8: 91. 13
        kmovb   k2, byte ptr [rbx+rdx*2]                     ; 40001246 _ C5 F9: 90. 14 53
        kmovb   byte ptr [rbx+rdx*2], k2                     ; 4000124B _ C5 F9: 91. 14 53
        kmovw   k2, word ptr [rbx+rdx*2]                    ; 40001250 _ C5 F8: 90. 14 53
        kmovw   word ptr [rbx+rdx*2], k2                    ; 40001255 _ C5 F8: 91. 14 53
        kmovd   k2, dword ptr [rbx+rdx*2]                   ; 4000125A _ C4 E1 F9: 90. 14 53
        kmovd   dword ptr [rbx+rdx*2], k2                   ; 40001260 _ C4 E1 F9: 91. 14 53
        kmovq   k2, qword ptr [rbx+rdx*2]                   ; 40001266 _ C4 E1 F8: 90. 14 53
        kmovq   qword ptr [rbx+rdx*2], k2                   ; 4000126C _ C4 E1 F8: 91. 14 53
        kmovb   k3, byte ptr [rbp+rdi*8-1E240H]          ; 40001272 _ C5 F9: 90. 9C FD, FFFE1DC0
        kmovw   k3, word ptr [rbp+rdi*8-1E240H]         ; 4000127B _ C5 F8: 90. 9C FD, FFFE1DC0
        kmovd   k3, dword ptr [rbp+rdi*8-1E240H]        ; 40001284 _ C4 E1 F9: 90. 9C FD, FFFE1DC0
        kmovq   k3, qword ptr [rbp+rdi*8-1E240H]        ; 4000128E _ C4 E1 F8: 90. 9C FD, FFFE1DC0
        kmovb   byte ptr [rbp+rdi*8-1E240H], k3          ; 40001298 _ C5 F9: 91. 9C FD, FFFE1DC0
        kmovw   word ptr [rbp+rdi*8-1E240H], k3         ; 400012A1 _ C5 F8: 91. 9C FD, FFFE1DC0
        kmovd   dword ptr [rbp+rdi*8-1E240H], k3        ; 400012AA _ C4 E1 F9: 91. 9C FD, FFFE1DC0
        kmovq   qword ptr [rbp+rdi*8-1E240H], k3        ; 400012B4 _ C4 E1 F8: 91. 9C FD, FFFE1DC0
        ret                                             ; 400012BE _ C3
Entry_point ENDP