1 ; RUN: llc < %s -march=arm | FileCheck %s 2 3 ; Check that calls to baz and quux are tail-merged. 4 ; CHECK: bl _baz 5 ; CHECK-NOT: bl _baz 6 ; CHECK: bl _quux 7 ; CHECK-NOT: bl _quux 8 9 ; PR1628 10 11 ; ModuleID = 'tail.c' 12 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64" 13 target triple = "i686-apple-darwin8" 14 15 define i32 @f(i32 %i, i32 %q) { 16 entry: 17 %i_addr = alloca i32 ; <i32*> [#uses=2] 18 %q_addr = alloca i32 ; <i32*> [#uses=2] 19 %retval = alloca i32, align 4 ; <i32*> [#uses=1] 20 store i32 %i, i32* %i_addr 21 store i32 %q, i32* %q_addr 22 %tmp = load i32, i32* %i_addr ; <i32> [#uses=1] 23 %tmp1 = icmp ne i32 %tmp, 0 ; <i1> [#uses=1] 24 %tmp12 = zext i1 %tmp1 to i8 ; <i8> [#uses=1] 25 %toBool = icmp ne i8 %tmp12, 0 ; <i1> [#uses=1] 26 br i1 %toBool, label %cond_true, label %cond_false 27 28 cond_true: ; preds = %entry 29 %tmp3 = call i32 (...) @bar( ) ; <i32> [#uses=0] 30 %tmp4 = call i32 (...) @baz( i32 5, i32 6 ) ; <i32> [#uses=0] 31 %tmp7 = load i32, i32* %q_addr ; <i32> [#uses=1] 32 %tmp8 = icmp ne i32 %tmp7, 0 ; <i1> [#uses=1] 33 %tmp89 = zext i1 %tmp8 to i8 ; <i8> [#uses=1] 34 %toBool10 = icmp ne i8 %tmp89, 0 ; <i1> [#uses=1] 35 br i1 %toBool10, label %cond_true11, label %cond_false15 36 37 cond_false: ; preds = %entry 38 %tmp5 = call i32 (...) @foo( ) ; <i32> [#uses=0] 39 %tmp6 = call i32 (...) @baz( i32 5, i32 6 ) ; <i32> [#uses=0] 40 %tmp27 = load i32, i32* %q_addr ; <i32> [#uses=1] 41 %tmp28 = icmp ne i32 %tmp27, 0 ; <i1> [#uses=1] 42 %tmp289 = zext i1 %tmp28 to i8 ; <i8> [#uses=1] 43 %toBool210 = icmp ne i8 %tmp289, 0 ; <i1> [#uses=1] 44 br i1 %toBool210, label %cond_true11, label %cond_false15 45 46 cond_true11: ; preds = %cond_next 47 %tmp13 = call i32 (...) @foo( ) ; <i32> [#uses=0] 48 %tmp14 = call i32 (...) @quux( i32 3, i32 4 ) ; <i32> [#uses=0] 49 br label %cond_next18 50 51 cond_false15: ; preds = %cond_next 52 %tmp16 = call i32 (...) @bar( ) ; <i32> [#uses=0] 53 %tmp17 = call i32 (...) @quux( i32 3, i32 4 ) ; <i32> [#uses=0] 54 br label %cond_next18 55 56 cond_next18: ; preds = %cond_false15, %cond_true11 57 %tmp19 = call i32 (...) @bar( ) ; <i32> [#uses=0] 58 br label %return 59 60 return: ; preds = %cond_next18 61 %retval20 = load i32, i32* %retval ; <i32> [#uses=1] 62 ret i32 %retval20 63 } 64 65 declare i32 @bar(...) 66 67 declare i32 @baz(...) 68 69 declare i32 @foo(...) 70 71 declare i32 @quux(...) 72
