| sewardj | 024598e | 2008-09-18 14:43:05 +0000 | [diff] [blame] | 1 | #include <stdio.h> |
| 2 | #include <stdlib.h> |
| 3 | #include <signal.h> |
| 4 | #include <setjmp.h> |
| 5 | #include <assert.h> |
| 6 | |
| 7 | #include "arith_include1.c" |
| 8 | |
| 9 | int main(void) |
| 10 | { |
| 11 | #include "arith_include2.c" |
| 12 | |
| 13 | // ADD ========================================================= |
| 14 | g(/, n, n2, n); // det, det |
| 15 | |
| 16 | g(/, n, p, e); // detected bad idiv; det, det |
| 17 | |
| 18 | g(/, p, n2, n); // ok, det |
| 19 | |
| 20 | g(/, p, p, e); // detected bad idiv; det, det |
| 21 | |
| 22 | g(/, n, un, n); // undet, undet |
| 23 | g(/, n, up, n); // undetected bad idiv; ok, undet |
| 24 | |
| 25 | g(/, un, n2, n); // undet, undet |
| 26 | g(/, up, n2, n); // ok, undet |
| 27 | |
| 28 | g(/, un, un, n); // undet, undet |
| 29 | g(/, un, up, n); // undetected bad idiv; undet, undet |
| 30 | g(/, up, un, n); // undet, undet |
| 31 | g(/, up, up, n); // undetected bad idiv; undet, undet |
| 32 | |
| 33 | g(/, un, p, n); // detected bad idiv; undet, undet |
| 34 | g(/, up, p, n); // detected bad idiv; undet, undet |
| 35 | |
| 36 | g(/, p, un, n); // undet, undet |
| 37 | g(/, p, up, n); // undetected bad idiv; undet, undet |
| 38 | |
| 39 | return 0; |
| 40 | } |