/*
 * SPDX-FileCopyrightText: 2020 Efabless Corporation
 *
 * Licensed 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.
 * SPDX-License-Identifier: Apache-2.0
 */

// This include is relative to $CARAVEL_PATH (see Makefile)
#include <defs.h>
#include <stub.c>

#define GPIO0_OE_WRITE_ADDR ((uint32_t*)0x33031000)
#define GPIO0_OE_SET_ADDR ((uint32_t*)0x33031004)
#define GPIO0_OE_CLEAR_ADDR ((uint32_t*)0x33031008)
#define GPIO0_OE_TOGGLE_ADDR ((uint32_t*)0x3303100C)
#define GPIO0_OUTPUT_WRITE_ADDR ((uint32_t*)0x33031010)
#define GPIO0_OUTPUT_SET_ADDR ((uint32_t*)0x33031014)
#define GPIO0_OUTPUT_CLEAR_ADDR ((uint32_t*)0x33031018)
#define GPIO0_OUTPUT_TOGGLE_ADDR ((uint32_t*)0x3303101C)
#define GPIO0_INPUT_ADDR ((uint32_t*)0x33031020)
#define GPIO1_OE_WRITE_ADDR ((uint32_t*)0x33032000)
#define GPIO1_OE_SET_ADDR ((uint32_t*)0x33032004)
#define GPIO1_OE_CLEAR_ADDR ((uint32_t*)0x33032008)
#define GPIO1_OE_TOGGLE_ADDR ((uint32_t*)0x3303200C)
#define GPIO1_OUTPUT_WRITE_ADDR ((uint32_t*)0x33032010)
#define GPIO1_OUTPUT_SET_ADDR ((uint32_t*)0x33032014)
#define GPIO1_OUTPUT_CLEAR_ADDR ((uint32_t*)0x33032018)
#define GPIO1_OUTPUT_TOGGLE_ADDR ((uint32_t*)0x3303201C)
#define GPIO1_INPUT_ADDR ((uint32_t*)0x33032020)

#define CORE0_CONFIG_ADDR ((uint32_t*)0x30800000)
#define CORE0_STATUS_ADDR ((uint32_t*)0x30800004)
#define CORE0_REG_PC_ADDR ((uint32_t*)0x30810000)
#define CORE0_REG_JUMP_ADDR ((uint32_t*)0x30810004)
#define CORE0_REG_STEP_ADDR ((uint32_t*)0x30810008)
#define CORE0_REG_INSTR_ADDR ((uint32_t*)0x30810010)
#define CORE0_REG_IREG_ADDR ((uint32_t*)0x30811000)

#define CORE0_SRAM ((uint32_t*)0x30000000)
#define CORE1_SRAM ((uint32_t*)0x31000000)
#define VGA_SRAM ((uint32_t*)0x32000000)
#define SRAM_BANK_SIZE 0x200

#define FLASH_DATA ((uint32_t*)0x34000000)
#define FLASH_CONFIGURATION ((uint32_t*)0x34001000)
#define FLASH_BASE_ADDRESS ((uint32_t*)0x34001004)
#define FLASH_CACHED_ADDRESS ((uint32_t*)0x34001008)

#define MPRJ_WB_ADDRESS (*(volatile uint32_t*)0x30000000)
#define MPRJ_WB_DATA_LOCATION 0x30008000

void wbWrite (uint32_t* location, uint32_t value)
{
	// Write the address
	uint32_t locationData = (uint32_t)location;
	MPRJ_WB_ADDRESS = locationData & 0xFFFF8000;

	// Write the data
	uint32_t writeAddress = (locationData & 0x00007FFF) | MPRJ_WB_DATA_LOCATION;
	*((volatile uint32_t*)writeAddress) = value;
}

uint32_t wbRead (uint32_t* location)
{
	// Write the address
	uint32_t locationData = (uint32_t)location;
	MPRJ_WB_ADDRESS = locationData & 0xFFFF8000;

	// Write the data
	uint32_t writeAddress = (locationData & 0x00007FFF) | MPRJ_WB_DATA_LOCATION;
	return *((volatile uint32_t*)writeAddress);
}

void nextTest (bool testPassing)
{
	if (testPassing)
	{
		wbWrite (GPIO0_OUTPUT_SET_ADDR, 0x03000);
	}
	else
	{
		wbWrite (GPIO0_OUTPUT_CLEAR_ADDR, 0x01000);
		wbWrite (GPIO0_OUTPUT_SET_ADDR, 0x02000);
	}

	wbWrite (GPIO0_OUTPUT_CLEAR_ADDR, 0x02000);
}

bool testMemory (uint32_t address, uint32_t loadAddressInstruction, uint32_t data)
{
	wbWrite ((uint32_t*)address, data);
	wbWrite (CORE0_SRAM + 2, loadAddressInstruction);
	wbWrite (CORE0_REG_PC_ADDR, 0x8);
	wbWrite (CORE0_REG_STEP_ADDR, 0x0);
	wbWrite (CORE0_REG_STEP_ADDR, 0x0);
	wbWrite (CORE0_REG_STEP_ADDR, 0x0);
	return wbRead ((uint32_t*)(address + 4)) == data;
}

void main ()
{
	/*
	IO Control Registers
	| DM     | VTRIP | SLOW  | AN_POL | AN_SEL | AN_EN | MOD_SEL | INP_DIS | HOLDH | OEB_N | MGMT_EN |
	| 3-bits | 1-bit | 1-bit | 1-bit  | 1-bit  | 1-bit | 1-bit   | 1-bit   | 1-bit | 1-bit | 1-bit   |

	Output: 0000_0110_0000_1110  (0x1808) = GPIO_MODE_USER_STD_OUTPUT
	| DM     | VTRIP | SLOW  | AN_POL | AN_SEL | AN_EN | MOD_SEL | INP_DIS | HOLDH | OEB_N | MGMT_EN |
	| 110    | 0     | 0     | 0      | 0      | 0     | 0       | 1       | 0     | 0     | 0       |


	Input: 0000_0001_0000_1111 (0x0402) = GPIO_MODE_USER_STD_INPUT_NOPULL
	| DM     | VTRIP | SLOW  | AN_POL | AN_SEL | AN_EN | MOD_SEL | INP_DIS | HOLDH | OEB_N | MGMT_EN |
	| 001    | 0     | 0     | 0      | 0      | 0     | 0       | 0       | 0     | 1     | 0       |

	*/

	/* Set up the housekeeping SPI to be connected internally so	*/
	/* that external pin changes don't affect it.			*/

	// Connect the housekeeping SPI to the SPI master
	// so that the CSB line is not left floating.  This allows
	// all of the GPIO pins to be used for user functions.

	// https://github.com/efabless/caravel/blob/main/docs/other/gpio.txt

	// Enable the wishbone bus
	reg_wb_enable = 1;

	// Enable GPIO
	// Flash interface
	reg_mprj_io_8 = GPIO_MODE_USER_STD_OUTPUT;
	reg_mprj_io_9 = GPIO_MODE_USER_STD_OUTPUT;
	reg_mprj_io_10 = GPIO_MODE_USER_STD_OUTPUT;
	reg_mprj_io_11 = GPIO_MODE_USER_STD_INPUT_NOPULL;

	// Test control signals
	reg_mprj_io_12 = GPIO_MODE_USER_STD_OUTPUT;
	reg_mprj_io_13 = GPIO_MODE_USER_STD_OUTPUT;

	// Peripheral test output
	reg_mprj_io_14 = GPIO_MODE_USER_STD_OUTPUT;

	/* Apply configuration */
	reg_mprj_xfer = 1;
	while (reg_mprj_xfer == 1) {}

	// Setup test output
	bool testPass = true;
	wbWrite (GPIO0_OUTPUT_WRITE_ADDR, 0x01000);
	wbWrite (GPIO0_OE_WRITE_ADDR, ~0x07000);

	// Enable flash for later test
	wbWrite (FLASH_CONFIGURATION, 0x1);
	if (wbRead (FLASH_CONFIGURATION) != 0x1) testPass = false;

	// Set the base address
	// This will probably be the default value
	wbWrite (FLASH_BASE_ADDRESS, 0x0);
	if (wbRead (FLASH_BASE_ADDRESS) != 0x0) testPass = false;

	// Setup for sram tests
	wbWrite (CORE0_SRAM + 3, 0x0000a183);
	wbWrite (CORE0_SRAM + 4, 0x0030a223);

	// Test core local sram
	if (!testMemory (0x30000000, 0x000000b7, 0x12345678)) testPass = false;
	nextTest (testPass);

	// Test core0 sram via wishbone bus
	if (!testMemory (0x30000000, 0x100000b7, 0x9ABCDEF0)) testPass = false;
	nextTest (testPass);

	// Test core1 sram
	if (!testMemory (0x31000000, 0x110000b7, 0x849A5C12)) testPass = false;
	nextTest (testPass);

	// Test video sram
	if (!testMemory (0x32000000, 0x120000b7, 0xBE091D57)) testPass = false;
	nextTest (testPass);

	// Test flash
	wbWrite (CORE0_SRAM + 2, 0x000000b7);
	wbWrite (CORE0_SRAM + 3, 0x14000137);
	wbWrite (CORE0_SRAM + 4, 0x00012183);
	wbWrite (CORE0_SRAM + 5, 0x0030a023);
	wbWrite (CORE0_REG_PC_ADDR, 0x8);
	wbWrite (CORE0_REG_STEP_ADDR, 0x0);
	wbWrite (CORE0_REG_STEP_ADDR, 0x0);
	wbWrite (CORE0_REG_STEP_ADDR, 0x0);
	wbWrite (CORE0_REG_STEP_ADDR, 0x0);
	if (wbRead ((uint32_t*)(0x30000000)) != 0x03020100) testPass = false;
	nextTest (testPass);

	// Test peripheral by performing gpio write
	wbWrite (CORE0_SRAM + 2, 0x130310b7);
	wbWrite (CORE0_SRAM + 3, 0x000041b7);
	wbWrite (CORE0_SRAM + 4, 0x0030a223);
	wbWrite (CORE0_REG_PC_ADDR, 0x8);
	wbWrite (CORE0_REG_STEP_ADDR, 0x0);
	wbWrite (CORE0_REG_STEP_ADDR, 0x0);
	wbWrite (CORE0_REG_STEP_ADDR, 0x0);

	// Finish test
	nextTest (testPass);
}