#!/usr/bin/env bash
# 测试 Lab2 IR 生成 - 人员 1 的任务
# 测试内容：
# - 任务 1.1: 支持更多二元运算符（Sub, Mul, Div, Mod）
# - 任务 1.2: 支持一元运算符（正负号）
# - 任务 1.3: 支持赋值表达式
# - 任务 1.4: 支持逗号分隔的多个变量声明

set -euo pipefail

SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
PROJECT_ROOT="$(dirname "$SCRIPT_DIR")"
COMPILER="$PROJECT_ROOT/build/bin/compiler"
TEST_DIR="$PROJECT_ROOT/test/test_case/irgen_lab1_4"
RESULT_DIR="$PROJECT_ROOT/test/test_result/lab2_ir1"

# 颜色输出
RED='\033[0;31m'
GREEN='\033[0;32m'
YELLOW='\033[1;33m'
NC='\033[0m' # No Color

echo "========================================="
echo "Lab2 IR 生成测试 - 部分任务验证"
echo "========================================="
echo ""

# 检查编译器是否存在
if [[ ! -x "$COMPILER" ]]; then
  echo -e "${RED}错误：编译器不存在或不可执行：$COMPILER${NC}"
  echo "请先运行：cmake --build build"
  exit 1
fi

# 检查测试目录是否存在
if [[ ! -d "$TEST_DIR" ]]; then
  echo -e "${RED}错误：测试目录不存在：$TEST_DIR${NC}"
  exit 1
fi

# 创建结果目录
mkdir -p "$RESULT_DIR"

# 统计
total=0
passed=0
failed=0

# 测试函数
run_test() {
  local input=$1
  local basename=$(basename "$input" .sy)
  local expected_out="$TEST_DIR/$basename.out"
  local actual_out="$RESULT_DIR/$basename.actual.out"
  local ll_file="$RESULT_DIR/$basename.ll"
  
  ((total++)) || true
  
  echo -n "测试 $basename ... "
  
  # 生成 IR
  if ! "$COMPILER" --emit-ir "$input" > "$ll_file" 2>&1; then
    echo -e "${RED}IR 生成失败${NC}"
    ((failed++)) || true
    return 1
  fi
  
  # 如果需要运行并比对输出
  if [[ -f "$expected_out" ]]; then
    # 编译并运行
    local exe_file="$RESULT_DIR/$basename"
    if ! llc -O0 -filetype=obj "$ll_file" -o "$RESULT_DIR/$basename.o" 2>/dev/null; then
      echo -e "${YELLOW}LLVM 编译失败 (llc)${NC}"
      cat "$ll_file"
      ((failed++)) || true
      return 1
    fi
    
    if ! clang "$RESULT_DIR/$basename.o" -o "$exe_file" 2>/dev/null; then
      echo -e "${YELLOW}链接失败 (clang)${NC}"
      ((failed++)) || true
      return 1
    fi
    
    # 运行程序，捕获返回值（低 8 位）
    local exit_code=0
    "$exe_file" > "$actual_out" 2>&1 || exit_code=$?
    
    # 处理返回值（LLVM/AArch64 返回的是 8 位无符号整数）
    if [[ $exit_code -gt 127 ]]; then
      # 转换为有符号整数
      exit_code=$((exit_code - 256))
    fi
    echo "$exit_code" > "$actual_out"
    
    # 比对输出
    if diff -q "$expected_out" "$actual_out" > /dev/null 2>&1; then
      echo -e "${GREEN}✓ 通过${NC}"
      ((passed++)) || true
      return 0
    else
      echo -e "${RED}✗ 输出不匹配${NC}"
      echo "  期望：$(cat "$expected_out")"
      echo "  实际：$(cat "$actual_out")"
      ((failed++)) || true
      return 1
    fi
  else
    # 没有期望输出，只检查 IR 生成
    echo -e "${GREEN}✓ IR 生成成功${NC}"
    ((passed++)) || true
    return 0
  fi
}

# 查找所有测试用例
test_files=()
while IFS= read -r -d '' file; do
  test_files+=("$file")
done < <(find "$TEST_DIR" -name "*.sy" -type f -print0 | sort -z)

if [[ ${#test_files[@]} -eq 0 ]]; then
  echo -e "${RED}未找到测试用例：$TEST_DIR${NC}"
  exit 1
fi

echo "找到 ${#test_files[@]} 个测试用例"
echo ""

# 运行所有测试
for test_file in "${test_files[@]}"; do
  run_test "$test_file" || true
done

# 输出统计
echo ""
echo "========================================="
echo "测试结果统计"
echo "========================================="
echo -e "总数：$total"
echo -e "通过：${GREEN}$passed${NC}"
echo -e "失败：${RED}$failed${NC}"
echo ""

if [[ $failed -eq 0 ]]; then
  echo -e "${GREEN}✓ 所有测试通过！${NC}"
  echo ""
  echo "测试覆盖："
  echo "  ✓ 任务 1.1: 二元运算符（Sub, Mul, Div, Mod）"
  echo "  ✓ 任务 1.2: 一元运算符（正负号）"
  echo "  ✓ 任务 1.3: 赋值表达式"
  echo "  ✓ 任务 1.4: 逗号分隔的多变量声明"
  exit 0
else
  echo -e "${RED}✗ 有 $failed 个测试失败${NC}"
  exit 1
fi
