1; RUN: opt < %s -S -mtriple=amdgcn-unknown-amdhsa -speculative-execution \
2; RUN:   -spec-exec-max-speculation-cost 1 -spec-exec-max-not-hoisted 1 \
3; RUN:   | FileCheck %s
4
5; CHECK-LABEL: @ifThen_bitcast(
6; CHECK: bitcast
7; CHECK: br i1 true
8define void @ifThen_bitcast(i32 %y) {
9  br i1 true, label %a, label %b
10
11a:
12  %x = bitcast i32 %y to float
13  br label %b
14
15b:
16  ret void
17}
18
19; CHECK-LABEL: @ifThen_addrspacecast(
20; CHECK: addrspacecast
21; CHECK: br i1 true
22define void @ifThen_addrspacecast(i32* %y) {
23  br i1 true, label %a, label %b
24a:
25  %x = addrspacecast i32* %y to i32 addrspace(1)*
26  br label %b
27
28b:
29  ret void
30}
31