| ; RUN: llc -mtriple=thumbv8.1m.main %s -o - | FileCheck %s | |
| @foo = unnamed_addr alias void (), ptr @bar | |
| ; CHECK: .globl bar | |
| ; CHECK: .globl __acle_se_bar @ @bar | |
| ; CHECK: .globl foo | |
| ; CHECK: foo = bar | |
| ; CHECK: __acle_se_foo = __acle_se_bar | |
| define dso_local void @bar() unnamed_addr #0 { | |
| start: | |
| ret void | |
| } | |
| attributes #0 = { nounwind "cmse_nonsecure_entry" } | |