Displaying 3 results from an estimated 3 matches for "minsignedvalue".
2017 Mar 15
2
Speculative execution of FP divide Instructions - Call-Graph Simplify
...):
```
diff --git a/lib/Analysis/ValueTracking.cpp b/lib/Analysis/ValueTracking.cpp
index 1761dac..c61fefd 100644
--- a/lib/Analysis/ValueTracking.cpp
+++ b/lib/Analysis/ValueTracking.cpp
@@ -3352,6 +3352,21 @@ bool llvm::isSafeToSpeculativelyExecute(const Value
*V,
// The numerator *might* be MinSignedValue.
return false;
}
+ case Instruction::FDiv:
+ case Instruction::FRem:{
+ const Value *Denominator = Inst->getOperand(1);
+ // x / y is undefined if y == 0
+ // The denominator is not a constant, so there is nothing we can do to
prove
+ // it is non-zero.
+ if (auto *VV =...
2017 Mar 15
3
Speculative execution of FP divide Instructions - Call-Graph Simplify
...b/Analysis/ValueTracking.cpp
>> index 1761dac..c61fefd 100644
>> --- a/lib/Analysis/ValueTracking.cpp
>> +++ b/lib/Analysis/ValueTracking.cpp
>> @@ -3352,6 +3352,21 @@ bool llvm::isSafeToSpeculativelyExecute(const
>> Value *V,
>> // The numerator *might* be MinSignedValue.
>> return false;
>> }
>> + case Instruction::FDiv:
>> + case Instruction::FRem:{
>> + const Value *Denominator = Inst->getOperand(1);
>> + // x / y is undefined if y == 0
>> + // The denominator is not a constant, so there is nothing...
2017 Mar 15
2
Speculative execution of FP divide Instructions - Call-Graph Simplify
...):
```
diff --git a/lib/Analysis/ValueTracking.cpp b/lib/Analysis/ValueTracking.cpp
index 1761dac..c61fefd 100644
--- a/lib/Analysis/ValueTracking.cpp
+++ b/lib/Analysis/ValueTracking.cpp
@@ -3352,6 +3352,21 @@ bool llvm::isSafeToSpeculativelyExecute(const Value *V,
// The numerator *might* be MinSignedValue.
return false;
}
+ case Instruction::FDiv:
+ case Instruction::FRem:{
+ const Value *Denominator = Inst->getOperand(1);
+ // x / y is undefined if y == 0
+ // The denominator is not a constant, so there is nothing we can do to prove
+ // it is non-zero.
+ if (auto *VV =...