xref: /aosp_15_r20/external/clang/include/clang/Analysis/Analyses/ThreadSafetyOps.def (revision 67e74705e28f6214e480b399dd47ea732279e315)
1*67e74705SXin Li//===- ThreadSafetyTIL.h ---------------------------------------*- C++ --*-===//
2*67e74705SXin Li//
3*67e74705SXin Li//                     The LLVM Compiler Infrastructure
4*67e74705SXin Li//
5*67e74705SXin Li// This file is distributed under the University of Illinois Open Source
6*67e74705SXin Li// License. See LICENSE.TXT for details.
7*67e74705SXin Li//
8*67e74705SXin Li//===----------------------------------------------------------------------===//
9*67e74705SXin Li//
10*67e74705SXin Li// This file defines the list of core opcodes for the Thread Safety
11*67e74705SXin Li// Typed Intermediate language.  Please see ThreadSafetyTIL.h for more
12*67e74705SXin Li// information.
13*67e74705SXin Li//
14*67e74705SXin Li//===----------------------------------------------------------------------===//
15*67e74705SXin Li
16*67e74705SXin Li
17*67e74705SXin LiTIL_OPCODE_DEF(Future)
18*67e74705SXin LiTIL_OPCODE_DEF(Undefined)
19*67e74705SXin LiTIL_OPCODE_DEF(Wildcard)
20*67e74705SXin Li
21*67e74705SXin LiTIL_OPCODE_DEF(Literal)
22*67e74705SXin LiTIL_OPCODE_DEF(LiteralPtr)
23*67e74705SXin LiTIL_OPCODE_DEF(Variable)
24*67e74705SXin LiTIL_OPCODE_DEF(Function)
25*67e74705SXin LiTIL_OPCODE_DEF(SFunction)
26*67e74705SXin LiTIL_OPCODE_DEF(Code)
27*67e74705SXin LiTIL_OPCODE_DEF(Field)
28*67e74705SXin Li
29*67e74705SXin LiTIL_OPCODE_DEF(Apply)
30*67e74705SXin LiTIL_OPCODE_DEF(SApply)
31*67e74705SXin LiTIL_OPCODE_DEF(Project)
32*67e74705SXin Li
33*67e74705SXin LiTIL_OPCODE_DEF(Call)
34*67e74705SXin LiTIL_OPCODE_DEF(Alloc)
35*67e74705SXin LiTIL_OPCODE_DEF(Load)
36*67e74705SXin LiTIL_OPCODE_DEF(Store)
37*67e74705SXin LiTIL_OPCODE_DEF(ArrayIndex)
38*67e74705SXin LiTIL_OPCODE_DEF(ArrayAdd)
39*67e74705SXin Li
40*67e74705SXin LiTIL_OPCODE_DEF(UnaryOp)
41*67e74705SXin LiTIL_OPCODE_DEF(BinaryOp)
42*67e74705SXin LiTIL_OPCODE_DEF(Cast)
43*67e74705SXin Li
44*67e74705SXin LiTIL_OPCODE_DEF(SCFG)
45*67e74705SXin LiTIL_OPCODE_DEF(BasicBlock)
46*67e74705SXin LiTIL_OPCODE_DEF(Phi)
47*67e74705SXin Li
48*67e74705SXin Li// Terminator instructions
49*67e74705SXin LiTIL_OPCODE_DEF(Goto)
50*67e74705SXin LiTIL_OPCODE_DEF(Branch)
51*67e74705SXin LiTIL_OPCODE_DEF(Return)
52*67e74705SXin Li
53*67e74705SXin Li// pseudo-terms
54*67e74705SXin LiTIL_OPCODE_DEF(Identifier)
55*67e74705SXin LiTIL_OPCODE_DEF(IfThenElse)
56*67e74705SXin LiTIL_OPCODE_DEF(Let)
57*67e74705SXin Li
58