Closed Bug 697066 Opened 13 years ago Closed 13 years ago

Assertion failed: "((t == (core->traits.uint_itraits)))" ("../core/CodegenLIR.cpp":7382)

Categories

(Tamarin Graveyard :: Baseline JIT (CodegenLIR), defect)

x86
macOS
defect
Not set
normal

Tracking

(Not tracked)

VERIFIED FIXED

People

(Reporter: brbaker, Assigned: virgilp)

References

Details

Assertion when trying to coerce a float4 value into a float during initialization when the code is jitted. The float value should be initialized with float.NaN as that is the result of ToFloat(float4(1f))

var f4:float = float4(3f);    // asserts
var fnan:float = float.NaN;   // NaN
var f:* = float(float4(1f));  // NaN



#3  0x0000000100009a9a in avmplus::AvmAssertFail (message=0x1002093e0 "Assertion failed: \"((t == (core->traits.uint_itraits)))\" (\"../core/CodegenLIR.cpp\":7382)\n") at AvmAssert.h:66
#4  0x0000000100000c82 in avmplus::_AvmAssertMsg (condition=0, message=0x1002093e0 "Assertion failed: \"((t == (core->traits.uint_itraits)))\" (\"../core/CodegenLIR.cpp\":7382)\n") at AvmAssert.h:72
#5  0x00000001000ae976 in avmplus::CodegenLIR::promoteFloatIns (this=0x7fff5fbfeb20, t=0x10109ab68, i=3) at ../core/CodegenLIR.cpp:7382
#6  0x00000001000b721f in avmplus::CodegenLIR::coerceToFloat (this=0x7fff5fbfeb20, index=3) at ../core/CodegenLIR.cpp:3371
#7  0x00000001000b919c in avmplus::CodegenLIR::coerceToType (this=0x7fff5fbfeb20, loc=3, result=0x10109a5a0) at ../core/CodegenLIR.cpp:4052
#8  0x00000001000bb4a5 in avmplus::CodegenLIR::emitCoerce (this=0x7fff5fbfeb20, loc=3, result=0x10109a5a0) at ../core/CodegenLIR.cpp:3821
#9  0x00000001000bb501 in avmplus::CodegenLIR::writeCoerce (this=0x7fff5fbfeb20, state=0x1010401d0, loc=3, result=0x10109a5a0) at ../core/CodegenLIR.cpp:3816
#10 0x00000001000d1a69 in avmplus::NullWriter::writeCoerce (this=0x7fff5fbfe860, state=0x1010401d0, index=3, type=0x10109a5a0) at ../core/Coder.cpp:172
#11 0x000000010013c001 in avmplus::Verifier::emitCoerce (this=0x7fff5fbfe910, target=0x10109a5a0, index=3) at ../core/Verifier.cpp:3037
#12 0x0000000100145a8d in avmplus::Verifier::verifyBlock (this=0x7fff5fbfe910, start_pos=0x1011fe1be "?0T\001d+m\001]\001f\001f\002d+m\002\"\001d+m\003G") at ../core/Verifier.cpp:2200
#13 0x0000000100147d31 in avmplus::Verifier::verify (this=0x7fff5fbfe910, emitter=0x7fff5fbfeb20) at ../core/Verifier.cpp:862
#14 0x00000001000de7e0 in avmplus::BaseExecMgr::verifyCommon (this=0x101022168, m=0x101105a88, ms=0x10120f5e8, toplevel=0x10113b068, abc_env=0x101022fc0, coder=0x7fff5fbfeb20) at ../core/exec.cpp:452
...
...
Flags: in-testsuite?
Flags: flashplayer-triage+
Flags: flashplayer-qrb+
Flags: flashplayer-bug-
fixed in changeset 290:a9ff47a23032
Status: ASSIGNED → RESOLVED
Closed: 13 years ago
Resolution: --- → FIXED
Reopened:

using changeset 290:f0f4f54b54ab
latest asc.jar

OS X 64bit debug shell
avmshell -Ojit test.abc

Assertion failed: "((t == (core->traits.uint_itraits)))" ("../core/CodegenLIR.cpp":7511)
Status: RESOLVED → REOPENED
Resolution: FIXED → ---
Ok with all of the patches pushed to the patch queue this IS fixed.

Testmedia added as as3/Types/Float/flt_9_2.as
Status: REOPENED → RESOLVED
Closed: 13 years ago13 years ago
Flags: in-testsuite? → in-testsuite+
Resolution: --- → FIXED
Status: RESOLVED → VERIFIED
You need to log in before you can comment on or make changes to this bug.