252
|
1 ; RUN: opt < %s -S -mtriple=amdgcn-unknown-amdhsa -passes=speculative-execution \
|
173
|
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
|
|
8 define void @ifThen_bitcast(i32 %y) {
|
|
9 br i1 true, label %a, label %b
|
|
10
|
|
11 a:
|
|
12 %x = bitcast i32 %y to float
|
|
13 br label %b
|
|
14
|
|
15 b:
|
|
16 ret void
|
|
17 }
|
|
18
|
|
19 ; CHECK-LABEL: @ifThen_addrspacecast(
|
|
20 ; CHECK: addrspacecast
|
|
21 ; CHECK: br i1 true
|
252
|
22 define void @ifThen_addrspacecast(ptr %y) {
|
173
|
23 br i1 true, label %a, label %b
|
|
24 a:
|
252
|
25 %x = addrspacecast ptr %y to ptr addrspace(1)
|
173
|
26 br label %b
|
|
27
|
|
28 b:
|
|
29 ret void
|
|
30 }
|