[llvm] [LAA] Clean up APInt-overflow related code (NFC) (PR #140048)
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Sun May 18 13:26:29 PDT 2025
================
@@ -0,0 +1,73 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 5
+; RUN: opt -passes='print<access-info>' -disable-output %s 2>&1 | FileCheck %s
+
+define void @forward_i128_offset_difference(ptr %this, i128 %loop.limit) {
+; CHECK-LABEL: 'forward_i128_offset_difference'
+; CHECK-NEXT: loop:
+; CHECK-NEXT: Memory dependences are safe
+; CHECK-NEXT: Dependences:
+; CHECK-NEXT: Forward:
+; CHECK-NEXT: store i64 1, ptr %c, align 8 ->
+; CHECK-NEXT: store i64 2, ptr %d, align 8
----------------
fhahn wrote:
Does this test actually cover the case where `trySExtValue`fails and because of that we cannot identify the dependency? In that case, should it be Unknown?
https://github.com/llvm/llvm-project/pull/140048
More information about the llvm-commits
mailing list