search for: tmp31

...t out yet. I figure I'd ping the list to see if it's an obvious fix to someone else. define void @test(i16 %di, i32 %L_num, i32 %tmp1, i16* %P) { %X = shl i16 %di, 1 ; <i16> [#uses=1] %tmp28 = shl i32 %L_num, 1 ; <i32> [#uses=1] %tmp31 = icmp slt i32 %tmp28, %tmp1 ; <i1> [#uses=1] %tmp31.upgrd = zext i1 %tmp31 to i16 ; <i16> [#uses=1] %tmp371 = or i16 %tmp31.upgrd, %X ; <i16> [#uses=1] %div.0.be.i.i.i.i = xor i16 %tmp371, 1 ; <i16> [#uses=1]...

...anslate some programs. Today I saw a weird thing: - My program has a global pointer @ptr1 = 0. And the constant integer '0' is stored in value memory at index 64. "@ptr = weak global i32 0; <i32*>" - Somewhere in my program, there is a store instruction: "store i32 %tmp31, i32* @ptr" it writes %tmp32 into memory, where @ptr pointed to (here: index 64 of value memory). - Afterward, another instruction needs to load the integer value '0' from value memory : "%tmp17 = mul i32 %mb_col, 0" It will try to read the value memory at index 64, but i...

...tail call float @llvm.exp.f32(float %tmp15.i.i) nounwind > %tmp17.i.i = fmul float %call16.i.i, 0x3FD9884540000000 > %tmp19.i.i = fmul float %tmp17.i.i, %tmp7.i.i > %tmp29.i.i = fmul float %tmp7.i.i, 0x3FF548CDE0000000 > %tmp30.i.i = fadd float %tmp29.i.i, 0xBFFD23DD40000000 > %tmp31.i.i = fmul float %tmp7.i.i, %tmp30.i.i > %tmp32.i.i = fadd float %tmp31.i.i, 0x3FFC80EF00000000 > %tmp33.i.i = fmul float %tmp7.i.i, %tmp32.i.i > %tmp34.i.i = fadd float %tmp33.i.i, 0xBFD6D1F0E0000000 > %tmp35.i.i = fmul float %tmp7.i.i, %tmp34.i.i > %tmp36.i.i = fadd float %tmp...

Hello everybody, I have stumbled upon a test case (the attached module is a slightly reduced version) that shows extremely reduced performance on linux compared to windows when executed using LLVM's JIT. We narrowed the problem down to the actual code being generated, the source IR on both systems is the same. Try compiling the attached module: llc -O3 -filetype=asm -o BAD.s BAD.ll Under

...rue cond_true: %tmp24 = load i8** @yybuf, align 4 %tmp25 = load i32* @yypos, align 4 %tmp2627 = trunc i32 %tmp16 to i8 %tmp28 = getelementptr i8* %tmp24, i32 %tmp25 store i8 %tmp2627, i8* %tmp28, align 1 br label %cond_next cond_next: %iftmp.29.0 = phi i32 [ 1, %cond_true ], [ 0, %bb13 ] %tmp31 = icmp eq i32 %iftmp.29.0, 0 br i1 %tmp31, label %UnifiedReturnBlock, label %cond_next36 cond_next36: %tmp37 = load i32* @yylimit, align 4 %tmp39 = add i32 %tmp37, %iftmp.29.0 store i32 %tmp39, i32* @yylimit, align 4 ret i32 1 UnifiedReturnBlock: ret i32 0 } declare i8* @realloc(i8*, i32)...

On Thu, Jan 15, 2015 at 1:26 PM, Nick Lewycky <nlewycky at google.com> wrote: > On 15 January 2015 at 13:10, Daniel Berlin <dberlin at dberlin.org> wrote: > >> Yes. >> I've attached an updated patch that does the following: >> >> 1. Fixes the partialalias of globals/arguments >> 2. Enables partialalias for cases where nothing has been unified to

Inline George > On Jan 26, 2015, at 1:05 PM, Daniel Berlin <dberlin at dberlin.org> wrote: > > George, given that, can you just build constexpr handling (it's not as easy as you think) as a separate funciton and have it use it in the right places? Will do. :) > FWIW, my current list of CFLAA issues is: > > 1. Unknown values (results from ptrtoint, incoming

George, given that, can you just build constexpr handling (it's not as easy as you think) as a separate funciton and have it use it in the right places? FWIW, my current list of CFLAA issues is: 1. Unknown values (results from ptrtoint, incoming pointers, etc) are not treated as unknown. These should be done through graph edge (so that they can be one way, otherwise, you will unify

..."e-p:32:32:32" -; CHECK: 1 partial alias response - -define i32 @test(i32* %tab, i32 %indvar) nounwind { +; FIXME: This could be PartialAlias but CFLAA can't currently prove it +; CHECK: 1 may alias response +define i32 @test(i32 %indvar) nounwind { + %tab = alloca i32, align 4 %tmp31 = mul i32 %indvar, -2 %tmp32 = add i32 %tmp31, 30 %t.5 = getelementptr i32* %tab, i32 %tmp32 diff --git a/test/Analysis/CFLAliasAnalysis/must-and-partial.ll b/test/Analysis/CFLAliasAnalysis/must-and-partial.ll index df7de38..2585a56 100644 --- a/test/Analysis/CFLAliasAnalysis/must-and-partial...

...metic.ll +++ b/test/Analysis/CFLAliasAnalysis/gep-signed-arithmetic.ll @@ -5,7 +5,8 @@ target datalayout = "e-p:32:32:32" ; CHECK: 1 partial alias response -define i32 @test(i32* %tab, i32 %indvar) nounwind { +define i32 @test(i32 %indvar) nounwind { + %tab = alloca i32, align 4 %tmp31 = mul i32 %indvar, -2 %tmp32 = add i32 %tmp31, 30 %t.5 = getelementptr i32* %tab, i32 %tmp32 diff --git a/test/Analysis/CFLAliasAnalysis/must-and-partial.ll b/test/Analysis/CFLAliasAnalysis/must-and-partial.ll index df7de38..2c66d90 100644 --- a/test/Analysis/CFLAliasAnalysis/must-and-partial...

...64 %mask25, 68719476735 ; <i64> [#uses=0] %mask27 = and i64 %mask25, 68719476735 ; <i64> [#uses=1] %tmp28 = mul i64 %mask27, 32 ; <i64> [#uses=1] %mask29 = and i64 %tmp28, 68719476735 ; <i64> [#uses=1] %mask30 = and i64 %mask29, 68719476735 ; <i64> [#uses=0] %tmp31 = load i32* %a.0, align 4 ; <i32> [#uses=1] %tmp32 = mul i32 %tmp31, 4 ; <i32> [#uses=0] %tmp33 = getelementptr %struct..0anon* %c, i32 0, i32 0 ; <i32*> [#uses=1] %tmp34 = getelementptr i32* %tmp33, i32 0 ; <i32*> [#uses=1] %tmp35 = load i32* %tmp34, align 4 ; <...

Oh, sorry, i didn't rebase it when i changed the fix, you would have had to apply the first on top of the second. Here is one against HEAD On Wed, Jan 14, 2015 at 12:32 PM, Ana Pazos <apazos at codeaurora.org> wrote: > Daniel, your patch does not apply cleanly. Are you on the tip? > > The code I see there is no line if (QueryResult == MayAlias|| QueryResult == PartialAlias)