Skip to content

A bug in multipass JIT mode #160

@erxiaozhou

Description

@erxiaozhou

Bug Report

1. Minimal reproduce step (Required)

  1. Compile the WAT code to WASM and use the multipass JIT + debug mode to execute the function "to_test"
(module
  (type (;0;) (func (param i32) (result i64)))
  (type (;1;) (func (result i64)))
  (func (;0;) (type 1) (result i64)
    (local i32)
    i32.const -1812402867
    memory.grow
    local.get 0
    local.set 0
    local.tee 0
    drop
    local.get 0
    i64.load32_u offset=55218920 align=1)
  (memory (;0;) 1)
  (export "to_test" (func 0)))

2. What did you expect to see? (Required)

No crash.

3. What did you see instead (Required)

There is a crash.

dtvm: xxxxx/DTVM_TO_REPORT/src/compiler/cgir/pass/register_coalescer.cpp:2749: bool COMPILER::JoinVals::resolveConflicts(COMPILER::JoinVals&): Assertion `!TaintExtent.empty() && "There should be at least one conflict."' failed.
Aborted (core dumped)

4. What is the version of this project you are using? (Required)

f855267

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions