// Copyright 2019 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
//
//     https://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.

// Tests that generated code properly preserves and propagates alignment
// information.
#include <stdint.h>

#include <vector>

#include "gtest/gtest.h"
#include "runtime/cpp/emboss_cpp_util.h"
#include "testdata/alignments.emb.h"

namespace emboss {
namespace test {
namespace {

using ::emboss::support::ContiguousBuffer;

TEST(AlignmentsTest, DirectFieldAlignments) {
  auto unaligned_view = MakeAlignmentsView<char>(nullptr, 0);
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 1, 0>>,
                      decltype(unaligned_view.zero_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 1, 0>>,
                      decltype(unaligned_view.four_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 1, 0>>,
                      decltype(unaligned_view.twelve_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 1, 0>>,
                      decltype(unaligned_view.three_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 1, 0>>,
                      decltype(unaligned_view.eleven_offset())>::value));

  auto four_aligned_view = MakeAlignedAlignmentsView<char, 4>(nullptr, 0);
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 4, 0>>,
                      decltype(four_aligned_view.zero_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 4, 0>>,
                      decltype(four_aligned_view.four_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 4, 0>>,
                      decltype(four_aligned_view.twelve_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 4, 3>>,
                      decltype(four_aligned_view.three_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 4, 3>>,
                      decltype(four_aligned_view.eleven_offset())>::value));

  auto eight_aligned_view = MakeAlignedAlignmentsView<char, 8>(nullptr, 0);
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 8, 0>>,
                      decltype(eight_aligned_view.zero_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 8, 4>>,
                      decltype(eight_aligned_view.four_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 8, 4>>,
                      decltype(eight_aligned_view.twelve_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 8, 3>>,
                      decltype(eight_aligned_view.three_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 8, 3>>,
                      decltype(eight_aligned_view.eleven_offset())>::value));
}

TEST(AlignmentsTest, AlignmentReductionAssignment) {
  alignas(4) unsigned char data[4];
  auto four_aligned_view = MakeAlignedAlignmentsView<unsigned char, 4>(data, 4);
  {
    // Implicit construction.
    AlignmentsView unaligned_view{four_aligned_view};
    EXPECT_EQ(data, unaligned_view.BackingStorage().data());
  }
  {
    // Implicit conversion during assignment.
    AlignmentsView unaligned_view;
    unaligned_view = four_aligned_view;
    EXPECT_EQ(data, unaligned_view.BackingStorage().data());
  }
}

TEST(AlignmentsTest, ArrayFieldAlignments) {
  auto unaligned_view = MakeAlignmentsView<char>(nullptr, 0);
  EXPECT_TRUE(
      (::std::is_same<
          GenericPlaceholder4View<ContiguousBuffer<char, 1, 0>>,
          decltype(unaligned_view.zero_offset_four_stride_array()[0])>::value));
  EXPECT_TRUE(
      (::std::is_same<
          GenericPlaceholder6View<ContiguousBuffer<char, 1, 0>>,
          decltype(unaligned_view.zero_offset_six_stride_array()[0])>::value));
  EXPECT_TRUE(
      (::std::is_same<
          GenericPlaceholder4View<ContiguousBuffer<char, 1, 0>>,
          decltype(
              unaligned_view.three_offset_four_stride_array()[0])>::value));
  EXPECT_TRUE(
      (::std::is_same<
          GenericPlaceholder6View<ContiguousBuffer<char, 1, 0>>,
          decltype(unaligned_view.four_offset_six_stride_array()[0])>::value));

  auto four_aligned_view = MakeAlignedAlignmentsView<char, 4>(nullptr, 0);
  EXPECT_TRUE(
      (::std::is_same<
          GenericPlaceholder4View<ContiguousBuffer<char, 4, 0>>,
          decltype(
              four_aligned_view.zero_offset_four_stride_array()[0])>::value));
  EXPECT_TRUE((
      ::std::is_same<GenericPlaceholder6View<ContiguousBuffer<char, 2, 0>>,
                     decltype(four_aligned_view
                                  .zero_offset_six_stride_array()[0])>::value));
  EXPECT_TRUE(
      (::std::is_same<
          GenericPlaceholder4View<ContiguousBuffer<char, 4, 3>>,
          decltype(
              four_aligned_view.three_offset_four_stride_array()[0])>::value));
  EXPECT_TRUE((
      ::std::is_same<GenericPlaceholder6View<ContiguousBuffer<char, 2, 0>>,
                     decltype(four_aligned_view
                                  .four_offset_six_stride_array()[0])>::value));

  auto eight_aligned_view = MakeAlignedAlignmentsView<char, 8>(nullptr, 0);
  EXPECT_TRUE(
      (::std::is_same<
          GenericPlaceholder4View<ContiguousBuffer<char, 4, 0>>,
          decltype(
              eight_aligned_view.zero_offset_four_stride_array()[0])>::value));
  EXPECT_TRUE((
      ::std::is_same<GenericPlaceholder6View<ContiguousBuffer<char, 2, 0>>,
                     decltype(eight_aligned_view
                                  .zero_offset_six_stride_array()[0])>::value));
  EXPECT_TRUE(
      (::std::is_same<
          GenericPlaceholder4View<ContiguousBuffer<char, 4, 3>>,
          decltype(
              eight_aligned_view.three_offset_four_stride_array()[0])>::value));
  EXPECT_TRUE((
      ::std::is_same<GenericPlaceholder6View<ContiguousBuffer<char, 2, 0>>,
                     decltype(eight_aligned_view
                                  .four_offset_six_stride_array()[0])>::value));
}

TEST(AlignmentsTest, SubFieldAlignments) {
  auto unaligned_view = MakeAlignmentsView<char>(nullptr, 0);
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 1, 0>>,
                      decltype(unaligned_view.zero_offset_substructure()
                                   .zero_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 1, 0>>,
                      decltype(unaligned_view.zero_offset_substructure()
                                   .two_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 1, 0>>,
                      decltype(unaligned_view.two_offset_substructure()
                                   .zero_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 1, 0>>,
                      decltype(unaligned_view.two_offset_substructure()
                                   .two_offset())>::value));

  auto four_aligned_view = MakeAlignedAlignmentsView<char, 4>(nullptr, 0);
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 4, 0>>,
                      decltype(four_aligned_view.zero_offset_substructure()
                                   .zero_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 4, 2>>,
                      decltype(four_aligned_view.zero_offset_substructure()
                                   .two_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 4, 2>>,
                      decltype(four_aligned_view.two_offset_substructure()
                                   .zero_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 4, 0>>,
                      decltype(four_aligned_view.two_offset_substructure()
                                   .two_offset())>::value));

  auto eight_aligned_view = MakeAlignedAlignmentsView<char, 8>(nullptr, 0);
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 8, 0>>,
                      decltype(eight_aligned_view.zero_offset_substructure()
                                   .zero_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 8, 2>>,
                      decltype(eight_aligned_view.zero_offset_substructure()
                                   .two_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 8, 2>>,
                      decltype(eight_aligned_view.two_offset_substructure()
                                   .zero_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 8, 4>>,
                      decltype(eight_aligned_view.two_offset_substructure()
                                   .two_offset())>::value));
}

TEST(AlignmentsTest, ArraySubFieldAlignments) {
  auto unaligned_view = MakeAlignmentsView<char>(nullptr, 0);
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 1, 0>>,
                      decltype(unaligned_view.zero_offset_six_stride_array()[0]
                                   .zero_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 1, 0>>,
                      decltype(unaligned_view.zero_offset_six_stride_array()[0]
                                   .two_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 1, 0>>,
                      decltype(unaligned_view.four_offset_six_stride_array()[0]
                                   .zero_offset())>::value));
  EXPECT_TRUE(
      (::std::is_same<GenericPlaceholder4View<ContiguousBuffer<char, 1, 0>>,
                      decltype(unaligned_view.four_offset_six_stride_array()[0]
                                   .two_offset())>::value));

  auto four_aligned_view = MakeAlignedAlignmentsView<char, 4>(nullptr, 0);
  EXPECT_TRUE((::std::is_same<
               GenericPlaceholder4View<ContiguousBuffer<char, 2, 0>>,
               decltype(four_aligned_view.zero_offset_six_stride_array()[0]
                            .zero_offset())>::value));
  EXPECT_TRUE((::std::is_same<
               GenericPlaceholder4View<ContiguousBuffer<char, 2, 0>>,
               decltype(four_aligned_view.zero_offset_six_stride_array()[0]
                            .two_offset())>::value));
  EXPECT_TRUE((::std::is_same<
               GenericPlaceholder4View<ContiguousBuffer<char, 2, 0>>,
               decltype(four_aligned_view.four_offset_six_stride_array()[0]
                            .zero_offset())>::value));
  EXPECT_TRUE((::std::is_same<
               GenericPlaceholder4View<ContiguousBuffer<char, 2, 0>>,
               decltype(four_aligned_view.four_offset_six_stride_array()[0]
                            .two_offset())>::value));

  auto eight_aligned_view = MakeAlignedAlignmentsView<char, 8>(nullptr, 0);
  EXPECT_TRUE((::std::is_same<
               GenericPlaceholder4View<ContiguousBuffer<char, 2, 0>>,
               decltype(eight_aligned_view.zero_offset_six_stride_array()[0]
                            .zero_offset())>::value));
  EXPECT_TRUE((::std::is_same<
               GenericPlaceholder4View<ContiguousBuffer<char, 2, 0>>,
               decltype(eight_aligned_view.zero_offset_six_stride_array()[0]
                            .two_offset())>::value));
  EXPECT_TRUE((::std::is_same<
               GenericPlaceholder4View<ContiguousBuffer<char, 2, 0>>,
               decltype(eight_aligned_view.four_offset_six_stride_array()[0]
                            .zero_offset())>::value));
  EXPECT_TRUE((::std::is_same<
               GenericPlaceholder4View<ContiguousBuffer<char, 2, 0>>,
               decltype(eight_aligned_view.four_offset_six_stride_array()[0]
                            .two_offset())>::value));
}

}  // namespace
}  // namespace test
}  // namespace emboss