X-Git-Url: https://deadsoftware.ru/gitweb?p=dsw-obn.git;a=blobdiff_plain;f=src%2Fbackends%2Fjvm%2Fgenerator-jvm.c;h=ee4bc67c17d31f33f25ba5047600658776953755;hp=189d8d275421b67a4fc2081d664c37ccf4149fc7;hb=3d4021b9a2dd52aaf4b97859a8a58b74903ebac9;hpb=75d0fd92a5342358f37ed9369ccce9355273e51a

diff --git a/src/backends/jvm/generator-jvm.c b/src/backends/jvm/generator-jvm.c
index 189d8d2..ee4bc67 100644
--- a/src/backends/jvm/generator-jvm.c
+++ b/src/backends/jvm/generator-jvm.c
@@ -1372,6 +1372,7 @@ jvm_generate_operator(gen_proc_t * p, oberon_type_t * t, int op)
 			jvm_generate(p, 2 * cell_size, cell_size, "%cand", prefix);
 			break;
 		case OP_DIFFERENCE:
+			/* (a - b) == a & ~b */
 			jvm_generate_push_int_size(p, -1, t -> size);
 			jvm_generate(p, 2 * cell_size, cell_size, "%cxor", prefix);
 			jvm_generate(p, 2 * cell_size, cell_size, "%cand", prefix);
@@ -1498,6 +1499,7 @@ jvm_generate_in(gen_proc_t * p, oberon_expr_t * a, oberon_expr_t * b)
 	int label_else = jvm_new_label_id(p);
 	int label_end = jvm_new_label_id(p);
 
+	/* (a IN b) == (1 << a) & b */
 	jvm_generate_push_int_size(p, 1, t -> size);
 	push_expr(p, a);
 	jvm_generate(p, 2 * cell_size, cell_size, "%cshl", prefix);