test/Transforms/InstCombine/token.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
   3 target triple = "x86_64-pc-windows-msvc18.0.0"
   4
   5 declare i32 @__CxxFrameHandler3(...)
   6
   7 define void @test1() personality i32 (...)* @__CxxFrameHandler3 {
   8 bb:
   9   unreachable
  10
  11 unreachable:
  12   %cl = cleanuppad within none []
  13   cleanupret from %cl unwind to caller
  14 }
  15
  16 ; CHECK-LABEL: define void @test1(
  17 ; CHECK: unreachable:
  18 ; CHECK:   %cl = cleanuppad within none []
  19 ; CHECK:   cleanupret from %cl unwind to caller
  20
  21 define void @test2(i8 %A, i8 %B) personality i32 (...)* @__CxxFrameHandler3 {
  22 bb:
  23   %X = zext i8 %A to i32
  24   invoke void @g(i32 0)
  25     to label %cont
  26     unwind label %catch
  27
  28 cont:
  29   %Y = zext i8 %B to i32
  30   invoke void @g(i32 0)
  31     to label %unreachable
  32     unwind label %catch
  33
  34 catch:
  35   %phi = phi i32 [ %X, %bb ], [ %Y, %cont ]
  36   %cs = catchswitch within none [label %doit] unwind to caller
  37
  38 doit:
  39   %cl = catchpad within %cs []
  40   call void @g(i32 %phi)
  41   unreachable
  42
  43 unreachable:
  44   unreachable
  45 }
  46
  47 ; CHECK-LABEL: define void @test2(
  48 ; CHECK:  %X = zext i8 %A to i32
  49 ; CHECK:  %Y = zext i8 %B to i32
  50 ; CHECK:  %phi = phi i32 [ %X, %bb ], [ %Y, %cont ]
  51
  52 define void @test3(i8 %A, i8 %B) personality i32 (...)* @__CxxFrameHandler3 {
  53 bb:
  54   %X = zext i8 %A to i32
  55   invoke void @g(i32 0)
  56     to label %cont
  57     unwind label %catch
  58
  59 cont:
  60   %Y = zext i8 %B to i32
  61   invoke void @g(i32 0)
  62     to label %cont2
  63     unwind label %catch
  64
  65 cont2:
  66   invoke void @g(i32 0)
  67     to label %unreachable
  68     unwind label %catch
  69
  70 catch:
  71   %phi = phi i32 [ %X, %bb ], [ %Y, %cont ], [ %Y, %cont2 ]
  72   %cs = catchswitch within none [label %doit] unwind to caller
  73
  74 doit:
  75   %cl = catchpad within %cs []
  76   call void @g(i32 %phi)
  77   unreachable
  78
  79 unreachable:
  80   unreachable
  81 }
  82
  83 ; CHECK-LABEL: define void @test3(
  84 ; CHECK:  %X = zext i8 %A to i32
  85 ; CHECK:  %Y = zext i8 %B to i32
  86 ; CHECK:  %phi = phi i32 [ %X, %bb ], [ %Y, %cont ], [ %Y, %cont2 ]
  87
  88 declare void @foo()
  89 declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64, i32, void ()*, i32, i32, ...)
  90
  91 define void @test4(i8 addrspace(1)* %obj) gc "statepoint-example" {
  92 bb:
  93   unreachable
  94
  95 unreachable:
  96   call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
  97   ret void
  98 }
  99
 100 ; CHECK-LABEL: define void @test4(
 101 ; CHECK: unreachable:
 102 ; CHECK:   call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 0, i32 0, void ()* @foo, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
 103 ; CHECK:   ret void
 104
 105
 106 declare void @g(i32)