| //===- ValueLattice.cpp - Value constraint analysis -------------*- C++ -*-===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include "llvm/Analysis/ValueLattice.h" |
| |
| namespace llvm { |
| raw_ostream &operator<<(raw_ostream &OS, const ValueLatticeElement &Val) { |
| if (Val.isUnknown()) |
| return OS << "unknown"; |
| if (Val.isUndef()) |
| return OS << "undef"; |
| if (Val.isOverdefined()) |
| return OS << "overdefined"; |
| |
| if (Val.isNotConstant()) |
| return OS << "notconstant<" << *Val.getNotConstant() << ">"; |
| |
| if (Val.isConstantRangeIncludingUndef()) |
| return OS << "constantrange incl. undef <" |
| << Val.getConstantRange(true).getLower() << ", " |
| << Val.getConstantRange(true).getUpper() << ">"; |
| |
| if (Val.isConstantRange()) |
| return OS << "constantrange<" << Val.getConstantRange().getLower() << ", " |
| << Val.getConstantRange().getUpper() << ">"; |
| return OS << "constant<" << *Val.getConstant() << ">"; |
| } |
| } // end namespace llvm |
