Skip to content

Commit

Permalink
sdasgup3/binary-decompilation#77: wip
Browse files Browse the repository at this point in the history
  • Loading branch information
@sdasgup3
sdasgup3 committed Jun 6, 2018
1 parent a3cfd72 commit c3d0959
Show file tree
Hide file tree
Showing 66 changed files with 208 additions and 208 deletions.
4 changes: 2 additions & 2 deletions ...r-variants/bextrl_r32_r32_r32/instructions/bextrl_r32_r32_r32/bextrl_r32_r32_r32.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,12 +10,12 @@ code: bextrl %edx, %ecx, %ebx

Formula:

%rbx : concatenateMInt( mi(32, 0), andMInt( extractMInt( lshrMInt( concatenateMInt( mi(480, 0), extractMInt( %rcx, 32, 64)), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 56, 64)))), 480, 512), negMInt( extractMInt( shlMInt( lshrMInt( mi(512, 18446744073709551615), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), 480, 512))))
%rbx : concatenateMInt( mi(32, 0), andMInt( extractMInt( lshrMInt( concatenateMInt( mi(480, 0), extractMInt( %rcx, 32, 64)), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 56, 64)))), 480, 512), negMInt( extractMInt( shiftLeftMInt( lshrMInt( mi(512, 18446744073709551615), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), 480, 512))))

%cf : mi(1, 0)
%pf : (#ifMInt TMP_BOOL_2 #then mi(1, 1) #else mi(1, 0) #fi)
%af : (#ifMInt TMP_BOOL_0 #then mi(1, 1) #else mi(1, 0) #fi)
%zf : (#ifMInt eqMInt( andMInt( extractMInt( lshrMInt( concatenateMInt( mi(480, 0), extractMInt( %rcx, 32, 64)), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 56, 64)))), 480, 512), negMInt( extractMInt( shlMInt( lshrMInt( mi(512, 18446744073709551615), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), 480, 512))), mi(32, 0)) #then mi(1, 1) #else mi(1, 0) #fi)
%zf : (#ifMInt eqMInt( andMInt( extractMInt( lshrMInt( concatenateMInt( mi(480, 0), extractMInt( %rcx, 32, 64)), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 56, 64)))), 480, 512), negMInt( extractMInt( shiftLeftMInt( lshrMInt( mi(512, 18446744073709551615), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), 480, 512))), mi(32, 0)) #then mi(1, 1) #else mi(1, 0) #fi)
%sf : (#ifMInt TMP_BOOL_1 #then mi(1, 1) #else mi(1, 0) #fi)
%of : mi(1, 0)

Expand Down
4 changes: 2 additions & 2 deletions ...r-variants/bextrq_r64_r64_r64/instructions/bextrq_r64_r64_r64/bextrq_r64_r64_r64.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,12 +10,12 @@ code: bextrq %rdx, %rcx, %rbx

Formula:

%rbx : andMInt( extractMInt( lshrMInt( concatenateMInt( mi(448, 0), %rcx), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 56, 64)))), 448, 512), negMInt( extractMInt( shlMInt( lshrMInt( mi(512, 18446744073709551615), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), 448, 512)))
%rbx : andMInt( extractMInt( lshrMInt( concatenateMInt( mi(448, 0), %rcx), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 56, 64)))), 448, 512), negMInt( extractMInt( shiftLeftMInt( lshrMInt( mi(512, 18446744073709551615), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), 448, 512)))

%cf : mi(1, 0)
%pf : (#ifMInt TMP_BOOL_2 #then mi(1, 1) #else mi(1, 0) #fi)
%af : (#ifMInt TMP_BOOL_0 #then mi(1, 1) #else mi(1, 0) #fi)
%zf : (#ifMInt eqMInt( andMInt( extractMInt( lshrMInt( concatenateMInt( mi(448, 0), %rcx), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 56, 64)))), 448, 512), negMInt( extractMInt( shlMInt( lshrMInt( mi(512, 18446744073709551615), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), 448, 512))), mi(64, 0)) #then mi(1, 1) #else mi(1, 0) #fi)
%zf : (#ifMInt eqMInt( andMInt( extractMInt( lshrMInt( concatenateMInt( mi(448, 0), %rcx), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 56, 64)))), 448, 512), negMInt( extractMInt( shiftLeftMInt( lshrMInt( mi(512, 18446744073709551615), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), uvalueMInt(concatenateMInt( mi(504, 0), extractMInt( %rdx, 48, 56)))), 448, 512))), mi(64, 0)) #then mi(1, 1) #else mi(1, 0) #fi)
%sf : (#ifMInt TMP_BOOL_1 #then mi(1, 1) #else mi(1, 0) #fi)
%of : mi(1, 0)

Expand Down
2 changes: 1 addition & 1 deletion ..._instances/register-variants/btcl_r32_r32/instructions/btcl_r32_r32/btcl_r32_r32.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ code: btcl %ecx, %ebx

Formula:

%rbx : concatenateMInt( mi(32, 0), xorMInt( extractMInt( %rbx, 32, 64), shlMInt( mi(32, 1), uvalueMInt(mi(32, svalueMInt(andMInt( extractMInt( %rcx, 32, 64), mi(32, 31))))))))
%rbx : concatenateMInt( mi(32, 0), xorMInt( extractMInt( %rbx, 32, 64), shiftLeftMInt( mi(32, 1), uvalueMInt(mi(32, svalueMInt(andMInt( extractMInt( %rcx, 32, 64), mi(32, 31))))))))

%cf : extractMInt( lshrMInt( extractMInt( %rbx, 32, 64), uvalueMInt(mi(32, svalueMInt(andMInt( extractMInt( %rcx, 32, 64), mi(32, 31)))))), 31, 32)
%pf : (#ifMInt TMP_BOOL_3 #then mi(1, 1) #else mi(1, 0) #fi)
Expand Down
2 changes: 1 addition & 1 deletion ..._instances/register-variants/btcq_r64_r64/instructions/btcq_r64_r64/btcq_r64_r64.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ code: btcq %rcx, %rbx

Formula:

%rbx : xorMInt( %rbx, shlMInt( mi(64, 1), uvalueMInt(mi(64, svalueMInt(andMInt( %rcx, mi(64, 63)))))))
%rbx : xorMInt( %rbx, shiftLeftMInt( mi(64, 1), uvalueMInt(mi(64, svalueMInt(andMInt( %rcx, mi(64, 63)))))))

%cf : extractMInt( lshrMInt( %rbx, uvalueMInt(mi(64, svalueMInt(andMInt( %rcx, mi(64, 63)))))), 63, 64)
%pf : (#ifMInt TMP_BOOL_3 #then mi(1, 1) #else mi(1, 0) #fi)
Expand Down
2 changes: 1 addition & 1 deletion ..._instances/register-variants/btcw_r16_r16/instructions/btcw_r16_r16/btcw_r16_r16.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ code: btcw %cx, %bx

Formula:

%rbx : concatenateMInt( extractMInt( %rbx, 0, 48), xorMInt( extractMInt( %rbx, 48, 64), shlMInt( mi(16, 1), uvalueMInt(mi(16, svalueMInt(andMInt( extractMInt( %rcx, 48, 64), mi(16, 15))))))))
%rbx : concatenateMInt( extractMInt( %rbx, 0, 48), xorMInt( extractMInt( %rbx, 48, 64), shiftLeftMInt( mi(16, 1), uvalueMInt(mi(16, svalueMInt(andMInt( extractMInt( %rcx, 48, 64), mi(16, 15))))))))

%cf : extractMInt( lshrMInt( extractMInt( %rbx, 48, 64), uvalueMInt(mi(16, svalueMInt(andMInt( extractMInt( %rcx, 48, 64), mi(16, 15)))))), 15, 16)
%pf : (#ifMInt TMP_BOOL_3 #then mi(1, 1) #else mi(1, 0) #fi)
Expand Down
2 changes: 1 addition & 1 deletion ..._instances/register-variants/btrl_r32_r32/instructions/btrl_r32_r32/btrl_r32_r32.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ code: btrl %ecx, %ebx

Formula:

%rbx : concatenateMInt( mi(32, 0), andMInt( extractMInt( %rbx, 32, 64), negMInt( shlMInt( mi(32, 1), uvalueMInt(mi(32, svalueMInt(andMInt( extractMInt( %rcx, 32, 64), mi(32, 31)))))))))
%rbx : concatenateMInt( mi(32, 0), andMInt( extractMInt( %rbx, 32, 64), negMInt( shiftLeftMInt( mi(32, 1), uvalueMInt(mi(32, svalueMInt(andMInt( extractMInt( %rcx, 32, 64), mi(32, 31)))))))))

%cf : extractMInt( lshrMInt( extractMInt( %rbx, 32, 64), uvalueMInt(mi(32, svalueMInt(andMInt( extractMInt( %rcx, 32, 64), mi(32, 31)))))), 31, 32)
%pf : (#ifMInt TMP_BOOL_3 #then mi(1, 1) #else mi(1, 0) #fi)
Expand Down
2 changes: 1 addition & 1 deletion ..._instances/register-variants/btrq_r64_r64/instructions/btrq_r64_r64/btrq_r64_r64.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ code: btrq %rcx, %rbx

Formula:

%rbx : andMInt( %rbx, negMInt( shlMInt( mi(64, 1), uvalueMInt(mi(64, svalueMInt(andMInt( %rcx, mi(64, 63))))))))
%rbx : andMInt( %rbx, negMInt( shiftLeftMInt( mi(64, 1), uvalueMInt(mi(64, svalueMInt(andMInt( %rcx, mi(64, 63))))))))

%cf : extractMInt( lshrMInt( %rbx, uvalueMInt(mi(64, svalueMInt(andMInt( %rcx, mi(64, 63)))))), 63, 64)
%pf : (#ifMInt TMP_BOOL_3 #then mi(1, 1) #else mi(1, 0) #fi)
Expand Down
2 changes: 1 addition & 1 deletion ..._instances/register-variants/btrw_r16_r16/instructions/btrw_r16_r16/btrw_r16_r16.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ code: btrw %cx, %bx

Formula:

%rbx : concatenateMInt( extractMInt( %rbx, 0, 48), andMInt( extractMInt( %rbx, 48, 64), negMInt( shlMInt( mi(16, 1), uvalueMInt(mi(16, svalueMInt(andMInt( extractMInt( %rcx, 48, 64), mi(16, 15)))))))))
%rbx : concatenateMInt( extractMInt( %rbx, 0, 48), andMInt( extractMInt( %rbx, 48, 64), negMInt( shiftLeftMInt( mi(16, 1), uvalueMInt(mi(16, svalueMInt(andMInt( extractMInt( %rcx, 48, 64), mi(16, 15)))))))))

%cf : extractMInt( lshrMInt( extractMInt( %rbx, 48, 64), uvalueMInt(mi(16, svalueMInt(andMInt( extractMInt( %rcx, 48, 64), mi(16, 15)))))), 15, 16)
%pf : (#ifMInt TMP_BOOL_3 #then mi(1, 1) #else mi(1, 0) #fi)
Expand Down
2 changes: 1 addition & 1 deletion ..._instances/register-variants/btsl_r32_r32/instructions/btsl_r32_r32/btsl_r32_r32.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ code: btsl %ecx, %ebx

Formula:

%rbx : concatenateMInt( mi(32, 0), orMInt( extractMInt( %rbx, 32, 64), shlMInt( mi(32, 1), uvalueMInt(mi(32, svalueMInt(andMInt( extractMInt( %rcx, 32, 64), mi(32, 31))))))))
%rbx : concatenateMInt( mi(32, 0), orMInt( extractMInt( %rbx, 32, 64), shiftLeftMInt( mi(32, 1), uvalueMInt(mi(32, svalueMInt(andMInt( extractMInt( %rcx, 32, 64), mi(32, 31))))))))

%cf : extractMInt( lshrMInt( extractMInt( %rbx, 32, 64), uvalueMInt(mi(32, svalueMInt(andMInt( extractMInt( %rcx, 32, 64), mi(32, 31)))))), 31, 32)
%pf : (#ifMInt TMP_BOOL_3 #then mi(1, 1) #else mi(1, 0) #fi)
Expand Down
2 changes: 1 addition & 1 deletion ..._instances/register-variants/btsq_r64_r64/instructions/btsq_r64_r64/btsq_r64_r64.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ code: btsq %rcx, %rbx

Formula:

%rbx : orMInt( %rbx, shlMInt( mi(64, 1), uvalueMInt(mi(64, svalueMInt(andMInt( %rcx, mi(64, 63)))))))
%rbx : orMInt( %rbx, shiftLeftMInt( mi(64, 1), uvalueMInt(mi(64, svalueMInt(andMInt( %rcx, mi(64, 63)))))))

%cf : extractMInt( lshrMInt( %rbx, uvalueMInt(mi(64, svalueMInt(andMInt( %rcx, mi(64, 63)))))), 63, 64)
%pf : (#ifMInt TMP_BOOL_3 #then mi(1, 1) #else mi(1, 0) #fi)
Expand Down
2 changes: 1 addition & 1 deletion ..._instances/register-variants/btsw_r16_r16/instructions/btsw_r16_r16/btsw_r16_r16.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ code: btsw %cx, %bx

Formula:

%rbx : concatenateMInt( extractMInt( %rbx, 0, 48), orMInt( extractMInt( %rbx, 48, 64), shlMInt( mi(16, 1), uvalueMInt(mi(16, svalueMInt(andMInt( extractMInt( %rcx, 48, 64), mi(16, 15))))))))
%rbx : concatenateMInt( extractMInt( %rbx, 0, 48), orMInt( extractMInt( %rbx, 48, 64), shiftLeftMInt( mi(16, 1), uvalueMInt(mi(16, svalueMInt(andMInt( extractMInt( %rcx, 48, 64), mi(16, 15))))))))

%cf : extractMInt( lshrMInt( extractMInt( %rbx, 48, 64), uvalueMInt(mi(16, svalueMInt(andMInt( extractMInt( %rcx, 48, 64), mi(16, 15)))))), 15, 16)
%pf : (#ifMInt TMP_BOOL_3 #then mi(1, 1) #else mi(1, 0) #fi)
Expand Down
2 changes: 1 addition & 1 deletion ...stances/register-variants/pslld_xmm_xmm/instructions/pslld_xmm_xmm/pslld_xmm_xmm.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ code: pslld %xmm2, %xmm1

Formula:

%ymm1 : concatenateMInt( extractMInt( %ymm1, 0, 128), (#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 31)) #then mi(128, 0) #else concatenateMInt( shlMInt( extractMInt( %ymm1, 128, 160), uvalueMInt(extractMInt( %ymm2, 224, 256))), concatenateMInt( shlMInt( extractMInt( %ymm1, 160, 192), uvalueMInt(extractMInt( %ymm2, 224, 256))), concatenateMInt( shlMInt( extractMInt( %ymm1, 192, 224), uvalueMInt(extractMInt( %ymm2, 224, 256))), shlMInt( extractMInt( %ymm1, 224, 256), uvalueMInt(extractMInt( %ymm2, 224, 256)))))) #fi))
%ymm1 : concatenateMInt( extractMInt( %ymm1, 0, 128), (#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 31)) #then mi(128, 0) #else concatenateMInt( shiftLeftMInt( extractMInt( %ymm1, 128, 160), uvalueMInt(extractMInt( %ymm2, 224, 256))), concatenateMInt( shiftLeftMInt( extractMInt( %ymm1, 160, 192), uvalueMInt(extractMInt( %ymm2, 224, 256))), concatenateMInt( shiftLeftMInt( extractMInt( %ymm1, 192, 224), uvalueMInt(extractMInt( %ymm2, 224, 256))), shiftLeftMInt( extractMInt( %ymm1, 224, 256), uvalueMInt(extractMInt( %ymm2, 224, 256)))))) #fi))

sigfpe : sigfpe
sigbus : sigbus
Expand Down
2 changes: 1 addition & 1 deletion ...stances/register-variants/psllq_xmm_xmm/instructions/psllq_xmm_xmm/psllq_xmm_xmm.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ code: psllq %xmm2, %xmm1

Formula:

%ymm1 : concatenateMInt( extractMInt( %ymm1, 0, 128), (#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 63)) #then mi(128, 0) #else concatenateMInt( shlMInt( extractMInt( %ymm1, 128, 192), uvalueMInt(extractMInt( %ymm2, 192, 256))), shlMInt( extractMInt( %ymm1, 192, 256), uvalueMInt(extractMInt( %ymm2, 192, 256)))) #fi))
%ymm1 : concatenateMInt( extractMInt( %ymm1, 0, 128), (#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 63)) #then mi(128, 0) #else concatenateMInt( shiftLeftMInt( extractMInt( %ymm1, 128, 192), uvalueMInt(extractMInt( %ymm2, 192, 256))), shiftLeftMInt( extractMInt( %ymm1, 192, 256), uvalueMInt(extractMInt( %ymm2, 192, 256)))) #fi))

sigfpe : sigfpe
sigbus : sigbus
Expand Down
2 changes: 1 addition & 1 deletion ...stances/register-variants/psllw_xmm_xmm/instructions/psllw_xmm_xmm/psllw_xmm_xmm.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ code: psllw %xmm2, %xmm1

Formula:

%ymm1 : concatenateMInt( extractMInt( %ymm1, 0, 128), (#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(128, 0) #else concatenateMInt( shlMInt( extractMInt( %ymm1, 128, 144), uvalueMInt(extractMInt( %ymm2, 240, 256))), concatenateMInt( shlMInt( extractMInt( %ymm1, 144, 160), uvalueMInt(extractMInt( %ymm2, 240, 256))), concatenateMInt( shlMInt( extractMInt( %ymm1, 160, 176), uvalueMInt(extractMInt( %ymm2, 240, 256))), concatenateMInt( shlMInt( extractMInt( %ymm1, 176, 192), uvalueMInt(extractMInt( %ymm2, 240, 256))), concatenateMInt( shlMInt( extractMInt( %ymm1, 192, 208), uvalueMInt(extractMInt( %ymm2, 240, 256))), concatenateMInt( shlMInt( extractMInt( %ymm1, 208, 224), uvalueMInt(extractMInt( %ymm2, 240, 256))), concatenateMInt( shlMInt( extractMInt( %ymm1, 224, 240), uvalueMInt(extractMInt( %ymm2, 240, 256))), shlMInt( extractMInt( %ymm1, 240, 256), uvalueMInt(extractMInt( %ymm2, 240, 256)))))))))) #fi))
%ymm1 : concatenateMInt( extractMInt( %ymm1, 0, 128), (#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(128, 0) #else concatenateMInt( shiftLeftMInt( extractMInt( %ymm1, 128, 144), uvalueMInt(extractMInt( %ymm2, 240, 256))), concatenateMInt( shiftLeftMInt( extractMInt( %ymm1, 144, 160), uvalueMInt(extractMInt( %ymm2, 240, 256))), concatenateMInt( shiftLeftMInt( extractMInt( %ymm1, 160, 176), uvalueMInt(extractMInt( %ymm2, 240, 256))), concatenateMInt( shiftLeftMInt( extractMInt( %ymm1, 176, 192), uvalueMInt(extractMInt( %ymm2, 240, 256))), concatenateMInt( shiftLeftMInt( extractMInt( %ymm1, 192, 208), uvalueMInt(extractMInt( %ymm2, 240, 256))), concatenateMInt( shiftLeftMInt( extractMInt( %ymm1, 208, 224), uvalueMInt(extractMInt( %ymm2, 240, 256))), concatenateMInt( shiftLeftMInt( extractMInt( %ymm1, 224, 240), uvalueMInt(extractMInt( %ymm2, 240, 256))), shiftLeftMInt( extractMInt( %ymm1, 240, 256), uvalueMInt(extractMInt( %ymm2, 240, 256)))))))))) #fi))

sigfpe : sigfpe
sigbus : sigbus
Expand Down
2 changes: 1 addition & 1 deletion ...stances/register-variants/psrad_xmm_xmm/instructions/psrad_xmm_xmm/psrad_xmm_xmm.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ code: psrad %xmm2, %xmm1

Formula:

%ymm1 : concatenateMInt( extractMInt( %ymm1, 0, 128), concatenateMInt( ashrMInt( extractMInt( %ymm1, 128, 160), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 31)) #then mi(32, 32) #else extractMInt( %ymm2, 224, 256) #fi))), concatenateMInt( ashrMInt( extractMInt( %ymm1, 160, 192), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 31)) #then mi(32, 32) #else extractMInt( %ymm2, 224, 256) #fi))), concatenateMInt( ashrMInt( extractMInt( %ymm1, 192, 224), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 31)) #then mi(32, 32) #else extractMInt( %ymm2, 224, 256) #fi))), ashrMInt( extractMInt( %ymm1, 224, 256), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 31)) #then mi(32, 32) #else extractMInt( %ymm2, 224, 256) #fi)))))))
%ymm1 : concatenateMInt( extractMInt( %ymm1, 0, 128), concatenateMInt( aShiftRightMInt( extractMInt( %ymm1, 128, 160), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 31)) #then mi(32, 32) #else extractMInt( %ymm2, 224, 256) #fi))), concatenateMInt( aShiftRightMInt( extractMInt( %ymm1, 160, 192), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 31)) #then mi(32, 32) #else extractMInt( %ymm2, 224, 256) #fi))), concatenateMInt( aShiftRightMInt( extractMInt( %ymm1, 192, 224), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 31)) #then mi(32, 32) #else extractMInt( %ymm2, 224, 256) #fi))), aShiftRightMInt( extractMInt( %ymm1, 224, 256), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 31)) #then mi(32, 32) #else extractMInt( %ymm2, 224, 256) #fi)))))))

sigfpe : sigfpe
sigbus : sigbus
Expand Down
2 changes: 1 addition & 1 deletion ...stances/register-variants/psraw_xmm_xmm/instructions/psraw_xmm_xmm/psraw_xmm_xmm.k.format
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ code: psraw %xmm2, %xmm1

Formula:

%ymm1 : concatenateMInt( extractMInt( %ymm1, 0, 128), concatenateMInt( ashrMInt( extractMInt( %ymm1, 128, 144), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi))), concatenateMInt( ashrMInt( extractMInt( %ymm1, 144, 160), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi))), concatenateMInt( ashrMInt( extractMInt( %ymm1, 160, 176), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi))), concatenateMInt( ashrMInt( extractMInt( %ymm1, 176, 192), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi))), concatenateMInt( ashrMInt( extractMInt( %ymm1, 192, 208), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi))), concatenateMInt( ashrMInt( extractMInt( %ymm1, 208, 224), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi))), concatenateMInt( ashrMInt( extractMInt( %ymm1, 224, 240), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi))), ashrMInt( extractMInt( %ymm1, 240, 256), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi)))))))))))
%ymm1 : concatenateMInt( extractMInt( %ymm1, 0, 128), concatenateMInt( aShiftRightMInt( extractMInt( %ymm1, 128, 144), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi))), concatenateMInt( aShiftRightMInt( extractMInt( %ymm1, 144, 160), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi))), concatenateMInt( aShiftRightMInt( extractMInt( %ymm1, 160, 176), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi))), concatenateMInt( aShiftRightMInt( extractMInt( %ymm1, 176, 192), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi))), concatenateMInt( aShiftRightMInt( extractMInt( %ymm1, 192, 208), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi))), concatenateMInt( aShiftRightMInt( extractMInt( %ymm1, 208, 224), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi))), concatenateMInt( aShiftRightMInt( extractMInt( %ymm1, 224, 240), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi))), aShiftRightMInt( extractMInt( %ymm1, 240, 256), uvalueMInt((#ifMInt ugtMInt( extractMInt( %ymm2, 192, 256), mi(64, 15)) #then mi(16, 16) #else extractMInt( %ymm2, 240, 256) #fi)))))))))))

sigfpe : sigfpe
sigbus : sigbus
Expand Down
Loading

0 comments on commit c3d0959

Please sign in to comment.