aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/CodeGen/X86/callbr-asm-loop.ll
blob: 0b6898815f8cc4363bf959ec71adac94301dee3b (plain)
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
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5

; RUN: llc -O1 -mtriple=i686-- < %s | FileCheck %s

; Test that causes multiple defs of %eax.
define i32 @loop1() nounwind {
; CHECK-LABEL: loop1:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    .p2align 4
; CHECK-NEXT:  .LBB0_1: # %tailrecurse
; CHECK-NEXT:    # =>This Inner Loop Header: Depth=1
; CHECK-NEXT:    xorl %eax, %eax
; CHECK-NEXT:    movl $1, %edx
; CHECK-NEXT:    #APP
; CHECK-NEXT:    #NO_APP
; CHECK-NEXT:    jmp .LBB0_1
; CHECK-NEXT:  .LBB0_2: # Inline asm indirect target
; CHECK-NEXT:    # %tailrecurse.tailrecurse_crit_edge
; CHECK-NEXT:    # in Loop: Header=BB0_1 Depth=1
; CHECK-NEXT:    # Label of block must be emitted
; CHECK-NEXT:    jmp .LBB0_1
; CHECK-NEXT:  .LBB0_3: # Inline asm indirect target
; CHECK-NEXT:    # %lab2.split
; CHECK-NEXT:    # Label of block must be emitted
; CHECK-NEXT:    movl %edx, %eax
; CHECK-NEXT:    retl
entry:
  br label %tailrecurse

tailrecurse:
  %0 = callbr { i32, i32 } asm "", "={ax},={dx},0,1,!i,!i"(i32 0, i32 1) #1
          to label %tailrecurse.backedge [label %tailrecurse.backedge, label %lab2.split]

tailrecurse.backedge:
  br label %tailrecurse

lab2.split:
  %asmresult5 = extractvalue { i32, i32 } %0, 1
  ret i32 %asmresult5
}