[tests] precommit tests for phi handling in GVN
This commit is contained in:
Philip Reames
parent
e5c8fc776f
commit
c0d390d0d2
|
|
@ -0,0 +1,133 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -S -gvn < %s | FileCheck %s
|
||||
|
||||
|
||||
define i64 @test1(i1 %c, i64 %a, i64 %b) {
|
||||
; CHECK-LABEL: @test1(
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[TAKEN:%.*]], label [[UNTAKEN:%.*]]
|
||||
; CHECK: taken:
|
||||
; CHECK-NEXT: br label [[MERGE:%.*]]
|
||||
; CHECK: untaken:
|
||||
; CHECK-NEXT: br label [[MERGE]]
|
||||
; CHECK: merge:
|
||||
; CHECK-NEXT: [[PHI1:%.*]] = phi i64 [ [[A:%.*]], [[TAKEN]] ], [ [[B:%.*]], [[UNTAKEN]] ]
|
||||
; CHECK-NEXT: [[PHI2:%.*]] = phi i64 [ [[A]], [[TAKEN]] ], [ [[B]], [[UNTAKEN]] ]
|
||||
; CHECK-NEXT: [[RET:%.*]] = sub i64 [[PHI1]], [[PHI2]]
|
||||
; CHECK-NEXT: ret i64 [[RET]]
|
||||
;
|
||||
br i1 %c, label %taken, label %untaken
|
||||
taken:
|
||||
br label %merge
|
||||
untaken:
|
||||
br label %merge
|
||||
merge:
|
||||
%phi1 = phi i64 [%a, %taken], [%b, %untaken]
|
||||
%phi2 = phi i64 [%a, %taken], [%b, %untaken]
|
||||
%ret = sub i64 %phi1, %phi2
|
||||
ret i64 %ret
|
||||
}
|
||||
|
||||
declare void @llvm.assume(i1)
|
||||
|
||||
define i64 @test2(i1 %c, i64 %a, i64 %b) {
|
||||
; CHECK-LABEL: @test2(
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[TAKEN:%.*]], label [[UNTAKEN:%.*]]
|
||||
; CHECK: taken:
|
||||
; CHECK-NEXT: [[ASSUMPTION:%.*]] = icmp eq i64 [[A:%.*]], 0
|
||||
; CHECK-NEXT: call void @llvm.assume(i1 [[ASSUMPTION]])
|
||||
; CHECK-NEXT: br label [[MERGE:%.*]]
|
||||
; CHECK: untaken:
|
||||
; CHECK-NEXT: br label [[MERGE]]
|
||||
; CHECK: merge:
|
||||
; CHECK-NEXT: [[PHI1:%.*]] = phi i64 [ [[A]], [[TAKEN]] ], [ [[B:%.*]], [[UNTAKEN]] ]
|
||||
; CHECK-NEXT: [[PHI2:%.*]] = phi i64 [ 0, [[TAKEN]] ], [ [[B]], [[UNTAKEN]] ]
|
||||
; CHECK-NEXT: [[RET:%.*]] = sub i64 [[PHI1]], [[PHI2]]
|
||||
; CHECK-NEXT: ret i64 [[RET]]
|
||||
;
|
||||
br i1 %c, label %taken, label %untaken
|
||||
taken:
|
||||
%assumption = icmp eq i64 %a, 0
|
||||
call void @llvm.assume(i1 %assumption)
|
||||
br label %merge
|
||||
untaken:
|
||||
br label %merge
|
||||
merge:
|
||||
%phi1 = phi i64 [%a, %taken], [%b, %untaken]
|
||||
%phi2 = phi i64 [0, %taken], [%b, %untaken]
|
||||
%ret = sub i64 %phi1, %phi2
|
||||
ret i64 %ret
|
||||
}
|
||||
|
||||
|
||||
define i64 @test3(i1 %c, i64 %a, i64 %b) {
|
||||
; CHECK-LABEL: @test3(
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[TAKEN:%.*]], label [[UNTAKEN:%.*]]
|
||||
; CHECK: taken:
|
||||
; CHECK-NEXT: [[ADD1:%.*]] = add i64 [[A:%.*]], 5
|
||||
; CHECK-NEXT: br label [[MERGE:%.*]]
|
||||
; CHECK: untaken:
|
||||
; CHECK-NEXT: br label [[MERGE]]
|
||||
; CHECK: merge:
|
||||
; CHECK-NEXT: [[PHI1:%.*]] = phi i64 [ [[ADD1]], [[TAKEN]] ], [ [[B:%.*]], [[UNTAKEN]] ]
|
||||
; CHECK-NEXT: [[PHI2:%.*]] = phi i64 [ [[ADD1]], [[TAKEN]] ], [ [[B]], [[UNTAKEN]] ]
|
||||
; CHECK-NEXT: [[RET:%.*]] = sub i64 [[PHI1]], [[PHI2]]
|
||||
; CHECK-NEXT: ret i64 [[RET]]
|
||||
;
|
||||
br i1 %c, label %taken, label %untaken
|
||||
taken:
|
||||
%add1 = add i64 %a, 5
|
||||
%add2 = add i64 %a, 5
|
||||
br label %merge
|
||||
untaken:
|
||||
br label %merge
|
||||
merge:
|
||||
%phi1 = phi i64 [%add1, %taken], [%b, %untaken]
|
||||
%phi2 = phi i64 [%add2, %taken], [%b, %untaken]
|
||||
%ret = sub i64 %phi1, %phi2
|
||||
ret i64 %ret
|
||||
}
|
||||
|
||||
define i64 @test4(i1 %c, i64 %a, i64 %b) {
|
||||
; CHECK-LABEL: @test4(
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[TAKEN:%.*]], label [[UNTAKEN:%.*]]
|
||||
; CHECK: taken:
|
||||
; CHECK-NEXT: br label [[MERGE:%.*]]
|
||||
; CHECK: untaken:
|
||||
; CHECK-NEXT: br label [[MERGE]]
|
||||
; CHECK: merge:
|
||||
; CHECK-NEXT: [[PHI1:%.*]] = phi i64 [ [[A:%.*]], [[TAKEN]] ], [ [[B:%.*]], [[UNTAKEN]] ]
|
||||
; CHECK-NEXT: [[PHI2:%.*]] = phi i64 [ [[A]], [[TAKEN]] ], [ [[B]], [[UNTAKEN]] ]
|
||||
; CHECK-NEXT: br i1 [[C]], label [[TAKEN2:%.*]], label [[UNTAKEN2:%.*]]
|
||||
; CHECK: taken2:
|
||||
; CHECK-NEXT: [[ADD1:%.*]] = add i64 [[PHI1]], 5
|
||||
; CHECK-NEXT: [[ADD2:%.*]] = add i64 [[PHI2]], 5
|
||||
; CHECK-NEXT: br label [[MERGE2:%.*]]
|
||||
; CHECK: untaken2:
|
||||
; CHECK-NEXT: br label [[MERGE2]]
|
||||
; CHECK: merge2:
|
||||
; CHECK-NEXT: [[PHI3:%.*]] = phi i64 [ [[ADD1]], [[TAKEN2]] ], [ [[PHI2]], [[UNTAKEN2]] ]
|
||||
; CHECK-NEXT: [[PHI4:%.*]] = phi i64 [ [[ADD2]], [[TAKEN2]] ], [ [[PHI2]], [[UNTAKEN2]] ]
|
||||
; CHECK-NEXT: [[RET:%.*]] = sub i64 [[PHI4]], [[PHI3]]
|
||||
; CHECK-NEXT: ret i64 [[RET]]
|
||||
;
|
||||
br i1 %c, label %taken, label %untaken
|
||||
taken:
|
||||
br label %merge
|
||||
untaken:
|
||||
br label %merge
|
||||
merge:
|
||||
%phi1 = phi i64 [%a, %taken], [%b, %untaken]
|
||||
%phi2 = phi i64 [%a, %taken], [%b, %untaken]
|
||||
br i1 %c, label %taken2, label %untaken2
|
||||
taken2:
|
||||
%add1 = add i64 %phi1, 5
|
||||
%add2 = add i64 %phi2, 5
|
||||
br label %merge2
|
||||
untaken2:
|
||||
br label %merge2
|
||||
merge2:
|
||||
%phi3 = phi i64 [%add1, %taken2], [%phi2, %untaken2]
|
||||
%phi4 = phi i64 [%add2, %taken2], [%phi2, %untaken2]
|
||||
%ret = sub i64 %phi4, %phi3
|
||||
ret i64 %ret
|
||||
}
|
||||
Loading…
Reference in New Issue