LLVM Bugzilla is read-only and represents the historical archive of all LLVM issues filled before November 26, 2021. Use github to submit LLVM bugs

Bug 13897 - llc crashes with "UNREACHABLE executed" message
Summary: llc crashes with "UNREACHABLE executed" message
Status: RESOLVED FIXED
Alias: None
Product: libraries
Classification: Unclassified
Component: Common Code Generator Code (show other bugs)
Version: 3.1
Hardware: PC Windows XP
: P normal
Assignee: Unassigned LLVM Bugs
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-09-21 04:46 PDT by junkoi2004
Modified: 2019-03-22 10:54 PDT (History)
10 users (show)

See Also:
Fixed By Commit(s):

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description junkoi2004 2012-09-21 04:46:31 PDT 
i have a simple IR file like below:

;;;;;;;;;;;;;
; ModuleID = 'gg.bc'
@aaa = external global i128
@bbb = external global i128

define void @depasta() nounwind {
"0x0":
  %0 = load i128* @bbb
  %1 = and i128 %0, 4294967295
  %2 = shl i128 %0, 96
  %3 = mul i128 %1, 18446744078004518913
  %4 = add i128 %3, %2
  store i128 %4, i128* @aaa
  ret void
}
;;;;;;;;;

i tried to compile this IR file to bitcode file (with llvm-as), then
compile BC file to native code (with llc).
however, llc crashes like below:

------
C:\>llvm-as gg.ll
C:\>llc -filetype=obj gg.bc
UNREACHABLE executed!

This application has requested the Runtime to terminate it in an unusual way.
Please contact the application's support team for more information.
--------

this looks like a bug, doesn't it? any idea why?

this is LLVM 3.1, on Windows 32bit.
Comment 1 junkoi2004 2012-09-21 05:02:19 PDT 
Duncan Sands reported on mailing list:

....
I can reproduce this with "llc -mtriple=i386-linux-gnu", the crash being

Call result #3 has unhandled type i32
UNREACHABLE executed at /home/duncan/LLVM/llvm/lib/CodeGen/CallingConvLower.cpp:165!
...
llvm::CCState::AnalyzeCallResult(llvm::SmallVectorImpl<llvm::ISD::InputArg> const&, bool (*)(unsigned int, llvm::MVT, llvm::MVT, llvm::CCValAssign::LocInfo, llvm::ISD::ArgFlagsTy, llvm::CCState&)) + 284
...
Comment 2 Duncan Sands 2012-09-28 22:30:24 PDT 
I think the basic problem is that 128 bit multiplication is not supported on 32
bit machines because it needs to be turned into a call to a library function (in
libgcc or compiler-rt) and no such library function exists.
Comment 3 Evan Cheng 2012-10-02 19:07:20 PDT 
rdar://12409066
Comment 4 Bill Wendling 2013-10-18 16:18:59 PDT 
What is the status of this bug? I need to know if it's a real "release blocker" or not. :)
Comment 5 Kerem Kat 2014-02-26 15:39:33 PST 
*** Bug 8379 has been marked as a duplicate of this bug. ***
Comment 6 Kerem Kat 2014-02-26 15:43:36 PST 
*** Bug 14469 has been marked as a duplicate of this bug. ***
Comment 7 Simon Pilgrim 2019-03-22 10:54:22 PDT 
This was fixed years ago - added a test case at rL356786