##\r
# Import Modules\r
#\r
+import re\r
+\r
import Fd\r
import Region\r
import Fv\r
from Common import EdkLogger\r
from Common.Misc import PathClass\r
from Common.String import NormPath\r
+import Common.GlobalData as GlobalData\r
+from Common.Expression import *\r
from Common import GlobalData\r
\r
import re\r
\r
SEPERATOR_TUPLE = ('=', '|', ',', '{', '}')\r
\r
+RegionSizePattern = re.compile("\s*(?P<base>(?:0x|0X)?[a-fA-F0-9]+)\s*\|\s*(?P<size>(?:0x|0X)?[a-fA-F0-9]+)\s*")\r
+RegionSizeGuidPattern = re.compile("\s*(?P<base>\w+\.\w+)\s*\|\s*(?P<size>\w+\.\w+)\s*")\r
+\r
IncludeFileList = []\r
# Macro passed from command line, which has greatest priority and can NOT be overridden by those in FDF\r
InputMacroDict = {}\r
if GenFdsGlobalVariable.WorkSpaceDir == '':\r
GenFdsGlobalVariable.WorkSpaceDir = os.getenv("WORKSPACE")\r
\r
+ InputMacroDict.update(GlobalData.gPlatformDefines)\r
+ InputMacroDict.update(GlobalData.gGlobalDefines)\r
+ InputMacroDict.update(GlobalData.gCommandLineDefines)\r
+\r
## __IsWhiteSpace() method\r
#\r
# Whether char at current FileBufferPos is whitespace\r
#\r
def __GetOneChar(self):\r
if self.CurrentOffsetWithinLine == len(self.Profile.FileLinesList[self.CurrentLineNumber - 1]) - 1:\r
- self.CurrentLineNumber += 1\r
- self.CurrentOffsetWithinLine = 0\r
+ self.CurrentLineNumber += 1\r
+ self.CurrentOffsetWithinLine = 0\r
else:\r
- self.CurrentOffsetWithinLine += 1\r
+ self.CurrentOffsetWithinLine += 1\r
\r
## __CurrentChar() method\r
#\r
self.Profile.FileLinesList[IncludeLine - 1] = ''.join(TempList)\r
\r
self.Rewind()\r
-\r
+ \r
def __GetIfListCurrentItemStat(self, IfList):\r
if len(IfList) == 0:\r
return True\r
return False\r
\r
return True\r
- \r
-\r
+ \r
## PreprocessConditionalStatement() method\r
#\r
# Preprocess conditional statement.\r
def PreprocessConditionalStatement(self):\r
# IfList is a stack of if branches with elements of list [Pos, CondSatisfied, BranchDetermined]\r
IfList = []\r
+ RegionLayoutLine = 0\r
while self.__GetNextToken():\r
if self.__Token == 'DEFINE':\r
- if self.__GetIfListCurrentItemStat(IfList):\r
+ if self.__GetIfListCurrentItemStat(IfList): \r
DefineLine = self.CurrentLineNumber - 1\r
DefineOffset = self.CurrentOffsetWithinLine - len('DEFINE')\r
if not self.__GetNextToken():\r
MacProfile.MacroName = Macro\r
MacProfile.MacroValue = Value\r
AllMacroList.append(MacProfile)\r
+ InputMacroDict[MacProfile.MacroName] = MacProfile.MacroValue\r
self.__WipeOffArea.append(((DefineLine, DefineOffset), (self.CurrentLineNumber - 1, self.CurrentOffsetWithinLine - 1)))\r
+ elif self.__Token == 'SET':\r
+ PcdPair = self.__GetNextPcdName()\r
+ PcdName = "%s.%s" % (PcdPair[1], PcdPair[0])\r
+ if not self.__IsToken( "="):\r
+ raise Warning("expected '='", self.FileName, self.CurrentLineNumber)\r
\r
+ if not self.__GetNextToken():\r
+ raise Warning("expected value", self.FileName, self.CurrentLineNumber)\r
+\r
+ Value = self.__Token\r
+ if Value.startswith("{"):\r
+ # deal with value with {}\r
+ if not self.__SkipToToken( "}"):\r
+ raise Warning("expected '}'", self.FileName, self.CurrentLineNumber)\r
+ Value += self.__SkippedChars\r
+\r
+ InputMacroDict[PcdName] = Value\r
elif self.__Token in ('!ifdef', '!ifndef', '!if'):\r
IfStartPos = (self.CurrentLineNumber - 1, self.CurrentOffsetWithinLine - len(self.__Token))\r
IfList.append([IfStartPos, None, None])\r
+\r
CondLabel = self.__Token\r
+ Expression = self.__GetExpression()\r
\r
- MacroName, NotFlag = self.__GetMacroName() \r
- NotDefineFlag = False\r
- if CondLabel == '!ifndef':\r
- NotDefineFlag = True\r
- if CondLabel == '!ifdef' or CondLabel == '!ifndef':\r
- if NotFlag:\r
- raise Warning("'NOT' operation not allowed for Macro name", self.FileName, self.CurrentLineNumber)\r
-\r
if CondLabel == '!if':\r
-\r
- if not self.__GetNextOp():\r
- raise Warning("expected !endif", self.FileName, self.CurrentLineNumber)\r
-\r
- if self.__Token in ('!=', '==', '>', '<', '>=', '<='):\r
- Op = self.__Token\r
- if not self.__GetNextToken():\r
- raise Warning("expected value", self.FileName, self.CurrentLineNumber)\r
- if self.__GetStringData():\r
- pass\r
- MacroValue = self.__Token\r
- ConditionSatisfied = self.__EvaluateConditional(MacroName, IfList[-1][0][0] + 1, Op, MacroValue)\r
- if NotFlag:\r
- ConditionSatisfied = not ConditionSatisfied\r
- BranchDetermined = ConditionSatisfied\r
- else:\r
- self.CurrentOffsetWithinLine -= len(self.__Token)\r
- ConditionSatisfied = self.__EvaluateConditional(MacroName, IfList[-1][0][0] + 1, None, 'Bool')\r
- if NotFlag:\r
- ConditionSatisfied = not ConditionSatisfied\r
- BranchDetermined = ConditionSatisfied\r
- IfList[-1] = [IfList[-1][0], ConditionSatisfied, BranchDetermined]\r
- if ConditionSatisfied:\r
- self.__WipeOffArea.append((IfList[-1][0], (self.CurrentLineNumber - 1, self.CurrentOffsetWithinLine - 1)))\r
-\r
+ ConditionSatisfied = self.__EvaluateConditional(Expression, IfList[-1][0][0] + 1, 'eval')\r
else:\r
- ConditionSatisfied = self.__EvaluateConditional(MacroName, IfList[-1][0][0] + 1)\r
- if NotDefineFlag:\r
+ ConditionSatisfied = self.__EvaluateConditional(Expression, IfList[-1][0][0] + 1, 'in')\r
+ if CondLabel == '!ifndef':\r
ConditionSatisfied = not ConditionSatisfied\r
- BranchDetermined = ConditionSatisfied\r
- IfList[-1] = [IfList[-1][0], ConditionSatisfied, BranchDetermined]\r
- if ConditionSatisfied:\r
- self.__WipeOffArea.append((IfStartPos, (self.CurrentLineNumber - 1, self.CurrentOffsetWithinLine - 1)))\r
\r
+ BranchDetermined = ConditionSatisfied\r
+ IfList[-1] = [IfList[-1][0], ConditionSatisfied, BranchDetermined]\r
+ if ConditionSatisfied:\r
+ self.__WipeOffArea.append((IfList[-1][0], (self.CurrentLineNumber - 1, self.CurrentOffsetWithinLine - 1))) \r
elif self.__Token in ('!elseif', '!else'):\r
ElseStartPos = (self.CurrentLineNumber - 1, self.CurrentOffsetWithinLine - len(self.__Token))\r
if len(IfList) <= 0:\r
raise Warning("Missing !if statement", self.FileName, self.CurrentLineNumber)\r
+\r
if IfList[-1][1]:\r
IfList[-1] = [ElseStartPos, False, True]\r
self.__WipeOffArea.append((ElseStartPos, (self.CurrentLineNumber - 1, self.CurrentOffsetWithinLine - 1)))\r
self.__WipeOffArea.append((IfList[-1][0], ElseStartPos))\r
IfList[-1] = [ElseStartPos, True, IfList[-1][2]]\r
if self.__Token == '!elseif':\r
- MacroName, NotFlag = self.__GetMacroName() \r
- if not self.__GetNextOp():\r
- raise Warning("expected !endif", self.FileName, self.CurrentLineNumber)\r
-\r
- if self.__Token in ('!=', '==', '>', '<', '>=', '<='):\r
- Op = self.__Token\r
- if not self.__GetNextToken():\r
- raise Warning("expected value", self.FileName, self.CurrentLineNumber)\r
- if self.__GetStringData():\r
- pass\r
- MacroValue = self.__Token\r
- ConditionSatisfied = self.__EvaluateConditional(MacroName, IfList[-1][0][0] + 1, Op, MacroValue)\r
- if NotFlag:\r
- ConditionSatisfied = not ConditionSatisfied\r
-\r
- else:\r
- self.CurrentOffsetWithinLine -= len(self.__Token)\r
- ConditionSatisfied = self.__EvaluateConditional(MacroName, IfList[-1][0][0] + 1, None, 'Bool')\r
- if NotFlag:\r
- ConditionSatisfied = not ConditionSatisfied\r
-\r
+ Expression = self.__GetExpression()\r
+ ConditionSatisfied = self.__EvaluateConditional(Expression, IfList[-1][0][0] + 1, 'eval')\r
IfList[-1] = [IfList[-1][0], ConditionSatisfied, IfList[-1][2]]\r
\r
if IfList[-1][1]:\r
else:\r
IfList[-1][2] = True\r
self.__WipeOffArea.append((IfList[-1][0], (self.CurrentLineNumber - 1, self.CurrentOffsetWithinLine - 1)))\r
-\r
-\r
elif self.__Token == '!endif':\r
if IfList[-1][1]:\r
self.__WipeOffArea.append(((self.CurrentLineNumber - 1, self.CurrentOffsetWithinLine - len('!endif')), (self.CurrentLineNumber - 1, self.CurrentOffsetWithinLine - 1)))\r
self.__WipeOffArea.append((IfList[-1][0], (self.CurrentLineNumber - 1, self.CurrentOffsetWithinLine - 1)))\r
\r
IfList.pop()\r
+ elif not IfList: # Don't use PCDs inside conditional directive\r
+ if self.CurrentLineNumber <= RegionLayoutLine:\r
+ # Don't try the same line twice\r
+ continue\r
+ RegionSize = RegionSizePattern.match(self.Profile.FileLinesList[self.CurrentLineNumber - 1])\r
+ if not RegionSize:\r
+ RegionLayoutLine = self.CurrentLineNumber\r
+ continue\r
+ RegionSizeGuid = RegionSizeGuidPattern.match(self.Profile.FileLinesList[self.CurrentLineNumber])\r
+ if not RegionSizeGuid:\r
+ RegionLayoutLine = self.CurrentLineNumber + 1\r
+ continue\r
+ InputMacroDict[RegionSizeGuid.group('base')] = RegionSize.group('base')\r
+ InputMacroDict[RegionSizeGuid.group('size')] = RegionSize.group('size')\r
+ RegionLayoutLine = self.CurrentLineNumber + 1\r
\r
-\r
- if len(IfList) > 0:\r
+ if IfList:\r
raise Warning("Missing !endif", self.FileName, self.CurrentLineNumber)\r
self.Rewind()\r
\r
- def __EvaluateConditional(self, Name, Line, Op = None, Value = None):\r
-\r
+ def __EvaluateConditional(self, Expression, Line, Op = None, Value = None):\r
FileLineTuple = GetRealFileLine(self.FileName, Line)\r
- if Name in InputMacroDict:\r
- MacroValue = InputMacroDict[Name]\r
- if Op == None:\r
- if Value == 'Bool' and MacroValue == None or MacroValue.upper() == 'FALSE':\r
- return False\r
- return True\r
- elif Op == '!=':\r
- if Value != MacroValue:\r
- return True\r
- else:\r
- return False\r
- elif Op == '==':\r
- if Value == MacroValue:\r
- return True\r
- else:\r
- return False\r
- else:\r
- if (self.__IsHex(Value) or Value.isdigit()) and (self.__IsHex(MacroValue) or (MacroValue != None and MacroValue.isdigit())):\r
- InputVal = long(Value, 0)\r
- MacroVal = long(MacroValue, 0)\r
- if Op == '>':\r
- if MacroVal > InputVal:\r
- return True\r
- else:\r
- return False\r
- elif Op == '>=':\r
- if MacroVal >= InputVal:\r
- return True\r
- else:\r
- return False\r
- elif Op == '<':\r
- if MacroVal < InputVal:\r
- return True\r
- else:\r
- return False\r
- elif Op == '<=':\r
- if MacroVal <= InputVal:\r
- return True\r
- else:\r
- return False\r
- else:\r
- return False\r
- else:\r
- raise Warning("Value %s is not a number", self.FileName, Line)\r
-\r
- for Profile in AllMacroList:\r
- if Profile.MacroName == Name and Profile.DefinedAtLine <= FileLineTuple[1]:\r
- if Op == None:\r
- if Value == 'Bool' and Profile.MacroValue == None or Profile.MacroValue.upper() == 'FALSE':\r
- return False\r
- return True\r
- elif Op == '!=':\r
- if Value != Profile.MacroValue:\r
- return True\r
- else:\r
- return False\r
- elif Op == '==':\r
- if Value == Profile.MacroValue:\r
- return True\r
- else:\r
- return False\r
- else:\r
- if (self.__IsHex(Value) or Value.isdigit()) and (self.__IsHex(Profile.MacroValue) or (Profile.MacroValue != None and Profile.MacroValue.isdigit())):\r
- InputVal = long(Value, 0)\r
- MacroVal = long(Profile.MacroValue, 0)\r
- if Op == '>':\r
- if MacroVal > InputVal:\r
- return True\r
- else:\r
- return False\r
- elif Op == '>=':\r
- if MacroVal >= InputVal:\r
- return True\r
- else:\r
- return False\r
- elif Op == '<':\r
- if MacroVal < InputVal:\r
- return True\r
- else:\r
- return False\r
- elif Op == '<=':\r
- if MacroVal <= InputVal:\r
- return True\r
- else:\r
- return False\r
- else:\r
- return False\r
- else:\r
- raise Warning("Value %s is not a number", self.FileName, Line)\r
-\r
- return False\r
+ if Op == 'eval':\r
+ try:\r
+ return ValueExpression(Expression, InputMacroDict)()\r
+ except SymbolNotFound:\r
+ return False\r
+ except WrnExpression, Excpt:\r
+ # \r
+ # Catch expression evaluation warning here. We need to report\r
+ # the precise number of line and return the evaluation result\r
+ #\r
+ EdkLogger.warn('Parser', "Suspicious expression: %s" % str(Excpt),\r
+ File=self.FileName, ExtraData=self.__CurrentLine(), \r
+ Line=Line)\r
+ return Excpt.result\r
+ except Exception, Excpt:\r
+ raise Warning("Invalid expression", *FileLineTuple)\r
+ else:\r
+ if Expression.startswith('$(') and Expression[-1] == ')':\r
+ Expression = Expression[2:-1] \r
+ return Expression in InputMacroDict\r
\r
## __IsToken() method\r
#\r
return True\r
return False\r
\r
+ def __GetExpression(self):\r
+ Line = self.Profile.FileLinesList[self.CurrentLineNumber - 1]\r
+ Index = len(Line) - 1\r
+ while Line[Index] in ['\r', '\n']:\r
+ Index -= 1\r
+ ExpressionString = self.Profile.FileLinesList[self.CurrentLineNumber - 1][self.CurrentOffsetWithinLine:Index+1]\r
+ self.CurrentOffsetWithinLine += len(ExpressionString)\r
+ ExpressionString = ExpressionString.strip()\r
+ return ExpressionString\r
+\r
## __GetNextWord() method\r
#\r
# Get next C name from file lines\r
for Pos in self.__WipeOffArea:\r
self.__ReplaceFragment(Pos[0], Pos[1])\r
self.Profile.FileLinesList = ["".join(list) for list in self.Profile.FileLinesList]\r
- \r
+\r
while self.__GetDefines():\r
pass\r
\r
if not IsValidBaseAddrValue.match(self.__Token.upper()):\r
raise Warning("Unknown FV base address value '%s'" % self.__Token, self.FileName, self.CurrentLineNumber)\r
Obj.FvBaseAddress = self.__Token\r
- return True \r
- \r
+ return True \r
+ \r
## __GetFvForceRebase() method\r
#\r
# Get FvForceRebase for FV\r
Obj.FvForceRebase = None\r
\r
return True\r
- \r
+\r
+\r
## __GetFvAttributes() method\r
#\r
# Get attributes for FV\r
if ErrorCode != 0:\r
EdkLogger.error("GenFds", ErrorCode, ExtraData=ErrorInfo) \r
\r
+\r
if not self.__IsToken( "}"):\r
raise Warning("expected '}'", self.FileName, self.CurrentLineNumber)\r
\r
projects / mirror_edk2.git / blobdiff