test/CodeGen/Generic/2003-07-06-BadIntCmp.ll

   1 ; RUN: llvm-as < %s | llc
   2
   3 ;; Date: May 28, 2003.
   4 ;; From: test/Programs/MultiSource/Olden-perimeter/maketree.c
   5 ;; Function: int CheckOutside(int x, int y)
   6 ;;
   7 ;; Note: The .ll code below for this regression test has identical
   8 ;;       behavior to the above function up to the error, but then prints
   9 ;;       true/false on the two branches.
  10 ;;
  11 ;; Error: llc generates a branch-on-xcc instead of branch-on-icc, which
  12 ;;        is wrong because the value being compared (int euclid = x*x + y*y)
  13 ;;        overflows, so that the 64-bit and 32-bit compares are not equal.
  14
  15 @.str_1 = internal constant [6 x i8] c"true\0A\00"              ; <[6 x i8]*> [#uses=1]
  16 @.str_2 = internal constant [7 x i8] c"false\0A\00"             ; <[7 x i8]*> [#uses=1]
  17
  18 declare i32 @printf(i8*, ...)
  19
  20 define internal void @__main() {
  21 entry:
  22         ret void
  23 }
  24
  25 define internal void @CheckOutside(i32 %x.1, i32 %y.1) {
  26 entry:
  27         %tmp.2 = mul i32 %x.1, %x.1             ; <i32> [#uses=1]
  28         %tmp.5 = mul i32 %y.1, %y.1             ; <i32> [#uses=1]
  29         %tmp.6 = add i32 %tmp.2, %tmp.5         ; <i32> [#uses=1]
  30         %tmp.8 = icmp sle i32 %tmp.6, 4194304           ; <i1> [#uses=1]
  31         br i1 %tmp.8, label %then, label %else
  32
  33 then:           ; preds = %entry
  34         %tmp.11 = call i32 (i8*, ...)* @printf( i8* getelementptr ([6 x i8]* @.str_1, i64 0, i64 0) )           ; <i32> [#uses=0]
  35         br label %UnifiedExitNode
  36
  37 else:           ; preds = %entry
  38         %tmp.13 = call i32 (i8*, ...)* @printf( i8* getelementptr ([7 x i8]* @.str_2, i64 0, i64 0) )           ; <i32> [#uses=0]
  39         br label %UnifiedExitNode
  40
  41 UnifiedExitNode:                ; preds = %else, %then
  42         ret void
  43 }
  44
  45 define i32 @main() {
  46 entry:
  47         call void @__main( )
  48         call void @CheckOutside( i32 2097152, i32 2097152 )
  49         ret i32 0
  50 }
  51