Perf: JIT does not optimize pattern "~x + 1"

[GrabYourPitchforks]

Based on a comment at #68964 (comment).

In main, current JIT compiles this method:

static uint Negate(uint value) => ~value + 1;

To this in release mode:

; Method ConsoleApp106.Program:Negate(int):int
G_M48540_IG01:
						;; size=0 bbWeight=1    PerfScore 0.00

G_M48540_IG02:
       mov      eax, ecx
       not      eax
       inc      eax
						;; size=6 bbWeight=1    PerfScore 0.75

G_M48540_IG03:
       ret      
						;; size=1 bbWeight=1    PerfScore 1.00
; Total bytes of code: 7

JIT should be taught to recognize the pattern ~x + 1 and turn it into a two's-complement neg instruction.

Tagging subscribers to this area: @JulieLeeMSFT
See info in area-owners.md if you want to be subscribed.

Issue Details

---

Based on a comment at #68964 (comment).

In main, current JIT compiles this method:

static uint Negate(uint value) => ~value + 1;

To this in release mode:

; Method ConsoleApp106.Program:Negate(int):int
G_M48540_IG01:
						;; size=0 bbWeight=1    PerfScore 0.00

G_M48540_IG02:
       mov      eax, ecx
       not      eax
       inc      eax
						;; size=6 bbWeight=1    PerfScore 0.75

G_M48540_IG03:
       ret      
						;; size=1 bbWeight=1    PerfScore 1.00
; Total bytes of code: 7

JIT should be taught to recognize the pattern ~x + 1 and turn it into a two's-complement neg instruction.

Author:	GrabYourPitchforks
Assignees:	-
Labels:	tenet-performance, area-CodeGen-coreclr
Milestone:	-

[EgorBo]

Closed via #69600