test/CodeGen/Thumb/ragreedy-implicit-def.ll

   1 ; REQUIRES: asserts
   2 ; RUN: llc -mtriple=thumbv6m -regalloc=greedy -stats < %s 2>&1 | FileCheck %s
   3
   4 ; Undef incoming values to phis end up creating IMPLICIT_DEF values. If we don't
   5 ; prefer them to be in a register then we get fewer spilled live ranges (6
   6 ; compared to 7).
   7 ; CHECK: 6 regalloc - Number of spilled live ranges
   8
   9 declare i32 @otherfn(i32)
  10 define void @fn(i32 %val, i32* %ptr) {
  11 entry:
  12   %gep1 = getelementptr i32, i32* %ptr, i32 0
  13   %gep2 = getelementptr i32, i32* %ptr, i32 1
  14   %gep3 = getelementptr i32, i32* %ptr, i32 2
  15   %gep4 = getelementptr i32, i32* %ptr, i32 3
  16   %gep5 = getelementptr i32, i32* %ptr, i32 4
  17   %gep6 = getelementptr i32, i32* %ptr, i32 5
  18   %gep7 = getelementptr i32, i32* %ptr, i32 6
  19   %gep8 = getelementptr i32, i32* %ptr, i32 7
  20   %cmp1 = icmp uge i32 %val, 3
  21   br i1 %cmp1, label %if, label %then
  22
  23 if:
  24   %val1 = load i32, i32* %gep1, align 4
  25   %val2 = load i32, i32* %gep2, align 4
  26   %val3 = load i32, i32* %gep3, align 4
  27   %val4 = load i32, i32* %gep4, align 4
  28   %val5 = load i32, i32* %gep5, align 4
  29   %val6 = load i32, i32* %gep6, align 4
  30   %val7 = load i32, i32* %gep7, align 4
  31   %val8 = load i32, i32* %gep8, align 4
  32   br label %then
  33
  34 then:
  35   %phi1a = phi i32 [ %val1, %if ], [ undef, %entry ]
  36   %phi2a = phi i32 [ %val2, %if ], [ undef, %entry ]
  37   %phi3a = phi i32 [ %val3, %if ], [ undef, %entry ]
  38   %phi4a = phi i32 [ %val4, %if ], [ undef, %entry ]
  39   %phi5a = phi i32 [ %val5, %if ], [ undef, %entry ]
  40   %phi6a = phi i32 [ %val6, %if ], [ undef, %entry ]
  41   %phi7a = phi i32 [ %val7, %if ], [ undef, %entry ]
  42   %phi8a = phi i32 [ %val8, %if ], [ undef, %entry ]
  43   %switchval = call i32 @otherfn(i32 %val)
  44   switch i32 %switchval, label %default [
  45     i32 0, label %case0
  46     i32 1, label %case1
  47     i32 5, label %case5
  48     i32 6, label %case6
  49     i32 7, label %case7
  50     i32 8, label %case8
  51   ]
  52
  53 default:
  54   br label %switchend
  55
  56 case0:
  57   br label %switchend
  58
  59 case1:
  60   br label %switchend
  61
  62 case5:
  63   br label %switchend
  64
  65 case6:
  66   br label %switchend
  67
  68 case7:
  69   br label %switchend
  70
  71 case8:
  72   br label %switchend
  73
  74 switchend:
  75   %phi1b = phi i32 [ 0, %default ], [ undef, %case0 ], [ undef, %case1 ], [ %phi1a, %case5 ], [ 1, %case6 ], [ 2, %case7 ], [ 1, %case8 ]
  76   %phi2b = phi i32 [ 0, %default ], [ undef, %case0 ], [ undef, %case1 ], [ %phi2a, %case5 ], [ 2, %case6 ], [ 2, %case7 ], [ 1, %case8 ]
  77   %phi3b = phi i32 [ 0, %default ], [ undef, %case0 ], [ undef, %case1 ], [ %phi3a, %case5 ], [ 3, %case6 ], [ 2, %case7 ], [ 1, %case8 ]
  78   %phi4b = phi i32 [ 0, %default ], [ undef, %case0 ], [ undef, %case1 ], [ %phi4a, %case5 ], [ 4, %case6 ], [ 2, %case7 ], [ 1, %case8 ]
  79   %phi5b = phi i32 [ 0, %default ], [ undef, %case0 ], [ undef, %case1 ], [ %phi5a, %case5 ], [ 5, %case6 ], [ 2, %case7 ], [ 1, %case8 ]
  80   %phi6b = phi i32 [ 0, %default ], [ undef, %case0 ], [ undef, %case1 ], [ %phi6a, %case5 ], [ 6, %case6 ], [ 2, %case7 ], [ 1, %case8 ]
  81   %phi7b = phi i32 [ 0, %default ], [ undef, %case0 ], [ undef, %case1 ], [ %phi7a, %case5 ], [ 7, %case6 ], [ 2, %case7 ], [ 1, %case8 ]
  82   %phi8b = phi i32 [ 0, %default ], [ undef, %case0 ], [ undef, %case1 ], [ %phi8a, %case5 ], [ 8, %case6 ], [ 2, %case7 ], [ 1, %case8 ]
  83   %cmp2 = icmp uge i32 %val, 4
  84   br i1 %cmp2, label %if2, label %end
  85
  86 if2:
  87   store i32 %phi1b, i32* %gep1, align 4
  88   store i32 %phi2b, i32* %gep2, align 4
  89   store i32 %phi3b, i32* %gep3, align 4
  90   store i32 %phi4b, i32* %gep4, align 4
  91   store i32 %phi5b, i32* %gep5, align 4
  92   store i32 %phi6b, i32* %gep6, align 4
  93   store i32 %phi7b, i32* %gep7, align 4
  94   store i32 %phi8b, i32* %gep8, align 4
  95   br label %end
  96
  97 end:
  98   ret void
  99 }