Adding PoisonValue for representing poison value explicitly in IR
authorZhengyang Liu <liuz@cs.utah.edu>
Tue, 24 Nov 2020 21:55:24 +0000 (14:55 -0700)
committerZhengyang Liu <liuz@cs.utah.edu>
Thu, 26 Nov 2020 00:33:51 +0000 (17:33 -0700)
commit75f50e15bf8fff6fba1d4678adedd33ef6a945e5
treeb9793ec3e05ba630c0354c13aa443a688f5a21e3
parent3fb0879867d7039cb61ffb6287ac17ac949adfa9
Adding PoisonValue for representing poison value explicitly in IR

Define ConstantData::PoisonValue.
Add support for poison value to LLLexer/LLParser/BitcodeReader/BitcodeWriter.
Add support for poison value to llvm-c interface.
Add support for poison value to OCaml binding.
Add m_Poison in PatternMatch.

Differential Revision: https://reviews.llvm.org/D71126
22 files changed:
llvm/bindings/ocaml/llvm/llvm.ml
llvm/bindings/ocaml/llvm/llvm.mli
llvm/bindings/ocaml/llvm/llvm_ocaml.c
llvm/include/llvm-c/Core.h
llvm/include/llvm/Bitcode/LLVMBitCodes.h
llvm/include/llvm/IR/Constants.h
llvm/include/llvm/IR/PatternMatch.h
llvm/include/llvm/IR/Value.def
llvm/lib/AsmParser/LLLexer.cpp
llvm/lib/AsmParser/LLParser.cpp
llvm/lib/AsmParser/LLParser.h
llvm/lib/AsmParser/LLToken.h
llvm/lib/Bitcode/Reader/BitcodeReader.cpp
llvm/lib/Bitcode/Writer/BitcodeWriter.cpp
llvm/lib/IR/AsmWriter.cpp
llvm/lib/IR/Constants.cpp
llvm/lib/IR/Core.cpp
llvm/lib/IR/LLVMContextImpl.h
llvm/test/Bindings/OCaml/core.ml
llvm/test/Bitcode/compatibility.ll
llvm/test/CodeGen/X86/poison-ops.ll [new file with mode: 0644]
llvm/tools/llvm-c-test/echo.cpp