Displaying 10 results from an estimated 10 matches for "baseplustwo".
2015 Jan 17
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...bigbase0
%loaded = load i8* %phi
ret i8 %loaded
}
because %phi will have a partial overlap with %bigbase0, the only uncertainty is whether the overlap is with the low byte or the high byte. But if I modify the test to be this:
define i8 @test0x(i1 %x) {
entry:
%base = alloca i8, align 4
%baseplustwo = getelementptr i8* %base, i64 2
br i1 %x, label %red, label %green
red:
br label %green
green:
%phi = phi i8* [ %baseplustwo, %red ], [ %base, %entry ]
store i8 0, i8* %phi
%bigbase0 = bitcast i8* %base to i16*
store i16 -1, i16* %bigbase0
%loaded = load i8* %phi
ret i8 %loaded
}...
2015 Jan 20
4
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...e %phi will have a partial overlap with %bigbase0, the only
>> uncertainty is whether the overlap is with the low byte or the high byte.
>> But if I modify the test to be this:
>>
>> define i8 @test0x(i1 %x) {
>> entry:
>> %base = alloca i8, align 4
>> %baseplustwo = getelementptr i8* %base, i64 2
>> br i1 %x, label %red, label %green
>> red:
>> br label %green
>> green:
>> %phi = phi i8* [ %baseplustwo, %red ], [ %base, %entry ]
>> store i8 0, i8* %phi
>>
>> %bigbase0 = bitcast i8* %base to i16*
>&...
2015 Jan 21
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...phi will have a partial overlap with %bigbase0, the only
> > uncertainty is whether the overlap is with the low byte or the high
> > byte. But if I modify the test to be this:
> >
> > define i8 @test0x(i1 %x) {
> > entry:
> > %base = alloca i8, align 4
> > %baseplustwo = getelementptr i8* %base, i64 2
> > br i1 %x, label %red, label %green
> > red:
> > br label %green
> > green:
> > %phi = phi i8* [ %baseplustwo, %red ], [ %base, %entry ]
> > store i8 0, i8* %phi
> >
> > %bigbase0 = bitcast i8* %base to i16*
> &g...
2015 Jan 21
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...h %bigbase0, the only
> > > uncertainty is whether the overlap is with the low byte or the high
> > > byte. But if I modify the test to be this:
> > >
> > > define i8 @test0x(i1 %x) {
> > > entry:
> > > %base = alloca i8, align 4
> > > %baseplustwo = getelementptr i8* %base, i64 2
> > > br i1 %x, label %red, label %green
> > > red:
> > > br label %green
> > > green:
> > > %phi = phi i8* [ %baseplustwo, %red ], [ %base, %entry ]
> > > store i8 0, i8* %phi
> > >
> > > %bigb...
2015 Jan 23
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...gt; > > uncertainty is whether the overlap is with the low byte or the
> > > high
> > > byte. But if I modify the test to be this:
> > >
> > > define i8 @test0x(i1 %x) {
> > > entry:
> > > %base = alloca i8, align 4
> > > %baseplustwo = getelementptr i8* %base, i64 2
> > > br i1 %x, label %red, label %green
> > > red:
> > > br label %green
> > > green:
> > > %phi = phi i8* [ %baseplustwo, %red ], [ %base, %entry ]
> > > store i8 0, i8* %phi
> > >
> > &g...
2015 Jan 23
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...h the low byte or the
>>> > > high
>>> > > byte. But if I modify the test to be this:
>>> > >
>>> > > define i8 @test0x(i1 %x) {
>>> > > entry:
>>> > > %base = alloca i8, align 4
>>> > > %baseplustwo = getelementptr i8* %base, i64 2
>>> > > br i1 %x, label %red, label %green
>>> > > red:
>>> > > br label %green
>>> > > green:
>>> > > %phi = phi i8* [ %baseplustwo, %red ], [ %base, %entry ]
>>> > > st...
2015 Jan 17
3
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
Hi Danny,
// Add TypeBasedAliasAnalysis before BasicAliasAnalysis so that
// BasicAliasAnalysis wins if they disagree. This is intended to help
// support "obvious" type-punning idioms.
- if (UseCFLAA)
- addPass(createCFLAliasAnalysisPass());
addPass(createTypeBasedAliasAnalysisPass());
addPass(createScopedNoAliasAAPass());
+ if (UseCFLAA)
+
2015 Jan 23
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...gt; > > uncertainty is whether the overlap is with the low byte or the
> > > high
> > > byte. But if I modify the test to be this:
> > >
> > > define i8 @test0x(i1 %x) {
> > > entry:
> > > %base = alloca i8, align 4
> > > %baseplustwo = getelementptr i8* %base, i64 2
> > > br i1 %x, label %red, label %green
> > > red:
> > > br label %green
> > > green:
> > > %phi = phi i8* [ %baseplustwo, %red ], [ %base, %entry ]
> > > store i8 0, i8* %phi
> > >
> > &g...
2015 Jan 24
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...s whether the overlap is with the low byte or the
> > > > high
> > > > byte. But if I modify the test to be this:
> > > >
> > > > define i8 @test0x(i1 %x) {
> > > > entry:
> > > > %base = alloca i8, align 4
> > > > %baseplustwo = getelementptr i8* %base, i64 2
> > > > br i1 %x, label %red, label %green
> > > > red:
> > > > br label %green
> > > > green:
> > > > %phi = phi i8* [ %baseplustwo, %red ], [ %base, %entry ]
> > > > store i8 0, i8* %phi
>...
2015 Jan 26
2
[LLVMdev] question about enabling cfl-aa and collecting a57 numbers
...ow byte or the
> > > > > high
> > > > > byte. But if I modify the test to be this:
> > > > >
> > > > > define i8 @test0x(i1 %x) {
> > > > > entry:
> > > > > %base = alloca i8, align 4
> > > > > %baseplustwo = getelementptr i8* %base, i64 2
> > > > > br i1 %x, label %red, label %green
> > > > > red:
> > > > > br label %green
> > > > > green:
> > > > > %phi = phi i8* [ %baseplustwo, %red ], [ %base, %entry ]
> > > > &...