2025-01-24 20:53:24 -08:00
|
|
|
open Util.Assert
|
2025-02-14 11:48:44 -08:00
|
|
|
open X86
|
|
|
|
|
open Ll
|
|
|
|
|
module Backend = Llbackend.Backend
|
|
|
|
|
module Driver = Llbackend.Driver
|
|
|
|
|
open Llbackend.Backend
|
2025-01-24 20:53:24 -08:00
|
|
|
open Gradedtests
|
2025-01-24 18:59:28 -08:00
|
|
|
|
2025-01-24 20:53:24 -08:00
|
|
|
(* These tests are provided by you -- they will be graded manually *)
|
2025-01-24 18:59:28 -08:00
|
|
|
|
|
|
|
|
(* You should also add additional test cases here to help you *)
|
|
|
|
|
(* debug your program. *)
|
|
|
|
|
|
2025-02-14 11:48:44 -08:00
|
|
|
let arg_loc_tests =
|
|
|
|
|
[ "arg_loc_0", assert_eqf (fun () -> arg_loc 0) (Reg Rdi)
|
|
|
|
|
; "arg_loc_1", assert_eqf (fun () -> arg_loc 1) (Reg Rsi)
|
|
|
|
|
; "arg_loc_2", assert_eqf (fun () -> arg_loc 2) (Reg Rdx)
|
|
|
|
|
; "arg_loc_3", assert_eqf (fun () -> arg_loc 3) (Reg Rcx)
|
|
|
|
|
; "arg_loc_4", assert_eqf (fun () -> arg_loc 4) (Reg R08)
|
|
|
|
|
; "arg_loc_5", assert_eqf (fun () -> arg_loc 5) (Reg R09)
|
|
|
|
|
; "arg_loc_6", assert_eqf (fun () -> arg_loc 6) (Ind3 (Lit 16L, Rbp))
|
|
|
|
|
; "arg_loc_100", assert_eqf (fun () -> arg_loc 100) (Ind3 (Lit 768L, Rbp))
|
|
|
|
|
]
|
|
|
|
|
;;
|
|
|
|
|
|
|
|
|
|
let provided_tests : suite = [ Test ("arg_loc_tests", arg_loc_tests) ]
|
