diff options
Diffstat (limited to 'llvm/test/CodeGen/X86/fp-undef.ll')
| -rw-r--r-- | llvm/test/CodeGen/X86/fp-undef.ll | 466 |
1 files changed, 166 insertions, 300 deletions
diff --git a/llvm/test/CodeGen/X86/fp-undef.ll b/llvm/test/CodeGen/X86/fp-undef.ll index ea95a7267d0..00dca39d7c1 100644 --- a/llvm/test/CodeGen/X86/fp-undef.ll +++ b/llvm/test/CodeGen/X86/fp-undef.ll @@ -6,27 +6,19 @@ ; adding something here, you should probably add it there too. define float @fadd_undef_op0(float %x) { -; STRICT-LABEL: fadd_undef_op0: -; STRICT: # %bb.0: -; STRICT-NEXT: addss %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fadd_undef_op0: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fadd_undef_op0: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fadd float undef, %x ret float %r } define float @fadd_undef_op1(float %x) { -; STRICT-LABEL: fadd_undef_op1: -; STRICT: # %bb.0: -; STRICT-NEXT: addss %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fadd_undef_op1: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fadd_undef_op1: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fadd float %x, undef ret float %r } @@ -34,46 +26,35 @@ define float @fadd_undef_op1(float %x) { define float @fsub_undef_op0(float %x) { ; ANY-LABEL: fsub_undef_op0: ; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero ; ANY-NEXT: retq %r = fsub float undef, %x ret float %r } define float @fsub_undef_op1(float %x) { -; STRICT-LABEL: fsub_undef_op1: -; STRICT: # %bb.0: -; STRICT-NEXT: subss %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fsub_undef_op1: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fsub_undef_op1: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fsub float %x, undef ret float %r } define float @fmul_undef_op0(float %x) { -; STRICT-LABEL: fmul_undef_op0: -; STRICT: # %bb.0: -; STRICT-NEXT: mulss %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fmul_undef_op0: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fmul_undef_op0: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fmul float undef, %x ret float %r } define float @fmul_undef_op1(float %x) { -; STRICT-LABEL: fmul_undef_op1: -; STRICT: # %bb.0: -; STRICT-NEXT: mulss %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fmul_undef_op1: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fmul_undef_op1: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fmul float %x, undef ret float %r } @@ -81,20 +62,17 @@ define float @fmul_undef_op1(float %x) { define float @fdiv_undef_op0(float %x) { ; ANY-LABEL: fdiv_undef_op0: ; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero ; ANY-NEXT: retq %r = fdiv float undef, %x ret float %r } define float @fdiv_undef_op1(float %x) { -; STRICT-LABEL: fdiv_undef_op1: -; STRICT: # %bb.0: -; STRICT-NEXT: divss %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fdiv_undef_op1: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fdiv_undef_op1: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fdiv float %x, undef ret float %r } @@ -102,19 +80,17 @@ define float @fdiv_undef_op1(float %x) { define float @frem_undef_op0(float %x) { ; ANY-LABEL: frem_undef_op0: ; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero ; ANY-NEXT: retq %r = frem float undef, %x ret float %r } define float @frem_undef_op1(float %x) { -; STRICT-LABEL: frem_undef_op1: -; STRICT: # %bb.0: -; STRICT-NEXT: jmp fmodf # TAILCALL -; -; UNSAFE-LABEL: frem_undef_op1: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: frem_undef_op1: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = frem float %x, undef ret float %r } @@ -122,27 +98,19 @@ define float @frem_undef_op1(float %x) { ; Repeat all tests with fast-math-flags. Alternate 'nnan' and 'fast' for more coverage. define float @fadd_undef_op0_nnan(float %x) { -; STRICT-LABEL: fadd_undef_op0_nnan: -; STRICT: # %bb.0: -; STRICT-NEXT: addss %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fadd_undef_op0_nnan: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fadd_undef_op0_nnan: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fadd nnan float undef, %x ret float %r } define float @fadd_undef_op1_fast(float %x) { -; STRICT-LABEL: fadd_undef_op1_fast: -; STRICT: # %bb.0: -; STRICT-NEXT: addss %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fadd_undef_op1_fast: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fadd_undef_op1_fast: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fadd fast float %x, undef ret float %r } @@ -150,46 +118,35 @@ define float @fadd_undef_op1_fast(float %x) { define float @fsub_undef_op0_fast(float %x) { ; ANY-LABEL: fsub_undef_op0_fast: ; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero ; ANY-NEXT: retq %r = fsub fast float undef, %x ret float %r } define float @fsub_undef_op1_nnan(float %x) { -; STRICT-LABEL: fsub_undef_op1_nnan: -; STRICT: # %bb.0: -; STRICT-NEXT: subss %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fsub_undef_op1_nnan: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fsub_undef_op1_nnan: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fsub nnan float %x, undef ret float %r } define float @fmul_undef_op0_nnan(float %x) { -; STRICT-LABEL: fmul_undef_op0_nnan: -; STRICT: # %bb.0: -; STRICT-NEXT: mulss %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fmul_undef_op0_nnan: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fmul_undef_op0_nnan: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fmul nnan float undef, %x ret float %r } define float @fmul_undef_op1_fast(float %x) { -; STRICT-LABEL: fmul_undef_op1_fast: -; STRICT: # %bb.0: -; STRICT-NEXT: mulss %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fmul_undef_op1_fast: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fmul_undef_op1_fast: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fmul fast float %x, undef ret float %r } @@ -197,20 +154,17 @@ define float @fmul_undef_op1_fast(float %x) { define float @fdiv_undef_op0_fast(float %x) { ; ANY-LABEL: fdiv_undef_op0_fast: ; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero ; ANY-NEXT: retq %r = fdiv fast float undef, %x ret float %r } define float @fdiv_undef_op1_nnan(float %x) { -; STRICT-LABEL: fdiv_undef_op1_nnan: -; STRICT: # %bb.0: -; STRICT-NEXT: divss %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fdiv_undef_op1_nnan: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fdiv_undef_op1_nnan: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fdiv nnan float %x, undef ret float %r } @@ -218,19 +172,17 @@ define float @fdiv_undef_op1_nnan(float %x) { define float @frem_undef_op0_nnan(float %x) { ; ANY-LABEL: frem_undef_op0_nnan: ; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero ; ANY-NEXT: retq %r = frem nnan float undef, %x ret float %r } define float @frem_undef_op1_fast(float %x) { -; STRICT-LABEL: frem_undef_op1_fast: -; STRICT: # %bb.0: -; STRICT-NEXT: jmp fmodf # TAILCALL -; -; UNSAFE-LABEL: frem_undef_op1_fast: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: frem_undef_op1_fast: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = frem fast float %x, undef ret float %r } @@ -238,14 +190,10 @@ define float @frem_undef_op1_fast(float %x) { ; Constant folding - undef undef. define double @fadd_undef_undef(double %x) { -; STRICT-LABEL: fadd_undef_undef: -; STRICT: # %bb.0: -; STRICT-NEXT: addsd %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fadd_undef_undef: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fadd_undef_undef: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = fadd double undef, undef ret double %r } @@ -253,20 +201,17 @@ define double @fadd_undef_undef(double %x) { define double @fsub_undef_undef(double %x) { ; ANY-LABEL: fsub_undef_undef: ; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero ; ANY-NEXT: retq %r = fsub double undef, undef ret double %r } define double @fmul_undef_undef(double %x) { -; STRICT-LABEL: fmul_undef_undef: -; STRICT: # %bb.0: -; STRICT-NEXT: mulsd %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fmul_undef_undef: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fmul_undef_undef: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = fmul double undef, undef ret double %r } @@ -274,6 +219,7 @@ define double @fmul_undef_undef(double %x) { define double @fdiv_undef_undef(double %x) { ; ANY-LABEL: fdiv_undef_undef: ; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero ; ANY-NEXT: retq %r = fdiv double undef, undef ret double %r @@ -282,6 +228,7 @@ define double @fdiv_undef_undef(double %x) { define double @frem_undef_undef(double %x) { ; ANY-LABEL: frem_undef_undef: ; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero ; ANY-NEXT: retq %r = frem double undef, undef ret double %r @@ -290,27 +237,19 @@ define double @frem_undef_undef(double %x) { ; Constant folding. define float @fadd_undef_op0_nnan_constant(float %x) { -; STRICT-LABEL: fadd_undef_op0_nnan_constant: -; STRICT: # %bb.0: -; STRICT-NEXT: addss {{.*}}(%rip), %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fadd_undef_op0_nnan_constant: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fadd_undef_op0_nnan_constant: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fadd nnan float undef, 1.0 ret float %r } define float @fadd_undef_op1_constant(float %x) { -; STRICT-LABEL: fadd_undef_op1_constant: -; STRICT: # %bb.0: -; STRICT-NEXT: addss {{.*}}(%rip), %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fadd_undef_op1_constant: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fadd_undef_op1_constant: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fadd float 2.0, undef ret float %r } @@ -318,47 +257,35 @@ define float @fadd_undef_op1_constant(float %x) { define float @fsub_undef_op0_fast_constant(float %x) { ; ANY-LABEL: fsub_undef_op0_fast_constant: ; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero ; ANY-NEXT: retq %r = fsub fast float undef, 3.0 ret float %r } define float @fsub_undef_op1_constant(float %x) { -; STRICT-LABEL: fsub_undef_op1_constant: -; STRICT: # %bb.0: -; STRICT-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero -; STRICT-NEXT: subss %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fsub_undef_op1_constant: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fsub_undef_op1_constant: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fsub float 4.0, undef ret float %r } define float @fmul_undef_op0_nnan_constant(float %x) { -; STRICT-LABEL: fmul_undef_op0_nnan_constant: -; STRICT: # %bb.0: -; STRICT-NEXT: mulss {{.*}}(%rip), %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fmul_undef_op0_nnan_constant: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fmul_undef_op0_nnan_constant: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fmul nnan float undef, 5.0 ret float %r } define float @fmul_undef_op1_constant(float %x) { -; STRICT-LABEL: fmul_undef_op1_constant: -; STRICT: # %bb.0: -; STRICT-NEXT: mulss {{.*}}(%rip), %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fmul_undef_op1_constant: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fmul_undef_op1_constant: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fmul float 6.0, undef ret float %r } @@ -366,21 +293,17 @@ define float @fmul_undef_op1_constant(float %x) { define float @fdiv_undef_op0_fast_constant(float %x) { ; ANY-LABEL: fdiv_undef_op0_fast_constant: ; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero ; ANY-NEXT: retq %r = fdiv fast float undef, 7.0 ret float %r } define float @fdiv_undef_op1_constant(float %x) { -; STRICT-LABEL: fdiv_undef_op1_constant: -; STRICT: # %bb.0: -; STRICT-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero -; STRICT-NEXT: divss %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fdiv_undef_op1_constant: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fdiv_undef_op1_constant: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = fdiv float 8.0, undef ret float %r } @@ -388,20 +311,17 @@ define float @fdiv_undef_op1_constant(float %x) { define float @frem_undef_op0_nnan_constant(float %x) { ; ANY-LABEL: frem_undef_op0_nnan_constant: ; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero ; ANY-NEXT: retq %r = frem nnan float undef, 9.0 ret float %r } define float @frem_undef_op1_constant(float %x) { -; STRICT-LABEL: frem_undef_op1_constant: -; STRICT: # %bb.0: -; STRICT-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero -; STRICT-NEXT: jmp fmodf # TAILCALL -; -; UNSAFE-LABEL: frem_undef_op1_constant: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: frem_undef_op1_constant: +; ANY: # %bb.0: +; ANY-NEXT: movss {{.*#+}} xmm0 = mem[0],zero,zero,zero +; ANY-NEXT: retq %r = frem float 10.0, undef ret float %r } @@ -409,27 +329,19 @@ define float @frem_undef_op1_constant(float %x) { ; Constant folding - special constants: NaN. define double @fadd_undef_op0_constant_nan(double %x) { -; STRICT-LABEL: fadd_undef_op0_constant_nan: -; STRICT: # %bb.0: -; STRICT-NEXT: addsd {{.*}}(%rip), %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fadd_undef_op0_constant_nan: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fadd_undef_op0_constant_nan: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = fadd double undef, 0x7FF8000000000000 ret double %r } define double @fadd_undef_op1_fast_constant_nan(double %x) { -; STRICT-LABEL: fadd_undef_op1_fast_constant_nan: -; STRICT: # %bb.0: -; STRICT-NEXT: addsd {{.*}}(%rip), %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fadd_undef_op1_fast_constant_nan: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fadd_undef_op1_fast_constant_nan: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = fadd fast double 0xFFF0000000000001, undef ret double %r } @@ -437,47 +349,35 @@ define double @fadd_undef_op1_fast_constant_nan(double %x) { define double @fsub_undef_op0_constant_nan(double %x) { ; ANY-LABEL: fsub_undef_op0_constant_nan: ; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero ; ANY-NEXT: retq %r = fsub double undef, 0xFFF8000000000010 ret double %r } define double @fsub_undef_op1_nnan_constant_nan(double %x) { -; STRICT-LABEL: fsub_undef_op1_nnan_constant_nan: -; STRICT: # %bb.0: -; STRICT-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero -; STRICT-NEXT: subsd %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fsub_undef_op1_nnan_constant_nan: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fsub_undef_op1_nnan_constant_nan: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = fsub nnan double 0x7FF0000000000011, undef ret double %r } define double @fmul_undef_op0_constant_nan(double %x) { -; STRICT-LABEL: fmul_undef_op0_constant_nan: -; STRICT: # %bb.0: -; STRICT-NEXT: mulsd {{.*}}(%rip), %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fmul_undef_op0_constant_nan: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fmul_undef_op0_constant_nan: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = fmul double undef, 0x7FF8000000000100 ret double %r } define double @fmul_undef_op1_fast_constant_nan(double %x) { -; STRICT-LABEL: fmul_undef_op1_fast_constant_nan: -; STRICT: # %bb.0: -; STRICT-NEXT: mulsd {{.*}}(%rip), %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fmul_undef_op1_fast_constant_nan: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fmul_undef_op1_fast_constant_nan: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = fmul fast double 0xFFF0000000000101, undef ret double %r } @@ -485,21 +385,17 @@ define double @fmul_undef_op1_fast_constant_nan(double %x) { define double @fdiv_undef_op0_constant_nan(double %x) { ; ANY-LABEL: fdiv_undef_op0_constant_nan: ; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero ; ANY-NEXT: retq %r = fdiv double undef, 0xFFF8000000000110 ret double %r } define double @fdiv_undef_op1_nnan_constant_nan(double %x) { -; STRICT-LABEL: fdiv_undef_op1_nnan_constant_nan: -; STRICT: # %bb.0: -; STRICT-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero -; STRICT-NEXT: divsd %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fdiv_undef_op1_nnan_constant_nan: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fdiv_undef_op1_nnan_constant_nan: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = fdiv nnan double 0x7FF0000000000111, undef ret double %r } @@ -507,20 +403,17 @@ define double @fdiv_undef_op1_nnan_constant_nan(double %x) { define double @frem_undef_op0_constant_nan(double %x) { ; ANY-LABEL: frem_undef_op0_constant_nan: ; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero ; ANY-NEXT: retq %r = frem double undef, 0x7FF8000000001000 ret double %r } define double @frem_undef_op1_fast_constant_nan(double %x) { -; STRICT-LABEL: frem_undef_op1_fast_constant_nan: -; STRICT: # %bb.0: -; STRICT-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero -; STRICT-NEXT: jmp fmod # TAILCALL -; -; UNSAFE-LABEL: frem_undef_op1_fast_constant_nan: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: frem_undef_op1_fast_constant_nan: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = frem fast double 0xFFF0000000001001, undef ret double %r } @@ -528,27 +421,19 @@ define double @frem_undef_op1_fast_constant_nan(double %x) { ; Constant folding - special constants: Inf. define double @fadd_undef_op0_constant_inf(double %x) { -; STRICT-LABEL: fadd_undef_op0_constant_inf: -; STRICT: # %bb.0: -; STRICT-NEXT: addsd {{.*}}(%rip), %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fadd_undef_op0_constant_inf: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fadd_undef_op0_constant_inf: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = fadd double undef, 0x7FF0000000000000 ret double %r } define double @fadd_undef_op1_fast_constant_inf(double %x) { -; STRICT-LABEL: fadd_undef_op1_fast_constant_inf: -; STRICT: # %bb.0: -; STRICT-NEXT: addsd {{.*}}(%rip), %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fadd_undef_op1_fast_constant_inf: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fadd_undef_op1_fast_constant_inf: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = fadd fast double 0xFFF0000000000000, undef ret double %r } @@ -556,47 +441,35 @@ define double @fadd_undef_op1_fast_constant_inf(double %x) { define double @fsub_undef_op0_constant_inf(double %x) { ; ANY-LABEL: fsub_undef_op0_constant_inf: ; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero ; ANY-NEXT: retq %r = fsub double undef, 0xFFF0000000000000 ret double %r } define double @fsub_undef_op1_ninf_constant_inf(double %x) { -; STRICT-LABEL: fsub_undef_op1_ninf_constant_inf: -; STRICT: # %bb.0: -; STRICT-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero -; STRICT-NEXT: subsd %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fsub_undef_op1_ninf_constant_inf: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fsub_undef_op1_ninf_constant_inf: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = fsub ninf double 0x7FF0000000000000, undef ret double %r } define double @fmul_undef_op0_constant_inf(double %x) { -; STRICT-LABEL: fmul_undef_op0_constant_inf: -; STRICT: # %bb.0: -; STRICT-NEXT: mulsd {{.*}}(%rip), %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fmul_undef_op0_constant_inf: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fmul_undef_op0_constant_inf: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = fmul double undef, 0x7FF0000000000000 ret double %r } define double @fmul_undef_op1_fast_constant_inf(double %x) { -; STRICT-LABEL: fmul_undef_op1_fast_constant_inf: -; STRICT: # %bb.0: -; STRICT-NEXT: mulsd {{.*}}(%rip), %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fmul_undef_op1_fast_constant_inf: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fmul_undef_op1_fast_constant_inf: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = fmul fast double 0xFFF0000000000000, undef ret double %r } @@ -604,21 +477,17 @@ define double @fmul_undef_op1_fast_constant_inf(double %x) { define double @fdiv_undef_op0_constant_inf(double %x) { ; ANY-LABEL: fdiv_undef_op0_constant_inf: ; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero ; ANY-NEXT: retq %r = fdiv double undef, 0xFFF0000000000000 ret double %r } define double @fdiv_undef_op1_ninf_constant_inf(double %x) { -; STRICT-LABEL: fdiv_undef_op1_ninf_constant_inf: -; STRICT: # %bb.0: -; STRICT-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero -; STRICT-NEXT: divsd %xmm0, %xmm0 -; STRICT-NEXT: retq -; -; UNSAFE-LABEL: fdiv_undef_op1_ninf_constant_inf: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: fdiv_undef_op1_ninf_constant_inf: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = fdiv ninf double 0x7FF0000000000000, undef ret double %r } @@ -626,20 +495,17 @@ define double @fdiv_undef_op1_ninf_constant_inf(double %x) { define double @frem_undef_op0_constant_inf(double %x) { ; ANY-LABEL: frem_undef_op0_constant_inf: ; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero ; ANY-NEXT: retq %r = frem double undef, 0x7FF0000000000000 ret double %r } define double @frem_undef_op1_fast_constant_inf(double %x) { -; STRICT-LABEL: frem_undef_op1_fast_constant_inf: -; STRICT: # %bb.0: -; STRICT-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero -; STRICT-NEXT: jmp fmod # TAILCALL -; -; UNSAFE-LABEL: frem_undef_op1_fast_constant_inf: -; UNSAFE: # %bb.0: -; UNSAFE-NEXT: retq +; ANY-LABEL: frem_undef_op1_fast_constant_inf: +; ANY: # %bb.0: +; ANY-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero +; ANY-NEXT: retq %r = frem fast double 0xFFF0000000000000, undef ret double %r } |
