RUN: llvm-cxxfilt -n < %s | FileCheck --match-full-lines %s

CHECK: a::main

_RNvC1a4main

CHECK: hello::rust

_RNvCshGpAVYOtgW1_5hello4rust

CHECK: a::b::c

_RNvNvC1a1b1c

; Instantiating crate

CHECK: crate

_RC5crateC3foo

; Closure namespace

CHECK: crate::{closure#0}

_RNCC5crate0

CHECK: crate::{closure#1}

_RNCC5crates_0

CHECK: crate::{closure:foo#0}

_RNCC5crate3foo

CHECK: crate::{closure:foo#1}

_RNCC5crates_3foo

; Shim namespace

CHECK: crate::{shim:reify#0}

_RNSC5crate5reify

; Unrecognized special namespace

CHECK: crate::{Z:ident#10}

_RNZC5crates8_5ident

; Inherent impl

CHECK: <_>

_RMC5cratep

CHECK: <_>

_RMs_C5cratep

; Trait impl

CHECK: <_ as Clone>

_RXC5cratepC5Clone

CHECK: <_ as Clone>

_RXs_C5cratepC5Clone

; Trait definition

CHECK: <_ as Ord>

_RYpC3Ord

; Generic type arguments

CHECK: generic::<_>

_RIC7genericpE

CHECK: generic::<_, _>

_RIC7genericppE

CHECK: generic::<_, _, _>

_RIC7genericpppE

; Generic const arguments

CHECK: generic_const::<_>

_RIC13generic_constKpE

; Generic lifetime arguments

CHECK: generic_lifetime::<'_>

_RIC16generic_lifetimeL_E

; Invalid lifetime index.

CHECK: _RIC16generic_lifetimeL0_E

_RIC16generic_lifetimeL0_E

; Basic types

CHECK: basic::<i8>

_RIC5basicaE

CHECK: basic::<bool>

_RIC5basicbE

CHECK: basic::<char>

_RIC5basiccE

CHECK: basic::<f64>

_RIC5basicdE

CHECK: basic::<str>

_RIC5basiceE

CHECK: basic::<f32>

_RIC5basicfE

CHECK: basic::<u8>

_RIC5basichE

CHECK: basic::<isize>

_RIC5basiciE

CHECK: basic::<usize>

_RIC5basicjE

CHECK: basic::<i32>

_RIC5basiclE

CHECK: basic::<u32>

_RIC5basicmE

CHECK: basic::<i128>

_RIC5basicnE

CHECK: basic::<u128>

_RIC5basicoE

CHECK: basic::<_>

_RIC5basicpE

CHECK: basic::<i16>

_RIC5basicsE

CHECK: basic::<u16>

_RIC5basictE

CHECK: basic::<()>

_RIC5basicuE

CHECK: basic::<...>

_RIC5basicvE

CHECK: basic::<i64>

_RIC5basicxE

CHECK: basic::<u64>

_RIC5basicyE

CHECK: basic::<!>

_RIC5basiczE

; Named types. Test possible paths productions.

CHECK: named::<name>

_RIC5namedC4nameE

CHECK: named::<<_>>

_RIC5namedMC5cratepE

CHECK: named::<<_ as Name>>

_RIC5namedXC5cratepC4NameE

CHECK: named::<<_ as Name>>

_RIC5namedYpC4NameE

CHECK: named::<name::Name>

_RIC5namedNvC4name4NameE

CHECK: named::<Name<>>

_RIC5namedIC4NameEE

; Types

CHECK: types::<[u8; 0]>

_RIC5typesAhj0_E

CHECK: types::<[_]>

_RIC5typesSpE

CHECK: types::<()>

_RIC5typesTEE

CHECK: types::<(_,)>

_RIC5typesTpEE

CHECK: types::<(_, _)>

_RIC5typesTppEE

CHECK: types::<(_, _, _)>

_RIC5typesTpppEE

CHECK: types::<&_>

_RIC5typesRpE

CHECK: types::<&_>

_RIC5typesRL_pE

CHECK: types::<&mut _>

_RIC5typesQpE

CHECK: types::<&mut _>

_RIC5typesQL_pE

CHECK: types::<*const _>

_RIC5typesPpE

CHECK: types::<*mut _>

_RIC5typesOpE

; Function signatures

CHECK: function::<fn()>

_RIC8functionFEuE

CHECK: function::<fn() -> _>

_RIC8functionFEpE

CHECK: function::<fn(_)>

_RIC8functionFpEuE

CHECK: function::<fn(_, _)>

_RIC8functionFppEuE

CHECK: function::<fn(_, _, _)>

_RIC8functionFpppEuE

CHECK: function::<unsafe fn()>

_RIC8functionFUEuE

CHECK: function::<extern "C" fn()>

_RIC8functionFKCEuE

CHECK: function::<extern "cdecl" fn()>

_RIC8functionFK5cdeclEuE

CHECK: function::<unsafe extern "C-cmse-nonsecure-call" fn()>

_RIC8functionFUK21C_cmse_nonsecure_callEuE

; Invalid ABI with punycode.

CHECK: _RIC8functionFKu3n3hEuE

_RIC8functionFKu3n3hEuE

; Trait objects

CHECK: trait::<dyn >

_RIC5traitDEL_E

CHECK: trait::<dyn for<'a> >

_RIC5traitDG_EL_E

CHECK: trait::<for<'a> fn(dyn for<'b> + 'a)>

_RIC5traitFG_DG_EL0_EuE

CHECK: trait::<dyn Display>

_RIC5traitDC7DisplayEL_E

CHECK: trait::<dyn Display + Send + Sync>

_RIC5traitDC7DisplayC4SendC4SyncEL_E

CHECK: trait::<dyn for<'a> Display>

_RIC5traitDG_C7DisplayEL_E

CHECK: trait::<dyn IntoIterator<_, Item = _>>

_RIC5traitDIC12IntoIteratorpEp4ItempEL_E

CHECK: trait::<dyn IntoIterator<Item = _>>

_RIC5traitDC12IntoIteratorp4ItempEL_E

CHECK: trait::<dyn IntoIterator<Item = _, IntoIter = _>>

_RIC5traitDC12IntoIteratorp4Itempp8IntoIterpEL_E

; Invalid trait object, missing lifetime.

CHECK: _RIC5traitDEE

_RIC5traitDEE

; Binders

CHECK: binders::<for<'a> fn(&'a _)>

_RIC7bindersFG_RL0_pEuE

CHECK: binders::<for<'a> fn(&'a mut _)>

_RIC7bindersFG_QL0_pEuE

CHECK: binders::<for<'a, 'b> fn(&'a _, &'b _)>

_RIC7bindersFG0_RL1_pRL0_pEuE

CHECK: binders::<for<'a, 'b> fn() -> for<'c, 'd> fn(&'a _, &'d _)>

_RIC7bindersFG0_EFG0_RL3_pRL0_pEuE

CHECK: binders::<for<'a, 'b, 'c, 'd, 'e, 'f, 'g, 'h, 'i, 'j, 'k, 'l, 'm, 'n, 'o, 'p, 'q, 'r, 's, 't, 'u, 'v, 'w, 'x, 'y, 'z, 'z1, 'z2, 'z3, 'z4> fn(&'a &'b &'c &'d &'e &'f &'g &'h &'i &'j &'k &'l &'m &'n &'o &'p &'q &'r &'s &'t &'u &'v &'w &'x &'y &'z &'z1 &'z2 &'z3 &'z4 ())>

_RIC7bindersFGs_RLt_RLs_RLr_RLq_RLp_RLo_RLn_RLm_RLl_RLk_RLj_RLi_RLh_RLg_RLf_RLe_RLd_RLc_RLb_RLa_RL9_RL8_RL7_RL6_RL5_RL4_RL3_RL2_RL1_RL0_uEuE

; Invalid binder. Too many bound lifetimes.

CHECK: _RIC7bindersFGFF_EuE

_RIC7bindersFGFF_EuE

; Integer constants. Test value demangling.

CHECK: integer::<0>

_RIC7integerKi0_E

CHECK: integer::<1>

_RIC7integerKi1_E

CHECK: integer::<-1>

_RIC7integerKin1_E

CHECK: integer::<-15>

_RIC7integerKinf_E

CHECK: integer::<-16>

_RIC7integerKin10_E

CHECK: integer::<18446744073709551615>

_RIC7integerKoffffffffffffffff_E

CHECK: integer::<0x10000000000000000>

_RIC7integerKo10000000000000000_E

CHECK: integer::<-0x123456789abcdef01>

_RIC7integerKnn123456789abcdef01_E

; Invalid integer constant without any digits:

CHECK: _RIC7integerKi_E

_RIC7integerKi_E

; Invalid integer constants with insignificant leading zeros:

CHECK: _RIC7integerKi00_E

_RIC7integerKi00_E

CHECK: _RIC7integerKi01_E

_RIC7integerKi01_E

; Integer constants. Test all integer types.

CHECK: i8::<0>

_RIC2i8Ka0_E

CHECK: u8::<0>

_RIC2u8Kh0_E

CHECK: isize::<0>

_RIC5isizeKi0_E

CHECK: usize::<0>

_RIC5usizeKj0_E

CHECK: i32::<0>

_RIC3i32Kl0_E

CHECK: u32::<0>

_RIC3u32Km0_E

CHECK: i128::<0>

_RIC4i128Kn0_E

CHECK: u128::<0>

_RIC4u128Ko0_E

CHECK: i16::<0>

_RIC3i16Ks0_E

CHECK: u16::<0>

_RIC3u16Kt0_E

CHECK: i64::<0>

_RIC3i64Kx0_E

CHECK: u64::<0>

_RIC3u64Ky0_E

; Bool constants

CHECK: bool::<false>

_RIC4boolKb0_E

CHECK: bool::<true>

_RIC4boolKb1_E

; Invalid bool constants

CHECK: _RIC4boolKb2_E

_RIC4boolKb2_E

CHECK: _RIC4boolKbn0_E

_RIC4boolKbn0_E

; Char constants

CHECK: char::<'a'>

_RIC4charKc61_E

CHECK: char::<'"'>

_RIC4charKc22_E

CHECK: char::<'\t'>

_RIC4charKc9_E

CHECK: char::<'\r'>

_RIC4charKcd_E

CHECK: char::<'\n'>

_RIC4charKca_E

CHECK: char::<'\\'>

_RIC4charKc5c_E

CHECK: char::<'\''>

_RIC4charKc27_E

CHECK: char::<'\u{1f40d}'>

_RIC4charKc1f40d_E

CHECK: char::<'\u{10ffff}'>

_RIC4charKc10ffff_E

; Invalid char constants

CHECK: _RIC4charKc1234567_E

_RIC4charKc1234567_E

; Backreferences

CHECK: backref::<backref::ident>

_RIC7backrefNvB0_5identE

CHECK: backref::<(), ()>

_RIC7backrefuB9_E

CHECK: backref::<7, 7>

_RIC7backrefKi7_KBa_E

; Invalid backreferences

CHECK: _RB_

_RB_

CHECK: _RB5_

_RB5_

CHECK: _RNvB_1a

_RNvB_1a

CHECK: _RIC7backrefSB9_E

_RIC7backrefSB9_E

CHECK: _RIC7backrefKBa_E

_RIC7backrefKBa_E

; Dot suffix

CHECK: dot (.llvm.1234)

_RC3dot.llvm.1234

CHECK: dot (.llvm.6789)

_RC3dotC5crate.llvm.6789

; Punycode

CHECK: punycode::東京

_RNvC8punycodeu7_1lqs71d

CHECK: punycode::zażółć_gęślą_jaźń

_RNvC8punycodeu29za_gl_ja_w3a7psa2tqtgb10airva

CHECK: punycode::საჭმელად_გემრიელი_სადილი

_RNvC8punycodeu30____7hkackfecea1cbdathfdh9hlq6y

CHECK: Gödel::Escher::Bach

_RNtNvCu8Gdel_5qa6Escher4Bach

CHECK: punycode::🦁🐅

_RNvC8punycodeu7wn8hx1g

; Punycode - invalid code point

CHECK: _RCu5r731r

_RCu5r731r

CHECK: _RCu8b44444yy

_RCu8b44444yy

CHECK: _RNvC1au25zzzzzzzzzzzzzzzzzzzzzzzzz

_RNvC1au25zzzzzzzzzzzzzzzzzzzzzzzzz

; Punycode - early EOF

CHECK: _RCu8_CCCAR_u4

_RCu8_CCCAR_u4

; Punycode - overflow

CHECK: _RNvC1au21p18888888888888888888

_RNvC1au21p18888888888888888888

; Invalid mangled characters

CHECK: _RNvC2a.1c

_RNvC2a.1c

CHECK: _RNvC2a$1c

_RNvC2a$1c

; Invalid namespace (not in [a-zA-Z]).

CHECK: _RN_C5crate4main

_RN_C5crate4main

; Invalid identifier length (UINT64_MAX + 3, which happens to be ok after a wraparound).

CHECK: _RNvC2ab18446744073709551618xy

_RNvC2ab18446744073709551618xy

; Mangling scheme includes an optional encoding version. When present it would

; indicate an encoding we don't support yet. Check that it is rejected:

CHECK: _R0NvC1a4main

_R0NvC1a4main

; Early EOF

CHECK: _RNv

_RNv

CHECK: _RNvC

_RNvC

CHECK: _RNvC1a5main

_RNvC1a5main

CHECK: _RNvC1a20abc

_RNvC1a20abc