HomeSort by: relevance | last modified time | path
    Searched refs:Unsat (Results 1 - 6 of 6) sorted by relevancy

  /src/external/apache2/llvm/dist/llvm/include/llvm/IR/
ModuleSummaryIndexYAML.h 21 io.enumCase(value, "Unsat", TypeTestResolution::Unsat);
ModuleSummaryIndex.h 910 Unsat, ///< Unsatisfiable type (i.e. no global has this type metadata)
  /src/external/apache2/llvm/dist/llvm/lib/Transforms/IPO/
LowerTypeTests.cpp 418 TypeTestResolution::Kind TheKind = TypeTestResolution::Unsat;
420 /// All except Unsat: the start address within the combined global.
740 if (TIL.TheKind == TypeTestResolution::Unsat)
930 if (TIL.TheKind != TypeTestResolution::Unsat)
964 return {}; // Unsat: no globals match this type id.
1011 if (TIL.TheKind != TypeTestResolution::Unsat)
1151 TIL.TheKind = TypeTestResolution::Unsat;
WholeProgramDevirt.cpp 1811 // test resolution, so that they aren't treated as Unsat and lowered to
1815 // The type test assumes will be treated by LTT as Unsat if the type id is
1826 // Unsat by LTT and we need to remove its type test assumes here. If not
1835 // If one was created it should not be Unsat, because if we reached here
1837 assert(TidSummary->TTRes.TheKind != TypeTestResolution::Unsat);
2120 // lower type tests knows the type id is not Unsat. If it was not used on
2123 // resolution), which can prevent detection of the Unsat.
2245 // a global and not Unsat.
  /src/external/apache2/llvm/dist/llvm/lib/IR/
AsmWriter.cpp 3009 case TypeTestResolution::Unsat:
3010 return "unsat";
  /src/external/apache2/llvm/dist/llvm/lib/AsmParser/
LLParser.cpp 8185 /// ( 'unsat' | 'byteArray' | 'inline' | 'single' | 'allOnes' ) ','
8202 TTRes.TheKind = TypeTestResolution::Unsat;

Completed in 70 milliseconds