LLVM学习笔记（30）

已于 2023-12-20 10:16:02 修改
阅读量2k 收藏 5
点赞数
分类专栏： LLVM学习笔记 文章标签： 学习 笔记
于 2018-03-16 11:43:17 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/wuhui_gdnt/article/details/79579537
版权

3.4.4.3. 生成代码如何辅助指令选择

3.4.4.3.1. 概述

我们首先以一个例子来说明这个过程是怎么开始的，这个例子来自Eli Bendersky的a deeper look into the llvm code generator part I：

Eli Bendersky给出了这样一些简单的IR：

define i64 @imul(i64 %a, i64 %b) nounwind readnone {

entry:

  %mul = mul nsw i64 %b, %a

  ret i64 %mul

}

它是在x64机器上用Clang（选项-emit-llvm）编译下面的C代码得到的：

long imul(long a, long b) {

    return a * b;

}


代码生成器完成的第一件事是把IR转换为一个selectionDAG表示。下图是刚开始的DAG，就在构建出来之后。

实际上这个SelectionDAG是从最顶上的EntryToken开始构建的（即以函数的语句顺序），节点保存在ilist<SDNode>类型的容器里（SelectionDAG的AllNodes，这个容器是一个链式容器，图中没有显示将各个节点连接起来的边）。

在进行指令选择之前，会对这个容器进行一次拓扑排序，然后以反拓扑序对SelectionDAG遍历，即从最底下的GraphRoot节点开始，自底向上遍历。需要这个次序，是因为指令选择后得到的节点将替换被选中的节点，即被选中节点的使用者需要使用选择得到节点来代替被选中的节点。而且这个次序对维持节点间chain与glue的关联关系也是最高效的。这样的次序使得只要一次遍历就能完成指令选择与替换。

在指令选择后DAG的外观如下。在图中原有的mul节点被X86特定的IMUL64rr指令节点所替代。另外RET_FLAG节点被X86的RET指令节点替代。

注意，其中chain节点间的次序是受保护的，而glue节点所连接的节点则是：在调度期间，指令调度器不会在它们中间插入其他代码。关于chain与glue属性的声明，一方面，我们可以在声明描述操作的SDNode定义时通过SDNPHasChain与SDNPInGlue，SDNPOutGlue来声明这些属性。另一方面，部分操作节点目前还不是通过SDNode来描述的，比如上面的CopyToReg及CopyFromReg，则在构建具体的节点时确定其chain与glue属性。基本上访问内存的操作节点会带有chain属性，操作数进行算术操作的节点一般会带有glue属性。

Chain操作数如果存在的话，总是第一个操作数，而glue操作数如果存在的话，则总是最后一个操作数。这是TableGen强制的规定。

3.4.4.2. 基本数据结构

3.4.4.2.1. SDNode

在被前端处理后，源代码会被转换为LLVM IR形式，在经过一系列优化处理后，在指令选择前，这个形式被称为SelectionDAG。此时，这个DAG中的节点是SDNode的实例。类SDNode定义在文件SelectionDAGNodes.h中，它包含了下列的数据：

324     class SDNode : public FoldingSetNode, public ilist_node<SDNode> {

325     private:

326       /// The operation that this node performs.

327       int16_t NodeType;

328    

329       /// This is true if OperandList was new[]'d.  If true,

330       /// then they will be delete[]'d when the node is destroyed.

331       uint16_t OperandsNeedDelete : 1;

332    

333       /// This tracks whether this node has one or more dbg_value

334       /// nodes corresponding to it.

335       uint16_t HasDebugValue : 1;

336    

337     protected:

338       /// This member is defined by this class, but is not used for

339       /// anything.  Subclasses can use it to hold whatever state they find useful.

340       /// This field is initialized to zero by the ctor.

341       uint16_t SubclassData : 14;

342    

343     private:

344       /// Unique id per SDNode in the DAG.

345       int NodeId;

346    

347       /// The values that are used by this operation.

348       SDUse *OperandList;

349    

350       /// The types of the values this node defines.  SDNode's may

351       /// define multiple values simultaneously.

352       const EVT *ValueList;

353    

354       /// List of uses for this SDNode.

355       SDUse *UseList;

356    

357       /// The number of entries in the Operand/Value list.

358       unsigned short NumOperands, NumValues;

359    

360       /// Source line information.

361       DebugLoc debugLoc;

362    

363       // The ordering of the SDNodes. It roughly corresponds to the ordering of the

364       // original LLVM instructions.

365       // This is used for turning off scheduling, because we'll forgo

366       // the normal scheduling algorithms and output the instructions according to

367       // this ordering.

368       unsigned IROrder;

SDNode派生自FoldingSetNode与模板类ilist_node。后者提供了类似于一个双向链表的功能，它也是LLVM用于表示基本块的BasicBlock的基类。前者则是类FoldingSetImpl定义的嵌套类Node的typedef，FoldingSetImpl的派生类FoldingSet提供一个以FoldingSetNode为单元的哈希表。在类SelectionDAG里，成员CSEMap就是保存这些代表DAG的SDNode对象的所在（CSE是Common Subexpression Elimination的缩写，公共子表达式消除）。从这两个类派生，SDNode就可以同时置身于BasicBlock与CSEMap里。

345行的NodeId用于在CSEMap里唯一地识别SDNode实例。在完成指令选择后，NodeId将被设置为-1。在编译优化中，变量（值）的定义与使用是非常重要的信息。为此在编译理论中，对一个变量有所谓的定义链，而对某个特定的变量定义则有所谓的使用链。SelectionDAG是SSA形式的，一个SDNode可能代表了变量的一个定义，也可能使用了变量的某个定义。如果是变量的某个定义，它就需要维护一个使用链，记录对它的使用，这就是355行的UseList的用处——构成Def-Use链。而如果它使用了某些变量的特定定义，也需要维护一个使用链来记录这些操作数（348行OperandList）。它们的类型SDUse包含了如下的成员：

233     class SDUse {

234       /// Val - The value being used.

235       SDValue Val;

236       /// User - The user of this value.

237       SDNode *User;

238       /// Prev, Next - Pointers to the uses list of the SDNode referred by

239       /// this operand.

240       SDUse **Prev, *Next;

235行所援引的SDValue实际上包含了一个指向产生这个值的SDNode实例，因为SDNode所代表的操作可以有多个结果，因此还包含了一个成员ResNo来指示使用第几个结果。

105     class SDValue {

106       friend struct DenseMapInfo<SDValue>;

107    

108       SDNode *Node;       // The node defining the value we are using.

109       unsigned ResNo;     // Which return value of the node we are using.

在SDUse定义237行，User指向使用Val的SDNode对象，这就形成了Use-Def链（SDNode本身可以构成一个双向链表）。

V7.0大幅改造了SDNode的定义，使之更科学。现在这个类定义有下列数据成员：

482     class SDNode : public FoldingSetNode, public ilist_node<SDNode> {

483     private:

484       /// The operation that this node performs.

485       int16_t NodeType;

486    

487     protected:

488       // We define a set of mini-helper classes to help us interpret the bits in our

489       // SubclassData.  These are designed to fit within a uint16_t so they pack

490       // with NodeType.

491    

492       class SDNodeBitfields {

493         friend class SDNode;

494         friend class MemIntrinsicSDNode;

495         friend class MemSDNode;

496         friend class SelectionDAG;

497    

498         uint16_t HasDebugValue : 1;

499         uint16_t IsMemIntrinsic : 1;

500         uint16_t IsDivergent : 1;

501       };

502       enum { NumSDNodeBits = 3 };

503    

504       class ConstantSDNodeBitfields {

505         friend class ConstantSDNode;

506    

507         uint16_t : NumSDNodeBits;

508    

509         uint16_t IsOpaque : 1;

510       };

511    

512       class MemSDNodeBitfields {

513         friend class MemSDNode;

514         friend class MemIntrinsicSDNode;

515         friend class AtomicSDNode;

516    

517         uint16_t : NumSDNodeBits;

518    

519         uint16_t IsVolatile : 1;

520         uint16_t IsNonTemporal : 1;

521         uint16_t IsDereferenceable : 1;

522         uint16_t IsInvariant : 1;

523       };

524       enum { NumMemSDNodeBits = NumSDNodeBits + 4 };

525    

526       class LSBaseSDNodeBitfields {

527         friend class LSBaseSDNode;

528    

529         uint16_t : NumMemSDNodeBits;

530    

531         uint16_t AddressingMode : 3; // enum ISD::MemIndexedMode

532       };

533       enum { NumLSBaseSDNodeBits = NumMemSDNodeBits + 3 };

534    

535       class LoadSDNodeBitfields {

536         friend class LoadSDNode;

537         friend class MaskedLoadSDNode;

538    

539         uint16_t : NumLSBaseSDNodeBits;

540    

541         uint16_t ExtTy : 2; // enum ISD::LoadExtType

542         uint16_t IsExpanding : 1;

543       };

544    

545       class StoreSDNodeBitfields {

546         friend class StoreSDNode;

547         friend class MaskedStoreSDNode;

548    

549         uint16_t : NumLSBaseSDNodeBits;

550    

551         uint16_t IsTruncating : 1;

552         uint16_t IsCompressing : 1;

553       };

554    

555       union {

556         char RawSDNodeBits[sizeof(uint16_t)];

557         SDNodeBitfields SDNodeBits;

558         ConstantSDNodeBitfields ConstantSDNodeBits;

559         MemSDNodeBitfields MemSDNodeBits;

560         LSBaseSDNodeBitfields LSBaseSDNodeBits;

561         LoadSDNodeBitfields LoadSDNodeBits;

562         StoreSDNodeBitfields StoreSDNodeBits;

563       };

564    

565       // RawSDNodeBits must cover the entirety of the union.  This means that all of

566       // the union's members must have size <= RawSDNodeBits.  We write the RHS as

567       // "2" instead of sizeof(RawSDNodeBits) because MSVC can't handle the latter.

568       static_assert(sizeof(SDNodeBitfields) <= 2, "field too wide");

569       static_assert(sizeof(ConstantSDNodeBitfields) <= 2, "field too wide");

570       static_assert(sizeof(MemSDNodeBitfields) <= 2, "field too wide");

571       static_assert(sizeof(LSBaseSDNodeBitfields) <= 2, "field too wide");

572       static_assert(sizeof(LoadSDNodeBitfields) <= 2, "field too wide");

573       static_assert(sizeof(StoreSDNodeBitfields) <= 2, "field too wide");

574    

575     private:

576       friend class SelectionDAG;

577       // TODO: unfriend HandleSDNode once we fix its operand handling.

578       friend class HandleSDNode;

579    

580       /// Unique id per SDNode in the DAG.

581       int NodeId = -1;

582    

583       /// The values that are used by this operation.

584       SDUse *OperandList = nullptr;

585    

586       /// The types of the values this node defines.  SDNode's may

587       /// define multiple values simultaneously.

588       const EVT *ValueList;

589    

590       /// List of uses for this SDNode.

591       SDUse *UseList = nullptr;

592    

593       /// The number of entries in the Operand/Value list.

594       unsigned short NumOperands = 0;

595       unsigned short NumValues;

596    

597       // The ordering of the SDNodes. It roughly corresponds to the ordering of the

598       // original LLVM instructions.

599       // This is used for turning off scheduling, because we'll forgo

600       // the normal scheduling algorithms and output the instructions according to

601       // this ordering.

602       unsigned IROrder;

603    

604       /// Source line information.

605       DebugLoc debugLoc;

606    

607      /// Return a pointer to the specified value type.

608       static const EVT *getValueTypeList(EVT VT);

609    

610       SDNodeFlags Flags;

611    

612     public:

613       /// Unique and persistent id per SDNode in the DAG.

614       /// Used for debug printing.

615       uint16_t PersistentId;

现在的定义干净整洁了不少，也更紧凑，便于日后的扩展。

3.4.4.2.2. SDNode的派生定义

在指令选择后创建的MachineSDNode是SDNode的一个简单派生类。最主要的改变是加入了对内容使用的描述。

2149  class MachineSDNode : public SDNode {

2150  public:

2151    typedef MachineMemOperand **mmo_iterator;

2152 

2153  private:

2154    friend class SelectionDAG;

2155    MachineSDNode(unsigned Opc, unsigned Order, const DebugLoc DL, SDVTList VTs)

2156      : SDNode(Opc, Order, DL, VTs), MemRefs(nullptr), MemRefsEnd(nullptr) {}

2157 

2158    /// Operands for this instruction, if they fit here. If

2159    /// they don't, this field is unused.

2160    SDUse LocalOperands[4];

2161 

2162    /// Memory reference descriptions for this instruction.

2163    mmo_iterator MemRefs;

2164    mmo_iterator MemRefsEnd;

2165 

2166  public:

2167    mmo_iterator memoperands_begin() const { return MemRefs; }

2168    mmo_iterator memoperands_end() const { return MemRefsEnd; }

2168    bool memoperands_empty() const { return MemRefsEnd == MemRefs; }

2170 

2171    /// Assign this MachineSDNodes's memory reference descriptor

2172    /// list. This does not transfer ownership.

2173    void setMemRefs(mmo_iterator NewMemRefs, mmo_iterator NewMemRefsEnd) {

2174      for (mmo_iterator MMI = NewMemRefs, MME = NewMemRefsEnd; MMI != MME; ++MMI)

2175        assert(*MMI && "Null mem ref detected!");

2176      MemRefs = NewMemRefs;

2177      MemRefsEnd = NewMemRefsEnd;

2178    }

2179 

2180    static bool classof(const SDNode *N) {

2181      return N->isMachineOpcode();

2182    }

2183  };

MemRefs与MemRefsEnd可视为指向一些内存片段。这些内存片段由MachineMemOperand描述。

在v7.0中SDNode的派生类有：MachineSDNode，HandleSDNode，AddrSpaceCastSDNode，MemSDNode，AtomicSDNode，MemIntrinsicSDNode，ShuffleVectorSDNode，ConstantSDNode，ConstantFPSDNode，GlobalAddressSDNode，FrameIndexSDNode，JumpTableSDNode，ConstantPoolSDNode，TargetIndexSDNode，BasicBlockSDNode，BuildVectorSDNode，SrcValueSDNode，MDNodeSDNode，RegisterSDNode，BlockAddressSDNode，LabelSDNode，ExternalSymbolSDNode，MCSymbolSDNode，CondCodeSDNode，VTSDNode，LSBaseSDNode，LoadSDNode，StoreSDNode，MaskedLoadStoreSDNode，MaskedLoadSDNode，MaskedStoreSDNode，MaskedGatherScatterSDNode，MaskedGatherSDNode，MaskedScatterSDNode。

在LLVM架构里，它自己构造了一个类型转换体系，由cast()，dyn_cast()这类函数支持。这些函数通过类的静态方法classof()来判定一个对象是否为指定的派生类型。Cast()等的具体实现我们不在这里讨论，可以参考以前的文章《Llvm的类型转换系统》。

这里特别注意MachineSDNode的classof()调用SDNode的isMachineOpcode()方法，即NodeType小于0时成立——在被选中时，对应SDNode对象的NodeType被置为-1。其他派生类型的classof()方法，如果有定义，都很简单。我们不一一列举。

wuhui_gdnt
关注
专栏目录
llvm学习笔记
weixin_42730667的博客
04-26 1172
基础知识 一个编译器通常是由前端和后端组成，后端负责特定语言的任务，读取源文件并将计算语义分析表示，通常是带注释的抽象语法树(AST)。后端从前端的结果创建优化机器码。 前端通常执行的任务： 词法分析器（Lexical analyzer简称Lexer)读取源文件并生成一个令牌流。 解析器从令牌流创建一个AST。 语法分析器向AST添加语义信息。 代码生成器从AST生成一个中间表示（IR)。 中间表示是后端接口。后端执行的任务： 后端在IR上执行与目标无关的优化。 为IR代码选择指令。 之后
LLVM学习笔记（55）
wuhui_gdnt的专栏
10-24 217
每个目标机器还重载方法，以实现如何将一个特定的、目标机器无关的高级节点降级到更接近这个机器的形式。在这个过程中，一些特殊的IR指令，比如call与ret，需要将目标机器特定的习语——例如，如何传递实参，如何从一个函数返回——翻译为SelectionDAG节点。你可能会问，如果这是指令选择的一个输入，为什么在SelectionDAG类中已经有一些目标机器特定的节点？另外，DAG合并知道运行到遍链（pass chain）的何处（例如，在合法化或向量合法化之后），并且可以更精确地使用这个信息。
LLVM学习（1）
05-02
LLVM（low level virtual machine）是一个编译器框架，最早是Illinois的一个研究项目，它的主要作用是可以作为多种语言的后端，它可以提供与可编程语言无关的优化和针对很多种CPU的代码生成功能，llvm目前也不仅仅是一个框架，它还包含了很多子项目，比如clang。LLVM的优点是开源，同时他有一个表达形式很好的IR语言。这份文档主要是安装教程。
llvm快速学习
热门推荐
跨链技术践行者
06-24 1万+
摘要：前两篇文章都是来自某乎上妹子的回答，无论是从金融的角度还是技术的角度，感觉文风都是萌萌哒。这篇文章咱们将专注于技术角度，从现实的技术去分析区块链技术，相信你在读完本文以后将获取一些新的思路和想法！精彩不容错过！ 在前面的两篇文章里，咱们看到了知乎上的两位妹纸关于区块链的理解，一位从金融角度切入同时兼顾了技术概况，另一位呢则偏重于技术层面（一言不合就放代码）。通过两位妹子（萌萌哒）的叙述，...
LLVM12 学习手册（一）
最新发布
龙哥盟
07-18 1039
构建编译器是一项复杂而迷人的任务。LLVM 项目为您的编译器提供了可重用的组件。LLVM 核心库实现了世界一流的优化代码生成器，为所有流行的 CPU 架构转换了与源语言无关的中间表示的机器代码。许多编程语言的编译器已经利用了 LLVM 技术。本书教会您如何实现自己的编译器，以及如何使用 LLVM 来实现。您将学习编译器的前端如何将源代码转换为抽象语法树，以及如何从中生成中间表示（IR）。通过向编译器添加优化管道，您可以将 IR 编译为高性能的机器代码。
LLVM 学习（第一章）
weixin_42367350的博客
04-16 525
LLVM 学习 （第一章 词法分析器） 最近想丰富下自己的知识体系，学习学习编译器相关知识。首先从LLVM入手吧。 LLVM有官方教学课程，链接为：https://llvm.org/docs/tutorial/ 本文档仅作为个人学习相关记录。 LLVM教程会设计一个名为“Kaleidoscope” 的过程语言。这个语言支持 if/then/else，for，while循环以及 仅支持double数据类型。 1.2 The Lexer 首先是K语言的词法分析器。词法分析器就是将输入转化为“token”，每个“
LLVM学习
qq_28551705的博客
09-02 293
LLVM是一系列编译器和工具链技术的集合,模块化,可重用. 专门为编程语言编写的程序编译时,链接时,运行时优化而设计. 传统编译器分为前端、优化器、后端 前端负责解析源代码,检查语法错误,将其翻译为抽象的语法树 优化器对这一中间代码进行优化,试图使代码更高效 后端将优化后的中间代码转为目标机器代码,最大化利用目标机器的特殊指令,提高代码性能 前端解析器 + IR生成器 + LLVM后端 目前xcode的前端使用 Clang ...
LLVM学习笔记（57）
wuhui_gdnt的专栏
10-27 411
Llc的入口就是其中的main()函数。RegisterTargetMachine在构造函数里调用方法TargetRegistry::RegisterTargetMachine()将自己的Allocator()方法设置为TheX86_32Target及TheX86_64Target生成目标机器实现（X86TargetMachine）的构造方法指针TargetMachineCtorFn，为后面创建目标机器对象做好准备。：尝试找出在一个域中的指令链（闭包），如果有利，将它们转换为不同域里等价的指令。
LLVM学习笔记（58)
wuhui_gdnt的专栏
10-30 231
在main()函数的350行，TimeCompilations默认为1，可以通过隐藏的选项“-time-compilations”来指定它的值，它的作用是重复进行指定次数的编译，以得到更好的编译用时数据。不过，由于不同的函数可以使用不同的属性，因此DefaultOptions保存了根据编译命令行设置的属性（对当前编译单元而言，所谓的缺省属性），而Options会根据当前函数声明使用的属性进行更新。形式的模块，我们需要一定的安全检查，确保模块是良好的。检查调试信息的版本，丢弃过时的调试信息。
LLVM学习笔记 - 基本流程
yokan_de_s的博客
03-20 690
LLVM是模块化,可重用的编译器以及工具链技术的集合,并且LLVM就是全称并不是简称,所以说LLVM是一种编译器显然是不够准确的,她至少可以代表两个,1.LLVM编译架构 2.LLVM编译器后端 基本的编译器架构前面昨天有写过就不赘述了 在LLVM架构里面优化器是恒定不变的,需要支持新的内核,比如现在是arm x86再多一个内核,就需要调整LLVM架构的后端部分,如果再多一个编程语言则只需要对应的编译器转成LLVM IR也就是LLVM能用的中间代码即可 Clang Clang属于LLVM架构的..
LLVM 学习(一) -初识LLVM
Sizaif's 小屋
04-20 1529
LLVM 学习(一) -初识LLVM @2022-04-16 10:09:06 @sizaif LLVM安装&环境搭建 官网下载预编译的二进制文件 修改环境变量指向 export PATH="$PATH:/usr/local/clang+llvm/bin" 检查使用 root@0187031113b5:/home/workhome# env | grep PATH PATH=/usr/local/clang+llvm/bin:/root/.cargo/bin:/usr/local/sbin
【LLVM学习系列】（一）llvm新手教程 （Toby Ho）P1-P6
qiusi0225的博客
03-28 219
程序的抽象语法树（AST）以一种易于编译器的后续阶段（例如代码生成）解释的方式捕获了其行为。我们基本上希望语言中的每个结构都有一个对象，并且抽象语法树应该与语言密切相关。在Kaleidoscope中，我们有表达式、原型和函数对象。fill:#333;color:#333;color:#333;fill:none;
一起学习LLVM（一）
雪一梦的博客
03-02 1万+
学习LLVM的源码目录： 一、LLVM的周边项目： 1.clang、llvm、clang-tools-extra、compiler-rt: clang+LLVM:clang是LLVM的前端，把各种源码编译处理； clang-tools-extra:clang默认以外的认为不是很重要的工具； Compiler-RT 项⽬为硬件不⽀持的低级功能提供特定的⽀持。例如，32位 ⽬标通常缺少...
LLVM学习笔记（一）
qq_33210775的博客
10-16 462
LLVM学习笔记（一） LLVM安装篇 Win10+VM15+ubuntu16.04 装Ubuntu还出了两个小问题：一个是enabled=0；一个是VM服务问题，独占方式锁定。 下面是学习CSDN博主「自娱自乐的老王」文章，原文链接：https://blog.csdn.net/Wang_shiling/article/details/80164661 一、源码下载 第一种方法： 下载LLVM源码...
LLVM学习笔记（48）
wuhui_gdnt的专栏
12-14 7003
4. 指令选择 4.1. 总述 4.1.1. LLVM IR语法 这部分内容翻译自《Getting Started with LLVM Core Libraries》一书的第5章第3小节，部分删节。 观察Clang编译sum.c文件 int sum(int a, int b) {     return a+b; } 得到的LLVM IR汇编文件，sum.ll： target d...
LLVM学习---clang-format代码格式化
mahuifa的博客
04-28 2246
🫵别看了，如果你还在饱受🐷队友💩山代码的折磨，那就不要错过Clang-Format。 clang-format是一个非常实用的工具，它不仅可以帮助个人开发者提高编码效率，还能在团队协作中确保代码风格的统一，从而减少代码审查时的格式问题，专注于代码逻辑本身。
LLVM学习笔记（37）
wuhui_gdnt的专栏
08-03 623
3.5.1.7.2. 从InstRW定义推导 InstRW为一组指令重新绑定SchedReadWrite。在前面CodeGenSchedModels的createInstRWClass()方法里已经为InstRW定义准备了CodeGenSchedClass对象，并在CodeGenSchedClass对象的InstRWs容器里记录了该InstRW定义的Record实例。但对InstRW定义的处理并...
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值