summaryrefslogtreecommitdiffstats
path: root/llvm/unittests/Transforms/Utils/BasicBlockUtils.cpp
blob: 590e7f6ada60e46a808bf6377dce088eed82f27e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
//===- BasicBlockUtils.cpp - Unit tests for BasicBlockUtils ---------------===//
//
//                     The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//

#include "llvm/Transforms/Utils/BasicBlockUtils.h"
#include "llvm/AsmParser/Parser.h"
#include "llvm/IR/BasicBlock.h"
#include "llvm/IR/Dominators.h"
#include "llvm/IR/LLVMContext.h"
#include "llvm/Support/SourceMgr.h"
#include "gtest/gtest.h"

using namespace llvm;

static std::unique_ptr<Module> parseIR(LLVMContext &C, const char *IR) {
  SMDiagnostic Err;
  std::unique_ptr<Module> Mod = parseAssemblyString(IR, Err, C);
  if (!Mod)
    Err.print("BasicBlockUtilsTests", errs());
  return Mod;
}

TEST(BasicBlockUtils, SplitBlockPredecessors) {
  LLVMContext C;

  std::unique_ptr<Module> M = parseIR(
    C,
    "define i32 @basic_func(i1 %cond) {\n"
    "entry:\n"
    "  br i1 %cond, label %bb0, label %bb1\n"
    "bb0:\n"
    "  br label %bb1\n"
    "bb1:\n"
    "  %phi = phi i32 [ 0, %entry ], [ 1, %bb0 ]"
    "  ret i32 %phi\n"
    "}\n"
    "\n"
    );

  auto *F = M->getFunction("basic_func");
  DominatorTree DT(*F);

  // Make sure the dominator tree is properly updated if calling this on the
  // entry block.
  SplitBlockPredecessors(&F->getEntryBlock(), {}, "split.entry", &DT);
  EXPECT_TRUE(DT.verify());
}

TEST(BasicBlockUtils, MergeBlockIntoPredecessor) {
  LLVMContext C;
  std::unique_ptr<Module> M = parseIR(C,
                                      R"(

      define i32 @f(i8* %str) {
      entry:
        %dead = extractvalue [1 x i8*] [ i8* blockaddress(@f, %L0) ], 0
        br label %L0
      L0:
        ret i32 0
      }
      )");

  // First remove the dead instruction to empty the usage of the constant
  // containing blockaddress(@f, %L0)
  Function *F = M->getFunction("f");
  auto BBI = F->begin();
  Instruction *DI = &*((*BBI).begin());
  EXPECT_TRUE(DI->use_empty());
  DI->eraseFromParent();

  // Get L0 and make sure that it can be merged into entry block.
  ++BBI;
  BasicBlock *BB = &(*BBI);
  EXPECT_TRUE(MergeBlockIntoPredecessor(BB));
}
OpenPOWER on IntegriCloud