From 2bd18ec173431f18a752bf1128037dd6bed28da4 Mon Sep 17 00:00:00 2001 From: Simon Pilgrim Date: Fri, 18 Aug 2017 21:21:14 +0000 Subject: [PATCH] [X86][ADX] Regenerate ADX intrinsics tests git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@311198 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/CodeGen/X86/adx-intrinsics.ll | 151 ++++++++++++++++++++++++++----------- 1 file changed, 106 insertions(+), 45 deletions(-) diff --git a/test/CodeGen/X86/adx-intrinsics.ll b/test/CodeGen/X86/adx-intrinsics.ll index 819a5df14e6..7af15a73a4f 100644 --- a/test/CodeGen/X86/adx-intrinsics.ll +++ b/test/CodeGen/X86/adx-intrinsics.ll @@ -1,14 +1,25 @@ -; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=corei7 --show-mc-encoding| FileCheck %s --check-prefix=NOADX --check-prefix=CHECK -; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=broadwell --show-mc-encoding| FileCheck %s --check-prefix=ADX --check-prefix=CHECK +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=corei7 --show-mc-encoding | FileCheck %s --check-prefix=CHECK --check-prefix=NOADX +; RUN: llc < %s -mtriple=x86_64-apple-darwin -mcpu=broadwell --show-mc-encoding | FileCheck %s --check-prefix=CHECK --check-prefix=ADX declare i8 @llvm.x86.addcarryx.u32(i8, i32, i32, i8*) define i8 @test_addcarryx_u32(i8 %c, i32 %a, i32 %b, i8* %ptr) { -; CHECK-LABEL: test_addcarryx_u32 -; CHECK: addb -; ADX: adcxl -; CHECK: setb -; CHECK: retq +; NOADX-LABEL: test_addcarryx_u32: +; NOADX: ## BB#0: +; NOADX-NEXT: addb $-1, %dil ## encoding: [0x40,0x80,0xc7,0xff] +; NOADX-NEXT: adcl %edx, %esi ## encoding: [0x11,0xd6] +; NOADX-NEXT: movl %esi, (%rcx) ## encoding: [0x89,0x31] +; NOADX-NEXT: setb %al ## encoding: [0x0f,0x92,0xc0] +; NOADX-NEXT: retq ## encoding: [0xc3] +; +; ADX-LABEL: test_addcarryx_u32: +; ADX: ## BB#0: +; ADX-NEXT: addb $-1, %dil ## encoding: [0x40,0x80,0xc7,0xff] +; ADX-NEXT: adcxl %edx, %esi ## encoding: [0x66,0x0f,0x38,0xf6,0xf2] +; ADX-NEXT: movl %esi, (%rcx) ## encoding: [0x89,0x31] +; ADX-NEXT: setb %al ## encoding: [0x0f,0x92,0xc0] +; ADX-NEXT: retq ## encoding: [0xc3] %ret = tail call i8 @llvm.x86.addcarryx.u32(i8 %c, i32 %a, i32 %b, i8* %ptr) ret i8 %ret; } @@ -16,11 +27,21 @@ define i8 @test_addcarryx_u32(i8 %c, i32 %a, i32 %b, i8* %ptr) { declare i8 @llvm.x86.addcarryx.u64(i8, i64, i64, i8*) define i8 @test_addcarryx_u64(i8 %c, i64 %a, i64 %b, i8* %ptr) { -; CHECK-LABEL: test_addcarryx_u64 -; CHECK: addb -; ADX: adcxq -; CHECK: setb -; CHECK: retq +; NOADX-LABEL: test_addcarryx_u64: +; NOADX: ## BB#0: +; NOADX-NEXT: addb $-1, %dil ## encoding: [0x40,0x80,0xc7,0xff] +; NOADX-NEXT: adcq %rdx, %rsi ## encoding: [0x48,0x11,0xd6] +; NOADX-NEXT: movq %rsi, (%rcx) ## encoding: [0x48,0x89,0x31] +; NOADX-NEXT: setb %al ## encoding: [0x0f,0x92,0xc0] +; NOADX-NEXT: retq ## encoding: [0xc3] +; +; ADX-LABEL: test_addcarryx_u64: +; ADX: ## BB#0: +; ADX-NEXT: addb $-1, %dil ## encoding: [0x40,0x80,0xc7,0xff] +; ADX-NEXT: adcxq %rdx, %rsi ## encoding: [0x66,0x48,0x0f,0x38,0xf6,0xf2] +; ADX-NEXT: movq %rsi, (%rcx) ## encoding: [0x48,0x89,0x31] +; ADX-NEXT: setb %al ## encoding: [0x0f,0x92,0xc0] +; ADX-NEXT: retq ## encoding: [0xc3] %ret = tail call i8 @llvm.x86.addcarryx.u64(i8 %c, i64 %a, i64 %b, i8* %ptr) ret i8 %ret; } @@ -28,12 +49,21 @@ define i8 @test_addcarryx_u64(i8 %c, i64 %a, i64 %b, i8* %ptr) { declare i8 @llvm.x86.addcarry.u32(i8, i32, i32, i8*) define i8 @test_addcarry_u32(i8 %c, i32 %a, i32 %b, i8* %ptr) { -; CHECK-LABEL: test_addcarry_u32 -; CHECK: addb -; ADX: adcxl -; NOADX: adcl -; CHECK: setb -; CHECK: retq +; NOADX-LABEL: test_addcarry_u32: +; NOADX: ## BB#0: +; NOADX-NEXT: addb $-1, %dil ## encoding: [0x40,0x80,0xc7,0xff] +; NOADX-NEXT: adcl %edx, %esi ## encoding: [0x11,0xd6] +; NOADX-NEXT: movl %esi, (%rcx) ## encoding: [0x89,0x31] +; NOADX-NEXT: setb %al ## encoding: [0x0f,0x92,0xc0] +; NOADX-NEXT: retq ## encoding: [0xc3] +; +; ADX-LABEL: test_addcarry_u32: +; ADX: ## BB#0: +; ADX-NEXT: addb $-1, %dil ## encoding: [0x40,0x80,0xc7,0xff] +; ADX-NEXT: adcxl %edx, %esi ## encoding: [0x66,0x0f,0x38,0xf6,0xf2] +; ADX-NEXT: movl %esi, (%rcx) ## encoding: [0x89,0x31] +; ADX-NEXT: setb %al ## encoding: [0x0f,0x92,0xc0] +; ADX-NEXT: retq ## encoding: [0xc3] %ret = tail call i8 @llvm.x86.addcarry.u32(i8 %c, i32 %a, i32 %b, i8* %ptr) ret i8 %ret; } @@ -41,12 +71,21 @@ define i8 @test_addcarry_u32(i8 %c, i32 %a, i32 %b, i8* %ptr) { declare i8 @llvm.x86.addcarry.u64(i8, i64, i64, i8*) define i8 @test_addcarry_u64(i8 %c, i64 %a, i64 %b, i8* %ptr) { -; CHECK-LABEL: test_addcarry_u64 -; CHECK: addb -; ADX: adcxq -; NOADX: adcq -; CHECK: setb -; CHECK: retq +; NOADX-LABEL: test_addcarry_u64: +; NOADX: ## BB#0: +; NOADX-NEXT: addb $-1, %dil ## encoding: [0x40,0x80,0xc7,0xff] +; NOADX-NEXT: adcq %rdx, %rsi ## encoding: [0x48,0x11,0xd6] +; NOADX-NEXT: movq %rsi, (%rcx) ## encoding: [0x48,0x89,0x31] +; NOADX-NEXT: setb %al ## encoding: [0x0f,0x92,0xc0] +; NOADX-NEXT: retq ## encoding: [0xc3] +; +; ADX-LABEL: test_addcarry_u64: +; ADX: ## BB#0: +; ADX-NEXT: addb $-1, %dil ## encoding: [0x40,0x80,0xc7,0xff] +; ADX-NEXT: adcxq %rdx, %rsi ## encoding: [0x66,0x48,0x0f,0x38,0xf6,0xf2] +; ADX-NEXT: movq %rsi, (%rcx) ## encoding: [0x48,0x89,0x31] +; ADX-NEXT: setb %al ## encoding: [0x0f,0x92,0xc0] +; ADX-NEXT: retq ## encoding: [0xc3] %ret = tail call i8 @llvm.x86.addcarry.u64(i8 %c, i64 %a, i64 %b, i8* %ptr) ret i8 %ret; } @@ -54,11 +93,13 @@ define i8 @test_addcarry_u64(i8 %c, i64 %a, i64 %b, i8* %ptr) { declare i8 @llvm.x86.subborrow.u32(i8, i32, i32, i8*) define i8 @test_subborrow_u32(i8 %c, i32 %a, i32 %b, i8* %ptr) { -; CHECK-LABEL: test_subborrow_u32 -; CHECK: addb -; CHECK: sbbl -; CHECK: setb -; CHECK: retq +; CHECK-LABEL: test_subborrow_u32: +; CHECK: ## BB#0: +; CHECK-NEXT: addb $-1, %dil ## encoding: [0x40,0x80,0xc7,0xff] +; CHECK-NEXT: sbbl %edx, %esi ## encoding: [0x19,0xd6] +; CHECK-NEXT: movl %esi, (%rcx) ## encoding: [0x89,0x31] +; CHECK-NEXT: setb %al ## encoding: [0x0f,0x92,0xc0] +; CHECK-NEXT: retq ## encoding: [0xc3] %ret = tail call i8 @llvm.x86.subborrow.u32(i8 %c, i32 %a, i32 %b, i8* %ptr) ret i8 %ret; } @@ -66,22 +107,40 @@ define i8 @test_subborrow_u32(i8 %c, i32 %a, i32 %b, i8* %ptr) { declare i8 @llvm.x86.subborrow.u64(i8, i64, i64, i8*) define i8 @test_subborrow_u64(i8 %c, i64 %a, i64 %b, i8* %ptr) { -; CHECK-LABEL: test_subborrow_u64 -; CHECK: addb -; CHECK: sbbq -; CHECK: setb -; CHECK: retq +; CHECK-LABEL: test_subborrow_u64: +; CHECK: ## BB#0: +; CHECK-NEXT: addb $-1, %dil ## encoding: [0x40,0x80,0xc7,0xff] +; CHECK-NEXT: sbbq %rdx, %rsi ## encoding: [0x48,0x19,0xd6] +; CHECK-NEXT: movq %rsi, (%rcx) ## encoding: [0x48,0x89,0x31] +; CHECK-NEXT: setb %al ## encoding: [0x0f,0x92,0xc0] +; CHECK-NEXT: retq ## encoding: [0xc3] %ret = tail call i8 @llvm.x86.subborrow.u64(i8 %c, i64 %a, i64 %b, i8* %ptr) ret i8 %ret; } ; Try a version with loads. Previously we crashed on this. define i32 @load_crash(i64* nocapture readonly %a, i64* nocapture readonly %b, i64* %res) { -; CHECK-LABEL: load_crash -; CHECK: addb -; ADX: adcxq -; CHECK: setb -; CHECK: retq +; NOADX-LABEL: load_crash: +; NOADX: ## BB#0: +; NOADX-NEXT: movq (%rdi), %rax ## encoding: [0x48,0x8b,0x07] +; NOADX-NEXT: xorl %ecx, %ecx ## encoding: [0x31,0xc9] +; NOADX-NEXT: addb $-1, %cl ## encoding: [0x80,0xc1,0xff] +; NOADX-NEXT: adcq (%rsi), %rax ## encoding: [0x48,0x13,0x06] +; NOADX-NEXT: movq %rax, (%rdx) ## encoding: [0x48,0x89,0x02] +; NOADX-NEXT: setb %al ## encoding: [0x0f,0x92,0xc0] +; NOADX-NEXT: movzbl %al, %eax ## encoding: [0x0f,0xb6,0xc0] +; NOADX-NEXT: retq ## encoding: [0xc3] +; +; ADX-LABEL: load_crash: +; ADX: ## BB#0: +; ADX-NEXT: movq (%rdi), %rax ## encoding: [0x48,0x8b,0x07] +; ADX-NEXT: xorl %ecx, %ecx ## encoding: [0x31,0xc9] +; ADX-NEXT: addb $-1, %cl ## encoding: [0x80,0xc1,0xff] +; ADX-NEXT: adcxq (%rsi), %rax ## encoding: [0x66,0x48,0x0f,0x38,0xf6,0x06] +; ADX-NEXT: movq %rax, (%rdx) ## encoding: [0x48,0x89,0x02] +; ADX-NEXT: setb %al ## encoding: [0x0f,0x92,0xc0] +; ADX-NEXT: movzbl %al, %eax ## encoding: [0x0f,0xb6,0xc0] +; ADX-NEXT: retq ## encoding: [0xc3] %1 = load i64, i64* %a, align 8 %2 = load i64, i64* %b, align 8 %3 = bitcast i64* %res to i8* @@ -92,12 +151,14 @@ define i32 @load_crash(i64* nocapture readonly %a, i64* nocapture readonly %b, i ; Try a really simple all zero input case, which also used to crash define void @allzeros() { -; CHECK-LABEL: allzeros -; CHECK: xorl -; CHECK: addb -; CHECK: sbbq -; CHECK: andl -; CHECK: retq +; CHECK-LABEL: allzeros: +; CHECK: ## BB#0: ## %entry +; CHECK-NEXT: xorl %eax, %eax ## encoding: [0x31,0xc0] +; CHECK-NEXT: addb $-1, %al ## encoding: [0x04,0xff] +; CHECK-NEXT: sbbq %rax, %rax ## encoding: [0x48,0x19,0xc0] +; CHECK-NEXT: andl $1, %eax ## encoding: [0x83,0xe0,0x01] +; CHECK-NEXT: movq %rax, 0 ## encoding: [0x48,0x89,0x04,0x25,0x00,0x00,0x00,0x00] +; CHECK-NEXT: retq ## encoding: [0xc3] entry: %0 = tail call i8 @llvm.x86.addcarryx.u64(i8 0, i64 0, i64 0, i8* null) ret void -- 2.11.0