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