| Jim Stichnoth | 5bc2b1d | 2014-05-22 13:38:48 -0700 | [diff] [blame] | 1 | ; This tests the basic structure of the Unreachable instruction. |
| 2 | |
| Jan Voung | 6ec369e | 2015-06-30 11:03:15 -0700 | [diff] [blame] | 3 | ; RUN: %if --need=target_X8632 --command %p2i --filetype=obj --disassemble \ |
| 4 | ; RUN: --target x8632 -i %s --args -O2 \ |
| 5 | ; RUN: | %if --need=target_X8632 --command FileCheck %s |
| 6 | ; RUN: %if --need=target_X8632 --command %p2i --filetype=obj --disassemble \ |
| 7 | ; RUN: --target x8632 -i %s --args -Om1 \ |
| 8 | ; RUN: | %if --need=target_X8632 --command FileCheck %s |
| 9 | |
| 10 | ; RUN: %if --need=target_ARM32 --need=allow_dump \ |
| 11 | ; RUN: --command %p2i --filetype=asm --assemble \ |
| 12 | ; RUN: --disassemble --target arm32 -i %s --args -O2 --skip-unimplemented \ |
| 13 | ; RUN: | %if --need=target_ARM32 --need=allow_dump \ |
| 14 | ; RUN: --command FileCheck --check-prefix ARM32 %s |
| Jan Voung | 70fa525 | 2015-07-06 14:01:25 -0700 | [diff] [blame] | 15 | ; RUN: %if --need=target_ARM32 --need=allow_dump \ |
| 16 | ; RUN: --command %p2i --filetype=asm --assemble \ |
| 17 | ; RUN: --disassemble --target arm32 -i %s --args -Om1 --skip-unimplemented \ |
| 18 | ; RUN: | %if --need=target_ARM32 --need=allow_dump \ |
| 19 | ; RUN: --command FileCheck --check-prefix ARM32 %s |
| Jan Voung | dddc306 | 2014-08-29 12:59:02 -0700 | [diff] [blame] | 20 | |
| Jim Stichnoth | f7c9a14 | 2014-04-29 10:52:43 -0700 | [diff] [blame] | 21 | define internal i32 @divide(i32 %num, i32 %den) { |
| 22 | entry: |
| 23 | %cmp = icmp ne i32 %den, 0 |
| 24 | br i1 %cmp, label %return, label %abort |
| 25 | |
| 26 | abort: ; preds = %entry |
| 27 | unreachable |
| Jim Stichnoth | f7c9a14 | 2014-04-29 10:52:43 -0700 | [diff] [blame] | 28 | |
| 29 | return: ; preds = %entry |
| 30 | %div = sdiv i32 %num, %den |
| 31 | ret i32 %div |
| 32 | } |
| 33 | |
| Jan Voung | dddc306 | 2014-08-29 12:59:02 -0700 | [diff] [blame] | 34 | ; CHECK-LABEL: divide |
| Jim Stichnoth | d97c7df | 2014-06-04 11:57:08 -0700 | [diff] [blame] | 35 | ; CHECK: cmp |
| Jim Stichnoth | c53f7a6 | 2015-02-20 11:43:41 -0800 | [diff] [blame] | 36 | ; CHECK: ud2 |
| Jim Stichnoth | d97c7df | 2014-06-04 11:57:08 -0700 | [diff] [blame] | 37 | ; CHECK: cdq |
| 38 | ; CHECK: idiv |
| 39 | ; CHECK: ret |
| Jan Voung | 6ec369e | 2015-06-30 11:03:15 -0700 | [diff] [blame] | 40 | |
| 41 | ; ARM32-LABEL: divide |
| 42 | ; ARM32: cmp |
| 43 | ; ARM32: .word 0xe7fedef0 |
| 44 | ; ARM32: bl {{.*}} __divsi3 |
| 45 | ; ARM32: bx lr |
