Displaying 9 results from an estimated 9 matches for "fromwidth".
2017 Jan 31
2
Folding zext from i1 into PHI nodes with only zwo incoming values.
...gt; or from
> -/// a smaller to a larger illegal type.
> +/// We don't want to convert from a legal to an illegal type or from a
> smaller
> +/// to a larger illegal type. Width of '1' is always treated as a legal
> type.
> bool InstCombiner::ShouldChangeType(unsigned FromWidth,
> unsigned ToWidth) const {
> - bool FromLegal = DL.isLegalInteger(FromWidth);
> - bool ToLegal = DL.isLegalInteger(ToWidth);
> + bool FromLegal = FromWidth == 1 ? true : DL.isLegalInteger(FromWidth);
> + bool ToLegal = ToWidth == 1 ? true :...
2017 Jan 31
0
Folding zext from i1 into PHI nodes with only zwo incoming values.
.../ a smaller to a larger illegal type.
>> +/// We don't want to convert from a legal to an illegal type or from a
>> smaller
>> +/// to a larger illegal type. Width of '1' is always treated as a legal
>> type.
>> bool InstCombiner::ShouldChangeType(unsigned FromWidth,
>> unsigned ToWidth) const {
>> - bool FromLegal = DL.isLegalInteger(FromWidth);
>> - bool ToLegal = DL.isLegalInteger(ToWidth);
>> + bool FromLegal = FromWidth == 1 ? true : DL.isLegalInteger(FromWidth);
>> + bool ToLegal = To...
2017 Jan 31
1
Folding zext from i1 into PHI nodes with only zwo incoming values.
...ger illegal type.
>>> +/// We don't want to convert from a legal to an illegal type or from a
>>> smaller
>>> +/// to a larger illegal type. Width of '1' is always treated as a legal
>>> type.
>>> bool InstCombiner::ShouldChangeType(unsigned FromWidth,
>>> unsigned ToWidth) const {
>>> - bool FromLegal = DL.isLegalInteger(FromWidth);
>>> - bool ToLegal = DL.isLegalInteger(ToWidth);
>>> + bool FromLegal = FromWidth == 1 ? true : DL.isLegalInteger(FromWidth);
>>>...
2017 Jan 30
0
Folding zext from i1 into PHI nodes with only zwo incoming values.
...al to an illegal type for example
or from
-/// a smaller to a larger illegal type.
+/// We don't want to convert from a legal to an illegal type or from a
smaller
+/// to a larger illegal type. Width of '1' is always treated as a legal
type.
bool InstCombiner::ShouldChangeType(unsigned FromWidth,
unsigned ToWidth) const {
- bool FromLegal = DL.isLegalInteger(FromWidth);
- bool ToLegal = DL.isLegalInteger(ToWidth);
+ bool FromLegal = FromWidth == 1 ? true : DL.isLegalInteger(FromWidth);
+ bool ToLegal = ToWidth == 1 ? true : DL.isLegalInteger(ToWidth...
2018 Jan 22
2
always allow canonicalizing to 8- and 16-bit ops?
...hough, is run
> some
> benchmarks and look at that results.
>
> Using this patch:
>
> --- a/lib/Transforms/InstCombine/InstructionCombining.cpp
> +++ b/lib/Transforms/InstCombine/InstructionCombining.cpp
> @@ -150,6 +150,9 @@ bool InstCombiner::shouldChangeType(unsigned
> FromWidth,
> bool FromLegal = FromWidth == 1 || DL.isLegalInteger(FromWidth);
> bool ToLegal = ToWidth == 1 || DL.isLegalInteger(ToWidth);
>
> + if (FromLegal && ToWidth < FromWidth && (ToWidth == 8 || ToWidth == 16))
> + return true;
> +
> // If this is a...
2018 Jan 22
0
always allow canonicalizing to 8- and 16-bit ops?
...itectures that are not Arm. What I can do though, is run some
benchmarks and look at that results.
Using this patch:
--- a/lib/Transforms/InstCombine/InstructionCombining.cpp
+++ b/lib/Transforms/InstCombine/InstructionCombining.cpp
@@ -150,6 +150,9 @@ bool InstCombiner::shouldChangeType(unsigned FromWidth,
bool FromLegal = FromWidth == 1 || DL.isLegalInteger(FromWidth);
bool ToLegal = ToWidth == 1 || DL.isLegalInteger(ToWidth);
+ if (FromLegal && ToWidth < FromWidth && (ToWidth == 8 || ToWidth == 16))
+ return true;
+
// If this is a legal integer from type, and the...
2017 Jan 30
3
Folding zext from i1 into PHI nodes with only zwo incoming values.
Hi Sanjay,
unfortunately that patch does not help in my case. Here's the IR that fails
to get fully optimized:
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
define fastcc zeroext i1 @testfunc(i8** noalias nocapture readonly
dereferenceable(8)) unnamed_addr {
entry-block:
%1 = load i8*, i8**
2018 Jan 17
3
always allow canonicalizing to 8- and 16-bit ops?
Example:
define i8 @narrow_add(i8 %x, i8 %y) {
%x32 = zext i8 %x to i32
%y32 = zext i8 %y to i32
%add = add nsw i32 %x32, %y32
%tr = trunc i32 %add to i8
ret i8 %tr
}
With no data-layout or with an x86 target where 8-bit integer is in the
data-layout, we reduce to:
$ ./opt -instcombine narrowadd.ll -S
define i8 @narrow_add(i8 %x, i8 %y) {
%add = add i8 %x, %y
ret i8 %add
}
But on
2018 Jan 23
0
MachineVerifier and undef
...do though, is run
> some
> benchmarks and look at that results.
>
> Using this patch:
>
> --- a/lib/Transforms/InstCombine/InstructionCombining.cpp
> +++ b/lib/Transforms/InstCombine/InstructionCombining.cpp
> @@ -150,6 +150,9 @@ bool InstCombiner::shouldChangeType(unsigned FromWidth,
> bool FromLegal = FromWidth == 1 || DL.isLegalInteger(FromWidth);
> bool ToLegal = ToWidth == 1 || DL.isLegalInteger(ToWidth);
>
> + if (FromLegal && ToWidth < FromWidth && (ToWidth == 8 || ToWidth == 16))
> + return true;
> +
> // If this is a...