/*
 *  Licensed to the Apache Software Foundation (ASF) under one or more
 *  contributor license agreements.  See the NOTICE file distributed with
 *  this work for additional information regarding copyright ownership.
 *  The ASF licenses this file to You under the Apache License, Version 2.0
 *  (the "License"); you may not use this file except in compliance with
 *  the License.  You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 *  Unless required by applicable law or agreed to in writing, software
 *  distributed under the License is distributed on an "AS IS" BASIS,
 *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 *  See the License for the specific language governing permissions and
 *  limitations under the License.
 */

#include <stdio.h>
#include "open/platform_types.h"
#include "stack_dump.h"


void print_reg_state(Registers* regs)
{
    fprintf(stderr, "Registers:\n");
    fprintf(stderr, "    RAX: 0x%"W_PI_FMT", RBX: 0x%"W_PI_FMT"\n",
        regs->rax, regs->rbx);
    fprintf(stderr, "    RCX: 0x%"W_PI_FMT", RDX: 0x%"W_PI_FMT"\n",
        regs->rcx, regs->rdx);
    fprintf(stderr, "    RSI: 0x%"W_PI_FMT", RDI: 0x%"W_PI_FMT"\n",
        regs->rsi, regs->rdi);
    fprintf(stderr, "    RSP: 0x%"W_PI_FMT", RBP: 0x%"W_PI_FMT"\n",
        regs->rsp, regs->rbp);
    fprintf(stderr, "    R8 : 0x%"W_PI_FMT", R9 : 0x%"W_PI_FMT"\n",
        regs->r8,  regs->r9);
    fprintf(stderr, "    R10: 0x%"W_PI_FMT", R11: 0x%"W_PI_FMT"\n",
        regs->r10, regs->r11);
    fprintf(stderr, "    R12: 0x%"W_PI_FMT", R13: 0x%"W_PI_FMT"\n",
        regs->r12, regs->r13);
    fprintf(stderr, "    R14: 0x%"W_PI_FMT", R15: 0x%"W_PI_FMT"\n",
        regs->r14, regs->r15);
    fprintf(stderr, "    RIP: 0x%"W_PI_FMT"\n", regs->rip);
}