43 lines · plain
1; RUN: opt < %s -S -passes=gvn-sink | FileCheck %s2 3; Because %tmp17 has flipped operands to its equivalents %tmp14 and %tmp7, we4; can't sink the zext as we'd need a shuffling PHI in between.5;6; Just sinking the zext isn't profitable, so ensure nothing is sunk.7 8; CHECK-LABEL: @hoge9; CHECK-NOT: bb18.gvnsink.split10define void @hoge(i1 %arg) {11bb:12 br i1 %arg, label %bb4, label %bb1113 14bb4: ; preds = %bb315 br i1 %arg, label %bb6, label %bb816 17bb6: ; preds = %bb518 %tmp = zext i16 undef to i6419 %tmp7 = add i64 %tmp, undef20 br label %bb1821 22bb8: ; preds = %bb523 %tmp9 = zext i16 undef to i6424 br label %bb1825 26bb11: ; preds = %bb1027 br i1 %arg, label %bb12, label %bb1528 29bb12: ; preds = %bb1130 %tmp13 = zext i16 undef to i6431 %tmp14 = add i64 %tmp13, undef32 br label %bb1833 34bb15: ; preds = %bb1135 %tmp16 = zext i16 undef to i6436 %tmp17 = add i64 undef, %tmp1637 br label %bb1838 39bb18: ; preds = %bb15, %bb12, %bb8, %bb640 %tmp19 = phi i64 [ %tmp7, %bb6 ], [ undef, %bb8 ], [ %tmp14, %bb12 ], [ %tmp17, %bb15 ]41 unreachable42}43