63 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -p constraint-elimination -S %s | FileCheck %s3 4; Tests for https://github.com/llvm/llvm-project/issues/78621.5 6define i1 @umin_not_used(i32 %arg) {7; CHECK-LABEL: define i1 @umin_not_used(8; CHECK-SAME: i32 [[ARG:%.*]]) {9; CHECK-NEXT: [[ICMP:%.*]] = icmp slt i32 [[ARG]], 010; CHECK-NEXT: [[SHL:%.*]] = shl nuw nsw i32 [[ARG]], 311; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.umin.i32(i32 [[SHL]], i32 80)12; CHECK-NEXT: [[CMP2:%.*]] = shl nuw nsw i32 [[ARG]], 313; CHECK-NEXT: ret i1 [[ICMP]]14;15 %icmp = icmp slt i32 %arg, 016 %shl = shl nuw nsw i32 %arg, 317 call i32 @llvm.umin.i32(i32 %shl, i32 80)18 %cmp2 = shl nuw nsw i32 %arg, 319 ret i1 %icmp20}21 22define i1 @umin_poison_is_UB_via_call(i32 %arg) {23; CHECK-LABEL: define i1 @umin_poison_is_UB_via_call(24; CHECK-SAME: i32 [[ARG:%.*]]) {25; CHECK-NEXT: [[SHL:%.*]] = shl nuw nsw i32 [[ARG]], 326; CHECK-NEXT: [[MIN:%.*]] = call i32 @llvm.umin.i32(i32 [[SHL]], i32 80)27; CHECK-NEXT: call void @noundef(i32 noundef [[MIN]])28; CHECK-NEXT: [[CMP2:%.*]] = shl nuw nsw i32 [[ARG]], 329; CHECK-NEXT: ret i1 false30;31 %icmp = icmp slt i32 %arg, 032 %shl = shl nuw nsw i32 %arg, 333 %min = call i32 @llvm.umin.i32(i32 %shl, i32 80)34 call void @noundef(i32 noundef %min)35 %cmp2 = shl nuw nsw i32 %arg, 336 ret i1 %icmp37}38 39define i1 @umin_poison_call_before_UB(i32 %arg) {40; CHECK-LABEL: define i1 @umin_poison_call_before_UB(41; CHECK-SAME: i32 [[ARG:%.*]]) {42; CHECK-NEXT: [[ICMP:%.*]] = icmp slt i32 [[ARG]], 043; CHECK-NEXT: [[SHL:%.*]] = shl nuw nsw i32 [[ARG]], 344; CHECK-NEXT: [[MIN:%.*]] = call i32 @llvm.umin.i32(i32 [[SHL]], i32 80)45; CHECK-NEXT: call void @fn()46; CHECK-NEXT: call void @noundef(i32 noundef [[MIN]])47; CHECK-NEXT: [[CMP2:%.*]] = shl nuw nsw i32 [[ARG]], 348; CHECK-NEXT: ret i1 [[ICMP]]49;50 %icmp = icmp slt i32 %arg, 051 %shl = shl nuw nsw i32 %arg, 352 %min = call i32 @llvm.umin.i32(i32 %shl, i32 80)53 call void @fn()54 call void @noundef(i32 noundef %min)55 %cmp2 = shl nuw nsw i32 %arg, 356 ret i1 %icmp57}58 59declare i32 @llvm.umin.i32(i32, i32) #060 61declare void @noundef(i32 noundef)62declare void @fn()63