From 0e1d731631ba79745fdf31b5b91001982e2286d1 Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Fri, 7 Aug 2015 21:38:53 +0000 Subject: [PATCH] tighten checks using update_llc_test_checks.py llvm-svn: 244360 --- llvm/test/CodeGen/X86/fdiv.ll | 34 +++++++++++++++++++++++----------- 1 file changed, 23 insertions(+), 11 deletions(-) diff --git a/llvm/test/CodeGen/X86/fdiv.ll b/llvm/test/CodeGen/X86/fdiv.ll index 0749682..7da5c9c 100644 --- a/llvm/test/CodeGen/X86/fdiv.ll +++ b/llvm/test/CodeGen/X86/fdiv.ll @@ -2,40 +2,52 @@ define double @exact(double %x) { ; Exact division by a constant converted to multiplication. -; CHECK: @exact -; CHECK: mulsd +; CHECK-LABEL: exact: +; CHECK: ## BB#0: +; CHECK-NEXT: mulsd {{.*}}(%rip), %xmm0 +; CHECK-NEXT: retq %div = fdiv double %x, 2.0 ret double %div } define double @inexact(double %x) { ; Inexact division by a constant converted to multiplication. -; CHECK: @inexact -; CHECK: mulsd - %div = fdiv double %x, 0x41DFFFFFFFC00000 +; CHECK-LABEL: inexact: +; CHECK: ## BB#0: +; CHECK-NEXT: mulsd {{.*}}(%rip), %xmm0 +; CHECK-NEXT: retq + %div = fdiv double %x, 0x41DFFFFFFFC00000 ret double %div } define double @funky(double %x) { ; No conversion to multiplication if too funky. -; CHECK: @funky -; CHECK: divsd +; CHECK-LABEL: funky: +; CHECK: ## BB#0: +; CHECK-NEXT: xorpd %xmm1, %xmm1 +; CHECK-NEXT: divsd %xmm1, %xmm0 +; CHECK-NEXT: retq %div = fdiv double %x, 0.0 ret double %div } define double @denormal1(double %x) { ; Don't generate multiplication by a denormal. -; CHECK: @denormal1 -; CHECK: divsd +; CHECK-LABEL: denormal1: +; CHECK: ## BB#0: +; CHECK-NEXT: divsd {{.*}}(%rip), %xmm0 +; CHECK-NEXT: retq %div = fdiv double %x, 0x7FD0000000000001 ret double %div } define double @denormal2(double %x) { ; Don't generate multiplication by a denormal. -; CHECK: @denormal -; CHECK: divsd +; CHECK-LABEL: denormal2: +; CHECK: ## BB#0: +; CHECK-NEXT: divsd {{.*}}(%rip), %xmm0 +; CHECK-NEXT: retq %div = fdiv double %x, 0x7FEFFFFFFFFFFFFF ret double %div } + -- 2.7.4