1; RUN: opt -S -simplifycfg < %s | FileCheck %s 2 3; CHECK-LABEL: @speculatable_attribute 4; CHECK: select 5define i32 @speculatable_attribute(i32 %a) { 6entry: 7 %c = icmp sgt i32 %a, 64 8 br i1 %c, label %end, label %if 9 10if: 11 %val = call i32 @func() #0 12 br label %end 13 14end: 15 %ret = phi i32 [%val, %if], [0, %entry] 16 ret i32 %ret 17} 18 19define i32 @func() #0 { 20 ret i32 1 21} 22attributes #0 = { nounwind readnone speculatable } 23 24