Add tests to Transforms/CodeGenPrepare/X86/freeze-cmp.ll before commiting D76048

This commit is contained in:
Juneyoung Lee 2020-03-13 17:18:42 +09:00
parent d0fb34dc09
commit 48b901b0e1
1 changed files with 33 additions and 0 deletions

View File

@ -71,5 +71,38 @@ B:
ret void
}
define i1 @ptrcmp(i8* %p) {
; CHECK-LABEL: @ptrcmp(
; CHECK-NEXT: [[C:%.*]] = icmp eq i8* [[P:%.*]], null
; CHECK-NEXT: [[FR:%.*]] = freeze i1 [[C]]
; CHECK-NEXT: ret i1 [[FR]]
;
%c = icmp eq i8* %p, null
%fr = freeze i1 %c
ret i1 %fr
}
define i1 @fcmp(float %a) {
; CHECK-LABEL: @fcmp(
; CHECK-NEXT: [[C:%.*]] = fcmp oeq float [[A:%.*]], 0.000000e+00
; CHECK-NEXT: [[FR:%.*]] = freeze i1 [[C]]
; CHECK-NEXT: ret i1 [[FR]]
;
%c = fcmp oeq float %a, 0.0
%fr = freeze i1 %c
ret i1 %fr
}
define i1 @fcmp_nan(float %a) {
; CHECK-LABEL: @fcmp_nan(
; CHECK-NEXT: [[C:%.*]] = fcmp nnan oeq float [[A:%.*]], 0.000000e+00
; CHECK-NEXT: [[FR:%.*]] = freeze i1 [[C]]
; CHECK-NEXT: ret i1 [[FR]]
;
%c = fcmp nnan oeq float %a, 0.0
%fr = freeze i1 %c
ret i1 %fr
}
declare void @g1()
declare void @g2()