aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms/CorrelatedValuePropagation/overflows.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Transforms/CorrelatedValuePropagation/overflows.ll')
-rw-r--r--test/Transforms/CorrelatedValuePropagation/overflows.ll369
1 files changed, 369 insertions, 0 deletions
diff --git a/test/Transforms/CorrelatedValuePropagation/overflows.ll b/test/Transforms/CorrelatedValuePropagation/overflows.ll
new file mode 100644
index 00000000000..5cd6b261be4
--- /dev/null
+++ b/test/Transforms/CorrelatedValuePropagation/overflows.ll
@@ -0,0 +1,369 @@
+; RUN: opt -S -correlated-propagation < %s | FileCheck %s
+
+declare { i32, i1 } @llvm.sadd.with.overflow.i32(i32, i32)
+
+declare { i32, i1 } @llvm.ssub.with.overflow.i32(i32, i32)
+
+declare { i32, i1 } @llvm.uadd.with.overflow.i32(i32, i32)
+
+declare { i32, i1 } @llvm.usub.with.overflow.i32(i32, i32)
+
+declare void @llvm.trap()
+
+
+define i32 @signed_add(i32 %x, i32 %y) {
+; CHECK-LABEL: @signed_add(
+; CHECK: @llvm.ssub.with.overflow.i32
+; CHECK: @llvm.ssub.with.overflow.i32
+; CHECK: @llvm.sadd.with.overflow.i32
+entry:
+ %cmp = icmp sgt i32 %y, 0
+ br i1 %cmp, label %land.lhs.true, label %lor.lhs.false
+
+land.lhs.true: ; preds = %entry
+ %0 = tail call { i32, i1 } @llvm.ssub.with.overflow.i32(i32 2147483647, i32 %y)
+ %1 = extractvalue { i32, i1 } %0, 1
+ br i1 %1, label %trap, label %cont
+
+trap: ; preds = %land.lhs.true, %land.lhs.true3, %cond.false
+ tail call void @llvm.trap()
+ unreachable
+
+cont: ; preds = %land.lhs.true
+ %2 = extractvalue { i32, i1 } %0, 0
+ %cmp1 = icmp slt i32 %2, %x
+ br i1 %cmp1, label %cond.end, label %cond.false
+
+lor.lhs.false: ; preds = %entry
+ %cmp2 = icmp slt i32 %y, 0
+ br i1 %cmp2, label %land.lhs.true3, label %cond.false
+
+land.lhs.true3: ; preds = %lor.lhs.false
+ %3 = tail call { i32, i1 } @llvm.ssub.with.overflow.i32(i32 -2147483648, i32 %y)
+ %4 = extractvalue { i32, i1 } %3, 1
+ br i1 %4, label %trap, label %cont4
+
+cont4: ; preds = %land.lhs.true3
+ %5 = extractvalue { i32, i1 } %3, 0
+ %cmp5 = icmp sgt i32 %5, %x
+ br i1 %cmp5, label %cond.end, label %cond.false
+
+cond.false: ; preds = %cont, %cont4, %lor.lhs.false
+ %6 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %x, i32 %y)
+ %7 = extractvalue { i32, i1 } %6, 0
+ %8 = extractvalue { i32, i1 } %6, 1
+ br i1 %8, label %trap, label %cond.end
+
+cond.end: ; preds = %cond.false, %cont, %cont4
+ %cond = phi i32 [ 0, %cont4 ], [ 0, %cont ], [ %7, %cond.false ]
+ ret i32 %cond
+}
+
+define i32 @unsigned_add(i32 %x, i32 %y) {
+; CHECK-LABEL: @unsigned_add(
+; CHECK: @llvm.usub.with.overflow.i32
+; CHECK: @llvm.uadd.with.overflow.i32
+entry:
+ %0 = tail call { i32, i1 } @llvm.usub.with.overflow.i32(i32 -1, i32 %y)
+ %1 = extractvalue { i32, i1 } %0, 1
+ br i1 %1, label %trap, label %cont
+
+trap: ; preds = %cond.false, %entry
+ tail call void @llvm.trap()
+ unreachable
+
+cont: ; preds = %entry
+ %2 = extractvalue { i32, i1 } %0, 0
+ %cmp1 = icmp ult i32 %2, %x
+ br i1 %cmp1, label %cond.end, label %cond.false
+
+cond.false: ; preds = %cont
+ %3 = tail call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %x, i32 %y)
+ %4 = extractvalue { i32, i1 } %3, 0
+ %5 = extractvalue { i32, i1 } %3, 1
+ br i1 %5, label %trap, label %cond.end
+
+cond.end: ; preds = %cond.false, %cont
+ %cond = phi i32 [ 0, %cont ], [ %4, %cond.false ]
+ ret i32 %cond
+}
+
+define i32 @signed_sub(i32 %x, i32 %y) {
+; CHECK-LABEL: @signed_sub(
+; CHECK-NOT: @llvm.sadd.with.overflow.i32
+; CHECK: @llvm.ssub.with.overflow.i32
+entry:
+ %cmp = icmp slt i32 %y, 0
+ br i1 %cmp, label %land.lhs.true, label %lor.lhs.false
+
+land.lhs.true: ; preds = %entry
+ %0 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %y, i32 2147483647)
+ %1 = extractvalue { i32, i1 } %0, 1
+ br i1 %1, label %trap, label %cont
+
+trap: ; preds = %land.lhs.true, %land.lhs.true3, %cond.false
+ tail call void @llvm.trap()
+ unreachable
+
+cont: ; preds = %land.lhs.true
+ %2 = extractvalue { i32, i1 } %0, 0
+ %cmp1 = icmp slt i32 %2, %x
+ br i1 %cmp1, label %cond.end, label %cond.false
+
+lor.lhs.false: ; preds = %entry
+ %cmp2 = icmp eq i32 %y, 0
+ br i1 %cmp2, label %cond.false, label %land.lhs.true3
+
+land.lhs.true3: ; preds = %lor.lhs.false
+ %3 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %y, i32 -2147483648)
+ %4 = extractvalue { i32, i1 } %3, 1
+ br i1 %4, label %trap, label %cont4
+
+cont4: ; preds = %land.lhs.true3
+ %5 = extractvalue { i32, i1 } %3, 0
+ %cmp5 = icmp sgt i32 %5, %x
+ br i1 %cmp5, label %cond.end, label %cond.false
+
+cond.false: ; preds = %lor.lhs.false, %cont, %cont4
+ %6 = tail call { i32, i1 } @llvm.ssub.with.overflow.i32(i32 %x, i32 %y)
+ %7 = extractvalue { i32, i1 } %6, 0
+ %8 = extractvalue { i32, i1 } %6, 1
+ br i1 %8, label %trap, label %cond.end
+
+cond.end: ; preds = %cond.false, %cont, %cont4
+ %cond = phi i32 [ 0, %cont4 ], [ 0, %cont ], [ %7, %cond.false ]
+ ret i32 %cond
+}
+
+define i32 @unsigned_sub(i32 %x, i32 %y) {
+; CHECK-LABEL: @unsigned_sub(
+; CHECK: @llvm.usub.with.overflow.i32
+entry:
+ %cmp = icmp ult i32 %x, %y
+ br i1 %cmp, label %cond.end, label %cond.false
+
+cond.false: ; preds = %entry
+ %0 = tail call { i32, i1 } @llvm.usub.with.overflow.i32(i32 %x, i32 %y)
+ %1 = extractvalue { i32, i1 } %0, 0
+ %2 = extractvalue { i32, i1 } %0, 1
+ br i1 %2, label %trap, label %cond.end
+
+trap: ; preds = %cond.false
+ tail call void @llvm.trap()
+ unreachable
+
+cond.end: ; preds = %cond.false, %entry
+ %cond = phi i32 [ 0, %entry ], [ %1, %cond.false ]
+ ret i32 %cond
+}
+
+define i32 @signed_add_r1(i32 %x) {
+; CHECK-LABEL: @signed_add_r1(
+; CHECK-NOT: @llvm.sadd.with.overflow.i32
+entry:
+ %cmp = icmp eq i32 %x, 2147483647
+ br i1 %cmp, label %cond.end, label %cond.false
+
+cond.false: ; preds = %entry
+ %0 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %x, i32 1)
+ %1 = extractvalue { i32, i1 } %0, 0
+ %2 = extractvalue { i32, i1 } %0, 1
+ br i1 %2, label %trap, label %cond.end
+
+trap: ; preds = %cond.false
+ tail call void @llvm.trap()
+ unreachable
+
+cond.end: ; preds = %cond.false, %entry
+ %cond = phi i32 [ 0, %entry ], [ %1, %cond.false ]
+ ret i32 %cond
+}
+
+define i32 @unsigned_add_r1(i32 %x) {
+; CHECK-LABEL: @unsigned_add_r1(
+; CHECK-NOT: @llvm.uadd.with.overflow.i32
+entry:
+ %cmp = icmp eq i32 %x, -1
+ br i1 %cmp, label %cond.end, label %cond.false
+
+cond.false: ; preds = %entry
+ %0 = tail call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %x, i32 1)
+ %1 = extractvalue { i32, i1 } %0, 0
+ %2 = extractvalue { i32, i1 } %0, 1
+ br i1 %2, label %trap, label %cond.end
+
+trap: ; preds = %cond.false
+ tail call void @llvm.trap()
+ unreachable
+
+cond.end: ; preds = %cond.false, %entry
+ %cond = phi i32 [ 0, %entry ], [ %1, %cond.false ]
+ ret i32 %cond
+}
+
+define i32 @signed_sub_r1(i32 %x) {
+; CHECK-LABEL: @signed_sub_r1(
+; CHECK: @llvm.ssub.with.overflow.i32
+entry:
+ %cmp = icmp eq i32 %x, -2147483648
+ br i1 %cmp, label %cond.end, label %cond.false
+
+cond.false: ; preds = %entry
+ %0 = tail call { i32, i1 } @llvm.ssub.with.overflow.i32(i32 %x, i32 1)
+ %1 = extractvalue { i32, i1 } %0, 0
+ %2 = extractvalue { i32, i1 } %0, 1
+ br i1 %2, label %trap, label %cond.end
+
+trap: ; preds = %cond.false
+ tail call void @llvm.trap()
+ unreachable
+
+cond.end: ; preds = %cond.false, %entry
+ %cond = phi i32 [ 0, %entry ], [ %1, %cond.false ]
+ ret i32 %cond
+}
+
+define i32 @unsigned_sub_r1(i32 %x) {
+; CHECK-LABEL: @unsigned_sub_r1(
+; CHECK: @llvm.usub.with.overflow.i32
+entry:
+ %cmp = icmp eq i32 %x, 0
+ br i1 %cmp, label %cond.end, label %cond.false
+
+cond.false: ; preds = %entry
+ %0 = tail call { i32, i1 } @llvm.usub.with.overflow.i32(i32 %x, i32 1)
+ %1 = extractvalue { i32, i1 } %0, 0
+ %2 = extractvalue { i32, i1 } %0, 1
+ br i1 %2, label %trap, label %cond.end
+
+trap: ; preds = %cond.false
+ tail call void @llvm.trap()
+ unreachable
+
+cond.end: ; preds = %cond.false, %entry
+ %cond = phi i32 [ 0, %entry ], [ %1, %cond.false ]
+ ret i32 %cond
+}
+
+define i32 @signed_add_rn1(i32 %x) {
+; CHECK-LABEL: @signed_add_rn1(
+; CHECK-NOT: @llvm.sadd.with.overflow.i32
+entry:
+ %cmp = icmp eq i32 %x, -2147483648
+ br i1 %cmp, label %cond.end, label %cond.false
+
+cond.false: ; preds = %entry
+ %0 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %x, i32 -1)
+ %1 = extractvalue { i32, i1 } %0, 0
+ %2 = extractvalue { i32, i1 } %0, 1
+ br i1 %2, label %trap, label %cond.end
+
+trap: ; preds = %cond.false
+ tail call void @llvm.trap()
+ unreachable
+
+cond.end: ; preds = %cond.false, %entry
+ %cond = phi i32 [ 0, %entry ], [ %1, %cond.false ]
+ ret i32 %cond
+}
+
+define i32 @signed_sub_rn1(i32 %x) {
+; CHECK-LABEL: @signed_sub_rn1(
+; CHECK: @llvm.ssub.with.overflow.i32
+entry:
+ %cmp = icmp eq i32 %x, 2147483647
+ br i1 %cmp, label %cond.end, label %cond.false
+
+cond.false: ; preds = %entry
+ %0 = tail call { i32, i1 } @llvm.ssub.with.overflow.i32(i32 %x, i32 -1)
+ %1 = extractvalue { i32, i1 } %0, 0
+ %2 = extractvalue { i32, i1 } %0, 1
+ br i1 %2, label %trap, label %cond.end
+
+trap: ; preds = %cond.false
+ tail call void @llvm.trap()
+ unreachable
+
+cond.end: ; preds = %cond.false, %entry
+ %cond = phi i32 [ 0, %entry ], [ %1, %cond.false ]
+ ret i32 %cond
+}
+
+declare i32 @bar(i32)
+
+define void @unsigned_loop(i32 %i) {
+; CHECK-LABEL: @unsigned_loop(
+; CHECK: @llvm.usub.with.overflow.i32
+entry:
+ %cmp3 = icmp eq i32 %i, 0
+ br i1 %cmp3, label %while.end, label %while.body.preheader
+
+while.body.preheader: ; preds = %entry
+ br label %while.body
+
+while.body: ; preds = %while.body.preheader, %cont
+ %i.addr.04 = phi i32 [ %2, %cont ], [ %i, %while.body.preheader ]
+ %call = tail call i32 @bar(i32 %i.addr.04)
+ %0 = tail call { i32, i1 } @llvm.usub.with.overflow.i32(i32 %i.addr.04, i32 1)
+ %1 = extractvalue { i32, i1 } %0, 1
+ br i1 %1, label %trap, label %cont
+
+trap: ; preds = %while.body
+ tail call void @llvm.trap()
+ unreachable
+
+cont: ; preds = %while.body
+ %2 = extractvalue { i32, i1 } %0, 0
+ %cmp = icmp eq i32 %2, 0
+ br i1 %cmp, label %while.end, label %while.body
+
+while.end: ; preds = %cont, %entry
+ ret void
+}
+
+define void @intrinsic_into_phi(i32 %n) {
+; CHECK-LABEL: @intrinsic_into_phi(
+; CHECK: @llvm.sadd.with.overflow.i32
+; CHECK-NOT: @llvm.sadd.with.overflow.i32
+entry:
+ br label %cont
+
+for.cond: ; preds = %while.end
+ %0 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %.lcssa, i32 1)
+ %1 = extractvalue { i32, i1 } %0, 1
+ br i1 %1, label %trap, label %cont
+
+trap: ; preds = %for.cond, %while.body
+ tail call void @llvm.trap()
+ unreachable
+
+cont: ; preds = %entry, %for.cond
+ %2 = phi { i32, i1 } [ zeroinitializer, %entry ], [ %0, %for.cond ]
+ %3 = extractvalue { i32, i1 } %2, 0
+ %call9 = tail call i32 @bar(i32 %3)
+ %tobool10 = icmp eq i32 %call9, 0
+ br i1 %tobool10, label %while.end, label %while.body.preheader
+
+while.body.preheader: ; preds = %cont
+ br label %while.body
+
+while.cond: ; preds = %while.body
+ %4 = extractvalue { i32, i1 } %6, 0
+ %call = tail call i32 @bar(i32 %4)
+ %tobool = icmp eq i32 %call, 0
+ br i1 %tobool, label %while.end, label %while.body
+
+while.body: ; preds = %while.body.preheader, %while.cond
+ %5 = phi i32 [ %4, %while.cond ], [ %3, %while.body.preheader ]
+ %6 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %5, i32 1)
+ %7 = extractvalue { i32, i1 } %6, 1
+ br i1 %7, label %trap, label %while.cond
+
+while.end: ; preds = %while.cond, %cont
+ %.lcssa = phi i32 [ %3, %cont ], [ %4, %while.cond ]
+ %cmp = icmp slt i32 %.lcssa, %n
+ br i1 %cmp, label %for.cond, label %cleanup2
+
+cleanup2: ; preds = %while.end
+ ret void
+}
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-03 08:57:52 +0000