diff options
| author | Ruben Undheim <ruben.undheim@gmail.com> | 2018-07-29 13:00:54 +0200 |
|---|---|---|
| committer | Ruben Undheim <ruben.undheim@gmail.com> | 2018-07-29 13:00:54 +0200 |
| commit | 77f06e2ceaff262f739e00958a5d7558d131ca75 (patch) | |
| tree | 587ac9c23581f81a9bc8e21a7ba8019fa0c4c696 /tests/10optimizer_bytecode/cmp_powx_nn | |
Imported version 4.5.2
Diffstat (limited to 'tests/10optimizer_bytecode/cmp_powx_nn')
| -rw-r--r-- | tests/10optimizer_bytecode/cmp_powx_nn | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/10optimizer_bytecode/cmp_powx_nn b/tests/10optimizer_bytecode/cmp_powx_nn new file mode 100644 index 0000000..8e6d091 --- /dev/null +++ b/tests/10optimizer_bytecode/cmp_powx_nn @@ -0,0 +1,15 @@ +T=d f ld +V=x +R=-4,4,1 +F=1*(((-2.051)^x)=-4) +\ + 2*(((-2.051)^x)<-4) +\ + 4*(((-2.051)^x)<=-4) +\ + 8*(((-2.051)^x)>-4) +\ + 16*(((-2.051)^x)>=-4) +\ + 32*(((-2.051)^x)!=-4) +C=1*fp_equal(fp_pow(-2.051,x),-4) +\ + 2*fp_less(fp_pow(-2.051,x),-4) +\ + 4*fp_lessOrEq(fp_pow(-2.051,x),-4) +\ + 8*fp_greater(fp_pow(-2.051,x),-4) +\ + 16*fp_greaterOrEq(fp_pow(-2.051,x),-4) +\ + 32*fp_nequal(fp_pow(-2.051,x),-4) |