使用LLVM API在可变变量中存储全局字符串

我正在使用LLVM和OCaml为PHP子集制作编译器。关于在LLVM中处理字符串的教程有点缺乏——至少我找不到任何。

这是我要编译的代码:

<?php
$a = "foo";

这是我为上面的代码键入的AST:

[(Typedast.Stmt
    Typedast.Expr (Typedast.TUnit,
      (<opaque>,
       Typedast.Binop ((Typedast.Eq None),
         (<opaque>, Typedast.Lvar ((<opaque>, "$a"), Typedast.TString)),
         (<opaque>, (Typedast.String (<opaque>, "asd"))), Typedast.TUnit))))]

(这里的<opaque>表示没有显示pos (position))

这是我生成的LLVM IR:

; ModuleID = 'mymodule'
@foo = private unnamed_addr constant [4 x i8] c"foo'00"
define i32 @main() {
entry:
  %"$a" = alloca i8
  store i8 0, i8* %"$a"
  store i8* getelementptr inbounds ([4 x i8]* @foo, i32 0, i32 0), i8* %"$a"
  ret i32 0
}

和我的错误信息:

Stored value type does not match pointer operand type!
  store i8* getelementptr inbounds ([4 x i8]* @asd, i32 0, i32 0), i8* %"$a"
 i8LLVM ERROR: Broken module found, compilation aborted!

问题是i8* %"$a"应该是i8** %"$a"，如一个简单c程序的LLVM IR所示:

int main() {
  char* str = "Hello, world!";
  puts(str);
  return 0;
}

生成LLVM IR:

@.str = private unnamed_addr constant [14 x i8] c"Hello, world!'00", align 1
; Function Attrs: nounwind uwtable
define i32 @main() #0 {
  %1 = alloca i32, align 4
  %str = alloca i8*, align 8
  store i32 0, i32* %1
  store i8* getelementptr inbounds ([14 x i8]* @.str, i32 0, i32 0), i8** %str, align 8
  %2 = load i8** %str, align 8
  %3 = call i32 @puts(i8* %2)
  ret i32 0
}

感谢您的帮助。