Changeset 7a780ad for src/Concurrency
- Timestamp:
- Apr 18, 2024, 5:19:17 PM (4 weeks ago)
- Branches:
- master
- Children:
- 38093ae
- Parents:
- 60c5b6d
- Location:
- src/Concurrency
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Concurrency/Corun.cpp
r60c5b6d r7a780ad 130 130 new ObjectDecl( loc, 131 131 numProcsName, 132 new BasicType( Basic Type::Kind::UnsignedInt ),132 new BasicType( BasicKind::UnsignedInt ), 133 133 new SingleInit( loc, 134 134 new UntypedExpr( loc, … … 146 146 new ObjectDecl( loc, 147 147 currProcsName, 148 new BasicType( Basic Type::Kind::UnsignedInt ),148 new BasicType( BasicKind::UnsignedInt ), 149 149 new SingleInit( loc, ConstantExpr::from_int( loc, 0 ) ) 150 150 ) -
src/Concurrency/Waitfor.cpp
r60c5b6d r7a780ad 244 244 ast::ObjectDecl * flag = new ast::ObjectDecl( location, 245 245 namer_flg.newName(), 246 new ast::BasicType( ast::Basic Type::Bool ),246 new ast::BasicType( ast::BasicKind::Bool ), 247 247 new ast::SingleInit( location, 248 248 ast::ConstantExpr::from_ulong( location, 0 ) … … 349 349 ast::ObjectDecl * timeout = new ast::ObjectDecl( topLocation, 350 350 namer_tim.newName(), 351 new ast::BasicType( ast::Basic Type::LongLongUnsignedInt ),351 new ast::BasicType( ast::BasicKind::LongLongUnsignedInt ), 352 352 new ast::SingleInit( topLocation, 353 353 ast::ConstantExpr::from_int( topLocation, -1 ) … … 397 397 ast::ObjectDecl * index = new ast::ObjectDecl( location, 398 398 namer_idx.newName(), 399 new ast::BasicType( ast::Basic Type::ShortSignedInt ),399 new ast::BasicType( ast::BasicKind::ShortSignedInt ), 400 400 new ast::SingleInit( location, 401 401 ast::ConstantExpr::from_int( location, -1 ) -
src/Concurrency/Waituntil.cpp
r60c5b6d r7a780ad 498 498 rightExpr = genPredExpr( loc, currNode->right, idx, genLeaf ); 499 499 return new LogicalExpr( loc, 500 new CastExpr( loc, leftExpr, new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast ),501 new CastExpr( loc, rightExpr, new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast ),500 new CastExpr( loc, leftExpr, new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast ), 501 new CastExpr( loc, rightExpr, new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast ), 502 502 LogicalFlag::AndExpr 503 503 ); … … 507 507 rightExpr = genPredExpr( loc, currNode->right, idx, genLeaf ); 508 508 return new LogicalExpr( loc, 509 new CastExpr( loc, leftExpr, new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast ),510 new CastExpr( loc, rightExpr, new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast ),509 new CastExpr( loc, leftExpr, new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast ), 510 new CastExpr( loc, rightExpr, new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast ), 511 511 LogicalFlag::OrExpr ); 512 512 break; … … 556 556 new ObjectDecl( loc, 557 557 "clause_statuses", 558 new PointerType( new BasicType( Basic Type::Kind::LongUnsignedInt ) )558 new PointerType( new BasicType( BasicKind::LongUnsignedInt ) ) 559 559 ) 560 560 }, … … 562 562 new ObjectDecl( loc, 563 563 "sat_ret", 564 new BasicType( Basic Type::Kind::Bool )564 new BasicType( BasicKind::Bool ) 565 565 ) 566 566 }, … … 766 766 new ObjectDecl( loc, 767 767 idxName, 768 new BasicType( Basic Type::Kind::SignedInt ),768 new BasicType( BasicKind::SignedInt ), 769 769 new SingleInit( loc, ConstantExpr::from_int( loc, 0 ) ) 770 770 ) … … 893 893 new ObjectDecl( cLoc, 894 894 currClause->whenName, 895 new BasicType( Basic Type::Kind::Bool ),895 new BasicType( BasicKind::Bool ), 896 896 new SingleInit( cLoc, ast::deepCopy( stmt->clauses.at(i)->when_cond ) ) 897 897 ) … … 915 915 new ObjectDecl( stmt->else_cond->location, 916 916 elseWhenName, 917 new BasicType( Basic Type::Kind::Bool ),917 new BasicType( BasicKind::Bool ), 918 918 new SingleInit( stmt->else_cond->location, ast::deepCopy( stmt->else_cond ) ) 919 919 ) … … 945 945 new CastExpr( cLoc, 946 946 new AddressExpr( cLoc, new NameExpr( cLoc, data.at(i)->nodeName ) ), 947 new BasicType( Basic Type::Kind::LongUnsignedInt ), GeneratedFlag::ExplicitCast947 new BasicType( BasicKind::LongUnsignedInt ), GeneratedFlag::ExplicitCast 948 948 ) 949 949 } … … 986 986 new CastExpr( cLoc, 987 987 new NameExpr( cLoc, elseWhenName ), 988 new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast988 new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast 989 989 ), 990 990 new CastExpr( cLoc, 991 991 raceFnCall, 992 new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast992 new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast 993 993 ), 994 994 LogicalFlag::AndExpr … … 1016 1016 new CastExpr( cLoc, 1017 1017 new NameExpr( cLoc, data.at(idx)->whenName ), 1018 new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast1018 new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast 1019 1019 ), 1020 1020 new CastExpr( cLoc, 1021 1021 baseCond, 1022 new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast1022 new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast 1023 1023 ), 1024 1024 LogicalFlag::AndExpr … … 1034 1034 new NameExpr( cLoc, data.at(idx)->nodeName ), 1035 1035 new AddressExpr( cLoc, new NameExpr( cLoc, data.at(idx)->statusName ) ), 1036 ConstantExpr::null( cLoc, new PointerType( new BasicType( Basic Type::Kind::SignedInt ) ) )1036 ConstantExpr::null( cLoc, new PointerType( new BasicType( BasicKind::SignedInt ) ) ) 1037 1037 } 1038 1038 ) … … 1096 1096 new ObjectDecl( loc, 1097 1097 statusName, 1098 new BasicType( Basic Type::Kind::LongUnsignedInt ),1098 new BasicType( BasicKind::LongUnsignedInt ), 1099 1099 new SingleInit( loc, ConstantExpr::from_int( loc, 0 ) ) 1100 1100 ) … … 1114 1114 new NameExpr( cLoc, "?!=?" ), 1115 1115 { 1116 ConstantExpr::null( cLoc, new PointerType( new BasicType( Basic Type::Kind::LongUnsignedInt ) ) ),1116 ConstantExpr::null( cLoc, new PointerType( new BasicType( BasicKind::LongUnsignedInt ) ) ), 1117 1117 new UntypedExpr( cLoc, 1118 1118 new NameExpr( cLoc, "__get_clause_status" ), … … 1128 1128 new CastExpr( cLoc, 1129 1129 new NameExpr( cLoc, clauseData.at(i)->whenName ), 1130 new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast1130 new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast 1131 1131 ), 1132 1132 new CastExpr( cLoc, 1133 1133 statusPtrCheck, 1134 new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast1134 new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast 1135 1135 ), 1136 1136 LogicalFlag::AndExpr … … 1162 1162 new CastExpr( loc, 1163 1163 new NameExpr( loc, clauseData.at( whenIndices.at(i) )->whenName ), 1164 new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast1164 new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast 1165 1165 ), 1166 1166 new CastExpr( loc, 1167 1167 lastExpr, 1168 new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast1168 new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast 1169 1169 ), 1170 1170 LogicalFlag::OrExpr … … 1220 1220 new ObjectDecl( loc, 1221 1221 pCountName, 1222 new BasicType( Basic Type::Kind::SignedInt ),1222 new BasicType( BasicKind::SignedInt ), 1223 1223 new SingleInit( loc, ConstantExpr::from_int( loc, 0 ) ) 1224 1224 ) … … 1229 1229 new ObjectDecl( loc, 1230 1230 statusArrName, 1231 new ArrayType( new BasicType( Basic Type::Kind::LongUnsignedInt ), ConstantExpr::from_int( loc, numClauses ), LengthFlag::FixedLen, DimensionFlag::DynamicDim ),1231 new ArrayType( new BasicType( BasicKind::LongUnsignedInt ), ConstantExpr::from_int( loc, numClauses ), LengthFlag::FixedLen, DimensionFlag::DynamicDim ), 1232 1232 new ListInit( loc, 1233 1233 { … … 1331 1331 new CastExpr( cLoc, 1332 1332 statusExpr, 1333 new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast1333 new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast 1334 1334 ), 1335 1335 new CastExpr( cLoc, 1336 1336 genSelectTraitCall( stmt->clauses.at(i), clauseData.at(i), "unregister_select" ), 1337 new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast1337 new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast 1338 1338 ), 1339 1339 LogicalFlag::AndExpr … … 1346 1346 new CastExpr( cLoc, 1347 1347 new NameExpr( cLoc, clauseData.at(i)->whenName ), 1348 new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast1348 new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast 1349 1349 ), 1350 1350 new CastExpr( cLoc, 1351 1351 statusExpr, 1352 new BasicType( Basic Type::Kind::Bool ), GeneratedFlag::ExplicitCast1352 new BasicType( BasicKind::Bool ), GeneratedFlag::ExplicitCast 1353 1353 ), 1354 1354 LogicalFlag::AndExpr
Note: See TracChangeset
for help on using the changeset viewer.