third_party/lib/acpica/tests/misc/badcode.asl - zircon/ - Git at Google

 /*
  * badcode.asl
  *
  * This file contains examples of the extended error checking and
  * typechecking capabilities of the iASL compiler. Other ASL compilers
  * may ignore these errors completely. Note - this is not an exhaustive
  * list of errors detected by iASL, it shows many of the errors that
  * are not detected by other ASL compilers.
  *
  * To compile, use:
  * iasl badcode.asl
  *
  * Output:
  * Compilation complete. 45 Errors, 22 Warnings, 3 Remarks, 16 Optimizations
  *
  */
 DefinitionBlock ("badcode.aml", "DSDT", 1, "Intel", "Example", 0x00000001)
 {
     Name (INT1, 0)
     Name (BUF1, Buffer() {0,1,2,3})
     Event (EVT1)

     // Invalid SyncLevel in Mutex declaration

     Mutex (MTX1, 32)

     // Integer beyond the table integer size (32 bits)

     Name (BIG, 0x1234567887654321)

     // CPackage length does not match initializer list length

     Name (PKG1, Package(5) {0,1})

     // Inadvertent use of single backslash in a string

     Name (PATH, Buffer() {"\_SB_.PCI2._CRS"})

     // Invalid hex escape sequence

     Name (ESC1, "abcdefg\x00hijklmn")

     // Field access beyond region bounds

     OperationRegion (OPR1, SystemMemory, 0x2000, 6)
     Field (OPR1, DWordAcc, NoLock, Preserve)
     {
         Offset (4),
         FLD1, 8
     }

     // Some address spaces support only ByteAcc or BufferAcc

     OperationRegion (OPR2, EmbeddedControl, 0x4000, 8)
     Field (OPR2, DWordAcc, NoLock, Preserve)
     {
         FLD2, 8
     }
     OperationRegion (OPR3, SMBus, 0x8000, 16)
     Field (OPR3, WordAcc, NoLock, Preserve)
     {
         FLD3, 8
     }

     // Invalid SyncLevel in method declaration

     Method (MTH1, 0, NotSerialized, 32)
     {
         // Invalid arguments and uninitialized locals

         Store (Arg3, Local0)
         Store (Local1, Local2)

         // Parameter typechecking (MTX1 is invalid type)

         Subtract (MTX1, 4, Local3)

         // Various invalid parameters

         CreateField (BUF1, 0, Subtract (4, 4), FLD1)

         // Unchecked mutex and event timeouts

         Acquire (MTX1, 100)
         Wait (EVT1, 1)

         // Result from operation is not used - statement has no effect

         Add (INT1, 8)

         // Unreachable code

         Return (0)
         Store (5, INT1)
     }

     Method (MTH2)
     {
         // Switch with no Case statements

         Switch (ToInteger (INT1))
         {
             Default
             {
             }
         }

         if (LEqual (INT1, 0))
         {
             Return (INT1)
         }

         // Fallthrough exit path does not return a value
     }

     Method (MTH3)
     {
         // Method MTH2 above does not always return a value

         Store (MTH2 (), Local0)
     }

     // Method MTH4 does not explicitly return a value

     Method (MTH4) {}
     Method (MTH5) {Store (MTH4(), Local0)}

     // Invalid _HID values

     Device (H1)
     {
         Name (_HID, "*PNP0C0A")     // Illegal leading asterisk
     }
     Device (H2)
     {
         Name (_HID, "PNP")          // Too short, must be 7 or 8 chars
     }
     Device (H3)
     {
         Name (_HID, "MYDEVICE01")   // Too long, must be 7 or 8 chars
     }
     Device (H4)
     {
         Name (_HID, "acpi0001")     // non-hex chars must be uppercase
     }
     Device (H5)
     {
         Name (_HID, "PNP-123")      // HID must be alphanumeric
     }
     Device (H6)
     {
         Name (_HID, "")             // Illegal Null HID
         Name (_CID, "")             // Illegal Null CID
     }

     // Predefined Name typechecking

     Name (_PRW, 4)
     Name (_FDI, Buffer () {0})

     // Predefined Name argument count validation
     // and return value validation

     Method (_OSC, 5)
     {
     }

     // Predefined Names that must be implemented as control methods

     Name (_L01, 1)
     Name (_E02, 2)
     Name (_Q03, 3)
     Name (_ON,  0)
     Name (_INI, 1)
     Name (_PTP, 2)

     // GPE methods that cause type collision (L vs. E)

     Scope (\_GPE)
     {
         Method (_L1D)
         {
         }
         Method (_E1D)
         {
         }
     }

     // Predefined names that should not have a return value

     Method (_FDM, 1)
     {
         Return (Buffer(1){0x33})
     }
     Method (_Q22)
     {
         Return ("Unexpected Return Value")
     }

     // _REG must have a corresponding Operation Region declaration
     // within the same scope

     Device (EC)
     {
         Method (_REG, 2)
         {
         }
     }

     /*
      * Resource Descriptor error checking
      */
     Name (RSC1, ResourceTemplate ()
     {
         // Illegal nested StartDependent macros

         StartDependentFn (0, 0)
         {
             StartDependentFn (0, 0)
             {
             }
         }

         // Missing EndDependentFn macro
     })

     Name (RSC2, ResourceTemplate ()
     {
         // AddressMin is larger than AddressMax
         IO (Decode16,
             0x07D0,             // Range Minimum
             0x03E8,             // Range Maximum
             0x01,               // Alignment
             0x20,               // Length
             )

         // Length larger than Min/Max window size
         Memory32 (ReadOnly,
             0x00001000,         // Range Minimum
             0x00002000,         // Range Maximum
             0x00000004,         // Alignment
             0x00002000,         // Length
             )

         // Min and Max not multiples of alignment value
         Memory32 (ReadOnly,
             0x00001001,         // Range Minimum
             0x00002002,         // Range Maximum
             0x00000004,         // Alignment
             0x00000200,         // Length
             )

         // 10-bit ISA I/O address has a max of 0x3FF
         FixedIO (
             0xFFFF,             // Address
             0x20,               // Length
             )

         // Invalid AccessSize parameter
         Register (SystemIO,
             0x08,               // Bit Width
             0x00,               // Bit Offset
             0x0000000000000100, // Address
             0x05                // Access Size
             )

         // Invalid ResourceType (0xB0)
         QWordSpace (0xB0, ResourceConsumer, PosDecode, MinFixed, MaxFixed, 0xA5,
             0x0000,             // Granularity
             0xA000,             // Range Minimum
             0xBFFF,             // Range Maximum
             0x0000,             // Translation Offset
             0x2000,             // Length
             ,, )

         // AddressMin is larger than AddressMax
         WordIO (ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange,
             0x0000,             // Granularity
             0x0200,             // Range Minimum
             0x0100,             // Range Maximum
             0x0000,             // Translation Offset
             0x0100,             // Length
             ,, , TypeStatic)

         // Length larger than Min/Max window size
         DWordSpace (0xC3, ResourceConsumer, PosDecode, MinFixed, MaxFixed, 0xA5,
             0x00000000,         // Granularity
             0x000C8000,         // Range Minimum
             0x000C9000,         // Range Maximum
             0x00000000,         // Translation Offset
             0x00001002,         // Length
             ,, )

         // Granularity must be (power-of-two -1)
         DWordMemory (ResourceProducer, PosDecode, MinFixed, MaxNotFixed, NonCacheable, ReadWrite,
             0x00000010,
             0x40000000,
             0xFED9FFFF,
             0x00000000,
             0xBECA0000)

         // Address Min (with zero length) not on granularity boundary
         QWordIO (ResourceProducer, MinFixed, MaxNotFixed, PosDecode, EntireRange,
             0x0000000000000003, // Granularity
             0x0000000000000B02, // Range Minimum
             0x0000000000000C00, // Range Maximum
             0x0000000000000000, // Translation Offset
             0x0000000000000000, // Length
             ,, , TypeStatic)

         // Address Max (with zero length) not on (granularity boundary -1)
         QWordMemory (ResourceProducer, PosDecode, MinNotFixed, MaxFixed, Cacheable, ReadWrite,
             0x0000000000000001, // Granularity
             0x0000000000100000, // Range Minimum
             0x00000000002FFFFE, // Range Maximum
             0x0000000000000000, // Translation Offset
             0x0000000000000000, // Length
             ,, , AddressRangeMemory, TypeStatic)

         // Invalid combination: zero length, both Min and Max are fixed
         DWordIO (ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange,
             0x00000000,         // Granularity
             0x000C8000,         // Range Minimum
             0x000C8FFF,         // Range Maximum
             0x00000000,         // Translation Offset
             0x00000000,         // Length
             ,, )

         // Invalid combination: non-zero length, Min Fixed, Max not fixed
         DWordIO (ResourceProducer, MinFixed, MaxNotFixed, PosDecode, EntireRange,
             0x00000001,         // Granularity
             0x000C8000,         // Range Minimum
             0x000C8FFF,         // Range Maximum
             0x00000000,         // Translation Offset
             0x00000100,         // Length
             ,, )

         // Invalid combination: non-zero length, Min not Fixed, Max fixed
         DWordIO (ResourceProducer, MinNotFixed, MaxFixed, PosDecode, EntireRange,
             0x00000001,         // Granularity
             0x000C8000,         // Range Minimum
             0x000C8FFF,         // Range Maximum
             0x00000000,         // Translation Offset
             0x00000200,         // Length
             ,, )

         // Granularity must be zero if non-zero length, min/max fixed
         DWordIO (ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange,
             0x0000000F,         // Granularity
             0x000C8000,         // Range Minimum
             0x000C8FFF,         // Range Maximum
             0x00000000,         // Translation Offset
             0x00001000,         // Length
             ,, )

         // Null descriptor (intended to be modified at runtime) must
         // have a resource tag (to allow it to be modified at runtime)
         DWordIO (ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange,
             0x00000000,         // Granularity
             0x00000000,         // Range Minimum
             0x00000000,         // Range Maximum
             0x00000000,         // Translation Offset
             0x00000000,         // Length
             ,, )

         // Missing StartDependentFn macro

         EndDependentFn ()
     })

     // Test descriptor for CreateXxxxField operators in REM1 below

     Name (RSC3, ResourceTemplate ()
     {
         DWordIO (ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange,
             0x00000000,         // Granularity
             0x000C8000,         // Range Minimum
             0x000C8FFF,         // Range Maximum
             0x00000000,         // Translation Offset
             0x00001000,         // Length
             ,, DWI1)
     })

     Method (REM1)
     {
         // Tagged resource field larger than field being created

         CreateWordField (RSC3, \DWI1._LEN, LEN)
         CreateByteField (RSC3, \DWI1._MIN, MIN)
         CreateBitField (RSC3, \DWI1._RNG, RNG1)

         // Tagged resource field smaller than field being created

         CreateQWordField (RSC3, \DWI1._MAX, MAX)
         CreateBitField (RSC3, \DWI1._GRA, GRA)
         CreateField (RSC3, \DWI1._MIF, 5, MIF)
         CreateField (RSC3, \DWI1._RNG, 3, RNG2)
     }

     Method (L100)
     {
         /* Method Local is set but never used */

         Store (40, Local0)
     }
 }
	/*
	* badcode.asl
	*
	* This file contains examples of the extended error checking and
	* typechecking capabilities of the iASL compiler. Other ASL compilers
	* may ignore these errors completely. Note - this is not an exhaustive
	* list of errors detected by iASL, it shows many of the errors that
	* are not detected by other ASL compilers.
	*
	* To compile, use:
	* iasl badcode.asl
	*
	* Output:
	* Compilation complete. 45 Errors, 22 Warnings, 3 Remarks, 16 Optimizations
	*
	*/
	DefinitionBlock ("badcode.aml", "DSDT", 1, "Intel", "Example", 0x00000001)
	{
	Name (INT1, 0)
	Name (BUF1, Buffer() {0,1,2,3})
	Event (EVT1)

	// Invalid SyncLevel in Mutex declaration

	Mutex (MTX1, 32)

	// Integer beyond the table integer size (32 bits)

	Name (BIG, 0x1234567887654321)

	// CPackage length does not match initializer list length

	Name (PKG1, Package(5) {0,1})

	// Inadvertent use of single backslash in a string

	Name (PATH, Buffer() {"\_SB_.PCI2._CRS"})

	// Invalid hex escape sequence

	Name (ESC1, "abcdefg\x00hijklmn")

	// Field access beyond region bounds

	OperationRegion (OPR1, SystemMemory, 0x2000, 6)
	Field (OPR1, DWordAcc, NoLock, Preserve)
	{
	Offset (4),
	FLD1, 8
	}

	// Some address spaces support only ByteAcc or BufferAcc

	OperationRegion (OPR2, EmbeddedControl, 0x4000, 8)
	Field (OPR2, DWordAcc, NoLock, Preserve)
	{
	FLD2, 8
	}
	OperationRegion (OPR3, SMBus, 0x8000, 16)
	Field (OPR3, WordAcc, NoLock, Preserve)
	{
	FLD3, 8
	}

	// Invalid SyncLevel in method declaration

	Method (MTH1, 0, NotSerialized, 32)
	{
	// Invalid arguments and uninitialized locals

	Store (Arg3, Local0)
	Store (Local1, Local2)

	// Parameter typechecking (MTX1 is invalid type)

	Subtract (MTX1, 4, Local3)

	// Various invalid parameters

	CreateField (BUF1, 0, Subtract (4, 4), FLD1)

	// Unchecked mutex and event timeouts

	Acquire (MTX1, 100)
	Wait (EVT1, 1)

	// Result from operation is not used - statement has no effect

	Add (INT1, 8)

	// Unreachable code

	Return (0)
	Store (5, INT1)
	}

	Method (MTH2)
	{
	// Switch with no Case statements

	Switch (ToInteger (INT1))
	{
	Default
	{
	}
	}

	if (LEqual (INT1, 0))
	{
	Return (INT1)
	}

	// Fallthrough exit path does not return a value
	}

	Method (MTH3)
	{
	// Method MTH2 above does not always return a value

	Store (MTH2 (), Local0)
	}

	// Method MTH4 does not explicitly return a value

	Method (MTH4) {}
	Method (MTH5) {Store (MTH4(), Local0)}

	// Invalid _HID values

	Device (H1)
	{
	Name (_HID, "*PNP0C0A") // Illegal leading asterisk
	}
	Device (H2)
	{
	Name (_HID, "PNP") // Too short, must be 7 or 8 chars
	}
	Device (H3)
	{
	Name (_HID, "MYDEVICE01") // Too long, must be 7 or 8 chars
	}
	Device (H4)
	{
	Name (_HID, "acpi0001") // non-hex chars must be uppercase
	}
	Device (H5)
	{
	Name (_HID, "PNP-123") // HID must be alphanumeric
	}
	Device (H6)
	{
	Name (_HID, "") // Illegal Null HID
	Name (_CID, "") // Illegal Null CID
	}

	// Predefined Name typechecking

	Name (_PRW, 4)
	Name (_FDI, Buffer () {0})

	// Predefined Name argument count validation
	// and return value validation

	Method (_OSC, 5)
	{
	}

	// Predefined Names that must be implemented as control methods

	Name (_L01, 1)
	Name (_E02, 2)
	Name (_Q03, 3)
	Name (_ON, 0)
	Name (_INI, 1)
	Name (_PTP, 2)

	// GPE methods that cause type collision (L vs. E)

	Scope (\_GPE)
	{
	Method (_L1D)
	{
	}
	Method (_E1D)
	{
	}
	}

	// Predefined names that should not have a return value

	Method (_FDM, 1)
	{
	Return (Buffer(1){0x33})
	}
	Method (_Q22)
	{
	Return ("Unexpected Return Value")
	}

	// _REG must have a corresponding Operation Region declaration
	// within the same scope

	Device (EC)
	{
	Method (_REG, 2)
	{
	}
	}

	/*
	* Resource Descriptor error checking
	*/
	Name (RSC1, ResourceTemplate ()
	{
	// Illegal nested StartDependent macros

	StartDependentFn (0, 0)
	{
	StartDependentFn (0, 0)
	{
	}
	}

	// Missing EndDependentFn macro
	})

	Name (RSC2, ResourceTemplate ()
	{
	// AddressMin is larger than AddressMax
	IO (Decode16,
	0x07D0, // Range Minimum
	0x03E8, // Range Maximum
	0x01, // Alignment
	0x20, // Length
	)

	// Length larger than Min/Max window size
	Memory32 (ReadOnly,
	0x00001000, // Range Minimum
	0x00002000, // Range Maximum
	0x00000004, // Alignment
	0x00002000, // Length
	)

	// Min and Max not multiples of alignment value
	Memory32 (ReadOnly,
	0x00001001, // Range Minimum
	0x00002002, // Range Maximum
	0x00000004, // Alignment
	0x00000200, // Length
	)

	// 10-bit ISA I/O address has a max of 0x3FF
	FixedIO (
	0xFFFF, // Address
	0x20, // Length
	)

	// Invalid AccessSize parameter
	Register (SystemIO,
	0x08, // Bit Width
	0x00, // Bit Offset
	0x0000000000000100, // Address
	0x05 // Access Size
	)

	// Invalid ResourceType (0xB0)
	QWordSpace (0xB0, ResourceConsumer, PosDecode, MinFixed, MaxFixed, 0xA5,
	0x0000, // Granularity
	0xA000, // Range Minimum
	0xBFFF, // Range Maximum
	0x0000, // Translation Offset
	0x2000, // Length
	,, )

	// AddressMin is larger than AddressMax
	WordIO (ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange,
	0x0000, // Granularity
	0x0200, // Range Minimum
	0x0100, // Range Maximum
	0x0000, // Translation Offset
	0x0100, // Length
	,, , TypeStatic)

	// Length larger than Min/Max window size
	DWordSpace (0xC3, ResourceConsumer, PosDecode, MinFixed, MaxFixed, 0xA5,
	0x00000000, // Granularity
	0x000C8000, // Range Minimum
	0x000C9000, // Range Maximum
	0x00000000, // Translation Offset
	0x00001002, // Length
	,, )

	// Granularity must be (power-of-two -1)
	DWordMemory (ResourceProducer, PosDecode, MinFixed, MaxNotFixed, NonCacheable, ReadWrite,
	0x00000010,
	0x40000000,
	0xFED9FFFF,
	0x00000000,
	0xBECA0000)

	// Address Min (with zero length) not on granularity boundary
	QWordIO (ResourceProducer, MinFixed, MaxNotFixed, PosDecode, EntireRange,
	0x0000000000000003, // Granularity
	0x0000000000000B02, // Range Minimum
	0x0000000000000C00, // Range Maximum
	0x0000000000000000, // Translation Offset
	0x0000000000000000, // Length
	,, , TypeStatic)

	// Address Max (with zero length) not on (granularity boundary -1)
	QWordMemory (ResourceProducer, PosDecode, MinNotFixed, MaxFixed, Cacheable, ReadWrite,
	0x0000000000000001, // Granularity
	0x0000000000100000, // Range Minimum
	0x00000000002FFFFE, // Range Maximum
	0x0000000000000000, // Translation Offset
	0x0000000000000000, // Length
	,, , AddressRangeMemory, TypeStatic)

	// Invalid combination: zero length, both Min and Max are fixed
	DWordIO (ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange,
	0x00000000, // Granularity
	0x000C8000, // Range Minimum
	0x000C8FFF, // Range Maximum
	0x00000000, // Translation Offset
	0x00000000, // Length
	,, )

	// Invalid combination: non-zero length, Min Fixed, Max not fixed
	DWordIO (ResourceProducer, MinFixed, MaxNotFixed, PosDecode, EntireRange,
	0x00000001, // Granularity
	0x000C8000, // Range Minimum
	0x000C8FFF, // Range Maximum
	0x00000000, // Translation Offset
	0x00000100, // Length
	,, )

	// Invalid combination: non-zero length, Min not Fixed, Max fixed
	DWordIO (ResourceProducer, MinNotFixed, MaxFixed, PosDecode, EntireRange,
	0x00000001, // Granularity
	0x000C8000, // Range Minimum
	0x000C8FFF, // Range Maximum
	0x00000000, // Translation Offset
	0x00000200, // Length
	,, )

	// Granularity must be zero if non-zero length, min/max fixed
	DWordIO (ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange,
	0x0000000F, // Granularity
	0x000C8000, // Range Minimum
	0x000C8FFF, // Range Maximum
	0x00000000, // Translation Offset
	0x00001000, // Length
	,, )

	// Null descriptor (intended to be modified at runtime) must
	// have a resource tag (to allow it to be modified at runtime)
	DWordIO (ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange,
	0x00000000, // Granularity
	0x00000000, // Range Minimum
	0x00000000, // Range Maximum
	0x00000000, // Translation Offset
	0x00000000, // Length
	,, )

	// Missing StartDependentFn macro

	EndDependentFn ()
	})

	// Test descriptor for CreateXxxxField operators in REM1 below

	Name (RSC3, ResourceTemplate ()
	{
	DWordIO (ResourceProducer, MinFixed, MaxFixed, PosDecode, EntireRange,
	0x00000000, // Granularity
	0x000C8000, // Range Minimum
	0x000C8FFF, // Range Maximum
	0x00000000, // Translation Offset
	0x00001000, // Length
	,, DWI1)
	})

	Method (REM1)
	{
	// Tagged resource field larger than field being created

	CreateWordField (RSC3, \DWI1._LEN, LEN)
	CreateByteField (RSC3, \DWI1._MIN, MIN)
	CreateBitField (RSC3, \DWI1._RNG, RNG1)

	// Tagged resource field smaller than field being created

	CreateQWordField (RSC3, \DWI1._MAX, MAX)
	CreateBitField (RSC3, \DWI1._GRA, GRA)
	CreateField (RSC3, \DWI1._MIF, 5, MIF)
	CreateField (RSC3, \DWI1._RNG, 3, RNG2)
	}

	Method (L100)
	{
	/* Method Local is set but never used */

	Store (40, Local0)
	}
	}