From 6102bbe2d3b689344d2dd817ae08845b0e7f94de Mon Sep 17 00:00:00 2001
From: jakeallen <a3110165858@163.com>
Date: Thu, 11 Jan 2024 18:17:39 -0800
Subject: [PATCH] sysy_lib

---
 compiler/runtime/CMakeLists.txt  | 31 ++++++++++++
 compiler/runtime/include/sylib.h | 31 ++++++++++++
 compiler/runtime/src/sylib.c     | 83 ++++++++++++++++++++++++++++++++
 3 files changed, 145 insertions(+)
 create mode 100644 compiler/runtime/CMakeLists.txt
 create mode 100644 compiler/runtime/include/sylib.h
 create mode 100644 compiler/runtime/src/sylib.c

diff --git a/compiler/runtime/CMakeLists.txt b/compiler/runtime/CMakeLists.txt
new file mode 100644
index 0000000..1808e9b
--- /dev/null
+++ b/compiler/runtime/CMakeLists.txt
@@ -0,0 +1,31 @@
+cmake_minimum_required(VERSION 3.21)
+
+project(SysYRuntime VERSION 1.0
+  DESCRIPTION "SysY Language official runtime environment"
+  LANGUAGES C)
+
+set(CMAKE_C_STANDARD 99)
+set(CMAKE_C_COMPILER "riscv64-unknown-elf-gcc")
+
+set(INCLUDE_DIRECTORY "${PROJECT_SOURCE_DIR}/include")
+include_directories(${INCLUDE_DIRECTORY})
+
+set(SOURCE_FILES "${PROJECT_SOURCE_DIR}/src/sylib.c")
+
+if(BUILD_IR_TESTING)
+  add_custom_target(sysy-ir ALL
+    COMMAND clang ${CMAKE_C_FLAGS}
+    -I ${INCLUDE_DIRECTORY}
+    -S -emit-llvm
+    ${SOURCE_FILES}
+    -o ${CMAKE_CURRENT_BINARY_DIR}/sysy.ll
+    WORKING_DIRECTORY ${PROJECT_SOURCE_DIR}
+    COMMENT "Compiling SysY Runtime Library to LLVM-IR"
+    SOURCES ${SOURCE_FILES})
+endif(BUILD_IR_TESTING)
+
+add_library(sysy STATIC ${SOURCE_FILES})
+
+# target_compile_options(sysy PUBLIC ${CMAKE_C_FLAGS} -flto)
+# target_compile_options(sysy PUBLIC ${CMAKE_C_FLAGS} -emit-llvm -S)
+target_compile_options(sysy PRIVATE ${CMAKE_C_FLAGS} --verbose)
diff --git a/compiler/runtime/include/sylib.h b/compiler/runtime/include/sylib.h
new file mode 100644
index 0000000..de9066b
--- /dev/null
+++ b/compiler/runtime/include/sylib.h
@@ -0,0 +1,31 @@
+#ifndef __SYLIB_H_
+#define __SYLIB_H_
+
+#include<stdio.h>
+#include<stdarg.h>
+#include<sys/time.h>
+/* Input & output functions */
+int getint(),getch(),getarray(int a[]);
+float getfloat();
+int getfarray(float a[]);
+
+void putint(int a),putch(int a),putarray(int n,int a[]);
+void putfloat(float a);
+void putfarray(int n, float a[]);
+
+void putf(char a[], ...);
+
+/* Timing function implementation */
+struct timeval _sysy_start,_sysy_end;
+#define starttime() _sysy_starttime(__LINE__)
+#define stoptime()  _sysy_stoptime(__LINE__)
+#define _SYSY_N 1024
+int _sysy_l1[_SYSY_N],_sysy_l2[_SYSY_N];
+int _sysy_h[_SYSY_N], _sysy_m[_SYSY_N],_sysy_s[_SYSY_N],_sysy_us[_SYSY_N];
+int _sysy_idx;
+__attribute((constructor)) void before_main(); 
+__attribute((destructor)) void after_main();
+void _sysy_starttime(int lineno);
+void _sysy_stoptime(int lineno);
+
+#endif
diff --git a/compiler/runtime/src/sylib.c b/compiler/runtime/src/sylib.c
new file mode 100644
index 0000000..dc3d92c
--- /dev/null
+++ b/compiler/runtime/src/sylib.c
@@ -0,0 +1,83 @@
+#include<stdio.h>
+#include<stdarg.h>
+#include<sys/time.h>
+#include"sylib.h"
+/* Input & output functions */
+int getint(){int t; scanf("%d",&t); return t; }
+int getch(){char c; scanf("%c",&c); return (int)c; }
+float getfloat(){
+    float n;
+    scanf("%a", &n);
+    return n;
+}
+
+int getarray(int a[]){
+  int n;
+  scanf("%d",&n);
+  for(int i=0;i<n;i++)scanf("%d",&a[i]);
+  return n;
+}
+
+int getfarray(float a[]) {
+    int n;
+    scanf("%d", &n);
+    for (int i = 0; i < n; i++) {
+        scanf("%a", &a[i]);
+    }
+    return n;
+}
+void putint(int a){ printf("%d",a);}
+void putch(int a){ printf("%c",a); }
+void putarray(int n,int a[]){
+  printf("%d:",n);
+  for(int i=0;i<n;i++)printf(" %d",a[i]);
+  printf("\n");
+}
+void putfloat(float a) {
+  printf("%a", a);
+}
+void putfarray(int n, float a[]) {
+    printf("%d:", n);
+    for (int i = 0; i < n; i++) {
+        printf(" %a", a[i]);
+    }
+    printf("\n");
+}
+
+void putf(char a[], ...) {
+    va_list args;
+    va_start(args, a);
+    vfprintf(stdout, a, args);
+    va_end(args);
+}
+
+/* Timing function implementation */
+__attribute((constructor)) void before_main(){
+  for(int i=0;i<_SYSY_N;i++)
+    _sysy_h[i] = _sysy_m[i]= _sysy_s[i] = _sysy_us[i] =0;
+  _sysy_idx=1;
+}  
+__attribute((destructor)) void after_main(){
+  for(int i=1;i<_sysy_idx;i++){
+    fprintf(stderr,"Timer@%04d-%04d: %dH-%dM-%dS-%dus\n",\
+      _sysy_l1[i],_sysy_l2[i],_sysy_h[i],_sysy_m[i],_sysy_s[i],_sysy_us[i]);
+    _sysy_us[0]+= _sysy_us[i]; 
+    _sysy_s[0] += _sysy_s[i]; _sysy_us[0] %= 1000000;
+    _sysy_m[0] += _sysy_m[i]; _sysy_s[0] %= 60;
+    _sysy_h[0] += _sysy_h[i]; _sysy_m[0] %= 60;
+  }
+  fprintf(stderr,"TOTAL: %dH-%dM-%dS-%dus\n",_sysy_h[0],_sysy_m[0],_sysy_s[0],_sysy_us[0]);
+}  
+void _sysy_starttime(int lineno){
+  _sysy_l1[_sysy_idx] = lineno;
+  gettimeofday(&_sysy_start,NULL);
+}
+void _sysy_stoptime(int lineno){
+  gettimeofday(&_sysy_end,NULL);
+  _sysy_l2[_sysy_idx] = lineno;
+  _sysy_us[_sysy_idx] += 1000000 * ( _sysy_end.tv_sec - _sysy_start.tv_sec ) + _sysy_end.tv_usec - _sysy_start.tv_usec;
+  _sysy_s[_sysy_idx] += _sysy_us[_sysy_idx] / 1000000 ; _sysy_us[_sysy_idx] %= 1000000;
+  _sysy_m[_sysy_idx] += _sysy_s[_sysy_idx] / 60 ; _sysy_s[_sysy_idx] %= 60;
+  _sysy_h[_sysy_idx] += _sysy_m[_sysy_idx] / 60 ; _sysy_m[_sysy_idx] %= 60;
+  _sysy_idx ++;
+}