• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: llc < %s
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
18declare i32 @printf(i8*, ...)
19
20define internal void @__main() {
21entry:
22        ret void
23}
24
25define internal void @CheckOutside(i32 %x.1, i32 %y.1) {
26entry:
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
33then:           ; preds = %entry
34        %tmp.11 = call i32 (i8*, ...) @printf( i8* getelementptr ([6 x i8], [6 x i8]* @.str_1, i64 0, i64 0) )           ; <i32> [#uses=0]
35        br label %UnifiedExitNode
36
37else:           ; preds = %entry
38        %tmp.13 = call i32 (i8*, ...) @printf( i8* getelementptr ([7 x i8], [7 x i8]* @.str_2, i64 0, i64 0) )           ; <i32> [#uses=0]
39        br label %UnifiedExitNode
40
41UnifiedExitNode:                ; preds = %else, %then
42        ret void
43}
44
45define i32 @main() {
46entry:
47        call void @__main( )
48        call void @CheckOutside( i32 2097152, i32 2097152 )
49        ret i32 0
50}
51
52