llvm/llvm/test/Transforms/GVNSink/dither.ll

; RUN: opt < %s -S -passes=gvn-sink | FileCheck %s

; Because %tmp17 has flipped operands to its equivalents %tmp14 and %tmp7, we
; can't sink the zext as we'd need a shuffling PHI in between.
;
; Just sinking the zext isn't profitable, so ensure nothing is sunk.

; CHECK-LABEL: @hoge
; CHECK-NOT: bb18.gvnsink.split
define void @hoge() {
bb:
  br i1 undef, label %bb4, label %bb11

bb4:                                              ; preds = %bb3
  br i1 undef, label %bb6, label %bb8

bb6:                                              ; preds = %bb5
  %tmp = zext i16 undef to i64
  %tmp7 = add i64 %tmp, undef
  br label %bb18

bb8:                                              ; preds = %bb5
  %tmp9 = zext i16 undef to i64
  br label %bb18

bb11:                                             ; preds = %bb10
  br i1 undef, label %bb12, label %bb15

bb12:                                             ; preds = %bb11
  %tmp13 = zext i16 undef to i64
  %tmp14 = add i64 %tmp13, undef
  br label %bb18

bb15:                                             ; preds = %bb11
  %tmp16 = zext i16 undef to i64
  %tmp17 = add i64 undef, %tmp16
  br label %bb18

bb18:                                             ; preds = %bb15, %bb12, %bb8, %bb6
  %tmp19 = phi i64 [ %tmp7, %bb6 ], [ undef, %bb8 ], [ %tmp14, %bb12 ], [ %tmp17, %bb15 ]
  unreachable
}