// |jit-test| skip-if: !hasDisassembler() || wasmCompileMode() != "ion" || !getBuildConfiguration("x64") || getBuildConfiguration("simulator"); include:codegen-x64-test.js // There may be some redundant moves to set some operations up on x64 (that's // bug 1701164) so we avoid those with no_prefix/no_suffix flags when the issue // comes up. // Test that multiplication by -1 yields negation. "f" ) (param i32) (result i32)const -1))))`;'f' ,'f7 d8 neg %eax' , {no_prefix:true });"f" ) (param i64) (result i64)const -1))))`;'f' ,'48 f7 d8 neg %rax' , {no_prefix:true });// Test that multiplication by zero yields zero "f" ) (param i32) (result i32)const 0))))`;'f' ,'33 c0 xor %eax, %eax' , {no_prefix:true });"f" ) (param i64) (result i64)const 0))))`'f' ,'48 33 c0 xor %rax, %rax' , {no_prefix:true });// Test that multiplication by one yields no code "f" ) (param i32) (result i32)const 1))))`;'f' ,'' , {no_prefix:true });"f" ) (param i64) (result i64)const 1))))`'f' ,'' , {no_prefix:true });// Test that multiplication by two yields an add "f" ) (param i32) (result i32)const 2))))`;'f' ,'03 c0 add %eax, %eax' , {no_prefix:true });"f" ) (param i64) (result i64)const 2))))`'f' ,'48 03 c0 add %rax, %rax' , {no_prefix:true });// Test that multiplication by four yields a shift "f" ) (param i32) (result i32)const 4))))`;'f' ,'c1 e0 02 shl \\$0x02, %eax' , {no_prefix:true });"f" ) (param i64) (result i64)const 4))))`'f' ,'48 c1 e0 02 shl \\$0x02, %rax' , {no_prefix:true });// Test that multiplication by five yields a multiply "f" ) (param i32) (result i32)const 5))))`;'f' ,'6b c0 05 imul \\$0x05, %eax, %eax' , {no_prefix:true });"f" ) (param i64) (result i64)const 5))))`'f' ,true })// Test that 0-n yields negation. "f" ) (param i32) (result i32)const 0) (local.get 0))))`'f' ,'f7 d8 neg %eax' , {no_prefix:true });"f" ) (param i64) (result i64)const 0) (local.get 0))))`'f' ,'48 f7 d8 neg %rax' , {no_prefix:true });// AND{32,64} followed by `== 0`: check the two operations are merged into a // single 'test' insn, and no 'and' insn. The merging isn't done for // {OR,XOR}{32,64}. This is for both arguments being non-constant. for ( [ty, expect_test] of'i32' , '85 .. test %e.., %e..' ],'i64' , '48 85 .. test %r.., %r..' ]] ) {"f" ) (param $p1 ${ty}) (param $p2 ${ty}) (result i32)const 0x4D2))if (${ty}.eq (${ty}.and (local.get $p1) (local.get $p2))const 0))const 0x11D7)))'f' ,// AND64 followed by `== 0`, with one of the args being a constant. Depending // on the constant we can get one of three forms. for ( [imm, expect1, expect2] of// in signed-32 range => imm in insn '0x17654321' ,'f7 c. 21 43 65 17 test \\$0x17654321, %e..' , // edi or ecx '' ],// in unsigned-32 range => imm in reg via movl '0x87654321' ,'41 bb 21 43 65 87 mov \\$-0x789ABCDF, %r11d' ,'4c 85 d. test %r11, %r..' ], // rdi or rcx // not in either range => imm in reg via mov(absq) '0x187654321' ,'49 bb 21 43 65 87 01 00 00 00 mov \\$0x187654321, %r11' ,'4c 85 d. test %r11, %r..' ]] // rdi or rcx "f" ) (param $p1 i64) (result i32)const 0x4D2))if (i64.eq (i64.and (i64.const ${imm}) (local.get $p1))const 0))const 0x11D7)))'f' ,// For integer comparison followed by select, check that the comparison result // isn't materialised into a register, for specific types. function cmpSel32vs64(cmpTy, cmpOp, selTy) {return `(module"f" )if (getBuildConfiguration("windows" )) {for ( [cmpTy, cmpOp, selTy, insn1, insn2, insn3] of'i32' , 'le_s' , 'i32' , '8b c3 mov %ebx, %eax' ,'3b ca cmp %edx, %ecx' ,'41 0f 4f c1 cmovnle %r9d, %eax' ],'i32' , 'lt_u' , 'i64' , '48 89 d8 mov %rbx, %rax' ,'3b ca cmp %edx, %ecx' ,'49 0f 43 c1 cmovnb %r9, %rax' ],'i64' , 'le_s' , 'i32' , '8b c3 mov %ebx, %eax' ,'48 3b ca cmp %rdx, %rcx' ,'41 0f 4f c1 cmovnle %r9d, %eax' ],'i64' , 'lt_u' , 'i64' , '48 89 d8 mov %rbx, %rax' ,'48 3b ca cmp %rdx, %rcx' ,'49 0f 43 c1 cmovnb %r9, %rax' ]'f' ,else {for ( [cmpTy, cmpOp, selTy, insn1, insn2, insn3] of'i32' , 'le_s' , 'i32' , '8b c2 mov %edx, %eax' ,'3b fe cmp %esi, %edi' ,'0f 4f c1 cmovnle %ecx, %eax' ],'i32' , 'lt_u' , 'i64' , '48 89 d0 mov %rdx, %rax' ,'3b fe cmp %esi, %edi' ,'48 0f 43 c1 cmovnb %rcx, %rax' ],'i64' , 'le_s' , 'i32' , '8b c2 mov %edx, %eax' ,'48 3b fe cmp %rsi, %rdi' ,'0f 4f c1 cmovnle %ecx, %eax' ],'i64' , 'lt_u' , 'i64' , '48 89 d0 mov %rdx, %rax' ,'48 3b fe cmp %rsi, %rdi' ,'48 0f 43 c1 cmovnb %rcx, %rax' ]'f' ,// For integer comparison followed by select, check correct use of operands in // registers vs memory. At least for the 64-bit-cmp/64-bit-sel case. for ( [pAnyCmp, pAnySel, cmpBytes, cmpArgL, cmovBytes, cmovArgL ] of// r, r '$pReg1' , '$pReg2' ,'4. .. ..' , '%r.+' , '4. .. .. ..' , '%r.+' ],// r, m '$pReg1' , '$pMem2' ,'4. .. ..' , '%r.+' , '4. .. .. .. ..' , '0x..\\(%rbp\\)' ],// m, r '$pMem1' , '$pReg2' ,'4. .. .. ..' , '0x..\\(%rbp\\)' , '4. .. .. ..' , '%r.+' ],// m, m '$pMem1' , '$pMem2' ,'4. .. .. ..' , '0x..\\(%rbp\\)' , '4. .. .. .. ..' , '0x..\\(%rbp\\)' ]"f" )for both ABIsfor both ABIsfor both ABIs'f' ,// On Linux we have an extra move "windows" ) ? '' : '48 89 .. mov %r.+, %r.+\n' ) +// 'q*' because the disassembler shows 'q' only for the memory cases
Messung V0.5 C=88 H=91 G=89
¤ Dauer der Verarbeitung: 0.2 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
