由rustc生成的LLVM在运行lli时给出了主参数类型的错误

Question

我想了解一些关于LLVM IR的内容，尤其是什么rustc输出。即使是非常简单的情况，我也会遇到一些麻烦。

我把源文件simple.rs如下：

fn main() { 
    let x = 7u32; 
    let y = x + 2; 
} 

和运行rustc --emit llvm-ir simple.rs获取文件simple.ll，含

; ModuleID = 'simple.cgu-0.rs' 
source_filename = "simple.cgu-0.rs" 
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 
target triple = "x86_64-unknown-linux-gnu" 

; Function Attrs: uwtable 
define internal void @_ZN6simple4main17h8ac50d7470339b75E() unnamed_addr #0 { 
start: 
    br label %bb1 

bb1:            ; preds = %start 
    ret void 
} 

define i64 @main(i64, i8**) unnamed_addr { 
top: 
    %2 = call i64 @_ZN3std2rt10lang_start17ha09816a4e25587eaE(void()* @_ZN6simple4main17h8ac50d7470339b75E, i64 %0, i8** %1) 
    ret i64 %2 
} 

declare i64 @_ZN3std2rt10lang_start17ha09816a4e25587eaE(void()*, i64, i8**) unnamed_addr 

attributes #0 = { uwtable } 

!llvm.module.flags = !{!0} 

!0 = !{i32 1, !"PIE Level", i32 2} 

我再尝试用命令来运行这个

lli-3.9 -load ~/.multirust/toolchains/nightly-x86_64-unknown-linux-gnu/lib/libstd-35ad9950c7e5074b.so simple.ll 

但我得到了错误消息Ë

LLVM ERROR: Invalid type for first argument of main() supplied 

我能够做的这个最小再现如下：我做了一个名为s2.ll文件，其中包含

define i32 @main(i64, i8**) { 
    ret i32 42 
} 

和运行lli-3.9 s2.ll给出了同样的错误消息。 但如果我改变的s2.ll的内容

define i32 @main(i32, i8**) { 
    ret i32 42 
} 

（即我在主已经改变的argc类型），然后lli-3.9 s2.ll运行，并且echo $?表明，它确实返回42。

我不认为我应该明确地通过i64 - 我的参数列表或C字符串应该放在内存中，指针和长度自动传递到main，对吧？因此，我认为我在调用lli的方式上做错了事 - 但我不知道是什么。

Answer 1

Rust将其入口点（标有#[start]属性的功能，默认为标准库中的函数lang_start）标记为采用isize类型的argc参数。 This is a bug，因为它应该具有C int类型，所以它应该是64位平台上的32位，但isize是64位。但是，由于64位调用约定的工作方式，这种情况仍然可以正常工作。返回类型也存在同样的问题。

A fix为此已在2017-10-01承诺并应存在于Rust 1.22中。

lli明显更严格地检查main的类型，这就是为什么它会给出错误。但是，如果您使用llc，它应该正常工作。

为了得到正确的main签名，你可以通过把#![no_main]在模块的顶部取消默认main，并提供标有#[no_mangle]自己main。但请注意，这将跳过标准库的初始化。

#![no_main] 

#[no_mangle] 
pub extern fn main(_argc: i32, _argv: *const *const u8) -> i32 { 
    0 
} 

参见：

• documentation about lang_items and disabling main
• Tracking issue for #[start] feature，其中有些人提到isize不是正确的。