From 24b087fbba669497350149ab7de62bfc72104674 Mon Sep 17 00:00:00 2001 From: Craig Topper Date: Thu, 15 Feb 2018 19:00:11 +0000 Subject: [PATCH] [X86] Add test cases for opportunities for using BT instead of TEST under optsize. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@325277 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/CodeGen/X86/test-vs-bittest.ll | 372 ++++++++++++++++++++++++++++++++++++ 1 file changed, 372 insertions(+) create mode 100644 test/CodeGen/X86/test-vs-bittest.ll diff --git a/test/CodeGen/X86/test-vs-bittest.ll b/test/CodeGen/X86/test-vs-bittest.ll new file mode 100644 index 00000000000..999c2224c4d --- /dev/null +++ b/test/CodeGen/X86/test-vs-bittest.ll @@ -0,0 +1,372 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s + +define void @test64(i64 inreg %x) { +; CHECK-LABEL: test64: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: btl $11, %edi +; CHECK-NEXT: jb .LBB0_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB0_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i64 %x, 2048 + %s = icmp eq i64 %t, 0 + br i1 %s, label %yes, label %no + +yes: + call void @bar() + ret void +no: + ret void +} + +define void @test64_optsize(i64 inreg %x) optsize { +; CHECK-LABEL: test64_optsize: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: btl $11, %edi +; CHECK-NEXT: jb .LBB1_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB1_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i64 %x, 2048 + %s = icmp eq i64 %t, 0 + br i1 %s, label %yes, label %no + +yes: + call void @bar() + ret void +no: + ret void +} + +define void @test64_2(i64 inreg %x) { +; CHECK-LABEL: test64_2: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: testl $2048, %edi # imm = 0x800 +; CHECK-NEXT: je .LBB2_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB2_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i64 %x, 2048 + %s = icmp eq i64 %t, 0 + br i1 %s, label %no, label %yes + +yes: + call void @bar() + ret void +no: + ret void +} + +define void @test64_optsize_2(i64 inreg %x) optsize { +; CHECK-LABEL: test64_optsize_2: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: testl $2048, %edi # imm = 0x800 +; CHECK-NEXT: je .LBB3_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB3_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i64 %x, 2048 + %s = icmp eq i64 %t, 0 + br i1 %s, label %no, label %yes + +yes: + call void @bar() + ret void +no: + ret void +} + +define void @test64_3(i64 inreg %x) { +; CHECK-LABEL: test64_3: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: btq $32, %rdi +; CHECK-NEXT: jb .LBB4_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB4_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i64 %x, 4294967296 + %s = icmp eq i64 %t, 0 + br i1 %s, label %yes, label %no + +yes: + call void @bar() + ret void +no: + ret void +} + +define void @test64_optsize_3(i64 inreg %x) optsize { +; CHECK-LABEL: test64_optsize_3: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: btq $32, %rdi +; CHECK-NEXT: jb .LBB5_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB5_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i64 %x, 4294967296 + %s = icmp eq i64 %t, 0 + br i1 %s, label %yes, label %no + +yes: + call void @bar() + ret void +no: + ret void +} + +define void @test64_4(i64 inreg %x) { +; CHECK-LABEL: test64_4: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: btq $32, %rdi +; CHECK-NEXT: jae .LBB6_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB6_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i64 %x, 4294967296 + %s = icmp eq i64 %t, 0 + br i1 %s, label %no, label %yes + +yes: + call void @bar() + ret void +no: + ret void +} + +define void @test64_optsize_4(i64 inreg %x) optsize { +; CHECK-LABEL: test64_optsize_4: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: btq $32, %rdi +; CHECK-NEXT: jae .LBB7_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB7_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i64 %x, 4294967296 + %s = icmp eq i64 %t, 0 + br i1 %s, label %no, label %yes + +yes: + call void @bar() + ret void +no: + ret void +} + +define void @test32(i32 inreg %x) { +; CHECK-LABEL: test32: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: btl $11, %edi +; CHECK-NEXT: jb .LBB8_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB8_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i32 %x, 2048 + %s = icmp eq i32 %t, 0 + br i1 %s, label %yes, label %no + +yes: + call void @bar() + ret void +no: + ret void +} + +define void @test32_optsize(i32 inreg %x) optsize { +; CHECK-LABEL: test32_optsize: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: btl $11, %edi +; CHECK-NEXT: jb .LBB9_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB9_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i32 %x, 2048 + %s = icmp eq i32 %t, 0 + br i1 %s, label %yes, label %no + +yes: + call void @bar() + ret void +no: + ret void +} + +define void @test32_2(i32 inreg %x) { +; CHECK-LABEL: test32_2: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: testl $2048, %edi # imm = 0x800 +; CHECK-NEXT: je .LBB10_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB10_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i32 %x, 2048 + %s = icmp eq i32 %t, 0 + br i1 %s, label %no, label %yes + +yes: + call void @bar() + ret void +no: + ret void +} + +define void @test32_optsize_2(i32 inreg %x) optsize { +; CHECK-LABEL: test32_optsize_2: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: testl $2048, %edi # imm = 0x800 +; CHECK-NEXT: je .LBB11_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB11_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i32 %x, 2048 + %s = icmp eq i32 %t, 0 + br i1 %s, label %no, label %yes + +yes: + call void @bar() + ret void +no: + ret void +} + +define void @test16(i16 inreg %x) { +; CHECK-LABEL: test16: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: btl $11, %edi +; CHECK-NEXT: jb .LBB12_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB12_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i16 %x, 2048 + %s = icmp eq i16 %t, 0 + br i1 %s, label %yes, label %no + +yes: + call void @bar() + ret void +no: + ret void +} + +define void @test16_optsize(i16 inreg %x) optsize { +; CHECK-LABEL: test16_optsize: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: btl $11, %edi +; CHECK-NEXT: jb .LBB13_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB13_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i16 %x, 2048 + %s = icmp eq i16 %t, 0 + br i1 %s, label %yes, label %no + +yes: + call void @bar() + ret void +no: + ret void +} + +define void @test16_2(i16 inreg %x) { +; CHECK-LABEL: test16_2: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: testl $2048, %edi # imm = 0x800 +; CHECK-NEXT: je .LBB14_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB14_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i16 %x, 2048 + %s = icmp eq i16 %t, 0 + br i1 %s, label %no, label %yes + +yes: + call void @bar() + ret void +no: + ret void +} + +define void @test16_optsize_2(i16 inreg %x) optsize { +; CHECK-LABEL: test16_optsize_2: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rax +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: testl $2048, %edi # imm = 0x800 +; CHECK-NEXT: je .LBB15_2 +; CHECK-NEXT: # %bb.1: # %yes +; CHECK-NEXT: callq bar +; CHECK-NEXT: .LBB15_2: # %no +; CHECK-NEXT: popq %rax +; CHECK-NEXT: retq + %t = and i16 %x, 2048 + %s = icmp eq i16 %t, 0 + br i1 %s, label %no, label %yes + +yes: + call void @bar() + ret void +no: + ret void +} + +declare void @bar() -- 2.11.0