Question

我开始阅读LLVM文档和IR文档。

在常见架构中，asm cmp指令＆＃34;结果＆＃34;值是-at至3位长，让我们说第一位是SIGN标志，第二位是CARRY标志，第三位是ZERO标志。

问题1）

为什么IR icmp instruction结果值只是i1？（你只能选择一个标志）

为什么没有IR定义，让我们称之为icmp2指令，返回带有SIGN，CARRY和ZERO标志的i3？

可以使用开关指令或者特定的br2指令对此i3值执行操作，例如：

%result = cmp2 i32 %a, i32 %b
br2 i3 %result onzero label %EQUAL, onsign label %A_LT_B
#here %a GT %b

问题2）

这有意义吗？这条br2指令可以帮助创建新的优化吗？即删除所有的jmps？有必要还是性能提升可以忽略不计？

我之所以这么说 - 不是LLVM的专家 - 是因为在我的第一次测试中我期待LLVM做出某种优化，以避免两次进行比较并避免所有分支使用asm条件移动指令。

我的测试：

我用clang-LLVM编译了这个：

#include <stdlib.h>
#include <inttypes.h>
typedef int32_t i32;

i32 compare (i32 a, i32 b){
// return (a - b) & 1;
   if (a>b) return 1;
   if (a<b) return -1;
   return 0;
}

int main(int argc, char** args){
    i32 n,i;
    i32 a,b,avg;

    srand(0); //fixed seed

    for (i=0;i<500;i++){
        for (n=0;n<1e6;n++){
            a=rand();
            b=rand();
            avg+=compare(a,b);
        }
    }
    return avg;
}

输出asm是： ...

    mov r15d, -1

 ...

.LBB1_2:                                #   Parent Loop BB1_1 Depth=1
                                        # =>  This Inner Loop Header: Depth=2
    call    rand
    mov r12d, eax
    call    rand
    mov ecx, 1
    cmp r12d, eax
    jg  .LBB1_4
# BB#3:                                 #   in Loop: Header=BB1_2 Depth=2
    mov ecx, 0
    cmovl   ecx, r15d
.LBB1_4:                                # %compare.exit
                                        #   in Loop: Header=BB1_2 Depth=2
    add ebx, ecx

...

我期望（在内循环中删除所有jmps）：

    mov r15d, -1
    mov r13d, 1  # HAND CODED

    call    rand
    mov r12d, eax
    call    rand

    xor ecx,ecx            # HAND CODED
    cmp r12d, eax
    cmovl   ecx, r15d      # HAND CODED
    cmovg   ecx, r13d      # HAND CODED
    add ebx, ecx

性能差异（1s）似乎可以忽略不计（在VirtualBox下的VM上）：

LLVM生成asm：12.53s
hancoded asm：11.53s
diff：1s，500万次迭代

问题3）

我的表现指标是否正确？这是makefile和完整的hancoded.compare.s

生成文件：

CC=clang -mllvm --x86-asm-syntax=intel

all:
    $(CC) -S -O3 compare.c 
    $(CC) compare.s -o compare.test

    $(CC) handcoded.compare.s -o handcoded.compare.test

    echo `time ./compare.test`
    echo `time ./handcoded.compare.test`
    echo `time ./compare.test`
    echo `time ./handcoded.compare.test`

手动编码（固定）asm：

    .text
    .file   "handcoded.compare.c"
    .globl  compare
    .align  16, 0x90
    .type   compare,@function
compare:                                # @compare
    .cfi_startproc
# BB#0:
    mov eax, 1
    cmp edi, esi
    jg  .LBB0_2
# BB#1:
    xor ecx, ecx
    cmp edi, esi
    mov eax, -1
    cmovge  eax, ecx
.LBB0_2:
    ret
.Ltmp0:
    .size   compare, .Ltmp0-compare
    .cfi_endproc

    .globl  main
    .align  16, 0x90
    .type   main,@function
main:                                   # @main
    .cfi_startproc
# BB#0:
    push    rbp
.Ltmp1:
    .cfi_def_cfa_offset 16
    push    r15
.Ltmp2:
    .cfi_def_cfa_offset 24
    push    r14
.Ltmp3:
    .cfi_def_cfa_offset 32
    push    r12
.Ltmp4:
    .cfi_def_cfa_offset 40
    push    rbx
.Ltmp5:
    .cfi_def_cfa_offset 48
.Ltmp6:
    .cfi_offset rbx, -48
.Ltmp7:
    .cfi_offset r12, -40
.Ltmp8:
    .cfi_offset r14, -32
.Ltmp9:
    .cfi_offset r15, -24
.Ltmp10:
    .cfi_offset rbp, -16
    xor r14d, r14d
    xor edi, edi
    call    srand
    mov r15d, -1
    mov r13d, 1  # HAND CODED

                                        # implicit-def: EBX
    .align  16, 0x90
.LBB1_1:                                # %.preheader
                                        # =>This Loop Header: Depth=1
                                        #     Child Loop BB1_2 Depth 2
    mov ebp, 1000000
    .align  16, 0x90
.LBB1_2:                                #   Parent Loop BB1_1 Depth=1
                                        # =>  This Inner Loop Header: Depth=2

    call    rand
    mov r12d, eax
    call    rand

    xor ecx,ecx     #hand coded
    cmp r12d, eax  

    cmovl   ecx, r15d #hand coded
    cmovg   ecx, r13d #hand coded
    add ebx, ecx

.LBB1_3:
    dec ebp
    jne .LBB1_2
# BB#5:                                 #   in Loop: Header=BB1_1 Depth=1
    inc r14d
    cmp r14d, 500
    jne .LBB1_1
# BB#6:
    mov eax, ebx
    pop rbx
    pop r12
    pop r14
    pop r15
    pop rbp
    ret
.Ltmp11:
    .size   main, .Ltmp11-main
    .cfi_endproc


    .ident  "Debian clang version 3.5.0-1~exp1 (trunk) (based on LLVM 3.5.0)"
    .section    ".note.GNU-stack","",@progbits

Answer 1

问题1 ：LLVM IR与机器无关。有些机器甚至可能没有进位标志，甚至没有标志或标志标志。返回值为i1，足以表示TRUE或FALSE。您将比较条件设置为'eq'，然后检查结果以查看两个操作数是否相等等。

问题2 ：LLVM IR最初并不关心优化。主要目标是生成基于静态单一分配（SSA）的指令表示。优化发生在以后的传递中，其中一些是与机器无关的，一些是依赖的你的想法将假设机器将支持那些可能是错误假设的3个标志，

问题3 ：我不是在起诉你在这里想做什么。你能解释一下吗？

LLVM使用进位和零标志

问题1）

问题2）

我的测试：

问题3）

1 个答案: