summaryrefslogtreecommitdiffstats
path: root/llvm/test
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/test')
-rw-r--r--llvm/test/Transforms/InstCombine/intptr1.ll193
-rw-r--r--llvm/test/Transforms/InstCombine/intptr2.ll39
-rw-r--r--llvm/test/Transforms/InstCombine/intptr3.ll39
-rw-r--r--llvm/test/Transforms/InstCombine/intptr4.ll53
-rw-r--r--llvm/test/Transforms/InstCombine/intptr5.ll56
-rw-r--r--llvm/test/Transforms/InstCombine/intptr6.ll90
6 files changed, 470 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/intptr1.ll b/llvm/test/Transforms/InstCombine/intptr1.ll
new file mode 100644
index 00000000000..3d8f915eb43
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/intptr1.ll
@@ -0,0 +1,193 @@
+; RUN: opt < %s -instcombine -S | FileCheck %s
+
+define void @test1(float* %a, float* readnone %a_end, i64* %b.i64) {
+; CHECK-LABEL: @test1
+entry:
+ %cmp1 = icmp ult float* %a, %a_end
+ br i1 %cmp1, label %for.body.preheader, label %for.end
+
+for.body.preheader: ; preds = %entry
+ %b = load i64, i64* %b.i64, align 8
+; CHECK: load float*, float**
+ br label %for.body
+
+for.body: ; preds = %for.body, %for.body.preheader
+ %a.addr.03 = phi float* [ %incdec.ptr, %for.body ], [ %a, %for.body.preheader ]
+ %b.addr.02 = phi i64 [ %add.int, %for.body ], [ %b, %for.body.preheader ]
+
+; CHECK: %a.addr.03 = phi float* [ %incdec.ptr, %for.body ], [ %a, %for.body.preheader ]
+; CHECK: %b.addr.02.ptr = phi float* [ %add, %for.body ],
+; CHECK-NOT: %b.addr.02 = phi i64
+
+ %tmp = inttoptr i64 %b.addr.02 to float*
+; CHECK-NOT: inttoptr i64
+ %tmp1 = load float, float* %tmp, align 4
+; CHECK: = load
+ %mul.i = fmul float %tmp1, 4.200000e+01
+ store float %mul.i, float* %a.addr.03, align 4
+ %add = getelementptr inbounds float, float* %tmp, i64 1
+ %add.int = ptrtoint float* %add to i64
+; CHECK %add = getelementptr
+; CHECK-NOT: ptrtoint float*
+ %incdec.ptr = getelementptr inbounds float, float* %a.addr.03, i64 1
+; CHECK: %incdec.ptr =
+ %cmp = icmp ult float* %incdec.ptr, %a_end
+ br i1 %cmp, label %for.body, label %for.end
+
+for.end: ; preds = %for.body, %entry
+ ret void
+}
+
+define void @test1_neg(float* %a, float* readnone %a_end, i64* %b.i64) {
+; CHECK-LABEL: @test1_neg
+entry:
+ %cmp1 = icmp ult float* %a, %a_end
+ br i1 %cmp1, label %for.body.preheader, label %for.end
+
+for.body.preheader: ; preds = %entry
+ %b = load i64, i64* %b.i64, align 8
+ br label %for.body
+
+for.body: ; preds = %for.body, %for.body.preheader
+ %a.addr.03 = phi float* [ %incdec.ptr, %bb ], [ %a, %for.body.preheader ]
+ %b.addr.02 = phi i64 [ %add.int, %bb ], [ %b, %for.body.preheader ]
+
+; CHECK: %a.addr.03 = phi float* [ %incdec.ptr, %bb ], [ %a, %for.body.preheader ]
+; CHECK: %b.addr.02 = phi i64
+
+ %tmp = inttoptr i64 %b.addr.02 to float*
+; CHECK: inttoptr i64
+ %ptrcmp = icmp ult float* %tmp, %a_end
+ br i1 %ptrcmp, label %for.end, label %bb
+
+bb:
+ %tmp1 = load float, float* %a, align 4
+ %mul.i = fmul float %tmp1, 4.200000e+01
+ store float %mul.i, float* %a.addr.03, align 4
+ %add = getelementptr inbounds float, float* %a, i64 1
+ %add.int = ptrtoint float* %add to i64
+; CHECK: ptrtoint float*
+ %incdec.ptr = getelementptr inbounds float, float* %a.addr.03, i64 1
+ %cmp = icmp ult float* %incdec.ptr, %a_end
+ br i1 %cmp, label %for.body, label %for.end
+
+for.end: ; preds = %for.body, %entry
+ ret void
+}
+
+
+define void @test2(float* %a, float* readnone %a_end, float** %b.float) {
+; CHECK-LABEL: @test2
+entry:
+ %cmp1 = icmp ult float* %a, %a_end
+ br i1 %cmp1, label %for.body.preheader, label %for.end
+
+for.body.preheader: ; preds = %entry
+ %b.i64 = bitcast float** %b.float to i64*
+ %b = load i64, i64* %b.i64, align 8
+; CHECK: load float*, float**
+ br label %for.body
+
+for.body: ; preds = %for.body, %for.body.preheader
+ %a.addr.03 = phi float* [ %incdec.ptr, %for.body ], [ %a, %for.body.preheader ]
+ %b.addr.02 = phi i64 [ %add.int, %for.body ], [ %b, %for.body.preheader ]
+
+; CHECK: %a.addr.03 = phi float* [ %incdec.ptr, %for.body ], [ %a, %for.body.preheader ]
+; CHECK: %b.addr.02.ptr = phi float* [ %add, %for.body ],
+; CHECK-NOT: %b.addr.02 = phi i64
+
+ %tmp = inttoptr i64 %b.addr.02 to float*
+; CHECK-NOT: inttoptr i64
+ %tmp1 = load float, float* %tmp, align 4
+; CHECK: = load
+ %mul.i = fmul float %tmp1, 4.200000e+01
+ store float %mul.i, float* %a.addr.03, align 4
+ %add = getelementptr inbounds float, float* %tmp, i64 1
+; CHECK: %add =
+ %add.int = ptrtoint float* %add to i64
+; CHECK-NOT: ptrtoint float*
+ %incdec.ptr = getelementptr inbounds float, float* %a.addr.03, i64 1
+; CHECK: %incdec.ptr =
+ %cmp = icmp ult float* %incdec.ptr, %a_end
+ br i1 %cmp, label %for.body, label %for.end
+
+for.end: ; preds = %for.body, %entry
+ ret void
+}
+
+
+define void @test3(float* %a, float* readnone %a_end, i8** %b.i8p) {
+; CHECK-LABEL: @test3
+entry:
+ %cmp1 = icmp ult float* %a, %a_end
+ br i1 %cmp1, label %for.body.preheader, label %for.end
+
+for.body.preheader: ; preds = %entry
+ %b.i64 = bitcast i8** %b.i8p to i64*
+ %b = load i64, i64* %b.i64, align 8
+; CHECK: load float*, float**
+ br label %for.body
+
+for.body: ; preds = %for.body, %for.body.preheader
+ %a.addr.03 = phi float* [ %incdec.ptr, %for.body ], [ %a, %for.body.preheader ]
+ %b.addr.02 = phi i64 [ %add.int, %for.body ], [ %b, %for.body.preheader ]
+
+; CHECK: %a.addr.03 = phi float* [ %incdec.ptr, %for.body ], [ %a, %for.body.preheader ]
+; CHECK: %b.addr.02.ptr = phi float* [ %add, %for.body ],
+; CHECK-NOT: %b.addr.02 = phi i64
+
+ %tmp = inttoptr i64 %b.addr.02 to float*
+; CHECK-NOT: inttoptr i64
+ %tmp1 = load float, float* %tmp, align 4
+; CHECK: = load
+ %mul.i = fmul float %tmp1, 4.200000e+01
+ store float %mul.i, float* %a.addr.03, align 4
+ %add = getelementptr inbounds float, float* %tmp, i64 1
+; CHECK: %add = getelementptr
+ %add.int = ptrtoint float* %add to i64
+; CHECK-NOT: ptrtoint float*
+ %incdec.ptr = getelementptr inbounds float, float* %a.addr.03, i64 1
+; CHECK: %incdec.ptr =
+ %cmp = icmp ult float* %incdec.ptr, %a_end
+ br i1 %cmp, label %for.body, label %for.end
+
+for.end: ; preds = %for.body, %entry
+ ret void
+}
+
+
+define void @test4(float* %a, float* readnone %a_end, float** %b.float) {
+entry:
+; CHECK-LABEL: @test4
+ %cmp1 = icmp ult float* %a, %a_end
+ br i1 %cmp1, label %for.body.preheader, label %for.end
+
+for.body.preheader: ; preds = %entry
+ %b.f = load float*, float** %b.float, align 8
+ %b = ptrtoint float* %b.f to i64
+; CHECK: load float*, float**
+; CHECK-NOT: ptrtoint float*
+ br label %for.body
+; CHECK: br label %for.body
+
+for.body: ; preds = %for.body, %for.body.preheader
+ %a.addr.03 = phi float* [ %incdec.ptr, %for.body ], [ %a, %for.body.preheader ]
+ %b.addr.02 = phi i64 [ %add.int, %for.body ], [ %b, %for.body.preheader ]
+ %tmp = inttoptr i64 %b.addr.02 to float*
+; CHECK-NOT: inttoptr i64
+ %tmp1 = load float, float* %tmp, align 4
+; CHECK: = load
+ %mul.i = fmul float %tmp1, 4.200000e+01
+ store float %mul.i, float* %a.addr.03, align 4
+ %add = getelementptr inbounds float, float* %tmp, i64 1
+; CHECK: %add =
+ %add.int = ptrtoint float* %add to i64
+; CHECK-NOT: ptrtoint float*
+ %incdec.ptr = getelementptr inbounds float, float* %a.addr.03, i64 1
+; CHECK: %incdec.ptr =
+ %cmp = icmp ult float* %incdec.ptr, %a_end
+ br i1 %cmp, label %for.body, label %for.end
+
+for.end: ; preds = %for.body, %entry
+ ret void
+}
diff --git a/llvm/test/Transforms/InstCombine/intptr2.ll b/llvm/test/Transforms/InstCombine/intptr2.ll
new file mode 100644
index 00000000000..b105a722749
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/intptr2.ll
@@ -0,0 +1,39 @@
+; RUN: opt < %s -instcombine -S | FileCheck %s
+
+define void @test1(float* %a, float* readnone %a_end, i32* %b.i) {
+; CHECK-LABEL: @test1
+entry:
+ %cmp1 = icmp ult float* %a, %a_end
+ br i1 %cmp1, label %for.body.preheader, label %for.end
+
+for.body.preheader: ; preds = %entry
+ %b = ptrtoint i32 * %b.i to i64
+; CHECK: bitcast
+; CHECK-NOT: ptrtoint
+ br label %for.body
+; CHECK: br label %for.body
+
+for.body: ; preds = %for.body, %for.body.preheader
+ %a.addr.03 = phi float* [ %incdec.ptr, %for.body ], [ %a, %for.body.preheader ]
+ %b.addr.02 = phi i64 [ %add.int, %for.body ], [ %b, %for.body.preheader ]
+; CHECK: %a.addr.03 = phi float* [ %incdec.ptr, %for.body ], [ %a, %for.body.preheader ]
+; CHECK-NOT: phi i64
+ %tmp = inttoptr i64 %b.addr.02 to float*
+; CHECK-NOT: inttoptr
+ %tmp1 = load float, float* %tmp, align 4
+; CHECK: = load
+ %mul.i = fmul float %tmp1, 4.200000e+01
+ store float %mul.i, float* %a.addr.03, align 4
+ %add = getelementptr inbounds float, float* %tmp, i64 1
+; CHECK: %add =
+ %add.int = ptrtoint float* %add to i64
+; CHECK-NOT: ptrtoint
+ %incdec.ptr = getelementptr inbounds float, float* %a.addr.03, i64 1
+; CHECK: %incdec.ptr =
+ %cmp = icmp ult float* %incdec.ptr, %a_end
+ br i1 %cmp, label %for.body, label %for.end
+
+for.end: ; preds = %for.body, %entry
+ ret void
+}
+
diff --git a/llvm/test/Transforms/InstCombine/intptr3.ll b/llvm/test/Transforms/InstCombine/intptr3.ll
new file mode 100644
index 00000000000..72b81ce350f
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/intptr3.ll
@@ -0,0 +1,39 @@
+; RUN: opt < %s -instcombine -S | FileCheck %s
+
+define void @test(float* %a, float* readnone %a_end, i64 %b) unnamed_addr {
+entry:
+ %cmp1 = icmp ult float* %a, %a_end
+ br i1 %cmp1, label %for.body.preheader, label %for.end
+
+for.body.preheader: ; preds = %entry
+ %b.float = inttoptr i64 %b to float*
+ br label %for.body
+
+for.body: ; preds = %for.body.preheader, %for.body
+ %a.addr.03 = phi float* [ %incdec.ptr, %for.body ], [ %a, %for.body.preheader ]
+ %b.addr.float = phi float* [ %b.addr.float.inc, %for.body ], [ %b.float, %for.body.preheader ]
+ %b.addr.i64 = phi i64 [ %b.addr.i64.inc, %for.body ], [ %b, %for.body.preheader ]
+; CHECK: %a.addr.03 = phi float* [ %incdec.ptr, %for.body ], [ %a, %for.body.preheader ]
+; CHECK-NEXT: %b.addr.float = phi float* [ %b.addr.float.inc, %for.body ], [ %b.float, %for.body.preheader ]
+; CHECK-NEXT: = load float
+ %l = load float, float* %b.addr.float, align 4
+ %mul.i = fmul float %l, 4.200000e+01
+ store float %mul.i, float* %a.addr.03, align 4
+; CHECK: store float
+ %b.addr.float.2 = inttoptr i64 %b.addr.i64 to float*
+; CHECK-NOT: inttoptr
+ %b.addr.float.inc = getelementptr inbounds float, float* %b.addr.float.2, i64 1
+; CHECK: %b.addr.float.inc =
+ %b.addr.i64.inc = ptrtoint float* %b.addr.float.inc to i64
+; CHECK-NOT: ptrtoint
+ %incdec.ptr = getelementptr inbounds float, float* %a.addr.03, i64 1
+; CHECK: %incdec.ptr =
+ %cmp = icmp ult float* %incdec.ptr, %a_end
+ br i1 %cmp, label %for.body, label %for.end
+
+for.end: ; preds = %for.body, %entry
+ ret void
+}
+
+
+
diff --git a/llvm/test/Transforms/InstCombine/intptr4.ll b/llvm/test/Transforms/InstCombine/intptr4.ll
new file mode 100644
index 00000000000..663090f06e8
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/intptr4.ll
@@ -0,0 +1,53 @@
+; RUN: opt < %s -instcombine -S | FileCheck %s
+
+define void @test(float* %a, float* readnone %a_end, i64 %b, float* %bf) unnamed_addr {
+entry:
+ %cmp1 = icmp ult float* %a, %a_end
+ %b.float = inttoptr i64 %b to float*
+ br i1 %cmp1, label %bb1, label %bb2
+
+bb1:
+ br label %for.body.preheader
+bb2:
+ %bfi = ptrtoint float* %bf to i64
+ br label %for.body.preheader
+
+for.body.preheader: ; preds = %entry
+ %b.phi = phi i64 [%b, %bb1], [%bfi, %bb2]
+ br label %for.body
+; CHECK: for.body.preheader
+; CHECK: %b.phi = phi
+; CHECK: %b.phi.ptr =
+; CHECK: br label %for.body
+
+for.body: ; preds = %for.body.preheader, %for.body
+; CHECK: for.body
+ %a.addr.03 = phi float* [ %incdec.ptr, %for.body ], [ %a, %for.body.preheader ]
+ %b.addr.float = phi float* [ %b.addr.float.inc, %for.body ], [ %b.float, %for.body.preheader ]
+ %b.addr.i64 = phi i64 [ %b.addr.i64.inc, %for.body ], [ %b.phi, %for.body.preheader ]
+; CHECK: %a.addr.03 = phi float* [ %incdec.ptr, %for.body ], [ %a, %for.body.preheader ]
+; CHECK-NEXT: %b.addr.float = phi float* [ %b.addr.float.inc, %for.body ], [ %b.float, %for.body.preheader ]
+; CHECK-NEXT: %b.addr.i64.ptr = phi
+; CHECK-NOT: = phi i64
+; CHECK: = load
+ %l = load float, float* %b.addr.float, align 4
+ %mul.i = fmul float %l, 4.200000e+01
+ store float %mul.i, float* %a.addr.03, align 4
+ %b.addr.float.2 = inttoptr i64 %b.addr.i64 to float*
+ %b.addr.float.inc = getelementptr inbounds float, float* %b.addr.float.2, i64 1
+; CHECK: store float %mul.i
+; CHECK-NOT: inttoptr
+; CHECK: %b.addr.float.inc =
+ %b.addr.i64.inc = ptrtoint float* %b.addr.float.inc to i64
+; CHECK-NOT: ptrtoint
+ %incdec.ptr = getelementptr inbounds float, float* %a.addr.03, i64 1
+; CHECK: %incdec.ptr =
+ %cmp = icmp ult float* %incdec.ptr, %a_end
+ br i1 %cmp, label %for.body, label %for.end
+
+for.end: ; preds = %for.body, %entry
+ ret void
+}
+
+
+
diff --git a/llvm/test/Transforms/InstCombine/intptr5.ll b/llvm/test/Transforms/InstCombine/intptr5.ll
new file mode 100644
index 00000000000..c5e728f1441
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/intptr5.ll
@@ -0,0 +1,56 @@
+; RUN: opt < %s -instcombine -S | FileCheck %s
+
+define void @test(float* %a, float* readnone %a_end, i64 %b, float* %bf) unnamed_addr {
+entry:
+ %cmp1 = icmp ult float* %a, %a_end
+ %b.float = inttoptr i64 %b to float*
+ br i1 %cmp1, label %bb1, label %bb2
+
+bb1:
+ br label %for.body.preheader
+bb2:
+ %bfi = ptrtoint float* %bf to i64
+ br label %for.body.preheader
+
+for.body.preheader: ; preds = %entry
+ %b.phi = phi i64 [%b, %bb1], [%bfi, %bb2]
+ switch i64 %b, label %for.body [
+ i64 1, label %for.body
+ ]
+; CHECK: for.body.preheader
+; CHECK: %b.phi = phi
+; CHECK: %b.phi.ptr =
+; CHECK-NOT: %b.phi.ptr2 =
+; CHECK: switch
+
+for.body: ; preds = %for.body.preheader, %for.body
+; CHECK: for.body
+ %a.addr.03 = phi float* [ %incdec.ptr, %for.body ], [ %a, %for.body.preheader ], [%a, %for.body.preheader]
+ %b.addr.float = phi float* [ %b.addr.float.inc, %for.body ], [ %b.float, %for.body.preheader ], [%b.float, %for.body.preheader]
+ %b.addr.i64 = phi i64 [ %b.addr.i64.inc, %for.body ], [ %b.phi, %for.body.preheader ], [ %b.phi, %for.body.preheader]
+; CHECK: %a.addr.03 = phi float* [ %incdec.ptr, %for.body ], [ %a, %for.body.preheader ]
+; CHECK-NEXT: %b.addr.float = phi float* [ %b.addr.float.inc, %for.body ], [ %b.float, %for.body.preheader ]
+; CHECK-NEXT: %b.addr.i64.ptr = phi
+; CHECK-NOT: = %b.addr.i64
+; CHECK: = load
+ %l = load float, float* %b.addr.float, align 4
+ %mul.i = fmul float %l, 4.200000e+01
+ store float %mul.i, float* %a.addr.03, align 4
+ %b.addr.float.2 = inttoptr i64 %b.addr.i64 to float*
+ %b.addr.float.inc = getelementptr inbounds float, float* %b.addr.float.2, i64 1
+; CHECK: store float %mul.i
+; CHECK-NOT: inttoptr
+; CHECK: %b.addr.float.inc =
+ %b.addr.i64.inc = ptrtoint float* %b.addr.float.inc to i64
+; CHECK-NOT: ptrtoint
+ %incdec.ptr = getelementptr inbounds float, float* %a.addr.03, i64 1
+; CHECK: %incdec.ptr =
+ %cmp = icmp ult float* %incdec.ptr, %a_end
+ br i1 %cmp, label %for.body, label %for.end
+
+for.end: ; preds = %for.body, %entry
+ ret void
+}
+
+
+
diff --git a/llvm/test/Transforms/InstCombine/intptr6.ll b/llvm/test/Transforms/InstCombine/intptr6.ll
new file mode 100644
index 00000000000..9c29145ab16
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/intptr6.ll
@@ -0,0 +1,90 @@
+; RUN: opt < %s -instcombine -S
+; no crash
+
+%A = type { %B }
+%B = type { %C *}
+%C = type <{ i32 (...)**, i32, [4 x i8] }>
+
+$foo = comdat any
+
+@bar= external thread_local global %A, align 8
+
+declare i32 @__gxx_personality_v0(...)
+
+; Function Attrs: inlinehint sanitize_memory uwtable
+define void @foo() local_unnamed_addr #0 comdat align 2 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
+entry:
+ %0 = load %C*, %C** getelementptr inbounds (%A, %A* @bar, i64 0, i32 0, i32 0), align 8
+ %1 = ptrtoint %C* %0 to i64
+ %count.i.i.i23 = getelementptr inbounds %C, %C* %0, i64 0, i32 1
+ store i32 0, i32* %count.i.i.i23, align 8
+ %2 = invoke i8* @_Znwm() #3
+ to label %invoke.cont unwind label %lpad
+
+invoke.cont: ; preds = %entry
+ %call.i25 = invoke i8* @_Znwm() #3
+ to label %call.i.noexc unwind label %lpad4
+
+call.i.noexc: ; preds = %invoke.cont
+ invoke void @lazy()
+ to label %invoke.cont5 unwind label %lpad.i
+
+lpad.i: ; preds = %call.i.noexc
+ %3 = landingpad { i8*, i32 }
+ cleanup
+ br label %ehcleanup
+
+invoke.cont5: ; preds = %call.i.noexc
+ %4 = ptrtoint i8* %call.i25 to i64
+ invoke void @scale()
+ to label %invoke.cont16 unwind label %lpad15
+
+invoke.cont16: ; preds = %invoke.cont5
+ ret void
+
+lpad: ; preds = %entry
+ %5 = landingpad { i8*, i32 }
+ cleanup
+ unreachable
+
+lpad4: ; preds = %invoke.cont
+ %6 = landingpad { i8*, i32 }
+ cleanup
+ unreachable
+
+ehcleanup: ; preds = %lpad.i
+ br label %ehcleanup21
+
+lpad15: ; preds = %invoke.cont5
+ %7 = landingpad { i8*, i32 }
+ cleanup
+ br label %ehcleanup21
+
+ehcleanup21: ; preds = %lpad15, %ehcleanup
+ %actual_other.sroa.0.0 = phi i64 [ %1, %ehcleanup ], [ %4, %lpad15 ]
+ %8 = inttoptr i64 %actual_other.sroa.0.0 to %C*
+ br i1 undef, label %_ZN4CGAL6HandleD2Ev.exit, label %land.lhs.true.i
+
+land.lhs.true.i: ; preds = %ehcleanup21
+ %count.i = getelementptr inbounds %C, %C* %8, i64 0, i32 1
+ %9 = load i32, i32* %count.i, align 8
+ unreachable
+
+_ZN4CGAL6HandleD2Ev.exit: ; preds = %ehcleanup21
+ resume { i8*, i32 } undef
+}
+
+; Function Attrs: nobuiltin
+declare noalias nonnull i8* @_Znwm() local_unnamed_addr #1
+
+; Function Attrs: sanitize_memory uwtable
+declare void @scale() local_unnamed_addr #2 align 2
+
+; Function Attrs: sanitize_memory uwtable
+declare void @lazy() unnamed_addr #2 align 2
+
+attributes #0 = { inlinehint sanitize_memory uwtable}
+attributes #1 = { nobuiltin }
+attributes #2 = { sanitize_memory uwtable }
+attributes #3 = { builtin }
+
OpenPOWER on IntegriCloud