35bad229c1
PredicateInfo needs some no-op to which the predicate can be attached.
Currently this is an ssa.copy intrinsic. This PR replaces it with a
no-op bitcast.
Using a bitcast is more efficient because we don't have the overhead of
an overloaded intrinsic. It also makes things slightly simpler overall.
69 lines
2.3 KiB
LLVM
69 lines
2.3 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -passes=print-predicateinfo < %s 2>&1 | FileCheck %s
|
|
define i1 @f(i32 %x, i1 %y) {
|
|
; CHECK-LABEL: @f(
|
|
; CHECK-NEXT: br i1 [[Y:%.*]], label [[BB0:%.*]], label [[BB1:%.*]]
|
|
; CHECK: bb0:
|
|
; CHECK-NEXT: [[CMP:%.*]] = icmp sge i32 [[X:%.*]], 0
|
|
; CHECK: [[X_0:%.*]] = bitcast i32 [[X]] to i32
|
|
; CHECK-NEXT: br i1 [[CMP]], label [[BB2:%.*]], label [[BB3:%.*]]
|
|
; CHECK: bb1:
|
|
; CHECK-NEXT: [[X2:%.*]] = add nuw nsw i32 [[X]], 1
|
|
; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i32 [[X2]], 2
|
|
; CHECK: [[X2_0:%.*]] = bitcast i32 [[X2]] to i32
|
|
; CHECK-NEXT: br i1 [[CMP2]], label [[BB2]], label [[BB3]]
|
|
; CHECK: bb2:
|
|
; CHECK-NEXT: [[X3:%.*]] = phi i32 [ [[X_0]], [[BB0]] ], [ [[X2_0]], [[BB1]] ]
|
|
; CHECK-NEXT: br label [[BB3]]
|
|
; CHECK: bb3:
|
|
; CHECK-NEXT: ret i1 false
|
|
;
|
|
br i1 %y, label %bb0, label %bb1
|
|
bb0:
|
|
%cmp = icmp sge i32 %x, 0 ; x > 0
|
|
br i1 %cmp, label %bb2, label %bb3
|
|
bb1:
|
|
%x2 = add nsw nuw i32 %x, 1
|
|
%cmp2 = icmp sge i32 %x2, 2 ; x+1 > 2 / x > 1
|
|
br i1 %cmp2, label %bb2, label %bb3
|
|
bb2:
|
|
%x3 = phi i32 [ %x, %bb0 ], [ %x2, %bb1 ]
|
|
br label %bb3
|
|
bb3:
|
|
ret i1 0
|
|
}
|
|
|
|
define i1 @g(i32 %x, i1 %y) {
|
|
; CHECK-LABEL: @g(
|
|
; CHECK-NEXT: br i1 [[Y:%.*]], label [[BB0:%.*]], label [[BB1:%.*]]
|
|
; CHECK: bb0:
|
|
; CHECK-NEXT: [[CMP:%.*]] = icmp sge i32 [[X:%.*]], 0
|
|
; CHECK: [[X_0:%.*]] = bitcast i32 [[X]] to i32
|
|
; CHECK-NEXT: br i1 [[CMP]], label [[BB3:%.*]], label [[BB2:%.*]]
|
|
; CHECK: bb1:
|
|
; CHECK-NEXT: [[X2:%.*]] = add nuw nsw i32 [[X]], 1
|
|
; CHECK-NEXT: [[CMP2:%.*]] = icmp sge i32 [[X2]], 2
|
|
; CHECK: [[X2_0:%.*]] = bitcast i32 [[X2]] to i32
|
|
; CHECK-NEXT: br i1 [[CMP2]], label [[BB3]], label [[BB2]]
|
|
; CHECK: bb2:
|
|
; CHECK-NEXT: [[X3:%.*]] = phi i32 [ [[X_0]], [[BB0]] ], [ [[X2_0]], [[BB1]] ]
|
|
; CHECK-NEXT: br label [[BB3]]
|
|
; CHECK: bb3:
|
|
; CHECK-NEXT: ret i1 false
|
|
;
|
|
br i1 %y, label %bb0, label %bb1
|
|
bb0:
|
|
%cmp = icmp sge i32 %x, 0 ; x > 0
|
|
br i1 %cmp, label %bb3, label %bb2
|
|
bb1:
|
|
%x2 = add nsw nuw i32 %x, 1
|
|
%cmp2 = icmp sge i32 %x2, 2 ; x+1 > 2 / x > 1
|
|
br i1 %cmp2, label %bb3, label %bb2
|
|
bb2:
|
|
%x3 = phi i32 [ %x, %bb0 ], [ %x2, %bb1 ]
|
|
br label %bb3
|
|
bb3:
|
|
ret i1 0
|
|
}
|
|
|