| ; RUN: opt < %s -S -mtriple=amdgcn-unknown-amdhsa -passes=speculative-execution \ |
| ; RUN: -spec-exec-max-speculation-cost 1 -spec-exec-max-not-hoisted 1 \ |
| ; RUN: | FileCheck %s |
| |
| ; CHECK-LABEL: @ifThen_bitcast( |
| ; CHECK: bitcast |
| ; CHECK: br i1 true |
| define void @ifThen_bitcast(i32 %y) { |
| br i1 true, label %a, label %b |
| |
| a: |
| %x = bitcast i32 %y to float |
| br label %b |
| |
| b: |
| ret void |
| } |
| |
| ; CHECK-LABEL: @ifThen_addrspacecast( |
| ; CHECK: addrspacecast |
| ; CHECK: br i1 true |
| define void @ifThen_addrspacecast(ptr %y) { |
| br i1 true, label %a, label %b |
| a: |
| %x = addrspacecast ptr %y to ptr addrspace(1) |
| br label %b |
| |
| b: |
| ret void |
| } |
