test/CodeGen/MIR/X86/block-address-operands.mir

   1 # RUN: llc -march=x86-64 -start-after branch-folder -stop-after branch-folder -o /dev/null %s | FileCheck %s
   2 # This test ensures that the MIR parser parses the block address operands
   3 # correctly.
   4
   5 --- |
   6
   7   @addr = global i8* null
   8
   9   define void @test() {
  10   entry:
  11     store volatile i8* blockaddress(@test, %block), i8** @addr
  12     %val = load volatile i8*, i8** @addr
  13     indirectbr i8* %val, [label %block]
  14
  15   block:
  16     ret void
  17   }
  18
  19   define void @test2() {
  20   entry:
  21     store volatile i8* blockaddress(@test2, %"quoted block"), i8** @addr
  22     %val = load volatile i8*, i8** @addr
  23     indirectbr i8* %val, [label %"quoted block"]
  24
  25   "quoted block":
  26     ret void
  27   }
  28
  29   define void @slot_in_other_function(i8** %addr) {
  30   entry:
  31     store volatile i8* blockaddress(@test3, %0), i8** %addr
  32     ret void
  33   }
  34
  35   define void @test3() {
  36   entry:
  37     store volatile i8* blockaddress(@test3, %0), i8** @addr
  38     %val = load volatile i8*, i8** @addr
  39     indirectbr i8* %val, [label %0]
  40
  41     ret void
  42   }
  43
  44   define void @test4() {
  45   entry:
  46     store volatile i8* blockaddress(@test4, %block), i8** @addr
  47     %val = load volatile i8*, i8** @addr
  48     indirectbr i8* %val, [label %block]
  49
  50   block:
  51     ret void
  52   }
  53
  54 ...
  55 ---
  56 name:            test
  57 body: |
  58   bb.0.entry:
  59     successors: %bb.1.block
  60   ; CHECK: %rax = LEA64r %rip, 1, _, blockaddress(@test, %ir-block.block), _
  61     %rax = LEA64r %rip, 1, _, blockaddress(@test, %ir-block.block), _
  62     MOV64mr %rip, 1, _, @addr, _, killed %rax
  63     JMP64m %rip, 1, _, @addr, _
  64
  65   bb.1.block (address-taken):
  66     RETQ
  67 ...
  68 ---
  69 name:            test2
  70 tracksRegLiveness: true
  71 body: |
  72   bb.0.entry:
  73     successors: %bb.1
  74   ; CHECK: %rax = LEA64r %rip, 1, _, blockaddress(@test2, %ir-block."quoted block"), _
  75     %rax = LEA64r %rip, 1, _, blockaddress(@test2, %ir-block."quoted block"), _
  76     MOV64mr %rip, 1, _, @addr, _, killed %rax
  77     JMP64m %rip, 1, _, @addr, _
  78
  79   bb.1 (address-taken):
  80     RETQ
  81 ...
  82 ---
  83 name:            slot_in_other_function
  84 tracksRegLiveness: true
  85 body: |
  86   bb.0.entry:
  87     liveins: %rdi
  88   ; CHECK-LABEL: name: slot_in_other_function
  89   ; CHECK: %rax = LEA64r %rip, 1, _, blockaddress(@test3, %ir-block.0), _
  90     %rax = LEA64r %rip, 1, _, blockaddress(@test3, %ir-block.0), _
  91     MOV64mr killed %rdi, 1, _, 0, _, killed %rax
  92     RETQ
  93 ...
  94 ---
  95 name:            test3
  96 tracksRegLiveness: true
  97 body: |
  98   bb.0.entry:
  99     successors: %bb.1
 100   ; CHECK-LABEL: name: test3
 101   ; CHECK: %rax = LEA64r %rip, 1, _, blockaddress(@test3, %ir-block.0), _
 102     %rax = LEA64r %rip, 1, _, blockaddress(@test3, %ir-block.0), _
 103     MOV64mr %rip, 1, _, @addr, _, killed %rax
 104     JMP64m %rip, 1, _, @addr, _
 105
 106   bb.1 (address-taken):
 107     RETQ
 108 ...
 109 ---
 110 name:            test4
 111 body: |
 112   bb.0.entry:
 113     successors: %bb.1.block
 114   ; CHECK: %rax = LEA64r %rip, 1, _, blockaddress(@test, %ir-block.block) + 2, _
 115     %rax = LEA64r %rip, 1, _, blockaddress(@test, %ir-block.block) + 2, _
 116     MOV64mr %rip, 1, _, @addr, _, killed %rax
 117     JMP64m %rip, 1, _, @addr, _
 118
 119   bb.1.block (address-taken):
 120     RETQ
 121 ...