test/Transforms/SpeculativeExecution/spec-calls.ll

   1 ; RUN: opt < %s -S -speculative-execution \
   2 ; RUN:   -spec-exec-max-speculation-cost 4 -spec-exec-max-not-hoisted 3 \
   3 ; RUN:   | FileCheck %s
   4
   5 declare float @llvm.fabs.f32(float) nounwind readnone
   6 declare i32 @llvm.ctlz.i32(i32, i1) nounwind readnone
   7
   8 declare float @unknown(float)
   9 declare float @unknown_readnone(float) nounwind readnone
  10
  11 ; CHECK-LABEL: @ifThen_fabs(
  12 ; CHECK: call float @llvm.fabs.f32(
  13 ; CHECK: br i1 true
  14 define void @ifThen_fabs() {
  15   br i1 true, label %a, label %b
  16
  17 a:
  18   %x = call float @llvm.fabs.f32(float 1.0)
  19   br label %b
  20
  21 b:
  22   ret void
  23 }
  24
  25 ; CHECK-LABEL: @ifThen_ctlz(
  26 ; CHECK: call i32 @llvm.ctlz.i32(
  27 ; CHECK: br i1 true
  28 define void @ifThen_ctlz() {
  29   br i1 true, label %a, label %b
  30
  31 a:
  32   %x = call i32 @llvm.ctlz.i32(i32 0, i1 true)
  33   br label %b
  34
  35 b:
  36   ret void
  37 }
  38
  39 ; CHECK-LABEL: @ifThen_call_sideeffects(
  40 ; CHECK: br i1 true
  41 ; CHECK: call float @unknown(
  42 define void @ifThen_call_sideeffects() {
  43   br i1 true, label %a, label %b
  44
  45 a:
  46   %x = call float @unknown(float 1.0)
  47   br label %b
  48
  49 b:
  50   ret void
  51 }
  52
  53 ; CHECK-LABEL: @ifThen_call_readnone(
  54 ; CHECK: br i1 true
  55 ; CHECK: call float @unknown_readnone(
  56 define void @ifThen_call_readnone() {
  57   br i1 true, label %a, label %b
  58 a:
  59   %x = call float @unknown_readnone(float 1.0)
  60   br label %b
  61
  62 b:
  63   ret void
  64 }