test/CodeGen/X86/regalloc-advanced-split-cost.ll

   1 ; RUN: llc < %s -march=x86 -regalloc=greedy --debug-only=regalloc 2>&1 | FileCheck %s
   2
   3 ; REQUIRES: asserts
   4
   5 ; This test is meant to make sure that the weight of local intervals that are
   6 ; created during split is taken into account when choosing the best candidate
   7 ; register.
   8 ; %shl is the interval that will be split.
   9 ; The inline assembly calls interfere with %shl and make only 2 available split
  10 ; candidates - %esi and %ebp.
  11 ; The old code would have chosen %esi as the split candidate ignoring the fact
  12 ; that this choice will cause the creation of a local interval that will have a
  13 ;  certain spill cost.
  14 ; The new code choses %ebp as the split candidate as it has lower spill cost.
  15
  16 ; Make sure the split behaves as expected
  17 ; CHECK: RS_Split Cascade 1
  18 ; CHECK-NOT: $eax       static =
  19 ; CHECK: $eax   no positive bundles
  20 ; CHECK-NEXT: $ecx      no positive bundles
  21 ; CHECK-NEXT: $edx      no positive bundles
  22 ; CHECK-NEXT: $esi      static =
  23 ; CHECK-NEXT: $edi      no positive bundles
  24 ; CHECK-NEXT: $ebx      no positive bundles
  25 ; CHECK-NEXT: $ebp      static =
  26 ; CHECK: Split for $ebp
  27
  28 ; Function Attrs: nounwind
  29 define i32 @foo(i32* %array, i32 %cond1, i32 %val) local_unnamed_addr #0 {
  30 entry:
  31   %array.addr = alloca i32*, align 4
  32   store i32* %array, i32** %array.addr, align 4, !tbaa !3
  33   %0 = load i32, i32* %array, align 4, !tbaa !7
  34   %arrayidx1 = getelementptr inbounds i32, i32* %array, i32 1
  35   %1 = load i32, i32* %arrayidx1, align 4, !tbaa !7
  36   %arrayidx2 = getelementptr inbounds i32, i32* %array, i32 2
  37   %2 = load i32, i32* %arrayidx2, align 4, !tbaa !7
  38   %arrayidx3 = getelementptr inbounds i32, i32* %array, i32 3
  39   %3 = load i32, i32* %arrayidx3, align 4, !tbaa !7
  40   %arrayidx4 = getelementptr inbounds i32, i32* %array, i32 4
  41   %4 = load i32, i32* %arrayidx4, align 4, !tbaa !7
  42   %arrayidx6 = getelementptr inbounds i32, i32* %array, i32 %val
  43   %5 = load i32, i32* %arrayidx6, align 4, !tbaa !7
  44   %shl = shl i32 %5, 5
  45   %tobool = icmp eq i32 %cond1, 0
  46   br i1 %tobool, label %if.else, label %if.then
  47
  48 if.then:                                          ; preds = %entry
  49   %arrayidx7 = getelementptr inbounds i32, i32* %array, i32 6
  50   store i32 %shl, i32* %arrayidx7, align 4, !tbaa !7
  51   call void asm "nop", "=*m,r,r,r,r,r,*m,~{dirflag},~{fpsr},~{flags}"(i32** nonnull %array.addr, i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32** nonnull %array.addr) #1, !srcloc !9
  52   %6 = load i32*, i32** %array.addr, align 4, !tbaa !3
  53   %arrayidx8 = getelementptr inbounds i32, i32* %6, i32 7
  54   br label %if.end
  55
  56 if.else:                                          ; preds = %entry
  57   %arrayidx5 = getelementptr inbounds i32, i32* %array, i32 5
  58   %7 = load i32, i32* %arrayidx5, align 4, !tbaa !7
  59   %arrayidx9 = getelementptr inbounds i32, i32* %array, i32 8
  60   store i32 %shl, i32* %arrayidx9, align 4, !tbaa !7
  61   call void asm "nop", "=*m,{ax},{bx},{cx},{dx},{di},{si},{ebp},*m,~{dirflag},~{fpsr},~{flags}"(i32** nonnull %array.addr, i32 %0, i32 %1, i32 %2, i32 %3, i32 %4, i32 %7, i32* undef, i32** nonnull %array.addr) #1, !srcloc !10
  62   %8 = load i32*, i32** %array.addr, align 4, !tbaa !3
  63   %arrayidx10 = getelementptr inbounds i32, i32* %8, i32 9
  64   br label %if.end
  65
  66 if.end:                                           ; preds = %if.else, %if.then
  67   %arrayidx10.sink = phi i32* [ %arrayidx10, %if.else ], [ %arrayidx8, %if.then ]
  68   %9 = phi i32* [ %8, %if.else ], [ %6, %if.then ]
  69   store i32 %shl, i32* %arrayidx10.sink, align 4, !tbaa !7
  70   %10 = load i32, i32* %9, align 4, !tbaa !7
  71   %add = add nsw i32 %10, %shl
  72   ret i32 %add
  73 }
  74
  75 attributes #0 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-features"="+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
  76 attributes #1 = { nounwind }
  77
  78 !llvm.module.flags = !{!0, !1}
  79 !llvm.ident = !{!2}
  80
  81 !0 = !{i32 1, !"NumRegisterParameters", i32 0}
  82 !1 = !{i32 1, !"wchar_size", i32 4}
  83 !2 = !{!"clang version 6.0.0"}
  84 !3 = !{!4, !4, i64 0}
  85 !4 = !{!"any pointer", !5, i64 0}
  86 !5 = !{!"omnipotent char", !6, i64 0}
  87 !6 = !{!"Simple C/C++ TBAA"}
  88 !7 = !{!8, !8, i64 0}
  89 !8 = !{!"int", !5, i64 0}
  90 !9 = !{i32 268}
  91 !10 = !{i32 390}