Skip to content

Commit

Permalink
pgtest: test range equality operations against PG
Browse files Browse the repository at this point in the history
  • Loading branch information
Sean Loiselle committed Apr 29, 2023
1 parent e477f93 commit cb00a6e
Showing 1 changed file with 110 additions and 24 deletions.
134 changes: 110 additions & 24 deletions test/pgtest/range.pt
View file
Original file line number Diff line number Diff line change
@@ -1,36 +1,24 @@
# test that our range types' binary functions have the same implementation/results as PG

send
Parse {"query": "DROP TABLE IF EXISTS int4range_values"}
Bind
Execute
Parse {"query": "CREATE TABLE int4range_values (a int4range)"}
Bind
Execute
Parse {"query": "INSERT INTO int4range_values VALUES ('[,1)'), ('[,1]'), ('[,)'), ('[,]'), ('(,1)'), ('(,1]'), ('(,)'), ('(,]'), ('[-1,1)'), ('[-1,1]'), ('(-1,1)'), ('(-1,1]'), ('[0,0)'), ('[0,0]'), ('(0,0)'), ('(0,0]'), ('[1,)'), ('[1,]'), ('(1,)'), ('(1,]')"}
Bind
Execute
Parse {"query": "DROP TABLE IF EXISTS int4range_test_values"}
Bind
Execute
Parse {"query": "CREATE TABLE int4range_test_values (v int4range)"}
Bind
Execute
Parse {"query": "INSERT INTO int4range_test_values VALUES ('empty'), ('(,)'), ('(,1)'), ('(-1,)'), ('[-1,1)'), ('[-99,-50)'), ('[50,99)')"}
Bind
Execute
Parse {"query": "DROP TABLE IF EXISTS numrange_values"}
Bind
Execute
Parse {"query": "CREATE TABLE numrange_values (a numrange)"}
Bind
Execute
Parse {"query": "INSERT INTO numrange_values VALUES ('[,1)'), ('[,1]'), ('[,)'), ('[,]'), ('(,1)'), ('(,1]'), ('(,)'), ('(,]'), ('[-1,1)'), ('[-1,1]'), ('(-1,1)'), ('(-1,1]'), ('[0,0)'), ('[0,0]'), ('(0,0)'), ('(0,0]'), ('[1,)'), ('[1,]'), ('(1,)'), ('(1,]')"}
Bind
Execute
Parse {"query": "DROP TABLE IF EXISTS numrange_test_values"}
Bind
Execute
Parse {"query": "CREATE TABLE numrange_test_values (v numrange)"}
Bind
Execute
Expand All @@ -45,36 +33,24 @@ ReadyForQuery
----
ParseComplete
BindComplete
CommandComplete {"tag":"DROP TABLE"}
ParseComplete
BindComplete
CommandComplete {"tag":"CREATE TABLE"}
ParseComplete
BindComplete
CommandComplete {"tag":"INSERT 0 20"}
ParseComplete
BindComplete
CommandComplete {"tag":"DROP TABLE"}
ParseComplete
BindComplete
CommandComplete {"tag":"CREATE TABLE"}
ParseComplete
BindComplete
CommandComplete {"tag":"INSERT 0 7"}
ParseComplete
BindComplete
CommandComplete {"tag":"DROP TABLE"}
ParseComplete
BindComplete
CommandComplete {"tag":"CREATE TABLE"}
ParseComplete
BindComplete
CommandComplete {"tag":"INSERT 0 20"}
ParseComplete
BindComplete
CommandComplete {"tag":"DROP TABLE"}
ParseComplete
BindComplete
CommandComplete {"tag":"CREATE TABLE"}
ParseComplete
BindComplete
Expand Down Expand Up @@ -106,6 +82,9 @@ Execute
Parse {"query": "SELECT a t, array_agg(v ORDER BY v) FROM ( SELECT DISTINCT a FROM int4range_values WHERE a IS NOT NULL ) int4range_values(a), int4range_test_values WHERE a -|- v GROUP BY a ORDER BY a;"}
Bind
Execute
Parse {"query": "SELECT DISTINCT l.v, r.v, l.v < r.v, l.v <= r.v, l.v > r.v, l.v >= r.v, l.v = r.v, l.v <> r.v FROM int4range_test_values AS l, int4range_test_values AS r ORDER BY 1, 2;"}
Bind
Execute
Sync
----

Expand Down Expand Up @@ -196,6 +175,58 @@ ParseComplete
BindComplete
DataRow {"fields":["[1,)","{\"(,1)\",\"[-1,1)\"}"]}
CommandComplete {"tag":"SELECT 1"}
ParseComplete
BindComplete
DataRow {"fields":["empty","empty","f","t","f","t","t","f"]}
DataRow {"fields":["empty","(,1)","t","t","f","f","f","t"]}
DataRow {"fields":["empty","(,)","t","t","f","f","f","t"]}
DataRow {"fields":["empty","[-99,-50)","t","t","f","f","f","t"]}
DataRow {"fields":["empty","[-1,1)","t","t","f","f","f","t"]}
DataRow {"fields":["empty","[0,)","t","t","f","f","f","t"]}
DataRow {"fields":["empty","[50,99)","t","t","f","f","f","t"]}
DataRow {"fields":["(,1)","empty","f","f","t","t","f","t"]}
DataRow {"fields":["(,1)","(,1)","f","t","f","t","t","f"]}
DataRow {"fields":["(,1)","(,)","t","t","f","f","f","t"]}
DataRow {"fields":["(,1)","[-99,-50)","t","t","f","f","f","t"]}
DataRow {"fields":["(,1)","[-1,1)","t","t","f","f","f","t"]}
DataRow {"fields":["(,1)","[0,)","t","t","f","f","f","t"]}
DataRow {"fields":["(,1)","[50,99)","t","t","f","f","f","t"]}
DataRow {"fields":["(,)","empty","f","f","t","t","f","t"]}
DataRow {"fields":["(,)","(,1)","f","f","t","t","f","t"]}
DataRow {"fields":["(,)","(,)","f","t","f","t","t","f"]}
DataRow {"fields":["(,)","[-99,-50)","t","t","f","f","f","t"]}
DataRow {"fields":["(,)","[-1,1)","t","t","f","f","f","t"]}
DataRow {"fields":["(,)","[0,)","t","t","f","f","f","t"]}
DataRow {"fields":["(,)","[50,99)","t","t","f","f","f","t"]}
DataRow {"fields":["[-99,-50)","empty","f","f","t","t","f","t"]}
DataRow {"fields":["[-99,-50)","(,1)","f","f","t","t","f","t"]}
DataRow {"fields":["[-99,-50)","(,)","f","f","t","t","f","t"]}
DataRow {"fields":["[-99,-50)","[-99,-50)","f","t","f","t","t","f"]}
DataRow {"fields":["[-99,-50)","[-1,1)","t","t","f","f","f","t"]}
DataRow {"fields":["[-99,-50)","[0,)","t","t","f","f","f","t"]}
DataRow {"fields":["[-99,-50)","[50,99)","t","t","f","f","f","t"]}
DataRow {"fields":["[-1,1)","empty","f","f","t","t","f","t"]}
DataRow {"fields":["[-1,1)","(,1)","f","f","t","t","f","t"]}
DataRow {"fields":["[-1,1)","(,)","f","f","t","t","f","t"]}
DataRow {"fields":["[-1,1)","[-99,-50)","f","f","t","t","f","t"]}
DataRow {"fields":["[-1,1)","[-1,1)","f","t","f","t","t","f"]}
DataRow {"fields":["[-1,1)","[0,)","t","t","f","f","f","t"]}
DataRow {"fields":["[-1,1)","[50,99)","t","t","f","f","f","t"]}
DataRow {"fields":["[0,)","empty","f","f","t","t","f","t"]}
DataRow {"fields":["[0,)","(,1)","f","f","t","t","f","t"]}
DataRow {"fields":["[0,)","(,)","f","f","t","t","f","t"]}
DataRow {"fields":["[0,)","[-99,-50)","f","f","t","t","f","t"]}
DataRow {"fields":["[0,)","[-1,1)","f","f","t","t","f","t"]}
DataRow {"fields":["[0,)","[0,)","f","t","f","t","t","f"]}
DataRow {"fields":["[0,)","[50,99)","t","t","f","f","f","t"]}
DataRow {"fields":["[50,99)","empty","f","f","t","t","f","t"]}
DataRow {"fields":["[50,99)","(,1)","f","f","t","t","f","t"]}
DataRow {"fields":["[50,99)","(,)","f","f","t","t","f","t"]}
DataRow {"fields":["[50,99)","[-99,-50)","f","f","t","t","f","t"]}
DataRow {"fields":["[50,99)","[-1,1)","f","f","t","t","f","t"]}
DataRow {"fields":["[50,99)","[0,)","f","f","t","t","f","t"]}
DataRow {"fields":["[50,99)","[50,99)","f","t","f","t","t","f"]}
CommandComplete {"tag":"SELECT 49"}
ReadyForQuery {"status":"I"}

send
Expand Down Expand Up @@ -223,6 +254,9 @@ Execute
Parse {"query": "SELECT a t, array_agg(v ORDER BY v) FROM ( SELECT DISTINCT a FROM numrange_values WHERE a IS NOT NULL ) numrange_values(a), numrange_test_values WHERE a -|- v GROUP BY a ORDER BY a;"}
Bind
Execute
Parse {"query": "SELECT DISTINCT l.v, r.v, l.v < r.v, l.v <= r.v, l.v > r.v, l.v >= r.v, l.v = r.v, l.v <> r.v FROM numrange_test_values AS l, numrange_test_values AS r ORDER BY 1, 2;"}
Bind
Execute
Sync
----

Expand Down Expand Up @@ -320,6 +354,58 @@ ParseComplete
BindComplete
DataRow {"fields":["[1,)","{\"(,1)\",\"[-1,1)\"}"]}
CommandComplete {"tag":"SELECT 1"}
ParseComplete
BindComplete
DataRow {"fields":["empty","empty","f","t","f","t","t","f"]}
DataRow {"fields":["empty","(,1)","t","t","f","f","f","t"]}
DataRow {"fields":["empty","(,)","t","t","f","f","f","t"]}
DataRow {"fields":["empty","[-99,-50)","t","t","f","f","f","t"]}
DataRow {"fields":["empty","[-1,1)","t","t","f","f","f","t"]}
DataRow {"fields":["empty","(-1,)","t","t","f","f","f","t"]}
DataRow {"fields":["empty","[50,99)","t","t","f","f","f","t"]}
DataRow {"fields":["(,1)","empty","f","f","t","t","f","t"]}
DataRow {"fields":["(,1)","(,1)","f","t","f","t","t","f"]}
DataRow {"fields":["(,1)","(,)","t","t","f","f","f","t"]}
DataRow {"fields":["(,1)","[-99,-50)","t","t","f","f","f","t"]}
DataRow {"fields":["(,1)","[-1,1)","t","t","f","f","f","t"]}
DataRow {"fields":["(,1)","(-1,)","t","t","f","f","f","t"]}
DataRow {"fields":["(,1)","[50,99)","t","t","f","f","f","t"]}
DataRow {"fields":["(,)","empty","f","f","t","t","f","t"]}
DataRow {"fields":["(,)","(,1)","f","f","t","t","f","t"]}
DataRow {"fields":["(,)","(,)","f","t","f","t","t","f"]}
DataRow {"fields":["(,)","[-99,-50)","t","t","f","f","f","t"]}
DataRow {"fields":["(,)","[-1,1)","t","t","f","f","f","t"]}
DataRow {"fields":["(,)","(-1,)","t","t","f","f","f","t"]}
DataRow {"fields":["(,)","[50,99)","t","t","f","f","f","t"]}
DataRow {"fields":["[-99,-50)","empty","f","f","t","t","f","t"]}
DataRow {"fields":["[-99,-50)","(,1)","f","f","t","t","f","t"]}
DataRow {"fields":["[-99,-50)","(,)","f","f","t","t","f","t"]}
DataRow {"fields":["[-99,-50)","[-99,-50)","f","t","f","t","t","f"]}
DataRow {"fields":["[-99,-50)","[-1,1)","t","t","f","f","f","t"]}
DataRow {"fields":["[-99,-50)","(-1,)","t","t","f","f","f","t"]}
DataRow {"fields":["[-99,-50)","[50,99)","t","t","f","f","f","t"]}
DataRow {"fields":["[-1,1)","empty","f","f","t","t","f","t"]}
DataRow {"fields":["[-1,1)","(,1)","f","f","t","t","f","t"]}
DataRow {"fields":["[-1,1)","(,)","f","f","t","t","f","t"]}
DataRow {"fields":["[-1,1)","[-99,-50)","f","f","t","t","f","t"]}
DataRow {"fields":["[-1,1)","[-1,1)","f","t","f","t","t","f"]}
DataRow {"fields":["[-1,1)","(-1,)","t","t","f","f","f","t"]}
DataRow {"fields":["[-1,1)","[50,99)","t","t","f","f","f","t"]}
DataRow {"fields":["(-1,)","empty","f","f","t","t","f","t"]}
DataRow {"fields":["(-1,)","(,1)","f","f","t","t","f","t"]}
DataRow {"fields":["(-1,)","(,)","f","f","t","t","f","t"]}
DataRow {"fields":["(-1,)","[-99,-50)","f","f","t","t","f","t"]}
DataRow {"fields":["(-1,)","[-1,1)","f","f","t","t","f","t"]}
DataRow {"fields":["(-1,)","(-1,)","f","t","f","t","t","f"]}
DataRow {"fields":["(-1,)","[50,99)","t","t","f","f","f","t"]}
DataRow {"fields":["[50,99)","empty","f","f","t","t","f","t"]}
DataRow {"fields":["[50,99)","(,1)","f","f","t","t","f","t"]}
DataRow {"fields":["[50,99)","(,)","f","f","t","t","f","t"]}
DataRow {"fields":["[50,99)","[-99,-50)","f","f","t","t","f","t"]}
DataRow {"fields":["[50,99)","[-1,1)","f","f","t","t","f","t"]}
DataRow {"fields":["[50,99)","(-1,)","f","f","t","t","f","t"]}
DataRow {"fields":["[50,99)","[50,99)","f","t","f","t","t","f"]}
CommandComplete {"tag":"SELECT 49"}
ReadyForQuery {"status":"I"}

# test range binary encodings
Expand Down

0 comments on commit cb00a6e

Please sign in to comment.