wasmtime / issue #5525 Cranelift: Wrong result for `sexte... · git-wasmtime

Stream: git-wasmtime

Topic: wasmtime / issue #5525 Cranelift: Wrong result for `sexte...

Wasmtime GitHub notifications bot (Jan 05 2023 at 11:33):

afonso360 opened issue #5525:

:wave: Hey,

`.clif` Test Case

test interpret
test run
target riscv64

function %a(i16) -> i128 system_v {
block0(v0: i16):
    v1 = rotl v0, v0
    v2 = sextend.i128 v1
    return v2
}

; run: %a(-32718) == 202

Steps to Reproduce

cargo run --target riscv64gc-unknown-linux-gnu -- test ./the-above.clif

Expected Results

The test to pass.

Actual Results

 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %a(-32718) == 202, actual: 131274
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64

Extra Info

<details>
<summary>Disassembly:</summary>

Disassembly of 72 bytes:
   0:   93 16 05 03             slli    a3, a0, 0x30
   4:   93 d6 06 03             srli    a3, a3, 0x30
   8:   93 77 f5 00             andi    a5, a0, 0xf
   c:   93 08 00 01             addi    a7, zero, 0x10
  10:   b3 8e f8 40             sub     t4, a7, a5
  14:   33 93 f6 00             sll     t1, a3, a5
  18:   33 d5 d6 01             srl     a0, a3, t4
  1c:   63 86 07 00             beqz    a5, 0xc
  20:   13 66 05 00             ori     a2, a0, 0
  24:   6f 00 80 00             j       8
  28:   13 66 00 00             ori     a2, zero, 0
  2c:   33 65 c3 00             or      a0, t1, a2
  30:   93 18 05 03             slli    a7, a0, 0x30
  34:   93 d8 08 43             srai    a7, a7, 0x30
  38:   b3 ae 08 00             sltz    t4, a7
  3c:   93 95 fe 03             slli    a1, t4, 0x3f
  40:   93 d5 f5 43             srai    a1, a1, 0x3f
  44:   67 80 00 00             ret

</details>

Wasmtime GitHub notifications bot (Jan 05 2023 at 11:33):

afonso360 labeled issue #5525:

:wave: Hey,

`.clif` Test Case

test interpret
test run
target riscv64

function %a(i16) -> i128 system_v {
block0(v0: i16):
    v1 = rotl v0, v0
    v2 = sextend.i128 v1
    return v2
}

; run: %a(-32718) == 202

Steps to Reproduce

cargo run --target riscv64gc-unknown-linux-gnu -- test ./the-above.clif

Expected Results

The test to pass.

Actual Results

 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %a(-32718) == 202, actual: 131274
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64

Extra Info

<details>
<summary>Disassembly:</summary>

Disassembly of 72 bytes:
   0:   93 16 05 03             slli    a3, a0, 0x30
   4:   93 d6 06 03             srli    a3, a3, 0x30
   8:   93 77 f5 00             andi    a5, a0, 0xf
   c:   93 08 00 01             addi    a7, zero, 0x10
  10:   b3 8e f8 40             sub     t4, a7, a5
  14:   33 93 f6 00             sll     t1, a3, a5
  18:   33 d5 d6 01             srl     a0, a3, t4
  1c:   63 86 07 00             beqz    a5, 0xc
  20:   13 66 05 00             ori     a2, a0, 0
  24:   6f 00 80 00             j       8
  28:   13 66 00 00             ori     a2, zero, 0
  2c:   33 65 c3 00             or      a0, t1, a2
  30:   93 18 05 03             slli    a7, a0, 0x30
  34:   93 d8 08 43             srai    a7, a7, 0x30
  38:   b3 ae 08 00             sltz    t4, a7
  3c:   93 95 fe 03             slli    a1, t4, 0x3f
  40:   93 d5 f5 43             srai    a1, a1, 0x3f
  44:   67 80 00 00             ret

</details>

Wasmtime GitHub notifications bot (Jan 05 2023 at 11:33):

afonso360 labeled issue #5525:

:wave: Hey,

`.clif` Test Case

test interpret
test run
target riscv64

function %a(i16) -> i128 system_v {
block0(v0: i16):
    v1 = rotl v0, v0
    v2 = sextend.i128 v1
    return v2
}

; run: %a(-32718) == 202

Steps to Reproduce

cargo run --target riscv64gc-unknown-linux-gnu -- test ./the-above.clif

Expected Results

The test to pass.

Actual Results

 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %a(-32718) == 202, actual: 131274
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64

Extra Info

<details>
<summary>Disassembly:</summary>

Disassembly of 72 bytes:
   0:   93 16 05 03             slli    a3, a0, 0x30
   4:   93 d6 06 03             srli    a3, a3, 0x30
   8:   93 77 f5 00             andi    a5, a0, 0xf
   c:   93 08 00 01             addi    a7, zero, 0x10
  10:   b3 8e f8 40             sub     t4, a7, a5
  14:   33 93 f6 00             sll     t1, a3, a5
  18:   33 d5 d6 01             srl     a0, a3, t4
  1c:   63 86 07 00             beqz    a5, 0xc
  20:   13 66 05 00             ori     a2, a0, 0
  24:   6f 00 80 00             j       8
  28:   13 66 00 00             ori     a2, zero, 0
  2c:   33 65 c3 00             or      a0, t1, a2
  30:   93 18 05 03             slli    a7, a0, 0x30
  34:   93 d8 08 43             srai    a7, a7, 0x30
  38:   b3 ae 08 00             sltz    t4, a7
  3c:   93 95 fe 03             slli    a1, t4, 0x3f
  40:   93 d5 f5 43             srai    a1, a1, 0x3f
  44:   67 80 00 00             ret

</details>

Wasmtime GitHub notifications bot (Jan 05 2023 at 11:33):

afonso360 edited issue #5525:

:wave: Hey,

`.clif` Test Case

test interpret
test run
target riscv64

function %a(i16) -> i128 system_v {
block0(v0: i16):
    v1 = rotl v0, v0
    v2 = sextend.i128 v1
    return v2
}

; run: %a(-32718) == 202

Steps to Reproduce

cargo run --target riscv64gc-unknown-linux-gnu -- test ./the-above.clif

Expected Results

The test to pass.

Actual Results

 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %a(-32718) == 202, actual: 131274
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64

Extra Info

<details>
<summary>Disassembly:</summary>

Disassembly of 72 bytes:
   0:   93 16 05 03             slli    a3, a0, 0x30
   4:   93 d6 06 03             srli    a3, a3, 0x30
   8:   93 77 f5 00             andi    a5, a0, 0xf
   c:   93 08 00 01             addi    a7, zero, 0x10
  10:   b3 8e f8 40             sub     t4, a7, a5
  14:   33 93 f6 00             sll     t1, a3, a5
  18:   33 d5 d6 01             srl     a0, a3, t4
  1c:   63 86 07 00             beqz    a5, 0xc
  20:   13 66 05 00             ori     a2, a0, 0
  24:   6f 00 80 00             j       8
  28:   13 66 00 00             ori     a2, zero, 0
  2c:   33 65 c3 00             or      a0, t1, a2
  30:   93 18 05 03             slli    a7, a0, 0x30
  34:   93 d8 08 43             srai    a7, a7, 0x30
  38:   b3 ae 08 00             sltz    t4, a7
  3c:   93 95 fe 03             slli    a1, t4, 0x3f
  40:   93 d5 f5 43             srai    a1, a1, 0x3f
  44:   67 80 00 00             ret

</details>

Wasmtime GitHub notifications bot (Jan 05 2023 at 21:46):

fitzgen commented on issue #5525:

cc @yuyang-ok

Wasmtime GitHub notifications bot (Jan 06 2023 at 18:38):

elliottt labeled issue #5525:

:wave: Hey,

`.clif` Test Case

test interpret
test run
target riscv64

function %a(i16) -> i128 system_v {
block0(v0: i16):
    v1 = rotl v0, v0
    v2 = sextend.i128 v1
    return v2
}

; run: %a(-32718) == 202

Steps to Reproduce

cargo run --target riscv64gc-unknown-linux-gnu -- test ./the-above.clif

Expected Results

The test to pass.

Actual Results

 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %a(-32718) == 202, actual: 131274
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64

Extra Info

<details>
<summary>Disassembly:</summary>

Disassembly of 72 bytes:
   0:   93 16 05 03             slli    a3, a0, 0x30
   4:   93 d6 06 03             srli    a3, a3, 0x30
   8:   93 77 f5 00             andi    a5, a0, 0xf
   c:   93 08 00 01             addi    a7, zero, 0x10
  10:   b3 8e f8 40             sub     t4, a7, a5
  14:   33 93 f6 00             sll     t1, a3, a5
  18:   33 d5 d6 01             srl     a0, a3, t4
  1c:   63 86 07 00             beqz    a5, 0xc
  20:   13 66 05 00             ori     a2, a0, 0
  24:   6f 00 80 00             j       8
  28:   13 66 00 00             ori     a2, zero, 0
  2c:   33 65 c3 00             or      a0, t1, a2
  30:   93 18 05 03             slli    a7, a0, 0x30
  34:   93 d8 08 43             srai    a7, a7, 0x30
  38:   b3 ae 08 00             sltz    t4, a7
  3c:   93 95 fe 03             slli    a1, t4, 0x3f
  40:   93 d5 f5 43             srai    a1, a1, 0x3f
  44:   67 80 00 00             ret

</details>

Wasmtime GitHub notifications bot (Jan 20 2023 at 07:32):

yuyang-ok commented on issue #5525:

I think I have fix this.
see https://github.com/bytecodealliance/wasmtime/pull/5603

Wasmtime GitHub notifications bot (Jan 20 2023 at 21:06):

afonso360 closed issue #5525:

:wave: Hey,

`.clif` Test Case

test interpret
test run
target riscv64

function %a(i16) -> i128 system_v {
block0(v0: i16):
    v1 = rotl v0, v0
    v2 = sextend.i128 v1
    return v2
}

; run: %a(-32718) == 202

Steps to Reproduce

cargo run --target riscv64gc-unknown-linux-gnu -- test ./the-above.clif

Expected Results

The test to pass.

Actual Results

 ERROR cranelift_filetests::concurrent > FAIL: run
FAIL ./lmao.clif: run

Caused by:
    Failed test: run: %a(-32718) == 202, actual: 131274
1 tests
Error: 1 failure

Versions and Environment

Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64

Extra Info

<details>
<summary>Disassembly:</summary>

Disassembly of 72 bytes:
   0:   93 16 05 03             slli    a3, a0, 0x30
   4:   93 d6 06 03             srli    a3, a3, 0x30
   8:   93 77 f5 00             andi    a5, a0, 0xf
   c:   93 08 00 01             addi    a7, zero, 0x10
  10:   b3 8e f8 40             sub     t4, a7, a5
  14:   33 93 f6 00             sll     t1, a3, a5
  18:   33 d5 d6 01             srl     a0, a3, t4
  1c:   63 86 07 00             beqz    a5, 0xc
  20:   13 66 05 00             ori     a2, a0, 0
  24:   6f 00 80 00             j       8
  28:   13 66 00 00             ori     a2, zero, 0
  2c:   33 65 c3 00             or      a0, t1, a2
  30:   93 18 05 03             slli    a7, a0, 0x30
  34:   93 d8 08 43             srai    a7, a7, 0x30
  38:   b3 ae 08 00             sltz    t4, a7
  3c:   93 95 fe 03             slli    a1, t4, 0x3f
  40:   93 d5 f5 43             srai    a1, a1, 0x3f
  44:   67 80 00 00             ret

</details>

Last updated: Dec 23 2024 at 12:05 UTC

Stream: git-wasmtime

Topic: wasmtime / issue #5525 Cranelift: Wrong result for `sexte...

Wasmtime GitHub notifications bot (Jan 05 2023 at 11:33):

.clif Test Case

Steps to Reproduce

Expected Results

Actual Results

Versions and Environment

Extra Info

Wasmtime GitHub notifications bot (Jan 05 2023 at 11:33):

.clif Test Case

Steps to Reproduce

Expected Results

Actual Results

Versions and Environment

Extra Info

Wasmtime GitHub notifications bot (Jan 05 2023 at 11:33):

.clif Test Case

Steps to Reproduce

Expected Results

Actual Results

Versions and Environment

Extra Info

Wasmtime GitHub notifications bot (Jan 05 2023 at 11:33):

.clif Test Case

Steps to Reproduce

Expected Results

Actual Results

Versions and Environment

Extra Info

Wasmtime GitHub notifications bot (Jan 05 2023 at 21:46):

Wasmtime GitHub notifications bot (Jan 06 2023 at 18:38):

.clif Test Case

Steps to Reproduce

Expected Results

Actual Results

Versions and Environment

Extra Info

Wasmtime GitHub notifications bot (Jan 20 2023 at 07:32):

Wasmtime GitHub notifications bot (Jan 20 2023 at 21:06):

.clif Test Case

Steps to Reproduce

Expected Results

Actual Results

Versions and Environment

Extra Info

`.clif` Test Case

`.clif` Test Case

`.clif` Test Case

`.clif` Test Case

`.clif` Test Case

`.clif` Test Case