| ;; This test verifies that -gc-empty-basic-blocks removes regular empty blocks |
| ;; but does not remove empty blocks which have their address taken. |
| ; RUN: llc < %s -mtriple=x86_64 -O0 -gc-empty-basic-blocks | FileCheck %s |
| ;; This function has a regular empty block. |
| define void @foo(i1 zeroext %0) nounwind { |
| br i1 %0, label %2, label %empty_block |
| ; CHECK-NEXT: jmp .LBB0_3 |
| empty_block: ; preds = %1 |
| ; CHECK-NOT: %empty_block |
| 4: ; preds = %2, %empty_block |
| ;; This function has an empty block which has its address taken. Check that it |
| ;; is not removed by -gc-empty-basic-blocks. |
| define void @bar(i1 zeroext %0) nounwind { |
| %1 = select i1 %0, ptr blockaddress(@bar, %empty_block), ptr blockaddress(@bar, %bb2) ; <ptr> [#uses=1] |
| indirectbr ptr %1, [label %empty_block, label %bb2] |
| empty_block: ; preds = %entry |
| ; CHECK-LABEL: .LBB1_1: # %empty_block |