Question

在下面的代码中，我创建了几个长度为4个元素的数组。这工作正常，但当我把它们变大（5或6）元素时，我得到以下错误。

IR Code

declare [4 x double] @malloc(double)

declare double @printd(double)

define double @__anon_expr0() {
entry:
  %foo = alloca [4 x double]
  %calltmp = call [4 x double] @malloc(double 2.560000e+02)
  %0 = insertvalue [4 x double] %calltmp, double 1.000000e+00, 0
  %1 = insertvalue [4 x double] %0, double 1.000000e+00, 1
  %2 = insertvalue [4 x double] %1, double 1.000000e+00, 2
  store [4 x double] %2, [4 x double]* %foo
  %3 = getelementptr [4 x double], [4 x double]* %foo, i32 0, i32 0
  %__ = load double, double* %3
  %calltmp1 = call double @printd(double %__)
  %4 = getelementptr [4 x double], [4 x double]* %foo, i32 0, i32 0
  %__2 = load double, double* %4
  %calltmp3 = call double @printd(double %__2)
  ret double %calltmp3
}

define i32 @main() {
  call double @__anon_expr0 ()
  ret i32 0
}

错误

built(16968,0x7fff8f39c380) malloc: *** mach_vm_map(size=140732867354624) failed (error code=3)
*** error: can't allocate region
*** set a breakpoint in malloc_error_break to debug

导致错误的原因是什么？我认为malloc可以处理超过4个元素的数组。我在这里做错了什么？

Answer 1

malloc的签名是void* malloc(size_t size)，其中size_t是特定于平台的整数类型（32位平台上为32位，64位平台上为64位）。

因此，当您将其声明为使用double并将其调用时，您将调用未定义的行为。在实践中，将要发生的是，您将值256.0移动到第一个参数的双重寄存器中，然后调用malloc，它将从整数寄存器中读取其参数以获取第一个参数（从未初始化）。 / p>

相反，您应该声明malloc在64位平台上使用i64而在32位上使用i32。然后你也应该使用整数参数（即256而不是2.56e2）来调用它。

另一个问题是返回类型：malloc返回一个指针，而不是一个数组（C函数永远不会返回数组 - 这在语法上是不可能的）。所以它应该被声明和使用。

malloc分配错误 - llvm ir代码

IR Code

错误

1 个答案: