1 //===- AttributorTest.cpp - Attributor unit tests ------------------------===// 2 // 3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 // See https://llvm.org/LICENSE.txt for license information. 5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 // 7 //===---------------------------------------------------------------------===// 8 9 #include "llvm/Transforms/IPO/Attributor.h" 10 #include "AttributorTestBase.h" 11 #include "llvm/ADT/StringRef.h" 12 #include "llvm/Analysis/CGSCCPassManager.h" 13 #include "llvm/Analysis/CallGraphSCCPass.h" 14 #include "llvm/Analysis/LoopAnalysisManager.h" 15 #include "llvm/AsmParser/Parser.h" 16 #include "llvm/Support/Allocator.h" 17 #include "llvm/Testing/Support/Error.h" 18 #include "llvm/Transforms/Utils/CallGraphUpdater.h" 19 #include "gtest/gtest.h" 20 #include <memory> 21 22 namespace llvm { 23 24 TEST_F(AttributorTestBase, IRPPositionCallBaseContext) { 25 const char *ModuleString = R"( 26 define i32 @foo(i32 %a) { 27 entry: 28 ret i32 %a 29 } 30 )"; 31 32 parseModule(ModuleString); 33 34 Function *F = M->getFunction("foo"); 35 IRPosition Pos = 36 IRPosition::function(*F, (const llvm::CallBase *)(uintptr_t)0xDEADBEEF); 37 EXPECT_TRUE(Pos.hasCallBaseContext()); 38 EXPECT_FALSE(Pos.stripCallBaseContext().hasCallBaseContext()); 39 } 40 41 TEST_F(AttributorTestBase, TestCast) { 42 const char *ModuleString = R"( 43 define i32 @foo(i32 %a, i32 %b) { 44 entry: 45 %c = add i32 %a, %b 46 ret i32 %c 47 } 48 )"; 49 50 Module &M = parseModule(ModuleString); 51 52 SetVector<Function *> Functions; 53 AnalysisGetter AG; 54 for (Function &F : M) 55 Functions.insert(&F); 56 57 CallGraphUpdater CGUpdater; 58 BumpPtrAllocator Allocator; 59 InformationCache InfoCache(M, AG, Allocator, nullptr); 60 Attributor A(Functions, InfoCache, CGUpdater); 61 62 Function *F = M.getFunction("foo"); 63 64 const AbstractAttribute *AA = 65 &A.getOrCreateAAFor<AAIsDead>(IRPosition::function(*F)); 66 67 EXPECT_TRUE(AA); 68 69 const auto *SFail = dyn_cast<AAAlign>(AA); 70 const auto *SSucc = dyn_cast<AAIsDead>(AA); 71 72 ASSERT_EQ(SFail, nullptr); 73 ASSERT_TRUE(SSucc); 74 } 75 76 } // namespace llvm 77