fix(codegen): corrige e completa suporte a double (XMM)

[Bappoz]

Resumo

A branch original do colaborador (commits a4e4b25..381a4dc) introduzia a estrutura para suporte a double no codegen x86-64, mas não compilava: o campo ty foi adicionado às variantes de TacInstr sem atualizar todos os call sites correspondentes, e as assinaturas de load_op/store_op mudaram sem ajustar todos os chamadores.

Este PR revisa, corrige e completa a implementação:

• src/ir/lower.rs: adiciona expr_type_for_codegen, que infere o tipo (double ou não) de literais, variáveis locais, expressões aritméticas e casts, e usa essa inferência para popular ty corretamente em todos os pontos de construção de TacInstr (antes ausente/quebrado).
• src/codegen/last/x86_64.rs:
  • corrige load_op/store_op, que calculavam mov_insn (movsd vs movq) mas nunca usavam a variável — sempre emitiam movq, o que por acaso funciona para mover bits brutos, mas não correspondia à intenção do código;
  • corrige bug real: o mapeamento de setcc para comparações double estava invertido (Less↔Greater e Leq↔Geq trocados) — a < b retornava falso e vice-versa;
  • literal double usado em contexto não-double (ex.: float, fora do escopo desta issue) agora produz um erro de codegen claro em vez de assembly inválido que falha silenciosamente no gcc.
• src/codegen/inter/optimizations.rs / src/ir/cfg.rs: ajusta matches exaustivos e construções para o novo campo ty.
• Registra src/tests/tac_test.rs (existia no working tree mas não estava listado em mod.rs, então nunca era compilado/rodado).
• Novo tests/double_codegen_test.rs: cobre o critério de aceite da issue (double x = 1.5; return x + 2.5;, verificado via gcc), aritmética completa (+ - * /), comparações double (via exit code, já que resultam em inteiro), e uma checagem de que o assembly emitido realmente usa movsd/addsd/.double.

Escopo

Mantido conforme sugerido na própria issue: apenas double (não float), literais, variáveis locais, aritmética básica, comparações e return. Argumentos/parâmetros e retorno de double por chamadas feitas pelo próprio codegen (callsite, não callee) permanecem fora de escopo — exigiriam estender codegen/last/abi.rs para xmm0..xmm7.

Test plan

• cargo build --all
• cargo test --all (357 testes, incluindo os 7 novos de double)
• cargo clippy --all -- -D warnings
• cargo fmt --check
• Critério de aceite da issue verificado manualmente via gcc (função double isolada + harness C)

Refs #172