[llvm] 2bf1955 - [InstCombine] Pre-commit tests for redundant phis with pointer casts.
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Mon Mar 8 08:26:05 PST 2021
Author: Florian Hahn
Date: 2021-03-08T16:25:50Z
New Revision: 2bf1955f8b3272fce1d06fa10ffe1d91f9b08045
URL: https://github.com/llvm/llvm-project/commit/2bf1955f8b3272fce1d06fa10ffe1d91f9b08045
DIFF: https://github.com/llvm/llvm-project/commit/2bf1955f8b3272fce1d06fa10ffe1d91f9b08045.diff
LOG: [InstCombine] Pre-commit tests for redundant phis with pointer casts.
Pre-commit tests for D98058.
Added:
llvm/test/Transforms/InstCombine/phi-pointercasts.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstCombine/phi-pointercasts.ll b/llvm/test/Transforms/InstCombine/phi-pointercasts.ll
new file mode 100644
index 000000000000..791caac22995
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/phi-pointercasts.ll
@@ -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_
diff erent_bbs(i1 %c, i32** %ptr.0, i32** %ptr.1) {
+; CHECK-LABEL: @test_bitcast_loads_in_
diff erent_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_
diff erent_bases(i1 %c, i32* %ptr.0, i32* %ptr.1) {
+; CHECK-LABEL: @test_bitcast_
diff erent_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_
diff erent_bases_1(i32 %c, i32* %ptr.0, i32* %ptr.1) {
+; CHECK-LABEL: @test_4_incoming_values_
diff erent_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_
diff erent_bases_2(i32 %c, i32* %ptr.0, i32* %ptr.1) {
+; CHECK-LABEL: @test_4_incoming_values_
diff erent_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_
diff erent_bases_3(i32 %c, i32* %ptr.0, i32* %ptr.1) {
+; CHECK-LABEL: @test_4_incoming_values_
diff erent_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)*)
More information about the llvm-commits
mailing list