[llvm-branch-commits] [llvm] [NFC] [IndVars] test for missed optimization for predicate-loop-traps (PR #181264)

Florian Mayer via llvm-branch-commits llvm-branch-commits at lists.llvm.org
Thu Feb 12 17:58:34 PST 2026


https://github.com/fmayer updated https://github.com/llvm/llvm-project/pull/181264

>From 6c0e1a309b618e12226b7665fae5aed599c0f1af Mon Sep 17 00:00:00 2001
From: Florian Mayer <fmayer at google.com>
Date: Thu, 12 Feb 2026 15:09:34 -0800
Subject: [PATCH] nit

Created using spr 1.3.7
---
 .../IndVarSimplify/unreachable-exit.ll           | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/llvm/test/Transforms/IndVarSimplify/unreachable-exit.ll b/llvm/test/Transforms/IndVarSimplify/unreachable-exit.ll
index 1e3c661a74d7c..1b852f64a669a 100644
--- a/llvm/test/Transforms/IndVarSimplify/unreachable-exit.ll
+++ b/llvm/test/Transforms/IndVarSimplify/unreachable-exit.ll
@@ -97,12 +97,12 @@ define void @should_optimize_two_trap(i32 %block_size) {
 ; CHECK:       [[IF_THEN]]:
 ; CHECK-NEXT:    call void @llvm.trap()
 ; CHECK-NEXT:    unreachable
-; CHECK:       [[IF_THEN2:.*]]:
-; CHECK-NEXT:    call void @llvm.trap()
-; CHECK-NEXT:    unreachable
 ; CHECK:       [[IF_END4]]:
 ; CHECK-NEXT:    [[CMP2:%.*]] = icmp samesign ugt i32 [[I_015]], 1
-; CHECK-NEXT:    br i1 [[CMP2]], label %[[IF_THEN2]], label %[[IF_END5]]
+; CHECK-NEXT:    br i1 [[CMP2]], label %[[IF_THEN2:.*]], label %[[IF_END5]]
+; CHECK:       [[IF_THEN2]]:
+; CHECK-NEXT:    call void @llvm.trap()
+; CHECK-NEXT:    unreachable
 ; CHECK:       [[IF_END5]]:
 ; CHECK-NEXT:    [[ARRAYIDX:%.*]] = getelementptr inbounds nuw [1024 x i8], ptr [[FOO_ARR]], i64 0, i32 [[I_015]]
 ; CHECK-NEXT:    [[TMP0:%.*]] = load i8, ptr [[ARRAYIDX]], align 1
@@ -139,14 +139,14 @@ if.then:                                          ; preds = %for.body
   call void @llvm.trap()
   unreachable
 
-if.then2:                                          ; preds = %if.end4
-  call void @llvm.trap()
-  unreachable
-
 if.end4:
   %cmp2 = icmp samesign ugt i32 %i.015, 1
   br i1 %cmp2, label %if.then2, label %if.end5
 
+if.then2:                                          ; preds = %if.end4
+  call void @llvm.trap()
+  unreachable
+
 if.end5:                                          ; preds = %if.end4
   %arrayidx = getelementptr inbounds nuw [1024 x i8], ptr %foo_arr, i64 0, i32 %i.015
   %0 = load i8, ptr %arrayidx, align 1



More information about the llvm-branch-commits mailing list