test/CodeGen/X86/callbr-asm-bb-exports.ll

   1 ; REQUIRES: asserts
   2 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -o /dev/null -debug-only=isel 2>&1 | FileCheck %s
   3
   4 ; Make sure we emit the basic block exports and the TokenFactor before the
   5 ; inlineasm_br. Not sure how to get a MachineIR change so this reads the debug
   6 ; output from SelectionDAG.
   7
   8 ; CHECK: t0: ch = EntryToken
   9 ; CHECK-NEXT: t4: i32,ch = CopyFromReg t0, Register:i32 %3
  10 ; CHECK-NEXT: t10: i32 = add t4, Constant:i32<1>
  11 ; CHECK-NEXT: t12: ch = CopyToReg t0, Register:i32 %0, t10
  12 ; CHECK-NEXT: t6: i32,ch = CopyFromReg t0, Register:i32 %4
  13 ; CHECK-NEXT: t13: i32 = add t6, Constant:i32<1>
  14 ; CHECK-NEXT: t15: ch = CopyToReg t0, Register:i32 %1, t13
  15 ; CHECK-NEXT: t17: ch = TokenFactor t12, t15
  16 ; CHECK-NEXT: t2: i32,ch = CopyFromReg t0, Register:i32 %2
  17 ; CHECK-NEXT: t8: i32 = add t2, Constant:i32<4>
  18 ; CHECK-NEXT: t22: ch,glue = CopyToReg t17, Register:i32 %5, t8
  19 ; CHECK-NEXT: t29: ch,glue = inlineasm_br t22, {{.*}}, t22:1
  20
  21 define i32 @test(i32 %a, i32 %b, i32 %c) {
  22 entry:
  23   %0 = add i32 %a, 4
  24   %1 = add i32 %b, 1
  25   %2 = add i32 %c, 1
  26   callbr void asm "xorl $0, $0; jmp ${1:l}", "r,X,~{dirflag},~{fpsr},~{flags}"(i32 %0, i8* blockaddress(@test, %fail)) to label %normal [label %fail]
  27
  28 normal:
  29   ret i32 %1
  30
  31 fail:
  32   ret i32 %2
  33 }