aaron/ispc
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

When doing << or >> operators, don't convert the return type to the type of the shift amount.

Browse Source 
Fixes issue #73.  Previously, if we had e.g. an int16 type that was being shifted
left by 1, then the constant integer 1 would come in as an int32, we'd convert
the int16 to an int32, and then we'd do the shift.  Now, for shifts, the type
of the expression is always the same as the type of the value being shifted.
This commit is contained in:
Matt Pharr
2011-07-25 23:36:05 +01:00
parent 16be1d313e
commit d0674b1706
2 changed files with 27 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

37
expr.cpp
View File

@@ -119,13 +119,14 @@ lMaybeIssuePrecisionWarning(const AtomicType *toAtomicType,
errorMsgBase);
break;
default:
FATAL("logic error in lMaybeIssuePrecisionWarning");
FATAL("logic error in lMaybeIssuePrecisionWarning()");
}
}
Expr *
Expr::TypeConv(const Type *toType, const char *errorMsgBase, bool failureOk) {
Expr::TypeConv(const Type *toType, const char *errorMsgBase, bool failureOk,
bool issuePrecisionWarnings) {
/* This function is way too long and complex. Is type conversion stuff
always this messy, or can this be cleaned up somehow? */
assert(failureOk || errorMsgBase != NULL);
@@ -313,7 +314,7 @@ Expr::TypeConv(const Type *toType, const char *errorMsgBase, bool failureOk) {
return NULL;
}
if (!failureOk)
if (!failureOk && issuePrecisionWarnings)
lMaybeIssuePrecisionWarning(toAtomicType, fromAtomicType, pos,
errorMsgBase);
@@ -1010,6 +1011,7 @@ BinaryExpr::GetType() const {
return lMatchingBoolType(promotedType);
case Shl:
case Shr:
return type1->IsVaryingType() ? type0->GetAsVaryingType() : type0;
case BitAnd:
case BitXor:
case BitOr:
@@ -1309,15 +1311,28 @@ BinaryExpr::TypeCheck() {
return NULL;
}
const Type *promotedType = Type::MoreGeneralType(type0, type1, arg0->pos,
"binary bit op");
if (promotedType == NULL)
return NULL;
if (op == Shl || op == Shr) {
bool isVarying = (type0->IsVaryingType() ||
type1->IsVaryingType());
if (isVarying) {
arg0 = arg0->TypeConv(type0->GetAsVaryingType(), "shift operator");
type0 = arg0->GetType();
}
arg1 = arg1->TypeConv(type0, "shift operator", false, false);
if (arg1 == NULL)
return NULL;
}
else {
const Type *promotedType = Type::MoreGeneralType(type0, type1, arg0->pos,
"binary bit op");
if (promotedType == NULL)
return NULL;
arg0 = arg0->TypeConv(promotedType, "binary bit op");
arg1 = arg1->TypeConv(promotedType, "binary bit op");
if (arg0 == NULL || arg1 == NULL)
return NULL;
arg0 = arg0->TypeConv(promotedType, "binary bit op");
arg1 = arg1->TypeConv(promotedType, "binary bit op");
if (arg0 == NULL || arg1 == NULL)
return NULL;
}
return this;
}
case Add:

2
expr.h
View File

@@ -97,7 +97,7 @@ public:
that incorporates the given error message string. In either
failure case, NULL is returned. */
Expr *TypeConv(const Type *type, const char *errorMsgBase = NULL,
bool failureOk = false);
bool failureOk = false, bool issuePrecisionWarnings = true);
};