Files
safe_numerics/test/test_z.cpp
Robert Ramey bce3a5536e intermediate version
passes all tests
adds documentation of library internals
implements trap_exception for compile time guarantee for program correctness
still needs update to support the above for operations in addition to + and -
2015-12-15 10:21:08 -08:00

168 lines
3.5 KiB
C++

#if 0
#include <iostream>
#include <cstdint>
#include <type_traits>
#include "../include/safe_integer.hpp"
template <class T>
using safe_t = boost::numeric::safe<
T,
boost::numeric::native
>;
int main(){
using namespace boost::numeric;
{
const safe_t<std::int8_t> t = 1;
const std::uint32_t u = 1;
auto z = t / u;
std::cout << z << std::endl;
}
return 0;
}
#include <iostream>
#include <cstdint>
template<typename T>
struct division_result {
static const T t = '0';
};
template<class T>
int test(){
std::cout << "t = " << division_result<T>::t << std::endl;
return 0;
}
int main(){
test<std::int8_t>();
return 0;
}
#endif
#if 0
#include <iostream>
#include <cstdint>
#include <type_traits>
#include "../include/safe_integer.hpp"
#include "../include/automatic.hpp"
template <class T>
using safe_t = boost::numeric::safe<
T,
boost::numeric::automatic
>;
int main(){
using namespace boost::numeric;
{
const safe_t<std::int64_t> t = (std::int64_t)0x8000000000000000;
const std::uint8_t u = (std::uint8_t)0x01;
auto z = t * u;
std::cout << z << std::endl;
}
/*
{
const safe_t<std::int64_t> t = (std::int64_t)0x8000000000000000;
const safe_t<std::uint64_t> u = (std::uint64_t)0x8000000000000000;
auto z = t / u;
std::cout << z << std::endl;
}
{
const safe_t<std::uint8_t> t = 10;
const std::uint8_t u = 2;
auto z = t / u;
std::cout << z << std::endl;
}
{
const safe_t<std::uint8_t> t = std::numeric_limits<safe_t<std::uint8_t>>::max();
const std::uint8_t u = 0;
try {
auto z = t / u;
std::cout << z << std::endl;
}
catch(const std::exception & e){}
}
{
const safe_t<std::uint8_t> t = 10;
const std::uint8_t u = 2;
auto z = t / u;
std::cout << z << std::endl;
}
{
const safe_t<std::uint8_t> t = 10;
const std::int8_t u = -1;
auto z = t / u;
std::cout << z << std::endl;
}
{
const safe_t<std::int8_t> t = -10;
const std::uint8_t u = 2;
auto z = t / u;
std::cout << z << std::endl;
}
{
const safe_t<std::int8_t> t = 10;
const std::int8_t u = -1;
auto z = t / u;
std::cout << z << std::endl;
}
{
safe_t<std::int8_t> t = 1;
std::int32_t u = 0x7fffffff;
auto z = t / u;
std::cout << z << std::endl;
}
{
const safe_t<std::int8_t> t = 10;
const std::int64_t u = 2;
auto z = t / u;
std::cout << z << std::endl;
}
{
const safe_t<std::uint32_t> t = std::numeric_limits<safe_t<std::uint8_t>>::max();
const std::int8_t u = -128;
try {
auto z = t / u;
std::cout << z << std::endl;
}
catch(const std::exception & e){}
}
{
const safe_t<std::int32_t> t = 10;
const std::int8_t u = -1;
auto z = t / u;
std::cout << z << std::endl;
}
{
const safe_t<std::int64_t> t = 10;
const std::int8_t u = -1;
auto z = t / u;
std::cout << z << std::endl;
}
*/
return 0;
}
#endif
#include <iostream>
#include <cstdint>
using namespace std;
int main(){
int8_t x = 100;
int y = x * x;
cout << y << endl;
uint32_t z1 = 100;
int8_t z2 = -100;
auto y2 = z1 * z2;
cout << y2 << endl;
return 0;
}