maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[GVN] Add additional assume tests (NFC) 

The other assume tests seem to be dealing with equalities in
particular. Test implication for the condition itself, especially
the negated case from PR47496.
This commit is contained in:
Nikita Popov 2020-09-17 20:39:29 +02:00
parent 51973a607d
commit 59855b9d3b
1 changed files with 44 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

44
llvm/test/Transforms/GVN/assume.ll Normal file
View File

@ -0,0 +1,44 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -gvn -S | FileCheck %s
declare void @llvm.assume(i1)
declare void @use(i1)
define void @assume_arg(i1 %x) {
; CHECK-LABEL: @assume_arg(
; CHECK-NEXT: call void @llvm.assume(i1 [[X:%.*]])
; CHECK-NEXT: call void @use(i1 true)
; CHECK-NEXT: ret void
;
call void @llvm.assume(i1 %x)
call void @use(i1 %x)
ret void
}
define void @assume_not_arg(i1 %x) {
; CHECK-LABEL: @assume_not_arg(
; CHECK-NEXT: [[XOR:%.*]] = xor i1 [[X:%.*]], true
; CHECK-NEXT: call void @llvm.assume(i1 [[XOR]])
; CHECK-NEXT: call void @use(i1 [[X]])
; CHECK-NEXT: ret void
;
%xor = xor i1 %x, true
call void @llvm.assume(i1 %xor)
call void @use(i1 %x)
ret void
}
define void @pr47496(i8 %x) {
; CHECK-LABEL: @pr47496(
; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[X:%.*]], 0
; CHECK-NEXT: [[XOR:%.*]] = xor i1 [[CMP]], true
; CHECK-NEXT: call void @llvm.assume(i1 [[XOR]])
; CHECK-NEXT: call void @use(i1 [[CMP]])
; CHECK-NEXT: ret void
;
%cmp = icmp slt i8 %x, 0
%xor = xor i1 %cmp, true
call void @llvm.assume(i1 %xor)
call void @use(i1 %cmp)
ret void
}