Test Failure: Transforms/InstCombine/double-float-shrink-2.ll

Test source: git

Comments: LLVM PR49080

Log:

Source: <stdin>
ERROR: Unsupported instruction:   store volatile double %D, double* undef, align 8
ERROR: Unsupported instruction:   store volatile double %D, double* undef, align 8

----------------------------------------
define float @test_shrink_libcall_floor(float %C) {
%0:
  %D = fpext float %C to double
  %E = floor double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_libcall_floor(float %C) {
%0:
  %1 = floor float %C
  ret float %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define float @test_shrink_libcall_ceil(float %C) {
%0:
  %D = fpext float %C to double
  %E = ceil double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_libcall_ceil(float %C) {
%0:
  %1 = ceil float %C
  ret float %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define float @test_shrink_libcall_round(float %C) {
%0:
  %D = fpext float %C to double
  %E = round double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_libcall_round(float %C) {
%0:
  %1 = round float %C
  ret float %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define float @test_shrink_libcall_roundeven(float %C) {
%0:
  %D = fpext float %C to double
  %E = roundeven double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_libcall_roundeven(float %C) {
%0:
  %1 = roundeven float %C
  ret float %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define float @test_shrink_libcall_nearbyint(float %C) {
%0:
  %D = fpext float %C to double
  %E = call double @nearbyint(double %D)
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_libcall_nearbyint(float %C) {
%0:
  %1 = call float @llvm.nearbyint.f32(float %C) noread nowrite nofree
  ret float %1
}
Transformation doesn't verify!
ERROR: Couldn't prove the correctness of the transformation
Alive2 approximated the semantics of the programs and therefore we
cannot conclude whether the bug found is valid or not.

Approximations done:
 - Unknown libcall: @llvm.nearbyint.f32
 - Unknown libcall: @nearbyint



----------------------------------------
define float @test_shrink_libcall_trunc(float %C) {
%0:
  %D = fpext float %C to double
  %E = trunc double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_libcall_trunc(float %C) {
%0:
  %1 = trunc float %C
  ret float %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define float @test_shrink_libcall_fabs(float %C) {
%0:
  %D = fpext float %C to double
  %E = fabs double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_libcall_fabs(float %C) {
%0:
  %1 = fabs float %C
  ret float %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define float @test_shrink_libcall_fabs_fast(float %C) {
%0:
  %D = fpext float %C to double
  %E = fabs fast double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_libcall_fabs_fast(float %C) {
%0:
  %1 = fabs fast float %C
  ret float %1
}
Transformation doesn't verify!
ERROR: Couldn't prove the correctness of the transformation
Alive2 approximated the semantics of the programs and therefore we
cannot conclude whether the bug found is valid or not.

Approximations done:
 - afn
 - arcp
 - contract
 - reassoc



----------------------------------------
define float @test_shrink_intrin_ceil(float %C) {
%0:
  %D = fpext float %C to double
  %E = ceil double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_intrin_ceil(float %C) {
%0:
  %1 = ceil float %C
  ret float %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define float @test_shrink_intrin_fabs(float %C) {
%0:
  %D = fpext float %C to double
  %E = fabs double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_intrin_fabs(float %C) {
%0:
  %1 = fabs float %C
  ret float %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define float @test_shrink_intrin_floor(float %C) {
%0:
  %D = fpext float %C to double
  %E = floor double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_intrin_floor(float %C) {
%0:
  %1 = floor float %C
  ret float %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define float @test_shrink_intrin_nearbyint(float %C) {
%0:
  %D = fpext float %C to double
  %E = call double @llvm.nearbyint.f64(double %D) noread nowrite nofree
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_intrin_nearbyint(float %C) {
%0:
  %1 = call float @llvm.nearbyint.f32(float %C) noread nowrite nofree
  ret float %1
}
Transformation doesn't verify!
ERROR: Couldn't prove the correctness of the transformation
Alive2 approximated the semantics of the programs and therefore we
cannot conclude whether the bug found is valid or not.

Approximations done:
 - Unknown libcall: @llvm.nearbyint.f32
 - Unknown libcall: @llvm.nearbyint.f64



----------------------------------------
define half @test_shrink_intrin_rint(half %C) {
%0:
  %D = fpext half %C to float
  %E = call float @llvm.rint.f32(float %D) noread nowrite nofree
  %F = fptrunc float %E to half
  ret half %F
}
=>
define half @test_shrink_intrin_rint(half %C) {
%0:
  %1 = call half @llvm.rint.f16(half %C) noread nowrite nofree
  ret half %1
}
Transformation doesn't verify!
ERROR: Couldn't prove the correctness of the transformation
Alive2 approximated the semantics of the programs and therefore we
cannot conclude whether the bug found is valid or not.

Approximations done:
 - Unknown libcall: @llvm.rint.f16
 - Unknown libcall: @llvm.rint.f32



----------------------------------------
define float @test_shrink_intrin_round(float %C) {
%0:
  %D = fpext float %C to double
  %E = round double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_intrin_round(float %C) {
%0:
  %1 = round float %C
  ret float %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define float @test_shrink_intrin_roundeven(float %C) {
%0:
  %D = fpext float %C to double
  %E = roundeven double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_intrin_roundeven(float %C) {
%0:
  %1 = roundeven float %C
  ret float %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define float @test_shrink_intrin_trunc(float %C) {
%0:
  %D = fpext float %C to double
  %E = trunc double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_intrin_trunc(float %C) {
%0:
  %1 = trunc float %C
  ret float %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define <2 x float> @test_shrink_intrin_fabs_multi_use(<2 x float> %C) {
%0:
  %D = fpext <2 x float> %C to <2 x double>
  %E = fabs <2 x double> %D
  %F = fptrunc <2 x double> %E to <2 x float>
  call void @use_v2f64(<2 x double> %E)
  ret <2 x float> %F
}
=>
define <2 x float> @test_shrink_intrin_fabs_multi_use(<2 x float> %C) {
%0:
  %1 = fabs <2 x float> %C
  %E = fpext <2 x float> %1 to <2 x double>
  call void @use_v2f64(<2 x double> %E)
  ret <2 x float> %1
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define <2 x half> @test_shrink_intrin_rint_multi_use(<2 x half> %C) {
%0:
  %D = fpext <2 x half> %C to <2 x float>
  %E = call <2 x float> @llvm.rint.v2f32(<2 x float> %D) noread nowrite nofree
  %F = fptrunc <2 x float> %E to <2 x half>
  call void @use_v2f32(<2 x float> %E)
  ret <2 x half> %F
}
=>
define <2 x half> @test_shrink_intrin_rint_multi_use(<2 x half> %C) {
%0:
  %1 = call <2 x half> @llvm.rint.v2f16(<2 x half> %C) noread nowrite nofree
  %E = fpext <2 x half> %1 to <2 x float>
  call void @use_v2f32(<2 x float> %E)
  ret <2 x half> %1
}
Transformation doesn't verify!
ERROR: Couldn't prove the correctness of the transformation
Alive2 approximated the semantics of the programs and therefore we
cannot conclude whether the bug found is valid or not.

Approximations done:
 - Unknown libcall: @llvm.rint.v2f16
 - Unknown libcall: @llvm.rint.v2f32



----------------------------------------
define float @test_shrink_intrin_fabs_fast(float %C) {
%0:
  %D = fpext float %C to double
  %E = fabs fast double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_intrin_fabs_fast(float %C) {
%0:
  %1 = fabs fast float %C
  ret float %1
}
Transformation doesn't verify!
ERROR: Couldn't prove the correctness of the transformation
Alive2 approximated the semantics of the programs and therefore we
cannot conclude whether the bug found is valid or not.

Approximations done:
 - afn
 - arcp
 - contract
 - reassoc



----------------------------------------
define float @test_shrink_intrin_fabs_double_src(double %D) {
%0:
  %E = fabs double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_intrin_fabs_double_src(double %D) {
%0:
  %1 = fptrunc double %D to float
  %F = fabs float %1
  ret float %F
}
Transformation seems to be correct!


----------------------------------------
define float @test_shrink_intrin_fabs_fast_double_src(double %D) {
%0:
  %E = fabs fast double %D
  %F = fptrunc double %E to float
  ret float %F
}
=>
define float @test_shrink_intrin_fabs_fast_double_src(double %D) {
%0:
  %1 = fptrunc double %D to float
  %F = fabs fast float %1
  ret float %F
}
Transformation doesn't verify!
ERROR: Target is more poisonous than source

Example:
double %D = #x5004051424000041 (289767366799178879001153850521765001419763533445547319128305287467949308772352)

Source:
double %E = NaN
float %F = NaN

Target:
float %1 = #x7f800000 (+oo)
float %F = poison
Source value: NaN
Target value: poison


------------------- SMT STATS -------------------
Num queries: 60
Num invalid: 0
Num skips:   0
Num trivial: 51 (45.9%)
Num timeout: 13 (21.7%)
Num errors:  0 (0.0%)
Num SAT:     29 (48.3%)
Num UNSAT:   18 (30.0%)
Alive2: Transform doesn't verify; aborting!

stderr:

+ : 'RUN: at line 2'
+ /home/nlopes/alive2/build/opt-alive.sh -instcombine -S -mtriple i386-pc-linux
+ /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstCombine/double-float-shrink-2.ll

FileCheck error: '<stdin>' is empty.
FileCheck command line:  /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstCombine/double-float-shrink-2.ll

 

<-- Back