128 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s3 4; LSR should be able to eliminate both smax and umax expressions5; in loop trip counts.6 7target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"8 9define void @fs(ptr nocapture %p, i64 %n) nounwind {10; CHECK-LABEL: fs:11; CHECK: # %bb.0: # %entry12; CHECK-NEXT: xorl %eax, %eax13; CHECK-NEXT: .p2align 414; CHECK-NEXT: .LBB0_1: # %bb15; CHECK-NEXT: # =>This Inner Loop Header: Depth=116; CHECK-NEXT: movq $0, (%rdi,%rax,8)17; CHECK-NEXT: incq %rax18; CHECK-NEXT: cmpq %rsi, %rax19; CHECK-NEXT: jl .LBB0_120; CHECK-NEXT: # %bb.2: # %return21; CHECK-NEXT: retq22entry:23 %tmp = icmp slt i64 %n, 1 ; <i1> [#uses=1]24 %smax = select i1 %tmp, i64 1, i64 %n ; <i64> [#uses=1]25 br label %bb26 27bb: ; preds = %bb, %entry28 %i.0 = phi i64 [ 0, %entry ], [ %0, %bb ] ; <i64> [#uses=2]29 %scevgep = getelementptr double, ptr %p, i64 %i.0 ; <ptr> [#uses=1]30 store double 0.000000e+00, ptr %scevgep, align 831 %0 = add i64 %i.0, 1 ; <i64> [#uses=2]32 %exitcond = icmp eq i64 %0, %smax ; <i1> [#uses=1]33 br i1 %exitcond, label %return, label %bb34 35return: ; preds = %bb36 ret void37}38 39define void @bs(ptr nocapture %p, i64 %n) nounwind {40; CHECK-LABEL: bs:41; CHECK: # %bb.0: # %entry42; CHECK-NEXT: xorl %eax, %eax43; CHECK-NEXT: .p2align 444; CHECK-NEXT: .LBB1_1: # %bb45; CHECK-NEXT: # =>This Inner Loop Header: Depth=146; CHECK-NEXT: movq $0, (%rdi,%rax,8)47; CHECK-NEXT: incq %rax48; CHECK-NEXT: cmpq %rsi, %rax49; CHECK-NEXT: jl .LBB1_150; CHECK-NEXT: # %bb.2: # %return51; CHECK-NEXT: retq52entry:53 %tmp = icmp sge i64 %n, 1 ; <i1> [#uses=1]54 %smax = select i1 %tmp, i64 %n, i64 1 ; <i64> [#uses=1]55 br label %bb56 57bb: ; preds = %bb, %entry58 %i.0 = phi i64 [ 0, %entry ], [ %0, %bb ] ; <i64> [#uses=2]59 %scevgep = getelementptr double, ptr %p, i64 %i.0 ; <ptr> [#uses=1]60 store double 0.000000e+00, ptr %scevgep, align 861 %0 = add i64 %i.0, 1 ; <i64> [#uses=2]62 %exitcond = icmp eq i64 %0, %smax ; <i1> [#uses=1]63 br i1 %exitcond, label %return, label %bb64 65return: ; preds = %bb66 ret void67}68 69define void @fu(ptr nocapture %p, i64 %n) nounwind {70; CHECK-LABEL: fu:71; CHECK: # %bb.0: # %entry72; CHECK-NEXT: xorl %eax, %eax73; CHECK-NEXT: .p2align 474; CHECK-NEXT: .LBB2_1: # %bb75; CHECK-NEXT: # =>This Inner Loop Header: Depth=176; CHECK-NEXT: movq $0, (%rdi,%rax,8)77; CHECK-NEXT: incq %rax78; CHECK-NEXT: cmpq %rsi, %rax79; CHECK-NEXT: jb .LBB2_180; CHECK-NEXT: # %bb.2: # %return81; CHECK-NEXT: retq82entry:83 %tmp = icmp eq i64 %n, 0 ; <i1> [#uses=1]84 %umax = select i1 %tmp, i64 1, i64 %n ; <i64> [#uses=1]85 br label %bb86 87bb: ; preds = %bb, %entry88 %i.0 = phi i64 [ 0, %entry ], [ %0, %bb ] ; <i64> [#uses=2]89 %scevgep = getelementptr double, ptr %p, i64 %i.0 ; <ptr> [#uses=1]90 store double 0.000000e+00, ptr %scevgep, align 891 %0 = add i64 %i.0, 1 ; <i64> [#uses=2]92 %exitcond = icmp eq i64 %0, %umax ; <i1> [#uses=1]93 br i1 %exitcond, label %return, label %bb94 95return: ; preds = %bb96 ret void97}98 99define void @bu(ptr nocapture %p, i64 %n) nounwind {100; CHECK-LABEL: bu:101; CHECK: # %bb.0: # %entry102; CHECK-NEXT: xorl %eax, %eax103; CHECK-NEXT: .p2align 4104; CHECK-NEXT: .LBB3_1: # %bb105; CHECK-NEXT: # =>This Inner Loop Header: Depth=1106; CHECK-NEXT: movq $0, (%rdi,%rax,8)107; CHECK-NEXT: incq %rax108; CHECK-NEXT: cmpq %rsi, %rax109; CHECK-NEXT: jb .LBB3_1110; CHECK-NEXT: # %bb.2: # %return111; CHECK-NEXT: retq112entry:113 %tmp = icmp ne i64 %n, 0 ; <i1> [#uses=1]114 %umax = select i1 %tmp, i64 %n, i64 1 ; <i64> [#uses=1]115 br label %bb116 117bb: ; preds = %bb, %entry118 %i.0 = phi i64 [ 0, %entry ], [ %0, %bb ] ; <i64> [#uses=2]119 %scevgep = getelementptr double, ptr %p, i64 %i.0 ; <ptr> [#uses=1]120 store double 0.000000e+00, ptr %scevgep, align 8121 %0 = add i64 %i.0, 1 ; <i64> [#uses=2]122 %exitcond = icmp eq i64 %0, %umax ; <i1> [#uses=1]123 br i1 %exitcond, label %return, label %bb124 125return: ; preds = %bb126 ret void127}128