Displaying 5 results from an estimated 5 matches for "invariant1".
Did you mean:
invariants
2013 Sep 09
0
[LLVMdev] llvm.meta (was Rotated loop identification)
...nd I’ll listen to
>> any strong arguments to the contrary.
>
> When you say "metadata language", what do you have in mind? I can think of two general schemes:
>
> 1. A language in which each expression in the language is a metadata node; maybe something like:
> !invariant1 = !{ !"eq", !{ !"urem", i32 %value, i32 48 }, i32 0 }
>
> 2. A language encoded in a string with some syntax for substitution values; maybe something like:
> !invariant1 = !{ !"(eq (urem #1, 48), 0)", i32 %value}
I was thinking of the first approach, but...
2013 Sep 07
2
[LLVMdev] llvm.meta (was Rotated loop identification)
...end of the world though, and I’ll listen to
> any strong arguments to the contrary.
When you say "metadata language", what do you have in mind? I can think of two general schemes:
1. A language in which each expression in the language is a metadata node; maybe something like:
!invariant1 = !{ !"eq", !{ !"urem", i32 %value, i32 48 }, i32 0 }
2. A language encoded in a string with some syntax for substitution values; maybe something like:
!invariant1 = !{ !"(eq (urem #1, 48), 0)", i32 %value}
>
>
>
>
> On the other hand, when I...
2013 Sep 12
2
[LLVMdev] llvm.meta (was Rotated loop identification)
...I’ll listen to
> any strong arguments to the contrary.
>
> When you say "metadata language", what do you have in mind? I can
> think of two general schemes:
>
> 1. A language in which each expression in the language is a metadata
> node; maybe something like:
> !invariant1 = !{ !"eq", !{ !"urem", i32 %value, i32 48 }, i32 0 }
>
> 2. A language encoded in a string with some syntax for substitution
> values; maybe something like:
> !invariant1 = !{ !"(eq (urem #1, 48), 0)", i32 %value}
>
>
>
>
> I was thinki...
2013 Aug 20
0
[LLVMdev] llvm.meta (was Rotated loop identification)
On Aug 19, 2013, at 8:06 PM, Hal Finkel <hfinkel at anl.gov> wrote:
> ----- Original Message -----
>>
>> On Feb 22, 2013, at 6:28 AM, Hal Finkel <hfinkel at anl.gov> wrote:
>>
>>> ----- Original Message -----
>>>> From: "Andrew Trick" <atrick at apple.com>
>>>> To: "Hal Finkel" <hfinkel at anl.gov>
2013 Aug 20
3
[LLVMdev] llvm.meta (was Rotated loop identification)
----- Original Message -----
>
> On Feb 22, 2013, at 6:28 AM, Hal Finkel <hfinkel at anl.gov> wrote:
>
> > ----- Original Message -----
> >> From: "Andrew Trick" <atrick at apple.com>
> >> To: "Hal Finkel" <hfinkel at anl.gov>
> >> Cc: "llvmdev at cs.uiuc.edu List" <llvmdev at cs.uiuc.edu>,