search for: int32_min

Hi, We are seeing sporadic crashes since we migrated to MCJIT on Win64. The same tests pass without issues on Mac64 and Linux64. The issue is this assertion failure in RuntimeDyldELF.c: RealOffset <= INT32_MAX && RealOffset >= INT32_MIN I haven't managed to successfully catch the failure in Visual to try and debug it. Any tips on how to make progress? Oh, and we're on LLVM 3.5. Thanks. Ram -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attach...

...t; Hi, >> >> We are seeing sporadic crashes since we migrated to MCJIT on Win64. The >> same tests pass without issues on Mac64 and Linux64. The issue is this >> assertion failure in RuntimeDyldELF.c: >> >> RealOffset <= INT32_MAX && RealOffset >= INT32_MIN >> >> I haven't managed to successfully catch the failure in Visual to try and >> debug it. Any tips on how to make progress? >> >> Oh, and we're on LLVM 3.5. >> >> Thanks. >> >> Ram >> >> ____________________________________...

...seeing sporadic crashes since we migrated to MCJIT on Win64. The >>>> same tests pass without issues on Mac64 and Linux64. The issue is this >>>> assertion failure in RuntimeDyldELF.c: >>>> >>>> RealOffset <= INT32_MAX && RealOffset >= INT32_MIN >>>> >>>> I haven't managed to successfully catch the failure in Visual to try >>>> and debug it. Any tips on how to make progress? >>>> >>>> Oh, and we're on LLVM 3.5. >>>> >>>> Thanks. >>>> &gt...

...---------- > *From:* Lang Hames <lhames at gmail.com> > *Sent:* Friday, May 22, 2015 7:55 PM > *To:* Keno Fischer > *Cc:* Ramkumar Ramachandra; Peng Cheng; LLVMdev; Dale Martin > *Subject:* Re: [LLVMdev] Sporadic "RealOffset <= INT32_MAX && RealOffset > >= INT32_MIN" failures with MCJIT on Windows > > > On Fri, May 22, 2015 at 4:14 PM, Keno Fischer < > kfischer at college.harvard.edu> wrote: > >> This might be related to GOT relocations. I rewrote that part of >> RuntimeDyldELFbecause I was seeing this issue. Have you tri...

...00080000000, because there's no 32-bit value >> the undef could take which sign-extends into that 64-bit value. >> > > But since the add nsw returns undef, then isn't c "sext i32 undef to > i64" Yes. > and thus also undef? No: it's some value between INT32_MIN and INT32_MAX. Think of undef as a read from an arbitrary register: you can't predict what it will contain, but you know it contains some representable value. -Eli

...default: + return; + } + i->setSrc(0, bld.mkImm(res.data.s16)); + break; + case TYPE_S32: + switch (i->sType) { + case TYPE_F32: + if (i->saturate) + res.data.s32 = util_iround(CLAMP(imm0.reg.data.f32, INT32_MIN, + INT32_MAX)); + else + res.data.s32 = util_iround(imm0.reg.data.f32); + break; + case TYPE_F64: + if (i->saturate) + res.data.s32 = util_iround(CLAMP(imm0.reg.data.f64, INT32_MIN,...

...default: + return; + } + i->setSrc(0, bld.mkImm(res.data.s16)); + break; + case TYPE_S32: + switch (i->sType) { + case TYPE_F32: + if (i->saturate) + res.data.s32 = CLAMP(util_iround(imm0.reg.data.f32), INT32_MIN, + INT32_MAX); + else res.data.s32 = util_iround(imm0.reg.data.f32); + break; + case TYPE_F64: + if (i->saturate) + res.data.s32 = CLAMP(util_iround(imm0.reg.data.f64), INT32_MIN, +...

...= Section.LoadAddress + Offset; int64_t RealOffset = *Placeholder + Value + Addend - FinalAddress; fprintf(stderr, "%x + %lx + %lx - %lx = %lx\n", *Placeholder, Value, Addend, FinalAddress, RealOffset); assert(RealOffset <= INT32_MAX && RealOffset >= INT32_MIN); This is what I get for system malloc: 0 + 7fec9867a000 + 0 - 7fec9867a040 = ffffffffffffffc0 This is what I get for ASan allocator (which results in assert failure): 0 + 600c0000a8a0 + 0 - 6018000090a0 = fffffff400001800 -- Alexey Samsonov, MSK -------------- next part -------------- An HTM...

.../llvm/x64/static/Release+Asserts/bin/lli -use-mcjit -mtriple=x86_64-unknown-cygwin-elf /cygdrive/z/dev/llvm/x64/llvm/test/ExecutionEngine/MCJIT/test-setcond-fp.ll > /dev/null -- Exit Code: 134 Command Output (stderr): -- assertion "RealOffset <= INT32_MAX && RealOffset >= INT32_MIN" failed: file "/cygdrive/z/dev/llvm/x64/llvm/lib/ExecutionEngine/RuntimeDyld/RuntimeDyldELF.cpp", line 308, function: void llvm::RuntimeDyldELF::resolveX86_64Relocation(const llvm::SectionEntry&, uint64_t, uint64_t, uint32_t, int64_t, uint64_t) Stack dump: 0. Program ar...

...t; + } > + i->setSrc(0, bld.mkImm(res.data.s16)); > + break; > + case TYPE_S32: > + switch (i->sType) { > + case TYPE_F32: > + if (i->saturate) > + res.data.s32 = util_iround(CLAMP(imm0.reg.data.f32, INT32_MIN, > + INT32_MAX)); > + else > + res.data.s32 = util_iround(imm0.reg.data.f32); > + break; > + case TYPE_F64: > + if (i->saturate) > + res.data.s32 = util_iround(...

...ndeclared (first use this function) Constants.cpp:370: error: `INT16_MAX' undeclared (first use this function) Constants.cpp:370: error: `INT16_MIN' undeclared (first use this function) Constants.cpp:372: error: `INT32_MAX' undeclared (first use this function) Constants.cpp:372: error: `INT32_MIN' undeclared (first use this function) Constants.cpp: In static member function `static bool llvm::ConstantUInt::isValueValidForType(const llvm::Type*, long long unsigned int)': Constants.cpp:387: error: `UINT8_MAX' undeclared (first use this function) Constants.cpp:389: error: `UI...

...default: + return; + } + i->setSrc(0, bld.mkImm(res.data.s16)); + break; + case TYPE_S32: + switch (i->sType) { + case TYPE_F32: + if (i->saturate) + res.data.s32 = util_iround(CLAMP(imm0.reg.data.f32, INT32_MIN, + INT32_MAX)); + else + res.data.s32 = util_iround(imm0.reg.data.f32); + break; + case TYPE_F64: + if (i->saturate) + res.data.s32 = util_iround(CLAMP(imm0.reg.data.f64, INT32_MIN,...

...default: + return; + } + i->setSrc(0, bld.mkImm(res.data.s16)); + break; + case TYPE_S32: + switch (i->sType) { + case TYPE_F32: + if (i->saturate) + res.data.s32 = util_iround(CLAMP(imm0.reg.data.f32, INT32_MIN, + INT32_MAX)); + else + res.data.s32 = util_iround(imm0.reg.data.f32); + break; + default: + return; + } + i->setSrc(0, bld.mkImm(res.data.s32)); + break; + case TYP...

...6_64-unknown-cygwin-elf > /cygdrive/z/dev/llvm/x64/llvm/test/ExecutionEngine/MCJIT/test-setcond-fp.ll > > /dev/null > -- > Exit Code: 134 > > Command Output (stderr): > -- > assertion "RealOffset <= INT32_MAX && RealOffset >= INT32_MIN" > failed: file > "/cygdrive/z/dev/llvm/x64/llvm/lib/ExecutionEngine/RuntimeDyld/RuntimeDyldELF.cpp", > line 308, function: void > llvm::RuntimeDyldELF::resolveX86_64Relocation(const > llvm::SectionEntry&, uint64_t, uint64_t, uint32_t, int64_t,...

..._t RealOffset = *Placeholder + Value + Addend - FinalAddress;**** > > fprintf(stderr, "%x + %lx + %lx - %lx = %lx\n",**** > > *Placeholder, Value, Addend, FinalAddress, RealOffset);**** > > assert(RealOffset <= INT32_MAX && RealOffset >= INT32_MIN);**** > > ** ** > > ** ** > > This is what I get for system malloc:**** > > ** ** > > 0 + 7fec9867a000 + 0 - 7fec9867a040 = ffffffffffffffc0**** > > This is what I get for ASan allocator (which results in assert failure):** > ** > > ** ** > > 0 + 6...

...= Section.LoadAddress + Offset; int64_t RealOffset = *Placeholder + Value + Addend - FinalAddress; fprintf(stderr, "%x + %lx + %lx - %lx = %lx\n", *Placeholder, Value, Addend, FinalAddress, RealOffset); assert(RealOffset <= INT32_MAX && RealOffset >= INT32_MIN); This is what I get for system malloc: 0 + 7fec9867a000 + 0 - 7fec9867a040 = ffffffffffffffc0 This is what I get for ASan allocator (which results in assert failure): 0 + 600c0000a8a0 + 0 - 6018000090a0 = fffffff400001800 -- Alexey Samsonov, MSK -------------- next part -------------- A...

...efine UQUAD_MAX ULLONG_MAX ... --- /usr/include/limits.h --------------------- Which defintions do you think encompasses LLVMs expectations?: INT8_MAX - SCHAR_MAX //signed INT8_MIN - SCHAR_MIN //signed INT16_MAX - SHRT_MAX //signed INT16_MIN - SHRT_MIN //signed INT32_MAX - LONG_MAX //signed INT32_MIN - LONG_MIN //signed ... UINT8_MAX - CHAR_MIN //unsigned - #define _CHAR_UNSIGNED || __CHAR_UNSIGNED__ UINT8_MIN - (implicitly 0?) UINT16_MAX - USHRT_MAX //unsigned UINT16_MIN - (implicitly 0?) UINT32_MAX - ULONG_MAX //unsigned UINT32_MIN - (implicitly 0?) /Henrik ___________________________...

..._t RealOffset = *Placeholder + Value + Addend - FinalAddress;**** > > fprintf(stderr, "%x + %lx + %lx - %lx = %lx\n",**** > > *Placeholder, Value, Addend, FinalAddress, RealOffset);**** > > assert(RealOffset <= INT32_MAX && RealOffset >= INT32_MIN);**** > > **** > > **** > > This is what I get for system malloc:**** > > **** > > 0 + 7fec9867a000 + 0 - 7fec9867a040 = ffffffffffffffc0**** > > This is what I get for ASan allocator (which results in assert failure):** > ** > > **** > > 0 + 6...

Without the MSP_32BIT part, I consistently hit this assertion: Assertion failed: ((Type == ELF::R_X86_64_32 && (Value <= UINT32_MAX)) || (Type == ELF::R_X86_64_32S && ((int64_t)Value <= INT32_MAX && (int64_t)Value >= INT32_MIN))), function resolveX86_64Relocation, file ../lib/ExecutionEngine/RuntimeDyld/RuntimeDyldELF.cpp, line 222. David On 9 May 2013, at 13:58, "Kaylor, Andrew" <andrew.kaylor at intel.com> wrote: > Can you try it without the MAP_32BIT part? It won't be as reliable, but if the...

...= Section.LoadAddress + Offset; int64_t RealOffset = *Placeholder + Value + Addend - FinalAddress; fprintf(stderr, "%x + %lx + %lx - %lx = %lx\n", *Placeholder, Value, Addend, FinalAddress, RealOffset); assert(RealOffset <= INT32_MAX && RealOffset >= INT32_MIN); This is what I get for system malloc: 0 + 7fec9867a000 + 0 - 7fec9867a040 = ffffffffffffffc0 This is what I get for ASan allocator (which results in assert failure): 0 + 600c0000a8a0 + 0 - 6018000090a0 = fffffff400001800 -- Alexey Samsonov, MSK -- Alexey Samsonov, MSK --------------...