Page MenuHomePhabricator

[RFC][CodeGen] Emit range metadata for array subscript.
Needs ReviewPublic

Authored by courbet on Mar 24 2021, 2:13 AM.
This revision needs review, but there are no reviewers specified.

Details

Reviewers
None
Summary

To allow LLVM to do better alias anaysis. See RFC on llvm-dev.

Diff Detail

Unit TestsFailed

TimeTest
40 msx64 debian > Clang.CodeGen::2008-07-30-implicit-initialization.c
Script: -- : 'RUN: at line 1'; /mnt/disks/ssd0/agent/llvm-project/build/bin/clang -cc1 -internal-isystem /mnt/disks/ssd0/agent/llvm-project/build/lib/clang/13.0.0/include -nostdsysteminc -triple i386-unknown-unknown -O2 -emit-llvm -o - /mnt/disks/ssd0/agent/llvm-project/clang/test/CodeGen/2008-07-30-implicit-initialization.c | /mnt/disks/ssd0/agent/llvm-project/build/bin/FileCheck /mnt/disks/ssd0/agent/llvm-project/clang/test/CodeGen/2008-07-30-implicit-initialization.c
3,610 msx64 debian > Clang.CodeGen::aarch64-bf16-ldst-intrinsics.c
Script: -- : 'RUN: at line 1'; /mnt/disks/ssd0/agent/llvm-project/build/bin/clang -cc1 -internal-isystem /mnt/disks/ssd0/agent/llvm-project/build/lib/clang/13.0.0/include -nostdsysteminc -triple aarch64-arm-none-eabi -target-feature +neon -target-feature +bf16 -O2 -emit-llvm /mnt/disks/ssd0/agent/llvm-project/clang/test/CodeGen/aarch64-bf16-ldst-intrinsics.c -o - | /mnt/disks/ssd0/agent/llvm-project/build/bin/FileCheck /mnt/disks/ssd0/agent/llvm-project/clang/test/CodeGen/aarch64-bf16-ldst-intrinsics.c --check-prefixes=CHECK,CHECK64
50 msx64 debian > Clang.CodeGen::arm64_32-vaarg.c
Script: -- : 'RUN: at line 1'; /mnt/disks/ssd0/agent/llvm-project/build/bin/clang -cc1 -internal-isystem /mnt/disks/ssd0/agent/llvm-project/build/lib/clang/13.0.0/include -nostdsysteminc -triple arm64_32-apple-ios7.0 -target-abi darwinpcs -emit-llvm -o - -O1 -ffreestanding /mnt/disks/ssd0/agent/llvm-project/clang/test/CodeGen/arm64_32-vaarg.c | /mnt/disks/ssd0/agent/llvm-project/build/bin/FileCheck /mnt/disks/ssd0/agent/llvm-project/clang/test/CodeGen/arm64_32-vaarg.c
300 msx64 debian > Clang.CodeGen::attr-arm-sve-vector-bits-bitcast.c
Script: -- : 'RUN: at line 3'; /mnt/disks/ssd0/agent/llvm-project/build/bin/clang -cc1 -internal-isystem /mnt/disks/ssd0/agent/llvm-project/build/lib/clang/13.0.0/include -nostdsysteminc -triple aarch64-none-linux-gnu -target-feature +sve -target-feature +bf16 -msve-vector-bits=128 -fallow-half-arguments-and-returns -S -O1 -emit-llvm -o - /mnt/disks/ssd0/agent/llvm-project/clang/test/CodeGen/attr-arm-sve-vector-bits-bitcast.c | /mnt/disks/ssd0/agent/llvm-project/build/bin/FileCheck /mnt/disks/ssd0/agent/llvm-project/clang/test/CodeGen/attr-arm-sve-vector-bits-bitcast.c --check-prefix=CHECK-128
50 msx64 debian > Clang.CodeGen::bpf-preserve-access-index.c
Script: -- : 'RUN: at line 1'; /mnt/disks/ssd0/agent/llvm-project/build/bin/clang /mnt/disks/ssd0/agent/llvm-project/clang/test/CodeGen/bpf-preserve-access-index.c -target bpfeb -x c -emit-llvm -S -g -O2 -Xclang -disable-llvm-passes -o - | /mnt/disks/ssd0/agent/llvm-project/build/bin/FileCheck --check-prefix=CHECK /mnt/disks/ssd0/agent/llvm-project/clang/test/CodeGen/bpf-preserve-access-index.c
View Full Test Results (40 Failed)

Event Timeline

courbet requested review of this revision.Mar 24 2021, 2:13 AM
courbet created this revision.
Herald added a project: Restricted Project. · View Herald TranscriptMar 24 2021, 2:13 AM
courbet updated this revision to Diff 332931.Mar 24 2021, 3:56 AM

Forgot to add test file.