Merge branches 'fix-can-move-to' and 'asr-synth' into next

simplify.c

@@ -2068,7 +2068,7 @@ static int simplify_memop(struct instruction *insn)
 static int simplify_cast(struct instruction *insn)
 {
 	unsigned long long mask;
-	struct instruction *def;
+	struct instruction *def, *def2;
 	pseudo_t src = insn->src;
 	pseudo_t val;
 	int osize;
@@ -2165,6 +2165,17 @@ static int simplify_cast(struct instruction *insn)
 		case OP_TRUNC:
 			insn->orig_type = def->orig_type;
 			return replace_pseudo(insn, &insn->src1, def->src);
+		case OP_SEXT:
+			if (size != def->orig_type->bit_size)
+				break;
+			if (DEF_OPCODE(def2, def->src) != OP_LSR)
+				break;
+			if (def2->src2 != value_pseudo(size - def->size))
+				break;
+			// SEXT(TRUNC(LSR(x, N))) --> ASR(x, N)
+			insn->opcode = OP_ASR;
+			insn->src2 = def2->src2;
+			return replace_pseudo(insn, &insn->src1, def2->src1);
 		case OP_ZEXT:
 			if (size != def->orig_type->bit_size)
 				break;

validation/optim/lsr-to-asr.c

@@ -0,0 +1,27 @@
+int lsr_to_asr24(int x)
+{
+	return ((signed char)(((unsigned)x) >> 24)) == (x >> 24);
+}
+
+
+struct s {
+	int :30;
+	signed int f:2;
+};
+
+int lsr_to_asr30(int a)
+{
+	union {
+		int i;
+		struct s s;
+	} u = { .i = a };
+	return u.s.f == (a >> 30);
+}
+
+/*
+ * check-name: lsr-to-asr
+ * check-command: test-linearize -Wno-decl $file
+ *
+ * check-output-ignore
+ * check-output-returns: 1
+ */