171c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer//===- llvm/unittest/IR/ValueTest.cpp - Value unit tests ------------------===//
271c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer//
371c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer//                     The LLVM Compiler Infrastructure
471c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer//
571c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer// This file is distributed under the University of Illinois Open Source
671c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer// License. See LICENSE.TXT for details.
771c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer//
871c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer//===----------------------------------------------------------------------===//
971c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer
1071c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer#include "llvm/Assembly/Parser.h"
1171c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer#include "llvm/IR/Function.h"
1271c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer#include "llvm/IR/LLVMContext.h"
1371c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer#include "llvm/IR/Module.h"
1471c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer#include "llvm/IR/Value.h"
1571c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer#include "llvm/Support/SourceMgr.h"
1671c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer#include "gtest/gtest.h"
1771c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramerusing namespace llvm;
1871c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer
1971c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramernamespace {
2071c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer
2171c1b228552ece06003d744b815f669dbfbb0772Benjamin KramerTEST(ValueTest, UsedInBasicBlock) {
2271c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer  LLVMContext C;
2371c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer
2471c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer  const char *ModuleString = "define void @f(i32 %x, i32 %y) {\n"
2571c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer                             "bb0:\n"
2671c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer                             "  %y1 = add i32 %y, 1\n"
2771c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer                             "  %y2 = add i32 %y, 1\n"
2871c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer                             "  %y3 = add i32 %y, 1\n"
2971c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer                             "  %y4 = add i32 %y, 1\n"
3071c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer                             "  %y5 = add i32 %y, 1\n"
3171c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer                             "  %y6 = add i32 %y, 1\n"
3271c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer                             "  %y7 = add i32 %y, 1\n"
3371c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer                             "  %y8 = add i32 %x, 1\n"
3471c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer                             "  ret void\n"
3571c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer                             "}\n";
3671c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer  SMDiagnostic Err;
3771c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer  Module *M = ParseAssemblyString(ModuleString, NULL, Err, C);
3871c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer
3971c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer  Function *F = M->getFunction("f");
4071c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer
4171c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer  EXPECT_FALSE(F->isUsedInBasicBlock(F->begin()));
4271c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer  EXPECT_TRUE((++F->arg_begin())->isUsedInBasicBlock(F->begin()));
4371c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer  EXPECT_TRUE(F->arg_begin()->isUsedInBasicBlock(F->begin()));
4471c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer}
4571c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer
4671c1b228552ece06003d744b815f669dbfbb0772Benjamin Kramer} // end anonymous namespace
47