X-Git-Url: http://git.liburcu.org/?a=blobdiff_plain;f=liblttng-ust%2Flttng-filter-specialize.c;h=dddb448e43b192bdfd5b9cdbb26c480be17409c5;hb=acb9c126d4251e4f80f2d421f0874c815fce72db;hp=66e3db6f7228b379fc9fe0d584f05465d483b404;hpb=b9f4cd79c85f6fcadece77219e5fa8dd5d8932f1;p=lttng-ust.git

diff --git a/liblttng-ust/lttng-filter-specialize.c b/liblttng-ust/lttng-filter-specialize.c
index 66e3db6f..dddb448e 100644
--- a/liblttng-ust/lttng-filter-specialize.c
+++ b/liblttng-ust/lttng-filter-specialize.c
@@ -73,20 +73,28 @@ int lttng_filter_specialize_bytecode(struct bytecode_runtime *bytecode)
 				goto end;
 
 			case REG_STRING:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				insn->op = FILTER_OP_EQ_STRING;
 				break;
 			case REG_S64:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				if (vstack_bx(stack)->type == REG_S64)
 					insn->op = FILTER_OP_EQ_S64;
 				else
 					insn->op = FILTER_OP_EQ_DOUBLE_S64;
 				break;
 			case REG_DOUBLE:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				if (vstack_bx(stack)->type == REG_S64)
 					insn->op = FILTER_OP_EQ_S64_DOUBLE;
 				else
 					insn->op = FILTER_OP_EQ_DOUBLE;
 				break;
+			case REG_UNKNOWN:
+				break;	/* Dynamic typing. */
 			}
 			/* Pop 2, push 1 */
 			if (vstack_pop(stack)) {
@@ -109,20 +117,28 @@ int lttng_filter_specialize_bytecode(struct bytecode_runtime *bytecode)
 				goto end;
 
 			case REG_STRING:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				insn->op = FILTER_OP_NE_STRING;
 				break;
 			case REG_S64:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				if (vstack_bx(stack)->type == REG_S64)
 					insn->op = FILTER_OP_NE_S64;
 				else
 					insn->op = FILTER_OP_NE_DOUBLE_S64;
 				break;
 			case REG_DOUBLE:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				if (vstack_bx(stack)->type == REG_S64)
 					insn->op = FILTER_OP_NE_S64_DOUBLE;
 				else
 					insn->op = FILTER_OP_NE_DOUBLE;
 				break;
+			case REG_UNKNOWN:
+				break;	/* Dynamic typing. */
 			}
 			/* Pop 2, push 1 */
 			if (vstack_pop(stack)) {
@@ -145,20 +161,28 @@ int lttng_filter_specialize_bytecode(struct bytecode_runtime *bytecode)
 				goto end;
 
 			case REG_STRING:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				insn->op = FILTER_OP_GT_STRING;
 				break;
 			case REG_S64:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				if (vstack_bx(stack)->type == REG_S64)
 					insn->op = FILTER_OP_GT_S64;
 				else
 					insn->op = FILTER_OP_GT_DOUBLE_S64;
 				break;
 			case REG_DOUBLE:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				if (vstack_bx(stack)->type == REG_S64)
 					insn->op = FILTER_OP_GT_S64_DOUBLE;
 				else
 					insn->op = FILTER_OP_GT_DOUBLE;
 				break;
+			case REG_UNKNOWN:
+				break;	/* Dynamic typing. */
 			}
 			/* Pop 2, push 1 */
 			if (vstack_pop(stack)) {
@@ -181,20 +205,28 @@ int lttng_filter_specialize_bytecode(struct bytecode_runtime *bytecode)
 				goto end;
 
 			case REG_STRING:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				insn->op = FILTER_OP_LT_STRING;
 				break;
 			case REG_S64:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				if (vstack_bx(stack)->type == REG_S64)
 					insn->op = FILTER_OP_LT_S64;
 				else
 					insn->op = FILTER_OP_LT_DOUBLE_S64;
 				break;
 			case REG_DOUBLE:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				if (vstack_bx(stack)->type == REG_S64)
 					insn->op = FILTER_OP_LT_S64_DOUBLE;
 				else
 					insn->op = FILTER_OP_LT_DOUBLE;
 				break;
+			case REG_UNKNOWN:
+				break;	/* Dynamic typing. */
 			}
 			/* Pop 2, push 1 */
 			if (vstack_pop(stack)) {
@@ -217,20 +249,28 @@ int lttng_filter_specialize_bytecode(struct bytecode_runtime *bytecode)
 				goto end;
 
 			case REG_STRING:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				insn->op = FILTER_OP_GE_STRING;
 				break;
 			case REG_S64:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				if (vstack_bx(stack)->type == REG_S64)
 					insn->op = FILTER_OP_GE_S64;
 				else
 					insn->op = FILTER_OP_GE_DOUBLE_S64;
 				break;
 			case REG_DOUBLE:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				if (vstack_bx(stack)->type == REG_S64)
 					insn->op = FILTER_OP_GE_S64_DOUBLE;
 				else
 					insn->op = FILTER_OP_GE_DOUBLE;
 				break;
+			case REG_UNKNOWN:
+				break;	/* Dynamic typing. */
 			}
 			/* Pop 2, push 1 */
 			if (vstack_pop(stack)) {
@@ -252,20 +292,28 @@ int lttng_filter_specialize_bytecode(struct bytecode_runtime *bytecode)
 				goto end;
 
 			case REG_STRING:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				insn->op = FILTER_OP_LE_STRING;
 				break;
 			case REG_S64:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				if (vstack_bx(stack)->type == REG_S64)
 					insn->op = FILTER_OP_LE_S64;
 				else
 					insn->op = FILTER_OP_LE_DOUBLE_S64;
 				break;
 			case REG_DOUBLE:
+				if (vstack_bx(stack)->type == REG_UNKNOWN)
+					break;
 				if (vstack_bx(stack)->type == REG_S64)
 					insn->op = FILTER_OP_LE_S64_DOUBLE;
 				else
 					insn->op = FILTER_OP_LE_DOUBLE;
 				break;
+			case REG_UNKNOWN:
+				break;	/* Dynamic typing. */
 			}
 			vstack_ax(stack)->type = REG_S64;
 			next_pc += sizeof(struct binary_op);
@@ -330,6 +378,8 @@ int lttng_filter_specialize_bytecode(struct bytecode_runtime *bytecode)
 			case REG_DOUBLE:
 				insn->op = FILTER_OP_UNARY_PLUS_DOUBLE;
 				break;
+			case REG_UNKNOWN:	/* Dynamic typing. */
+				break;
 			}
 			/* Pop 1, push 1 */
 			next_pc += sizeof(struct unary_op);
@@ -352,6 +402,8 @@ int lttng_filter_specialize_bytecode(struct bytecode_runtime *bytecode)
 			case REG_DOUBLE:
 				insn->op = FILTER_OP_UNARY_MINUS_DOUBLE;
 				break;
+			case REG_UNKNOWN:	/* Dynamic typing. */
+				break;
 			}
 			/* Pop 1, push 1 */
 			next_pc += sizeof(struct unary_op);
@@ -374,6 +426,8 @@ int lttng_filter_specialize_bytecode(struct bytecode_runtime *bytecode)
 			case REG_DOUBLE:
 				insn->op = FILTER_OP_UNARY_NOT_DOUBLE;
 				break;
+			case REG_UNKNOWN:	/* Dynamic typing. */
+				break;
 			}
 			/* Pop 1, push 1 */
 			next_pc += sizeof(struct unary_op);
@@ -406,15 +460,27 @@ int lttng_filter_specialize_bytecode(struct bytecode_runtime *bytecode)
 			break;
 		}
 
-		/* load */
+		/* load field ref */
 		case FILTER_OP_LOAD_FIELD_REF:
 		{
 			ERR("Unknown field ref type\n");
 			ret = -EINVAL;
 			goto end;
 		}
+		/* get context ref */
+		case FILTER_OP_GET_CONTEXT_REF:
+		{
+			if (vstack_push(stack)) {
+				ret = -EINVAL;
+				goto end;
+			}
+			vstack_ax(stack)->type = REG_UNKNOWN;
+			next_pc += sizeof(struct load_op) + sizeof(struct field_ref);
+			break;
+		}
 		case FILTER_OP_LOAD_FIELD_REF_STRING:
 		case FILTER_OP_LOAD_FIELD_REF_SEQUENCE:
+		case FILTER_OP_GET_CONTEXT_REF_STRING:
 		{
 			if (vstack_push(stack)) {
 				ret = -EINVAL;
@@ -425,6 +491,7 @@ int lttng_filter_specialize_bytecode(struct bytecode_runtime *bytecode)
 			break;
 		}
 		case FILTER_OP_LOAD_FIELD_REF_S64:
+		case FILTER_OP_GET_CONTEXT_REF_S64:
 		{
 			if (vstack_push(stack)) {
 				ret = -EINVAL;
@@ -435,6 +502,7 @@ int lttng_filter_specialize_bytecode(struct bytecode_runtime *bytecode)
 			break;
 		}
 		case FILTER_OP_LOAD_FIELD_REF_DOUBLE:
+		case FILTER_OP_GET_CONTEXT_REF_DOUBLE:
 		{
 			if (vstack_push(stack)) {
 				ret = -EINVAL;
@@ -445,6 +513,7 @@ int lttng_filter_specialize_bytecode(struct bytecode_runtime *bytecode)
 			break;
 		}
 
+		/* load from immediate operand */
 		case FILTER_OP_LOAD_STRING:
 		{
 			struct load_op *insn = (struct load_op *) pc;
@@ -503,6 +572,8 @@ int lttng_filter_specialize_bytecode(struct bytecode_runtime *bytecode)
 			case REG_DOUBLE:
 				insn->op = FILTER_OP_CAST_DOUBLE_TO_S64;
 				break;
+			case REG_UNKNOWN:
+				break;
 			}
 			/* Pop 1, push 1 */
 			vstack_ax(stack)->type = REG_S64;
@@ -522,7 +593,6 @@ int lttng_filter_specialize_bytecode(struct bytecode_runtime *bytecode)
 			break;
 		}
 
-
 		}
 	}
 end: