Add IsSigned() to opt::Analysis::Integer.

diff --git a/source/opt/types.h b/source/opt/types.h
index fd652d7..a7d9e7c 100644 (file)
--- a/source/opt/types.h
+++ b/source/opt/types.h
@@ -125,6 +125,7 @@ class Integer : public Type {
   Integer* AsInteger() override { return this; }
   const Integer* AsInteger() const override { return this; }
   uint32_t width() const { return width_; }
+  bool IsSigned() const { return signed_; }
 
  private:
   uint32_t width_;  // bit width

diff --git a/test/opt/test_types.cpp b/test/opt/test_types.cpp
index dbb3a01..adbc870 100644 (file)
--- a/test/opt/test_types.cpp
+++ b/test/opt/test_types.cpp
@@ -208,6 +208,17 @@ TEST(Types, AllTypes) {
   }
 }
 
+TEST(Types, IntSignedness) {
+  std::vector<bool> signednesses = {true, false, false, true};
+  std::vector<std::unique_ptr<Integer>> types;
+  for (bool s : signednesses) {
+    types.emplace_back(new Integer(32, s));
+  }
+  for (size_t i = 0; i < signednesses.size(); i++) {
+    EXPECT_EQ(signednesses[i], types[i]->IsSigned());
+  }
+}
+
 TEST(Types, IntWidth) {
   std::vector<uint32_t> widths = {1, 2, 4, 8, 16, 32, 48, 64, 128};
   std::vector<std::unique_ptr<Integer>> types;