[llvm] r281523 - [x86] regenerate checks
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Wed Sep 14 12:42:03 PDT 2016
Author: spatel
Date: Wed Sep 14 14:42:03 2016
New Revision: 281523
URL: http://llvm.org/viewvc/llvm-project?rev=281523&view=rev
Log:
[x86] regenerate checks
Modified:
llvm/trunk/test/CodeGen/X86/sext-i1.ll
Modified: llvm/trunk/test/CodeGen/X86/sext-i1.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/sext-i1.ll?rev=281523&r1=281522&r2=281523&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/X86/sext-i1.ll (original)
+++ llvm/trunk/test/CodeGen/X86/sext-i1.ll Wed Sep 14 14:42:03 2016
@@ -1,96 +1,107 @@
-; RUN: llc < %s -march=x86 -disable-cgp-branch-opts | FileCheck %s -check-prefix=32
-; RUN: llc < %s -march=x86-64 -disable-cgp-branch-opts | FileCheck %s -check-prefix=64
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: llc < %s -mtriple=i386-unknown-unknown -disable-cgp-branch-opts | FileCheck %s --check-prefix=CHECK --check-prefix=X32
+; RUN: llc < %s -mtriple=x86_64-unknown-unknown -disable-cgp-branch-opts | FileCheck %s --check-prefix=CHECK --check-prefix=X64
+
; rdar://7573216
; PR6146
define i32 @t1(i32 %x) nounwind readnone ssp {
-entry:
-; 32-LABEL: t1:
-; 32: cmpl $1
-; 32: sbbl
-
-; 64-LABEL: t1:
-; 64: cmpl $1
-; 64: sbbl
- %0 = icmp eq i32 %x, 0
- %iftmp.0.0 = select i1 %0, i32 -1, i32 0
- ret i32 %iftmp.0.0
+; CHECK-LABEL: t1:
+; CHECK: # BB#0:
+; CHECK-NEXT: cmpl $1
+; CHECK-NEXT: sbbl %eax, %eax
+; CHECK-NEXT: ret
+;
+ %t0 = icmp eq i32 %x, 0
+ %if = select i1 %t0, i32 -1, i32 0
+ ret i32 %if
}
define i32 @t2(i32 %x) nounwind readnone ssp {
-entry:
-; 32-LABEL: t2:
-; 32: cmpl $1
-; 32: sbbl
-
-; 64-LABEL: t2:
-; 64: cmpl $1
-; 64: sbbl
- %0 = icmp eq i32 %x, 0
- %iftmp.0.0 = sext i1 %0 to i32
- ret i32 %iftmp.0.0
+; CHECK-LABEL: t2:
+; CHECK: # BB#0:
+; CHECK-NEXT: cmpl $1
+; CHECK-NEXT: sbbl %eax, %eax
+; CHECK-NEXT: ret
+;
+ %t0 = icmp eq i32 %x, 0
+ %if = sext i1 %t0 to i32
+ ret i32 %if
}
-%struct.zbookmark = type { i64, i64 }
-%struct.zstream = type { }
-
define i32 @t3() nounwind readonly {
+; X32-LABEL: t3:
+; X32: # BB#0: # %entry
+; X32-NEXT: cmpl $1, %eax
+; X32-NEXT: sbbl %eax, %eax
+; X32-NEXT: cmpl %eax, %eax
+; X32-NEXT: sbbl %eax, %eax
+; X32-NEXT: xorl %eax, %eax
+; X32-NEXT: retl
+;
+; X64-LABEL: t3:
+; X64: # BB#0: # %entry
+; X64-NEXT: cmpl $1, %eax
+; X64-NEXT: sbbq %rax, %rax
+; X64-NEXT: cmpq %rax, %rax
+; X64-NEXT: xorl %eax, %eax
+; X64-NEXT: retq
+;
entry:
-; 32-LABEL: t3:
-; 32: cmpl $1
-; 32: sbbl
-; 32: cmpl
-; 32: xorl
-
-; 64-LABEL: t3:
-; 64: cmpl $1
-; 64: sbbq
-; 64: cmpq
-; 64: xorl
- %not.tobool = icmp eq i32 undef, 0 ; <i1> [#uses=2]
- %cond = sext i1 %not.tobool to i32 ; <i32> [#uses=1]
- %conv = sext i1 %not.tobool to i64 ; <i64> [#uses=1]
- %add13 = add i64 0, %conv ; <i64> [#uses=1]
- %cmp = icmp ult i64 undef, %add13 ; <i1> [#uses=1]
+ %not.tobool = icmp eq i32 undef, 0
+ %cond = sext i1 %not.tobool to i32
+ %conv = sext i1 %not.tobool to i64
+ %add13 = add i64 0, %conv
+ %cmp = icmp ult i64 undef, %add13
br i1 %cmp, label %if.then, label %if.end
-if.then: ; preds = %entry
+if.then:
br label %if.end
-if.end: ; preds = %if.then, %entry
- %xor27 = xor i32 undef, %cond ; <i32> [#uses=0]
+if.end:
+ %xor27 = xor i32 undef, %cond
ret i32 0
}
define i32 @t4(i64 %x) nounwind readnone ssp {
-entry:
-; 32-LABEL: t4:
-; 32: movl
-; 32: orl
-; 32: movl
-; 32: je
-; 32: xorl
-
-; 64-LABEL: t4:
-; 64: cmpq $1
-; 64: sbbl
- %0 = icmp eq i64 %x, 0
- %1 = sext i1 %0 to i32
- ret i32 %1
+; X32-LABEL: t4:
+; X32: # BB#0:
+; X32-NEXT: movl {{[0-9]+}}(%esp), %eax
+; X32-NEXT: orl {{[0-9]+}}(%esp), %eax
+; X32-NEXT: movl $-1, %eax
+; X32-NEXT: je .LBB3_2
+; X32-NEXT: # BB#1:
+; X32-NEXT: xorl %eax, %eax
+; X32-NEXT: .LBB3_2:
+; X32-NEXT: retl
+;
+; X64-LABEL: t4:
+; X64: # BB#0:
+; X64-NEXT: cmpq $1, %rdi
+; X64-NEXT: sbbl %eax, %eax
+; X64-NEXT: retq
+;
+ %t0 = icmp eq i64 %x, 0
+ %t1 = sext i1 %t0 to i32
+ ret i32 %t1
}
define i64 @t5(i32 %x) nounwind readnone ssp {
-entry:
-; 32-LABEL: t5:
-; 32: cmpl $1
-; 32: sbbl
-; 32: movl
-
-; 64-LABEL: t5:
-; 64: cmpl $1
-; 64: sbbq
- %0 = icmp eq i32 %x, 0
- %1 = sext i1 %0 to i64
- ret i64 %1
+; X32-LABEL: t5:
+; X32: # BB#0:
+; X32-NEXT: cmpl $1, {{[0-9]+}}(%esp)
+; X32-NEXT: sbbl %eax, %eax
+; X32-NEXT: movl %eax, %edx
+; X32-NEXT: retl
+;
+; X64-LABEL: t5:
+; X64: # BB#0:
+; X64-NEXT: cmpl $1, %edi
+; X64-NEXT: sbbq %rax, %rax
+; X64-NEXT: retq
+;
+ %t0 = icmp eq i32 %x, 0
+ %t1 = sext i1 %t0 to i64
+ ret i64 %t1
}
More information about the llvm-commits
mailing list