| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc -mtriple=aarch64 %s -o - | FileCheck %s |
| |
| declare i32 @g0(i32) |
| declare i32 @g1(ptr) |
| |
| define i32 @foo_nounwind(i1 %cmp) nounwind { |
| ; CHECK-LABEL: foo_nounwind: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: stp x29, x30, [sp, #-16]! // 16-byte Folded Spill |
| ; CHECK-NEXT: sub sp, sp, #97, lsl #12 // =397312 |
| ; CHECK-NEXT: sub sp, sp, #2688 |
| ; CHECK-NEXT: tbz w0, #0, .LBB0_2 |
| ; CHECK-NEXT: // %bb.1: // %br1 |
| ; CHECK-NEXT: mov w0, wzr |
| ; CHECK-NEXT: bl g0 |
| ; CHECK-NEXT: add w0, w0, #1 |
| ; CHECK-NEXT: add sp, sp, #97, lsl #12 // =397312 |
| ; CHECK-NEXT: add sp, sp, #2688 |
| ; CHECK-NEXT: ldp x29, x30, [sp], #16 // 16-byte Folded Reload |
| ; CHECK-NEXT: ret |
| ; CHECK-NEXT: .LBB0_2: // %br2 |
| ; CHECK-NEXT: mov w8, #42 // =0x2a |
| ; CHECK-NEXT: mov x0, sp |
| ; CHECK-NEXT: str w8, [sp] |
| ; CHECK-NEXT: bl g1 |
| ; CHECK-NEXT: add sp, sp, #97, lsl #12 // =397312 |
| ; CHECK-NEXT: add sp, sp, #2688 |
| ; CHECK-NEXT: ldp x29, x30, [sp], #16 // 16-byte Folded Reload |
| ; CHECK-NEXT: b g0 |
| %ptr = alloca i32, i32 100000, align 4 |
| br i1 %cmp, label %br1, label %br2 |
| |
| br1: |
| %call1 = call i32 @g0(i32 0) |
| %rv1 = add i32 %call1, 1 |
| ret i32 %rv1 |
| |
| br2: |
| store i32 42, ptr %ptr, align 4 |
| %call2 = call i32 @g1(ptr %ptr) |
| %rv2 = tail call i32 @g0(i32 %call2) |
| ret i32 %rv2 |
| } |
| |
| define i32 @foo_default(i1 %cmp) { |
| ; CHECK-LABEL: foo_default: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: stp x29, x30, [sp, #-16]! // 16-byte Folded Spill |
| ; CHECK-NEXT: sub sp, sp, #97, lsl #12 // =397312 |
| ; CHECK-NEXT: sub sp, sp, #2688 |
| ; CHECK-NEXT: .cfi_def_cfa_offset 400016 |
| ; CHECK-NEXT: .cfi_offset w30, -8 |
| ; CHECK-NEXT: .cfi_offset w29, -16 |
| ; CHECK-NEXT: tbz w0, #0, .LBB1_2 |
| ; CHECK-NEXT: // %bb.1: // %br1 |
| ; CHECK-NEXT: mov w0, wzr |
| ; CHECK-NEXT: bl g0 |
| ; CHECK-NEXT: add w0, w0, #1 |
| ; CHECK-NEXT: add sp, sp, #97, lsl #12 // =397312 |
| ; CHECK-NEXT: add sp, sp, #2688 |
| ; CHECK-NEXT: ldp x29, x30, [sp], #16 // 16-byte Folded Reload |
| ; CHECK-NEXT: ret |
| ; CHECK-NEXT: .LBB1_2: // %br2 |
| ; CHECK-NEXT: mov w8, #42 // =0x2a |
| ; CHECK-NEXT: mov x0, sp |
| ; CHECK-NEXT: str w8, [sp] |
| ; CHECK-NEXT: bl g1 |
| ; CHECK-NEXT: add sp, sp, #97, lsl #12 // =397312 |
| ; CHECK-NEXT: add sp, sp, #2688 |
| ; CHECK-NEXT: ldp x29, x30, [sp], #16 // 16-byte Folded Reload |
| ; CHECK-NEXT: b g0 |
| %ptr = alloca i32, i32 100000, align 4 |
| br i1 %cmp, label %br1, label %br2 |
| |
| br1: |
| %call1 = call i32 @g0(i32 0) |
| %rv1 = add i32 %call1, 1 |
| ret i32 %rv1 |
| |
| br2: |
| store i32 42, ptr %ptr, align 4 |
| %call2 = call i32 @g1(ptr %ptr) |
| %rv2 = tail call i32 @g0(i32 %call2) |
| ret i32 %rv2 |
| } |
| |
| define i32 @foo_uwtable(i1 %cmp) uwtable { |
| ; CHECK-LABEL: foo_uwtable: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: stp x29, x30, [sp, #-16]! // 16-byte Folded Spill |
| ; CHECK-NEXT: .cfi_def_cfa_offset 16 |
| ; CHECK-NEXT: .cfi_offset w30, -8 |
| ; CHECK-NEXT: .cfi_offset w29, -16 |
| ; CHECK-NEXT: sub sp, sp, #97, lsl #12 // =397312 |
| ; CHECK-NEXT: .cfi_def_cfa_offset 397328 |
| ; CHECK-NEXT: sub sp, sp, #2688 |
| ; CHECK-NEXT: .cfi_def_cfa_offset 400016 |
| ; CHECK-NEXT: .cfi_remember_state |
| ; CHECK-NEXT: tbz w0, #0, .LBB2_2 |
| ; CHECK-NEXT: // %bb.1: // %br1 |
| ; CHECK-NEXT: mov w0, wzr |
| ; CHECK-NEXT: bl g0 |
| ; CHECK-NEXT: add w0, w0, #1 |
| ; CHECK-NEXT: add sp, sp, #97, lsl #12 // =397312 |
| ; CHECK-NEXT: .cfi_def_cfa_offset 2704 |
| ; CHECK-NEXT: add sp, sp, #2688 |
| ; CHECK-NEXT: .cfi_def_cfa_offset 16 |
| ; CHECK-NEXT: ldp x29, x30, [sp], #16 // 16-byte Folded Reload |
| ; CHECK-NEXT: .cfi_def_cfa_offset 0 |
| ; CHECK-NEXT: .cfi_restore w30 |
| ; CHECK-NEXT: .cfi_restore w29 |
| ; CHECK-NEXT: ret |
| ; CHECK-NEXT: .LBB2_2: // %br2 |
| ; CHECK-NEXT: .cfi_restore_state |
| ; CHECK-NEXT: mov w8, #42 // =0x2a |
| ; CHECK-NEXT: mov x0, sp |
| ; CHECK-NEXT: str w8, [sp] |
| ; CHECK-NEXT: bl g1 |
| ; CHECK-NEXT: add sp, sp, #97, lsl #12 // =397312 |
| ; CHECK-NEXT: .cfi_def_cfa_offset 2704 |
| ; CHECK-NEXT: add sp, sp, #2688 |
| ; CHECK-NEXT: .cfi_def_cfa_offset 16 |
| ; CHECK-NEXT: ldp x29, x30, [sp], #16 // 16-byte Folded Reload |
| ; CHECK-NEXT: .cfi_def_cfa_offset 0 |
| ; CHECK-NEXT: .cfi_restore w30 |
| ; CHECK-NEXT: .cfi_restore w29 |
| ; CHECK-NEXT: b g0 |
| %ptr = alloca i32, i32 100000, align 4 |
| br i1 %cmp, label %br1, label %br2 |
| |
| br1: |
| %call1 = call i32 @g0(i32 0) |
| %rv1 = add i32 %call1, 1 |
| ret i32 %rv1 |
| |
| br2: |
| store i32 42, ptr %ptr, align 4 |
| %call2 = call i32 @g1(ptr %ptr) |
| %rv2 = tail call i32 @g0(i32 %call2) |
| ret i32 %rv2 |
| } |
| |
| define i32 @foo_uwtable_sync(i1 %cmp) uwtable(sync) { |
| ; CHECK-LABEL: foo_uwtable_sync: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: stp x29, x30, [sp, #-16]! // 16-byte Folded Spill |
| ; CHECK-NEXT: sub sp, sp, #97, lsl #12 // =397312 |
| ; CHECK-NEXT: sub sp, sp, #2688 |
| ; CHECK-NEXT: .cfi_def_cfa_offset 400016 |
| ; CHECK-NEXT: .cfi_offset w30, -8 |
| ; CHECK-NEXT: .cfi_offset w29, -16 |
| ; CHECK-NEXT: tbz w0, #0, .LBB3_2 |
| ; CHECK-NEXT: // %bb.1: // %br1 |
| ; CHECK-NEXT: mov w0, wzr |
| ; CHECK-NEXT: bl g0 |
| ; CHECK-NEXT: add w0, w0, #1 |
| ; CHECK-NEXT: add sp, sp, #97, lsl #12 // =397312 |
| ; CHECK-NEXT: add sp, sp, #2688 |
| ; CHECK-NEXT: ldp x29, x30, [sp], #16 // 16-byte Folded Reload |
| ; CHECK-NEXT: ret |
| ; CHECK-NEXT: .LBB3_2: // %br2 |
| ; CHECK-NEXT: mov w8, #42 // =0x2a |
| ; CHECK-NEXT: mov x0, sp |
| ; CHECK-NEXT: str w8, [sp] |
| ; CHECK-NEXT: bl g1 |
| ; CHECK-NEXT: add sp, sp, #97, lsl #12 // =397312 |
| ; CHECK-NEXT: add sp, sp, #2688 |
| ; CHECK-NEXT: ldp x29, x30, [sp], #16 // 16-byte Folded Reload |
| ; CHECK-NEXT: b g0 |
| %ptr = alloca i32, i32 100000, align 4 |
| br i1 %cmp, label %br1, label %br2 |
| |
| br1: |
| %call1 = call i32 @g0(i32 0) |
| %rv1 = add i32 %call1, 1 |
| ret i32 %rv1 |
| |
| br2: |
| store i32 42, ptr %ptr, align 4 |
| %call2 = call i32 @g1(ptr %ptr) |
| %rv2 = tail call i32 @g0(i32 %call2) |
| ret i32 %rv2 |
| } |
| |
| define i32 @foo_uwtable_async(i1 %cmp) uwtable(async) { |
| ; CHECK-LABEL: foo_uwtable_async: |
| ; CHECK: // %bb.0: |
| ; CHECK-NEXT: stp x29, x30, [sp, #-16]! // 16-byte Folded Spill |
| ; CHECK-NEXT: .cfi_def_cfa_offset 16 |
| ; CHECK-NEXT: .cfi_offset w30, -8 |
| ; CHECK-NEXT: .cfi_offset w29, -16 |
| ; CHECK-NEXT: sub sp, sp, #97, lsl #12 // =397312 |
| ; CHECK-NEXT: .cfi_def_cfa_offset 397328 |
| ; CHECK-NEXT: sub sp, sp, #2688 |
| ; CHECK-NEXT: .cfi_def_cfa_offset 400016 |
| ; CHECK-NEXT: .cfi_remember_state |
| ; CHECK-NEXT: tbz w0, #0, .LBB4_2 |
| ; CHECK-NEXT: // %bb.1: // %br1 |
| ; CHECK-NEXT: mov w0, wzr |
| ; CHECK-NEXT: bl g0 |
| ; CHECK-NEXT: add w0, w0, #1 |
| ; CHECK-NEXT: add sp, sp, #97, lsl #12 // =397312 |
| ; CHECK-NEXT: .cfi_def_cfa_offset 2704 |
| ; CHECK-NEXT: add sp, sp, #2688 |
| ; CHECK-NEXT: .cfi_def_cfa_offset 16 |
| ; CHECK-NEXT: ldp x29, x30, [sp], #16 // 16-byte Folded Reload |
| ; CHECK-NEXT: .cfi_def_cfa_offset 0 |
| ; CHECK-NEXT: .cfi_restore w30 |
| ; CHECK-NEXT: .cfi_restore w29 |
| ; CHECK-NEXT: ret |
| ; CHECK-NEXT: .LBB4_2: // %br2 |
| ; CHECK-NEXT: .cfi_restore_state |
| ; CHECK-NEXT: mov w8, #42 // =0x2a |
| ; CHECK-NEXT: mov x0, sp |
| ; CHECK-NEXT: str w8, [sp] |
| ; CHECK-NEXT: bl g1 |
| ; CHECK-NEXT: add sp, sp, #97, lsl #12 // =397312 |
| ; CHECK-NEXT: .cfi_def_cfa_offset 2704 |
| ; CHECK-NEXT: add sp, sp, #2688 |
| ; CHECK-NEXT: .cfi_def_cfa_offset 16 |
| ; CHECK-NEXT: ldp x29, x30, [sp], #16 // 16-byte Folded Reload |
| ; CHECK-NEXT: .cfi_def_cfa_offset 0 |
| ; CHECK-NEXT: .cfi_restore w30 |
| ; CHECK-NEXT: .cfi_restore w29 |
| ; CHECK-NEXT: b g0 |
| %ptr = alloca i32, i32 100000, align 4 |
| br i1 %cmp, label %br1, label %br2 |
| |
| br1: |
| %call1 = call i32 @g0(i32 0) |
| %rv1 = add i32 %call1, 1 |
| ret i32 %rv1 |
| |
| br2: |
| store i32 42, ptr %ptr, align 4 |
| %call2 = call i32 @g1(ptr %ptr) |
| %rv2 = tail call i32 @g0(i32 %call2) |
| ret i32 %rv2 |
| } |