| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt < %s -passes=instsimplify -S | FileCheck %s |
| |
| ; Default NaN constant |
| |
| define double @fadd_nan_op0(double %x) { |
| ; CHECK-LABEL: @fadd_nan_op0( |
| ; CHECK-NEXT: ret double 0x7FF8000000000000 |
| ; |
| %r = fadd double 0x7FF8000000000000, %x |
| ret double %r |
| } |
| |
| ; Sign bit is set |
| |
| define double @fadd_nan_op1(double %x) { |
| ; CHECK-LABEL: @fadd_nan_op1( |
| ; CHECK-NEXT: ret double 0xFFF8000000000000 |
| ; |
| %r = fadd double %x, 0xFFF8000000000000 |
| ret double %r |
| } |
| |
| ; Non-zero payload |
| |
| define float @fsub_nan_op0(float %x) { |
| ; CHECK-LABEL: @fsub_nan_op0( |
| ; CHECK-NEXT: ret float 0x7FFFFF0000000000 |
| ; |
| %r = fsub float 0x7FFFFF0000000000, %x |
| ret float %r |
| } |
| |
| ; Signaling - make quiet and preserve the payload and signbit |
| |
| define float @fsub_nan_op1(float %x) { |
| ; CHECK-LABEL: @fsub_nan_op1( |
| ; CHECK-NEXT: ret float 0x7FF9000000000000 |
| ; |
| %r = fsub float %x, 0x7FF1000000000000 |
| ret float %r |
| } |
| |
| define <2 x float> @fsub_nan_op1_vec(<2 x float> %x) { |
| ; CHECK-LABEL: @fsub_nan_op1_vec( |
| ; CHECK-NEXT: ret <2 x float> <float 0x7FF9000000000000, float 0xFFF9000000000000> |
| ; |
| %r = fsub <2 x float> %x, <float 0x7FF1000000000000, float 0xFFF1000000000000> |
| ret <2 x float> %r |
| } |
| |
| define <vscale x 1 x float> @fsub_nan_op1_scalable_vec_0(<vscale x 1 x float> %x) { |
| ; CHECK-LABEL: @fsub_nan_op1_scalable_vec_0( |
| ; CHECK-NEXT: ret <vscale x 1 x float> shufflevector (<vscale x 1 x float> insertelement (<vscale x 1 x float> poison, float 0x7FF9000000000000, i64 0), <vscale x 1 x float> poison, <vscale x 1 x i32> zeroinitializer) |
| ; |
| %r = fsub <vscale x 1 x float> %x, shufflevector (<vscale x 1 x float> insertelement (<vscale x 1 x float> poison, float 0x7FF1000000000000, i64 0), <vscale x 1 x float> poison, <vscale x 1 x i32> zeroinitializer) |
| ret <vscale x 1 x float> %r |
| } |
| |
| define <vscale x 1 x float> @fsub_nan_op1_scalable_vec_1(<vscale x 1 x float> %x) { |
| ; CHECK-LABEL: @fsub_nan_op1_scalable_vec_1( |
| ; CHECK-NEXT: ret <vscale x 1 x float> shufflevector (<vscale x 1 x float> insertelement (<vscale x 1 x float> poison, float 0xFFF9000000000000, i64 0), <vscale x 1 x float> poison, <vscale x 1 x i32> zeroinitializer) |
| ; |
| %r = fsub <vscale x 1 x float> %x, shufflevector (<vscale x 1 x float> insertelement (<vscale x 1 x float> poison, float 0xFFF1000000000000, i64 0), <vscale x 1 x float> poison, <vscale x 1 x i32> zeroinitializer) |
| ret <vscale x 1 x float> %r |
| } |
| |
| ; Signaling and signed - make quiet and preserve the payload and signbit |
| |
| define double @fmul_nan_op0(double %x) { |
| ; CHECK-LABEL: @fmul_nan_op0( |
| ; CHECK-NEXT: ret double 0xFFF8000000000001 |
| ; |
| %r = fmul double 0xFFF0000000000001, %x |
| ret double %r |
| } |
| |
| define <2 x double> @fmul_nan_op0_vec(<2 x double> %x) { |
| ; CHECK-LABEL: @fmul_nan_op0_vec( |
| ; CHECK-NEXT: ret <2 x double> <double 0xFFF8000000000001, double 0xFFF8DEADDEADDEAD> |
| ; |
| %r = fmul <2 x double> <double 0xFFF0000000000001, double 0xFFF0DEADDEADDEAD>, %x |
| ret <2 x double> %r |
| } |
| |
| define <vscale x 1 x double> @fmul_nan_op0_scalable_vec_0(<vscale x 1 x double> %x) { |
| ; CHECK-LABEL: @fmul_nan_op0_scalable_vec_0( |
| ; CHECK-NEXT: ret <vscale x 1 x double> shufflevector (<vscale x 1 x double> insertelement (<vscale x 1 x double> poison, double 0xFFF8000000000001, i64 0), <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer) |
| ; |
| %r = fmul <vscale x 1 x double> shufflevector (<vscale x 1 x double> insertelement (<vscale x 1 x double> poison, double 0xFFF0000000000001, i64 0), <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer), %x |
| ret <vscale x 1 x double> %r |
| } |
| |
| define <vscale x 1 x double> @fmul_nan_op0_scalable_vec_1(<vscale x 1 x double> %x) { |
| ; CHECK-LABEL: @fmul_nan_op0_scalable_vec_1( |
| ; CHECK-NEXT: ret <vscale x 1 x double> shufflevector (<vscale x 1 x double> insertelement (<vscale x 1 x double> poison, double 0xFFF8DEADDEADDEAD, i64 0), <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer) |
| ; |
| %r = fmul <vscale x 1 x double> shufflevector (<vscale x 1 x double> insertelement (<vscale x 1 x double> poison, double 0xFFF0DEADDEADDEAD, i64 0), <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer), %x |
| ret <vscale x 1 x double> %r |
| } |
| |
| ; Vector type |
| |
| define <2 x float> @fmul_nan_op1(<2 x float> %x) { |
| ; CHECK-LABEL: @fmul_nan_op1( |
| ; CHECK-NEXT: ret <2 x float> <float 0x7FF8000000000000, float 0x7FF8000000000000> |
| ; |
| %r = fmul <2 x float> %x, <float 0x7FF8000000000000, float 0x7FF8000000000000> |
| ret <2 x float> %r |
| } |
| |
| define <vscale x 1 x double> @fmul_nan_op1_scalable_vec(<vscale x 1 x double> %x) { |
| ; CHECK-LABEL: @fmul_nan_op1_scalable_vec( |
| ; CHECK-NEXT: ret <vscale x 1 x double> shufflevector (<vscale x 1 x double> insertelement (<vscale x 1 x double> poison, double 0x7FF8000000000000, i64 0), <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer) |
| ; |
| %r = fmul <vscale x 1 x double> %x, shufflevector (<vscale x 1 x double> insertelement (<vscale x 1 x double> poison, double 0x7FF8000000000000, i64 0), <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer) |
| ret <vscale x 1 x double> %r |
| } |
| |
| ; Vector signed and non-zero payload |
| |
| define <2 x double> @fdiv_nan_op0(<2 x double> %x) { |
| ; CHECK-LABEL: @fdiv_nan_op0( |
| ; CHECK-NEXT: ret <2 x double> <double 0xFFF800000000000F, double 0xFFF800000000000F> |
| ; |
| %r = fdiv <2 x double> <double 0xFFF800000000000F, double 0xFFF800000000000F>, %x |
| ret <2 x double> %r |
| } |
| |
| define <vscale x 1 x double> @fdivl_nan_op0_scalable_vec(<vscale x 1 x double> %x) { |
| ; CHECK-LABEL: @fdivl_nan_op0_scalable_vec( |
| ; CHECK-NEXT: ret <vscale x 1 x double> shufflevector (<vscale x 1 x double> insertelement (<vscale x 1 x double> poison, double 0xFFF800000000000F, i64 0), <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer) |
| ; |
| %r = fdiv <vscale x 1 x double> shufflevector (<vscale x 1 x double> insertelement (<vscale x 1 x double> poison, double 0xFFF800000000000F, i64 0), <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer), %x |
| ret <vscale x 1 x double> %r |
| } |
| |
| ; Vector with different NaN constant elements |
| |
| define <2 x half> @fdiv_nan_op1(<2 x half> %x) { |
| ; CHECK-LABEL: @fdiv_nan_op1( |
| ; CHECK-NEXT: ret <2 x half> <half 0xH7FFF, half 0xHFF00> |
| ; |
| %r = fdiv <2 x half> %x, <half 0xH7FFF, half 0xHFF00> |
| ret <2 x half> %r |
| } |
| |
| define <vscale x 1 x half> @fdiv_nan_op1_scalable_vec(<vscale x 1 x half> %x) { |
| ; CHECK-LABEL: @fdiv_nan_op1_scalable_vec( |
| ; CHECK-NEXT: ret <vscale x 1 x half> shufflevector (<vscale x 1 x half> insertelement (<vscale x 1 x half> poison, half 0xH7FFF, i64 0), <vscale x 1 x half> poison, <vscale x 1 x i32> zeroinitializer) |
| ; |
| %r = fdiv <vscale x 1 x half> %x, shufflevector (<vscale x 1 x half> insertelement (<vscale x 1 x half> poison, half 0xH7FFF, i64 0), <vscale x 1 x half> poison, <vscale x 1 x i32> zeroinitializer) |
| ret <vscale x 1 x half> %r |
| } |
| |
| ; Vector with poison element |
| |
| define <2 x double> @fsub_nan_poison_op1(<2 x double> %x) { |
| ; CHECK-LABEL: @fsub_nan_poison_op1( |
| ; CHECK-NEXT: ret <2 x double> <double 0xFFFF00000000DEAD, double poison> |
| ; |
| %r = fsub <2 x double> %x, <double 0xFFFF00000000DEAD, double poison> |
| ret <2 x double> %r |
| } |
| |
| ; Vector with undef element |
| |
| define <2 x double> @frem_nan_undef_op0(<2 x double> %x) { |
| ; CHECK-LABEL: @frem_nan_undef_op0( |
| ; CHECK-NEXT: ret <2 x double> <double 0xFFFF00000000DEAD, double 0x7FF8000000000000> |
| ; |
| %r = frem <2 x double> <double 0xFFFF00000000DEAD, double undef>, %x |
| ret <2 x double> %r |
| } |
| |
| ; Vector with poison and undef elements |
| |
| define <3 x double> @fadd_nan_poison_undef_op1(<3 x double> %x) { |
| ; CHECK-LABEL: @fadd_nan_poison_undef_op1( |
| ; CHECK-NEXT: ret <3 x double> <double 0xFFFF00000000DEAD, double poison, double 0x7FF8000000000000> |
| ; |
| %r = fadd <3 x double> %x, <double 0xFFFF00000000DEAD, double poison, double undef> |
| ret <3 x double> %r |
| } |
| |
| define float @frem_nan_op1(float %x) { |
| ; CHECK-LABEL: @frem_nan_op1( |
| ; CHECK-NEXT: ret float 0x7FF8000000000000 |
| ; |
| %r = frem float %x, 0x7FF8000000000000 |
| ret float %r |
| } |
| |
| ; Special-case: fneg must only change the sign bit (this is handled by constant folding). |
| |
| define double @fneg_nan_1(double %x) { |
| ; CHECK-LABEL: @fneg_nan_1( |
| ; CHECK-NEXT: ret double 0x7FFABCDEF0123456 |
| ; |
| %r = fsub double -0.0, 0x7FFABCDEF0123456 |
| ret double %r |
| } |
| |
| define double @unary_fneg_nan_1(double %x) { |
| ; CHECK-LABEL: @unary_fneg_nan_1( |
| ; CHECK-NEXT: ret double 0xFFFABCDEF0123456 |
| ; |
| %r = fneg double 0x7FFABCDEF0123456 |
| ret double %r |
| } |
| |
| define <2 x double> @fneg_nan_2(<2 x double> %x) { |
| ; CHECK-LABEL: @fneg_nan_2( |
| ; CHECK-NEXT: ret <2 x double> <double 0xFFF9234567890ABC, double 0x7FF8000000000001> |
| ; |
| %r = fsub <2 x double> <double -0.0, double -0.0>, <double 0xFFF1234567890ABC, double 0x7FF0000000000001> |
| ret <2 x double> %r |
| } |
| |
| define <vscale x 1 x double> @fneg_nan_2_scalable_vec() { |
| ; CHECK-LABEL: @fneg_nan_2_scalable_vec( |
| ; CHECK-NEXT: ret <vscale x 1 x double> shufflevector (<vscale x 1 x double> insertelement (<vscale x 1 x double> poison, double 0xFFF9234567890ABC, i64 0), <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer) |
| ; |
| %r = fsub <vscale x 1 x double> shufflevector (<vscale x 1 x double> insertelement (<vscale x 1 x double> poison, double -0.0, i64 0), <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer), shufflevector (<vscale x 1 x double> insertelement (<vscale x 1 x double> poison, double 0xFFF1234567890ABC, i64 0), <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer) |
| ret <vscale x 1 x double> %r |
| } |
| |
| define <2 x double> @unary_fneg_nan_2(<2 x double> %x) { |
| ; CHECK-LABEL: @unary_fneg_nan_2( |
| ; CHECK-NEXT: ret <2 x double> <double 0x7FF1234567890ABC, double 0xFFF0000000000001> |
| ; |
| %r = fneg <2 x double> <double 0xFFF1234567890ABC, double 0x7FF0000000000001> |
| ret <2 x double> %r |
| } |
| |
| ; FIXME: This doesn't behave the same way as the fixed-length vectors above |
| define <vscale x 1 x double> @unary_fneg_nan_2_scalable_vec_0() { |
| ; CHECK-LABEL: @unary_fneg_nan_2_scalable_vec_0( |
| ; CHECK-NEXT: [[R:%.*]] = fneg <vscale x 1 x double> shufflevector (<vscale x 1 x double> insertelement (<vscale x 1 x double> poison, double 0xFFF1234567890ABC, i64 0), <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer) |
| ; CHECK-NEXT: ret <vscale x 1 x double> [[R]] |
| ; |
| %r = fneg <vscale x 1 x double> shufflevector (<vscale x 1 x double> insertelement (<vscale x 1 x double> poison, double 0xFFF1234567890ABC, i64 0), <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer) |
| ret <vscale x 1 x double> %r |
| } |
| |
| ; FIXME: This doesn't behave the same way as the fixed-length vectors above |
| define <vscale x 1 x double> @unary_fneg_nan_2_scalable_vec_1() { |
| ; CHECK-LABEL: @unary_fneg_nan_2_scalable_vec_1( |
| ; CHECK-NEXT: [[R:%.*]] = fneg <vscale x 1 x double> shufflevector (<vscale x 1 x double> insertelement (<vscale x 1 x double> poison, double 0x7FF0000000000001, i64 0), <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer) |
| ; CHECK-NEXT: ret <vscale x 1 x double> [[R]] |
| ; |
| %r = fneg <vscale x 1 x double> shufflevector (<vscale x 1 x double> insertelement (<vscale x 1 x double> poison, double 0x7FF0000000000001, i64 0), <vscale x 1 x double> poison, <vscale x 1 x i32> zeroinitializer) |
| ret <vscale x 1 x double> %r |
| } |
| |
| ; Repeat all tests with fast-math-flags. Alternate 'nnan' and 'fast' for more coverage. |
| |
| define float @fadd_nan_op0_nnan(float %x) { |
| ; CHECK-LABEL: @fadd_nan_op0_nnan( |
| ; CHECK-NEXT: ret float poison |
| ; |
| %r = fadd nnan float 0x7FF8000000000000, %x |
| ret float %r |
| } |
| |
| define float @fadd_nan_op1_fast(float %x) { |
| ; CHECK-LABEL: @fadd_nan_op1_fast( |
| ; CHECK-NEXT: ret float poison |
| ; |
| %r = fadd fast float %x, 0x7FF8000000000000 |
| ret float %r |
| } |
| |
| define float @fsub_nan_op0_fast(float %x) { |
| ; CHECK-LABEL: @fsub_nan_op0_fast( |
| ; CHECK-NEXT: ret float poison |
| ; |
| %r = fsub fast float 0x7FF8000000000000, %x |
| ret float %r |
| } |
| |
| define float @fsub_nan_op1_nnan(float %x) { |
| ; CHECK-LABEL: @fsub_nan_op1_nnan( |
| ; CHECK-NEXT: ret float poison |
| ; |
| %r = fsub nnan float %x, 0x7FF8000000000000 |
| ret float %r |
| } |
| |
| define float @fmul_nan_op0_nnan(float %x) { |
| ; CHECK-LABEL: @fmul_nan_op0_nnan( |
| ; CHECK-NEXT: ret float poison |
| ; |
| %r = fmul nnan float 0x7FF8000000000000, %x |
| ret float %r |
| } |
| |
| define float @fmul_nan_op1_fast(float %x) { |
| ; CHECK-LABEL: @fmul_nan_op1_fast( |
| ; CHECK-NEXT: ret float poison |
| ; |
| %r = fmul fast float %x, 0x7FF8000000000000 |
| ret float %r |
| } |
| |
| define float @fdiv_nan_op0_fast(float %x) { |
| ; CHECK-LABEL: @fdiv_nan_op0_fast( |
| ; CHECK-NEXT: ret float poison |
| ; |
| %r = fdiv fast float 0x7FF8000000000000, %x |
| ret float %r |
| } |
| |
| define float @fdiv_nan_op1_nnan(float %x) { |
| ; CHECK-LABEL: @fdiv_nan_op1_nnan( |
| ; CHECK-NEXT: ret float poison |
| ; |
| %r = fdiv nnan float %x, 0x7FF8000000000000 |
| ret float %r |
| } |
| |
| define float @frem_nan_op0_nnan(float %x) { |
| ; CHECK-LABEL: @frem_nan_op0_nnan( |
| ; CHECK-NEXT: ret float poison |
| ; |
| %r = frem nnan float 0x7FF8000000000000, %x |
| ret float %r |
| } |
| |
| define float @frem_nan_op1_fast(float %x) { |
| ; CHECK-LABEL: @frem_nan_op1_fast( |
| ; CHECK-NEXT: ret float poison |
| ; |
| %r = frem fast float %x, 0x7FF8000000000000 |
| ret float %r |
| } |
| |