[LLVMbugs] [Bug 2670] New: ice

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=2670

           Summary: ice
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: regehr at cs.utah.edu
                CC: llvmbugs at cs.uiuc.edu


Seen on r54664 on Ubuntu Hardy on ia32.

regehr at john-home:~/volatile/tmp2$ clang small.c  --emit-llvm -o - | llvm-as |
opt -std-compile-opts > /dev/null
opt: ValueTracking.cpp:382: void llvm::ComputeMaskedBits(llvm::Value*, const
llvm::APInt&, llvm::APInt&, llvm::APInt&, llvm::TargetData*, unsigned int):
Assertion `(KnownZero & KnownOne) == 0&&"Bits known to be one AND zero?"'
failed.
opt[0x83fbcb8]
/lib/tls/i686/cmov/libc.so.6(abort+0x101)[0xb7d2ca01]
/lib/tls/i686/cmov/libc.so.6(__assert_fail+0xee)[0xb7d2410e]
opt(_ZN4llvm17ComputeMaskedBitsEPNS_5ValueERKNS_5APIntERS2_S5_PNS_10TargetDataEj+0x3541)[0x82e4841]
Aborted


typedef short int int16_t;
typedef int int32_t;
__extension__ typedef long long int int64_t;
int32_t g_127;
int32_t
func_56 (int32_t p_58, int32_t p_59, int32_t p_61, int16_t p_62)
{
  int64_t l_145 = 0xE7EF8C87ACCF6E19LL;
  g_127 = ((l_145 | (rshift_s_s (p_61, 1))) % 1) == 1;
}


-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.