Rust: Rustc trava durante o codegen llvm ao fazer referência a uma matriz [grande] com std :: ptr :: read_volatile

Criado em 27 ago. 2018  ·  3Comentários  ·  Fonte: rust-lang/rust

Este problema foi reproduzido no estável e noturno no Windows, OSX e Linux:

cargo 1.28.0 (96a2c7d16 2018-07-13)
release: 1.28.0
commit-hash: 96a2c7d16249cb47c61c887fc95ca8be60e7ef0a
commit-date: 2018-07-13

cargo 1.29.0-nightly (6a7672ef5 2018-08-14)
release: 1.29.0
commit-hash: 6a7672ef5344c1bb570610f2574250fbee932355
commit-date: 2018-08-14

Código:

fn main() {
    let x = [0u8; 128 * 128 * 4];
    let _y = unsafe { std::ptr::read_volatile(&x) };
}

Obrigado a @talchas pela reprodução mínima. Acredito que eles também puderam reproduzi-lo sem _volatile .

A-LLVM

Comentários muito úteis

Para ser preciso, não o reproduzi em ferrugem sem _volátil; meu sistema llc (e, portanto, presumivelmente de uma versão diferente) travou ao tentar compilar a saída --emit llvm-ir, mas falhou ao tentar compilar qualquer um

define internal void @_ZN3foo4main17hb80e1f71fc6968e1E() unnamed_addr #0 {
start:
  %_y = alloca [65536 x i8], align 1
  %0 = load volatile [65536 x i8], [65536 x i8]* %_y, align 1
  ret void
}

ou

define internal void @_ZN3foo4main17hb80e1f71fc6968e1E() unnamed_addr #0 {
start:
  %_y = alloca [65536 x i8], align 1
  %0 = load [65536 x i8], [65536 x i8]* %_y, align 1
  ret void
}

que pode ser um problema relacionado ou não.

Todos 3 comentários

Para ser preciso, não o reproduzi em ferrugem sem _volátil; meu sistema llc (e, portanto, presumivelmente de uma versão diferente) travou ao tentar compilar a saída --emit llvm-ir, mas falhou ao tentar compilar qualquer um

define internal void @_ZN3foo4main17hb80e1f71fc6968e1E() unnamed_addr #0 {
start:
  %_y = alloca [65536 x i8], align 1
  %0 = load volatile [65536 x i8], [65536 x i8]* %_y, align 1
  ret void
}

ou

define internal void @_ZN3foo4main17hb80e1f71fc6968e1E() unnamed_addr #0 {
start:
  %_y = alloca [65536 x i8], align 1
  %0 = load [65536 x i8], [65536 x i8]* %_y, align 1
  ret void
}

que pode ser um problema relacionado ou não.

https://bugs.llvm.org/show_bug.cgi?id=37000 é o bug do LLVM que você vê aqui.

Triagem: parece que ainda é um bug

Esta página foi útil?
0 / 5 - 0 avaliações