Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(553)

Issues Search
    My Issues | Starred     Open | Closed | All

Unified Diff: tests_lit/llvm2ice_tests/icmp-with-zero.ll

Issue 1406593003: Optimize 64-bit compares with zero (Closed) Base URL: https://chromium.googlesource.com/native_client/pnacl-subzero.git@master
Patch Set: Add isZero utility function, fix comments. Created 5 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « tests_lit/assembler/x86/jump_encodings.ll ('k') | no next file » | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: tests_lit/llvm2ice_tests/icmp-with-zero.ll
diff --git a/tests_lit/llvm2ice_tests/icmp-with-zero.ll b/tests_lit/llvm2ice_tests/icmp-with-zero.ll
new file mode 100644
index 0000000000000000000000000000000000000000..107c608303d7e5070a1cf84e463cf800e3d82e00
--- /dev/null
+++ b/tests_lit/llvm2ice_tests/icmp-with-zero.ll
@@ -0,0 +1,231 @@
+; Simple test of non-fused compare/branch.
+
+; RUN: %p2i --filetype=obj --disassemble -i %s --args -O2 \
+; RUN: -allow-externally-defined-symbols | FileCheck %s
+; RUN: %p2i --filetype=obj --disassemble -i %s --args -Om1 \
+; RUN: -allow-externally-defined-symbols | FileCheck %s
+
+define internal void @icmpEqZero64() {
+entry:
+ %cmp = icmp eq i64 123, 0
+ br i1 %cmp, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ call void @func()
+ br label %if.end
+
+if.end: ; preds = %if.then, %if.end
+ ret void
+}
+; The following checks are not strictly necessary since one of the RUN
+; lines actually runs the output through the assembler.
+; CHECK-LABEL: icmpEqZero64
+; CHECK: or
+; CHECK-NEXT: sete
+
+define internal void @icmpNeZero64() {
+entry:
+ %cmp = icmp ne i64 123, 0
+ br i1 %cmp, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ call void @func()
+ br label %if.end
+
+if.end: ; preds = %if.then, %if.end
+ ret void
+}
+; The following checks are not strictly necessary since one of the RUN
+; lines actually runs the output through the assembler.
+; CHECK-LABEL: icmpNeZero64
+; CHECK: or
+; CHECK-NEXT: setne
+
+define internal void @icmpSgeZero64() {
+entry:
+ %cmp = icmp sge i64 123, 0
+ br i1 %cmp, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ call void @func()
+ br label %if.end
+
+if.end: ; preds = %if.then, %if.end
+ ret void
+}
+; The following checks are not strictly necessary since one of the RUN
+; lines actually runs the output through the assembler.
+; CHECK-LABEL: icmpSgeZero64
+; CHECK: test eax,0x80000000
+; CHECK-NEXT: sete
+
+define internal void @icmpSltZero64() {
+entry:
+ %cmp = icmp slt i64 123, 0
+ br i1 %cmp, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ call void @func()
+ br label %if.end
+
+if.end: ; preds = %if.then, %if.end
+ ret void
+}
+; The following checks are not strictly necessary since one of the RUN
+; lines actually runs the output through the assembler.
+; CHECK-LABEL: icmpSltZero64
+; CHECK: test eax,0x80000000
+; CHECK-NEXT: setne
+
+define internal void @icmpUltZero64() {
+entry:
+ %cmp = icmp ult i64 123, 0
+ br i1 %cmp, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ call void @func()
+ br label %if.end
+
+if.end: ; preds = %if.then, %if.end
+ ret void
+}
+; The following checks are not strictly necessary since one of the RUN
+; lines actually runs the output through the assembler.
+; CHECK-LABEL: icmpUltZero64
+; CHECK: mov [[RESULT:.*]],0x0
+; CHECK-NEXT: cmp [[RESULT]],0x0
+
+define internal void @icmpUgeZero64() {
+entry:
+ %cmp = icmp uge i64 123, 0
+ br i1 %cmp, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ call void @func()
+ br label %if.end
+
+if.end: ; preds = %if.then, %if.end
+ ret void
+}
+; The following checks are not strictly necessary since one of the RUN
+; lines actually runs the output through the assembler.
+; CHECK-LABEL: icmpUgeZero64
+; CHECK: mov [[RESULT:.*]],0x1
+; CHECK-NEXT: cmp [[RESULT]],0x0
+
+define internal void @icmpUltZero32() {
+entry:
+ %cmp = icmp ult i32 123, 0
+ br i1 %cmp, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %cmp_ext = zext i1 %cmp to i32
+ call void @use(i32 %cmp_ext)
+ br label %if.end
+
+if.end: ; preds = %if.then, %if.end
+ ret void
+}
+; The following checks are not strictly necessary since one of the RUN
+; lines actually runs the output through the assembler.
+; CHECK-LABEL: icmpUltZero32
+; CHECK: mov [[RESULT:.*]],0x0
+; CHECK-NEXT: cmp [[RESULT]],0x0
+
+define internal void @icmpUgeZero32() {
+entry:
+ %cmp = icmp uge i32 123, 0
+ br i1 %cmp, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %cmp_ext = zext i1 %cmp to i32
+ call void @use(i32 %cmp_ext)
+ br label %if.end
+
+if.end: ; preds = %if.then, %if.end
+ ret void
+}
+; The following checks are not strictly necessary since one of the RUN
+; lines actually runs the output through the assembler.
+; CHECK-LABEL: icmpUgeZero32
+; CHECK: mov [[RESULT:.*]],0x1
+; CHECK-NEXT: cmp [[RESULT]],0x0
+
+define internal void @icmpUltZero16() {
+entry:
+ %cmp = icmp ult i16 123, 0
+ br i1 %cmp, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %cmp_ext = zext i1 %cmp to i32
+ call void @use(i32 %cmp_ext)
+ br label %if.end
+
+if.end: ; preds = %if.then, %if.end
+ ret void
+}
+; The following checks are not strictly necessary since one of the RUN
+; lines actually runs the output through the assembler.
+; CHECK-LABEL: icmpUltZero16
+; CHECK: mov [[RESULT:.*]],0x0
+; CHECK-NEXT: cmp [[RESULT]],0x0
+
+define internal void @icmpUgeZero16() {
+entry:
+ %cmp = icmp uge i16 123, 0
+ br i1 %cmp, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %cmp_ext = zext i1 %cmp to i32
+ call void @use(i32 %cmp_ext)
+ br label %if.end
+
+if.end: ; preds = %if.then, %if.end
+ ret void
+}
+; The following checks are not strictly necessary since one of the RUN
+; lines actually runs the output through the assembler.
+; CHECK-LABEL: icmpUgeZero16
+; CHECK: mov [[RESULT:.*]],0x1
+; CHECK-NEXT: cmp [[RESULT]],0x0
+
+define internal void @icmpUltZero8() {
+entry:
+ %cmp = icmp ult i8 123, 0
+ br i1 %cmp, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %cmp_ext = zext i1 %cmp to i32
+ call void @use(i32 %cmp_ext)
+ br label %if.end
+
+if.end: ; preds = %if.then, %if.end
+ ret void
+}
+; The following checks are not strictly necessary since one of the RUN
+; lines actually runs the output through the assembler.
+; CHECK-LABEL: icmpUltZero8
+; CHECK: mov [[RESULT:.*]],0x0
+; CHECK-NEXT: cmp [[RESULT]],0x0
+
+define internal void @icmpUgeZero8() {
+entry:
+ %cmp = icmp uge i8 123, 0
+ br i1 %cmp, label %if.then, label %if.end
+
+if.then: ; preds = %entry
+ %cmp_ext = zext i1 %cmp to i32
+ call void @use(i32 %cmp_ext)
+ br label %if.end
+
+if.end: ; preds = %if.then, %if.end
+ ret void
+}
+; The following checks are not strictly necessary since one of the RUN
+; lines actually runs the output through the assembler.
+; CHECK-LABEL: icmpUgeZero8
+; CHECK: mov [[RESULT:.*]],0x1
+; CHECK-NEXT: cmp [[RESULT]],0x0
+
+declare void @func()
+declare void @use(i32)
« no previous file with comments | « tests_lit/assembler/x86/jump_encodings.ll ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698