First pass at doing regress tests on the optimizer (pfctl -o).

Still need to add some more input files to test specific corner cases.

1 files changed, 80 insertions, 0 deletions

diff --git a/regress/sbin/pfctl/pf18.optimized b/regress/sbin/pfctl/pf18.optimized
new file mode 100644
index 00000000000..97ab8105b6a
--- /dev/null
+++ b/regress/sbin/pfctl/pf18.optimized
@@ -0,0 +1,80 @@
+@0 no nat on lo0 inet from 192.168.1.1 to 10.1.2.3
+  [ Skip steps: i=16 d=end f=end p=2 sa=2 sp=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@1 nat on lo0 inet from 192.168.1.1 to any -> 10.0.0.1
+  [ Skip steps: i=16 d=end f=end sp=end da=5 dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@2 nat on lo0 inet proto tcp from 192.168.1.2 to any -> 10.0.0.2
+  [ Skip steps: i=16 d=end f=end sp=end da=5 dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@3 nat on lo0 inet proto udp from 192.168.1.3 to any -> 10.0.0.3
+  [ Skip steps: i=16 d=end f=end sp=end da=5 dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@4 nat on lo0 inet proto icmp from 192.168.1.4 to any -> 10.0.0.4
+  [ Skip steps: i=16 d=end f=end sp=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@5 nat on lo0 inet from 192.168.1.5 to 172.6.1.1 -> 127.0.0.1
+  [ Skip steps: i=16 d=end f=end p=16 sa=8 sp=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@6 nat on lo0 inet from 192.168.1.5 to 172.14.1.2 -> 127.0.0.1
+  [ Skip steps: i=16 d=end f=end p=16 sa=8 sp=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@7 nat on lo0 inet from 192.168.1.5 to 172.16.2.0/24 -> 127.0.0.1
+  [ Skip steps: i=16 d=end f=end p=16 sp=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@8 nat on lo0 inet from 192.168.1.6 to 172.6.1.1 -> 127.0.0.1
+  [ Skip steps: i=16 d=end f=end p=16 sa=11 sp=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@9 nat on lo0 inet from 192.168.1.6 to 172.14.1.2 -> 127.0.0.1
+  [ Skip steps: i=16 d=end f=end p=16 sa=11 sp=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@10 nat on lo0 inet from 192.168.1.6 to 172.16.2.0/24 -> 127.0.0.1
+  [ Skip steps: i=16 d=end f=end p=16 sp=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@11 nat on lo0 inet from 192.168.1.7 to 172.6.1.1 -> 127.0.0.1
+  [ Skip steps: i=16 d=end f=end p=16 sa=14 sp=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@12 nat on lo0 inet from 192.168.1.7 to 172.14.1.2 -> 127.0.0.1
+  [ Skip steps: i=16 d=end f=end p=16 sa=14 sp=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@13 nat on lo0 inet from 192.168.1.7 to 172.16.2.0/24 -> 127.0.0.1
+  [ Skip steps: i=16 d=end f=end p=16 sp=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@14 nat on lo0 inet from 192.168.0.0/24 to any -> (lo0) round-robin
+  [ Skip steps: i=16 d=end f=end p=16 sp=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@15 nat on lo0 inet from 192.168.1.8 to ! 172.17.0.0/16 -> 10.0.0.8
+  [ Skip steps: d=end f=end sp=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@16 nat on ! lo0 inet proto udp all -> 10.0.0.8 static-port
+  [ Skip steps: i=18 d=end f=end sa=end sp=end da=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@17 nat on ! lo0 inet proto tcp all -> 10.0.0.8 static-port
+  [ Skip steps: d=end f=end sa=end sp=end da=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@18 nat on lo0 inet all -> 10.0.0.8
+  [ Skip steps: d=end f=end p=end sa=end sp=end da=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]
+@19 nat on tun1000000 inet all -> 10.0.0.8
+  [ Skip steps: i=end d=end f=end p=end sa=end sp=end da=end dp=end ]
+  [ queue: qname= qid=0 pqname= pqid=0 ]
+  [ Evaluations: 0         Packets: 0         Bytes: 0           States: 0     ]