xref: /llvm-project/llvm/test/Transforms/InstSimplify/ConstProp/fneg.ll (revision b280ee1dd7e9b36ae7aaa3953556e4b7a7f31a29)
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
3
4define 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
12define 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
20define <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
28define <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
36define <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}
43