1a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman//===- llvm/unittest/Support/ConstantRangeTest.cpp - ConstantRange tests --===// 2a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman// 3a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman// The LLVM Compiler Infrastructure 4a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman// 5a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman// This file is distributed under the University of Illinois Open Source 6a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman// License. See LICENSE.TXT for details. 7a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman// 8a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman//===----------------------------------------------------------------------===// 9a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 10a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman#include "llvm/Support/ConstantRange.h" 110b8c9a80f20772c3793201ab5b251d3520b9cea3Chandler Carruth#include "llvm/IR/Instructions.h" 12a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman#include "gtest/gtest.h" 13a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 14a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohmanusing namespace llvm; 15a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 16a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohmannamespace { 17a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 1844b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewyckyclass ConstantRangeTest : public ::testing::Test { 1944b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewyckyprotected: 2044b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky static ConstantRange Full; 2144b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky static ConstantRange Empty; 2244b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky static ConstantRange One; 2344b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky static ConstantRange Some; 2444b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky static ConstantRange Wrap; 2544b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky}; 26a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 2744b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyConstantRange ConstantRangeTest::Full(16); 2844b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyConstantRange ConstantRangeTest::Empty(16, false); 2944b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyConstantRange ConstantRangeTest::One(APInt(16, 0xa)); 3044b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyConstantRange ConstantRangeTest::Some(APInt(16, 0xa), APInt(16, 0xaaa)); 3144b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyConstantRange ConstantRangeTest::Wrap(APInt(16, 0xaaa), APInt(16, 0xa)); 3244b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky 3344b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, Basics) { 34a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(Full.isFullSet()); 35a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Full.isEmptySet()); 369773e45a1e97f5098905bac26b8b8b7c844473f0Owen Anderson EXPECT_TRUE(Full.inverse().isEmptySet()); 37a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Full.isWrappedSet()); 38a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(Full.contains(APInt(16, 0x0))); 39a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(Full.contains(APInt(16, 0x9))); 40a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(Full.contains(APInt(16, 0xa))); 41a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(Full.contains(APInt(16, 0xaa9))); 42a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(Full.contains(APInt(16, 0xaaa))); 43a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 44a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Empty.isFullSet()); 45a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(Empty.isEmptySet()); 469773e45a1e97f5098905bac26b8b8b7c844473f0Owen Anderson EXPECT_TRUE(Empty.inverse().isFullSet()); 47a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Empty.isWrappedSet()); 48a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Empty.contains(APInt(16, 0x0))); 49a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Empty.contains(APInt(16, 0x9))); 50a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Empty.contains(APInt(16, 0xa))); 51a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Empty.contains(APInt(16, 0xaa9))); 52a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Empty.contains(APInt(16, 0xaaa))); 53a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 54a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(One.isFullSet()); 55a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(One.isEmptySet()); 56a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(One.isWrappedSet()); 57a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(One.contains(APInt(16, 0x0))); 58a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(One.contains(APInt(16, 0x9))); 59a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(One.contains(APInt(16, 0xa))); 60a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(One.contains(APInt(16, 0xaa9))); 61a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(One.contains(APInt(16, 0xaaa))); 629773e45a1e97f5098905bac26b8b8b7c844473f0Owen Anderson EXPECT_FALSE(One.inverse().contains(APInt(16, 0xa))); 63a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 64a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Some.isFullSet()); 65a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Some.isEmptySet()); 66a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Some.isWrappedSet()); 67a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Some.contains(APInt(16, 0x0))); 68a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Some.contains(APInt(16, 0x9))); 69a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(Some.contains(APInt(16, 0xa))); 70a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(Some.contains(APInt(16, 0xaa9))); 71a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Some.contains(APInt(16, 0xaaa))); 72a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 73a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Wrap.isFullSet()); 74a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Wrap.isEmptySet()); 75a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(Wrap.isWrappedSet()); 76a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(Wrap.contains(APInt(16, 0x0))); 77a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(Wrap.contains(APInt(16, 0x9))); 78a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Wrap.contains(APInt(16, 0xa))); 79a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Wrap.contains(APInt(16, 0xaa9))); 80a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(Wrap.contains(APInt(16, 0xaaa))); 8144b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky} 82a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 8344b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, Equality) { 848211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full, Full); 858211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty, Empty); 868211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(One, One); 878211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some, Some); 888211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Wrap, Wrap); 898211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_NE(Full, Empty); 908211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_NE(Full, One); 918211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_NE(Full, Some); 928211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_NE(Full, Wrap); 938211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_NE(Empty, One); 948211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_NE(Empty, Some); 958211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_NE(Empty, Wrap); 968211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_NE(One, Some); 978211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_NE(One, Wrap); 988211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_NE(Some, Wrap); 9944b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky} 100a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 10144b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, SingleElement) { 102a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(Full.getSingleElement(), static_cast<APInt *>(NULL)); 103a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(Empty.getSingleElement(), static_cast<APInt *>(NULL)); 104a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(*One.getSingleElement(), APInt(16, 0xa)); 105a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(Some.getSingleElement(), static_cast<APInt *>(NULL)); 106a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(Wrap.getSingleElement(), static_cast<APInt *>(NULL)); 107a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 108a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Full.isSingleElement()); 109a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Empty.isSingleElement()); 110a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(One.isSingleElement()); 111a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Some.isSingleElement()); 112a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_FALSE(Wrap.isSingleElement()); 11344b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky} 114a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 11544b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, GetSetSize) { 116367308f798338e162b4ab76efa785caa847487c0Nuno Lopes EXPECT_EQ(Full.getSetSize(), APInt(17, 65536)); 117367308f798338e162b4ab76efa785caa847487c0Nuno Lopes EXPECT_EQ(Empty.getSetSize(), APInt(17, 0)); 118367308f798338e162b4ab76efa785caa847487c0Nuno Lopes EXPECT_EQ(One.getSetSize(), APInt(17, 1)); 119367308f798338e162b4ab76efa785caa847487c0Nuno Lopes EXPECT_EQ(Some.getSetSize(), APInt(17, 0xaa0)); 120367308f798338e162b4ab76efa785caa847487c0Nuno Lopes 121367308f798338e162b4ab76efa785caa847487c0Nuno Lopes ConstantRange Wrap(APInt(4, 7), APInt(4, 3)); 122367308f798338e162b4ab76efa785caa847487c0Nuno Lopes ConstantRange Wrap2(APInt(4, 8), APInt(4, 7)); 123367308f798338e162b4ab76efa785caa847487c0Nuno Lopes EXPECT_EQ(Wrap.getSetSize(), APInt(5, 12)); 124367308f798338e162b4ab76efa785caa847487c0Nuno Lopes EXPECT_EQ(Wrap2.getSetSize(), APInt(5, 15)); 12544b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky} 126a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 12744b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, GetMinsAndMaxes) { 128a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(Full.getUnsignedMax(), APInt(16, UINT16_MAX)); 129a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(One.getUnsignedMax(), APInt(16, 0xa)); 130a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(Some.getUnsignedMax(), APInt(16, 0xaa9)); 131a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(Wrap.getUnsignedMax(), APInt(16, UINT16_MAX)); 132a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 133a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(Full.getUnsignedMin(), APInt(16, 0)); 134a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(One.getUnsignedMin(), APInt(16, 0xa)); 135a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(Some.getUnsignedMin(), APInt(16, 0xa)); 136a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(Wrap.getUnsignedMin(), APInt(16, 0)); 137a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 138a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(Full.getSignedMax(), APInt(16, INT16_MAX)); 139a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(One.getSignedMax(), APInt(16, 0xa)); 140a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(Some.getSignedMax(), APInt(16, 0xaa9)); 141a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(Wrap.getSignedMax(), APInt(16, INT16_MAX)); 142a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 143b714c08eb8342d4818732b0248710158714fadd5Ryan Flynn EXPECT_EQ(Full.getSignedMin(), APInt(16, (uint64_t)INT16_MIN)); 144a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(One.getSignedMin(), APInt(16, 0xa)); 145a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_EQ(Some.getSignedMin(), APInt(16, 0xa)); 146b714c08eb8342d4818732b0248710158714fadd5Ryan Flynn EXPECT_EQ(Wrap.getSignedMin(), APInt(16, (uint64_t)INT16_MIN)); 147780905e9f9f29419de56b47253f6db84bc659f42Nick Lewycky 148780905e9f9f29419de56b47253f6db84bc659f42Nick Lewycky // Found by Klee 149780905e9f9f29419de56b47253f6db84bc659f42Nick Lewycky EXPECT_EQ(ConstantRange(APInt(4, 7), APInt(4, 0)).getSignedMax(), 150780905e9f9f29419de56b47253f6db84bc659f42Nick Lewycky APInt(4, 7)); 15144b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky} 152a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 15332cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick LewyckyTEST_F(ConstantRangeTest, SignWrapped) { 15432cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky EXPECT_TRUE(Full.isSignWrappedSet()); 15532cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky EXPECT_FALSE(Empty.isSignWrappedSet()); 15632cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky EXPECT_FALSE(One.isSignWrappedSet()); 15732cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky EXPECT_FALSE(Some.isSignWrappedSet()); 15832cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky EXPECT_TRUE(Wrap.isSignWrappedSet()); 15932cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky 16032cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky EXPECT_FALSE(ConstantRange(APInt(8, 127), APInt(8, 128)).isSignWrappedSet()); 16132cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky EXPECT_TRUE(ConstantRange(APInt(8, 127), APInt(8, 129)).isSignWrappedSet()); 16232cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky EXPECT_FALSE(ConstantRange(APInt(8, 128), APInt(8, 129)).isSignWrappedSet()); 16332cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky EXPECT_TRUE(ConstantRange(APInt(8, 10), APInt(8, 9)).isSignWrappedSet()); 16432cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky EXPECT_TRUE(ConstantRange(APInt(8, 10), APInt(8, 250)).isSignWrappedSet()); 16532cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky EXPECT_FALSE(ConstantRange(APInt(8, 250), APInt(8, 10)).isSignWrappedSet()); 16632cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky EXPECT_FALSE(ConstantRange(APInt(8, 250), APInt(8, 251)).isSignWrappedSet()); 16732cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky} 16832cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky 16944b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, Trunc) { 170a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman ConstantRange TFull = Full.truncate(10); 171a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman ConstantRange TEmpty = Empty.truncate(10); 172a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman ConstantRange TOne = One.truncate(10); 173a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman ConstantRange TSome = Some.truncate(10); 174a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman ConstantRange TWrap = Wrap.truncate(10); 175a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(TFull.isFullSet()); 176a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(TEmpty.isEmptySet()); 17740f8f6264d5af2c38e797e0dc59827cd231e8ff7Jay Foad EXPECT_EQ(TOne, ConstantRange(One.getLower().trunc(10), 17840f8f6264d5af2c38e797e0dc59827cd231e8ff7Jay Foad One.getUpper().trunc(10))); 179a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(TSome.isFullSet()); 18044b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky} 181a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 18244b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, ZExt) { 183a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman ConstantRange ZFull = Full.zeroExtend(20); 184a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman ConstantRange ZEmpty = Empty.zeroExtend(20); 185a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman ConstantRange ZOne = One.zeroExtend(20); 186a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman ConstantRange ZSome = Some.zeroExtend(20); 187a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman ConstantRange ZWrap = Wrap.zeroExtend(20); 1888211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(ZFull, ConstantRange(APInt(20, 0), APInt(20, 0x10000))); 189a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(ZEmpty.isEmptySet()); 19040f8f6264d5af2c38e797e0dc59827cd231e8ff7Jay Foad EXPECT_EQ(ZOne, ConstantRange(One.getLower().zext(20), 19140f8f6264d5af2c38e797e0dc59827cd231e8ff7Jay Foad One.getUpper().zext(20))); 19240f8f6264d5af2c38e797e0dc59827cd231e8ff7Jay Foad EXPECT_EQ(ZSome, ConstantRange(Some.getLower().zext(20), 19340f8f6264d5af2c38e797e0dc59827cd231e8ff7Jay Foad Some.getUpper().zext(20))); 19432cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky EXPECT_EQ(ZWrap, ConstantRange(APInt(20, 0), APInt(20, 0x10000))); 195b42729b53a061e2a3def61eb10e2a648cecd60aeNuno Lopes 196b42729b53a061e2a3def61eb10e2a648cecd60aeNuno Lopes // zext([5, 0), 3->7) = [5, 8) 197b42729b53a061e2a3def61eb10e2a648cecd60aeNuno Lopes ConstantRange FiveZero(APInt(3, 5), APInt(3, 0)); 198b42729b53a061e2a3def61eb10e2a648cecd60aeNuno Lopes EXPECT_EQ(FiveZero.zeroExtend(7), ConstantRange(APInt(7, 5), APInt(7, 8))); 19944b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky} 200a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 20144b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, SExt) { 202a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman ConstantRange SFull = Full.signExtend(20); 203a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman ConstantRange SEmpty = Empty.signExtend(20); 204a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman ConstantRange SOne = One.signExtend(20); 205a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman ConstantRange SSome = Some.signExtend(20); 206a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman ConstantRange SWrap = Wrap.signExtend(20); 2078211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(SFull, ConstantRange(APInt(20, (uint64_t)INT16_MIN, true), 2088211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky APInt(20, INT16_MAX + 1, true))); 209a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman EXPECT_TRUE(SEmpty.isEmptySet()); 21040f8f6264d5af2c38e797e0dc59827cd231e8ff7Jay Foad EXPECT_EQ(SOne, ConstantRange(One.getLower().sext(20), 21140f8f6264d5af2c38e797e0dc59827cd231e8ff7Jay Foad One.getUpper().sext(20))); 21240f8f6264d5af2c38e797e0dc59827cd231e8ff7Jay Foad EXPECT_EQ(SSome, ConstantRange(Some.getLower().sext(20), 21340f8f6264d5af2c38e797e0dc59827cd231e8ff7Jay Foad Some.getUpper().sext(20))); 21432cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky EXPECT_EQ(SWrap, ConstantRange(APInt(20, (uint64_t)INT16_MIN, true), 21532cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky APInt(20, INT16_MAX + 1, true))); 21632cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky 21732cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky EXPECT_EQ(ConstantRange(APInt(8, 120), APInt(8, 140)).signExtend(16), 21832cda119ef63ae1f1ee4b60e1d9e4a5ea8e00604Nick Lewycky ConstantRange(APInt(16, -128), APInt(16, 128))); 21944b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky} 22044b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky 22144b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, IntersectWith) { 2228211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.intersectWith(Full), Empty); 2238211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.intersectWith(Empty), Empty); 2248211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.intersectWith(One), Empty); 2258211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.intersectWith(Some), Empty); 2268211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.intersectWith(Wrap), Empty); 2278211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.intersectWith(Full), Full); 2288211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.intersectWith(Some), Some); 2298211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.intersectWith(One), One); 2308211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.intersectWith(One), One); 2318211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.intersectWith(Some), Some); 2328211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.intersectWith(Wrap), Empty); 2338211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(One.intersectWith(Wrap), Empty); 2348211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(One.intersectWith(Wrap), Wrap.intersectWith(One)); 235a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 2363a4a884c1618d94202ee714ea5c899cd80d1c536Nick Lewycky // Klee generated testcase from PR4545. 2373a4a884c1618d94202ee714ea5c899cd80d1c536Nick Lewycky // The intersection of i16 [4, 2) and [6, 5) is disjoint, looking like 2383a4a884c1618d94202ee714ea5c899cd80d1c536Nick Lewycky // 01..4.6789ABCDEF where the dots represent values not in the intersection. 2393a4a884c1618d94202ee714ea5c899cd80d1c536Nick Lewycky ConstantRange LHS(APInt(16, 4), APInt(16, 2)); 2403a4a884c1618d94202ee714ea5c899cd80d1c536Nick Lewycky ConstantRange RHS(APInt(16, 6), APInt(16, 5)); 2418142ce568d40545582e2e43a9e0aa57cd67d6da2Chris Lattner EXPECT_TRUE(LHS.intersectWith(RHS) == LHS); 242fbb7a73631e3c23510abb3904e8ad38c87ff2a24Nuno Lopes 243fbb7a73631e3c23510abb3904e8ad38c87ff2a24Nuno Lopes // previous bug: intersection of [min, 3) and [2, max) should be 2 244532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes LHS = ConstantRange(APInt(32, -2147483646), APInt(32, 3)); 245532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes RHS = ConstantRange(APInt(32, 2), APInt(32, 2147483646)); 246fbb7a73631e3c23510abb3904e8ad38c87ff2a24Nuno Lopes EXPECT_EQ(LHS.intersectWith(RHS), ConstantRange(APInt(32, 2))); 247532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes 248532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes // [2, 0) /\ [4, 3) = [2, 0) 249532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes LHS = ConstantRange(APInt(32, 2), APInt(32, 0)); 250532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes RHS = ConstantRange(APInt(32, 4), APInt(32, 3)); 251532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes EXPECT_EQ(LHS.intersectWith(RHS), ConstantRange(APInt(32, 2), APInt(32, 0))); 252532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes 253532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes // [2, 0) /\ [4, 2) = [4, 0) 254532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes LHS = ConstantRange(APInt(32, 2), APInt(32, 0)); 255532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes RHS = ConstantRange(APInt(32, 4), APInt(32, 2)); 256532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes EXPECT_EQ(LHS.intersectWith(RHS), ConstantRange(APInt(32, 4), APInt(32, 0))); 257532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes 258532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes // [4, 2) /\ [5, 1) = [5, 1) 259532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes LHS = ConstantRange(APInt(32, 4), APInt(32, 2)); 260532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes RHS = ConstantRange(APInt(32, 5), APInt(32, 1)); 261532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes EXPECT_EQ(LHS.intersectWith(RHS), ConstantRange(APInt(32, 5), APInt(32, 1))); 262532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes 263532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes // [2, 0) /\ [7, 4) = [7, 4) 264532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes LHS = ConstantRange(APInt(32, 2), APInt(32, 0)); 265532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes RHS = ConstantRange(APInt(32, 7), APInt(32, 4)); 266532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes EXPECT_EQ(LHS.intersectWith(RHS), ConstantRange(APInt(32, 7), APInt(32, 4))); 267532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes 268532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes // [4, 2) /\ [1, 0) = [1, 0) 269532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes LHS = ConstantRange(APInt(32, 4), APInt(32, 2)); 270532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes RHS = ConstantRange(APInt(32, 1), APInt(32, 0)); 271532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes EXPECT_EQ(LHS.intersectWith(RHS), ConstantRange(APInt(32, 4), APInt(32, 2))); 272532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes 273532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes // [15, 0) /\ [7, 6) = [15, 0) 274532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes LHS = ConstantRange(APInt(32, 15), APInt(32, 0)); 275532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes RHS = ConstantRange(APInt(32, 7), APInt(32, 6)); 276532516a87bc57f21e6d99f49548e4c2adf835551Nuno Lopes EXPECT_EQ(LHS.intersectWith(RHS), ConstantRange(APInt(32, 15), APInt(32, 0))); 27744b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky} 278a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 27944b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, UnionWith) { 2808211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Wrap.unionWith(One), 2818211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky ConstantRange(APInt(16, 0xaaa), APInt(16, 0xb))); 2828211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(One.unionWith(Wrap), Wrap.unionWith(One)); 2838211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.unionWith(Empty), Empty); 2848211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.unionWith(Full), Full); 2858211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.unionWith(Wrap), Full); 2867e7dc45eb15d3739564f2a63ab1c468c57d94ff8Nick Lewycky 2877e7dc45eb15d3739564f2a63ab1c468c57d94ff8Nick Lewycky // PR4545 2888211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(ConstantRange(APInt(16, 14), APInt(16, 1)).unionWith( 2898211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky ConstantRange(APInt(16, 0), APInt(16, 8))), 2908211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky ConstantRange(APInt(16, 14), APInt(16, 8))); 2918211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(ConstantRange(APInt(16, 6), APInt(16, 4)).unionWith( 2928211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky ConstantRange(APInt(16, 4), APInt(16, 0))), 2938142ce568d40545582e2e43a9e0aa57cd67d6da2Chris Lattner ConstantRange(16)); 2948211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(ConstantRange(APInt(16, 1), APInt(16, 0)).unionWith( 2958211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky ConstantRange(APInt(16, 2), APInt(16, 1))), 2968142ce568d40545582e2e43a9e0aa57cd67d6da2Chris Lattner ConstantRange(16)); 29744b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky} 298a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 29962d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno LopesTEST_F(ConstantRangeTest, SetDifference) { 30062d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes EXPECT_EQ(Full.difference(Empty), Full); 30162d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes EXPECT_EQ(Full.difference(Full), Empty); 30262d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes EXPECT_EQ(Empty.difference(Empty), Empty); 30362d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes EXPECT_EQ(Empty.difference(Full), Empty); 30462d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes 30562d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes ConstantRange A(APInt(16, 3), APInt(16, 7)); 30662d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes ConstantRange B(APInt(16, 5), APInt(16, 9)); 30762d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes ConstantRange C(APInt(16, 3), APInt(16, 5)); 30862d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes ConstantRange D(APInt(16, 7), APInt(16, 9)); 30962d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes ConstantRange E(APInt(16, 5), APInt(16, 4)); 31062d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes ConstantRange F(APInt(16, 7), APInt(16, 3)); 31162d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes EXPECT_EQ(A.difference(B), C); 31262d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes EXPECT_EQ(B.difference(A), D); 31362d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes EXPECT_EQ(E.difference(A), F); 31462d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes} 31562d7afad8faf7a1fbbf3402f8e23ce4ece9ab108Nuno Lopes 31644b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, SubtractAPInt) { 3178211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.subtract(APInt(16, 4)), Full); 3188211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.subtract(APInt(16, 4)), Empty); 3198211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.subtract(APInt(16, 4)), 3208211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky ConstantRange(APInt(16, 0x6), APInt(16, 0xaa6))); 3218211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Wrap.subtract(APInt(16, 4)), 3228211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky ConstantRange(APInt(16, 0xaa6), APInt(16, 0x6))); 3238211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(One.subtract(APInt(16, 4)), 3248211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky ConstantRange(APInt(16, 0x6))); 32544b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky} 326a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 32744b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, Add) { 3288211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.add(APInt(16, 4)), Full); 3298211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.add(Full), Full); 3308211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.add(Empty), Empty); 3318211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.add(One), Full); 3328211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.add(Some), Full); 3338211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.add(Wrap), Full); 3348211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.add(Empty), Empty); 3358211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.add(One), Empty); 3368211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.add(Some), Empty); 3378211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.add(Wrap), Empty); 3388211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.add(APInt(16, 4)), Empty); 3398211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.add(APInt(16, 4)), 3407f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky ConstantRange(APInt(16, 0xe), APInt(16, 0xaae))); 3418211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Wrap.add(APInt(16, 4)), 3427f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky ConstantRange(APInt(16, 0xaae), APInt(16, 0xe))); 3438211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(One.add(APInt(16, 4)), 3447f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky ConstantRange(APInt(16, 0xe))); 3457f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky} 3467f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky 3477f9ef4bb514d5a28637789d8f397dadd4344dc1bNick LewyckyTEST_F(ConstantRangeTest, Sub) { 3487f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.sub(APInt(16, 4)), Full); 3497f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.sub(Full), Full); 3507f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.sub(Empty), Empty); 3517f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.sub(One), Full); 3527f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.sub(Some), Full); 3537f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.sub(Wrap), Full); 3547f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Empty.sub(Empty), Empty); 3557f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Empty.sub(One), Empty); 3567f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Empty.sub(Some), Empty); 3577f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Empty.sub(Wrap), Empty); 3587f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Empty.sub(APInt(16, 4)), Empty); 3597f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Some.sub(APInt(16, 4)), 3607f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky ConstantRange(APInt(16, 0x6), APInt(16, 0xaa6))); 361e6240e8b83e9bd60e622650e9e801ebc957172b4Nick Lewycky EXPECT_EQ(Some.sub(Some), 362e6240e8b83e9bd60e622650e9e801ebc957172b4Nick Lewycky ConstantRange(APInt(16, 0xf561), APInt(16, 0xaa0))); 3637f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Wrap.sub(APInt(16, 4)), 3647f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky ConstantRange(APInt(16, 0xaa6), APInt(16, 0x6))); 3657f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(One.sub(APInt(16, 4)), 3667f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky ConstantRange(APInt(16, 0x6))); 36744b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky} 368a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 36944b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, Multiply) { 3708211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.multiply(Full), Full); 3718211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.multiply(Empty), Empty); 3728211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.multiply(One), Full); 3738211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.multiply(Some), Full); 3748211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.multiply(Wrap), Full); 3758211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.multiply(Empty), Empty); 3768211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.multiply(One), Empty); 3778211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.multiply(Some), Empty); 3788211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.multiply(Wrap), Empty); 3798211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(One.multiply(One), ConstantRange(APInt(16, 0xa*0xa), 3808211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky APInt(16, 0xa*0xa + 1))); 3818211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(One.multiply(Some), ConstantRange(APInt(16, 0xa*0xa), 3828211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky APInt(16, 0xa*0xaa9 + 1))); 3838211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(One.multiply(Wrap), Full); 3848211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.multiply(Some), Full); 3858211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.multiply(Wrap), Full); 3868211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Wrap.multiply(Wrap), Full); 387f1db120d0494ec55d9265cea7dab22e80dcae10cNick Lewycky 3887e733eab2f11fceb24d6b4f25c27d7ba7d92d97eNuno Lopes ConstantRange Zero(APInt(16, 0)); 3897e733eab2f11fceb24d6b4f25c27d7ba7d92d97eNuno Lopes EXPECT_EQ(Zero.multiply(Full), Zero); 3907e733eab2f11fceb24d6b4f25c27d7ba7d92d97eNuno Lopes EXPECT_EQ(Zero.multiply(Some), Zero); 3917e733eab2f11fceb24d6b4f25c27d7ba7d92d97eNuno Lopes EXPECT_EQ(Zero.multiply(Wrap), Zero); 3927e733eab2f11fceb24d6b4f25c27d7ba7d92d97eNuno Lopes EXPECT_EQ(Full.multiply(Zero), Zero); 3937e733eab2f11fceb24d6b4f25c27d7ba7d92d97eNuno Lopes EXPECT_EQ(Some.multiply(Zero), Zero); 3947e733eab2f11fceb24d6b4f25c27d7ba7d92d97eNuno Lopes EXPECT_EQ(Wrap.multiply(Zero), Zero); 3957e733eab2f11fceb24d6b4f25c27d7ba7d92d97eNuno Lopes 396f1db120d0494ec55d9265cea7dab22e80dcae10cNick Lewycky // http://llvm.org/PR4545 3978211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(ConstantRange(APInt(4, 1), APInt(4, 6)).multiply( 3988211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky ConstantRange(APInt(4, 6), APInt(4, 2))), 3998211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky ConstantRange(4, /*isFullSet=*/true)); 40044b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky} 40144b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky 40244b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, UMax) { 4038211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.umax(Full), Full); 4048211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.umax(Empty), Empty); 4058211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0))); 4068211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.umax(Wrap), Full); 4078211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.umax(Some), ConstantRange(APInt(16, 0xa), APInt(16, 0))); 4088211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.umax(Empty), Empty); 4098211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.umax(Some), Empty); 4108211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.umax(Wrap), Empty); 4118211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.umax(One), Empty); 4128211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.umax(Some), Some); 4138211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.umax(Wrap), ConstantRange(APInt(16, 0xa), APInt(16, 0))); 4148211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.umax(One), Some); 41544b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky // TODO: ConstantRange is currently over-conservative here. 4168211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Wrap.umax(Wrap), Full); 4178211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Wrap.umax(One), ConstantRange(APInt(16, 0xa), APInt(16, 0))); 4188211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(One.umax(One), One); 41944b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky} 420a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 42144b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, SMax) { 4228211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.smax(Full), Full); 4238211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.smax(Empty), Empty); 4248211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.smax(Some), ConstantRange(APInt(16, 0xa), 4258211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky APInt::getSignedMinValue(16))); 4268211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.smax(Wrap), Full); 4278211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.smax(One), ConstantRange(APInt(16, 0xa), 4288211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky APInt::getSignedMinValue(16))); 4298211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.smax(Empty), Empty); 4308211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.smax(Some), Empty); 4318211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.smax(Wrap), Empty); 4328211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.smax(One), Empty); 4338211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.smax(Some), Some); 4348211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.smax(Wrap), ConstantRange(APInt(16, 0xa), 4358211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky APInt(16, (uint64_t)INT16_MIN))); 4368211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.smax(One), Some); 4378211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Wrap.smax(One), ConstantRange(APInt(16, 0xa), 4388211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky APInt(16, (uint64_t)INT16_MIN))); 4398211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(One.smax(One), One); 44044b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick Lewycky} 441a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 44244b3e8d79674a0cd5326e60dbe0c7e0d13b8f8f5Nick LewyckyTEST_F(ConstantRangeTest, UDiv) { 4438211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.udiv(Full), Full); 4448211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.udiv(Empty), Empty); 4458211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.udiv(One), ConstantRange(APInt(16, 0), 4468211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky APInt(16, 0xffff / 0xa + 1))); 4478211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.udiv(Some), ConstantRange(APInt(16, 0), 4488211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky APInt(16, 0xffff / 0xa + 1))); 4498211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Full.udiv(Wrap), Full); 4508211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.udiv(Empty), Empty); 4518211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.udiv(One), Empty); 4528211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.udiv(Some), Empty); 4538211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Empty.udiv(Wrap), Empty); 4548211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(One.udiv(One), ConstantRange(APInt(16, 1))); 4558211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(One.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 2))); 4568211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(One.udiv(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xb))); 4578211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.udiv(Some), ConstantRange(APInt(16, 0), APInt(16, 0x111))); 4588211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Some.udiv(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa))); 4598211becc98131d3ce1813cd97413240bc0afad00Nick Lewycky EXPECT_EQ(Wrap.udiv(Wrap), Full); 460a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman} 461a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman 4627f9ef4bb514d5a28637789d8f397dadd4344dc1bNick LewyckyTEST_F(ConstantRangeTest, Shl) { 4637f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.shl(Full), Full); 4647f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.shl(Empty), Empty); 4657f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.shl(One), Full); // TODO: [0, (-1 << 0xa) + 1) 4667f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.shl(Some), Full); // TODO: [0, (-1 << 0xa) + 1) 4677f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.shl(Wrap), Full); 4687f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Empty.shl(Empty), Empty); 4697f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Empty.shl(One), Empty); 4707f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Empty.shl(Some), Empty); 4717f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Empty.shl(Wrap), Empty); 4727f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(One.shl(One), ConstantRange(APInt(16, 0xa << 0xa), 4737f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky APInt(16, (0xa << 0xa) + 1))); 4747f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(One.shl(Some), Full); // TODO: [0xa << 0xa, 0) 4757f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(One.shl(Wrap), Full); // TODO: [0xa, 0xa << 14 + 1) 4767f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Some.shl(Some), Full); // TODO: [0xa << 0xa, 0xfc01) 4777f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Some.shl(Wrap), Full); // TODO: [0xa, 0x7ff << 0x5 + 1) 4787f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Wrap.shl(Wrap), Full); 4797f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky} 4807f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky 4817f9ef4bb514d5a28637789d8f397dadd4344dc1bNick LewyckyTEST_F(ConstantRangeTest, Lshr) { 4827f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.lshr(Full), Full); 4837f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.lshr(Empty), Empty); 4847f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.lshr(One), ConstantRange(APInt(16, 0), 4857f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky APInt(16, (0xffff >> 0xa) + 1))); 4867f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.lshr(Some), ConstantRange(APInt(16, 0), 4877f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky APInt(16, (0xffff >> 0xa) + 1))); 4887f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Full.lshr(Wrap), Full); 4897f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Empty.lshr(Empty), Empty); 4907f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Empty.lshr(One), Empty); 4917f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Empty.lshr(Some), Empty); 4927f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Empty.lshr(Wrap), Empty); 4937f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(One.lshr(One), ConstantRange(APInt(16, 0))); 4947f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(One.lshr(Some), ConstantRange(APInt(16, 0))); 4957f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(One.lshr(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xb))); 4967f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Some.lshr(Some), ConstantRange(APInt(16, 0), 4977f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky APInt(16, (0xaaa >> 0xa) + 1))); 4987f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Some.lshr(Wrap), ConstantRange(APInt(16, 0), APInt(16, 0xaaa))); 4997f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky EXPECT_EQ(Wrap.lshr(Wrap), Full); 5007f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky} 5017f9ef4bb514d5a28637789d8f397dadd4344dc1bNick Lewycky 502f2d7b7c879548090beae51b21c4b363da7dbbaadNick LewyckyTEST(ConstantRange, MakeICmpRegion) { 503f2d7b7c879548090beae51b21c4b363da7dbbaadNick Lewycky // PR8250 504f2d7b7c879548090beae51b21c4b363da7dbbaadNick Lewycky ConstantRange SMax = ConstantRange(APInt::getSignedMaxValue(32)); 505f2d7b7c879548090beae51b21c4b363da7dbbaadNick Lewycky EXPECT_TRUE(ConstantRange::makeICmpRegion(ICmpInst::ICMP_SGT, 506f2d7b7c879548090beae51b21c4b363da7dbbaadNick Lewycky SMax).isEmptySet()); 507f2d7b7c879548090beae51b21c4b363da7dbbaadNick Lewycky} 508f2d7b7c879548090beae51b21c4b363da7dbbaadNick Lewycky 509a3755d8d366fdd7a2415b93ac0253f8e677c9dfdDan Gohman} // anonymous namespace 510