1*9880d681SAndroid Build Coastguard Worker; RUN: llc < %s -march=x86 > %t 2*9880d681SAndroid Build Coastguard Worker; RUN: not grep neg %t 3*9880d681SAndroid Build Coastguard Worker; RUN: not grep sub.*esp %t 4*9880d681SAndroid Build Coastguard Worker; RUN: not grep esi %t 5*9880d681SAndroid Build Coastguard Worker; RUN: not grep push %t 6*9880d681SAndroid Build Coastguard Worker 7*9880d681SAndroid Build Coastguard Worker; This corresponds to: 8*9880d681SAndroid Build Coastguard Worker;int t(int a, int b) { 9*9880d681SAndroid Build Coastguard Worker; while (a != b) { 10*9880d681SAndroid Build Coastguard Worker; if (a > b) 11*9880d681SAndroid Build Coastguard Worker; a -= b; 12*9880d681SAndroid Build Coastguard Worker; else 13*9880d681SAndroid Build Coastguard Worker; b -= a; 14*9880d681SAndroid Build Coastguard Worker; } 15*9880d681SAndroid Build Coastguard Worker; return a; 16*9880d681SAndroid Build Coastguard Worker;} 17*9880d681SAndroid Build Coastguard Worker 18*9880d681SAndroid Build Coastguard Worker 19*9880d681SAndroid Build Coastguard Workerdefine i32 @t(i32 %a, i32 %b) nounwind { 20*9880d681SAndroid Build Coastguard Workerentry: 21*9880d681SAndroid Build Coastguard Worker %tmp1434 = icmp eq i32 %a, %b ; <i1> [#uses=1] 22*9880d681SAndroid Build Coastguard Worker br i1 %tmp1434, label %bb17, label %bb.outer 23*9880d681SAndroid Build Coastguard Worker 24*9880d681SAndroid Build Coastguard Workerbb.outer: ; preds = %cond_false, %entry 25*9880d681SAndroid Build Coastguard Worker %b_addr.021.0.ph = phi i32 [ %b, %entry ], [ %tmp10, %cond_false ] ; <i32> [#uses=5] 26*9880d681SAndroid Build Coastguard Worker %a_addr.026.0.ph = phi i32 [ %a, %entry ], [ %a_addr.026.0, %cond_false ] ; <i32> [#uses=1] 27*9880d681SAndroid Build Coastguard Worker br label %bb 28*9880d681SAndroid Build Coastguard Worker 29*9880d681SAndroid Build Coastguard Workerbb: ; preds = %cond_true, %bb.outer 30*9880d681SAndroid Build Coastguard Worker %indvar = phi i32 [ 0, %bb.outer ], [ %indvar.next, %cond_true ] ; <i32> [#uses=2] 31*9880d681SAndroid Build Coastguard Worker %tmp. = sub i32 0, %b_addr.021.0.ph ; <i32> [#uses=1] 32*9880d681SAndroid Build Coastguard Worker %tmp.40 = mul i32 %indvar, %tmp. ; <i32> [#uses=1] 33*9880d681SAndroid Build Coastguard Worker %a_addr.026.0 = add i32 %tmp.40, %a_addr.026.0.ph ; <i32> [#uses=6] 34*9880d681SAndroid Build Coastguard Worker %tmp3 = icmp sgt i32 %a_addr.026.0, %b_addr.021.0.ph ; <i1> [#uses=1] 35*9880d681SAndroid Build Coastguard Worker br i1 %tmp3, label %cond_true, label %cond_false 36*9880d681SAndroid Build Coastguard Worker 37*9880d681SAndroid Build Coastguard Workercond_true: ; preds = %bb 38*9880d681SAndroid Build Coastguard Worker %tmp7 = sub i32 %a_addr.026.0, %b_addr.021.0.ph ; <i32> [#uses=2] 39*9880d681SAndroid Build Coastguard Worker %tmp1437 = icmp eq i32 %tmp7, %b_addr.021.0.ph ; <i1> [#uses=1] 40*9880d681SAndroid Build Coastguard Worker %indvar.next = add i32 %indvar, 1 ; <i32> [#uses=1] 41*9880d681SAndroid Build Coastguard Worker br i1 %tmp1437, label %bb17, label %bb 42*9880d681SAndroid Build Coastguard Worker 43*9880d681SAndroid Build Coastguard Workercond_false: ; preds = %bb 44*9880d681SAndroid Build Coastguard Worker %tmp10 = sub i32 %b_addr.021.0.ph, %a_addr.026.0 ; <i32> [#uses=2] 45*9880d681SAndroid Build Coastguard Worker %tmp14 = icmp eq i32 %a_addr.026.0, %tmp10 ; <i1> [#uses=1] 46*9880d681SAndroid Build Coastguard Worker br i1 %tmp14, label %bb17, label %bb.outer 47*9880d681SAndroid Build Coastguard Worker 48*9880d681SAndroid Build Coastguard Workerbb17: ; preds = %cond_false, %cond_true, %entry 49*9880d681SAndroid Build Coastguard Worker %a_addr.026.1 = phi i32 [ %a, %entry ], [ %tmp7, %cond_true ], [ %a_addr.026.0, %cond_false ] ; <i32> [#uses=1] 50*9880d681SAndroid Build Coastguard Worker ret i32 %a_addr.026.1 51*9880d681SAndroid Build Coastguard Worker} 52