[PATCH] D69542: Full Restrict Support - single patch

Thu Jan 12 02:34:56 PST 2023

nikic added a comment.

Thanks for the rebase!

I tested the updated patch with rustc, but unfortunately didn't get very far again. The proc_macro build fails with verifier errors:

  llvm.provenance.noalias scope arg must match with llvm.noalias.decl
    %22 = call ptr @llvm.provenance.noalias.p0.p0.p0.p0.i64(ptr nonnull %8, ptr %19, ptr null, ptr undef, i64 0, metadata !4794), !noalias !4796
  llvm.provenance.noalias scope arg must match with llvm.noalias.decl
    %23 = tail call ptr @llvm.provenance.noalias.p0.p0.p0.p0.i64(ptr nonnull %11, ptr %20, ptr null, ptr undef, i64 0, metadata !4798), !noalias !4796
  llvm.provenance.noalias scope arg must match with llvm.noalias.decl
    %44 = call ptr @llvm.provenance.noalias.p0.p0.p0.p0.i64(ptr nonnull %8, ptr %42, ptr null, ptr undef, i64 0, metadata !4808), !noalias !4810
  llvm.provenance.noalias scope arg must match with llvm.noalias.decl
    %45 = tail call ptr @llvm.provenance.noalias.p0.p0.p0.p0.i64(ptr nonnull %11, ptr %41, ptr null, ptr undef, i64 0, metadata !4812), !noalias !4810
  LLVM ERROR: Broken module found, compilation aborted!

Here is the input IR (run under e.g. `opt -O2`): https://gist.github.com/nikic/fb9701235151e199fff0a23530808539

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D69542/new/

https://reviews.llvm.org/D69542