LLVM

作者: 半边枫叶 | 来源:发表于2020-03-14 23:18 被阅读0次

    解释性语言和编译性语言的区别?
    解释性语言可以通过解释器直接执行相应的代码,比如python语言;而
    编译性语言要经过编译器编译成相应的可执行文件,然后才可以执行。

    传统的编译器设计

    传统的编译器

    编译器前端(Frontend)

    编译器前端的任务是解析源代码。它会进行:词法分析,语法分析,语义分析,检查源代码是否存在错误,然后构建抽象语法树(Abstract Syntax Tree,AST),LLVM的前端还会生成中间代码(IR)。

    优化器(Optimizer)

    优化器负责各种优化。改善代码的运行时间,例如消除冗余计算等。

    后端(Backend)/代码生成器(CodeGenerator)

    将代码映射到目标指令集,生成机器语言,并且进行机器相关的代码优化。

    iOS的编译器架构

    clang和llvm的联系?
    Objective C/C/C++使用的编译器前端是Clang,swift是Swift。后端都是LLVM。LLVM是编译器的框架系统,clang只是编译器的前端部分。

    iOS编译器架构

    LLVM的设计

    其他的编译器如GCC,作为了一个整体的程序设计的,所以不够灵活。
    LLVM最重要的设计就是,使用的通用的代码表示形式IR,它是用来在编译器中表示代码的形式。所以LLVM可以灵活的增加前端和后端,只要增加的前端和后端使用同一的规则IR就可以。


    LLVM灵活的前后端

    Clang

    Clang是LLVM的一个子项目,它的诞生是为了替代GCC。它属于LLVM架构中的前端。
    通过下面的命令可以打印源码的编译阶段。

    clang -ccc-print-phases main.m 
    

    打印结果如下:

    0: input, "main.m", objective-c
    1: preprocessor, {0}, objective-c-cpp-output
    2: compiler, {1}, ir
    3: backend, {2}, assembler
    4: assembler, {3}, object
    5: linker, {4}, image
    6: bind-arch, "x86_64", {5}, image
    

    上面过程的解释:
    0:输入原文件;
    1:预处理过程,包括宏的替换,头文件的导入等;
    2:编译阶段,词法分析、语法分析,最终生成IR代码。
    3:后端,代码优化处理,最终生成汇编;
    4:汇编生成目标文件;
    5:连接:链接需要的动态库和静态库,生成可执行文件;
    6:通过不同的架构,生成对象的可执行文件;

    预处理阶段
    clang -E main.m
    

    执行完成后可以看到文件的导入和宏的替换。

    编译阶段

    词法分析:把代码切成一个个的Token,比如大小括号,字符串等。

    clang -fmodules -fsyntax-only -Xclang -dump-tokens main.m
    

    语法分析:在词法分析的基础上将单词序列组成起来,形成了语法树,判断程序代码在结构上是否正确。

    clang -fmodules -fsyntax-only -Xclang -ast-dump main.m
    

    生成中间代码
    通过下面的代码可以生成.ll的IR代码文件

    clang -S -fobjc-arc -emit-llvm main.m
    

    IR生成时可以通过参数选择优化,优化级别分别为-O0 -O1 -O2 -O3 -Os

    clang -Os -S -fobjc-arc -emit-llvm main.m -o main.ll
    

    bitCode:Xcode7以后可通过bitcode开启进一步的优化,生成.bc的中间代码。

    clang -emit-llvm -c main.ll -o main.bc
    

    生成汇编代码:最终通过.ll或者.bc生成汇编代码。

    clang -S -fobjc-arc main.bc -o main.s
    clang -S -fobjc-arc main.ll -o main.s
    

    生成汇编代码的时候也可以选择优化

    clang -Os -S -fobjc-arc main.m -o main.s
    

    生成目标文件(汇编器)

    clang -fmodules -c main.s -o main.o
    

    生成可执行文件(链接)

    clang main.o -o main
    

    创建Clang插件

    • 在LLVM的目录 /llvm/tools/clang/tools 创建新的插件:HKPlugin。


      插件目录
    • 修改/llvm/tools/clang/tools目录下的CMakeLists.text文件,新增add_clang_subdirectory(HKPlugin)。


      配置文件
    • 在HKPlugin目录下新增一个HKPlugin.cpp的文件以及CMakeLists.text配置文件。在CMakeLists.text中填写配置信息:

    插件的配置信息
    • 接下来我们利用cmake重新生成一下Xcode项目。在build_xcode目录下cmake -G Xcode ../llvm
    • 最后在LLVM的Xcode项目中可以看到Loadable modules 目录下有自己的Plugin目录了。下面我们就可以在里面编写插件代码了。


      自定义插件

      一个简单的插件代码:

    #include <iostream>
    #include "clang/AST/AST.h"
    #include "clang/AST/DeclObjC.h"
    #include "clang/AST/ASTConsumer.h"
    #include "clang/ASTMatchers/ASTMatchers.h"
    #include "clang/Frontend/CompilerInstance.h"
    #include "clang/ASTMatchers/ASTMatchFinder.h"
    #include "clang/Frontend/FrontendPluginRegistry.h"
    
    using namespace clang;
    using namespace std;
    using namespace llvm;
    using namespace clang::ast_matchers;
    
    
    namespace HKPlugin {
    
        class HKConsumer : public ASTConsumer{
        public:
            //解析完一个顶级的申明就会来这里执行!
            bool HandleTopLevelDecl(DeclGroupRef D) {
                cout<<"正在解析..."<<endl;
                return true;
            }
            
            //解析完整个文件后被调用
            void HandleTranslationUnit(ASTContext &Ctx) {
                cout<<"文件解析完毕!"<<endl;
            }
            
        };
    
    
        //继承PluginASTAction实现我们自定义的Action
        class HKASTAction: public PluginASTAction{
        public:
            bool ParseArgs(const CompilerInstance &CI,
                           const std::vector<std::string> &arg){
                return true;
            }
            
            unique_ptr<ASTConsumer> CreateASTConsumer(CompilerInstance &CI,
                                                      StringRef InFile){
                return unique_ptr <HKConsumer>(new HKConsumer);
            }
            
        };
    
    
    }
    //注册插件
    static FrontendPluginRegistry::Add<HKPlugin::HKASTAction> X("HKPlugin", "This is the description of the plugin");
    

    测试插件代码

    自己编写的clang插件目录 -isysroot /Applications/Xcode.app/Contents/Deve loper/Platforms/iPhoneSimulator.platform/Developer/SDKs/iPhoneSimulat or12.2.sdk/ -Xclang -load -Xclang 插件(.dylib)路径 -Xclang -add-plugin
    -Xclang 插件名 -c 源码路径

    测试结果:


    插件测试结果

    自定义clang---属性修饰符copy

    在clang的语法分析阶段,判断属性类型为NSString,NSArray,NSDictionay的,是否使用copy修饰,如果不是copy修饰报出警告。

    @interface ViewController ()
    /**  */
    @property (nonatomic, strong) NSString *name;
    /**  */
    @property (nonatomic, strong) NSArray *arrs;
    
    @end
    

    我们使用clang的语法分析命令翻译该文件

    clang -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/ iPhoneSimulator.platform/Developer/SDKs/iPhoneSimulator12.2.sdk􏱶􏲽􏲾S DK􏲿􏳀􏱷 -fmodules -fsyntax-only -Xclang -ast-dump ViewController.m
    

    得到的了编译阶段的语法树:


    语法树

    可以看到属性在语法树中被翻译为ObjCPropertyDecl。我们可以在语法分析的阶段监听ObjCPropertyDecl这种类型的节点,然后进行判断。想要监听某个类型的节点,我们可以使用MatchFinder来获取。

    class ZFConsumer : public ASTConsumer{
    private:
        MatchFinder matcher;
        ZFMatchCallback callBack;
    public:
        ZFConsumer() {
            matcher.addMatcher(objcPropertyDecl().bind("objcPropertyDecl"), &callBack);
        }
        
        //解析完整个文件后被调用
        void HandleTranslationUnit(ASTContext &Ctx) {
            cout<<"ZF文件解析完毕!"<<endl;
            matcher.matchAST(Ctx);
        }
    };
    

    为Consumer增加了成员变量matcher,在Consumer的初始化中通过matcher来添加objcPropertyDecl类型节点的监听。然后在文件解析完的回调方法HandleTranslationUnit中,为matcher传递ASTContext。另外我们还需要创建回调的对象ZFMatchCallback。

    class ZFMatchCallback: public MatchFinder::MatchCallback {
    public:
        virtual void run(const MatchFinder::MatchResult &Result) {
        //通过结果获取到节点。
        const ObjCPropertyDecl *propertyDecl = Result.Nodes.getNodeAs<ObjCPropertyDecl>("objcPropertyDecl");
        
        if (propertyDecl) {//如果节点有值
            //拿到属性的类型
            string typeStr = propertyDecl->getType().getAsString();
            cout<<typeStr<<"应该用copy修饰"<<endl;
        }
    }
    };
    

    监听到objcPropertyDecl类型的节点后,会回调run方法。这样我们就可以获取到节点以及节点的类型等信息。
    这样进行监听话,还会把引入的头文件的信息全部都给拦截监听了,所以我们需要过滤下,如果是路径包含"/Applications/Xcode.app/"就为系统的头文件中的信息,需要过滤掉。

    //判断是否是自己的文件
    bool isUserSourceCode(const string filename) {
        if (filename.empty()) return false;
        
        // 非Xcode中的源码都认为是用户源码
        if (filename.find("/Applications/Xcode.app/") == 0) return false;
        
        return true;
    }
    
    //获取文件名称
    string filename = CI.getSourceManager().getFilename(propertyDecl->getSourceRange().getBegin()).str();
    if (propertyDecl && isUserSourceCode(filename)) {//如果节点有值,并且是用户文件
      .......
    }
    

    其中的CI为CompilerInstance类型,是通过ZFConsumer传递过来的。

    然后我们还需要判断当前的属性是否正确使用了copy

    //判断是否应该用copy修饰。
    bool isShouldUseCopy(const string typeStr) {
        if (typeStr.find("NSString") != string::npos ||
            typeStr.find("NSArray") != string::npos ||
            typeStr.find("NSDictionary") != string::npos/*...*/) {
            return true;
        }
        return false;
    }
    
    //attrKind & ObjCPropertyDecl::OBJC_PR_copy 如果实行修饰符为copy返回true
    if (isShouldUseCopy(typeStr) && !(attrKind & ObjCPropertyDecl::OBJC_PR_copy)) {
    
    }
    

    如果该使用copy的地方没有使用copy,使用DiagnosticsEngine诊断引擎进行警告处理

    //诊断引擎
    DiagnosticsEngine &diag = CI.getDiagnostics();
    //Report 报告
    diag.Report(propertyDecl->getBeginLoc(),diag.getCustomDiagID(DiagnosticsEngine::Warning, "%0这个地方推荐用Copy"))<<typeStr;
    

    这样我们的clang插件就写的差不多了,使用自定义的clang和clang插件对ViewController.m文件的属性就行语法检测,结果如下:

    NSString *应该用copy修饰而没用Copy,发出警告!
    demo1/ViewController.m:13:1: warning: NSString *这个地方推荐用Copy
    @property (nonatomic, strong) NSString *name;
    ^
    NSArray *应该用copy修饰而没用Copy,发出警告!
    demo1/ViewController.m:15:1: warning: 
          NSArray *这个地方推荐用Copy
    @property (nonatomic, strong) NSArray *arrs;
    ^
    2 warnings generated.
    

    最后附上我们自定义的clang插件的完成代码:

    #include <iostream>
    #include "clang/AST/AST.h"
    #include "clang/AST/DeclObjC.h"
    #include "clang/AST/ASTConsumer.h"
    #include "clang/ASTMatchers/ASTMatchers.h"
    #include "clang/Frontend/CompilerInstance.h"
    #include "clang/ASTMatchers/ASTMatchFinder.h"
    #include "clang/Frontend/FrontendPluginRegistry.h"
    
    using namespace clang;
    using namespace std;
    using namespace llvm;
    using namespace clang::ast_matchers;
    
    
    namespace ZFPlugin {
        
        class ZFMatchCallback: public MatchFinder::MatchCallback {
        private:
            CompilerInstance &CI;
            //判断是否是自己的文件
            bool isUserSourceCode(const string filename) {
                if (filename.empty()) return false;
                
                // 非Xcode中的源码都认为是用户源码
                if (filename.find("/Applications/Xcode.app/") == 0) return false;
                
                return true;
            }
            
            //判断是否应该用copy修饰。
            bool isShouldUseCopy(const string typeStr) {
                if (typeStr.find("NSString") != string::npos ||
                    typeStr.find("NSArray") != string::npos ||
                    typeStr.find("NSDictionary") != string::npos/*...*/) {
                    return true;
                }
                return false;
            }
            
        public:
            ZFMatchCallback(CompilerInstance &CI):CI(CI) {}
            
            virtual void run(const MatchFinder::MatchResult &Result) {
                //通过结果获取到节点。
                const ObjCPropertyDecl *propertyDecl = Result.Nodes.getNodeAs<ObjCPropertyDecl>("objcPropertyDecl");
                //获取文件名称
                string filename = CI.getSourceManager().getFilename(propertyDecl->getSourceRange().getBegin()).str();
                
                if (propertyDecl && isUserSourceCode(filename)) {//如果节点有值,并且是用户文件
                    //拿到属性的类型
                    string typeStr = propertyDecl->getType().getAsString();
                    //拿到节点的描述信息
                    ObjCPropertyDecl::PropertyAttributeKind attrKind = propertyDecl->getPropertyAttributes();
                    
                    //attrKind & ObjCPropertyDecl::OBJC_PR_copy 如果实行修饰符为copy返回true
                    if (isShouldUseCopy(typeStr) && !(attrKind & ObjCPropertyDecl::OBJC_PR_copy)) {
                        cout<<typeStr<<"应该用copy修饰而没用Copy,发出警告!"<<endl;
                        //诊断引擎
                        DiagnosticsEngine &diag = CI.getDiagnostics();
                        //Report 报告
                        diag.Report(propertyDecl->getBeginLoc(),diag.getCustomDiagID(DiagnosticsEngine::Warning, "%0这个地方推荐用Copy"))<<typeStr;
                    }
                }
            }
        };
        
        class ZFConsumer : public ASTConsumer{
        private:
            MatchFinder matcher;
            ZFMatchCallback callBack;
        public:
            ZFConsumer(CompilerInstance &CI): callBack(CI) {
                matcher.addMatcher(objcPropertyDecl().bind("objcPropertyDecl"), &callBack);
            }
            
            //解析完整个文件后被调用
            void HandleTranslationUnit(ASTContext &Ctx) {
                cout<<"ZF文件解析完毕!"<<endl;
                matcher.matchAST(Ctx);
            }
            
        };
        
        
        //继承PluginASTAction实现我们自定义的Action
        class ZFASTAction: public PluginASTAction{
        public:
            bool ParseArgs(const CompilerInstance &CI,
                           const std::vector<std::string> &arg){
                return true;
            }
            
            unique_ptr<ASTConsumer> CreateASTConsumer(CompilerInstance &CI,
                                                      StringRef InFile){
                return unique_ptr <ZFConsumer>(new ZFConsumer(CI));
            }
            
        };
        
        
    }
    //注册插件
    static FrontendPluginRegistry::Add<ZFPlugin::ZFASTAction> X("ZFPlugin", "This is the description of the plugin");
    
    

    Xcode集成自定义插件

    前面我们写好了自定义的功能插件,下面我们把插件集成到Xcode中去。

    加载插件

    打开测试的xcode项目,在Build Settings -> Other C Flags添加如下内容:

    -Xclang -load -Xclang (.dylib)插件路径 -Xclang -add-plugin -Xclang ZFPlugin。


    配置自定义插件

    设置编译器

    • 设置编译器clang为自己的clang。
      clang插件需要对应版本的clang去加载,如果版本不一致会导致编译出错。需要再Build Setting中新增两项用户定义的设置


      image.png
    • 分别为CC和CXX。
      CC对应的是自己编译的clang路径;
      CXX对应的是自己编译的clang++路径;


      image.png
    • 接下来在Build Settings栏目中搜索Index,将Enable Index-While-Building Functionality的Default该为NO。


      image.png
    • 然后可以达到我们的最终目的,使用自定义的clang插件检测我们的代码的语法了。


      检测语法

    相关文章

      网友评论

        本文标题:LLVM

        本文链接:https://www.haomeiwen.com/subject/xtiwshtx.html