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 } 32