test/Transforms/SpeculativeExecution/spec-compares.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 ; CHECK-LABEL: @ifThen_icmp(
   6 ; CHECK: icmp
   7 ; CHECK: br i1 true
   8 define void @ifThen_icmp() {
   9   br i1 true, label %a, label %b
  10
  11 a:
  12   %x = icmp eq i32 undef, undef
  13   br label %b
  14
  15 b:
  16   ret void
  17 }
  18
  19 ; CHECK-LABEL: @ifThen_fcmp(
  20 ; CHECK: fcmp
  21 ; CHECK: br i1 true
  22 define void @ifThen_fcmp() {
  23   br i1 true, label %a, label %b
  24
  25 a:
  26   %x = fcmp oeq float undef, undef
  27   br label %b
  28
  29 b:
  30   ret void
  31 }