#!/usr/bin/env bash
# ./scripts/verify_ir.sh test/test_case/functional/simple_add.sy test/test_result/function/ir --run

set -euo pipefail

if [[ $# -lt 1 || $# -gt 3 ]]; then
  echo "用法: $0 <input.sy> [output_dir] [--run]" >&2
  exit 1
fi

input=$1
out_dir="test/test_result/ir"
run_exec=false
input_dir=$(dirname "$input")

shift
while [[ $# -gt 0 ]]; do
  case "$1" in
    --run)
      run_exec=true
      ;;
    *)
      out_dir="$1"
      ;;
  esac
  shift
done

if [[ ! -f "$input" ]]; then
  echo "输入文件不存在: $input" >&2
  exit 1
fi

compiler="./build/bin/compiler"
if [[ ! -x "$compiler" ]]; then
  echo "未找到编译器: $compiler ，请先构建（如: mkdir -p build && cd build && cmake .. && make -j）" >&2
  exit 1
fi

mkdir -p "$out_dir"
base=$(basename "$input")
stem=${base%.sy}
out_file="$out_dir/$stem.ll"
stdin_file="$input_dir/$stem.in"
expected_file="$input_dir/$stem.out"
"$compiler" --emit-ir "$input" > "$out_file"
echo "IR 已生成: $out_file"

if [[ "$run_exec" == true ]]; then
  if ! command -v llc >/dev/null 2>&1; then
    echo "未找到 llc，无法运行 IR。请安装 LLVM。" >&2
    exit 1
  fi
  if ! command -v clang >/dev/null 2>&1; then
    echo "未找到 clang，无法链接可执行文件。请安装 LLVM/Clang。" >&2
    exit 1
  fi
  obj="$out_dir/$stem.o"
  exe="$out_dir/$stem"
  stdout_file="$out_dir/$stem.stdout"
  actual_file="$out_dir/$stem.actual.out"
  sylib_obj="$out_dir/sylib.o"
  if [[ ! -f "$sylib_obj" ]]; then
    gcc -c sylib/sylib.c -o "$sylib_obj"
  fi
  llc -O0 -filetype=obj "$out_file" -o "$obj"
  clang "$obj" "$sylib_obj" -o "$exe"
  echo "运行 $exe ..."
  set +e
  if [[ -f "$stdin_file" ]]; then
    (ulimit -s 65536 && "$exe" < "$stdin_file" > "$stdout_file")
  else
    (ulimit -s 65536 && "$exe" > "$stdout_file")
  fi
  status=$?
  set -e
  cat "$stdout_file"
  echo "退出码: $status"
  {
    cat "$stdout_file"
    if [[ -s "$stdout_file" ]] && (( $(tail -c 1 "$stdout_file" | wc -l) == 0 )); then
      printf '\n'
    fi
    printf '%s\n' "$status"
  } > "$actual_file"

  if [[ -f "$expected_file" ]]; then
    # 将Windows换行符转换为Unix换行符
    temp_expected="$out_dir/$stem.expected.tmp"
    temp_actual="$out_dir/$stem.actual.tmp"
    tr -d '\r' < "$expected_file" > "$temp_expected"
    tr -d '\r' < "$actual_file" > "$temp_actual"
    
    # 检查expected_file是否有最后的换行符
    if [[ -s "$temp_expected" ]] && (( $(tail -c 1 "$temp_expected" | wc -l) == 0 )); then
      # expected_file没有最后的换行符，从temp_actual中移除最后的换行符
      if [[ -s "$temp_actual" ]] && (( $(tail -c 1 "$temp_actual" | wc -l) == 1 )); then
        # temp_actual有最后的换行符，移除它
        truncate -s -1 "$temp_actual"
      fi
    fi
    
    if diff -u "$temp_expected" "$temp_actual"; then
      echo "输出匹配: $expected_file"
      rm -f "$temp_expected" "$temp_actual"
    else
      echo "输出不匹配: $expected_file" >&2
      echo "实际输出已保存: $actual_file" >&2
      rm -f "$temp_expected" "$temp_actual"
      exit 1
    fi
  else
    echo "未找到预期输出文件，跳过比对: $expected_file"
  fi
fi