Zhou Sheng | 96b366d | 2007-01-19 01:35:08 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as %s -o - | llvm-dis > %t.ll |
| 2 | ; RUN: diff %t.ll %s.out |
| 3 | |
| 4 | ; test 1 bit |
| 5 | ; |
Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 6 | @b = constant i1 add(i1 1 , i1 1) |
| 7 | @c = constant i1 add(i1 -1, i1 1) |
| 8 | @d = constant i1 add(i1 -1, i1 -1) |
| 9 | @e = constant i1 sub(i1 -1, i1 1) |
| 10 | @f = constant i1 sub(i1 1 , i1 -1) |
| 11 | @g = constant i1 sub(i1 1 , i1 1) |
Zhou Sheng | 96b366d | 2007-01-19 01:35:08 +0000 | [diff] [blame] | 12 | |
Reid Spencer | 55fc8a4 | 2007-02-27 19:26:40 +0000 | [diff] [blame] | 13 | @h = constant i1 shl(i1 1 , i1 1) ; undefined |
Reid Spencer | 832254e | 2007-02-02 02:16:23 +0000 | [diff] [blame] | 14 | @i = constant i1 shl(i1 1 , i1 0) |
Reid Spencer | 51c1c03 | 2007-02-27 02:34:02 +0000 | [diff] [blame] | 15 | @j = constant i1 lshr(i1 1, i1 1) ; undefined |
| 16 | @m = constant i1 ashr(i1 1, i1 1) ; undefined |
Zhou Sheng | 96b366d | 2007-01-19 01:35:08 +0000 | [diff] [blame] | 17 | |
Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 18 | @n = constant i1 mul(i1 -1, i1 1) |
Reid Spencer | 55fc8a4 | 2007-02-27 19:26:40 +0000 | [diff] [blame] | 19 | @o = constant i1 sdiv(i1 -1, i1 1) ; overflow |
| 20 | @p = constant i1 sdiv(i1 1 , i1 -1); overflow |
Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 21 | @q = constant i1 udiv(i1 -1, i1 1) |
| 22 | @r = constant i1 udiv(i1 1, i1 -1) |
Reid Spencer | 51c1c03 | 2007-02-27 02:34:02 +0000 | [diff] [blame] | 23 | @s = constant i1 srem(i1 -1, i1 1) ; overflow |
Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 24 | @t = constant i1 urem(i1 -1, i1 1) |
Reid Spencer | 5957d8f | 2007-03-24 21:55:26 +0000 | [diff] [blame] | 25 | @u = constant i1 srem(i1 1, i1 -1) ; overflow |