[llvm] d24c179 - [X86] Regenerate xaluo.ll with common CHECK prefix

Simon Pilgrim via llvm-commits llvm-commits at lists.llvm.org
Sat May 6 05:33:22 PDT 2023


Author: Simon Pilgrim
Date: 2023-05-06T13:33:14+01:00
New Revision: d24c1796824b88985252072c4ee8e6ea08aa0fd9

URL: https://github.com/llvm/llvm-project/commit/d24c1796824b88985252072c4ee8e6ea08aa0fd9
DIFF: https://github.com/llvm/llvm-project/commit/d24c1796824b88985252072c4ee8e6ea08aa0fd9.diff

LOG: [X86] Regenerate xaluo.ll with common CHECK prefix

Added: 
    

Modified: 
    llvm/test/CodeGen/X86/xaluo.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/CodeGen/X86/xaluo.ll b/llvm/test/CodeGen/X86/xaluo.ll
index ccdf44607c36d..261e2db1a493e 100644
--- a/llvm/test/CodeGen/X86/xaluo.ll
+++ b/llvm/test/CodeGen/X86/xaluo.ll
@@ -1,7 +1,7 @@
 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
-; RUN: llc -mtriple=x86_64-darwin-unknown < %s | FileCheck %s --check-prefix=SDAG --check-prefix=GENERIC
-; RUN: llc -mtriple=x86_64-darwin-unknown -fast-isel -fast-isel-abort=1 < %s | FileCheck %s --check-prefix=FAST
-; RUN: llc -mtriple=x86_64-darwin-unknown -mcpu=knl < %s | FileCheck %s --check-prefix=SDAG --check-prefix=KNL
+; RUN: llc -mtriple=x86_64-darwin-unknown < %s | FileCheck %s --check-prefixes=CHECK,SDAG,GENERIC
+; RUN: llc -mtriple=x86_64-darwin-unknown -fast-isel -fast-isel-abort=1 < %s | FileCheck %s --check-prefixes=CHECK,FAST
+; RUN: llc -mtriple=x86_64-darwin-unknown -mcpu=knl < %s | FileCheck %s --check-prefixes=CHECK,SDAG,KNL
 
 ;
 ; Get the actual value of the overflow bit.
@@ -550,21 +550,13 @@ define zeroext i1 @usuboi64(i64 %v1, i64 %v2, ptr %res) {
 ; Check the use of the overflow bit in combination with a select instruction.
 ;
 define i32 @saddoselecti32(i32 %v1, i32 %v2) {
-; SDAG-LABEL: saddoselecti32:
-; SDAG:       ## %bb.0:
-; SDAG-NEXT:    movl %esi, %eax
-; SDAG-NEXT:    movl %edi, %ecx
-; SDAG-NEXT:    addl %esi, %ecx
-; SDAG-NEXT:    cmovol %edi, %eax
-; SDAG-NEXT:    retq
-;
-; FAST-LABEL: saddoselecti32:
-; FAST:       ## %bb.0:
-; FAST-NEXT:    movl %esi, %eax
-; FAST-NEXT:    movl %edi, %ecx
-; FAST-NEXT:    addl %esi, %ecx
-; FAST-NEXT:    cmovol %edi, %eax
-; FAST-NEXT:    retq
+; CHECK-LABEL: saddoselecti32:
+; CHECK:       ## %bb.0:
+; CHECK-NEXT:    movl %esi, %eax
+; CHECK-NEXT:    movl %edi, %ecx
+; CHECK-NEXT:    addl %esi, %ecx
+; CHECK-NEXT:    cmovol %edi, %eax
+; CHECK-NEXT:    retq
   %t = call {i32, i1} @llvm.sadd.with.overflow.i32(i32 %v1, i32 %v2)
   %obit = extractvalue {i32, i1} %t, 1
   %ret = select i1 %obit, i32 %v1, i32 %v2
@@ -572,21 +564,13 @@ define i32 @saddoselecti32(i32 %v1, i32 %v2) {
 }
 
 define i64 @saddoselecti64(i64 %v1, i64 %v2) {
-; SDAG-LABEL: saddoselecti64:
-; SDAG:       ## %bb.0:
-; SDAG-NEXT:    movq %rsi, %rax
-; SDAG-NEXT:    movq %rdi, %rcx
-; SDAG-NEXT:    addq %rsi, %rcx
-; SDAG-NEXT:    cmovoq %rdi, %rax
-; SDAG-NEXT:    retq
-;
-; FAST-LABEL: saddoselecti64:
-; FAST:       ## %bb.0:
-; FAST-NEXT:    movq %rsi, %rax
-; FAST-NEXT:    movq %rdi, %rcx
-; FAST-NEXT:    addq %rsi, %rcx
-; FAST-NEXT:    cmovoq %rdi, %rax
-; FAST-NEXT:    retq
+; CHECK-LABEL: saddoselecti64:
+; CHECK:       ## %bb.0:
+; CHECK-NEXT:    movq %rsi, %rax
+; CHECK-NEXT:    movq %rdi, %rcx
+; CHECK-NEXT:    addq %rsi, %rcx
+; CHECK-NEXT:    cmovoq %rdi, %rax
+; CHECK-NEXT:    retq
   %t = call {i64, i1} @llvm.sadd.with.overflow.i64(i64 %v1, i64 %v2)
   %obit = extractvalue {i64, i1} %t, 1
   %ret = select i1 %obit, i64 %v1, i64 %v2
@@ -594,21 +578,13 @@ define i64 @saddoselecti64(i64 %v1, i64 %v2) {
 }
 
 define i32 @uaddoselecti32(i32 %v1, i32 %v2) {
-; SDAG-LABEL: uaddoselecti32:
-; SDAG:       ## %bb.0:
-; SDAG-NEXT:    movl %esi, %eax
-; SDAG-NEXT:    movl %edi, %ecx
-; SDAG-NEXT:    addl %esi, %ecx
-; SDAG-NEXT:    cmovbl %edi, %eax
-; SDAG-NEXT:    retq
-;
-; FAST-LABEL: uaddoselecti32:
-; FAST:       ## %bb.0:
-; FAST-NEXT:    movl %esi, %eax
-; FAST-NEXT:    movl %edi, %ecx
-; FAST-NEXT:    addl %esi, %ecx
-; FAST-NEXT:    cmovbl %edi, %eax
-; FAST-NEXT:    retq
+; CHECK-LABEL: uaddoselecti32:
+; CHECK:       ## %bb.0:
+; CHECK-NEXT:    movl %esi, %eax
+; CHECK-NEXT:    movl %edi, %ecx
+; CHECK-NEXT:    addl %esi, %ecx
+; CHECK-NEXT:    cmovbl %edi, %eax
+; CHECK-NEXT:    retq
   %t = call {i32, i1} @llvm.uadd.with.overflow.i32(i32 %v1, i32 %v2)
   %obit = extractvalue {i32, i1} %t, 1
   %ret = select i1 %obit, i32 %v1, i32 %v2
@@ -616,21 +592,13 @@ define i32 @uaddoselecti32(i32 %v1, i32 %v2) {
 }
 
 define i64 @uaddoselecti64(i64 %v1, i64 %v2) {
-; SDAG-LABEL: uaddoselecti64:
-; SDAG:       ## %bb.0:
-; SDAG-NEXT:    movq %rsi, %rax
-; SDAG-NEXT:    movq %rdi, %rcx
-; SDAG-NEXT:    addq %rsi, %rcx
-; SDAG-NEXT:    cmovbq %rdi, %rax
-; SDAG-NEXT:    retq
-;
-; FAST-LABEL: uaddoselecti64:
-; FAST:       ## %bb.0:
-; FAST-NEXT:    movq %rsi, %rax
-; FAST-NEXT:    movq %rdi, %rcx
-; FAST-NEXT:    addq %rsi, %rcx
-; FAST-NEXT:    cmovbq %rdi, %rax
-; FAST-NEXT:    retq
+; CHECK-LABEL: uaddoselecti64:
+; CHECK:       ## %bb.0:
+; CHECK-NEXT:    movq %rsi, %rax
+; CHECK-NEXT:    movq %rdi, %rcx
+; CHECK-NEXT:    addq %rsi, %rcx
+; CHECK-NEXT:    cmovbq %rdi, %rax
+; CHECK-NEXT:    retq
   %t = call {i64, i1} @llvm.uadd.with.overflow.i64(i64 %v1, i64 %v2)
   %obit = extractvalue {i64, i1} %t, 1
   %ret = select i1 %obit, i64 %v1, i64 %v2
@@ -638,19 +606,12 @@ define i64 @uaddoselecti64(i64 %v1, i64 %v2) {
 }
 
 define i32 @ssuboselecti32(i32 %v1, i32 %v2) {
-; SDAG-LABEL: ssuboselecti32:
-; SDAG:       ## %bb.0:
-; SDAG-NEXT:    movl %esi, %eax
-; SDAG-NEXT:    cmpl %esi, %edi
-; SDAG-NEXT:    cmovol %edi, %eax
-; SDAG-NEXT:    retq
-;
-; FAST-LABEL: ssuboselecti32:
-; FAST:       ## %bb.0:
-; FAST-NEXT:    movl %esi, %eax
-; FAST-NEXT:    cmpl %esi, %edi
-; FAST-NEXT:    cmovol %edi, %eax
-; FAST-NEXT:    retq
+; CHECK-LABEL: ssuboselecti32:
+; CHECK:       ## %bb.0:
+; CHECK-NEXT:    movl %esi, %eax
+; CHECK-NEXT:    cmpl %esi, %edi
+; CHECK-NEXT:    cmovol %edi, %eax
+; CHECK-NEXT:    retq
   %t = call {i32, i1} @llvm.ssub.with.overflow.i32(i32 %v1, i32 %v2)
   %obit = extractvalue {i32, i1} %t, 1
   %ret = select i1 %obit, i32 %v1, i32 %v2
@@ -658,19 +619,12 @@ define i32 @ssuboselecti32(i32 %v1, i32 %v2) {
 }
 
 define i64 @ssuboselecti64(i64 %v1, i64 %v2) {
-; SDAG-LABEL: ssuboselecti64:
-; SDAG:       ## %bb.0:
-; SDAG-NEXT:    movq %rsi, %rax
-; SDAG-NEXT:    cmpq %rsi, %rdi
-; SDAG-NEXT:    cmovoq %rdi, %rax
-; SDAG-NEXT:    retq
-;
-; FAST-LABEL: ssuboselecti64:
-; FAST:       ## %bb.0:
-; FAST-NEXT:    movq %rsi, %rax
-; FAST-NEXT:    cmpq %rsi, %rdi
-; FAST-NEXT:    cmovoq %rdi, %rax
-; FAST-NEXT:    retq
+; CHECK-LABEL: ssuboselecti64:
+; CHECK:       ## %bb.0:
+; CHECK-NEXT:    movq %rsi, %rax
+; CHECK-NEXT:    cmpq %rsi, %rdi
+; CHECK-NEXT:    cmovoq %rdi, %rax
+; CHECK-NEXT:    retq
   %t = call {i64, i1} @llvm.ssub.with.overflow.i64(i64 %v1, i64 %v2)
   %obit = extractvalue {i64, i1} %t, 1
   %ret = select i1 %obit, i64 %v1, i64 %v2
@@ -678,19 +632,12 @@ define i64 @ssuboselecti64(i64 %v1, i64 %v2) {
 }
 
 define i32 @usuboselecti32(i32 %v1, i32 %v2) {
-; SDAG-LABEL: usuboselecti32:
-; SDAG:       ## %bb.0:
-; SDAG-NEXT:    movl %esi, %eax
-; SDAG-NEXT:    cmpl %esi, %edi
-; SDAG-NEXT:    cmovbl %edi, %eax
-; SDAG-NEXT:    retq
-;
-; FAST-LABEL: usuboselecti32:
-; FAST:       ## %bb.0:
-; FAST-NEXT:    movl %esi, %eax
-; FAST-NEXT:    cmpl %esi, %edi
-; FAST-NEXT:    cmovbl %edi, %eax
-; FAST-NEXT:    retq
+; CHECK-LABEL: usuboselecti32:
+; CHECK:       ## %bb.0:
+; CHECK-NEXT:    movl %esi, %eax
+; CHECK-NEXT:    cmpl %esi, %edi
+; CHECK-NEXT:    cmovbl %edi, %eax
+; CHECK-NEXT:    retq
   %t = call {i32, i1} @llvm.usub.with.overflow.i32(i32 %v1, i32 %v2)
   %obit = extractvalue {i32, i1} %t, 1
   %ret = select i1 %obit, i32 %v1, i32 %v2
@@ -698,19 +645,12 @@ define i32 @usuboselecti32(i32 %v1, i32 %v2) {
 }
 
 define i64 @usuboselecti64(i64 %v1, i64 %v2) {
-; SDAG-LABEL: usuboselecti64:
-; SDAG:       ## %bb.0:
-; SDAG-NEXT:    movq %rsi, %rax
-; SDAG-NEXT:    cmpq %rsi, %rdi
-; SDAG-NEXT:    cmovbq %rdi, %rax
-; SDAG-NEXT:    retq
-;
-; FAST-LABEL: usuboselecti64:
-; FAST:       ## %bb.0:
-; FAST-NEXT:    movq %rsi, %rax
-; FAST-NEXT:    cmpq %rsi, %rdi
-; FAST-NEXT:    cmovbq %rdi, %rax
-; FAST-NEXT:    retq
+; CHECK-LABEL: usuboselecti64:
+; CHECK:       ## %bb.0:
+; CHECK-NEXT:    movq %rsi, %rax
+; CHECK-NEXT:    cmpq %rsi, %rdi
+; CHECK-NEXT:    cmovbq %rdi, %rax
+; CHECK-NEXT:    retq
   %t = call {i64, i1} @llvm.usub.with.overflow.i64(i64 %v1, i64 %v2)
   %obit = extractvalue {i64, i1} %t, 1
   %ret = select i1 %obit, i64 %v1, i64 %v2
@@ -1025,21 +965,13 @@ continue:
 }
 
 define {i64, i1} @uaddoovf(i64 %a, i64 %b) {
-; SDAG-LABEL: uaddoovf:
-; SDAG:       ## %bb.0:
-; SDAG-NEXT:    movzbl %dil, %ecx
-; SDAG-NEXT:    movzbl %sil, %eax
-; SDAG-NEXT:    addq %rcx, %rax
-; SDAG-NEXT:    xorl %edx, %edx
-; SDAG-NEXT:    retq
-;
-; FAST-LABEL: uaddoovf:
-; FAST:       ## %bb.0:
-; FAST-NEXT:    movzbl %dil, %ecx
-; FAST-NEXT:    movzbl %sil, %eax
-; FAST-NEXT:    addq %rcx, %rax
-; FAST-NEXT:    xorl %edx, %edx
-; FAST-NEXT:    retq
+; CHECK-LABEL: uaddoovf:
+; CHECK:       ## %bb.0:
+; CHECK-NEXT:    movzbl %dil, %ecx
+; CHECK-NEXT:    movzbl %sil, %eax
+; CHECK-NEXT:    addq %rcx, %rax
+; CHECK-NEXT:    xorl %edx, %edx
+; CHECK-NEXT:    retq
   %1 = and i64 %a, 255
   %2 = and i64 %b, 255
   %t = call {i64, i1} @llvm.uadd.with.overflow.i64(i64 %1, i64 %2)
@@ -1047,19 +979,12 @@ define {i64, i1} @uaddoovf(i64 %a, i64 %b) {
 }
 
 define {i64, i1} @usuboovf(i64 %a, i64 %b) {
-; SDAG-LABEL: usuboovf:
-; SDAG:       ## %bb.0:
-; SDAG-NEXT:    movq %rsi, %rax
-; SDAG-NEXT:    notq %rax
-; SDAG-NEXT:    xorl %edx, %edx
-; SDAG-NEXT:    retq
-;
-; FAST-LABEL: usuboovf:
-; FAST:       ## %bb.0:
-; FAST-NEXT:    movq %rsi, %rax
-; FAST-NEXT:    notq %rax
-; FAST-NEXT:    xorl %edx, %edx
-; FAST-NEXT:    retq
+; CHECK-LABEL: usuboovf:
+; CHECK:       ## %bb.0:
+; CHECK-NEXT:    movq %rsi, %rax
+; CHECK-NEXT:    notq %rax
+; CHECK-NEXT:    xorl %edx, %edx
+; CHECK-NEXT:    retq
   %t0 = call {i64, i1} @llvm.usub.with.overflow.i64(i64 %a, i64 %a)
   %v0 = extractvalue {i64, i1} %t0, 0
   %o0 = extractvalue {i64, i1} %t0, 1
@@ -1077,23 +1002,14 @@ define {i64, i1} @usuboovf(i64 %a, i64 %b) {
 
 ; Make sure we select an INC for both the data use and the flag use.
 define i32 @incovfselectstore(i32 %v1, i32 %v2, ptr %x) {
-; SDAG-LABEL: incovfselectstore:
-; SDAG:       ## %bb.0:
-; SDAG-NEXT:    movl %esi, %eax
-; SDAG-NEXT:    movl %edi, %ecx
-; SDAG-NEXT:    incl %ecx
-; SDAG-NEXT:    cmovol %edi, %eax
-; SDAG-NEXT:    movl %ecx, (%rdx)
-; SDAG-NEXT:    retq
-;
-; FAST-LABEL: incovfselectstore:
-; FAST:       ## %bb.0:
-; FAST-NEXT:    movl %esi, %eax
-; FAST-NEXT:    movl %edi, %ecx
-; FAST-NEXT:    incl %ecx
-; FAST-NEXT:    cmovol %edi, %eax
-; FAST-NEXT:    movl %ecx, (%rdx)
-; FAST-NEXT:    retq
+; CHECK-LABEL: incovfselectstore:
+; CHECK:       ## %bb.0:
+; CHECK-NEXT:    movl %esi, %eax
+; CHECK-NEXT:    movl %edi, %ecx
+; CHECK-NEXT:    incl %ecx
+; CHECK-NEXT:    cmovol %edi, %eax
+; CHECK-NEXT:    movl %ecx, (%rdx)
+; CHECK-NEXT:    retq
   %t = call {i32, i1} @llvm.sadd.with.overflow.i32(i32 %v1, i32 1)
   %obit = extractvalue {i32, i1} %t, 1
   %ret = select i1 %obit, i32 %v1, i32 %v2


        


More information about the llvm-commits mailing list