551820 - VerifyError #1068 when trying to run hand-made ABC

Status: RESOLVED WORKSFORME

(Tamarin Graveyard :: Self-hosting compiler (ESC), defect)

Description

[Jasper St. Pierre]

User-Agent:       Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.3a1pre) Gecko/20100215 Firefox/3.7a1pre
Build Identifier: avmplus shell 1.0 build 535:51070467792c

VerifyError: Error #1068: int and * cannot be reconciled.

Reproducible: Always

Steps to Reproduce:
1. Download the ABC file.
2. Run it using Tamarin.
Actual Results:  
VerifyError: Error #1068: int and * cannot be reconciled.

	at global/fn()
	at PyPyTest_EntryPoint()
	at global$init()

Expected Results:  
Running code.

I believe this has to do with the strange change of register 3. I do not see how register 3 magically changed from an int to a * after a jump, the backtrace isn't clear.

Comment 1

[Jasper St. Pierre]

http://magcius.mecheye.net/fusion/tests/test_simple.tamarin.abc

This is the ABC file.

Comment 2

[Edwin Smith]

The verifier was significantly upgraded in bug 413522, this test now prints:

Testing TestAVM2String.fn.
Running test TestAVM2String.fn.
Testing TestAVM2String.fn.
Running test TestAVM2String.fn.
Got: h

Comment 3

[Jasper St. Pierre]

I believe I also changed the testcase too, after I figured out what the reconciled error message was, and had a new error message. A little off-topic: what release is the verifier upgrade in?

Comment 4

[Edwin Smith]

It was in tamarin-redux rev 4001
http://hg.mozilla.org/tamarin-redux/rev/4001

and is planned for Flash Player 10.1