Stream: git-wasmtime

Topic: wasmtime / issue #7600 PCC check failed on aarch64 for so...

view this post on Zulip Wasmtime GitHub notifications bot (Nov 29 2023 at 09:07):

feilongjiang added the bug label to Issue #7600.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 29 2023 at 09:07):

feilongjiang opened issue #7600:

Hi, when I tried to enable the PCC feature when compiling the rust-compiled hello-world wasm module, some failures occurred.
I also wrote some small test cases to reproduce those failures (see Case1 and Case2).

I have submitted a fixing PR at #7593, please consider. Suggestions are welcomed.

Test Case

Case1:
;; test_logic.wat
(module
(func (export "test_logic") (result i32) (i32.const 0x100010))
)

Case2:
;; test_const.wat
(module
(func (export "test_constant") (result i64) (i64.const 0x0009ffffffff))
)

Steps to Reproduce

Compile test wasm module with wasmtime cli and enable PCC. E.g.:

$ target/debug/wasmtime compile -C pcc=y,parallel-compilation=n test_logic.wat
Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

$ target/debug/wasmtime compile -C pcc=y,parallel-compilation=n test_const.wat
Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

Expected Results

Compiled wasm module without error.

Actual Results

PCC check error: Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

Versions and Environment

Wasmtime version or commit: cd97c9f14713d81de5453fb9861319e78a761432

Operating system: ubuntu-20.04

Architecture: aarch64

Extra Info

Nope.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 29 2023 at 09:08):

feilongjiang edited issue #7600:

Hi, when I tried to enable the PCC feature when compiling the rust-compiled hello-world wasm module, some failures occurred.
I also wrote some small test cases to reproduce those failures (see Case1 and Case2).

I have submitted a fixing PR at #7593, please consider. Suggestions are welcomed.

Test Case

Case1:
;; test_logic.wat
(module
(func (export "test_logic") (result i32) (i32.const 0x100010))
)

Case2:
;; test_const.wat
(module
(func (export "test_constant") (result i64) (i64.const 0x0009ffffffff))
)

Steps to Reproduce

Compile test wasm module with wasmtime cli and enable PCC. E.g.:

$ target/debug/wasmtime compile -C pcc=y,parallel-compilation=n test_logic.wat
Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

$ target/debug/wasmtime compile -C pcc=y,parallel-compilation=n test_const.wat
Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

Expected Results

Compile the wasm module without error.

Actual Results

PCC check error: Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

Versions and Environment

Wasmtime version or commit: cd97c9f14713d81de5453fb9861319e78a761432

Operating system: ubuntu-20.04

Architecture: aarch64

Extra Info

Nope.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 29 2023 at 09:08):

feilongjiang edited issue #7600:

Hi, when I tried to enable the PCC feature when compiling the rust-compiled hello-world wasm module, some failures occurred.
I also wrote some small test cases to reproduce those failures (see Case1 and Case2).

I have submitted a fixing PR at #7593, please consider. Suggestions are welcomed.

Test Case

Case1:
;; test_logic.wat
(module
(func (export "test_logic") (result i32) (i32.const 0x100010))
)

Case2:
;; test_const.wat
(module
(func (export "test_constant") (result i64) (i64.const 0x0009ffffffff))
)

Steps to Reproduce

Compile test wasm module with wasmtime cli and enable PCC. E.g.:

$ target/debug/wasmtime compile -C pcc=y,parallel-compilation=n test_logic.wat
Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

$ target/debug/wasmtime compile -C pcc=y,parallel-compilation=n test_const.wat
Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

Expected Results

Compile the wasm module without error.

Actual Results

PCC check error: Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

Versions and Environment

Wasmtime version or commit: cd97c9f14713d81de5453fb9861319e78a761432

Operating system: ubuntu-20.04

Architecture: aarch64

Extra Info

Nope.

```[tasklist]

Tasks

~~~

view this post on Zulip Wasmtime GitHub notifications bot (Nov 29 2023 at 09:08):

feilongjiang edited issue #7600:

Hi, when I tried to enable the PCC feature when compiling the rust-compiled hello-world wasm module, some failures occurred.
I also wrote some small test cases to reproduce those failures (see Case1 and Case2).

I have submitted a fixing PR at #7593, please consider. Suggestions are welcomed.

Test Case

Case1:
;; test_logic.wat
(module
(func (export "test_logic") (result i32) (i32.const 0x100010))
)

Case2:
;; test_const.wat
(module
(func (export "test_constant") (result i64) (i64.const 0x0009ffffffff))
)

Steps to Reproduce

Compile test wasm module with wasmtime cli and enable PCC. E.g.:

$ target/debug/wasmtime compile -C pcc=y,parallel-compilation=n test_logic.wat
Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

$ target/debug/wasmtime compile -C pcc=y,parallel-compilation=n test_const.wat
Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

Expected Results

Compile the wasm module without error.

Actual Results

PCC check error: Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

Versions and Environment

Wasmtime version or commit: cd97c9f14713d81de5453fb9861319e78a761432

Operating system: ubuntu-20.04

Architecture: aarch64

Extra Info

Nope.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 29 2023 at 09:12):

feilongjiang edited issue #7600:

Hi, when I tried to enable the PCC feature when compiling the rust-compiled hello-world wasm module, some failures occurred.
I also wrote some small test cases to reproduce those failures (see Case1 and Case2).

I have submitted a fixing PR at #7593, please consider. Suggestions are welcomed.

Test Case

Case1: 

;; test_logic.wat
(module
  (func (export "test_logic") (result i32) (i32.const 0x100010))
)

Case2:

;; test_const.wat
(module
  (func (export "test_constant") (result i64) (i64.const 0x0009ffffffff))
)

Steps to Reproduce

Compile test wasm module with wasmtime cli and enable PCC. E.g.:

$ target/debug/wasmtime compile -C pcc=y,parallel-compilation=n test_logic.wat
Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

$ target/debug/wasmtime compile -C pcc=y,parallel-compilation=n test_const.wat
Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

Expected Results

Compile the wasm module without error.

Actual Results

PCC check error: Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

Versions and Environment

Wasmtime version or commit: cd97c9f14713d81de5453fb9861319e78a761432

Operating system: ubuntu-20.04

Architecture: aarch64

Extra Info

Nope.

view this post on Zulip Wasmtime GitHub notifications bot (Nov 30 2023 at 02:23):

feilongjiang edited issue #7600:

Hi, when I tried to enable the PCC feature when compiling the rust-compiled hello-world wasm module, some failures occurred.
I also wrote some small test cases to reproduce those failures (see Case1 and Case2).

I have submitted a fixing PR at #7593, please consider. Suggestions are welcomed.

Test Case

Case1: 

;; test_logic.wat
(module
  (func (export "test_logic") (result i32) (i32.const 0x100010))
)

Case2:

;; test_const.wat
(module
  (func (export "test_constant") (result i64) (i64.const 0x0009ffffffff))
)

Steps to Reproduce

Compile test wasm module with wasmtime cli and enable PCC. E.g.:

$ target/debug/wasmtime compile -C pcc=y,parallel-compilation=n test_logic.wat
Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

$ target/debug/wasmtime compile -C pcc=y,parallel-compilation=n test_const.wat
Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

Expected Results

Compile the wasm module without error.

Actual Results

PCC check error: Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

Versions and Environment

Wasmtime version or commit: cd97c9f14713d81de5453fb9861319e78a761432

Operating system: ubuntu-20.04

Architecture: linux-aarch64

Extra Info

Nope.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 13 2023 at 09:04):

feilongjiang closed issue #7600:

Hi, when I tried to enable the PCC feature when compiling the rust-compiled hello-world wasm module, some failures occurred.
I also wrote some small test cases to reproduce those failures (see Case1 and Case2).

I have submitted a fixing PR at #7593, please consider. Suggestions are welcomed.

Test Case

Case1: 

;; test_logic.wat
(module
  (func (export "test_logic") (result i32) (i32.const 0x100010))
)

Case2:

;; test_const.wat
(module
  (func (export "test_constant") (result i64) (i64.const 0x0009ffffffff))
)

Steps to Reproduce

Compile test wasm module with wasmtime cli and enable PCC. E.g.:

$ target/debug/wasmtime compile -C pcc=y,parallel-compilation=n test_logic.wat
Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

$ target/debug/wasmtime compile -C pcc=y,parallel-compilation=n test_const.wat
Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

Expected Results

Compile the wasm module without error.

Actual Results

PCC check error: Error: Compilation error: Proof-carrying-code validation error: UnsupportedFact

Versions and Environment

Wasmtime version or commit: cd97c9f14713d81de5453fb9861319e78a761432

Operating system: ubuntu-20.04

Architecture: linux-aarch64

Extra Info

Nope.

view this post on Zulip Wasmtime GitHub notifications bot (Dec 13 2023 at 09:04):

feilongjiang commented on issue #7600:

Close this issue since #7593 was merged.

Last updated: Oct 23 2024 at 20:03 UTC