1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s
define i32 @test1(i32 %x) {
; CHECK-LABEL: test1:
; CHECK: # %bb.0: # %entry
; CHECK-NEXT: #APP
; CHECK-NEXT: .quad .Ltmp0
; CHECK-NEXT: .quad .LBB0_1
; CHECK-NEXT: #NO_APP
; CHECK-NEXT: .LBB0_1: # Block address taken
; CHECK-NEXT: # %bar
; CHECK-NEXT: # Label of block must be emitted
; CHECK-NEXT: pushq %rax
; CHECK-NEXT: .cfi_def_cfa_offset 16
; CHECK-NEXT: callq foo@PLT
; CHECK-NEXT: addq $8, %rsp
; CHECK-NEXT: .cfi_def_cfa_offset 8
; CHECK-NEXT: .Ltmp0: # Block address taken
; CHECK-NEXT: # %bb.2: # %baz
; CHECK-NEXT: movl %eax, %edi
; CHECK-NEXT: jmp mux@PLT # TAILCALL
entry:
callbr void asm sideeffect ".quad ${0:l}\0A\09.quad ${1:l}", "i,!i,~{dirflag},~{fpsr},~{flags}"(ptr blockaddress(@test1, %baz))
to label %asm.fallthrough [label %bar]
asm.fallthrough:
br label %bar
bar:
%call = tail call i32 @foo(i32 %x)
br label %baz
baz:
%call1 = tail call i32 @mux(i32 %call)
ret i32 %call1
}
declare i32 @foo(i32)
declare i32 @mux(i32)
|
