Matthias Braun | 538859c | 2016-07-16 02:24:59 +0000 | [diff] [blame] | 1 | # RUN: llc -march=x86-64 -run-pass none -o - %s | FileCheck %s |
Alex Lorenz | 5022f6b | 2015-08-13 23:10:16 +0000 | [diff] [blame] | 2 | |
| 3 | --- | |
| 4 | |
| 5 | define i32 @foo(i32 %a) { |
| 6 | entry: |
| 7 | %0 = icmp sle i32 %a, 10 |
| 8 | br i1 %0, label %less, label %exit |
| 9 | |
| 10 | less: |
| 11 | ret i32 0 |
| 12 | |
| 13 | exit: |
| 14 | ret i32 %a |
| 15 | } |
| 16 | |
| 17 | define i32 @bar(i32 %a) { |
| 18 | entry: |
| 19 | %0 = icmp sle i32 %a, 10 |
| 20 | br i1 %0, label %less, label %exit |
| 21 | |
| 22 | less: |
| 23 | ret i32 0 |
| 24 | |
| 25 | exit: |
| 26 | ret i32 %a |
| 27 | } |
| 28 | |
| 29 | ... |
| 30 | --- |
| 31 | name: foo |
| 32 | tracksRegLiveness: true |
| 33 | liveins: |
| 34 | - { reg: '%edi' } |
| 35 | # CHECK-LABEL: name: foo |
| 36 | # CHECK: body: | |
| 37 | # CHECK-NEXT: bb.0.entry: |
Geoff Berry | b51774a | 2016-11-18 19:37:24 +0000 | [diff] [blame] | 38 | # CHECK-NEXT: successors: %bb.1.less(0x40000000), %bb.2.exit(0x40000000) |
Alex Lorenz | 5022f6b | 2015-08-13 23:10:16 +0000 | [diff] [blame] | 39 | # CHECK-NEXT: liveins: %edi |
| 40 | # CHECK: CMP32ri8 %edi, 10, implicit-def %eflags |
| 41 | # CHECK-NEXT: JG_1 %bb.2.exit, implicit killed %eflags |
| 42 | |
| 43 | # CHECK: bb.1.less: |
| 44 | # CHECK-NEXT: %eax = MOV32r0 implicit-def dead %eflags |
| 45 | # CHECK-NEXT: RETQ killed %eax |
| 46 | |
| 47 | # CHECK: bb.2.exit: |
| 48 | # CHECK-NEXT: liveins: %edi |
| 49 | # CHECK: %eax = COPY killed %edi |
| 50 | # CHECK-NEXT: RETQ killed %eax |
| 51 | body: | |
| 52 | bb.0.entry: |
| 53 | successors: %bb.1.less, %bb.2.exit |
| 54 | |
| 55 | liveins: %edi |
| 56 | |
| 57 | CMP32ri8 %edi, 10, implicit-def %eflags |
| 58 | |
| 59 | JG_1 %bb.2.exit, implicit killed %eflags |
| 60 | |
| 61 | bb.1.less: |
| 62 | |
| 63 | |
| 64 | %eax = MOV32r0 implicit-def dead %eflags |
| 65 | RETQ killed %eax |
| 66 | bb.2.exit: |
| 67 | |
| 68 | |
| 69 | liveins: %edi |
| 70 | %eax = COPY killed %edi |
| 71 | RETQ killed %eax |
| 72 | |
| 73 | ... |
| 74 | --- |
| 75 | name: bar |
| 76 | tracksRegLiveness: true |
| 77 | liveins: |
| 78 | - { reg: '%edi' } |
| 79 | # CHECK-LABEL: name: bar |
| 80 | # CHECK: body: | |
| 81 | # CHECK-NEXT: bb.0.entry: |
Geoff Berry | b51774a | 2016-11-18 19:37:24 +0000 | [diff] [blame] | 82 | # CHECK-NEXT: successors: %bb.1.less(0x40000000), %bb.2.exit(0x40000000) |
Alex Lorenz | 5022f6b | 2015-08-13 23:10:16 +0000 | [diff] [blame] | 83 | # CHECK-NEXT: liveins: %edi |
| 84 | # CHECK: CMP32ri8 %edi, 10, implicit-def %eflags |
| 85 | # CHECK-NEXT: JG_1 %bb.2.exit, implicit killed %eflags |
| 86 | |
| 87 | # CHECK: bb.1.less: |
| 88 | # CHECK-NEXT: %eax = MOV32r0 implicit-def dead %eflags |
| 89 | # CHECK-NEXT: RETQ killed %eax |
| 90 | |
| 91 | # CHECK: bb.2.exit: |
| 92 | # CHECK-NEXT: liveins: %edi |
| 93 | # CHECK: %eax = COPY killed %edi |
| 94 | # CHECK-NEXT: RETQ killed %eax |
| 95 | body: | |
| 96 | |
| 97 | bb.0.entry: |
| 98 | successors: %bb.1.less, %bb.2.exit |
| 99 | liveins: %edi |
| 100 | CMP32ri8 %edi, 10, implicit-def %eflags |
| 101 | JG_1 %bb.2.exit, implicit killed %eflags |
| 102 | bb.1.less: %eax = MOV32r0 implicit-def dead %eflags |
| 103 | RETQ killed %eax |
| 104 | |
| 105 | bb.2.exit: liveins: %edi |
| 106 | %eax = COPY killed %edi |
| 107 | RETQ killed %eax |
| 108 | |
| 109 | ... |