/*
 * Copyright 2023 Google LLC
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

#include <cstdio>

#include "tests/kelvin_isa/kelvin_test.h"

int main() {
  test_alu_w_vv("vand.vv", 0x55ffcc5a, 0xaa015566, 0x00014442);

  test_alu_b_v("vclb.b.v", 0x00, 8);
  test_alu_b_v("vclb.b.v", 0x80, 1);
  test_alu_b_v("vclb.b.v", 0x10, 3);
  test_alu_b_v("vclb.b.v", 0x90, 1);
  test_alu_b_v("vclb.b.v", 0x55, 1);
  test_alu_b_v("vclb.b.v", 0xd5, 2);
  test_alu_b_v("vclb.b.v", 0xaa, 1);
  test_alu_b_v("vclb.b.v", 0x2a, 2);
  test_alu_b_v("vclb.b.v", 0xf0, 4);
  test_alu_b_v("vclb.b.v", 0x70, 1);
  test_alu_b_v("vclb.b.v", 0xff, 8);
  test_alu_b_v("vclb.b.v", 0x7f, 1);
  test_alu_h_v("vclb.h.v", 0x0000, 16);
  test_alu_h_v("vclb.h.v", 0x8000, 1);
  test_alu_h_v("vclb.h.v", 0x0010, 11);
  test_alu_h_v("vclb.h.v", 0x8010, 1);
  test_alu_h_v("vclb.h.v", 0x0800, 4);
  test_alu_h_v("vclb.h.v", 0x8800, 1);
  test_alu_h_v("vclb.h.v", 0x5555, 1);
  test_alu_h_v("vclb.h.v", 0xd555, 2);
  test_alu_h_v("vclb.h.v", 0xaaaa, 1);
  test_alu_h_v("vclb.h.v", 0x2aaa, 2);
  test_alu_h_v("vclb.h.v", 0xff00, 8);
  test_alu_h_v("vclb.h.v", 0x7f00, 1);
  test_alu_h_v("vclb.h.v", 0xffff, 16);
  test_alu_h_v("vclb.h.v", 0x7fff, 1);
  test_alu_w_v("vclb.w.v", 0x00000000, 32);
  test_alu_w_v("vclb.w.v", 0x80000000, 1);
  test_alu_w_v("vclb.w.v", 0x00000010, 27);
  test_alu_w_v("vclb.w.v", 0x80000010, 1);
  test_alu_w_v("vclb.w.v", 0x00000800, 20);
  test_alu_w_v("vclb.w.v", 0x80000800, 1);
  test_alu_w_v("vclb.w.v", 0x00002000, 18);
  test_alu_w_v("vclb.w.v", 0x80002000, 1);
  test_alu_w_v("vclb.w.v", 0x01000000, 7);
  test_alu_w_v("vclb.w.v", 0x81000000, 1);
  test_alu_w_v("vclb.w.v", 0x55555555, 1);
  test_alu_w_v("vclb.w.v", 0xd5555555, 2);
  test_alu_w_v("vclb.w.v", 0xaaaaaaaa, 1);
  test_alu_w_v("vclb.w.v", 0x2aaaaaaa, 2);
  test_alu_w_v("vclb.w.v", 0xffff0000, 16);
  test_alu_w_v("vclb.w.v", 0x7fff0000, 1);
  test_alu_w_v("vclb.w.v", 0xffffffff, 32);
  test_alu_w_v("vclb.w.v", 0x7fffffff, 1);

  test_alu_b_v("vclz.b.v", 0x00, 8);
  test_alu_b_v("vclz.b.v", 0x10, 3);
  test_alu_b_v("vclz.b.v", 0x55, 1);
  test_alu_b_v("vclz.b.v", 0xaa, 0);
  test_alu_h_v("vclz.h.v", 0x0000, 16);
  test_alu_h_v("vclz.h.v", 0x0010, 11);
  test_alu_h_v("vclz.h.v", 0x0800, 4);
  test_alu_h_v("vclz.h.v", 0x5555, 1);
  test_alu_h_v("vclz.h.v", 0xaaaa, 0);
  test_alu_w_v("vclz.w.v", 0x00000000, 32);
  test_alu_w_v("vclz.w.v", 0x00000010, 27);
  test_alu_w_v("vclz.w.v", 0x00000800, 20);
  test_alu_w_v("vclz.w.v", 0x00002000, 18);
  test_alu_w_v("vclz.w.v", 0x01000000, 7);
  test_alu_w_v("vclz.w.v", 0x55555555, 1);
  test_alu_w_v("vclz.w.v", 0xaaaaaaaa, 0);

  test_alu_w_v("vnot.v", 0x55ffcc5a, 0xaa0033a5);
  test_alu_w_v("vnot.v", 0xa05f1248, 0x5fa0edb7);

  test_alu_w_vv("vor.vv", 0x55555555, 0xaaaaaaaa, 0xffffffff);
  test_alu_w_vv("vor.vv", 0xa05f1248, 0x5fa02481, 0xffff36c9);
  test_alu_w_vv("vor.vv", 0x12345678, 0x87654321, 0x97755779);

  test_alu_b_v("vcpop.b.v", 0x00, 0);
  test_alu_b_v("vcpop.b.v", 0x10, 1);
  test_alu_b_v("vcpop.b.v", 0x12, 2);
  test_alu_b_v("vcpop.b.v", 0x55, 4);
  test_alu_b_v("vcpop.b.v", 0xaa, 4);
  test_alu_b_v("vcpop.b.v", 0x7e, 6);
  test_alu_b_v("vcpop.b.v", 0x7f, 7);
  test_alu_b_v("vcpop.b.v", 0xfe, 7);
  test_alu_b_v("vcpop.b.v", 0xff, 8);
  test_alu_h_v("vcpop.h.v", 0x0000, 0);
  test_alu_h_v("vcpop.h.v", 0x0010, 1);
  test_alu_h_v("vcpop.h.v", 0x0800, 1);
  test_alu_h_v("vcpop.h.v", 0x1234, 5);
  test_alu_h_v("vcpop.h.v", 0x5555, 8);
  test_alu_h_v("vcpop.h.v", 0xaaaa, 8);
  test_alu_h_v("vcpop.h.v", 0x7ffe, 14);
  test_alu_h_v("vcpop.h.v", 0x7fff, 15);
  test_alu_h_v("vcpop.h.v", 0xfffe, 15);
  test_alu_h_v("vcpop.h.v", 0xffff, 16);
  test_alu_w_v("vcpop.w.v", 0x00000000, 0);
  test_alu_w_v("vcpop.w.v", 0x00000010, 1);
  test_alu_w_v("vcpop.w.v", 0x00000800, 1);
  test_alu_w_v("vcpop.w.v", 0x00702000, 4);
  test_alu_w_v("vcpop.w.v", 0x0100060a, 5);
  test_alu_w_v("vcpop.w.v", 0x12345678, 13);
  test_alu_w_v("vcpop.w.v", 0x55555555, 16);
  test_alu_w_v("vcpop.w.v", 0xaaaaaaaa, 16);
  test_alu_w_v("vcpop.w.v", 0x7ffffffe, 30);
  test_alu_w_v("vcpop.w.v", 0x7fffffff, 31);
  test_alu_w_v("vcpop.w.v", 0xfffffffe, 31);
  test_alu_w_v("vcpop.w.v", 0xffffffff, 32);

  test_alu_w_vx("vrev.b.vx", 0x12345678, 0x00, 0x12345678);
  test_alu_w_vx("vrev.b.vx", 0x12345678, 0x01, 0x2138a9b4);
  test_alu_w_vx("vrev.b.vx", 0x12345678, 0x02, 0x48c159d2);
  test_alu_w_vx("vrev.b.vx", 0x12345678, 0x04, 0x21436587);
  test_alu_w_vx("vrev.b.vx", 0x12345678, 0x08, 0x12345678);
  test_alu_w_vx("vrev.b.vx", 0x12345678, 0x10, 0x12345678);
  test_alu_w_vx("vrev.b.vx", 0x12345678, 0x1f, 0x482c6a1e);
  test_alu_w_vx("vrev.b.vx", 0x12345678, 0xe0, 0x12345678);

  test_alu_w_vx("vrev.h.vx", 0x12345678, 0x00, 0x12345678);
  test_alu_w_vx("vrev.h.vx", 0x12345678, 0x01, 0x2138a9b4);
  test_alu_w_vx("vrev.h.vx", 0x12345678, 0x02, 0x48c159d2);
  test_alu_w_vx("vrev.h.vx", 0x12345678, 0x04, 0x21436587);
  test_alu_w_vx("vrev.h.vx", 0x12345678, 0x08, 0x34127856);
  test_alu_w_vx("vrev.h.vx", 0x12345678, 0x10, 0x12345678);
  test_alu_w_vx("vrev.h.vx", 0x12345678, 0x07, 0x482c6a1e);
  test_alu_w_vx("vrev.h.vx", 0x12345678, 0x0f, 0x2c481e6a);
  test_alu_w_vx("vrev.h.vx", 0x12345678, 0x1f, 0x2c481e6a);
  test_alu_w_vx("vrev.h.vx", 0x12345678, 0xe0, 0x12345678);

  test_alu_w_vx("vrev.w.vx", 0x12345678, 0x00, 0x12345678);
  test_alu_w_vx("vrev.w.vx", 0x12345678, 0x01, 0x2138a9b4);
  test_alu_w_vx("vrev.w.vx", 0x12345678, 0x02, 0x48c159d2);
  test_alu_w_vx("vrev.w.vx", 0x12345678, 0x04, 0x21436587);
  test_alu_w_vx("vrev.w.vx", 0x12345678, 0x08, 0x34127856);
  test_alu_w_vx("vrev.w.vx", 0x12345678, 0x10, 0x56781234);
  test_alu_w_vx("vrev.w.vx", 0x12345678, 0x07, 0x482c6a1e);
  test_alu_w_vx("vrev.w.vx", 0x12345678, 0x0f, 0x2c481e6a);
  test_alu_w_vx("vrev.w.vx", 0x12345678, 0x1f, 0x1e6a2c48);
  test_alu_w_vx("vrev.w.vx", 0x12345678, 0xe0, 0x12345678);

  test_alu_w_vx("vror.b.vx", 0x23456789, 0x00, 0x23456789);
  test_alu_w_vx("vror.b.vx", 0x23456789, 0x01, 0x91a2b3c4);
  test_alu_w_vx("vror.b.vx", 0x23456789, 0x02, 0xc851d962);
  test_alu_w_vx("vror.b.vx", 0x23456789, 0x04, 0x32547698);
  test_alu_w_vx("vror.b.vx", 0x23456789, 0x08, 0x23456789);
  test_alu_w_vx("vror.b.vx", 0x23456789, 0x10, 0x23456789);
  test_alu_w_vx("vror.b.vx", 0x23456789, 0x1f, 0x468ace13);
  test_alu_w_vx("vror.b.vx", 0x23456789, 0xe0, 0x23456789);

  test_alu_w_vx("vror.h.vx", 0x23456789, 0x00, 0x23456789);
  test_alu_w_vx("vror.h.vx", 0x23456789, 0x01, 0x91a2b3c4);
  test_alu_w_vx("vror.h.vx", 0x23456789, 0x02, 0x48d159e2);
  test_alu_w_vx("vror.h.vx", 0x23456789, 0x04, 0x52349678);
  test_alu_w_vx("vror.h.vx", 0x23456789, 0x08, 0x45238967);
  test_alu_w_vx("vror.h.vx", 0x23456789, 0x10, 0x23456789);
  test_alu_w_vx("vror.h.vx", 0x23456789, 0x07, 0x8a4612cf);
  test_alu_w_vx("vror.h.vx", 0x23456789, 0x0f, 0x468acf12);
  test_alu_w_vx("vror.h.vx", 0x23456789, 0x1f, 0x468acf12);
  test_alu_w_vx("vror.h.vx", 0x23456789, 0xe0, 0x23456789);

  test_alu_w_vx("vror.w.vx", 0x23456789, 0x00, 0x23456789);
  test_alu_w_vx("vror.w.vx", 0x23456789, 0x01, 0x91a2b3c4);
  test_alu_w_vx("vror.w.vx", 0x23456789, 0x02, 0x48d159e2);
  test_alu_w_vx("vror.w.vx", 0x23456789, 0x04, 0x92345678);
  test_alu_w_vx("vror.w.vx", 0x23456789, 0x08, 0x89234567);
  test_alu_w_vx("vror.w.vx", 0x23456789, 0x10, 0x67892345);
  test_alu_w_vx("vror.w.vx", 0x23456789, 0x07, 0x12468acf);
  test_alu_w_vx("vror.w.vx", 0x23456789, 0x0f, 0xcf12468a);
  test_alu_w_vx("vror.w.vx", 0x23456789, 0x1f, 0x468acf12);
  test_alu_w_vx("vror.w.vx", 0x23456789, 0xe0, 0x23456789);

  test_alu_w_vv("vxor.vv", 0x55555555, 0xaaaaaaaa, 0xffffffff);
  test_alu_w_vv("vxor.vv", 0x55555555, 0x5555ffff, 0x0000aaaa);
  test_alu_w_vv("vxor.vv", 0xa05f1248, 0x5fa02481, 0xffff36c9);
  test_alu_w_vv("vxor.vv", 0x12345678, 0x87654321, 0x95511559);

  return 0;
}