Fixed incorrect range check (missed sign bit)

dstogov · dstogov · commit da2bed357a44 · 2021-05-18T15:32:35.000+03:00
diff --git a/ext/opcache/jit/zend_jit_arm64.dasc b/ext/opcache/jit/zend_jit_arm64.dasc
@@ -101,7 +101,7 @@
 #define LDR_STR_PIMM32  (MAX_IMM12*4)  // ldr/str insn for 32-bit register: pimm is imm12 * 4
 #define LDRB_STRB_PIMM  MAX_IMM12      // ldrb/strb insn
 
-#define B_IMM26         (((1<<26)-1)*4)
+#define B_IMM26         (1<<27)        // signed imm26 * 4
 
 static bool arm64_may_use_b(const void *addr)
 {

Original file line number	Diff line number	Diff line change
`@@ -101,7 +101,7 @@`
`101`	`101`	`#define LDR_STR_PIMM32 (MAX_IMM124) // ldr/str insn for 32-bit register: pimm is imm12 4`
`102`	`102`	`#define LDRB_STRB_PIMM MAX_IMM12 // ldrb/strb insn`
`103`	`103`
`104`		`-#define B_IMM26 (((1<<26)-1)*4)`
	`104`	`+#define B_IMM26 (1<<27) // signed imm26 * 4`
`105`	`105`
`106`	`106`	`static bool arm64_may_use_b(const void *addr)`
`107`	`107`	`{`