[LLVMbugs] [Bug 2697] New: apparent int64 bug

[bugzilla-daemon at cs.uiuc.edu]

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

           Summary: apparent int64 bug
           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


This is for r54971 on Ubuntu Hardy on ia32.

regehr at john-home:~/volatile/tmp10$ llvm-gcc -O0 small.c -o small
regehr at john-home:~/volatile/tmp10$ ./small
0
regehr at john-home:~/volatile/tmp10$ llvm-gcc -O1 small.c -o small
regehr at john-home:~/volatile/tmp10$ ./small
1
regehr at john-home:~/volatile/tmp10$ cat small.c

#include <stdio.h>

__extension__ typedef long long int int64_t;
static inline unsigned long int
div_rhs (long int rhs)
{
  return rhs;
}

int func_66 (int64_t p_67);
int
func_66 (int64_t p_67)
{
  int64_t l_174 = 0xE1DBCCE7B0101A31LL;
  int64_t l_176 = 0xA571D432E6AD60D6LL;
  return ((p_67 / div_rhs (l_174)) <= l_176);
}

int
main (void)
{
  int x = func_66 (1);
  printf ("%d\n", x);
  return 0;
}


-- 
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.