gcc.gnu.org Git - gcc.git/commit

author	Philip Herron <philip.herron@embecosm.com>
	Fri, 21 Oct 2022 11:55:28 +0000 (13:55 +0200)
committer	Arthur Cohen <arthur.cohen@embecosm.com>
	Tue, 13 Dec 2022 13:00:06 +0000 (14:00 +0100)
commit	06688fe40a249a406634d3307f662e2fe2e0c517
tree	28d9ebdf9c013248c3f88f5f48ed80a31c07c98c	tree
parent	24393cb68faadda19c9f0ba12b9bba501e8e4ff8	commit \| diff

gccrs: Add remaining type system transformations

This patch implements multiple transformation performed on the HIR
during type-resolution such as type coercion, casts, auto-dereferencement.

gcc/rust/
* typecheck/rust-autoderef.cc: New.
* typecheck/rust-autoderef.h: New.
* typecheck/rust-casts.cc: New.
* typecheck/rust-casts.h: New.
* typecheck/rust-coercion.cc: New.
* typecheck/rust-coercion.h: New.
* typecheck/rust-hir-dot-operator.cc: New.
* typecheck/rust-hir-dot-operator.h: New.
* typecheck/rust-hir-inherent-impl-overlap.h: New.
* typecheck/rust-hir-path-probe.h: New.
* typecheck/rust-hir-trait-ref.h: New.
* typecheck/rust-hir-type-bounds.h: New.
* typecheck/rust-substitution-mapper.cc: New.
* typecheck/rust-substitution-mapper.h: New.
* typecheck/rust-tycheck-dump.h: New.
* typecheck/rust-tyctx.cc: New.
* typecheck/rust-tyty-bounds.cc: New.
* typecheck/rust-tyty-call.cc: New.
* typecheck/rust-tyty-call.h: New.
* typecheck/rust-tyty-cmp.h: New.
* typecheck/rust-tyty-rules.h: New.

gcc/rust/typecheck/rust-autoderef.cc	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-autoderef.h	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-casts.cc	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-casts.h	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-coercion.cc	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-coercion.h	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-hir-dot-operator.cc	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-hir-dot-operator.h	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-hir-inherent-impl-overlap.h	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-hir-path-probe.h	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-hir-trait-ref.h	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-hir-type-bounds.h	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-substitution-mapper.cc	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-substitution-mapper.h	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-tycheck-dump.h	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-tyctx.cc	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-tyty-bounds.cc	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-tyty-call.cc	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-tyty-call.h	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-tyty-cmp.h	[new file with mode: 0644]	blob
gcc/rust/typecheck/rust-tyty-rules.h	[new file with mode: 0644]	blob