// File: /workspace/github_cpp_makefile_star2_O3/xelia-it[P]mustache/third-party/catch2/single_include/catch2/catch.hpp
// Function: Catch::TagAliasRegistry::add(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, Catch::SourceLineInfo const&)
void TagAliasRegistry::add( std::string const& alias, std::string const& tag, SourceLineInfo const& lineInfo ) {
        CATCH_ENFORCE( startsWith(alias, "[@") && endsWith(alias, ']'),
                      "error: tag alias, '" << alias << "' is not of the form [@alias name].\n" << lineInfo );

        CATCH_ENFORCE( m_registry.insert(std::make_pair(alias, TagAlias(tag, lineInfo))).second,
                      "error: tag alias, '" << alias << "' already registered.\n"
                      << "\tFirst seen at: " << find(alias)->lineInfo << "\n"
                      << "\tRedefined at: " << lineInfo );
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %rcx, -0x30(%rbp)
movq %rdx, %r12
movq %rsi, %r14
movq %rdi, %r15
leaq -0xa0(%rbp), %rax
movq %rax, -0x10(%rax)
leaq 0x4d8dc(%rip), %rsi     # 0x7b6db
leaq 0x4d8d7(%rip), %rdx     # 0x7b6dd
leaq -0xb0(%rbp), %r13
movq %r13, %rdi
callq 0x431c8
movq 0x8(%r14), %rbx
movq 0x8(%r13), %rdx
cmpq %rdx, %rbx
jb 0x2df10
testq %rdx, %rdx
je 0x2de45
movq -0xb0(%rbp), %r13
movq (%r14), %rsi
movq %r13, %rdi
callq 0x1b570
testl %eax, %eax
jne 0x2df17
testq %rbx, %rbx
je 0x2de57
movq (%r14), %rax
cmpb $0x5d, -0x1(%rax,%rbx)
setne %bl
jmp 0x2de59
movb $0x1, %bl
movq -0xb0(%rbp), %rdi
leaq -0xa0(%rbp), %rax
cmpq %rax, %rdi
je 0x2de71
callq 0x1b4d0
testb %bl, %bl
jne 0x2df2b
movq -0x30(%rbp), %rax
movq (%rax), %rdx
movq 0x8(%rax), %rcx
leaq -0x60(%rbp), %r13
movq %r13, %rdi
movq %r12, %rsi
callq 0x2d9ac
leaq -0xb0(%rbp), %rdi
movq %r14, %rsi
movq %r13, %rdx
callq 0x49cb4
leaq 0x8(%r15), %rdi
leaq -0xb0(%rbp), %rsi
callq 0x5c394
movl %edx, %r12d
leaq -0x80(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2deca
callq 0x1b4d0
movq -0xb0(%rbp), %rdi
leaq -0xa0(%rbp), %rax
cmpq %rax, %rdi
je 0x2dee2
callq 0x1b4d0
leaq -0x50(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2def4
callq 0x1b4d0
testb $0x1, %r12b
je 0x2df9e
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq -0xb0(%rbp), %r13
leaq -0xa0(%rbp), %rax
cmpq %rax, %r13
je 0x2df2b
movq %r13, %rdi
callq 0x1b4d0
leaq -0x60(%rbp), %r15
movq %r15, %rdi
callq 0x2d4e2
movq 0x10(%r15), %rdi
leaq 0x4d79c(%rip), %rsi     # 0x7b6de
movl $0x13, %edx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
movq (%r14), %rsi
movq 0x8(%r14), %rdx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
leaq 0x4d78b(%rip), %rsi     # 0x7b6f2
movl $0x24, %edx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
movq -0x30(%rbp), %rsi
callq 0x22e17
movq -0x50(%rbp), %rsi
addq $0x8, %rsi
leaq -0xb0(%rbp), %rdi
callq 0x1b7f0
leaq -0xb0(%rbp), %rdi
callq 0x1cf32
leaq -0x60(%rbp), %r12
movq %r12, %rdi
callq 0x2d4e2
movq 0x10(%r12), %rdi
leaq 0x4d728(%rip), %rsi     # 0x7b6de
movl $0x13, %edx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
movq (%r14), %rsi
movq 0x8(%r14), %rdx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
leaq 0x4d73c(%rip), %rsi     # 0x7b717
movl $0x16, %edx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
leaq 0x4d73e(%rip), %rsi     # 0x7b72e
movl $0x10, %edx
callq 0x1b5e0
movq (%r15), %rax
movq %r15, %rdi
movq %r14, %rsi
callq *0x10(%rax)
addq $0x20, %rax
movq -0x50(%rbp), %rdi
movq %rax, %rsi
callq 0x22e17
movq -0x50(%rbp), %rdi
leaq 0x55b31(%rip), %rsi     # 0x83b52
movl $0x1, %edx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
leaq 0x4d709(%rip), %rsi     # 0x7b73f
movl $0xf, %edx
callq 0x1b5e0
movq -0x50(%rbp), %rdi
movq -0x30(%rbp), %rsi
callq 0x22e17
movq -0x50(%rbp), %rsi
addq $0x8, %rsi
leaq -0xb0(%rbp), %rdi
callq 0x1b7f0
leaq -0xb0(%rbp), %rdi
callq 0x1cf32
jmp 0x2e06f
movq %rax, %rbx
movq -0xb0(%rbp), %rdi
leaq -0xa0(%rbp), %rax
cmpq %rax, %rdi
je 0x2e0b9
callq 0x1b4d0
jmp 0x2e0b9
jmp 0x2e0b6
movq %rax, %rbx
leaq -0xb0(%rbp), %rdi
callq 0x3fc16
jmp 0x2e0a2
movq %rax, %rbx
leaq -0x50(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2e0c2
callq 0x1b4d0
jmp 0x2e0c2
movq %rax, %rbx
leaq -0x60(%rbp), %rdi
callq 0x2d528
movq %rbx, %rdi
callq 0x1b910