test/Transforms/GVN/PRE/local-pre.ll

   1 ; RUN: opt < %s -gvn -enable-pre -S | FileCheck %s
   2
   3 declare void @may_exit() nounwind
   4
   5 declare void @may_exit_1(i32) nounwind
   6
   7 define i32 @main(i32 %p, i32 %q) {
   8
   9 ; CHECK-LABEL: @main(
  10
  11 block1:
  12     %cmp = icmp eq i32 %p, %q
  13         br i1 %cmp, label %block2, label %block3
  14
  15 block2:
  16  %a = add i32 %p, 1
  17  br label %block4
  18
  19 block3:
  20   br label %block4
  21 ; CHECK: %.pre = add i32 %p, 1
  22 ; CHECK-NEXT: br label %block4
  23
  24 block4:
  25   %b = add i32 %p, 1
  26   ret i32 %b
  27 ; CHECK: %b.pre-phi = phi i32 [ %.pre, %block3 ], [ %a, %block2 ]
  28 ; CHECK-NEXT: ret i32 %b.pre-phi
  29 }
  30
  31 ; Don't PRE across implicit control flow.
  32 define i32 @test2(i32 %p, i32 %q) {
  33
  34 ; CHECK-LABEL: @test2
  35 ; CHECK: block1:
  36
  37 block1:
  38   %cmp = icmp eq i32 %p, %q
  39   br i1 %cmp, label %block2, label %block3
  40
  41 block2:
  42  %a = sdiv i32 %p, %q
  43  br label %block4
  44
  45 block3:
  46   br label %block4
  47
  48 ; CHECK: block4:
  49 ; CHECK-NEXT: call void @may_exit(
  50 ; CHECK-NEXT: %b = sdiv
  51 ; CHECK-NEXT: ret i32 %b
  52
  53 block4:
  54   call void @may_exit() nounwind
  55   %b = sdiv i32 %p, %q
  56   ret i32 %b
  57 }
  58
  59 ; Don't PRE across implicit control flow.
  60 define i32 @test3(i32 %p, i32 %q, i1 %r) {
  61
  62 ; CHECK-LABEL: @test3
  63 ; CHECK: block1:
  64
  65 block1:
  66   br i1 %r, label %block2, label %block3
  67
  68 block2:
  69  %a = sdiv i32 %p, %q
  70  br label %block4
  71
  72 block3:
  73   br label %block4
  74
  75 block4:
  76
  77 ; CHECK: block4:
  78 ; CHECK-NEXT: phi i32
  79 ; CHECK-NEXT: call void @may_exit_1(
  80 ; CHECK-NEXT: %b = sdiv
  81 ; CHECK-NEXT: ret i32 %b
  82
  83   %phi = phi i32 [ 0, %block3 ], [ %a, %block2 ]
  84   call void @may_exit_1(i32 %phi) nounwind
  85   %b = sdiv i32 %p, %q
  86   ret i32 %b
  87
  88 }
  89
  90 ; It's OK to PRE an instruction that is guaranteed to be safe to execute
  91 ; speculatively.
  92 ; TODO: Does it make any sense in this case?
  93 define i32 @test4(i32 %p, i32 %q) {
  94
  95 ; CHECK-LABEL: @test4
  96 ; CHECK: block1:
  97
  98 block1:
  99   %cmp = icmp eq i32 %p, %q
 100   br i1 %cmp, label %block2, label %block3
 101
 102 block2:
 103  %a = sdiv i32 %p, 6
 104  br label %block4
 105
 106 block3:
 107   br label %block4
 108
 109 ; CHECK: block4:
 110 ; CHECK-NEXT: %b.pre-phi = phi i32
 111 ; CHECK-NEXT: call void @may_exit(
 112 ; CHECK-NEXT: ret i32 %b
 113
 114 block4:
 115   call void @may_exit() nounwind
 116   %b = sdiv i32 %p, 6
 117   ret i32 %b
 118 }
 119
 120 ; It is OK to PRE across implicit control flow if we don't insert new
 121 ; instructions.
 122 define i32 @test5(i1 %cond, i32 %p, i32 %q) {
 123
 124 ; CHECK-LABEL: @test5
 125 ; CHECK: block1:
 126
 127 block1:
 128   br i1 %cond, label %block2, label %block3
 129
 130 block2:
 131  %a = sdiv i32 %p, %q
 132  br label %block4
 133
 134 block3:
 135   %b = sdiv i32 %p, %q
 136   br label %block4
 137
 138 ; CHECK: block4:
 139 ; CHECK-NEXT: %c.pre-phi = phi i32 [ %b, %block3 ], [ %a, %block2 ]
 140 ; CHECK-NEXT: call void @may_exit()
 141 ; CHECK-NEXT: ret i32 %c.pre-phi
 142
 143 block4:
 144   call void @may_exit() nounwind
 145   %c = sdiv i32 %p, %q
 146   ret i32 %c
 147 }