76 lines · plain
1; RUN: llc -regalloc=greedy -arm-atomic-cfg-tidy=0 < %s | FileCheck %s2 3; LSR shouldn't introduce more induction variables than needed, increasing4; register pressure and therefore spilling. There is more room for improvement5; here.6 7; CHECK: sub sp, #{{40|36|32|28|24|16}}8 9; CHECK: %for.inc10; CHECK-NOT: ldr11; CHECK: add12 13target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:32:64-v128:32:128-a0:0:32-n32"14target triple = "thumbv7-apple-ios"15 16%struct.partition_entry = type { i32, i32, i64, i64 }17 18define i32 @partition_overlap_check(ptr nocapture %part, i32 %num_entries) nounwind readonly optsize ssp "frame-pointer"="all" {19entry:20 %cmp79 = icmp sgt i32 %num_entries, 021 br i1 %cmp79, label %outer.loop, label %for.end7222 23outer.loop: ; preds = %for.inc69, %entry24 %overlap.081 = phi i32 [ %overlap.4, %for.inc69 ], [ 0, %entry ]25 %0 = phi i32 [ %inc71, %for.inc69 ], [ 0, %entry ]26 %offset = getelementptr %struct.partition_entry, ptr %part, i32 %0, i32 227 %len = getelementptr %struct.partition_entry, ptr %part, i32 %0, i32 328 %tmp5 = load i64, ptr %offset, align 429 %tmp15 = load i64, ptr %len, align 430 %add = add nsw i64 %tmp15, %tmp531 br label %inner.loop32 33inner.loop: ; preds = %for.inc, %outer.loop34 %overlap.178 = phi i32 [ %overlap.081, %outer.loop ], [ %overlap.4, %for.inc ]35 %1 = phi i32 [ 0, %outer.loop ], [ %inc, %for.inc ]36 %cmp23 = icmp eq i32 %0, %137 br i1 %cmp23, label %for.inc, label %if.end38 39if.end: ; preds = %inner.loop40 %len39 = getelementptr %struct.partition_entry, ptr %part, i32 %1, i32 341 %offset28 = getelementptr %struct.partition_entry, ptr %part, i32 %1, i32 242 %tmp29 = load i64, ptr %offset28, align 443 %tmp40 = load i64, ptr %len39, align 444 %add41 = add nsw i64 %tmp40, %tmp2945 %cmp44 = icmp sge i64 %tmp29, %tmp546 %cmp47 = icmp slt i64 %tmp29, %add47 %or.cond = and i1 %cmp44, %cmp4748 %overlap.2 = select i1 %or.cond, i32 1, i32 %overlap.17849 %cmp52 = icmp sle i64 %add41, %add50 %cmp56 = icmp sgt i64 %add41, %tmp551 %or.cond74 = and i1 %cmp52, %cmp5652 %overlap.3 = select i1 %or.cond74, i32 1, i32 %overlap.253 %cmp61 = icmp sgt i64 %tmp29, %tmp554 %cmp65 = icmp slt i64 %add41, %add55 %or.cond75 = or i1 %cmp61, %cmp6556 br i1 %or.cond75, label %for.inc, label %if.then6657 58if.then66: ; preds = %if.end59 br label %for.inc60 61for.inc: ; preds = %if.end, %if.then66, %inner.loop62 %overlap.4 = phi i32 [ %overlap.178, %inner.loop ], [ 1, %if.then66 ], [ %overlap.3, %if.end ]63 %inc = add nsw i32 %1, 164 %exitcond = icmp eq i32 %inc, %num_entries65 br i1 %exitcond, label %for.inc69, label %inner.loop66 67for.inc69: ; preds = %for.inc68 %inc71 = add nsw i32 %0, 169 %exitcond83 = icmp eq i32 %inc71, %num_entries70 br i1 %exitcond83, label %for.end72, label %outer.loop71 72for.end72: ; preds = %for.inc69, %entry73 %overlap.0.lcssa = phi i32 [ 0, %entry ], [ %overlap.4, %for.inc69 ]74 ret i32 %overlap.0.lcssa75}76