test/Other/new-pm-pr42726-cgscc.ll

   1 ; RUN: opt -aa-pipeline=default -passes="default<O1>" %s -S | FileCheck %s
   2 ; REQUIRES: asserts
   3
   4 declare void @bar()
   5 declare void @baz(i32*)
   6
   7 ; CHECK-LABEL: @foo1()
   8 define void @foo1() {
   9 entry:
  10   %tag = alloca i32, align 4
  11   call void @baz(i32* %tag)
  12   %tmp = load i32, i32* %tag, align 4
  13   switch i32 %tmp, label %sw.bb799 [
  14     i32 10, label %sw.bb239
  15   ]
  16
  17 sw.bb239:
  18   call void @foo2()
  19   br label %cleanup871
  20
  21 sw.bb799:
  22   call void @foo3(i32 undef)
  23   br label %cleanup871
  24
  25 cleanup871:
  26   call void @bar()
  27   unreachable
  28 }
  29
  30 define void @foo2() {
  31   call void @foo4()
  32   unreachable
  33 }
  34
  35 define void @foo3(i32 %ptr) {
  36   call void @foo1()
  37   unreachable
  38 }
  39
  40 define void @foo4() {
  41 entry:
  42   %tag = alloca i32, align 4
  43   call void @baz(i32* %tag)
  44   %tmp = load i32, i32* %tag, align 4
  45   switch i32 %tmp, label %sw.bb442 [
  46     i32 16, label %sw.bb352
  47   ]
  48
  49 sw.bb352:
  50   call void @foo3(i32 undef)
  51   unreachable
  52
  53 sw.bb442:
  54   call void @foo2()
  55   unreachable
  56 }
  57