open Core_kernel[@@warning "-D"]
open Bap.Std
open OUnit2

open Powerpc_tests_helpers

let addi arch ctxt =
* addi r1 , r1 , 16  
  let r1 = find_gpr arch "R1" in
  let width = arch_width arch in
  let init = Bil.[
      r1 := int (Word.of_int ~width 26);
    ] in
  let expected = Word.of_int ~width 42 in
  check_gpr init bytes r1 expected arch ctxt

let addi_zero_op arch ctxt =
* addi r1 , 0 , 16 OR   , 16
  let r1 = find_gpr arch "R1" in
  let width = arch_width arch in
  let expected = Word.of_int ~width 16 in
  check_gpr [] bytes r1 expected arch ctxt

let addis arch ctxt =
* addis r30 , r30 , 2   
  let r30 = find_gpr arch "R30" in
  let width = arch_width arch in
  let init = Bil.[
      r30 := int (Word.of_int ~width 42);
    ] in
  let r = 42 + (2 lsl 16) in
  let expected = Word.of_int ~width r in
  check_gpr init bytes r30 expected arch ctxt

let addis_zero_op arch ctxt =
* addis r30 , 0 , 2 OR  
  let r30 = find_gpr arch "R30" in
  let width = arch_width arch in
  let r = 2 lsl 16 in
  let expected = Word.of_int ~width r in
  check_gpr [] bytes r30 expected arch ctxt

let add arch ctxt =
* add r11 , r2 ,  
  let r2 = find_gpr arch "R2" in
  let r11 = find_gpr arch "R11" in
  let width = arch_width arch in
  let x = Word.of_int ~width 34 in
  let y = Word.of_int ~width 8 in
  let init = Bil.[
      r2 := int x;
      r11 := int y;
    ] in
  let expected = Word.of_int ~width 42 in
  check_gpr init bytes r11 expected arch ctxt

let addic arch _ctxt =
*   , r1 , 16  
  let r1 = find_gpr arch "R1" in
  let width = arch_width arch in
  let x = Word.of_int ~width 0x0fffffff0 in
  let init = Bil.[
      r1 := int x;
    ] in
  let expected = match arch with
    | `ppc -> Word.zero width
    | _ -> Word.of_int ~width 0x00000001_00000000 in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let ca_expected = match arch with
    | `ppc -> Word.b1
    | _ -> Word.b0 in
  assert_bool "addic failed: result" (is_equal_words expected r1_value);
  assert_bool "addic failed: ca32" (is_equal_words Word.b1 ca32_value);
  assert_bool "addic failed: ca" (is_equal_words ca_expected ca_value)

let addc arch _ctxt =
*   , r2 ,  
  let r2 = find_gpr arch "R2" in
  let r11 = find_gpr arch "R11" in
  let width = arch_width arch in
  let x = Word.of_int ~width 0x0fffffff0 in
  let init = Bil.[
      r2 := int x;
      r11 := int (Word.of_int ~width 16);
    ] in
  let expected = match arch with
    | `ppc -> Word.zero width
    | _ -> Word.of_int ~width 0x00000001_00000000 in
  let ctxt = eval init bytes arch in
  let r11_value = lookup_var ctxt r11 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let ca_expected = match arch with
    | `ppc -> Word.b1
    | _ -> Word.b0 in
  assert_bool "addc failed: result" (is_equal_words expected r11_value);
  assert_bool "addc failed: ca32" (is_equal_words Word.b1 ca32_value);
  assert_bool "addc failed: ca" (is_equal_words ca_expected ca_value)

let adde arch _ctxt =
*   , r1 , r16  
  let r1 = find_gpr arch "R1" in
  let r16 = find_gpr arch "R16" in
  let width = arch_width arch in
  let x = Word.of_int64 ~width 0xfffffff0L in
  let init = Bil.[
      r1 := int x;
      r16 := int (Word.of_int ~width 15);
      ca := int Word.b1;
    ] in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let expected, ca_expected = match arch with
    | `ppc -> Word.zero width, Word.b1
    | _ -> Word.of_int ~width:64 0x00000001_00000000, Word.b0 in
  assert_bool "adde failed: result" (is_equal_words expected r1_value);
  assert_bool "adde failed: ca32" (is_equal_words Word.b1 ca32_value);
  assert_bool "adde failed: ca" (is_equal_words ca_expected ca_value)

let addme arch _ctxt =
  let bytes = "\x7c\x22\x01\xd4" in (** addme r1, r2   *)
  let r1 = find_gpr arch "R1" in
  let r2 = find_gpr arch "R2" in
  let width = arch_width arch in
  let x = Word.of_int64 ~width 0xffffffffL in
  let init = Bil.[
      r2 := int x;
      ca := int Word.b1;
    ] in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let expected = Word.of_int64 ~width 0xffffffffL in
  assert_bool "addme failed: result" (is_equal_words expected r1_value);
  assert_bool "addme failed: ca32" (is_equal_words Word.b0 ca32_value);
  assert_bool "addme failed: ca" (is_equal_words Word.b0 ca_value)

let addze arch _ctxt =
  let bytes = "\x7c\x22\x01\x94" in (** addze r1, r2  *)
  let r1 = find_gpr arch "R1" in
  let r2 = find_gpr arch "R2" in
  let width = arch_width arch in
  let x = match arch with
    | `ppc -> Word.of_int64 ~width 0xffffffffL
    | _ -> Word.of_int64 0xffffffff_ffffffffL in
  let init = Bil.[
      r2 := int x;
      ca := int Word.b1;
    ] in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let expected = Word.of_int ~width 0x0 in
  assert_bool "addze failed: result" (is_equal_words expected r1_value);
  assert_bool "addze failed: ca32" (is_equal_words Word.b1 ca32_value);
  assert_bool "addze failed: ca" (is_equal_words Word.b1 ca_value)

let add_dot arch _ctxt =
* add . r11 , r2 ,  
  let r2 = find_gpr arch "R2" in
  let r11 = find_gpr arch "R11" in
  let width = arch_width arch in
  let x = Word.of_int ~width 34 in
  let y = Word.of_int ~width 8 in
  let init = Bil.[
      r2 := int x;
      r11 := int y;
    ] in
  let expected = Word.of_int ~width 42 in
  let ctxt = eval init bytes arch in
  let r11_value = lookup_var ctxt r11 in
  let nf_value = lookup_var ctxt nf in
  let pf_value = lookup_var ctxt pf in
  let zf_value = lookup_var ctxt zf in
  assert_bool "add. failed: result" (is_equal_words expected r11_value);
  assert_bool "add. failed: nf" (is_equal_words Word.b0 nf_value);
  assert_bool "add. failed: pf" (is_equal_words Word.b1 pf_value);
  assert_bool "add. failed: zf" (is_equal_words Word.b0 zf_value)

let addic_dot arch _ctxt =
* addic . r1 , r1 , 16   
  let r1 = find_gpr arch "R1" in
  let width = arch_width arch in
  let x = match arch with
    | `ppc -> Word.of_int64 ~width 0xfffffff0L
    | _ -> Word.of_int64 0xffffffff_fffffff0L in
  let init = Bil.[
      r1 := int x;
    ] in
  let expected = Word.of_int ~width 0 in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let nf_value = lookup_var ctxt nf in
  let pf_value = lookup_var ctxt pf in
  let zf_value = lookup_var ctxt zf in
  assert_bool "addic. failed: result" (is_equal_words expected r1_value);
  assert_bool "addic. failed: ca32" (is_equal_words Word.b1 ca32_value);
  assert_bool "addic. failed: ca" (is_equal_words Word.b1 ca_value);
  assert_bool "addic. failed: nf" (is_equal_words Word.b0 nf_value);
  assert_bool "addic. failed: pf" (is_equal_words Word.b0 pf_value);
  assert_bool "addic. failed: zf" (is_equal_words Word.b1 zf_value)

let addc_dot arch _ctxt =
* addc . r11 , r2 ,  
  let r2 = find_gpr arch "R2" in
  let r11 = find_gpr arch "R11" in
  let width = arch_width arch in
  let x,y,expected = match arch with
    | `ppc ->
      Word.of_int64 ~width 0x0ffffff0L,
      Word.of_int64 ~width 0xf000000fL,
      Word.of_int64 ~width 0xffffffffL
    | _ ->
      Word.of_int64 0x0fffffff_fffffff0L,
      Word.of_int64 0xf0000000_0000000fL,
      Word.of_int64 0xffffffff_ffffffffL in
  let init = Bil.[
      r2 := int x;
      r11 := int y;
    ] in
  let ctxt = eval init bytes arch in
  let r11_value = lookup_var ctxt r11 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let nf_value = lookup_var ctxt nf in
  let pf_value = lookup_var ctxt pf in
  let zf_value = lookup_var ctxt zf in
  assert_bool "addc. failed: result" (is_equal_words expected r11_value);
  assert_bool "addc. failed: ca32" (is_equal_words Word.b0 ca32_value);
  assert_bool "addc. failed: ca" (is_equal_words Word.b0 ca_value);
  assert_bool "addc. failed: nf" (is_equal_words Word.b1 nf_value);
  assert_bool "addc. failed: pf" (is_equal_words Word.b0 pf_value);
  assert_bool "addc. failed: zf" (is_equal_words Word.b0 zf_value)

let adde_dot arch _ctxt =
* adde . r1 , r1 , r16  
  let r1 = find_gpr arch "R1" in
  let r16 = find_gpr arch "R16" in
  let width = arch_width arch in
  let x = Word.of_int64 ~width 0x0ffffff0L in
  let y = Word.of_int64 ~width 0xf000000eL in
  let init = Bil.[
      r1 := int x;
      r16 := int y;
      ca := int Word.b1;
    ] in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let expected = Word.of_int64 ~width 0xffffffffL in
  let nf_expected, pf_expected = match arch with
    | `ppc -> Word.b1, Word.b0
    | `ppc64 -> Word.b0, Word.b1
    | _ -> failwith "PowerPC only expected" in
  let nf_value = lookup_var ctxt nf in
  let pf_value = lookup_var ctxt pf in
  let zf_value = lookup_var ctxt zf in
  assert_bool "adde. failed: result" (is_equal_words expected r1_value);
  assert_bool "adde. failed: ca32" (is_equal_words Word.b0 ca32_value);
  assert_bool "adde. failed: ca" (is_equal_words Word.b0 ca_value);
  assert_bool "adde. failed: nf" (is_equal_words nf_expected nf_value);
  assert_bool "adde. failed: pf" (is_equal_words pf_expected pf_value);
  assert_bool "adde. failed: zf" (is_equal_words Word.b0 zf_value)

let addme_dot arch _ctxt =
  let bytes = "\x7c\x22\x01\xd5" in (** addme. r1, r2  *)
  let r1 = find_gpr arch "R1" in
  let r2 = find_gpr arch "R2" in
  let width = arch_width arch in
  let x = Word.one width in
  let init = Bil.[
      r2 := int x;
      ca := int Word.b0;
    ] in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let expected = Word.zero width in
  let cf_expected = match arch with
    | `ppc -> Word.b1
    | _ -> Word.b1 in
  let nf_value = lookup_var ctxt nf in
  let pf_value = lookup_var ctxt pf in
  let zf_value = lookup_var ctxt zf in
  assert_bool "addme. failed: result" (is_equal_words expected r1_value);
  assert_bool "addme. failed: ca32" (is_equal_words Word.b1 ca32_value);
  assert_bool "addme. failed: ca" (is_equal_words cf_expected ca_value);
  assert_bool "addme. failed: nf" (is_equal_words Word.b0 nf_value);
  assert_bool "addme. failed: pf" (is_equal_words Word.b0 pf_value);
  assert_bool "addme. failed: zf" (is_equal_words Word.b1 zf_value)

let addze_dot arch ctxt =
  let bytes = "\x7c\x22\x01\x95" in (** addze. r1, r2  *)
  let r1 = find_gpr arch "R1" in
  let r2 = find_gpr arch "R2" in
  let width = arch_width arch in
  let x = match arch with
    | `ppc -> Word.of_int64 ~width 0xffffffffL
    | _ -> Word.of_int64 0xffffffff_ffffffffL in
  let init = Bil.[
      r2 := int x;
      ca := int Word.b1;
    ] in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let expected = Word.zero width in
  assert_bool "addze. failed: result" (is_equal_words expected r1_value);
  assert_bool "addze. failed: ca32" (is_equal_words Word.b1 ca32_value);
  assert_bool "addze. failed: ca" (is_equal_words Word.b1 ca_value)

let suite = "add" >::: [
    "addi32"    >:: addi `ppc;
    "addi32_0"  >:: addi_zero_op `ppc;
    "addis32"   >:: addis `ppc;
    "addis32_0" >:: addis_zero_op `ppc;
    "add32"     >:: add `ppc;
    "addic32"   >:: addic `ppc;
    "addc32"    >:: addc `ppc;
    "adde32"    >:: adde `ppc;
    "addme32"   >:: addme `ppc;
    "addze32"   >:: addze `ppc;
    "add.32"    >:: add_dot `ppc;
    "addic.32"  >:: addic_dot `ppc;
    "addc.32"   >:: addc_dot `ppc;
    "adde.32"   >:: adde_dot `ppc;
    "addme.32"  >:: addme_dot `ppc;
    "addze.32"  >:: addze_dot `ppc;

    "addi64"    >:: addi `ppc64;
    "addi64_0"  >:: addi_zero_op `ppc64;
    "addis64"   >:: addis `ppc64;
    "addis64_0" >:: addis_zero_op `ppc64;
    "add64"     >:: add `ppc64;
    "addic64"   >:: addic `ppc64;
    "addc64"    >:: addc `ppc64;
    "adde64"    >:: adde `ppc64;
    "addme64"   >:: addme `ppc64;
    "addze64"   >:: addze `ppc64;
    "add.64"    >:: add_dot `ppc64;
    "addic.64"  >:: addic_dot `ppc64;
    "addc.64"   >:: addc_dot `ppc64;
    "adde.64"   >:: adde_dot `ppc64;
    "addme.64"  >:: addme_dot `ppc64;
    "addze.64"  >:: addze_dot `ppc64;
  ]

* addme r1, r2   
* addze r1, r2  
* addme. r1, r2  
* addze. r1, r2  
open Core_kernel[@@warning "-D"]
open Bap.Std
open OUnit2

open Powerpc_tests_helpers

let addi arch ctxt =
* addi r1 , r1 , 16  
  let r1 = find_gpr arch "R1" in
  let width = arch_width arch in
  let init = Bil.[
      r1 := int (Word.of_int ~width 26);
    ] in
  let expected = Word.of_int ~width 42 in
  check_gpr init bytes r1 expected arch ctxt

let addi_zero_op arch ctxt =
* addi r1 , 0 , 16 OR   , 16
  let r1 = find_gpr arch "R1" in
  let width = arch_width arch in
  let expected = Word.of_int ~width 16 in
  check_gpr [] bytes r1 expected arch ctxt

let addis arch ctxt =
* addis r30 , r30 , 2   
  let r30 = find_gpr arch "R30" in
  let width = arch_width arch in
  let init = Bil.[
      r30 := int (Word.of_int ~width 42);
    ] in
  let r = 42 + (2 lsl 16) in
  let expected = Word.of_int ~width r in
  check_gpr init bytes r30 expected arch ctxt

let addis_zero_op arch ctxt =
* addis r30 , 0 , 2 OR  
  let r30 = find_gpr arch "R30" in
  let width = arch_width arch in
  let r = 2 lsl 16 in
  let expected = Word.of_int ~width r in
  check_gpr [] bytes r30 expected arch ctxt

let add arch ctxt =
* add r11 , r2 ,  
  let r2 = find_gpr arch "R2" in
  let r11 = find_gpr arch "R11" in
  let width = arch_width arch in
  let x = Word.of_int ~width 34 in
  let y = Word.of_int ~width 8 in
  let init = Bil.[
      r2 := int x;
      r11 := int y;
    ] in
  let expected = Word.of_int ~width 42 in
  check_gpr init bytes r11 expected arch ctxt

let addic arch _ctxt =
*   , r1 , 16  
  let r1 = find_gpr arch "R1" in
  let width = arch_width arch in
  let x = Word.of_int ~width 0x0fffffff0 in
  let init = Bil.[
      r1 := int x;
    ] in
  let expected = match arch with
    | `ppc -> Word.zero width
    | _ -> Word.of_int ~width 0x00000001_00000000 in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let ca_expected = match arch with
    | `ppc -> Word.b1
    | _ -> Word.b0 in
  assert_bool "addic failed: result" (is_equal_words expected r1_value);
  assert_bool "addic failed: ca32" (is_equal_words Word.b1 ca32_value);
  assert_bool "addic failed: ca" (is_equal_words ca_expected ca_value)

let addc arch _ctxt =
*   , r2 ,  
  let r2 = find_gpr arch "R2" in
  let r11 = find_gpr arch "R11" in
  let width = arch_width arch in
  let x = Word.of_int ~width 0x0fffffff0 in
  let init = Bil.[
      r2 := int x;
      r11 := int (Word.of_int ~width 16);
    ] in
  let expected = match arch with
    | `ppc -> Word.zero width
    | _ -> Word.of_int ~width 0x00000001_00000000 in
  let ctxt = eval init bytes arch in
  let r11_value = lookup_var ctxt r11 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let ca_expected = match arch with
    | `ppc -> Word.b1
    | _ -> Word.b0 in
  assert_bool "addc failed: result" (is_equal_words expected r11_value);
  assert_bool "addc failed: ca32" (is_equal_words Word.b1 ca32_value);
  assert_bool "addc failed: ca" (is_equal_words ca_expected ca_value)

let adde arch _ctxt =
*   , r1 , r16  
  let r1 = find_gpr arch "R1" in
  let r16 = find_gpr arch "R16" in
  let width = arch_width arch in
  let x = Word.of_int64 ~width 0xfffffff0L in
  let init = Bil.[
      r1 := int x;
      r16 := int (Word.of_int ~width 15);
      ca := int Word.b1;
    ] in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let expected, ca_expected = match arch with
    | `ppc -> Word.zero width, Word.b1
    | _ -> Word.of_int ~width:64 0x00000001_00000000, Word.b0 in
  assert_bool "adde failed: result" (is_equal_words expected r1_value);
  assert_bool "adde failed: ca32" (is_equal_words Word.b1 ca32_value);
  assert_bool "adde failed: ca" (is_equal_words ca_expected ca_value)

let addme arch _ctxt =
  let r1 = find_gpr arch "R1" in
  let r2 = find_gpr arch "R2" in
  let width = arch_width arch in
  let x = Word.of_int64 ~width 0xffffffffL in
  let init = Bil.[
      r2 := int x;
      ca := int Word.b1;
    ] in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let expected = Word.of_int64 ~width 0xffffffffL in
  assert_bool "addme failed: result" (is_equal_words expected r1_value);
  assert_bool "addme failed: ca32" (is_equal_words Word.b0 ca32_value);
  assert_bool "addme failed: ca" (is_equal_words Word.b0 ca_value)

let addze arch _ctxt =
  let r1 = find_gpr arch "R1" in
  let r2 = find_gpr arch "R2" in
  let width = arch_width arch in
  let x = match arch with
    | `ppc -> Word.of_int64 ~width 0xffffffffL
    | _ -> Word.of_int64 0xffffffff_ffffffffL in
  let init = Bil.[
      r2 := int x;
      ca := int Word.b1;
    ] in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let expected = Word.of_int ~width 0x0 in
  assert_bool "addze failed: result" (is_equal_words expected r1_value);
  assert_bool "addze failed: ca32" (is_equal_words Word.b1 ca32_value);
  assert_bool "addze failed: ca" (is_equal_words Word.b1 ca_value)

let add_dot arch _ctxt =
* add . r11 , r2 ,  
  let r2 = find_gpr arch "R2" in
  let r11 = find_gpr arch "R11" in
  let width = arch_width arch in
  let x = Word.of_int ~width 34 in
  let y = Word.of_int ~width 8 in
  let init = Bil.[
      r2 := int x;
      r11 := int y;
    ] in
  let expected = Word.of_int ~width 42 in
  let ctxt = eval init bytes arch in
  let r11_value = lookup_var ctxt r11 in
  let nf_value = lookup_var ctxt nf in
  let pf_value = lookup_var ctxt pf in
  let zf_value = lookup_var ctxt zf in
  assert_bool "add. failed: result" (is_equal_words expected r11_value);
  assert_bool "add. failed: nf" (is_equal_words Word.b0 nf_value);
  assert_bool "add. failed: pf" (is_equal_words Word.b1 pf_value);
  assert_bool "add. failed: zf" (is_equal_words Word.b0 zf_value)

let addic_dot arch _ctxt =
* addic . r1 , r1 , 16   
  let r1 = find_gpr arch "R1" in
  let width = arch_width arch in
  let x = match arch with
    | `ppc -> Word.of_int64 ~width 0xfffffff0L
    | _ -> Word.of_int64 0xffffffff_fffffff0L in
  let init = Bil.[
      r1 := int x;
    ] in
  let expected = Word.of_int ~width 0 in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let nf_value = lookup_var ctxt nf in
  let pf_value = lookup_var ctxt pf in
  let zf_value = lookup_var ctxt zf in
  assert_bool "addic. failed: result" (is_equal_words expected r1_value);
  assert_bool "addic. failed: ca32" (is_equal_words Word.b1 ca32_value);
  assert_bool "addic. failed: ca" (is_equal_words Word.b1 ca_value);
  assert_bool "addic. failed: nf" (is_equal_words Word.b0 nf_value);
  assert_bool "addic. failed: pf" (is_equal_words Word.b0 pf_value);
  assert_bool "addic. failed: zf" (is_equal_words Word.b1 zf_value)

let addc_dot arch _ctxt =
* addc . r11 , r2 ,  
  let r2 = find_gpr arch "R2" in
  let r11 = find_gpr arch "R11" in
  let width = arch_width arch in
  let x,y,expected = match arch with
    | `ppc ->
      Word.of_int64 ~width 0x0ffffff0L,
      Word.of_int64 ~width 0xf000000fL,
      Word.of_int64 ~width 0xffffffffL
    | _ ->
      Word.of_int64 0x0fffffff_fffffff0L,
      Word.of_int64 0xf0000000_0000000fL,
      Word.of_int64 0xffffffff_ffffffffL in
  let init = Bil.[
      r2 := int x;
      r11 := int y;
    ] in
  let ctxt = eval init bytes arch in
  let r11_value = lookup_var ctxt r11 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let nf_value = lookup_var ctxt nf in
  let pf_value = lookup_var ctxt pf in
  let zf_value = lookup_var ctxt zf in
  assert_bool "addc. failed: result" (is_equal_words expected r11_value);
  assert_bool "addc. failed: ca32" (is_equal_words Word.b0 ca32_value);
  assert_bool "addc. failed: ca" (is_equal_words Word.b0 ca_value);
  assert_bool "addc. failed: nf" (is_equal_words Word.b1 nf_value);
  assert_bool "addc. failed: pf" (is_equal_words Word.b0 pf_value);
  assert_bool "addc. failed: zf" (is_equal_words Word.b0 zf_value)

let adde_dot arch _ctxt =
* adde . r1 , r1 , r16  
  let r1 = find_gpr arch "R1" in
  let r16 = find_gpr arch "R16" in
  let width = arch_width arch in
  let x = Word.of_int64 ~width 0x0ffffff0L in
  let y = Word.of_int64 ~width 0xf000000eL in
  let init = Bil.[
      r1 := int x;
      r16 := int y;
      ca := int Word.b1;
    ] in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let expected = Word.of_int64 ~width 0xffffffffL in
  let nf_expected, pf_expected = match arch with
    | `ppc -> Word.b1, Word.b0
    | `ppc64 -> Word.b0, Word.b1
    | _ -> failwith "PowerPC only expected" in
  let nf_value = lookup_var ctxt nf in
  let pf_value = lookup_var ctxt pf in
  let zf_value = lookup_var ctxt zf in
  assert_bool "adde. failed: result" (is_equal_words expected r1_value);
  assert_bool "adde. failed: ca32" (is_equal_words Word.b0 ca32_value);
  assert_bool "adde. failed: ca" (is_equal_words Word.b0 ca_value);
  assert_bool "adde. failed: nf" (is_equal_words nf_expected nf_value);
  assert_bool "adde. failed: pf" (is_equal_words pf_expected pf_value);
  assert_bool "adde. failed: zf" (is_equal_words Word.b0 zf_value)

let addme_dot arch _ctxt =
  let r1 = find_gpr arch "R1" in
  let r2 = find_gpr arch "R2" in
  let width = arch_width arch in
  let x = Word.one width in
  let init = Bil.[
      r2 := int x;
      ca := int Word.b0;
    ] in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let expected = Word.zero width in
  let cf_expected = match arch with
    | `ppc -> Word.b1
    | _ -> Word.b1 in
  let nf_value = lookup_var ctxt nf in
  let pf_value = lookup_var ctxt pf in
  let zf_value = lookup_var ctxt zf in
  assert_bool "addme. failed: result" (is_equal_words expected r1_value);
  assert_bool "addme. failed: ca32" (is_equal_words Word.b1 ca32_value);
  assert_bool "addme. failed: ca" (is_equal_words cf_expected ca_value);
  assert_bool "addme. failed: nf" (is_equal_words Word.b0 nf_value);
  assert_bool "addme. failed: pf" (is_equal_words Word.b0 pf_value);
  assert_bool "addme. failed: zf" (is_equal_words Word.b1 zf_value)

let addze_dot arch ctxt =
  let r1 = find_gpr arch "R1" in
  let r2 = find_gpr arch "R2" in
  let width = arch_width arch in
  let x = match arch with
    | `ppc -> Word.of_int64 ~width 0xffffffffL
    | _ -> Word.of_int64 0xffffffff_ffffffffL in
  let init = Bil.[
      r2 := int x;
      ca := int Word.b1;
    ] in
  let ctxt = eval init bytes arch in
  let r1_value = lookup_var ctxt r1 in
  let ca_value = lookup_var ctxt ca in
  let ca32_value = lookup_var ctxt ca32 in
  let expected = Word.zero width in
  assert_bool "addze. failed: result" (is_equal_words expected r1_value);
  assert_bool "addze. failed: ca32" (is_equal_words Word.b1 ca32_value);
  assert_bool "addze. failed: ca" (is_equal_words Word.b1 ca_value)

let suite = "add" >::: [
    "addi32"    >:: addi `ppc;
    "addi32_0"  >:: addi_zero_op `ppc;
    "addis32"   >:: addis `ppc;
    "addis32_0" >:: addis_zero_op `ppc;
    "add32"     >:: add `ppc;
    "addic32"   >:: addic `ppc;
    "addc32"    >:: addc `ppc;
    "adde32"    >:: adde `ppc;
    "addme32"   >:: addme `ppc;
    "addze32"   >:: addze `ppc;
    "add.32"    >:: add_dot `ppc;
    "addic.32"  >:: addic_dot `ppc;
    "addc.32"   >:: addc_dot `ppc;
    "adde.32"   >:: adde_dot `ppc;
    "addme.32"  >:: addme_dot `ppc;
    "addze.32"  >:: addze_dot `ppc;

    "addi64"    >:: addi `ppc64;
    "addi64_0"  >:: addi_zero_op `ppc64;
    "addis64"   >:: addis `ppc64;
    "addis64_0" >:: addis_zero_op `ppc64;
    "add64"     >:: add `ppc64;
    "addic64"   >:: addic `ppc64;
    "addc64"    >:: addc `ppc64;
    "adde64"    >:: adde `ppc64;
    "addme64"   >:: addme `ppc64;
    "addze64"   >:: addze `ppc64;
    "add.64"    >:: add_dot `ppc64;
    "addic.64"  >:: addic_dot `ppc64;
    "addc.64"   >:: addc_dot `ppc64;
    "adde.64"   >:: adde_dot `ppc64;
    "addme.64"  >:: addme_dot `ppc64;
    "addze.64"  >:: addze_dot `ppc64;
  ]
