b8f3024a31
Since all optimizations that use range metadata now also handle range attribute, this patch replaces writes of range metadata for call instructions to range attributes.
56 lines
1.2 KiB
LLVM
56 lines
1.2 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt < %s -passes=instcombine -S | FileCheck %s
|
|
|
|
target triple = "x86_64-unknown-freebsd11.0"
|
|
|
|
define i32 @myfls() {
|
|
; CHECK-LABEL: @myfls(
|
|
; CHECK-NEXT: ret i32 6
|
|
;
|
|
%call = call i32 @fls(i32 42)
|
|
ret i32 %call
|
|
}
|
|
|
|
define i32 @myflsl() {
|
|
; CHECK-LABEL: @myflsl(
|
|
; CHECK-NEXT: ret i32 6
|
|
;
|
|
%patatino = call i32 @flsl(i64 42)
|
|
ret i32 %patatino
|
|
}
|
|
|
|
define i32 @myflsll() {
|
|
; CHECK-LABEL: @myflsll(
|
|
; CHECK-NEXT: ret i32 6
|
|
;
|
|
%whatever = call i32 @flsll(i64 42)
|
|
ret i32 %whatever
|
|
}
|
|
|
|
; Lower to llvm.ctlz() if the argument is not a constant
|
|
|
|
define i32 @flsnotconst(i64 %z) {
|
|
; CHECK-LABEL: @flsnotconst(
|
|
; CHECK-NEXT: [[CTLZ:%.*]] = call range(i64 0, 65) i64 @llvm.ctlz.i64(i64 [[Z:%.*]], i1 false)
|
|
; CHECK-NEXT: [[TMP1:%.*]] = trunc nuw nsw i64 [[CTLZ]] to i32
|
|
; CHECK-NEXT: [[GOO:%.*]] = sub nsw i32 64, [[TMP1]]
|
|
; CHECK-NEXT: ret i32 [[GOO]]
|
|
;
|
|
%goo = call i32 @flsl(i64 %z)
|
|
ret i32 %goo
|
|
}
|
|
|
|
; Make sure we lower fls(0) to 0 and not to `undef`.
|
|
|
|
define i32 @flszero() {
|
|
; CHECK-LABEL: @flszero(
|
|
; CHECK-NEXT: ret i32 0
|
|
;
|
|
%zero = call i32 @fls(i32 0)
|
|
ret i32 %zero
|
|
}
|
|
|
|
declare i32 @fls(i32)
|
|
declare i32 @flsl(i64)
|
|
declare i32 @flsll(i64)
|