Создание локальной строки с использованием LLVM

Question

Я пытаюсь создать локальную переменную, используя LLVM для хранения строк, но мой код в настоящее время бросает синтаксическую ошибку.

lli: test2.ll:8:23: error: constant expression type mismatch 
    %1 = load [6 x i8]* c"hello\00" 

Мой ИК-код, который выделяет и хранить строку:

@.string = private constant [4 x i8] c"%s\0A\00" 

define void @main() { 
entry: 
    %a = alloca [255 x i8] 
    %0 = bitcast [255 x i8]* %a to i8* 
    %1 = load [6 x i8]* c"hello\00" 
    %2 = bitcast [6 x i8]* %1 to i8* 
    %3 = tail call i8* @strncpy(i8* %0, i8* %2, i64 255) nounwind 
    %4 = getelementptr inbounds [6 x i8]* %a, i32 0, i32 0 
    %5 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x  i8]* @.string, i32 0, i32 0), i8* %4) 
    ret void 
} 

declare i32 @printf(i8*, ...) 
declare i8* @strncpy(i8*, i8* nocapture, i64) nounwind 

Использование LLC я мог видеть, что путь LLVM Реализует распределения и присвоения глобальной переменной, но я хочу, чтобы это было местное (внутри базового блока). Приведенный ниже код работает, но я не хочу, чтобы создать этот вар «@ .str» ...

@str = global [1024 x i8] zeroinitializer, align 16 
@.str = private unnamed_addr constant [6 x i8] c"hello\00", align 1 
@.string = private constant [4 x i8] c"%s\0A\00" 

define i32 @main() nounwind uwtable { 
    %1 = tail call i8* @strncpy(i8* getelementptr inbounds ([1024 x i8]*  @str, i64 0, i64 0), i8* getelementptr inbounds ([6 x i8]* @.str,  i64 0, i64 0), i64 1024) nounwind 
    %2 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.string, i32 0, i32 0), i8* %1) 
    ret i32 0 
} 

declare i8* @strncpy(i8*, i8* nocapture, i64) nounwind 
declare i32 @printf(i8*, ...) #2 

Благодаря

Answer 1

я понял, сам после того, как Мессинг больше с моим предыдущим кодом.

Ниже приведен код, так что люди, которые имели ту же самую проблему, как я могу проверить

@.string = private constant [4 x i8] c"%s\0A\00" 

define void @main() { 
entry: 
    %a = alloca [6 x i8] 
    store [6 x i8] [i8 104,i8 101,i8 108,i8 108, i8 111, i8 0], [6 x i8]* %a 
    %0 = bitcast [6 x i8]* %a to i8* 
    %1 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([4 x i8]* @.string, i32 0, i32 0), i8* %0) 
    ret void 
} 

declare i32 @printf(i8*, ...) 

В принципе, я должен был хранить каждый из персонажей в отдельности в массиве, а затем bitcast к i8 *, так что я может использовать функцию printf. Я не мог использовать метод c" ... ", который показан на веб-странице LLVM http://llvm.org/docs/LangRef.html#id669. По-видимому, это особый случай в спецификации языка IR, и они должны быть в глобальном масштабе.

UPDATE: Я снова работал над тем же кодом, и я узнал, что лучшим способом было сохранить константу вместо каждого из символов i8. Таким образом, линия 6, будут заменены:

store [6 x i8] c"hello\00", [6 x i8]* %0 

Это проще для генерации кода с использованием LLVM и его более удобным для чтения!