// |jit-test| skip-if: !hasDisassembler() || wasmCompileMode() != "ion" || !getBuildConfiguration("arm64"); include:codegen-arm64-test.js // Basic constant folding tests for ( [op, lhs, rhs, expect] of'add' , 5, 8, 'd28001a0 mov x0, #0xd' ],'sub' , 4, 5, '92800000 mov x0, #0xffffffffffffffff' ],'mul' , 8, 3, 'd2800300 mov x0, #0x18' ],'div_s' , -8, 3, '92800020 mov x0, #0xfffffffffffffffe' ],'div_u' , 8, 3, 'd2800040 mov x0, #0x2' ],'rem_s' , 8, 5, 'd2800060 mov x0, #0x3' ],'rem_u' , -7, 4, 'd2800020 mov x0, #0x1' ],'and' , 0xfe, 0x77, 'd2800ec0 mov x0, #0x76' ],'or' , 0xfe, 0x77, 'd2801fe0 mov x0, #0xff' ],'xor' , 0xfe, 0x77, 'd2801120 mov x0, #0x89' ],'shl' , 3, 4, 'd2800600 mov x0, #0x30' ],'shr_s' , -8, 1, '92800060 mov x0, #0xfffffffffffffffc' ],'shr_u' , -8, 1, 'b27ef3e0 mov x0, #0x7ffffffffffffffc' ]] ) {"f" ) (result i64)const ${lhs}) (i64.const ${rhs}))))`,'f' ,// Basic tests that addition and multiplication identities are collapsed, use // arg 1 here to force an explicit move to be emitted. for ( [op, args, expect] of'add' , '(local.get 1) (i64.const 0)' , 'aa0103e0 mov x0, x1' ],'add' , '(i64.const 0) (local.get 1)' , 'aa0103e0 mov x0, x1' ],'mul' , '(local.get 1) (i64.const 1)' , 'aa0103e0 mov x0, x1' ],'mul' , '(i64.const 1) (local.get 1)' , 'aa0103e0 mov x0, x1' ]] ) {"f" ) (param i64) (param i64) (result i64)'f' ,// Test that multiplication by -1 yields negation. "f" ) (param i32) (result i32)const -1))))`;'f' ,'4b0003e0 neg w0, w0' );"f" ) (param i64) (result i64)const -1))))`'f' ,'cb0003e0 neg x0, x0' );// Test that multiplication by zero yields zero "f" ) (param i32) (result i32)const 0))))`;'f' ,'2a1f03e0 mov w0, wzr' );"f" ) (param i64) (result i64)const 0))))`'f' ,'aa1f03e0 mov x0, xzr' );// Test that multiplication by one yields no code (this optimization currently // exists both in constant folding and in lowering). "f" ) (param i32) (result i32)const 1))))`;'f' ,'' );"f" ) (param i64) (result i64)const 1))))`'f' ,'' );// Test that multiplication by two yields an add "f" ) (param i32) (result i32)const 2))))`;'f' ,'0b000000 add w0, w0, w0' );"f" ) (param i64) (result i64)const 2))))`'f' ,'8b000000 add x0, x0, x0' );// Test that multiplication by four yields a shift "f" ) (param i32) (result i32)const 4))))`;'f' ,'531e7400 lsl w0, w0, #2' );"f" ) (param i64) (result i64)const 4))))`'f' ,'d37ef400 lsl x0, x0, #2' );// Test that multiplication by five yields a multiply "f" ) (param i32) (result i32)const 5))))`;'f' ,"f" ) (param i64) (result i64)const 5))))`'f' ,// Test that add/sub/and/or/xor don't need to reuse their input register. The // proof here is that the destination register does not equal any of the input // registers. // // We have adequate functionality tests for these elsewhere, so test only // codegen here. for ( [op, imm, expectVar, expectImm] of'and' , 64,'8a020020 and x0, x1, x2' ,'927a0020 and x0, x1, #0x40' ],'or' , 64,'aa020020 orr x0, x1, x2' ,'b27a0020 orr x0, x1, #0x40' ],'xor' , 64,'ca020020 eor x0, x1, x2' ,'d27a0020 eor x0, x1, #0x40' ],'add' , 64,'8b020020 add x0, x1, x2' ,'91010020 add x0, x1, #0x40 \\(64\\)' ],'sub' , 64,'cb020020 sub x0, x1, x2' ,'d1010020 sub x0, x1, #0x40 \\(64\\)' ]] ) {"f" ) (param i64) (param i64) (param i64) (result i64)'f' ,"f" ) (param i64) (param i64) (result i64)const ${imm}))))`,'f' ,// Test that shifts and rotates with a constant don't need to reuse their input // register. The proof here is that the destination register does not equal any // of the input registers. // // We have adequate functionality tests for these elsewhere, so test only // codegen here. for ( [op, expect] of'shl' , 'd37ef420 lsl x0, x1, #2' ],'shr_s' , '9342fc20 asr x0, x1, #2' ],'shr_u' , 'd342fc20 lsr x0, x1, #2' ],'rotl' , '93c1f820 ror x0, x1, #62' ],'rotr' , '93c10820 ror x0, x1, #2' ]] ) {"f" ) (param i64) (param i64) (result i64)const 2))))`,'f' ,// Test that 0-n yields negation. "f" ) (param i32) (result i32)const 0) (local.get 0))))`'f' ,'4b0003e0 neg w0, w0' );"f" ) (param i64) (result i64)const 0) (local.get 0))))`'f' ,'cb0003e0 neg x0, x0' );// Test that select does something reasonable and does not tie its output to one // of its inputs. "f" ) (param i64) (param i64) (param i64) (param i32) (result i64)'f' ,"f" ) (param f64) (param f64) (param f64) (param i32) (result f64)'f' ,// Here we test that no boolean is generated and then re-tested, and that // operands are swapped so that we can use an immediate constant, and that the // input is not tied to the output. "f" ) (param $a i32) (param $b i32) (param $c i32) (param $d i32) (result i32)const 0) (local.get $c)))))`,'f' ,"f" ) (param $a f64) (param $b f64) (param $c f64) (param $d f64) (result f64)const 0) (local.get $c)))))`,'f' ,// FP ABS should not tie its input to its output. "f" ) (param f32) (param f32) (result f32)'f' ,'1e20c020 fabs s0, s1' );"f" ) (param f64) (param f64) (result f64)'f' ,'1e60c020 fabs d0, d1' );// AND{32,64} followed by `== 0`: check the two operations are merged into a // single 'tst' 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_tst] of'i32' , '6a01001f tst w0, w1' ],'i64' , 'ea01001f tst x0, x1' ]] ) {"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. for ( [imm, expect1, expect2] of// as a valid logical-immediate => imm in insn '0x0F0F0F0F0F0F0F0F' ,'f200cc1f tst x0, #0xf0f0f0f0f0f0f0f' ,'' ],// anything else => imm synth'd into a reg '-0x4771' ,'9288ee10 mov x16, #0xffffffffffffb88f' ,'ea10001f tst x0, x16' ]]"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. for ( [cmpTy, cmpOp, selTy, cmpRegPfx, cselRegPfx, armCC] of'i32' , 'le_s' , 'i32' , 'w' , 'w' , 'le' ],'i32' , 'lt_u' , 'i64' , 'w' , 'x' , 'lo' ],'i64' , 'le_s' , 'i32' , 'x' , 'w' , 'le' ],'i64' , 'lt_u' , 'i64' , 'x' , 'x' , 'lo' ],"f" )'f' ,
Messung V0.5 C=96 H=88 G=91
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
