Filter: Update shifting tests
[lttng-tools.git] / tests / regression / tools / filtering / test_valid_filter
index 722a6f6ad94e6bcc7a6eb3e73d24dac86032d3d5..725d82d4af74c87fad668619575c066edd1fa00b 100755 (executable)
@@ -24,8 +24,8 @@ STATS_BIN="$TESTDIR/utils/babelstats.pl"
 SESSION_NAME="valid_filter"
 NR_ITER=100
 NUM_GLOBAL_TESTS=2
-NUM_UST_TESTS=1074
-NUM_KERNEL_TESTS=1008
+NUM_UST_TESTS=1098
+NUM_KERNEL_TESTS=1032
 NUM_TESTS=$(($NUM_UST_TESTS+$NUM_KERNEL_TESTS+$NUM_GLOBAL_TESTS))
 
 source $TESTDIR/utils/utils.sh
@@ -674,13 +674,13 @@ UST_FILTERS=(
        "1 >= (1 >= (1 >= 1))"
 
        true_statement
-       "0x101 & 0x100 == 0x100"
+       "(0x101 & 0x100) == 0x100"
 
        true_statement
-       "0x101 | 0x10100 == 0x10101"
+       "(0x101 | 0x10100) == 0x10101"
 
        true_statement
-       "0xF00F0F ^ 0xFF0F00 == 0x0F000F"
+       "(0xF00F0F ^ 0xFF0F00) == 0x0F000F"
 
        true_statement
        "(1 << 1) == 2"
@@ -706,6 +706,18 @@ UST_FILTERS=(
        true_statement
        "-1==~0"
 
+       true_statement  # unsigned bitwise ops
+       "~0>>4==0x0fffffffffffffff"
+
+       has_no_event
+       "1<<-1"
+
+       has_no_event
+       "1<<10000"
+
+       true_statement  # comparator is signed, shift is unsigned
+       "(1<<63) < 0"
+
        true_statement
        "1<<1==2"       # C99 operator priority: comparator before bitwise
 
@@ -719,19 +731,19 @@ UST_FILTERS=(
        "(1 << 63) == 9223372036854775808"
 
        true_statement
-       "arrfield1[2] & 1 == 1"
+       "(arrfield1[2] & 1) == 1"
 
        true_statement
-       "arrfield1[2] | 0x111000 == 0x111003"
+       "(arrfield1[2] | 0x111000) == 0x111003"
 
        true_statement
        "(arrfield1[0] | arrfield1[1] | arrfield1[2]) == 0x3"
 
        true_statement
-       "seqfield4[2] & 1 == 1"
+       "(seqfield4[2] & 1) == 1"
 
        true_statement
-       "seqfield4[2] | 0x111000 == 0x111003"
+       "(seqfield4[2] | 0x111000) == 0x111003"
 
        true_statement
        "intfield < 0xDEADBEEF"
@@ -1135,13 +1147,13 @@ KERNEL_FILTERS=(
        "1 >= (1 >= (1 >= 1))"
 
        true_statement
-       "0x101 & 0x100 == 0x100"
+       "(0x101 & 0x100) == 0x100"
 
        true_statement
-       "0x101 | 0x10100 == 0x10101"
+       "(0x101 | 0x10100) == 0x10101"
 
        true_statement
-       "0xF00F0F ^ 0xFF0F00 == 0x0F000F"
+       "(0xF00F0F ^ 0xFF0F00) == 0x0F000F"
 
        true_statement
        "(1 << 1) == 2"
@@ -1167,6 +1179,18 @@ KERNEL_FILTERS=(
        true_statement
        "-1==~0"
 
+       true_statement  # unsigned bitwise ops
+       "~0>>4==0x0fffffffffffffff"
+
+       has_no_event
+       "1<<-1"
+
+       has_no_event
+       "1<<10000"
+
+       true_statement  # comparator is signed, shift is unsigned
+       "(1<<63) < 0"
+
        true_statement
        "1<<1==2"       # C99 operator priority: comparator before bitwise
 
@@ -1180,19 +1204,19 @@ KERNEL_FILTERS=(
        "(1 << 63) == 9223372036854775808"
 
        true_statement
-       "arrfield1[2] & 1 == 1"
+       "(arrfield1[2] & 1) == 1"
 
        true_statement
-       "arrfield1[2] | 0x111000 == 0x111003"
+       "(arrfield1[2] | 0x111000) == 0x111003"
 
        true_statement
        "(arrfield1[0] | arrfield1[1] | arrfield1[2]) == 0x3"
 
        true_statement
-       "seqfield4[2] & 1 == 1"
+       "(seqfield4[2] & 1) == 1"
 
        true_statement
-       "seqfield4[2] | 0x111000 == 0x111003"
+       "(seqfield4[2] | 0x111000) == 0x111003"
 
        true_statement
        "intfield < 0xDEADBEEF"
This page took 0.025408 seconds and 4 git commands to generate.