test/Transforms/JumpThreading/indirectbr.ll

   1 ; RUN: opt -S < %s -jump-threading | FileCheck %s
   2
   3 ; Keep block addresses alive.
   4 @addresses = constant [4 x i8*] [
   5   i8* blockaddress(@test1, %L1), i8* blockaddress(@test1, %L2),
   6   i8* blockaddress(@test2, %L1), i8* blockaddress(@test2, %L2)
   7 ]
   8
   9 declare void @bar()
  10 declare void @baz()
  11
  12
  13
  14 ; Check basic jump threading for indirectbr instructions.
  15
  16 ; CHECK: void @test1
  17 ; CHECK: br i1 %tobool, label %L1, label %indirectgoto
  18 ; CHECK-NOT: if.else:
  19 ; CHECK: L1:
  20 ; CHECK: indirectbr i8* %address, [label %L1, label %L2]
  21 define void @test1(i32 %i, i8* %address) nounwind {
  22 entry:
  23   %rem = srem i32 %i, 2
  24   %tobool = icmp ne i32 %rem, 0
  25   br i1 %tobool, label %indirectgoto, label %if.else
  26
  27 if.else:                                          ; preds = %entry
  28   br label %indirectgoto
  29
  30 L1:                                               ; preds = %indirectgoto
  31   call void @bar()
  32   ret void
  33
  34 L2:                                               ; preds = %indirectgoto
  35   call void @baz()
  36   ret void
  37
  38 indirectgoto:                                     ; preds = %if.else, %entry
  39   %indirect.goto.dest = phi i8* [ %address, %if.else ], [ blockaddress(@test1, %L1), %entry ]
  40   indirectbr i8* %indirect.goto.dest, [label %L1, label %L2]
  41 }
  42
  43
  44 ; Check constant folding of indirectbr
  45
  46 ; CHECK: void @test2
  47 ; CHECK-NEXT: :
  48 ; CHECK-NEXT: call void @bar
  49 ; CHECK-NEXT: ret void
  50 define void @test2() nounwind {
  51 entry:
  52   indirectbr i8* blockaddress(@test2, %L1), [label %L1, label %L2]
  53
  54 L1:                                               ; preds = %indirectgoto
  55   call void @bar()
  56   ret void
  57
  58 L2:                                               ; preds = %indirectgoto
  59   call void @baz()
  60   ret void
  61 }