forked from chakra-core/ChakraCore
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathIntConstMath.cpp
More file actions
84 lines (74 loc) · 2.81 KB
/
IntConstMath.cpp
File metadata and controls
84 lines (74 loc) · 2.81 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
//-------------------------------------------------------------------------------------------------------
// Copyright (C) Microsoft Corporation and contributors. All rights reserved.
// Licensed under the MIT license. See LICENSE.txt file in the project root for full license information.
//-------------------------------------------------------------------------------------------------------
#include "Backend.h"
bool IntConstMath::IsValid(IntConstType val, IRType type)
{
switch (type)
{
#if TARGET_32
case TyInt32:
case TyUint32:
CompileAssert(sizeof(IntConstType) == sizeof(int32));
return true;
#elif TARGET_64
case TyInt32:
case TyUint32:
return Math::FitsInDWord(val);
case TyInt64:
case TyUint64:
CompileAssert(sizeof(IntConstType) == sizeof(int64));
return true;
#endif
default:
Assert(UNREACHED);
return false;
}
}
bool IntConstMath::Add(IntConstType left, IntConstType right, IRType type, IntConstType * result)
{
bool overflowed = IntMathCommon<IntConstType>::Add(left, right, result);
return overflowed || !IsValid(*result, type);
}
bool IntConstMath::Sub(IntConstType left, IntConstType right, IRType type, IntConstType * result)
{
bool overflowed = IntMathCommon<IntConstType>::Sub(left, right, result);
return overflowed || !IsValid(*result, type);
}
bool IntConstMath::Mul(IntConstType left, IntConstType right, IRType type, IntConstType * result)
{
#if TARGET_32
bool overflowed = Int32Math::Mul(left, right, result);
CompileAssert(sizeof(IntConstType) == sizeof(int32));
#elif TARGET_64
bool overflowed = Int64Math::Mul(left, right, result);
CompileAssert(sizeof(IntConstType) == sizeof(int64));
#endif
return overflowed || !IsValid(*result, type);
}
bool IntConstMath::Div(IntConstType left, IntConstType right, IRType type, IntConstType * result)
{
bool overflowed = IntMathCommon<IntConstType>::Div(left, right, result);
return overflowed || !IsValid(*result, type);
}
bool IntConstMath::Mod(IntConstType left, IntConstType right, IRType type, IntConstType * result)
{
bool overflowed = IntMathCommon<IntConstType>::Mod(left, right, result);
return overflowed || !IsValid(*result, type);
}
bool IntConstMath::Dec(IntConstType val, IRType type, IntConstType * result)
{
bool overflowed = IntMathCommon<IntConstType>::Dec(val, result);
return overflowed || !IsValid(*result, type);
}
bool IntConstMath::Inc(IntConstType val, IRType type, IntConstType * result)
{
bool overflowed = IntMathCommon<IntConstType>::Inc(val, result);
return overflowed || !IsValid(*result, type);
}
bool IntConstMath::Neg(IntConstType val, IRType type, IntConstType * result)
{
bool overflowed = IntMathCommon<IntConstType>::Neg(val, result);
return overflowed || !IsValid(*result, type);
}