Displaying 4 results from an estimated 4 matches for "issumgreat".
Did you mean:
issumgreater
2015 Jan 28
15
[LLVMdev] RFC: Proposal for Poison Semantics
...to say the
least, confusing for users, researchers and engineers working with LLVM.
This document hopes to clear up some of the confusion of poison and
hopefully explain *why* it has its semantics.
## A Quick Introduction to Poison
Let's start with a concrete motivating example in C:
```
int isSumGreater(int a, int b) {
return a + b > a;
}
```
The C specification permits us to optimize the comparison in `isSumGreater`
to `b > 0` because signed overflow results in undefined behavior. A
reasonable translation of `isSumGreater` to LLVM IR could be:
```
define i32 @isSumGreater(i32 %a, i32...
2015 Jan 29
5
[LLVMdev] RFC: Proposal for Poison Semantics
...orking with LLVM.
>
> This document hopes to clear up some of the confusion of poison
> and hopefully explain *why* it has its semantics.
>
> ## A Quick Introduction to Poison
>
> Let's start with a concrete motivating example in C:
> ```
> int isSumGreater(int a, int b) {
> return a + b > a;
> }
> ```
>
> The C specification permits us to optimize the comparison in
> `isSumGreater` to `b > 0` because signed overflow results in
> undefined behavior. A reasonable translation of `isSumGreater` to
&...
2015 Jan 28
2
[LLVMdev] RFC: Proposal for Poison Semantics
...; >
> > This document hopes to clear up some of the confusion of poison and
> > hopefully explain *why* it has its semantics.
> >
> > ## A Quick Introduction to Poison
> >
> > Let's start with a concrete motivating example in C:
> > ```
> > int isSumGreater(int a, int b) {
> > return a + b > a;
> > }
> > ```
> >
> > The C specification permits us to optimize the comparison in
> `isSumGreater`
> > to `b > 0` because signed overflow results in undefined behavior. A
> > reasonable translation of `is...
2015 Feb 03
6
[LLVMdev] Proposal for Poison Semantics
....
>
>
>
> This document hopes to clear up some of the confusion of poison and
> hopefully explain *why* it has its semantics.
>
>
>
> ## A Quick Introduction to Poison
>
>
>
> Let's start with a concrete motivating example in C:
>
> ```
>
> int isSumGreater(int a, int b) {
>
> return a + b > a;
>
> }
>
> ```
>
>
>
> The C specification permits us to optimize the comparison in
> `isSumGreater` to `b > 0` because signed overflow results in undefined
> behavior. A reasonable translation of `isSumGreater` to...