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