diff options
Diffstat (limited to 'tests/20optimizer_optimizations/gt_or_le')
-rw-r--r-- | tests/20optimizer_optimizations/gt_or_le | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/20optimizer_optimizations/gt_or_le b/tests/20optimizer_optimizations/gt_or_le new file mode 100644 index 0000000..a7fb818 --- /dev/null +++ b/tests/20optimizer_optimizations/gt_or_le @@ -0,0 +1,5 @@ +T=d ld li f mf gi cd cf cld +V=x,y +R=0,1,1 +F= (x > y) | (x <= y) +C= x*0+y*0+ 1 |