[libcxx-commits] [clang] [libcxx] [Clang] Normalize constraints before checking for satisfaction (PR #161671)

[Hans Wennborg via libcxx-commits]

zmodem wrote:

Here's another example TU. `perf stat -r5` shows a 27% regression here. 72616c5 does not seem to make much difference.

```
clang -cc1 -triple x86_64-unknown-linux-gnu -O0 -emit-obj -mrelocation-model pic -pic-level 2 -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -target-feature +sse3 -tune-cpu generic -debug-info-kind=constructor -dwarf-version=4 -debugger-tuning=gdb -ggnu-pubnames -gsimple-template-names=simple -mllvm -generate-arange-section -debug-forward-template-params  -std=c++20 -fdeprecated-macro -fvisibility=hidden -fvisibility-inlines-hidden -fwrapv -fwrapv-pointer -pthread -stack-protector 1 -ftrivial-auto-var-init=pattern -fno-rtti -fgnuc-version=4.2.1 -fno-implicit-modules -fskip-odr-check-in-gmf -fno-sized-deallocation -Qn -fuse-ctor-homing -fcomplete-member-pointers -faddrsig -x c++ /tmp/inspector_style_resolver.ii -w
```

[inspector_style_resolver.ii.gz](https://github.com/user-attachments/files/23100228/inspector_style_resolver.ii.gz)


https://github.com/llvm/llvm-project/pull/161671