Clang常规的#pragma制导指令处理逻辑

常规的Pragma制导指令处理逻辑：

LLVM中新增Pragma制导信息在某些时刻是非常重要的，记录阅读Clang源码时常规Pragma制导指令的处理过程，以#pragma align为例，梳理有关处理逻辑

---

1. 定义Align指令的Token类型

源码所在位置：clang/include/clang/Basic/TokenKinds.def

---

2. Align指令的Pragma的定义

源码所在位置：clang/include/clang/Parse/Parse.h

---

3. 添加对#Pragma align指令的处理函数，实现具体处理

源码所在位置：clang/lib/Parse/ParsePragma.cpp

代码解析：struct定义了一个PragmaAlignHandler的结构体，继承自PragmaHandler基类，继承方式是public。代码中还使用explicit构造了一个函数PragmaAlignHandler()，和类名相同。使用explicit它表示该构造函数不能用于隐式类型转换。即，只能在显式的情况下调用这个构造函数。这样可以防止不必要的或意外的隐式转换。构造函数在创建对象时被调用，用于初始化对象的状态。这里的 PragmaHandler(“align”) 表示在构造 PragmaAlignHandler 对象时，调用 PragmaHandler 基类的构造函数，并传递 “align” 作为参数。

HandlePragma方法在后面的子类PragmaAlignHandler 中又进行了重载，使用ParseAlignPragma函数对指令align的提供了具体处理逻辑。

---

5. 对#Pragma align指令进行注册，便于处理，必要时还要对指令处理程序进行重置或移除处理

---

6. 对#Pragma align指令进行语义处理

 源码所在位置：clang/lib/Parse/ParseStmt.cpp

HandlePragmaAlign()函数的具体实现在Parser.h文件中，但是没有看到具体实现逻辑。

---

7. 对#Pragma align指令类型进行诊断

 源码通常所在位置：clang\include\clang\Basic\DiagnosticParseKinds.td

代码中Handle处理逻辑里出现了对指令类型进行判断，Sema::PragmaOptionsAlignKind Kind：定义了一个变量 Kind，用来表示对齐选项的类型。初始化为 Sema::POAK_Natural（自然对齐），有关类型处理定义在Sema.h中。警告判断在DiagnosticParseKinds.td中

源码中没有看到对这个指令进行诊断的代码。

---

8. 对#Pragma xxxx指令进行代码生成

 源码通常所在位置：clang/lib/CodeGen/CGStmt.cpp

该指令没看到代码生成相关环节，到时再琢磨一下