aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/backend/arithmetic-ops.c
AgeCommit message (Collapse)AuthorFilesLines
2017-11-18add support of floating-point specific arithmetic opsLuc Van Oostenryck1-0/+20
Floating-point arithmetic is quite different from the arithmetic on integers or the one of real numbers. In particular, most transformations, simplifications that can be done on integers are invalid when done on floats. For example: - associativity doesn't hold - distributivity doesn't hold - comparison is tricky & complex This is because (among others things): - limited precision, rounding everywhere - presence of signed zeroes - presence of infinities - presence of NaNs (signaling or quiet) - presence of numbers without inverse - several kind of exceptions. Since they don't follow the same rules as their integer counterpart, better to give them a specific opcode instead of having to test the type of the operands at each manipulation. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2017-05-28testsuite: remove unneeded './' before commandsLuc Van Oostenryck1-1/+1
Some testcase have their command specified as './<command name>' but the './' part is unneeded as all commands are first prefixed with '../' before being run. Furthermore, the possible presence of these './' force the use of 'basename' when filtering out the disabled commands. Change this by stripping the './' where is was used. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2011-08-27sparse, llvm: Reorganize code generation testsPekka Enberg1-0/+94
Signed-off-by: Pekka Enberg <penberg@kernel.org>