This is an archive of the discontinued LLVM Phabricator instance.

Differential D131168

[test] Rename assume_icmp to assume_cmp (NFC)
Needs ReviewPublic

Authored by cppio on Aug 4 2022, 7:23 AM.

Details

Reviewers
nikic
spatel
Summary

Renames assume_icmp.ll to assume_cmp.ll in anticipation of adding fcmp tests.

Diff Detail

Unit TestsFailed

TimeTest
60,040 msx64 debian > libFuzzer.libFuzzer::fuzzer-leak.test

Event Timeline

cppio created this revision.Aug 4 2022, 7:23 AM
Herald added a project: Restricted Project. · View Herald TranscriptAug 4 2022, 7:23 AM
cppio requested review of this revision.Aug 4 2022, 7:23 AM
Herald added a project: Restricted Project. · View Herald TranscriptAug 4 2022, 7:23 AM
Herald added a subscriber: llvm-commits. · View Herald Transcript
cppio added a child revision: D131169: [InstSimplify] Fold fcmp with dominating assume.Aug 4 2022, 7:23 AM
cppio retitled this revision from [test] Rename assume_icmp to assume_cmp to [test] Rename assume_icmp to assume_cmp (NFC).
cppio added a reviewer: nikic.
Harbormaster completed remote builds in B179276: Diff 449974.Aug 4 2022, 8:11 AM
nikic added a reviewer: spatel.Aug 5 2022, 8:17 AM
spatel mentioned this in D131169: [InstSimplify] Fold fcmp with dominating assume.Aug 5 2022, 9:37 AM

Revision Contents

PathSize
llvm/
test/
Transforms/
InstSimplify/
assume_cmp.ll
assume_icmp.ll
12 lines

Diff 449974

llvm/test/Transforms/InstSimplify/assume_cmp.ll

  • This file was moved from llvm/test/Transforms/InstSimplify/assume_icmp.ll.
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=instsimplify -S | FileCheck %s ; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
declare void @llvm.assume(i1) declare void @llvm.assume(i1)
declare void @use(i1) declare void @use(i1)
define void @basic_ugt(i32 %x, i32 %y) { define void @icmp_ugt(i32 %x, i32 %y) {
; CHECK-LABEL: @basic_ugt( ; CHECK-LABEL: @icmp_ugt(
; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i32 [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i32 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP1]]) ; CHECK-NEXT: call void @llvm.assume(i1 [[CMP1]])
; CHECK-NEXT: call void @use(i1 true) ; CHECK-NEXT: call void @use(i1 true)
; CHECK-NEXT: call void @use(i1 true) ; CHECK-NEXT: call void @use(i1 true)
; CHECK-NEXT: call void @use(i1 false) ; CHECK-NEXT: call void @use(i1 false)
; CHECK-NEXT: call void @use(i1 false) ; CHECK-NEXT: call void @use(i1 false)
; CHECK-NEXT: call void @use(i1 false) ; CHECK-NEXT: call void @use(i1 false)
; CHECK-NEXT: call void @use(i1 false) ; CHECK-NEXT: call void @use(i1 false)
Show All 20 Lines;
%cmp8 = icmp ult i32 %y, %x %cmp8 = icmp ult i32 %y, %x
call void @use(i1 %cmp8) call void @use(i1 %cmp8)
%cmp9 = icmp ule i32 %y, %x %cmp9 = icmp ule i32 %y, %x
call void @use(i1 %cmp9) call void @use(i1 %cmp9)
ret void ret void
} }
define void @basic_uge(i32 %x, i32 %y) { define void @icmp_uge(i32 %x, i32 %y) {
; CHECK-LABEL: @basic_uge( ; CHECK-LABEL: @icmp_uge(
; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i32 [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i32 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP1]]) ; CHECK-NEXT: call void @llvm.assume(i1 [[CMP1]])
; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i32 [[X]], [[Y]] ; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i32 [[X]], [[Y]]
; CHECK-NEXT: call void @use(i1 [[CMP2]]) ; CHECK-NEXT: call void @use(i1 [[CMP2]])
; CHECK-NEXT: call void @use(i1 true) ; CHECK-NEXT: call void @use(i1 true)
; CHECK-NEXT: call void @use(i1 false) ; CHECK-NEXT: call void @use(i1 false)
; CHECK-NEXT: [[CMP5:%.*]] = icmp ule i32 [[X]], [[Y]] ; CHECK-NEXT: [[CMP5:%.*]] = icmp ule i32 [[X]], [[Y]]
; CHECK-NEXT: call void @use(i1 [[CMP5]]) ; CHECK-NEXT: call void @use(i1 [[CMP5]])
Show All 27 Lines;
call void @use(i1 %cmp9) call void @use(i1 %cmp9)
ret void ret void
} }
; This does not simplify in InstSimplify, because AssumptionCache tracker ; This does not simplify in InstSimplify, because AssumptionCache tracker
; does not track values through "and". The "and" assume will be broken ; does not track values through "and". The "and" assume will be broken
; down into two separate assume calls by InstCombine. ; down into two separate assume calls by InstCombine.
define void @and(i32 %x, i32 %y, i32 %z) { define void @icmp_and(i32 %x, i32 %y, i32 %z) {
; CHECK-LABEL: @and( ; CHECK-LABEL: @icmp_and(
; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i32 [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i32 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i32 [[Z:%.*]], [[Y]] ; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i32 [[Z:%.*]], [[Y]]
; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]] ; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]
; CHECK-NEXT: call void @llvm.assume(i1 [[AND]]) ; CHECK-NEXT: call void @llvm.assume(i1 [[AND]])
; CHECK-NEXT: [[CMP3:%.*]] = icmp ugt i32 [[X]], [[Y]] ; CHECK-NEXT: [[CMP3:%.*]] = icmp ugt i32 [[X]], [[Y]]
; CHECK-NEXT: call void @use(i1 [[CMP3]]) ; CHECK-NEXT: call void @use(i1 [[CMP3]])
; CHECK-NEXT: [[CMP4:%.*]] = icmp uge i32 [[X]], [[Y]] ; CHECK-NEXT: [[CMP4:%.*]] = icmp uge i32 [[X]], [[Y]]
; CHECK-NEXT: call void @use(i1 [[CMP4]]) ; CHECK-NEXT: call void @use(i1 [[CMP4]])
Show All 22 Lines

llvm/test/Transforms/InstSimplify/assume_icmp.ll

  • This file was moved to llvm/test/Transforms/InstSimplify/assume_cmp.ll.