mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-22 18:54:02 +01:00
[InstCombine] Pre-commit tests for redundant phis with pointer casts.
Pre-commit tests for D98058.
This commit is contained in:
Florian Hahn
parent
7eb1e2d813
commit
eefce76406
547
test/Transforms/InstCombine/phi-pointercasts.ll
Normal file
547
test/Transforms/InstCombine/phi-pointercasts.ll
Normal file
@ -0,0 +1,547 @@
|
||||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -instcombine -S < %s | FileCheck %s
|
||||
|
||||
define void @test_bitcast_1(i1 %c, i32* %ptr) {
|
||||
; CHECK-LABEL: @test_bitcast_1(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: [[CAST_0:%.*]] = bitcast i32* [[PTR:%.*]] to i8*
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[B0:%.*]], label [[B1:%.*]]
|
||||
; CHECK: b0:
|
||||
; CHECK-NEXT: call void @use(i8* [[CAST_0]])
|
||||
; CHECK-NEXT: br label [[END:%.*]]
|
||||
; CHECK: b1:
|
||||
; CHECK-NEXT: [[CAST_1:%.*]] = bitcast i32* [[PTR]] to i8*
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[P:%.*]] = phi i8* [ [[CAST_0]], [[B0]] ], [ [[CAST_1]], [[B1]] ]
|
||||
; CHECK-NEXT: store i8 0, i8* [[P]], align 1
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
entry:
|
||||
%cast.0 = bitcast i32* %ptr to i8*
|
||||
%cast.1 = bitcast i32* %ptr to i8*
|
||||
br i1 %c, label %b0, label %b1
|
||||
|
||||
b0:
|
||||
call void @use(i8* %cast.0)
|
||||
br label %end
|
||||
|
||||
b1:
|
||||
br label %end
|
||||
|
||||
end:
|
||||
%p = phi i8* [ %cast.0, %b0 ], [ %cast.1, %b1 ]
|
||||
store i8 0, i8* %p
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @test_bitcast_2(i1 %c, i32* %ptr) {
|
||||
; CHECK-LABEL: @test_bitcast_2(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[B0:%.*]], label [[B1:%.*]]
|
||||
; CHECK: b0:
|
||||
; CHECK-NEXT: [[CAST_0:%.*]] = bitcast i32* [[PTR:%.*]] to i8*
|
||||
; CHECK-NEXT: br label [[END:%.*]]
|
||||
; CHECK: b1:
|
||||
; CHECK-NEXT: [[CAST_1:%.*]] = bitcast i32* [[PTR]] to i8*
|
||||
; CHECK-NEXT: call void @use(i8* [[CAST_1]])
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[P:%.*]] = phi i8* [ [[CAST_0]], [[B0]] ], [ [[CAST_1]], [[B1]] ]
|
||||
; CHECK-NEXT: store i8 0, i8* [[P]], align 1
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
entry:
|
||||
br i1 %c, label %b0, label %b1
|
||||
|
||||
b0:
|
||||
%cast.0 = bitcast i32* %ptr to i8*
|
||||
br label %end
|
||||
|
||||
b1:
|
||||
%cast.1 = bitcast i32* %ptr to i8*
|
||||
call void @use(i8* %cast.1)
|
||||
br label %end
|
||||
|
||||
end:
|
||||
%p = phi i8* [ %cast.0, %b0 ], [ %cast.1, %b1 ]
|
||||
store i8 0, i8* %p
|
||||
ret void
|
||||
}
|
||||
|
||||
|
||||
define void @test_bitcast_3(i1 %c, i32** %ptr) {
|
||||
; CHECK-LABEL: @test_bitcast_3(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: [[LOAD_PTR:%.*]] = load i32*, i32** [[PTR:%.*]], align 8
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[B0:%.*]], label [[B1:%.*]]
|
||||
; CHECK: b0:
|
||||
; CHECK-NEXT: [[CAST_0:%.*]] = bitcast i32* [[LOAD_PTR]] to i8*
|
||||
; CHECK-NEXT: br label [[END:%.*]]
|
||||
; CHECK: b1:
|
||||
; CHECK-NEXT: [[CAST_1:%.*]] = bitcast i32* [[LOAD_PTR]] to i8*
|
||||
; CHECK-NEXT: call void @use(i8* [[CAST_1]])
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[P:%.*]] = phi i8* [ [[CAST_0]], [[B0]] ], [ [[CAST_1]], [[B1]] ]
|
||||
; CHECK-NEXT: store i8 0, i8* [[P]], align 1
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
entry:
|
||||
%load.ptr = load i32*, i32** %ptr
|
||||
br i1 %c, label %b0, label %b1
|
||||
|
||||
b0:
|
||||
%cast.0 = bitcast i32* %load.ptr to i8*
|
||||
br label %end
|
||||
|
||||
b1:
|
||||
%cast.1 = bitcast i32* %load.ptr to i8*
|
||||
call void @use(i8* %cast.1)
|
||||
br label %end
|
||||
|
||||
end:
|
||||
%p = phi i8* [ %cast.0, %b0 ], [ %cast.1, %b1 ]
|
||||
store i8 0, i8* %p
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @test_bitcast_loads_in_different_bbs(i1 %c, i32** %ptr.0, i32** %ptr.1) {
|
||||
; CHECK-LABEL: @test_bitcast_loads_in_different_bbs(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[B0:%.*]], label [[B1:%.*]]
|
||||
; CHECK: b0:
|
||||
; CHECK-NEXT: [[TMP0:%.*]] = bitcast i32** [[PTR_0:%.*]] to i8**
|
||||
; CHECK-NEXT: [[LOAD_PTR_02:%.*]] = load i8*, i8** [[TMP0]], align 8
|
||||
; CHECK-NEXT: call void @use(i8* [[LOAD_PTR_02]])
|
||||
; CHECK-NEXT: br label [[END:%.*]]
|
||||
; CHECK: b1:
|
||||
; CHECK-NEXT: [[TMP1:%.*]] = bitcast i32** [[PTR_1:%.*]] to i8**
|
||||
; CHECK-NEXT: [[LOAD_PTR_11:%.*]] = load i8*, i8** [[TMP1]], align 8
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[P:%.*]] = phi i8* [ [[LOAD_PTR_02]], [[B0]] ], [ [[LOAD_PTR_11]], [[B1]] ]
|
||||
; CHECK-NEXT: store i8 0, i8* [[P]], align 1
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
entry:
|
||||
br i1 %c, label %b0, label %b1
|
||||
|
||||
b0:
|
||||
%load.ptr.0 = load i32*, i32** %ptr.0
|
||||
%cast.0 = bitcast i32* %load.ptr.0 to i8*
|
||||
call void @use(i8* %cast.0)
|
||||
br label %end
|
||||
|
||||
b1:
|
||||
%load.ptr.1 = load i32*, i32** %ptr.1
|
||||
%cast.1 = bitcast i32* %load.ptr.1 to i8*
|
||||
br label %end
|
||||
|
||||
end:
|
||||
%p = phi i8* [ %cast.0, %b0 ], [ %cast.1, %b1 ]
|
||||
store i8 0, i8* %p
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @test_gep_1(i1 %c, i32* %ptr) {
|
||||
; CHECK-LABEL: @test_gep_1(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[B0:%.*]], label [[B1:%.*]]
|
||||
; CHECK: b0:
|
||||
; CHECK-NEXT: call void @use.i32(i32* [[PTR:%.*]])
|
||||
; CHECK-NEXT: br label [[END:%.*]]
|
||||
; CHECK: b1:
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: store i32 0, i32* [[PTR]], align 4
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
entry:
|
||||
br i1 %c, label %b0, label %b1
|
||||
|
||||
b0:
|
||||
%cast.0 = getelementptr i32, i32* %ptr, i32 0
|
||||
call void @use.i32(i32* %cast.0)
|
||||
br label %end
|
||||
|
||||
b1:
|
||||
%cast.1 = getelementptr i32, i32* %ptr, i32 0
|
||||
br label %end
|
||||
|
||||
end:
|
||||
%p = phi i32* [ %cast.0, %b0 ], [ %cast.1, %b1 ]
|
||||
store i32 0, i32* %p
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @test_bitcast_not_foldable(i1 %c, i32* %ptr.0, i32* %ptr.1) {
|
||||
; CHECK-LABEL: @test_bitcast_not_foldable(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[B0:%.*]], label [[B1:%.*]]
|
||||
; CHECK: b0:
|
||||
; CHECK-NEXT: [[CAST_0:%.*]] = bitcast i32* [[PTR_0:%.*]] to i8*
|
||||
; CHECK-NEXT: br label [[END:%.*]]
|
||||
; CHECK: b1:
|
||||
; CHECK-NEXT: [[CAST_1:%.*]] = bitcast i32* [[PTR_1:%.*]] to i8*
|
||||
; CHECK-NEXT: call void @use(i8* [[CAST_1]])
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[P:%.*]] = phi i8* [ [[CAST_0]], [[B0]] ], [ [[CAST_1]], [[B1]] ]
|
||||
; CHECK-NEXT: store i8 0, i8* [[P]], align 1
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
entry:
|
||||
br i1 %c, label %b0, label %b1
|
||||
|
||||
b0:
|
||||
%cast.0 = bitcast i32* %ptr.0 to i8*
|
||||
br label %end
|
||||
|
||||
b1:
|
||||
%cast.1 = bitcast i32* %ptr.1 to i8*
|
||||
call void @use(i8* %cast.1)
|
||||
br label %end
|
||||
|
||||
end:
|
||||
%p = phi i8* [ %cast.0, %b0 ], [ %cast.1, %b1 ]
|
||||
store i8 0, i8* %p
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @test_bitcast_with_extra_use(i1 %c, i32* %ptr) {
|
||||
; CHECK-LABEL: @test_bitcast_with_extra_use(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[B0:%.*]], label [[B1:%.*]]
|
||||
; CHECK: b0:
|
||||
; CHECK-NEXT: [[CAST_0:%.*]] = bitcast i32* [[PTR:%.*]] to i8*
|
||||
; CHECK-NEXT: call void @use(i8* [[CAST_0]])
|
||||
; CHECK-NEXT: br label [[END:%.*]]
|
||||
; CHECK: b1:
|
||||
; CHECK-NEXT: [[CAST_1:%.*]] = bitcast i32* [[PTR]] to i8*
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[P:%.*]] = phi i8* [ [[CAST_0]], [[B0]] ], [ [[CAST_1]], [[B1]] ]
|
||||
; CHECK-NEXT: store i8 0, i8* [[P]], align 1
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
entry:
|
||||
br i1 %c, label %b0, label %b1
|
||||
|
||||
b0:
|
||||
%cast.0 = bitcast i32* %ptr to i8*
|
||||
call void @use(i8* %cast.0)
|
||||
br label %end
|
||||
|
||||
b1:
|
||||
%cast.1 = bitcast i32* %ptr to i8*
|
||||
br label %end
|
||||
|
||||
end:
|
||||
%p = phi i8* [ %cast.0, %b0 ], [ %cast.1, %b1 ]
|
||||
store i8 0, i8* %p
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @test_bitcast_different_bases(i1 %c, i32* %ptr.0, i32* %ptr.1) {
|
||||
; CHECK-LABEL: @test_bitcast_different_bases(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[B0:%.*]], label [[B1:%.*]]
|
||||
; CHECK: b0:
|
||||
; CHECK-NEXT: [[CAST_0:%.*]] = bitcast i32* [[PTR_0:%.*]] to i8*
|
||||
; CHECK-NEXT: call void @use(i8* [[CAST_0]])
|
||||
; CHECK-NEXT: br label [[END:%.*]]
|
||||
; CHECK: b1:
|
||||
; CHECK-NEXT: [[CAST_1:%.*]] = bitcast i32* [[PTR_1:%.*]] to i8*
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[P:%.*]] = phi i8* [ [[CAST_0]], [[B0]] ], [ [[CAST_1]], [[B1]] ]
|
||||
; CHECK-NEXT: store i8 0, i8* [[P]], align 1
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
entry:
|
||||
br i1 %c, label %b0, label %b1
|
||||
|
||||
b0:
|
||||
%cast.0 = bitcast i32* %ptr.0 to i8*
|
||||
call void @use(i8* %cast.0)
|
||||
br label %end
|
||||
|
||||
b1:
|
||||
%cast.1 = bitcast i32* %ptr.1 to i8*
|
||||
br label %end
|
||||
|
||||
end:
|
||||
%p = phi i8* [ %cast.0, %b0 ], [ %cast.1, %b1 ]
|
||||
store i8 0, i8* %p
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @test_bitcast_gep_chains(i1 %c, i32* %ptr) {
|
||||
; CHECK-LABEL: @test_bitcast_gep_chains(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[B0:%.*]], label [[B1:%.*]]
|
||||
; CHECK: b0:
|
||||
; CHECK-NEXT: [[CAST_0:%.*]] = bitcast i32* [[PTR:%.*]] to i8*
|
||||
; CHECK-NEXT: call void @use(i8* [[CAST_0]])
|
||||
; CHECK-NEXT: br label [[END:%.*]]
|
||||
; CHECK: b1:
|
||||
; CHECK-NEXT: call void @use.i32(i32* [[PTR]])
|
||||
; CHECK-NEXT: [[CAST_3:%.*]] = bitcast i32* [[PTR]] to i8*
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[P:%.*]] = phi i8* [ [[CAST_0]], [[B0]] ], [ [[CAST_3]], [[B1]] ]
|
||||
; CHECK-NEXT: store i8 0, i8* [[P]], align 1
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
entry:
|
||||
%gep = getelementptr i32, i32* %ptr, i32 0
|
||||
br i1 %c, label %b0, label %b1
|
||||
|
||||
b0:
|
||||
%cast.0 = bitcast i32* %gep to i8*
|
||||
call void @use(i8* %cast.0)
|
||||
br label %end
|
||||
|
||||
b1:
|
||||
%cast.1 = bitcast i32* %ptr to i8*
|
||||
%cast.2 = bitcast i8* %cast.1 to i32*
|
||||
call void @use.i32(i32* %cast.2)
|
||||
%cast.3 = bitcast i32* %cast.2 to i8*
|
||||
br label %end
|
||||
|
||||
end:
|
||||
%p = phi i8* [ %cast.0, %b0 ], [ %cast.3, %b1 ]
|
||||
store i8 0, i8* %p
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @test_4_incoming_values_different_bases_1(i32 %c, i32* %ptr.0, i32* %ptr.1) {
|
||||
; CHECK-LABEL: @test_4_incoming_values_different_bases_1(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: switch i32 [[C:%.*]], label [[END_2:%.*]] [
|
||||
; CHECK-NEXT: i32 0, label [[B0:%.*]]
|
||||
; CHECK-NEXT: i32 1, label [[B1:%.*]]
|
||||
; CHECK-NEXT: i32 2, label [[B2:%.*]]
|
||||
; CHECK-NEXT: i32 3, label [[B3:%.*]]
|
||||
; CHECK-NEXT: ]
|
||||
; CHECK: b0:
|
||||
; CHECK-NEXT: [[CAST_0:%.*]] = bitcast i32* [[PTR_0:%.*]] to i8*
|
||||
; CHECK-NEXT: call void @use(i8* [[CAST_0]])
|
||||
; CHECK-NEXT: br label [[END:%.*]]
|
||||
; CHECK: b1:
|
||||
; CHECK-NEXT: [[CAST_3:%.*]] = bitcast i32* [[PTR_1:%.*]] to i8*
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: b2:
|
||||
; CHECK-NEXT: [[CAST_4:%.*]] = bitcast i32* [[PTR_0]] to i8*
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: b3:
|
||||
; CHECK-NEXT: [[CAST_5:%.*]] = bitcast i32* [[PTR_0]] to i8*
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[P:%.*]] = phi i8* [ [[CAST_0]], [[B0]] ], [ [[CAST_3]], [[B1]] ], [ [[CAST_4]], [[B2]] ], [ [[CAST_5]], [[B3]] ]
|
||||
; CHECK-NEXT: store i8 0, i8* [[P]], align 1
|
||||
; CHECK-NEXT: ret void
|
||||
; CHECK: end.2:
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
entry:
|
||||
%gep = getelementptr i32, i32* %ptr.0, i32 0
|
||||
switch i32 %c, label %end.2 [ i32 0, label %b0
|
||||
i32 1, label %b1
|
||||
i32 2, label %b2
|
||||
i32 3, label %b3]
|
||||
|
||||
b0:
|
||||
%cast.0 = bitcast i32* %gep to i8*
|
||||
call void @use(i8* %cast.0)
|
||||
br label %end
|
||||
|
||||
b1:
|
||||
%cast.1 = bitcast i32* %ptr.1 to i8*
|
||||
%cast.2 = bitcast i8* %cast.1 to i64*
|
||||
%cast.3 = bitcast i64* %cast.2 to i8*
|
||||
br label %end
|
||||
|
||||
b2:
|
||||
%cast.4 = bitcast i32* %gep to i8*
|
||||
br label %end
|
||||
|
||||
b3:
|
||||
%cast.5 = bitcast i32 * %ptr.0 to i8*
|
||||
br label %end
|
||||
|
||||
end:
|
||||
%p = phi i8* [ %cast.0, %b0 ], [ %cast.3, %b1 ], [ %cast.4, %b2 ], [ %cast.5, %b3]
|
||||
store i8 0, i8* %p
|
||||
ret void
|
||||
|
||||
end.2:
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @test_4_incoming_values_different_bases_2(i32 %c, i32* %ptr.0, i32* %ptr.1) {
|
||||
; CHECK-LABEL: @test_4_incoming_values_different_bases_2(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: switch i32 [[C:%.*]], label [[END_2:%.*]] [
|
||||
; CHECK-NEXT: i32 0, label [[B0:%.*]]
|
||||
; CHECK-NEXT: i32 1, label [[B1:%.*]]
|
||||
; CHECK-NEXT: i32 2, label [[B2:%.*]]
|
||||
; CHECK-NEXT: i32 3, label [[B3:%.*]]
|
||||
; CHECK-NEXT: ]
|
||||
; CHECK: b0:
|
||||
; CHECK-NEXT: br label [[END:%.*]]
|
||||
; CHECK: b1:
|
||||
; CHECK-NEXT: [[CAST_1:%.*]] = bitcast i32* [[PTR_0:%.*]] to i8*
|
||||
; CHECK-NEXT: call void @use(i8* [[CAST_1]])
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: b2:
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: b3:
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[P_IN:%.*]] = phi i32* [ [[PTR_1:%.*]], [[B0]] ], [ [[PTR_0]], [[B1]] ], [ [[PTR_0]], [[B2]] ], [ [[PTR_0]], [[B3]] ]
|
||||
; CHECK-NEXT: [[P:%.*]] = bitcast i32* [[P_IN]] to i8*
|
||||
; CHECK-NEXT: store i8 0, i8* [[P]], align 1
|
||||
; CHECK-NEXT: ret void
|
||||
; CHECK: end.2:
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
entry:
|
||||
%gep = getelementptr i32, i32* %ptr.0, i32 0
|
||||
switch i32 %c, label %end.2 [ i32 0, label %b0
|
||||
i32 1, label %b1
|
||||
i32 2, label %b2
|
||||
i32 3, label %b3]
|
||||
|
||||
b0:
|
||||
%cast.0 = bitcast i32* %ptr.1 to i8*
|
||||
br label %end
|
||||
|
||||
b1:
|
||||
%cast.1 = bitcast i32* %ptr.0 to i8*
|
||||
call void @use(i8* %cast.1)
|
||||
%cast.2 = bitcast i8* %cast.1 to i64*
|
||||
%cast.3 = bitcast i64* %cast.2 to i8*
|
||||
br label %end
|
||||
|
||||
b2:
|
||||
%cast.4 = bitcast i32* %gep to i8*
|
||||
br label %end
|
||||
|
||||
b3:
|
||||
%cast.5 = bitcast i32 * %ptr.0 to i8*
|
||||
br label %end
|
||||
|
||||
end:
|
||||
%p = phi i8* [ %cast.0, %b0 ], [ %cast.3, %b1 ], [ %cast.4, %b2 ], [ %cast.5, %b3]
|
||||
store i8 0, i8* %p
|
||||
ret void
|
||||
|
||||
end.2:
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @test_4_incoming_values_different_bases_3(i32 %c, i32* %ptr.0, i32* %ptr.1) {
|
||||
; CHECK-LABEL: @test_4_incoming_values_different_bases_3(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: switch i32 [[C:%.*]], label [[END_2:%.*]] [
|
||||
; CHECK-NEXT: i32 0, label [[B0:%.*]]
|
||||
; CHECK-NEXT: i32 1, label [[B1:%.*]]
|
||||
; CHECK-NEXT: i32 2, label [[B2:%.*]]
|
||||
; CHECK-NEXT: i32 3, label [[B3:%.*]]
|
||||
; CHECK-NEXT: ]
|
||||
; CHECK: b0:
|
||||
; CHECK-NEXT: [[CAST_0:%.*]] = bitcast i32* [[PTR_0:%.*]] to i8*
|
||||
; CHECK-NEXT: br label [[END:%.*]]
|
||||
; CHECK: b1:
|
||||
; CHECK-NEXT: [[CAST_3:%.*]] = bitcast i32* [[PTR_0]] to i8*
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: b2:
|
||||
; CHECK-NEXT: [[CAST_4:%.*]] = bitcast i32* [[PTR_0]] to i8*
|
||||
; CHECK-NEXT: call void @use(i8* [[CAST_4]])
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: b3:
|
||||
; CHECK-NEXT: [[CAST_5:%.*]] = bitcast i32* [[PTR_1:%.*]] to i8*
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[P:%.*]] = phi i8* [ [[CAST_0]], [[B0]] ], [ [[CAST_3]], [[B1]] ], [ [[CAST_4]], [[B2]] ], [ [[CAST_5]], [[B3]] ]
|
||||
; CHECK-NEXT: store i8 0, i8* [[P]], align 1
|
||||
; CHECK-NEXT: ret void
|
||||
; CHECK: end.2:
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
entry:
|
||||
%gep = getelementptr i32, i32* %ptr.0, i32 0
|
||||
switch i32 %c, label %end.2 [ i32 0, label %b0
|
||||
i32 1, label %b1
|
||||
i32 2, label %b2
|
||||
i32 3, label %b3]
|
||||
|
||||
b0:
|
||||
%cast.0 = bitcast i32* %ptr.0 to i8*
|
||||
br label %end
|
||||
|
||||
b1:
|
||||
%cast.1 = bitcast i32* %ptr.0 to i8*
|
||||
%cast.2 = bitcast i8* %cast.1 to i64*
|
||||
%cast.3 = bitcast i64* %cast.2 to i8*
|
||||
br label %end
|
||||
|
||||
b2:
|
||||
%cast.4 = bitcast i32* %gep to i8*
|
||||
call void @use(i8* %cast.4)
|
||||
br label %end
|
||||
|
||||
b3:
|
||||
%cast.5 = bitcast i32 * %ptr.1 to i8*
|
||||
br label %end
|
||||
|
||||
end:
|
||||
%p = phi i8* [ %cast.0, %b0 ], [ %cast.3, %b1 ], [ %cast.4, %b2 ], [ %cast.5, %b3]
|
||||
store i8 0, i8* %p
|
||||
ret void
|
||||
|
||||
end.2:
|
||||
ret void
|
||||
}
|
||||
|
||||
define void @test_addrspacecast_1(i1 %c, i32* %ptr) {
|
||||
; CHECK-LABEL: @test_addrspacecast_1(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: [[TMP0:%.*]] = bitcast i32* [[PTR:%.*]] to i8*
|
||||
; CHECK-NEXT: [[CAST_1:%.*]] = addrspacecast i8* [[TMP0]] to i8 addrspace(1)*
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[B0:%.*]], label [[B1:%.*]]
|
||||
; CHECK: b0:
|
||||
; CHECK-NEXT: [[TMP1:%.*]] = bitcast i32* [[PTR]] to i8*
|
||||
; CHECK-NEXT: [[CAST_0:%.*]] = addrspacecast i8* [[TMP1]] to i8 addrspace(1)*
|
||||
; CHECK-NEXT: br label [[END:%.*]]
|
||||
; CHECK: b1:
|
||||
; CHECK-NEXT: call void @use.i8.addrspace1(i8 addrspace(1)* [[CAST_1]])
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[P:%.*]] = phi i8 addrspace(1)* [ [[CAST_0]], [[B0]] ], [ [[CAST_1]], [[B1]] ]
|
||||
; CHECK-NEXT: store i8 0, i8 addrspace(1)* [[P]], align 1
|
||||
; CHECK-NEXT: ret void
|
||||
;
|
||||
entry:
|
||||
%cast.0 = addrspacecast i32* %ptr to i8 addrspace(1)*
|
||||
%cast.1 = addrspacecast i32* %ptr to i8 addrspace(1)*
|
||||
br i1 %c, label %b0, label %b1
|
||||
|
||||
b0:
|
||||
br label %end
|
||||
|
||||
b1:
|
||||
call void @use.i8.addrspace1(i8 addrspace(1)* %cast.1)
|
||||
br label %end
|
||||
|
||||
end:
|
||||
%p = phi i8 addrspace(1)* [ %cast.0, %b0 ], [ %cast.1, %b1 ]
|
||||
store i8 0, i8 addrspace(1)* %p
|
||||
ret void
|
||||
}
|
||||
|
||||
declare void @use(i8*)
|
||||
declare void @use.i32(i32*)
|
||||
declare void @use.i8.addrspace1(i8 addrspace(1)*)
|
||||
Loading…
Reference in New Issue
Block a user