Merge pull request #1220 from bjorn3/dont_print_on_trap

Replace a lot of print+trap with plain trap

Replace a lot of print+trap with plain trap

This reduces binary sizes by a decent amount:

libstd.so: 17% reduction
mini_core_hello_world: 27% reduction
simple-raytracer: 27% reduction

This also improves compile time of simple-raytracer by 0.5s (4% +- 2%)
In addition it is also a pre-requisite for building standalone binaries.

Mark cold blocks

Update list of ignores rustc tests

Add and remove some fixmes

Remove almost all remaining feature gates

Only rustc_private is still enabled as cg_clif by definition needs to
use internal rustc api's.

Remove decl_macro usage

This reduces the amount of unstable features used by cg_clif

Rustup to rustc 1.61.0-nightly (f103b2969 2022-03-12)

Sync from rust 4800c7816ee1937d028407066d229f74b4673c92

Improve `AdtDef` interning.

This commit makes `AdtDef` use `Interned`. Much the commit is tedious
changes to introduce getter functions. The interesting changes are in
`compiler/rustc_middle/src/ty/adt.rs`.

Update Cranelift to 0.82.1

This fixes a miscompilation

Add missing clif ir comment

Update dependencies

Update Cranelift to 0.82.0

Fix Box deref for non-ZST allocators

Fix compiletest compilation

Rustup to rustc 1.61.0-nightly (03918badd 2022-03-07)

Sync from rust 67b3e8183830c7af4e06a9aa91de4d1be3c860f7

Clarify `Layout` interning.

`Layout` is another type that is sometimes interned, sometimes not, and
we always use references to refer to it so we can't take any advantage
of the uniqueness properties for hashing or equality checks.

This commit renames `Layout` as `LayoutS`, and then introduces a new
`Layout` that is a newtype around an `Interned<LayoutS>`. It also
interns more layouts than before. Previously layouts within layouts
(via the `variants` field) were never interned, but now they are. Hence
the lifetime on the new `Layout` type.

Unlike other interned types, these ones are in `rustc_target` instead of
`rustc_middle`. This reflects the existing structure of the code, which
does layout-specific stuff in `rustc_target` while `TyAndLayout` is
generic over the `Ty`, allowing the type-specific stuff to occur in
`rustc_middle`.

The commit also adds a `HashStable` impl for `Interned`, which was
needed. It hashes the contents, unlike the `Hash` impl which hashes the
pointer.

Introduce `ConstAllocation`.

Currently some `Allocation`s are interned, some are not, and it's very
hard to tell at a use point which is which.

This commit introduces `ConstAllocation` for the known-interned ones,
which makes the division much clearer. `ConstAllocation::inner()` is
used to get the underlying `Allocation`.

In some places it's natural to use an `Allocation`, in some it's natural
to use a `ConstAllocation`, and in some places there's no clear choice.
I've tried to make things look as nice as possible, while generally
favouring `ConstAllocation`, which is the type that embodies more
information. This does require quite a few calls to `inner()`.

The commit also tweaks how `PartialOrd` works for `Interned`. The
previous code was too clever by half, building on `T: Ord` to make the
code shorter. That caused problems with deriving `PartialOrd` and `Ord`
for `ConstAllocation`, so I changed it to build on `T: PartialOrd`,
which is slightly more verbose but much more standard and avoided the
problems.

Fix typo

rename ErrorReported -> ErrorGuaranteed

Normalize main return type during mono item collection & codegen

Merge branch 'sync_from_rust'

Merge commit '35d9c6bf256968e1b40e0d554607928bdf9cebea' into sync_cg_clif-2022-02-23

Rustup to rustc 1.61.0-nightly (68369a041 2022-02-22)

Sync from rust bafe8d06e015eb00724d3d497516191d6681943f

Rustup to rustc 1.61.0-nightly (03a8cc7df 2022-02-21)

Sync from rust 03a8cc7df1d65554a4d40825b0490c93ac0f0236

Rollup merge of #94169 - Amanieu:asm_stuff, r=nagisa

Fix several asm! related issues

This is a combination of several fixes, each split into a separate commit. Splitting these into PRs is not practical since they conflict with each other.

Fixes #92378
Fixes #85247

r? ``@nagisa``

Take CodegenFnAttrs into account when validating asm! register operands

Checking of asm! register operands now properly takes function
attributes such as #[target_feature] and #[instruction_set] into
account.

On ARM, use relocation_model to detect whether r9 should be reserved

The previous approach of checking for the reserve-r9 target feature
didn't actually work because LLVM only sets this feature very late when
initializing the per-function subtarget.

use `List<Ty<'tcx>>` for tuples

Update ignored rustc tests list

Rustup to rustc 1.61.0-nightly (3b348d932 2022-02-19)

Move ty::print methods to Drop-based scope guards

Rustup to rustc 1.60.0-nightly (09cb29c64 2022-02-15)

Sync from rust a240ccd81c74c105b6f5fe84c46f8d36edb7e306

Overhaul `Const`.

Specifically, rename the `Const` struct as `ConstS` and re-introduce `Const` as
this:
```
pub struct Const<'tcx>(&'tcx Interned<ConstS>);
```
This now matches `Ty` and `Predicate` more closely, including using
pointer-based `eq` and `hash`.

Notable changes:
- `mk_const` now takes a `ConstS`.
- `Const` was copy, despite being 48 bytes. Now `ConstS` is not, so need a
  we need separate arena for it, because we can't use the `Dropless` one any
  more.
- Many `&'tcx Const<'tcx>`/`&Const<'tcx>` to `Const<'tcx>` changes
- Many `ct.ty` to `ct.ty()` and `ct.val` to `ct.val()` changes.
- Lots of tedious sigil fiddling.

Overhaul `RegionKind` and `Region`.

Specifically, change `Region` from this:
```
pub type Region<'tcx> = &'tcx RegionKind;
```
to this:
```
pub struct Region<'tcx>(&'tcx Interned<RegionKind>);
```

This now matches `Ty` and `Predicate` more closely.

Things to note
- Regions have always been interned, but we haven't been using pointer-based
  `Eq` and `Hash`. This is now happening.
- I chose to impl `Deref` for `Region` because it makes pattern matching a lot
  nicer, and `Region` can be viewed as just a smart wrapper for `RegionKind`.
- Various methods are moved from `RegionKind` to `Region`.
- There is a lot of tedious sigil changes.
- A couple of types like `HighlightBuilder`, `RegionHighlightMode` now have a
  `'tcx` lifetime because they hold a `Ty<'tcx>`, so they can call `mk_region`.
- A couple of test outputs change slightly, I'm not sure why, but the new
  outputs are a little better.

Overhaul `TyS` and `Ty`.

Specifically, change `Ty` from this:
```
pub type Ty<'tcx> = &'tcx TyS<'tcx>;
```
to this
```
pub struct Ty<'tcx>(Interned<'tcx, TyS<'tcx>>);
```
There are two benefits to this.
- It's now a first class type, so we can define methods on it. This
  means we can move a lot of methods away from `TyS`, leaving `TyS` as a
  barely-used type, which is appropriate given that it's not meant to
  be used directly.
- The uniqueness requirement is now explicit, via the `Interned` type.
  E.g. the pointer-based `Eq` and `Hash` comes from `Interned`, rather
  than via `TyS`, which wasn't obvious at all.

Much of this commit is boring churn. The interesting changes are in
these files:
- compiler/rustc_middle/src/arena.rs
- compiler/rustc_middle/src/mir/visit.rs
- compiler/rustc_middle/src/ty/context.rs
- compiler/rustc_middle/src/ty/mod.rs

Specifically:
- Most mentions of `TyS` are removed. It's very much a dumb struct now;
  `Ty` has all the smarts.
- `TyS` now has `crate` visibility instead of `pub`.
- `TyS::make_for_test` is removed in favour of the static `BOOL_TY`,
  which just works better with the new structure.
- The `Eq`/`Ord`/`Hash` impls are removed from `TyS`. `Interned`s impls
  of `Eq`/`Hash` now suffice. `Ord` is now partly on `Interned`
  (pointer-based, for the `Equal` case) and partly on `TyS`
  (contents-based, for the other cases).
- There are many tedious sigil adjustments, i.e. adding or removing `*`
  or `&`. They seem to be unavoidable.

Rustup to rustc 1.60.0-nightly (5d8767cb2 2022-02-12)

Sync from rust 9a60099cc43c8a07abb280be323d1ed9afc27f2c

Unconditionally update symbols

All paths to an ArchiveBuilder::build call update_symbols first.

Make FnAbiError Copy.

Ensure that queries only return Copy types.

Update Cranelift to 0.81.0

Don't try to reinstall ripgrep if it is already installed

Rustup to rustc 1.60.0-nightly (88fb06a1f 2022-02-05)

Merge codegen of a couple more simd intrinsics

Merge codegen of several simd intrinsics

This reduces code duplication

Remove the remaining simd intrinsic macros

Remove simd_cmp macro

This reduces duplication in the codegened source file

Fix simd type validation

Remove validate_atomic_type

By expanding it in place. Also extract a common
report_atomic_type_validation_error function to reduce code duplication.

Don't generate unnecessary let $arg=$arg for intrinsics

Remove some unused lint allows

Add const_allocate and const_deallocate intrinsics

Update dependencies

Rustup to rustc 1.60.0-nightly (a00e130da 2022-01-29)

Sync from rust a00e130dae74a213338e2b095ec855156d8f3d8a

Use an `indexmap` to avoid sorting `LocalDefId`s

Update `indexmap` to 1.8.0.

Bless test

Rustfmt

Implement unchecked_mul intrinsic

Rustup to rustc 1.60.0-nightly (9ad5d82f8 2022-01-18)

Sync from rust 2f004d2d401682e553af3984ebd9a3976885e752

remove `is_noop`

Split compile_fn out of codegen_fn

Pass only the Function to write_clif_file

Record object file artifact size in self profile data

Update rustc test ignore list

Use 2021 edition for libcore tests

Rustup to rustc 1.60.0-nightly (ee5d8d37b 2022-01-17)

Sync from rust 7531d2fdd49966d83830a7b4596c95587b1e9573

Pass target_features set instead of has_feature closure

This avoids unnecessary monomorphizations in codegen backends

Use Symbol for target features in asm handling

This saves a couple of Symbol::intern calls

Auto merge of #92816 - tmiasko:rm-llvm-asm, r=Amanieu

Remove deprecated LLVM-style inline assembly

The `llvm_asm!` was deprecated back in #87590 1.56.0, with intention to remove
it once `asm!` was stabilized, which already happened in #91728 1.59.0. Now it
is time to remove `llvm_asm!` to avoid continued maintenance cost.

Closes #70173.
Closes #92794.
Closes #87612.
Closes #82065.

cc `@rust-lang/wg-inline-asm`

r? `@Amanieu`

initial revert

Remove deprecated LLVM-style inline assembly

Store a `Symbol` instead of an `Ident` in `VariantDef`/`FieldDef`

The field is also renamed from `ident` to `name. In most cases,
we don't actually need the `Span`. A new `ident` method is added
to `VariantDef` and `FieldDef`, which constructs the full `Ident`
using `tcx.def_ident_span()`. This method is used in the cases
where we actually need an `Ident`.

This makes incremental compilation properly track changes
to the `Span`, without all of the invalidations caused by storing
a `Span` directly via an `Ident`.

Add y.bin to clean_all.sh

Update to Cranelift 0.80.0

Move most code from y.rs to build_system/mod.rs

y.rs can't be rustfmt'ed without making it no longer be a valid bash
script.

Merge pull request #1216 from bjorn3/reduce_cg_clif_compile_times

Refactor the intrinsics module for slightly better build times

Pass Ty instead of TyAndLayout to the closure of various simd helpers

This reduces the total amount of llvm ir lines for simd related
functions from 9604 to 9467.

Don't monomorphize the simd helpers for each closure

This halves the total amount of llvm ir lines for simd related functions
from 18227 to 9604.

Return Value instead of CValue from the simd_for_each_lane closure

Use simplified version of bool_to_zero_or_max_uint in simd_cmp

Slightly simplify some macros by removing an extra case for when signedness doesn't matter

This is slightly more verbose when invoking the macro.

Remove support for vector icmp for now

Real simd support will need an overhaul in the future anyway. For now it
only complicates the code.

Move a couple of macros to intrinsics::simd

Move validate_simd_type from intrinsics to intrinsics::simd

Turn validate_simd_type into a function

This effectively outlines it, significantly reducing the size of
the codegen_simd_intrinsic_call llvm ir from 10419 lines to 6378 lines.

Remove the call_intrinsic_match macro

Dedup codegen_operand calls in codegen_float_intrinsic_call

This reduces the amount of llvm ir lines for this function by a little
over half from 1662 to 781.

Dedup write_cvalue calls in codegen_float_intrinsic_call

Also directly use an array instead of going through a tuple. This
reduces the amount of llvm ir lines for this function by almost half
from 3086 to 1662.

Move call_intrinsic_match macro into codegen_float_intrinsic_call

Only use a single bug!() invocation in call_intrinsic_match

This reduces code size

Remove unnecessary argument

Remove a couple of duplicate calls