llvm/test/CodeGen/ARM/indirectbr.ll

   1 ; RUN: llc < %s -relocation-model=pic -mtriple=armv6-apple-darwin | FileCheck %s -check-prefix=ARM
   2 ; RUN: llc < %s -relocation-model=pic -mtriple=thumbv6-apple-darwin | FileCheck %s -check-prefix=THUMB
   3 ; RUN: llc < %s -relocation-model=static -mtriple=thumbv7-apple-darwin | FileCheck %s -check-prefix=THUMB2
   4 ; RUN: llc < %s -relocation-model=static -mtriple=thumbv8-apple-darwin | FileCheck %s -check-prefix=THUMB2
   5
   6 @nextaddr = global ptr null                       ; <ptr> [#uses=2]
   7 @C.0.2070 = private constant [5 x ptr] [ptr blockaddress(@foo, %L1), ptr blockaddress(@foo, %L2), ptr blockaddress(@foo, %L3), ptr blockaddress(@foo, %L4), ptr blockaddress(@foo, %L5)] ; <ptr> [#uses=1]
   8
   9 define internal i32 @foo(i32 %i) nounwind {
  10 ; ARM-LABEL: foo:
  11 ; THUMB-LABEL: foo:
  12 ; THUMB2-LABEL: foo:
  13 entry:
  14   ; _nextaddr gets CSEed for use later on.
  15 ; THUMB: ldr r[[NEXTADDR_REG:[0-9]+]], [[NEXTADDR_CPI:LCPI0_[0-9]+]]
  16 ; THUMB: [[NEXTADDR_PCBASE:LPC0_[0-9]]]:
  17 ; THUMB: add r[[NEXTADDR_REG]], pc
  18
  19   %0 = load ptr, ptr @nextaddr, align 4               ; <ptr> [#uses=2]
  20   %1 = icmp eq ptr %0, null                       ; <i1> [#uses=1]
  21 ; indirect branch gets duplicated here
  22 ; ARM: bx
  23 ; THUMB: mov pc,
  24 ; THUMB2: mov pc,
  25   br i1 %1, label %bb3, label %bb2
  26
  27 bb2:                                              ; preds = %entry, %bb3
  28   %gotovar.4.0 = phi ptr [ %gotovar.4.0.pre, %bb3 ], [ %0, %entry ] ; <ptr> [#uses=1]
  29 ; ARM: bx
  30 ; THUMB: mov pc,
  31   indirectbr ptr %gotovar.4.0, [label %L5, label %L4, label %L3, label %L2, label %L1]
  32
  33 bb3:                                              ; preds = %entry
  34   %2 = getelementptr inbounds [5 x ptr], ptr @C.0.2070, i32 0, i32 %i ; <ptr> [#uses=1]
  35   %gotovar.4.0.pre = load ptr, ptr %2, align 4        ; <ptr> [#uses=1]
  36   br label %bb2
  37
  38 L5:                                               ; preds = %bb2
  39   br label %L4
  40
  41 L4:                                               ; preds = %L5, %bb2
  42   %res.0 = phi i32 [ 385, %L5 ], [ 35, %bb2 ]     ; <i32> [#uses=1]
  43   br label %L3
  44
  45 L3:                                               ; preds = %L4, %bb2
  46   %res.1 = phi i32 [ %res.0, %L4 ], [ 5, %bb2 ]   ; <i32> [#uses=1]
  47   br label %L2
  48
  49 L2:                                               ; preds = %L3, %bb2
  50   %res.2 = phi i32 [ %res.1, %L3 ], [ 1, %bb2 ]   ; <i32> [#uses=1]
  51   %phitmp = mul i32 %res.2, 6                     ; <i32> [#uses=1]
  52   br label %L1
  53
  54 L1:                                               ; preds = %L2, %bb2
  55   %res.3 = phi i32 [ %phitmp, %L2 ], [ 2, %bb2 ]  ; <i32> [#uses=1]
  56 ; ARM-LABEL: %L1
  57 ; ARM: ldr [[R_NEXTADDR:r[0-9]+]], LCPI
  58 ; ARM: ldr [[R1:r[0-9]+]], LCPI
  59 ; ARM: add [[R_NEXTADDR_b:r[0-9]+]], pc, [[R_NEXTADDR]]
  60 ; ARM: add [[R1b:r[0-9]+]], pc, [[R1]]
  61 ; ARM: str [[R1b]], [[[R_NEXTADDR_b]]]
  62
  63 ; THUMB: %L1
  64 ; THUMB: b [[SPLITBB:LBB[0-9_]+]]
  65
  66 ; THUMB: %.split4
  67 ; THUMB: muls
  68
  69 ; THUMB: [[SPLITBB]]:
  70 ; THUMB: ldr [[R2:r[0-9]+]], LCPI
  71 ; THUMB: add [[R2]], pc
  72 ; THUMB: str [[R2]], [r[[NEXTADDR_REG]]]
  73 ; THUMB2-LABEL: %L1
  74 ; THUMB2: ldr [[R2:r[0-9]+]], LCPI
  75 ; THUMB2-NEXT: str{{(.w)?}} [[R2]]
  76   store ptr blockaddress(@foo, %L5), ptr @nextaddr, align 4
  77   ret i32 %res.3
  78 }
  79 ; ARM: .long Ltmp0-(LPC{{.*}}+8)
  80 ; THUMB: .long Ltmp0-(LPC{{.*}}+4)
  81 ; THUMB: .long _nextaddr-([[NEXTADDR_PCBASE]]+4)
  82 ; THUMB2: .long Ltmp0