1; RUN: llc -mtriple thumbv7--windows-itanium -filetype asm -o - %s | FileCheck %s
2
3declare void @llvm.trap()
4declare arm_aapcs_vfpcc zeroext i1 @g()
5
6define arm_aapcs_vfpcc i8* @f() {
7entry:
8  %call = tail call arm_aapcs_vfpcc zeroext i1 @g()
9  br i1 %call, label %if.then, label %if.end
10
11if.then:
12  ret i8* bitcast (i1 ()* @g to i8*)
13
14if.end:
15  tail call void @llvm.trap()
16  unreachable
17}
18
19; CHECK: push.w {r11, lr}
20; CHECK: bl g
21; CHECK: movw [[REG:r[0-9]+]], :lower16:g
22; CHECK: movt [[REG]], :upper16:g
23; CHECK: pop.w {r11, pc}
24
25