rust/tests/codegen-llvm at b578cceac97ccccd9d5d434fbcdc42bb583492cb - rust

mirror of https://github.com/rust-lang/rust.git synced 2026-07-26 17:42:22 -04:00

Files

T

Jacob Pratt 40df1392e7 Rollup merge of #157733 - hanna-kruppe:fixme-nocapture, r=mati865

Remove old FIXMEs about nocapture attribute

As discussed in the long-closed issue referenced by the FIXMEs (rust-lang/rust#25759), it would be unsound to add nocapture to all reference arguments. The canonical example is taking &T and returning *const T, i.e., `std::ptr::from_ref`. Some of the removed test cases suggest that named vs elided vs static lifetime on the reference would make a difference for capturing, which is incompatible with all modern takes on Rust opsem.

Hypothetically, we could add some kind of escape analysis on MIR to determine which arguments can be marked as nocapture. But LLVM can do that too (often better), so why should we? Plus, if we started doing such analysis, the test that had the FIXMEs would not be a good place to exercise it, as all the function bodies are trivial.

Part of rust-lang/rust#44366

2026-06-11 23:15:28 -04:00

annotate-moves

…

asm

…

autodiff

…

autovec

…

auxiliary

…

avr

…

bounds-checking

…

cffi

tests: codegen-llvm: Ignore BPF targets in c-variadic-opt

2026-06-08 15:17:16 +02:00

compiletest-self-test

…

cross-crate-inlining

…

debug-accessibility

…

debuginfo-proc-macro

…

dllimports

…

enum

Prefer -1 for None

2026-04-25 14:57:23 -07:00

ergonomic-clones

…

float

…

gpu_offload

Enable requesting shared-memory at kernel launch-time via offload

2026-05-28 16:03:06 -07:00

hint

Make hint::cold_path #[cold] so that it works even if the MIR inliner can't inline it

2026-05-24 00:47:09 -04:00

instrument-coverage

Revert "LLVM 23: Run AssignGUIDPass in some places"

2026-06-05 09:26:08 +02:00

instrument-xray

…

intrinsics

In copy_nonoverlapping, use mul nuw nsw to compute the byte count

2026-06-06 21:57:35 -07:00

issues

Add regression test for issue 144329

2026-04-27 04:07:34 +02:00

lib-optimizations

…

loongarch

…

loongarch-abi

Emit nofree attribute

2026-06-04 15:19:24 +02:00

macos

…

meta-filecheck

…

naked-fn

Simplify //@ needs-asm-mnemonic: ret to just //@ needs-asm-ret

2026-05-25 17:15:32 +10:00

non-terminate

…

option-niche-unfixed

…

patchable-function-entry

…

remap_path_prefix

…

repr

…

riscv-abi

…

sanitizer

Revert "LLVM 23: Run AssignGUIDPass in some places"

2026-06-05 09:26:08 +02:00

scalable-vectors

codegen: re-enable FileCheck for scalable-vector tuple intrinsics

2026-05-24 09:24:32 -04:00

simd

Let intrinsics use the SSA operand path

2026-05-22 22:02:06 -07:00

simd-intrinsic

Let intrinsics use the SSA operand path

2026-05-22 22:02:06 -07:00

src-hash-algorithm

…

unwind-abis

Revert "LLVM 23: Run AssignGUIDPass in some places"

2026-06-05 09:26:08 +02:00

aarch64-softfloat.rs

…

aarch64-struct-align-128.rs

…

aarch64v8r-softfloat.rs

…

abi-efiapi.rs

…

abi-main-signature-16bit-c-int.rs

…

abi-main-signature-32bit-c-int.rs

…

abi-noundef-cast.rs

…

abi-repr-ext.rs

…

abi-sysv64.rs

…

abi-win64-zst.rs

…

abi-x86_64_sysv.rs

…

abi-x86-interrupt.rs

…

abi-x86-sse.rs

…

addr-of-mutate.rs

Emit nofree attribute

2026-06-04 15:19:24 +02:00

adjustments.rs

…

align-byval-alignment-mismatch.rs

…

align-byval-vector.rs

…

align-byval.rs

…

align-enum.rs

…

align-fn.rs

…

align-offset.rs

…

align-static.rs

…

align-struct.rs

…

alloc-optimisation.rs

…

amdgpu-addrspacecast.rs

…

amdgpu-dispatch-ptr.rs

…

array-clone.rs

…

array-cmp.rs

…

array-codegen.rs

…

array-drop-glue.rs

Have arrays' drop_glue just unsize and call the slice version

2026-05-09 01:01:03 -07:00

array-equality.rs

Let intrinsics use the SSA operand path

2026-05-22 22:02:06 -07:00

array-from_fn.rs

…

array-map.rs

…

array-optimized.rs

…

array-repeat.rs

…

ascii-char.rs

…

assign-desugar-debuginfo.rs

…

async-closure-debug.rs

…

async-fn-debug-awaitee-field.rs

…

async-fn-debug-msvc.rs

…

async-fn-debug.rs

…

atomic-operations.rs

…

atomicptr.rs

Let intrinsics use the SSA operand path

2026-05-22 22:02:06 -07:00

autovectorize-f32x4.rs

…

backchain.rs

…

become-musttail.rs

…

bigint-helpers.rs

…

binary-heap-peek-mut-pop-no-panic.rs

…

binary-search-index-no-bound-check.rs

…

bool-cmp.rs

…

bounds-check-elision-slice-min.rs

…

box-default-debug-copies.rs

…

box-uninit-bytes.rs

…

bpf-abi-indirect-return.rs

…

bpf-allows-unaligned.rs

Revert "LLVM 23: Run AssignGUIDPass in some places"

2026-06-05 09:26:08 +02:00

bpf-alu32.rs

tests: codegen-llvm: Add -C opt-level=0 to bpf-alu32 test

2026-06-03 12:56:07 +02:00

branch-protection.rs

Revert "LLVM 23: Run AssignGUIDPass in some places"

2026-06-05 09:26:08 +02:00

c-variadic-lifetime.rs

c-variadic: rename VaList::arg to VaList::next_arg

2026-04-22 16:02:11 +02:00

c-variadic-va-end.rs

remove custom va_end implementation in the LLVM backend

2026-04-30 20:32:15 +02:00

call-llvm-intrinsics.rs

…

call-site-inline-attributes.rs

Re-add call site inlining attributes

2026-05-23 16:49:04 -04:00

call-tmps-lifetime.rs

codegen: Copy to an alloca when the argument is neither by-val nor by-move for indirect pointer.

2026-04-22 17:37:17 +08:00

cast-optimized.rs

…

cast-target-abi.rs

…

catch-unwind.rs

…

cdylib-external-inline-fns.rs

…

cf-protection.rs

…

cfguard-checks.rs

…

cfguard-disabled.rs

…

cfguard-nochecks.rs

…

cfguard-non-msvc.rs

…

char-ascii-branchless.rs

…

char-escape-debug-no-bounds-check.rs

…

checked_ilog.rs

…

checked_math.rs

…

clone_as_copy.rs

…

clone-shims.rs

…

codemodels.rs

…

coercions.rs

…

cold-attribute.rs

…

cold-call-declare-and-call.rs

…

common_prim_int_ptr.rs

…

comparison-operators-2-struct.rs

…

comparison-operators-2-tuple.rs

…

comparison-operators-newtype.rs

…

const_scalar_pair.rs

…

const-array.rs

…

const-vector.rs

LLVM 23: Accept float (instead of hex) literals in codegen tests

2026-05-11 17:42:43 +02:00

constant-branch.rs

…

consts.rs

…

copy.rs

Also use mul nuw nsw in intrinsics::copy

2026-06-07 16:57:55 -07:00

coroutine-debug-msvc.rs

…

coroutine-debug.rs

…

darwin-no-objc.rs

…

darwin-objc-abi-v1.rs

…

darwin-objc-abi-v2.rs

…

darwin-objc-cross-crate.rs

…

dead_on_return.rs

…

dealloc-no-unwind.rs

…

debug-alignment.rs

…

debug-column-msvc.rs

…

debug-column.rs

…

debug-compile-unit-path.rs

…

debug-fndef-size.rs

…

debug-limited.rs

…

debug-line-directives-only.rs

…

debug-line-tables-only.rs

…

debug-linkage-name.rs

…

debug-vtable.rs

…

debuginfo-constant-locals.rs

…

debuginfo-cyclic-structure.rs

…

debuginfo-dse.rs

…

debuginfo-for-profiling.rs

feat: add tests for debuginfo-for-profiling

2026-05-29 07:28:43 +02:00

debuginfo-generic-closure-env-names.rs

…

debuginfo-inline-callsite-location.rs

…

deduced-param-attrs.rs

…

default-requires-uwtable.rs

…

default-visibility.rs

…

direct-access-external-data.rs

…

diverging-function-call-debuginfo.rs

…

double_panic_wasm.rs

Fix: On wasm targets, call panic_in_cleanup if panic occurs in cleanup

2026-04-28 09:56:22 -07:00

drop-in-place-noalias.rs

Emit nofree attribute

2026-06-04 15:19:24 +02:00

drop.rs

bless miri/codegen-llvm/ui tests

2026-05-04 15:35:40 +02:00

dst-offset.rs

…

dst-vtable-align-nonzero.rs

Let intrinsics use the SSA operand path

2026-05-22 22:02:06 -07:00

dst-vtable-size-range.rs

Let intrinsics use the SSA operand path

2026-05-22 22:02:06 -07:00

ehcontguard_disabled.rs

…

ehcontguard_enabled.rs

…

emscripten-catch-unwind.rs

Remove -Zemscripten-wasm-eh

2026-06-02 19:56:40 +02:00

enable-lto-unit-splitting.rs

…

error-provide.rs

…

export-no-mangle.rs

…

external-no-mangle-fns.rs

…

external-no-mangle-statics.rs

…

f128-wasm32-callconv.rs

…

fastcall-inreg.rs

…

fatptr.rs

…

fewer-names.rs

…

fixed-x18.rs

…

float_math.rs

…

fn-impl-trait-self.rs

…

fn-parameters-on-different-lines-debuginfo.rs

…

force-frame-pointers.rs

Add frame pointer annotations to the module

2026-05-28 05:57:11 +00:00

force-no-unwind-tables.rs

Add tests for uwtable annotations on modules

2026-05-26 14:43:44 +00:00

force-unwind-tables.rs

Add tests for uwtable annotations on modules

2026-05-26 14:43:44 +00:00

frame-pointer-cli-control.rs

Revert "LLVM 23: Run AssignGUIDPass in some places"

2026-06-05 09:26:08 +02:00

frame-pointer.rs

Revert "LLVM 23: Run AssignGUIDPass in some places"

2026-06-05 09:26:08 +02:00

fromrangeiter-overflow-checks.rs

…

function-arguments-noopt.rs

…

function-arguments.rs

Remove old FIXMEs about nocapture attribute

2026-06-11 00:22:57 +02:00

function-return.rs

…

gdb_debug_script_load.rs

…

generic-debug.rs

…

gep-index.rs

…

global-allocator-attributes.rs

…

gpu-convergent.rs

Revert "LLVM 23: Run AssignGUIDPass in some places"

2026-06-05 09:26:08 +02:00

gpu-kernel-abi.rs

…

gpu-launch-sized-workgroup-memory.rs

Add intrinsic for launch-sized workgroup memory on GPUs

2026-04-24 10:03:45 +02:00

i128-wasm32-callconv.rs

…

i128-x86-align.rs

…

i128-x86-callconv.rs

…

ilog_known_base.rs

optimize: checked_ilog when base is a power of two

2026-04-21 14:25:15 +01:00

indirect-branch-cs-prefix.rs

…

indirect-bycopy-bymove-byval.rs

codegen: Copy to an alloca when the argument is neither by-val nor by-move for indirect pointer.

2026-04-22 17:37:17 +08:00

infallible-unwrap-in-opt-z.rs

…

inherit_overflow.rs

…

inject-autocast.rs

Add autocast for x86_amx

2026-04-14 03:25:02 +05:30

inline-always-works-always.rs

…

inline-debuginfo.rs

…

inline-function-args-debug-info.rs

…

inline-hint.rs

bless miri/codegen-llvm/ui tests

2026-05-04 15:35:40 +02:00

inlining-target-feature-differences.rs

…

instrument-mcount.rs

…

int-ptr-int-enum-miscompile.rs

…

integer-cmp.rs

…

integer-overflow.rs

…

internalize-closures.rs

…

intrinsic-no-unnamed-attr.rs

…

is_val_statically_known.rs

…

issue-97217.rs

…

iter-repeat-n-trivial-drop.rs

…

layout-size-checks.rs

…

lifetime_start_end.rs

…

link_section.rs

Revert "LLVM 23: Run AssignGUIDPass in some places"

2026-06-05 09:26:08 +02:00

link-dead-code.rs

…

llvm_module_flags.rs

…

llvm-ident.rs

…

llvm-writable.rs

Emit nofree attribute

2026-06-04 15:19:24 +02:00

loads.rs

…

local-generics-in-exe-internalized.rs

…

lto-removes-invokes.rs

…

mainsubprogram.rs

…

match-optimized.rs

…

match-optimizes-away.rs

…

match-unoptimized.rs

…

maybe_dangling_refs.rs

…

maybeuninit-array.rs

…

maybeuninit-rvo.rs

…

mem-replace-big-type.rs

…

mem-replace-simple-type.rs

…

merge-functions.rs

…

method-declaration.rs

…

min-function-alignment.rs

…

mir_zst_stores.rs

…

mir-aggregate-no-alloca.rs

…

mir-inlined-line-numbers.rs

…

move-before-nocapture-ref-arg.rs

…

move-operands.rs

…

naked-asan.rs

…

no_builtins-at-crate.rs

…

no-alloca-inside-if-false.rs

…

no-assumes-on-casts.rs

…

no-dllimport-w-cross-lang-lto.rs

…

no-jump-tables.rs

…

no-plt.rs

…

no-redundant-item-monomorphization.rs

…

noalias-box-off.rs

…

noalias-box.rs

…

noalias-flag.rs

…

noalias-freeze.rs

…

noalias-refcell.rs

…

noalias-rwlockreadguard.rs

…

noalias-unpin.rs

…

noreturn-uninhabited.rs

…

noreturnflag.rs

…

nounwind.rs

…

nrvo.rs

…

optimize-attr-1.rs

…

option-as-slice.rs

…

option-niche-eq.rs

Prefer -1 for None

2026-04-25 14:57:23 -07:00

overaligned-constant.rs

…

overflow-checks.rs

…

packed.rs

Emit nofree attribute

2026-06-04 15:19:24 +02:00

packedstack.rs

…

panic-abort-windows.rs

…

panic-in-drop-abort.rs

…

panic-unwind-default-uwtable.rs

…

pattern_type_symbols.rs

…

personality_lifetimes.rs

…

pgo-counter-bias.rs

…

pgo-instrumentation.rs

…

pic-relocation-model.rs

…

pie-relocation-model.rs

…

placement-new.rs

…

pow_known_base.rs

optimize: pow when base is a power of two

2026-05-03 15:30:49 +01:00

powerpc64le-struct-align-128.rs

…

precondition-checks.rs

…

preserve-none.rs

add extern "tail" calling convention

2026-06-05 20:19:51 +02:00

preserve-vec-element-types.rs

preseve SIMD element type information

2026-04-13 13:26:50 +02:00

private-const-fn-only-used-in-const-eval.rs

…

ptr-arithmetic.rs

…

ptr-read-metadata.rs

…

range_to_inclusive.rs

…

range-attribute.rs

…

range-loop.rs

…

read-only-capture-opt.rs

…

README.md

…

refs.rs

…

reg-struct-return.rs

…

regparm-inreg.rs

…

repeat-operand-zero-len.rs

…

repeat-operand-zst-elem.rs

…

repeat-trusted-len.rs

…

retpoline.rs

…

riscv-target-abi.rs

…

rust-abi-arch-specific-adjustment.rs

…

s390x-simd.rs

…

scalar-pair-bool.rs

…

set-discriminant-invalid.rs

…

skip-mono-inside-if-false.rs

…

slice_as_from_ptr_range.rs

…

slice_cse_optimization.rs

…

slice-as_chunks.rs

…

slice-indexing.rs

…

slice-init.rs

…

slice-iter-fold.rs

…

slice-iter-len-eq-zero.rs

…

slice-iter-nonnull.rs

Emit nofree attribute

2026-06-04 15:19:24 +02:00

slice-last-elements-optimization.rs

…

slice-len-math.rs

…

slice-pointer-nonnull-unwrap.rs

…

slice-position-bounds-check.rs

…

slice-range-indexing.rs

…

slice-ref-equality.rs

…

slice-reverse.rs

…

slice-split-at.rs

…

slice-windows-no-bounds-check.rs

…

slp-vectorization-mul3.rs

…

some-abis-do-extend-params-to-32-bits.rs

…

some-global-nonnull.rs

…

some-non-zero-from-atomic-optimization.rs

Revert "LLVM 23: Run AssignGUIDPass in some places"

2026-06-05 09:26:08 +02:00

sparc-struct-abi.rs

LLVM 23: Accept float (instead of hex) literals in codegen tests

2026-05-11 17:42:43 +02:00

split-lto-unit.rs

…

sroa-fragment-debuginfo.rs

…

sse42-implies-crc32.rs

…

stack-probes-inline.rs

…

stack-protector.rs

…

static-relocation-model-msvc.rs

…

staticlib-external-inline-fns.rs

…

step_by-overflow-checks.rs

…

store-captures.rs

Set !captures metadata for store of &Freeze

2026-06-09 17:39:01 +02:00

stores.rs

…

str-range-indexing.rs

Further optimize SliceIndex<str> impl for Range<usize>

2026-05-04 00:11:53 +01:00

string-push.rs

…

swap-large-types.rs

…

swap-small-types.rs

…

tail-call-u128.rs

…

tailcc.rs

add extern "tail" calling convention

2026-06-05 20:19:51 +02:00

target-cpu-on-functions.rs

…

target-feature-inline-closure.rs

…

target-feature-negative-implication.rs

Revert "LLVM 23: Run AssignGUIDPass in some places"

2026-06-05 09:26:08 +02:00

target-feature-overrides.rs

Revert "LLVM 23: Run AssignGUIDPass in some places"

2026-06-05 09:26:08 +02:00

terminating-catchpad.rs

Remove -Zemscripten-wasm-eh

2026-06-02 19:56:40 +02:00

thread-local.rs

…

tied-features-strength.rs

…

to_vec.rs

…

trailing_zeros.rs

…

transmute-optimized.rs

…

transmute-scalar.rs

…

try_question_mark_nop.rs

…

tune-cpu-on-functions.rs

…

tuple-layout-opt.rs

…

ub-checks.rs

…

unchecked_shifts.rs

…

unchecked-float-casts.rs

…

uninhabited-transparent-return-abi.rs

…

uninit-consts.rs

…

uninit-repeat-in-aggregate.rs

…

union-abi.rs

…

union-aggregate.rs

…

unwind-and-panic-abort.rs

…

unwind-extern-exports.rs

…

unwind-extern-imports.rs

…

unwind-landingpad-cold.rs

bless miri/codegen-llvm/ui tests

2026-05-04 15:35:40 +02:00

unwind-landingpad-inline.rs

…

used_with_arg.rs

…

var-names.rs

…

vec_pop_push_noop.rs

…

vec-as-ptr.rs

…

vec-calloc.rs

…

vec-in-place.rs

…

vec-into-iter-drops.rs

bless miri/codegen-llvm/ui tests

2026-05-04 15:35:40 +02:00

vec-iter-collect-len.rs

…

vec-iter.rs

…

vec-len-invariant.rs

…

vec-optimizes-away.rs

…

vec-reserve-extend.rs

…

vec-shrink-panik.rs

…

vec-with-capacity.rs

…

vecdeque_no_panic.rs

…

vecdeque_pop_push.rs

…

vecdeque-drain.rs

…

vecdeque-nonempty-get-no-panic.rs

…

virtual-call-attrs-issue-137646.rs

…

virtual-function-elimination-32bit.rs

…

virtual-function-elimination.rs

…

vtable-loads.rs

…

vtable-upcast.rs

…

wasm_casts_trapping.rs

…

wasm_exceptions.rs

Remove -Zemscripten-wasm-eh

2026-06-02 19:56:40 +02:00

zip.rs

…

zst-offset.rs

…

README.md

The files here use the LLVM FileCheck framework, documented at https://llvm.org/docs/CommandGuide/FileCheck.html.

One extension worth noting is the use of revisions as custom prefixes for FileCheck. If your codegen test has different behavior based on the chosen target or different compiler flags that you want to exercise, you can use a revisions annotation, like so:

// revisions: aaa bbb
// [bbb] compile-flags: --flags-for-bbb

After specifying those variations, you can write different expected, or explicitly unexpected output by using <prefix>-SAME: and <prefix>-NOT:, like so:

// CHECK: expected code
// aaa-SAME: emitted-only-for-aaa
// aaa-NOT:                        emitted-only-for-bbb
// bbb-NOT:  emitted-only-for-aaa
// bbb-SAME:                       emitted-only-for-bbb