1; RUN: llc < %s -mtriple=thumbv6m-none-eabi -relocation-model=static | FileCheck %s -check-prefixes=CHECK 2 3define void @fn() #0 { 4entry: 5; CHECK-LABEL: fn: 6; CHECK: ldr [[REG:r[0-9]+]], [[LABEL:[^\s]+]] 7; CHECK-NEXT: blx [[REG]] 8; CHECK: [[LABEL]]: 9; CHECK-NEXT: .long bar 10 call void @bar() 11 ret void 12} 13 14define void @execute_only_fn() #1 { 15; CHECK-LABEL: execute_only_fn: 16; CHECK: movs [[REG0:r[0-9]+]], :upper8_15:bar 17; CHECK-NEXT: lsls [[REG0]], [[REG0]], #8 18; CHECK-NEXT: adds [[REG0]], :upper0_7:bar 19; CHECK-NEXT: lsls [[REG0]], [[REG0]], #8 20; CHECK-NEXT: adds [[REG0]], :lower8_15:bar 21; CHECK-NEXT: lsls [[REG0]], [[REG0]], #8 22; CHECK-NEXT: adds [[REG0]], :lower0_7:bar 23; CHECK-NEXT: blx [[REG0]] 24; CHECK-NOT: ldr 25 26entry: 27 call void @bar() 28 ret void 29} 30 31attributes #0 = { noinline optnone "target-features"="+thumb-mode,+long-calls" } 32attributes #1 = { noinline optnone "target-features"="+execute-only,+thumb-mode,+long-calls" } 33 34declare dso_local void @bar() 35