| Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as %s -o - | llvm-dis > %t1.ll |
| 2 | ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll |
| 3 | ; RUN: diff %t1.ll %t2.ll |
| 4 | |
| Reid Spencer | 73a7d89 | 2007-02-04 02:11:13 +0000 | [diff] [blame^] | 5 | declare void @"foo"(i31 %i, i33 %j) |
| Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 6 | |
| 7 | implementation |
| 8 | |
| 9 | ; foo test basic bitwise operations |
| Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 10 | define void @"foo"(i31 %i, i33 %j) |
| Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 11 | begin |
| 12 | %t1 = trunc i33 %j to i31 |
| 13 | %t2 = and i31 %t1, %i |
| 14 | %t3 = sext i31 %i to i33 |
| 15 | %t4 = or i33 %t3, %j |
| 16 | %t5 = xor i31 %t2, 7 |
| Reid Spencer | 832254e | 2007-02-02 02:16:23 +0000 | [diff] [blame] | 17 | %t6 = shl i31 %i, 2 |
| Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 18 | %t7 = trunc i31 %i to i8 |
| Reid Spencer | 832254e | 2007-02-02 02:16:23 +0000 | [diff] [blame] | 19 | %t8 = shl i8 %t7, 3 |
| 20 | %t9 = lshr i33 %j, 31 |
| 21 | %t7z = zext i8 %t7 to i33 |
| 22 | %t10 = ashr i33 %j, %t7z |
| Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 23 | ret void |
| 24 | end |
| 25 | |