[llvm] [ConstraintElim] Use constraints from bounded memory accesses (PR #155253)

[Nikita Popov via llvm-commits]

================
@@ -0,0 +1,272 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
+; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
+
+ at g = private unnamed_addr constant [5 x i8] c"test\00"
----------------
nikic wrote:

Can you please add a negative test with an external global? To verify that this does not use minimal object size.

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