1bdd1243dSDimitry Andric //===-- Value.cpp -----------------------------------------------*- C++ -*-===// 2bdd1243dSDimitry Andric // 3bdd1243dSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4bdd1243dSDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 5bdd1243dSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6bdd1243dSDimitry Andric // 7bdd1243dSDimitry Andric //===----------------------------------------------------------------------===// 8bdd1243dSDimitry Andric // 9bdd1243dSDimitry Andric // This file defines support functions for the `Value` type. 10bdd1243dSDimitry Andric // 11bdd1243dSDimitry Andric //===----------------------------------------------------------------------===// 12bdd1243dSDimitry Andric 13bdd1243dSDimitry Andric #include "clang/Analysis/FlowSensitive/Value.h" 14bdd1243dSDimitry Andric #include "clang/Analysis/FlowSensitive/DebugSupport.h" 15bdd1243dSDimitry Andric #include "llvm/Support/Casting.h" 16bdd1243dSDimitry Andric 17bdd1243dSDimitry Andric namespace clang { 18bdd1243dSDimitry Andric namespace dataflow { 19bdd1243dSDimitry Andric 20bdd1243dSDimitry Andric static bool areEquivalentIndirectionValues(const Value &Val1, 21bdd1243dSDimitry Andric const Value &Val2) { 22bdd1243dSDimitry Andric if (auto *IndVal1 = dyn_cast<PointerValue>(&Val1)) { 23bdd1243dSDimitry Andric auto *IndVal2 = cast<PointerValue>(&Val2); 24bdd1243dSDimitry Andric return &IndVal1->getPointeeLoc() == &IndVal2->getPointeeLoc(); 25bdd1243dSDimitry Andric } 26bdd1243dSDimitry Andric return false; 27bdd1243dSDimitry Andric } 28bdd1243dSDimitry Andric 29bdd1243dSDimitry Andric bool areEquivalentValues(const Value &Val1, const Value &Val2) { 30*7a6dacacSDimitry Andric if (&Val1 == &Val2) 31*7a6dacacSDimitry Andric return true; 32*7a6dacacSDimitry Andric if (Val1.getKind() != Val2.getKind()) 33*7a6dacacSDimitry Andric return false; 34*7a6dacacSDimitry Andric // If values are distinct and have properties, we don't consider them equal, 35*7a6dacacSDimitry Andric // leaving equality up to the user model. 36*7a6dacacSDimitry Andric if (!Val1.properties().empty() || !Val2.properties().empty()) 37*7a6dacacSDimitry Andric return false; 38*7a6dacacSDimitry Andric if (isa<TopBoolValue>(&Val1)) 39*7a6dacacSDimitry Andric return true; 40*7a6dacacSDimitry Andric return areEquivalentIndirectionValues(Val1, Val2); 41bdd1243dSDimitry Andric } 42bdd1243dSDimitry Andric 43bdd1243dSDimitry Andric raw_ostream &operator<<(raw_ostream &OS, const Value &Val) { 44bdd1243dSDimitry Andric switch (Val.getKind()) { 455f757f3fSDimitry Andric case Value::Kind::Integer: 465f757f3fSDimitry Andric return OS << "Integer(@" << &Val << ")"; 475f757f3fSDimitry Andric case Value::Kind::Pointer: 485f757f3fSDimitry Andric return OS << "Pointer(" << &cast<PointerValue>(Val).getPointeeLoc() << ")"; 495f757f3fSDimitry Andric case Value::Kind::TopBool: 505f757f3fSDimitry Andric return OS << "TopBool(" << cast<TopBoolValue>(Val).getAtom() << ")"; 515f757f3fSDimitry Andric case Value::Kind::AtomicBool: 525f757f3fSDimitry Andric return OS << "AtomicBool(" << cast<AtomicBoolValue>(Val).getAtom() << ")"; 535f757f3fSDimitry Andric case Value::Kind::FormulaBool: 545f757f3fSDimitry Andric return OS << "FormulaBool(" << cast<FormulaBoolValue>(Val).formula() << ")"; 55bdd1243dSDimitry Andric } 565f757f3fSDimitry Andric llvm_unreachable("Unknown clang::dataflow::Value::Kind enum"); 57bdd1243dSDimitry Andric } 58bdd1243dSDimitry Andric 59bdd1243dSDimitry Andric } // namespace dataflow 60bdd1243dSDimitry Andric } // namespace clang 61