llvm/test/Transforms/InstSimplify/ConstProp/fneg.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
   3
   4 define float @fneg_constant() {
   5 ; CHECK-LABEL: @fneg_constant(
   6 ; CHECK-NEXT:    ret float 0.000000e+00
   7 ;
   8   %r = fneg float -0.0
   9   ret float %r
  10 }
  11
  12 define float @fneg_undef() {
  13 ; CHECK-LABEL: @fneg_undef(
  14 ; CHECK-NEXT:    ret float undef
  15 ;
  16   %r = fneg float undef
  17   ret float %r
  18 }
  19
  20 define <4 x float> @fneg_constant_elts_v4f32() {
  21 ; CHECK-LABEL: @fneg_constant_elts_v4f32(
  22 ; CHECK-NEXT:    ret <4 x float> <float 0.000000e+00, float -0.000000e+00, float 1.000000e+00, float -1.000000e+00>
  23 ;
  24   %r = fneg <4 x float> <float -0.0, float 0.0, float -1.0, float 1.0>
  25   ret <4 x float> %r
  26 }
  27
  28 define <4 x float> @fneg_constant_undef_elts_v4f32() {
  29 ; CHECK-LABEL: @fneg_constant_undef_elts_v4f32(
  30 ; CHECK-NEXT:    ret <4 x float> <float 0.000000e+00, float undef, float undef, float -1.000000e+00>
  31 ;
  32   %r = fneg <4 x float> <float -0.0, float undef, float undef, float 1.0>
  33   ret <4 x float> %r
  34 }
  35
  36 define <4 x float> @fneg_constant_all_undef_elts_v4f32() {
  37 ; CHECK-LABEL: @fneg_constant_all_undef_elts_v4f32(
  38 ; CHECK-NEXT:    ret <4 x float> undef
  39 ;
  40   %r = fneg <4 x float> <float undef, float undef, float undef, float undef>
  41   ret <4 x float> %r
  42 }