test/CodeGen/ARM/indirectbr-3.ll

   1 ; REQUIRES: asserts
   2 ; RUN: llc < %s -mtriple=thumbv7-apple-ios -arm-atomic-cfg-tidy=0 -stats 2>&1 | FileCheck %s
   3
   4 ; If ARMBaseInstrInfo::AnalyzeBlocks returns the wrong value, which was possible
   5 ; for blocks with indirect branches, the IfConverter could end up deleting
   6 ; blocks that were the destinations of indirect branches, leaving branches to
   7 ; nowhere.
   8 ; <rdar://problem/14464830>
   9
  10 define i32 @preserve_blocks(i32 %x) {
  11 ; preserve_blocks:
  12 ; CHECK: Block address taken
  13 ; CHECK: %ibt1
  14 ; CHECK: movs r0, #2
  15 ; CHECK: Block address taken
  16 ; CHECK: %ibt2
  17 ; CHECK: movs r0, #1
  18 ; CHECK-NOT: Address of block that was removed by CodeGen
  19
  20 ; Separate bug. There are no valid diamonds to if-convert in this file.
  21 ; There was a bug in the if-conversion code that would if-convert a false
  22 ; diamond where one side had a return and the other had an indirect branch.
  23 ; Make sure no diamond conversions occurred while compiling this file.
  24 ; CHECK: Statistics Collected
  25 ; CHECK-NOT: 1 ifcvt          - Number of diamond if-conversions performed
  26 entry:
  27   %c2 = icmp slt i32 %x, 3
  28   %blockaddr = select i1 %c2, i8* blockaddress(@preserve_blocks, %ibt1), i8* blockaddress(@preserve_blocks, %ibt2)
  29   %c1 = icmp eq i32 %x, 0
  30   br i1 %c1, label %pre_ib, label %nextblock
  31
  32 nextblock:
  33   ret i32 3
  34
  35 ibt1:
  36   ret i32 2
  37
  38 ibt2:
  39   ret i32 1
  40
  41 pre_ib:
  42   indirectbr i8* %blockaddr, [ label %ibt1, label %ibt2 ]
  43 }