32 lines · plain
1; RUN: opt < %s -S -passes=speculative-execution \2; RUN: -spec-exec-max-speculation-cost 4 -spec-exec-max-not-hoisted 3 \3; RUN: | FileCheck %s4 5; CHECK-LABEL: @ifThen_icmp(6; CHECK: icmp7; CHECK: br i1 true8define void @ifThen_icmp() {9 br i1 true, label %a, label %b10 11a:12 %x = icmp eq i32 undef, undef13 br label %b14 15b:16 ret void17}18 19; CHECK-LABEL: @ifThen_fcmp(20; CHECK: fcmp21; CHECK: br i1 true22define void @ifThen_fcmp() {23 br i1 true, label %a, label %b24 25a:26 %x = fcmp oeq float undef, undef27 br label %b28 29b:30 ret void31}32