1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -S -passes=sroa < %s | FileCheck %s
3
4%st.half = type { half }
5
6; Allow speculateSelectInstLoads to fold load and select
7; even if there is an intervening bitcast.
8define <2 x i16> @test_load_bitcast_select(i1 %cond1, i1 %cond2) {
9; CHECK-LABEL: @test_load_bitcast_select(
10; CHECK-NEXT:  entry:
11; CHECK-NEXT:    [[TMP0:%.*]] = bitcast half 0xHFFFF to i16
12; CHECK-NEXT:    [[TMP1:%.*]] = bitcast half 0xH0000 to i16
13; CHECK-NEXT:    [[LD1_SROA_SPECULATED:%.*]] = select i1 [[COND1:%.*]], i16 [[TMP0]], i16 [[TMP1]]
14; CHECK-NEXT:    [[V1:%.*]] = insertelement <2 x i16> poison, i16 [[LD1_SROA_SPECULATED]], i32 0
15; CHECK-NEXT:    [[TMP2:%.*]] = bitcast half 0xHFFFF to i16
16; CHECK-NEXT:    [[TMP3:%.*]] = bitcast half 0xH0000 to i16
17; CHECK-NEXT:    [[LD2_SROA_SPECULATED:%.*]] = select i1 [[COND2:%.*]], i16 [[TMP2]], i16 [[TMP3]]
18; CHECK-NEXT:    [[V2:%.*]] = insertelement <2 x i16> [[V1]], i16 [[LD2_SROA_SPECULATED]], i32 1
19; CHECK-NEXT:    ret <2 x i16> [[V2]]
20;
21entry:
22  %true = alloca half, align 2
23  %false = alloca half, align 2
24  store half 0xHFFFF, ptr %true, align 2
25  store half 0xH0000, ptr %false, align 2
26  %sel1 = select i1 %cond1, ptr %true, ptr %false
27  %ld1 = load i16, ptr %sel1, align 2
28  %v1 = insertelement <2 x i16> poison, i16 %ld1, i32 0
29  %sel2 = select i1 %cond2, ptr %true, ptr %false
30  %ld2 = load i16, ptr %sel2, align 2
31  %v2 = insertelement <2 x i16> %v1, i16 %ld2, i32 1
32  ret <2 x i16> %v2
33}
34
35%st.args = type { i32, ptr }
36
37; A bitcasted load and a direct load of select.
38define void @test_multiple_loads_select(i1 %cmp){
39; CHECK-LABEL: @test_multiple_loads_select(
40; CHECK-NEXT:  entry:
41; CHECK-NEXT:    [[ADDR_I8_SROA_SPECULATED:%.*]] = select i1 [[CMP:%.*]], ptr undef, ptr undef
42; CHECK-NEXT:    call void @foo_i8(ptr [[ADDR_I8_SROA_SPECULATED]])
43; CHECK-NEXT:    [[ADDR_I32_SROA_SPECULATED:%.*]] = select i1 [[CMP]], ptr undef, ptr undef
44; CHECK-NEXT:    call void @foo_i32(ptr [[ADDR_I32_SROA_SPECULATED]])
45; CHECK-NEXT:    ret void
46;
47entry:
48  %args = alloca [2 x %st.args], align 16
49  %arr1 = getelementptr inbounds [2 x %st.args], ptr %args, i64 0, i64 1
50  %sel = select i1 %cmp, ptr %arr1, ptr %args
51  %addr = getelementptr inbounds %st.args, ptr %sel, i64 0, i32 1
52  %addr.i8 = load ptr, ptr %addr, align 8
53  call void @foo_i8(ptr %addr.i8)
54  %addr.i32 = load ptr, ptr %addr, align 8
55  call void @foo_i32 (ptr %addr.i32)
56  ret void
57}
58
59declare void @foo_i8(ptr)
60declare void @foo_i32(ptr)
61