fix fp bitwise tests
MODIFY
BugList.md
BugList.md
@@ -78,8 +78,7 @@ Please contact us or submit a PR if something is missing or inaccurate.
71. InstSimplify: xor pattern miscompiles undef lane (https://llvm.org/PR58977)
72. llvm.canonicalize() folding incorrect for denormals (https://llvm.org/PR59245)
73. InstCombine: incorrect fabs formation (https://llvm.org/PR59279)
-74. InstCombine: incorrect copysign formation (https://llvm.org/PR59280)
-75. InstCombine: incorrect increase of alignment of load with null_pointer_is_valid (https://llvm.org/PR59281)
+74. InstCombine: incorrect increase of alignment of load with null_pointer_is_valid (https://llvm.org/PR59281)
### Bugs found in Z3

MODIFY
tests/alive-tv/fp/fabs.srctgt.ll
tests/alive-tv/fp/fabs.srctgt.ll
@@ -26,8 +26,9 @@ define void @tgt() {
%zero = fdiv float 0.0, 1.0
%inf = fdiv float 1.0, 0.0
%nan = fdiv float 0.0, 0.0
+ %posnan = call float @llvm.fabs.f32(float %nan)
- call void @f(float %one, float %one, float %zero, float %zero, float %inf, float %inf, float %nan, float %nan)
+ call void @f(float %one, float %one, float %zero, float %zero, float %inf, float %inf, float %posnan, float %posnan)
ret void
}

MODIFY
tests/unit/fabs/fabs.opt
tests/unit/fabs/fabs.opt
@@ -8,12 +8,6 @@ Name: constant2
=>
%r = 2.0
-Name: nnan
-%negnan = fdiv float 0.0, -0.0
-%r = fabs float %negnan
- =>
-%r = %negnan
-
Name: fabs-twice
%k = fabs float %x
%r = fabs float %k

fix fp bitwise tests