shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions 7 Packages Projects Releases Wiki Activity

[InstSimplify][ConstantFolding] Add test demonstrating failure to simplify (icmp eq null, inttoptr x) when the null is on the left hand side. NFC

Browse Source 
llvm-svn: 304474
This commit is contained in:
Craig Topper 2017-06-01 21:20:07 +00:00
parent d819d5bd68
commit 5ea2d55e1c
1 changed files with 16 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
llvm/test/Transforms/InstSimplify/compare.ll
View File

@ -1278,3 +1278,19 @@ define void @icmp_slt_sge_or(i32 %Ax, i32 %Bx) {
; CHECK: call void @helper_i1(i1 true)
ret void
}
define i1 @constant_fold_inttoptr_null() {
; CHECK-LABEL: @constant_fold_inttoptr_null(
; CHECK-NEXT: ret i1 false
;
%x = icmp eq i32* inttoptr (i64 32 to i32*), null
ret i1 %x
}
define i1 @constant_fold_null_inttoptr() {
; CHECK-LABEL: @constant_fold_null_inttoptr(
; CHECK-NEXT: ret i1 icmp eq (i32* inttoptr (i64 32 to i32*), i32* null)
;
%x = icmp eq i32* null, inttoptr (i64 32 to i32*)
ret i1 %x
}