[gcc/devel/rust/master] Merge #1206 #1209 #1211 #1212 #1213

[gcc/devel/rust/master] Merge #1206 #1209 #1211 #1212 #1213

[Thomas Schwinge]

https://gcc.gnu.org/g:21b9e1226cfbc4137a881a71c5e6f904fc5b364e

commit 21b9e1226cfbc4137a881a71c5e6f904fc5b364e
Merge: aa5ab230819 48cad9e8aed aa372462f48 0472834ddf1 884b9366862 cb22cd9da3d
Author: bors[bot] <26634292+bors[bot]@users.noreply.github.com>
Date:   Wed May 4 10:56:47 2022 +0000

    Merge #1206 #1209 #1211 #1212 #1213
    
    1206: Use correct format specifiers for unisnged HOST_WIDE_INT r=philberty a=philberty
    
    The code here was wrongly assuming the unsigned long interface which is not
    correctly for all targets.
    
    
    1209: Allow match on boolean expressions r=philberty a=dafaust
    
    Enables compiling `match` expressions where the scrutinee is a boolean expression. Also enable compiling match arms with Literal patterns, since `true` and `false` literals are commonly used with matches on boolean expressions.
    
    Fixes: #1207
    
    1211: Preserve inside_loop context when type checking match r=philberty a=dafaust
    
    Previously, we would lose the context of being inside a loop when compiling a `match`.
    This would lead to incorrect error messages like "cannot 'break' outside of a loop" when
    trying to break out of a loop from within a `match` expression.
    
    Fixes: #1196
    
    
    1212: intrinsic: add breakpoint intrinsic r=philberty a=liushuyu
    
    - intrinsic: add breakpoint intrinsic
    
    Addresses #658
    
    1213: intrinsic: add rotate_left and rotate_right intrinsic r=philberty a=liushuyu
    
    - intrinsic: add rotate_left and rotate_right intrinsic
    
    Address #658
    
    Co-authored-by: Philip Herron <philip.herron@embecosm.com>
    Co-authored-by: David Faust <david.faust@oracle.com>
    Co-authored-by: liushuyu <liushuyu011@gmail.com>

Diff:

 gcc/rust/backend/rust-compile-expr.cc             |  51 ++++++---
 gcc/rust/backend/rust-compile-intrinsic.cc        | 129 +++++++++++++++++++++-
 gcc/rust/backend/rust-compile-pattern.cc          |  14 +++
 gcc/rust/backend/rust-compile-pattern.h           |   2 +-
 gcc/rust/backend/rust-compile.cc                  |  13 ++-
 gcc/rust/typecheck/rust-hir-type-check-expr.h     |   2 +-
 gcc/testsuite/rust/execute/torture/match_bool1.rs |  44 ++++++++
 gcc/testsuite/rust/execute/torture/match_loop1.rs |  51 +++++++++
 8 files changed, 281 insertions(+), 25 deletions(-)