rust/codegen at 58d7c2d5a760c1adfa4c3984eeb12787f5ad5b1d - rust

mirror of https://github.com/rust-lang/rust.git synced 2025-12-30 10:15:31 +00:00

History

Scott McMurray 58d7c2d5a7 Make UB transmutes really UB in LLVM

Ralf suggested in <https://github.com/rust-lang/rust/pull/143410#discussion_r2184928123> that UB transmutes shouldn't be trapping, which happened for the one path that PR was changing, but there's another path as well, so this PR changes that other path to match.

2025-07-09 22:30:15 -07:00

asm

remove asm_goto feature annotation, for it is now stabilized

2025-06-21 23:26:56 +02:00

autodiff

Update generic tests

2025-05-21 07:24:43 +00:00

autovec

tests: Revise dont-shuffle-bswaps-opt3 per tested arch

2025-06-09 23:15:44 -07:00

auxiliary

…

avr

update/bless tests

2025-04-06 21:41:47 +02:00

bounds-checking

…

cffi

stabilize naked_functions

2025-04-20 11:18:38 +02:00

compiletest-self-test

…

cross-crate-inlining

…

debug-accessibility

…

debuginfo-proc-macro

Update the minimum external LLVM to 19

2025-04-05 11:44:38 -07:00

dllimports

…

enum

Let rvalue_creates_operand return true for *all* Rvalue::Aggregates

2025-07-07 23:08:10 -07:00

ergonomic-clones

Add codegen test to be sure we get rid of uneeded clones after monomorphization

2025-04-07 16:53:11 -03:00

float

Expose algebraic floating point intrinsics

2025-04-04 16:13:57 -07:00

hint

…

instrument-coverage

…

instrument-xray

…

intrinsics

Make UB transmutes really UB in LLVM

2025-07-09 22:30:15 -07:00

issues

Describe lifetime of call argument temporaries passed indirectly

2025-05-17 09:49:03 +02:00

lib-optimizations

…

loongarch-abi

tests: use minicore more

2025-02-24 09:26:54 +00:00

macos

tests: use minicore more

2025-02-24 09:26:54 +00:00

meta-filecheck

…

naked-fn

Skip align tests on wasm

2025-07-06 18:10:52 -04:00

non-terminate

…

option-niche-unfixed

tests: mark option-niche-eq as fixed on LLVM 21

2025-05-27 11:20:52 -04:00

patchable-function-entry

…

remap_path_prefix

tests: use //@ ignore-auxiliary with backlinked primary test file

2025-04-17 19:45:28 +08:00

repr

enable msa feature for mips in codegen tests

2025-04-29 10:20:25 +02:00

riscv-abi

Fix RISC-V C function ABI when passing/returning structs containing floats

2025-06-16 10:14:07 +01:00

sanitizer

Fix tests to drop now-skipped codegen

2025-06-22 12:03:42 -04:00

simd

Let rvalue_creates_operand return true for *all* Rvalue::Aggregates

2025-07-07 23:08:10 -07:00

simd-intrinsic

Block SIMD in transmute_immediate; delete OperandValueKind

2025-07-03 22:23:15 -07:00

src-hash-algorithm

…

unwind-abis

tests: {Meta,Pointee}Sized in non-minicore tests

2025-06-16 23:04:33 +00:00

aarch64-softfloat.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

aarch64-struct-align-128.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

abi-efiapi.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

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

…

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

…

abi-repr-ext.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

abi-sysv64.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

abi-win64-zst.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

abi-x86_64_sysv.rs

…

abi-x86-interrupt.rs

Error on invalid signatures for interrupt ABIs

2025-06-24 14:40:11 +02:00

abi-x86-sse.rs

tests: {Meta,Pointee}Sized in non-minicore tests

2025-06-16 23:04:33 +00:00

addr-of-mutate.rs

…

adjustments.rs

…

align-byval-alignment-mismatch.rs

Describe lifetime of call argument temporaries passed indirectly

2025-05-17 09:49:03 +02:00

align-byval-vector.rs

use add-core-stubs / minicore for a few more tests

2025-02-16 18:37:50 +01:00

align-byval.rs

use add-core-stubs / minicore for a few more tests

2025-02-16 18:37:50 +01:00

align-enum.rs

…

align-fn.rs

Skip align tests on wasm

2025-07-06 18:10:52 -04:00

align-offset.rs

…

align-struct.rs

Allow all MIR Aggregates to take the operand path (if layout permits)

2025-07-03 22:53:19 -07:00

alloc-optimisation.rs

Change __rust_no_alloc_shim_is_unstable to be a function

2025-06-16 10:54:07 -07:00

amdgpu-addrspacecast.rs

…

array-clone.rs

…

array-cmp.rs

Extend the chaining logic to slices too

2025-04-12 22:10:17 -07:00

array-codegen.rs

…

array-equality.rs

…

array-from_fn.rs

…

array-map.rs

…

array-optimized.rs

…

array-repeat.rs

…

ascii-char.rs

…

assign-desugar-debuginfo.rs

Don't produce debug information for compiler-introduced-vars when desugaring assignments.

2025-03-21 17:34:45 -07:00

async-closure-debug.rs

replace //@ compile-flags: --edition with //@ edition

2025-04-10 09:56:37 +02:00

async-fn-debug-awaitee-field.rs

replace //@ compile-flags: --edition with //@ edition

2025-04-10 09:56:37 +02:00

async-fn-debug-msvc.rs

didn't catch this test failure, whoops

2025-04-11 09:57:21 +02:00

async-fn-debug.rs

replace //@ compile-flags: --edition with //@ edition

2025-04-10 09:56:37 +02:00

atomic-operations.rs

…

atomicptr.rs

…

autodiffv2.rs

passing test for dualv

2025-04-16 17:13:50 -04:00

autovectorize-f32x4.rs

…

bigint-helpers.rs

…

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

…

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

…

bool-cmp.rs

…

box-default-debug-copies.rs

…

box-uninit-bytes.rs

Remove implicit #[no_mangle] for #[rustc_std_internal_symbol]

2025-03-17 14:08:09 +00:00

bpf-alu32.rs

…

branch-protection.rs

Update the minimum external LLVM to 19

2025-04-05 11:44:38 -07:00

call-llvm-intrinsics.rs

…

call-tmps-lifetime.rs

Describe lifetime of call argument temporaries passed indirectly

2025-05-17 09:49:03 +02:00

cast-optimized.rs

…

cast-target-abi.rs

Update the minimum external LLVM to 19

2025-04-05 11:44:38 -07:00

catch-unwind.rs

…

cdylib-external-inline-fns.rs

…

cf-protection.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

cfguard-checks.rs

…

cfguard-disabled.rs

…

cfguard-nochecks.rs

…

cfguard-non-msvc.rs

…

char-ascii-branchless.rs

…

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

Add test for escape_debug without bounds check.

2025-03-06 21:38:39 +01:00

checked_ilog.rs

…

checked_math.rs

…

clone_as_copy.rs

Remove unsound-mir-opts for simplify_aggregate_to_copy

2025-04-03 21:59:43 +08:00

clone-shims.rs

…

codemodels.rs

…

coercions.rs

…

cold-call-declare-and-call.rs

…

common_prim_int_ptr.rs

Allow all MIR Aggregates to take the operand path (if layout permits)

2025-07-03 22:53:19 -07:00

comparison-operators-2-struct.rs

Update some comparison tests now that they pass in LLVM20

2025-02-17 16:36:14 -08:00

comparison-operators-2-tuple.rs

Lower BinOp::Cmp to llvm.{s,u}cmp.* intrinsics

2025-03-06 22:29:05 +08:00

comparison-operators-newtype.rs

…

const_scalar_pair.rs

…

const-array.rs

Avoid wrapping constant allocations in packed structs when not necessary

2025-03-28 09:19:57 +00:00

const-vector.rs

Rollup merge of #140457 - fneddy:fix_s390x_codegen_const_vector, r=Mark-Simulacrum

2025-05-04 18:11:48 -04:00

constant-branch.rs

…

consts.rs

…

coroutine-debug-msvc.rs

…

coroutine-debug.rs

replace //@ compile-flags: --edition with //@ edition

2025-04-10 09:56:37 +02:00

dealloc-no-unwind.rs

Remove implicit #[no_mangle] for #[rustc_std_internal_symbol]

2025-03-17 14:08:09 +00:00

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

Avoid wrapping constant allocations in packed structs when not necessary

2025-03-28 09:19:57 +00:00

debuginfo-constant-locals.rs

…

debuginfo-generic-closure-env-names.rs

replace //@ compile-flags: --edition with //@ edition

2025-04-10 09:56:37 +02:00

debuginfo-inline-callsite-location.rs

…

deduced-param-attrs.rs

Unimplement unsized_locals

2025-06-13 01:16:36 +02:00

default-requires-uwtable.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

default-visibility.rs

…

direct-access-external-data.rs

…

dont_codegen_private_const_fn_only_used_in_const_eval.rs

…

drop-in-place-noalias.rs

…

drop.rs

…

dst-offset.rs

tests: PointeeSized bounds with extern types

2025-06-16 23:04:35 +00:00

dst-vtable-align-nonzero.rs

…

dst-vtable-size-range.rs

…

ehcontguard_disabled.rs

…

ehcontguard_enabled.rs

…

emscripten-catch-unwind-js-eh.rs

tests: {Meta,Pointee}Sized in non-minicore tests

2025-06-16 23:04:33 +00:00

emscripten-catch-unwind-wasm-eh.rs

tests: {Meta,Pointee}Sized in non-minicore tests

2025-06-16 23:04:33 +00:00

enable-lto-unit-splitting.rs

…

error-provide.rs

…

export-no-mangle.rs

…

external-no-mangle-fns.rs

…

external-no-mangle-statics.rs

Avoid wrapping constant allocations in packed structs when not necessary

2025-03-28 09:19:57 +00:00

f128-wasm32-callconv.rs

…

fastcall-inreg.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

fatptr.rs

…

fewer-names.rs

…

fixed-x18.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

float_math.rs

Expose algebraic floating point intrinsics

2025-04-04 16:13:57 -07:00

fn-impl-trait-self.rs

…

force-frame-pointers.rs

…

force-no-unwind-tables.rs

…

force-unwind-tables.rs

…

frame-pointer-cli-control.rs

tests: remove define so dso_local attr does not disrupt test

2025-06-16 23:21:23 -07:00

frame-pointer.rs

aarch64-linux: Default to FramePointer::NonLeaf

2025-05-17 06:42:46 +02:00

function-arguments-noopt.rs

…

function-arguments.rs

Remove support for dyn*

2025-07-01 19:00:21 +00:00

function-return.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

gdb_debug_script_load.rs

…

generic-debug.rs

…

gep-index.rs

Also use gep inbounds nuw for index projections

2025-02-19 15:15:29 +01:00

gpu-kernel-abi.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

i128-wasm32-callconv.rs

…

i128-x86-align.rs

…

i128-x86-callconv.rs

x86_win64 ABI: do not use xmm0 with softfloat ABI

2025-02-19 08:41:19 +01:00

infallible-unwrap-in-opt-z.rs

replace //@ compile-flags: --edition with //@ edition

2025-04-10 09:56:37 +02:00

inherit_overflow.rs

…

inline-always-works-always.rs

…

inline-debuginfo.rs

…

inline-function-args-debug-info.rs

replace //@ compile-flags: --edition with //@ edition

2025-04-10 09:56:37 +02:00

inline-hint.rs

…

instrument-mcount.rs

…

integer-cmp.rs

Lower BinOp::Cmp to llvm.{s,u}cmp.* intrinsics

2025-03-06 22:29:05 +08:00

integer-overflow.rs

…

internalize-closures.rs

…

intrinsic-no-unnamed-attr.rs

replace some #[rustc_intrinsic] usage with use of the libcore declarations

2025-04-16 14:48:20 +02:00

is_val_statically_known.rs

…

issue-97217.rs

…

iter-repeat-n-trivial-drop.rs

100% safe implementation of RepeatN

2025-06-13 22:32:15 +02:00

layout-size-checks.rs

…

lifetime_start_end.rs

…

link_section.rs

Avoid wrapping constant allocations in packed structs when not necessary

2025-03-28 09:19:57 +00:00

link-dead-code.rs

…

llvm_module_flags.rs

…

llvm-ident.rs

…

loads.rs

…

local-generics-in-exe-internalized.rs

…

lto-removes-invokes.rs

…

mainsubprogram.rs

…

match-optimized.rs

…

match-optimizes-away.rs

Don't alloca just to look at a discriminant

2025-03-12 00:56:43 -07:00

match-unoptimized.rs

…

maybeuninit-rvo.rs

…

mem-replace-big-type.rs

…

mem-replace-simple-type.rs

…

merge-functions.rs

…

method-declaration.rs

…

min-function-alignment.rs

Skip align tests on wasm

2025-07-06 18:10:52 -04:00

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

error on calls to ABIs that cannot be called

2025-06-20 19:09:02 +02:00

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

tests: use minicore more

2025-02-24 09:26:54 +00:00

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

tests: mark option-niche-eq as fixed on LLVM 21

2025-05-27 11:20:52 -04:00

overaligned-constant.rs

The embedded bitcode should always be prepared for LTO/ThinLTO

2025-02-23 21:23:36 +08:00

packed.rs

…

panic-abort-windows.rs

…

panic-in-drop-abort.rs

…

panic-unwind-default-uwtable.rs

…

pattern_type_symbols.rs

Hide the end of ranges in pretty printing if it's also the maximum of the type

2025-03-06 10:50:23 +00:00

personality_lifetimes.rs

…

pgo-counter-bias.rs

…

pgo-instrumentation.rs

…

pic-relocation-model.rs

…

pie-relocation-model.rs

Apply ABI attributes on return types in rustc_codegen_cranelift

2025-06-12 00:47:01 +01:00

placement-new.rs

…

powerpc64le-struct-align-128.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

precondition-checks.rs

…

ptr-arithmetic.rs

Emit getelementptr inbounds nuw for pointer::add()

2025-02-19 11:32:32 +01:00

ptr-read-metadata.rs

…

range_to_inclusive.rs

…

range-attribute.rs

Update the minimum external LLVM to 19

2025-04-05 11:44:38 -07:00

range-loop.rs

Allow more top-down inlining for single-BB callees

2025-03-12 22:39:43 -07:00

README.md

…

refs.rs

…

reg-struct-return.rs

…

regparm-inreg.rs

make abi_unsupported_vector_types a hard error

2025-04-20 11:34:56 +02:00

repeat-trusted-len.rs

…

retpoline.rs

tests: Convert two handwritten minicores to add-core-stubs

2025-06-13 18:59:41 -07:00

riscv-target-abi.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

rust-abi-arch-specific-adjustment.rs

…

s390x-simd.rs

…

scalar-pair-bool.rs

…

set-discriminant-invalid.rs

Allow all MIR Aggregates to take the operand path (if layout permits)

2025-07-03 22:53:19 -07:00

skip-mono-inside-if-false.rs

…

slice_as_from_ptr_range.rs

…

slice-as_chunks.rs

Stabilize slice_as_chunks library feature

2025-04-10 21:07:09 -07:00

slice-indexing.rs

…

slice-init.rs

Add a test

2025-03-02 18:53:49 +00:00

slice-is-ascii.rs

Use explicit cpu in some asm and codegen tests.

2025-03-19 19:45:46 +01:00

slice-iter-fold.rs

…

slice-iter-len-eq-zero.rs

…

slice-iter-nonnull.rs

Simplify slice::Iter::next enough that it inlines

2025-02-14 22:24:27 -08:00

slice-last-elements-optimization.rs

Add tests for LLVM 20 slice bounds check optimization

2025-03-31 22:38:53 +09:00

slice-pointer-nonnull-unwrap.rs

…

slice-position-bounds-check.rs

…

slice-ref-equality.rs

…

slice-reverse.rs

…

slice-split-at.rs

slice: Remove some uses of unsafe in first/last chunk methods

2025-03-30 12:45:04 -04:00

slice-windows-no-bounds-check.rs

…

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

tests: use minicore more

2025-02-24 09:26:54 +00:00

some-global-nonnull.rs

…

sparc-struct-abi.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

split-lto-unit.rs

…

sroa-fragment-debuginfo.rs

…

sse42-implies-crc32.rs

…

stack-probes-inline.rs

tests: use minicore more

2025-02-24 09:26:54 +00:00

stack-protector.rs

…

static-relocation-model-msvc.rs

…

staticlib-external-inline-fns.rs

…

step_by-overflow-checks.rs

…

stores.rs

…

string-push.rs

Speed up String::push and String::insert

2025-04-09 13:06:10 +03:00

swap-large-types.rs

Ensure swap_nonoverlapping is really always untyped

2025-04-09 09:09:37 -07:00

swap-small-types.rs

skip tests/codegen/swap-small-types when debug assertions are on

2025-04-09 10:44:49 -07:00

target-cpu-on-functions.rs

…

target-feature-inline-closure.rs

Fix target-feature inline test to be less flaky

2025-03-06 19:56:21 +00:00

target-feature-negative-implication.rs

unify two -Ctarget-feature parsers

2025-06-19 09:44:24 +09:00

target-feature-overrides.rs

unify two -Ctarget-feature parsers

2025-06-19 09:44:24 +09:00

terminating-catchpad.rs

tests: {Meta,Pointee}Sized in non-minicore tests

2025-06-16 23:04:33 +00:00

thread-local.rs

rustc_codegen_llvm: use threadlocal.address intrinsic to access TLS

2025-05-29 16:07:43 +02:00

tied-features-strength.rs

unify two -Ctarget-feature parsers

2025-06-19 09:44:24 +09:00

to_vec.rs

…

trailing_zeros.rs

…

transmute-optimized.rs

…

transmute-scalar.rs

Block SIMD in transmute_immediate; delete OperandValueKind

2025-07-03 22:23:15 -07:00

try_question_mark_nop.rs

replace //@ compile-flags: --edition with //@ edition

2025-04-10 09:56:37 +02:00

tune-cpu-on-functions.rs

…

tuple-layout-opt.rs

…

ub-checks.rs

…

unchecked_shifts.rs

Update the minimum external LLVM to 19

2025-04-05 11:44:38 -07:00

unchecked-float-casts.rs

…

uninhabited-transparent-return-abi.rs

tests: fix up new test for nocapture -> capture(none) change

2025-02-25 17:46:05 -05:00

uninit-consts.rs

Avoid wrapping constant allocations in packed structs when not necessary

2025-03-28 09:19:57 +00:00

uninit-repeat-in-aggregate.rs

Lower to a memset(undef) when Rvalue::Repeat repeats uninit

2025-03-19 23:57:49 -04:00

union-abi.rs

Emit trunc nuw for unchecked shifts and to_immediate_scalar

2025-02-19 11:36:52 -08:00

union-aggregate.rs

Let rvalue_creates_operand return true for *all* Rvalue::Aggregates

2025-07-07 23:08:10 -07:00

unwind-and-panic-abort.rs

…

unwind-extern-exports.rs

…

unwind-extern-imports.rs

…

unwind-landingpad-cold.rs

…

unwind-landingpad-inline.rs

Change __rust_no_alloc_shim_is_unstable to be a function

2025-06-16 10:54:07 -07:00

used_with_arg.rs

…

var-names.rs

…

vec_pop_push_noop.rs

Update the minimum external LLVM to 19

2025-04-05 11:44:38 -07:00

vec-as-ptr.rs

…

vec-calloc.rs

Remove implicit #[no_mangle] for #[rustc_std_internal_symbol]

2025-03-17 14:08:09 +00:00

vec-in-place.rs

Block SIMD in transmute_immediate; delete OperandValueKind

2025-07-03 22:23:15 -07:00

vec-iter-collect-len.rs

Change __rust_no_alloc_shim_is_unstable to be a function

2025-06-16 10:54:07 -07:00

vec-iter.rs

…

vec-len-invariant.rs

…

vec-optimizes-away.rs

Change __rust_no_alloc_shim_is_unstable to be a function

2025-06-16 10:54:07 -07:00

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

Don't infer unwinding of virtual calls based on the function attributes

2025-02-27 12:58:18 +08:00

virtual-function-elimination-32bit.rs

…

virtual-function-elimination.rs

Unimplement unsized_locals

2025-06-13 01:16:36 +02:00

vtable-loads.rs

…

vtable-upcast.rs

…

wasm_casts_trapping.rs

…

wasm_exceptions.rs

…

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