mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-01-31 20:51:52 +01:00
[InstCombine] update test to use FileCheck; NFC
llvm-svn: 286668
This commit is contained in:
parent
f659c44cdb
commit
b7e9980f0a
@ -1,13 +1,16 @@
|
||||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -instcombine -S | FileCheck %s
|
||||
|
||||
; Test that this transform works:
|
||||
; udiv X, (Select Cond, C1, C2) --> Select Cond, (shr X, C1), (shr X, C2)
|
||||
;
|
||||
; RUN: opt < %s -instcombine -S -o %t
|
||||
; RUN: not grep select %t
|
||||
; RUN: grep lshr %t | count 2
|
||||
; RUN: not grep udiv %t
|
||||
|
||||
define i64 @test(i64 %X, i1 %Cond ) {
|
||||
entry:
|
||||
; CHECK-LABEL: @test(
|
||||
; CHECK-NEXT: [[QUOTIENT1:%.*]] = lshr i64 %X, 4
|
||||
; CHECK-NEXT: [[QUOTIENT2:%.*]] = lshr i64 %X, 3
|
||||
; CHECK-NEXT: [[SUM:%.*]] = add nuw nsw i64 [[QUOTIENT1]], [[QUOTIENT2]]
|
||||
; CHECK-NEXT: ret i64 [[SUM]]
|
||||
;
|
||||
%divisor1 = select i1 %Cond, i64 16, i64 8
|
||||
%quotient1 = udiv i64 %X, %divisor1
|
||||
%divisor2 = select i1 %Cond, i64 8, i64 0
|
||||
@ -15,3 +18,4 @@ entry:
|
||||
%sum = add i64 %quotient1, %quotient2
|
||||
ret i64 %sum
|
||||
}
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user