blob: 3bec1d3dbffa7bac0ced0bb1f7d8d9b263d9717d [file] [log] [blame]
# RUN: llvm-mc %s -filetype obj -triple aarch64-- -o %t.o
# RUN: llvm-cfi-verify %t.o | FileCheck %s
# CHECK-LABEL: {{^Instruction: .* \(FAIL_BAD_CONDITIONAL_BRANCH\)}}
# CHECK-NEXT: tiny.cc:9
# CHECK: Expected Protected: 0 (0.00%)
# CHECK: Unexpected Protected: 0 (0.00%)
# CHECK: Expected Unprotected: 0 (0.00%)
# CHECK: Unexpected Unprotected (BAD): 1 (100.00%)
# Source (tiny.cc):
# int a() { return 42; }
# int b() { return 137; }
# int main(int argc, char** argv) {
# int(*ptr)();
# if (argc == 1)
# ptr = &a;
# else
# ptr = &b;
# return ptr();
# }
# Compile with:
# clang++ -target aarch64-- -gmlt tiny.cc -S -o tiny.s
.text
.file "tiny.cc"
.globl _Z1av
.p2align 2
.type _Z1av,@function
_Z1av: // @_Z1av
.Lfunc_begin0:
.file 1 "tiny.cc"
.loc 1 1 0 // tiny.cc:1:0
.cfi_startproc
// BB#0:
mov w0, #42
.Ltmp0:
.loc 1 1 11 prologue_end // tiny.cc:1:11
ret
.Ltmp1:
.Lfunc_end0:
.size _Z1av, .Lfunc_end0-_Z1av
.cfi_endproc
.globl _Z1bv
.p2align 2
.type _Z1bv,@function
_Z1bv: // @_Z1bv
.Lfunc_begin1:
.loc 1 2 0 // tiny.cc:2:0
.cfi_startproc
// BB#0:
mov w0, #137
.Ltmp2:
.loc 1 2 11 prologue_end // tiny.cc:2:11
ret
.Ltmp3:
.Lfunc_end1:
.size _Z1bv, .Lfunc_end1-_Z1bv
.cfi_endproc
.globl main
.p2align 2
.type main,@function
main: // @main
.Lfunc_begin2:
.loc 1 3 0 // tiny.cc:3:0
.cfi_startproc
// BB#0:
sub sp, sp, #48 // =48
stp x29, x30, [sp, #32] // 8-byte Folded Spill
add x29, sp, #32 // =32
.Lcfi0:
.cfi_def_cfa w29, 16
.Lcfi1:
.cfi_offset w30, -8
.Lcfi2:
.cfi_offset w29, -16
stur wzr, [x29, #-4]
stur w0, [x29, #-8]
str x1, [sp, #16]
.Ltmp4:
.loc 1 5 7 prologue_end // tiny.cc:5:7
ldur w0, [x29, #-8]
cmp w0, #1 // =1
b.ne .LBB2_2
// BB#1:
.loc 1 0 7 is_stmt 0 // tiny.cc:0:7
adrp x8, _Z1av
add x8, x8, :lo12:_Z1av
.loc 1 6 9 is_stmt 1 // tiny.cc:6:9
str x8, [sp, #8]
.loc 1 6 5 is_stmt 0 // tiny.cc:6:5
b .LBB2_3
.LBB2_2:
.loc 1 0 5 // tiny.cc:0:5
adrp x8, _Z1bv
add x8, x8, :lo12:_Z1bv
.loc 1 8 9 is_stmt 1 // tiny.cc:8:9
str x8, [sp, #8]
.LBB2_3:
.loc 1 9 10 // tiny.cc:9:10
ldr x8, [sp, #8]
blr x8
.loc 1 9 3 is_stmt 0 // tiny.cc:9:3
ldp x29, x30, [sp, #32] // 8-byte Folded Reload
add sp, sp, #48 // =48
ret
.Ltmp5:
.Lfunc_end2:
.size main, .Lfunc_end2-main
.cfi_endproc
.section .debug_str,"MS",@progbits,1
.Linfo_string0:
.asciz "clang version 4.0.1-10 (tags/RELEASE_401/final)" // string offset=0
.Linfo_string1:
.asciz "tiny.cc" // string offset=48
.Linfo_string2:
.asciz "/tmp" // string offset=56
.section .debug_loc,"",@progbits
.section .debug_abbrev,"",@progbits
.Lsection_abbrev:
.byte 1 // Abbreviation Code
.byte 17 // DW_TAG_compile_unit
.byte 0 // DW_CHILDREN_no
.byte 37 // DW_AT_producer
.byte 14 // DW_FORM_strp
.byte 19 // DW_AT_language
.byte 5 // DW_FORM_data2
.byte 3 // DW_AT_name
.byte 14 // DW_FORM_strp
.byte 16 // DW_AT_stmt_list
.byte 23 // DW_FORM_sec_offset
.byte 27 // DW_AT_comp_dir
.byte 14 // DW_FORM_strp
.byte 17 // DW_AT_low_pc
.byte 1 // DW_FORM_addr
.byte 18 // DW_AT_high_pc
.byte 6 // DW_FORM_data4
.byte 0 // EOM(1)
.byte 0 // EOM(2)
.byte 0 // EOM(3)
.section .debug_info,"",@progbits
.Lsection_info:
.Lcu_begin0:
.word 38 // Length of Unit
.hword 4 // DWARF version number
.word .Lsection_abbrev // Offset Into Abbrev. Section
.byte 8 // Address Size (in bytes)
.byte 1 // Abbrev [1] 0xb:0x1f DW_TAG_compile_unit
.word .Linfo_string0 // DW_AT_producer
.hword 4 // DW_AT_language
.word .Linfo_string1 // DW_AT_name
.word .Lline_table_start0 // DW_AT_stmt_list
.word .Linfo_string2 // DW_AT_comp_dir
.xword .Lfunc_begin0 // DW_AT_low_pc
.word .Lfunc_end2-.Lfunc_begin0 // DW_AT_high_pc
.section .debug_ranges,"",@progbits
.Ldebug_range:
.section .debug_macinfo,"",@progbits
.Ldebug_macinfo:
.Lcu_macro_begin0:
.byte 0 // End Of Macro List Mark
.ident "clang version 4.0.1-10 (tags/RELEASE_401/final)"
.section ".note.GNU-stack","",@progbits
.section .debug_line,"",@progbits
.Lline_table_start0: