| OLD | NEW |
| 1 ; Test that we correctly fix multiple forward branches. | 1 ; Test that we correctly fix multiple forward branches. |
| 2 | 2 |
| 3 ; Compile using standalone assembler. | 3 ; Compile using standalone assembler. |
| 4 ; RUN: %p2i --filetype=asm -i %s --target=arm32 --args -Om1 \ | 4 ; RUN: %p2i --filetype=asm -i %s --target=arm32 --args -Om1 \ |
| 5 ; RUN: | FileCheck %s --check-prefix=ASM | 5 ; RUN: | FileCheck %s --check-prefix=ASM |
| 6 | 6 |
| 7 ; Show bytes in assembled standalone code. | 7 ; Show bytes in assembled standalone code. |
| 8 ; RUN: %p2i --filetype=asm -i %s --target=arm32 --assemble --disassemble \ | 8 ; RUN: %p2i --filetype=asm -i %s --target=arm32 --assemble --disassemble \ |
| 9 ; RUN: --args -Om1 | FileCheck %s --check-prefix=DIS | 9 ; RUN: --args -Om1 | FileCheck %s --check-prefix=DIS |
| 10 | 10 |
| 11 ; Compile using integrated assembler. | 11 ; Compile using integrated assembler. |
| 12 ; RUN: %p2i --filetype=iasm -i %s --target=arm32 --args -Om1 \ | 12 ; RUN: %p2i --filetype=iasm -i %s --target=arm32 --args -Om1 \ |
| 13 ; RUN: | FileCheck %s --check-prefix=IASM | 13 ; RUN: | FileCheck %s --check-prefix=IASM |
| 14 | 14 |
| 15 ; Show bytes in assembled integrated code. | 15 ; Show bytes in assembled integrated code. |
| 16 ; RUN: %p2i --filetype=iasm -i %s --target=arm32 --assemble --disassemble \ | 16 ; RUN: %p2i --filetype=iasm -i %s --target=arm32 --assemble --disassemble \ |
| 17 ; RUN: --args -Om1 | FileCheck %s --check-prefix=DIS | 17 ; RUN: --args -Om1 | FileCheck %s --check-prefix=DIS |
| 18 | 18 |
| 19 ; REQUIRES: allow_dump | 19 ; REQUIRES: allow_dump |
| 20 | 20 |
| 21 define internal void @mult_fwd_branches(i32 %a, i32 %b) { | 21 define internal void @mult_fwd_branches(i32 %a, i32 %b) { |
| 22 ; ASM-LABEL:mult_fwd_branches: | 22 ; ASM-LABEL:mult_fwd_branches: |
| 23 ; ASM-LABEL:.Lmult_fwd_branches$__0: | 23 ; ASM-LABEL:.Lmult_fwd_branches$__0: |
| 24 | 24 |
| 25 ; ASM-NEXT:» sub» sp, sp, #12 | 25 ; ASM-NEXT: sub sp, sp, #12 |
| 26 ; ASM-NEXT:» str» r0, [sp, #8] | 26 ; ASM-NEXT: str r0, [sp, #8] |
| 27 ; ASM-NEXT:» str» r1, [sp, #4] | 27 ; ASM-NEXT: str r1, [sp, #4] |
| 28 | 28 |
| 29 ; DIS-LABEL:00000000 <mult_fwd_branches>: | 29 ; DIS-LABEL:00000000 <mult_fwd_branches>: |
| 30 | 30 |
| 31 ; DIS-NEXT: 0:» e24dd00c | 31 ; DIS-NEXT: 0: e24dd00c |
| 32 ; DIS-NEXT: 4:» e58d0008 | 32 ; DIS-NEXT: 4: e58d0008 |
| 33 ; DIS-NEXT: 8:» e58d1004 | 33 ; DIS-NEXT: 8: e58d1004 |
| 34 | 34 |
| 35 ; IASM-LABEL:mult_fwd_branches: | 35 ; IASM-LABEL:mult_fwd_branches: |
| 36 ; IASM-LABEL:.Lmult_fwd_branches$__0: | 36 ; IASM-LABEL:.Lmult_fwd_branches$__0: |
| 37 | 37 |
| 38 ; IASM-NEXT:» .byte 0xc | 38 ; IASM-NEXT: .byte 0xc |
| 39 ; IASM-NEXT:» .byte 0xd0 | 39 ; IASM-NEXT: .byte 0xd0 |
| 40 ; IASM-NEXT:» .byte 0x4d | 40 ; IASM-NEXT: .byte 0x4d |
| 41 ; IASM-NEXT:» .byte 0xe2 | 41 ; IASM-NEXT: .byte 0xe2 |
| 42 | 42 |
| 43 ; IASM-NEXT:» .byte 0x8 | 43 ; IASM-NEXT: .byte 0x8 |
| 44 ; IASM-NEXT:» .byte 0x0 | 44 ; IASM-NEXT: .byte 0x0 |
| 45 ; IASM-NEXT:» .byte 0x8d | 45 ; IASM-NEXT: .byte 0x8d |
| 46 ; IASM-NEXT:» .byte 0xe5 | 46 ; IASM-NEXT: .byte 0xe5 |
| 47 | 47 |
| 48 ; IASM-NEXT:» .byte 0x4 | 48 ; IASM-NEXT: .byte 0x4 |
| 49 ; IASM-NEXT:» .byte 0x10 | 49 ; IASM-NEXT: .byte 0x10 |
| 50 ; IASM-NEXT:» .byte 0x8d | 50 ; IASM-NEXT: .byte 0x8d |
| 51 ; IASM-NEXT:» .byte 0xe5 | 51 ; IASM-NEXT: .byte 0xe5 |
| 52 | 52 |
| 53 %cmp = icmp slt i32 %a, %b | 53 %cmp = icmp slt i32 %a, %b |
| 54 | 54 |
| 55 ; ASM-NEXT:» ldr» r0, [sp, #8] | 55 ; ASM-NEXT: ldr r0, [sp, #8] |
| 56 ; ASM-NEXT:» mov» r1, #0 | 56 ; ASM-NEXT: mov r1, #0 |
| 57 ; ASM-NEXT:» ldr» r2, [sp, #4] | 57 ; ASM-NEXT: ldr r2, [sp, #4] |
| 58 ; ASM-NEXT:» cmp» r0, r2 | 58 ; ASM-NEXT: cmp r0, r2 |
| 59 ; ASM-NEXT:» movlt» r1, #1 | 59 ; ASM-NEXT: movlt r1, #1 |
| 60 ; ASM-NEXT:» str» r1, [sp] | 60 ; ASM-NEXT: str r1, [sp] |
| 61 | 61 |
| 62 ; DIS-NEXT: c:» e59d0008 | 62 ; DIS-NEXT: c: e59d0008 |
| 63 ; DIS-NEXT: 10:» e3a01000 | 63 ; DIS-NEXT: 10: e3a01000 |
| 64 ; DIS-NEXT: 14:» e59d2004 | 64 ; DIS-NEXT: 14: e59d2004 |
| 65 ; DIS-NEXT: 18:» e1500002 | 65 ; DIS-NEXT: 18: e1500002 |
| 66 ; DIS-NEXT: 1c:» b3a01001 | 66 ; DIS-NEXT: 1c: b3a01001 |
| 67 ; DIS-NEXT: 20:» e58d1000 | 67 ; DIS-NEXT: 20: e58d1000 |
| 68 | 68 |
| 69 ; IASM-NEXT:» .byte 0x8 | 69 ; IASM-NEXT: .byte 0x8 |
| 70 ; IASM-NEXT:» .byte 0x0 | 70 ; IASM-NEXT: .byte 0x0 |
| 71 ; IASM-NEXT:» .byte 0x9d | 71 ; IASM-NEXT: .byte 0x9d |
| 72 ; IASM-NEXT:» .byte 0xe5 | 72 ; IASM-NEXT: .byte 0xe5 |
| 73 | 73 |
| 74 ; IASM-NEXT:» mov» r1, #0 | 74 ; IASM-NEXT: mov r1, #0 |
| 75 | 75 |
| 76 ; IASM-NEXT:» .byte 0x4 | 76 ; IASM-NEXT: .byte 0x4 |
| 77 ; IASM-NEXT:» .byte 0x20 | 77 ; IASM-NEXT: .byte 0x20 |
| 78 ; IASM-NEXT:» .byte 0x9d | 78 ; IASM-NEXT: .byte 0x9d |
| 79 ; IASM-NEXT:» .byte 0xe5 | 79 ; IASM-NEXT: .byte 0xe5 |
| 80 | 80 |
| 81 ; IASM-NEXT:» cmp» r0, r2 | 81 ; IASM-NEXT: .byte 0x2 |
| 82 ; IASM-NEXT:» movlt» r1, #1 | 82 ; IASM-NEXT: .byte 0x0 |
| 83 ; IASM-NEXT: .byte 0x50 |
| 84 ; IASM-NEXT: .byte 0xe1 |
| 83 | 85 |
| 84 ; IASM-NEXT:» .byte 0x0 | 86 ; IASM-NEXT: movlt r1, #1 |
| 85 ; IASM-NEXT:» .byte 0x10 | 87 |
| 86 ; IASM-NEXT:» .byte 0x8d | 88 ; IASM-NEXT: .byte 0x0 |
| 87 ; IASM-NEXT:» .byte 0xe5 | 89 ; IASM-NEXT: .byte 0x10 |
| 90 ; IASM-NEXT: .byte 0x8d |
| 91 ; IASM-NEXT: .byte 0xe5 |
| 88 | 92 |
| 89 br i1 %cmp, label %then, label %else | 93 br i1 %cmp, label %then, label %else |
| 90 | 94 |
| 91 ; ASM-NEXT:» ldr» r0, [sp] | 95 ; ASM-NEXT: ldr r0, [sp] |
| 92 ; ASM-NEXT:» uxtb» r0, r0 | 96 ; ASM-NEXT: uxtb r0, r0 |
| 93 ; ASM-NEXT:» cmp» r0, #0 | 97 ; ASM-NEXT: cmp r0, #0 |
| 94 ; ASM-NEXT:» bne» .Lmult_fwd_branches$then | 98 ; ASM-NEXT: bne .Lmult_fwd_branches$then |
| 95 ; ASM-NEXT:» b» .Lmult_fwd_branches$else | 99 ; ASM-NEXT: b .Lmult_fwd_branches$else |
| 96 | 100 |
| 97 ; DIS-NEXT: 24:» e59d0000 | 101 ; DIS-NEXT: 24: e59d0000 |
| 98 ; DIS-NEXT: 28:» e6ef0070 | 102 ; DIS-NEXT: 28: e6ef0070 |
| 99 ; DIS-NEXT: 2c:» e3500000 | 103 ; DIS-NEXT: 2c: e3500000 |
| 100 ; DIS-NEXT: 30:» 1a000000 | 104 ; DIS-NEXT: 30: 1a000000 |
| 101 ; DIS-NEXT: 34:» ea000000 | 105 ; DIS-NEXT: 34: ea000000 |
| 102 | 106 |
| 103 ; IASM-NEXT:» ldr» r0, [sp] | 107 ; IASM-NEXT: ldr r0, [sp] |
| 104 ; IASM-NEXT:» uxtb» r0, r0 | 108 ; IASM-NEXT: uxtb r0, r0 |
| 105 ; IASM-NEXT:» cmp» r0, #0 | |
| 106 | 109 |
| 107 ; IASM-NEXT:» .byte 0x0 | 110 ; IASM-NEXT: .byte 0x0 |
| 108 ; IASM-NEXT:» .byte 0x0 | 111 ; IASM-NEXT: .byte 0x0 |
| 109 ; IASM-NEXT:» .byte 0x0 | 112 ; IASM-NEXT: .byte 0x50 |
| 110 ; IASM-NEXT:» .byte 0x1a | 113 ; IASM-NEXT: .byte 0xe3 |
| 111 | 114 |
| 112 ; IASM-NEXT:» .byte 0x0 | 115 ; IASM-NEXT: .byte 0x0 |
| 113 ; IASM-NEXT:» .byte 0x0 | 116 ; IASM-NEXT: .byte 0x0 |
| 114 ; IASM-NEXT:» .byte 0x0 | 117 ; IASM-NEXT: .byte 0x0 |
| 115 ; IASM-NEXT:» .byte 0xea | 118 ; IASM-NEXT: .byte 0x1a |
| 119 |
| 120 ; IASM-NEXT: .byte 0x0 |
| 121 ; IASM-NEXT: .byte 0x0 |
| 122 ; IASM-NEXT: .byte 0x0 |
| 123 ; IASM-NEXT: .byte 0xea |
| 116 | 124 |
| 117 then: | 125 then: |
| 118 ; ASM-LABEL:.Lmult_fwd_branches$then: | 126 ; ASM-LABEL:.Lmult_fwd_branches$then: |
| 119 ; IASM-LABEL:.Lmult_fwd_branches$then: | 127 ; IASM-LABEL:.Lmult_fwd_branches$then: |
| 120 | 128 |
| 121 br label %end | 129 br label %end |
| 122 ; ASM-NEXT:» b» .Lmult_fwd_branches$end | 130 ; ASM-NEXT: b .Lmult_fwd_branches$end |
| 123 | 131 |
| 124 ; DIS-NEXT: 38:» ea000000 | 132 ; DIS-NEXT: 38: ea000000 |
| 125 | 133 |
| 126 ; IASM-NEXT:» .byte 0x0 | 134 ; IASM-NEXT: .byte 0x0 |
| 127 ; IASM-NEXT:» .byte 0x0 | 135 ; IASM-NEXT: .byte 0x0 |
| 128 ; IASM-NEXT:» .byte 0x0 | 136 ; IASM-NEXT: .byte 0x0 |
| 129 ; IASM-NEXT:» .byte 0xea | 137 ; IASM-NEXT: .byte 0xea |
| 130 | 138 |
| 131 else: | 139 else: |
| 132 ; ASM-LABEL:.Lmult_fwd_branches$else: | 140 ; ASM-LABEL:.Lmult_fwd_branches$else: |
| 133 ; IASM-LABEL:.Lmult_fwd_branches$else: | 141 ; IASM-LABEL:.Lmult_fwd_branches$else: |
| 134 | 142 |
| 135 br label %end | 143 br label %end |
| 136 ; ASM-NEXT:» b» .Lmult_fwd_branches$end | 144 ; ASM-NEXT: b .Lmult_fwd_branches$end |
| 137 | 145 |
| 138 ; DIS-NEXT: 3c:» eaffffff | 146 ; DIS-NEXT: 3c: eaffffff |
| 139 | 147 |
| 140 ; IASM-NEXT:» .byte 0xff | 148 ; IASM-NEXT: .byte 0xff |
| 141 ; IASM-NEXT:» .byte 0xff | 149 ; IASM-NEXT: .byte 0xff |
| 142 ; IASM-NEXT:» .byte 0xff | 150 ; IASM-NEXT: .byte 0xff |
| 143 ; IASM-NEXT:» .byte 0xea | 151 ; IASM-NEXT: .byte 0xea |
| 144 | 152 |
| 145 | 153 |
| 146 end: | 154 end: |
| 147 ; ASM-LABEL:.Lmult_fwd_branches$end: | 155 ; ASM-LABEL:.Lmult_fwd_branches$end: |
| 148 ; IASM-LABEL: .Lmult_fwd_branches$end: | 156 ; IASM-LABEL: .Lmult_fwd_branches$end: |
| 149 | 157 |
| 150 ret void | 158 ret void |
| 151 | 159 |
| 152 ; ASM-NEXT:» add» sp, sp, #12 | 160 ; ASM-NEXT: add sp, sp, #12 |
| 153 ; ASM-NEXT:» bx» lr | 161 ; ASM-NEXT: bx lr |
| 154 | 162 |
| 155 ; DIS-NEXT: 40:» e28dd00c | 163 ; DIS-NEXT: 40: e28dd00c |
| 156 ; DIS-NEXT: 44:» e12fff1e | 164 ; DIS-NEXT: 44: e12fff1e |
| 157 | 165 |
| 158 ; IASM-NEXT:» .byte 0xc | 166 ; IASM-NEXT: .byte 0xc |
| 159 ; IASM-NEXT:» .byte 0xd0 | 167 ; IASM-NEXT: .byte 0xd0 |
| 160 ; IASM-NEXT:» .byte 0x8d | 168 ; IASM-NEXT: .byte 0x8d |
| 161 ; IASM-NEXT:» .byte 0xe2 | 169 ; IASM-NEXT: .byte 0xe2 |
| 162 | 170 |
| 163 ; IASM-NEXT:» .byte 0x1e | 171 ; IASM-NEXT: .byte 0x1e |
| 164 ; IASM-NEXT:» .byte 0xff | 172 ; IASM-NEXT: .byte 0xff |
| 165 ; IASM-NEXT:» .byte 0x2f | 173 ; IASM-NEXT: .byte 0x2f |
| 166 ; IASM-NEXT:» .byte 0xe1 | 174 ; IASM-NEXT: .byte 0xe1 |
| 167 | 175 |
| 168 } | 176 } |
| OLD | NEW |