Test Failure: Transforms/InstCombine/fpcast.ll

Test source: git

Comments: LLVM PR49080

Log:

Source: <stdin>

----------------------------------------
define i8 @test1() {
%0:
  %x = fptoui float 255.000000 to i8
  ret i8 %x
}
=>
define i8 @test1() {
%0:
  ret i8 255
}
Transformation seems to be correct!


----------------------------------------
define i8 @test2() {
%0:
  %x = fptosi float -1.000000 to i8
  ret i8 %x
}
=>
define i8 @test2() {
%0:
  ret i8 255
}
Transformation seems to be correct!


----------------------------------------
define half @test3(float %a) {
%0:
  %b = fabs float %a
  %c = fptrunc float %b to half
  ret half %c
}
=>
define half @test3(float %a) {
%0:
  %1 = fptrunc float %a to half
  %c = fabs half %1
  ret half %c
}
Transformation seems to be correct!


----------------------------------------
define half @fneg_fptrunc(float %a) {
%0:
  %b = fsub float -0.000000, %a
  %c = fptrunc float %b to half
  ret half %c
}
=>
define half @fneg_fptrunc(float %a) {
%0:
  %1 = fptrunc float %a to half
  %c = fneg half %1
  ret half %c
}
Transformation seems to be correct!


----------------------------------------
define half @unary_fneg_fptrunc(float %a) {
%0:
  %b = fneg float %a
  %c = fptrunc float %b to half
  ret half %c
}
=>
define half @unary_fneg_fptrunc(float %a) {
%0:
  %1 = fptrunc float %a to half
  %c = fneg half %1
  ret half %c
}
Transformation seems to be correct!


----------------------------------------
define <2 x half> @fneg_fptrunc_vec_undef(<2 x float> %a) {
%0:
  %b = fsub <2 x float> { -0.000000, undef }, %a
  %c = fptrunc <2 x float> %b to <2 x half>
  ret <2 x half> %c
}
=>
define <2 x half> @fneg_fptrunc_vec_undef(<2 x float> %a) {
%0:
  %1 = fptrunc <2 x float> %a to <2 x half>
  %c = fneg <2 x half> %1
  ret <2 x half> %c
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define <2 x half> @unary_fneg_fptrunc_vec(<2 x float> %a) {
%0:
  %b = fneg <2 x float> %a
  %c = fptrunc <2 x float> %b to <2 x half>
  ret <2 x half> %c
}
=>
define <2 x half> @unary_fneg_fptrunc_vec(<2 x float> %a) {
%0:
  %1 = fptrunc <2 x float> %a to <2 x half>
  %c = fneg <2 x half> %1
  ret <2 x half> %c
}
Transformation doesn't verify!
ERROR: Timeout


----------------------------------------
define half @test4-fast(float %a) {
%0:
  %b = fsub fast float -0.000000, %a
  %c = fptrunc float %b to half
  ret half %c
}
=>
define half @test4-fast(float %a) {
%0:
  %1 = fptrunc float %a to half
  %c = fneg fast half %1
  ret half %c
}
Transformation doesn't verify!
ERROR: Target is more poisonous than source

Example:
float %a = #x5b808000 (72339069014638592)

Source:
float %b = poison
half %c = poison

Target:
half %1 = #x7c00 (+oo)
half %c = poison
Source value: poison
Target value: poison


------------------- SMT STATS -------------------
Num queries: 19
Num invalid: 0
Num skips:   0
Num trivial: 32 (62.7%)
Num timeout: 2 (10.5%)
Num errors:  0 (0.0%)
Num SAT:     9 (47.4%)
Num UNSAT:   8 (42.1%)

stderr:

+ : 'RUN: at line 3'
+ /home/nlopes/alive2/build/opt-alive.sh -instcombine -S
+ /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstCombine/fpcast.ll

Alive2: Transform doesn't verify; aborting!
FileCheck error: '<stdin>' is empty.
FileCheck command line:  /home/nlopes/llvm/build/bin/FileCheck /home/nlopes/llvm/llvm/test/Transforms/InstCombine/fpcast.ll

<-- Back