ice #3042
Description
| Bugzilla Link | 2670 |
| Resolution | FIXED |
| Resolved on | Aug 13, 2008 18:14 |
| Version | unspecified |
| OS | Linux |
| CC | @asl,@sunfishcode |
Extended Description
Seen on r54664 on Ubuntu Hardy on ia32.
regehr@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;
}