test/Transforms/GVNHoist/pr37808.ll

   1 ; RUN: opt < %s -gvn-hoist -S | FileCheck %s
   2
   3 define void @func() {
   4 ; CHECK-LABEL: @func()
   5 ; CHECK:       bb6:
   6 ; CHECK:         store i64 0, i64* undef, align 8
   7 ; CHECK:       bb7:
   8 ; CHECK-NOT:     store i64 0, i64* undef, align 8
   9 ; CHECK:       bb8:
  10 ; CHECK-NOT:     store i64 0, i64* undef, align 8
  11
  12 entry:
  13   br label %bb1
  14
  15 bb1:
  16   br label %bb2
  17
  18 bb2:
  19   br label %bb3
  20
  21 bb3:
  22   br i1 undef, label %bb4, label %bb2
  23
  24 bb4:
  25   br i1 undef, label %bb5, label %bb3
  26
  27 bb5:
  28   br label %bb6
  29
  30 bb6:
  31   br i1 undef, label %bb7, label %bb8
  32
  33 bb7:
  34   store i64 0, i64* undef, align 8
  35   unreachable
  36
  37 bb8:
  38   store i64 0, i64* undef, align 8
  39   ret void
  40 }