77 lines · plain
1; RUN: llc < %s -mtriple=x86_64-linux -asm-verbose=false | FileCheck %s2; RUN: llc < %s -mtriple=x86_64-win32 -asm-verbose=false | FileCheck %s3 4; LSR's OptimizeMax should eliminate the select (max).5 6; CHECK-LABEL: foo:7; CHECK-NOT: cmov8; CHECK: jle9 10define void @foo(i64 %n, ptr nocapture %p) nounwind {11entry:12 %cmp6 = icmp slt i64 %n, 0 ; <i1> [#uses=1]13 br i1 %cmp6, label %for.end, label %for.body.preheader14 15for.body.preheader: ; preds = %entry16 %tmp = icmp sgt i64 %n, 0 ; <i1> [#uses=1]17 %n.op = add i64 %n, 1 ; <i64> [#uses=1]18 %tmp1 = select i1 %tmp, i64 %n.op, i64 1 ; <i64> [#uses=1]19 br label %for.body20 21for.body: ; preds = %for.body.preheader, %for.body22 %i = phi i64 [ %i.next, %for.body ], [ 0, %for.body.preheader ] ; <i64> [#uses=2]23 %arrayidx = getelementptr double, ptr %p, i64 %i ; <ptr> [#uses=2]24 %t4 = load double, ptr %arrayidx ; <double> [#uses=1]25 %mul = fmul double %t4, 2.200000e+00 ; <double> [#uses=1]26 store double %mul, ptr %arrayidx27 %i.next = add nsw i64 %i, 1 ; <i64> [#uses=2]28 %exitcond = icmp eq i64 %i.next, %tmp1 ; <i1> [#uses=1]29 br i1 %exitcond, label %for.end, label %for.body30 31for.end: ; preds = %for.body, %entry32 ret void33}34 35; In this case, one of the max operands is another max, which folds,36; leaving a two-operand max which doesn't fit the usual pattern.37; OptimizeMax should handle this case.38; PR745439 40; CHECK-LABEL: _Z18GenerateStatusPagei:41 42; CHECK: jle43; CHECK-NOT: cmov44; CHECK: xorl {{%edi, %edi|%ecx, %ecx|%eax, %eax}}45; CHECK-NEXT: align46; CHECK-NEXT: BB1_2:47; CHECK: callq48; CHECK-NEXT: incl [[BX:%[a-z0-9]+]]49; CHECK-NEXT: cmpl [[R14:%[a-z0-9]+]], [[BX]]50; CHECK: jl51 52define void @_Z18GenerateStatusPagei(i32 %jobs_to_display) nounwind {53entry:54 %cmp.i = icmp sgt i32 %jobs_to_display, 0 ; <i1> [#uses=1]55 %tmp = select i1 %cmp.i, i32 %jobs_to_display, i32 0 ; <i32> [#uses=3]56 %cmp8 = icmp sgt i32 %tmp, 0 ; <i1> [#uses=1]57 br i1 %cmp8, label %bb.nph, label %for.end58 59bb.nph: ; preds = %entry60 %tmp11 = icmp sgt i32 %tmp, 1 ; <i1> [#uses=1]61 %smax = select i1 %tmp11, i32 %tmp, i32 1 ; <i32> [#uses=1]62 br label %for.body63 64for.body: ; preds = %for.body, %bb.nph65 %i.010 = phi i32 [ 0, %bb.nph ], [ %inc, %for.body ] ; <i32> [#uses=1]66 %it.0.09 = phi ptr [ null, %bb.nph ], [ %call.i, %for.body ] ; <ptr> [#uses=1]67 %call.i = call ptr @_ZSt18_Rb_tree_decrementPKSt18_Rb_tree_node_base(ptr %it.0.09) ; <ptr> [#uses=1]68 %inc = add nsw i32 %i.010, 1 ; <i32> [#uses=2]69 %exitcond = icmp eq i32 %inc, %smax ; <i1> [#uses=1]70 br i1 %exitcond, label %for.end, label %for.body71 72for.end: ; preds = %for.body, %entry73 ret void74}75 76declare ptr @_ZSt18_Rb_tree_decrementPKSt18_Rb_tree_node_base(ptr)77