1include "../../../../include/lldb/Core/PropertiesBase.td"
2
3let Definition = "traceintelpt" in {
4  def InfiniteDecodingLoopVerificationThreshold:
5      Property<"infinite-decoding-loop-verification-threshold", "UInt64">,
6    Global,
7    DefaultUnsignedValue<10000>,
8    Desc<"Specify how many instructions following an individual Intel PT "
9      "packet must have been decoded before triggering the verification of "
10      "infinite decoding loops. If no decoding loop has been found after this "
11      "threshold T, another attempt will be done after 2T instructions, then "
12      "4T, 8T and so on, which guarantees a total linear time spent checking "
13      "this anomaly. If a loop is found, then decoding of the corresponding "
14      "PSB block is stopped. An error is hence emitted in the trace and "
15      "decoding is resumed in the next PSB block.">;
16  def ExtremelyLargeDecodingThreshold:
17      Property<"extremely-large-decoding-threshold", "UInt64">,
18    Global,
19    DefaultUnsignedValue<500000>,
20    Desc<"Specify how many instructions following an individual Intel PT "
21      "packet must have been decoded before stopping the decoding of the "
22      "corresponding PSB block. An error is hence emitted in the trace and "
23      "decoding is resumed in the next PSB block.">;
24}
25