Reid Spencer | addd11d | 2007-04-04 23:48:25 +0000 | [diff] [blame] | 1 | ; Make sure this testcase is supported by all code generators. Either the |
| 2 | ; intrinsic is supported natively or IntrinsicLowering provides it. |
Reid Spencer | b579650 | 2007-04-16 21:52:56 +0000 | [diff] [blame^] | 3 | ; RUN: llvm-as < %s > %t.bc |
| 4 | ; RUN: lli --force-interpreter=true %t.bc |
| 5 | ; RUN: llc %t.bc -o /dev/null -f |
Reid Spencer | 11eec56 | 2007-04-05 22:57:45 +0000 | [diff] [blame] | 6 | ; XFAIL: * |
Reid Spencer | addd11d | 2007-04-04 23:48:25 +0000 | [diff] [blame] | 7 | |
Reid Spencer | b579650 | 2007-04-16 21:52:56 +0000 | [diff] [blame^] | 8 | declare i32 @llvm.part.set.i32.i32.i32(i32 %x, i32 %rep, i32 %hi, i32 %lo) |
| 9 | declare i16 @llvm.part.set.i16.i16.i16(i16 %x, i16 %rep, i32 %hi, i32 %lo) |
| 10 | define i32 @test_part_set(i32 %A, i16 %B) { |
| 11 | %a = call i32 @llvm.part.set.i32.i32.i32(i32 %A, i32 27, i32 8, i32 0) |
| 12 | %b = call i16 @llvm.part.set.i16.i16.i16(i16 %B, i16 27, i32 8, i32 0) |
Reid Spencer | addd11d | 2007-04-04 23:48:25 +0000 | [diff] [blame] | 13 | %c = zext i16 %b to i32 |
| 14 | %d = add i32 %a, %c |
| 15 | ret i32 %d |
| 16 | } |
Reid Spencer | b579650 | 2007-04-16 21:52:56 +0000 | [diff] [blame^] | 17 | |
| 18 | declare i32 @llvm.part.select.i32.i32(i32 %x, i32 %hi, i32 %lo) |
| 19 | declare i16 @llvm.part.select.i16.i16(i16 %x, i32 %hi, i32 %lo) |
| 20 | define i32 @test_part_select(i32 %A, i16 %B) { |
| 21 | %a = call i32 @llvm.part.select.i32.i32(i32 %A, i32 8, i32 0) |
| 22 | %b = call i16 @llvm.part.select.i16.i16(i16 %B, i32 8, i32 0) |
| 23 | %c = zext i16 %b to i32 |
| 24 | %d = add i32 %a, %c |
| 25 | ret i32 %d |
| 26 | } |
| 27 | |
| 28 | define i32 @main(i32 %argc, i8** %argv) { |
| 29 | %a = call i32 @test_part_set(i32 23, i16 57) |
| 30 | %b = call i32 @test_part_select(i32 23, i16 57) |
| 31 | %c = add i32 %a, %b |
| 32 | %d = urem i32 %c, 1 |
| 33 | ret i32 %d |
| 34 | } |