search for: end9

On 01/13/2010 02:07 AM, Duncan Sands wrote: > Hi Dustin, the code generators do not support unwind, only the > interpreter does. Ah, the secret is not to even try to frob the gnorts. Manual unwinding, here I come. :-( I was going to say the interpreter doesn't either, but then I recalled it JITs when it can. I don't know how to call into libc from the interpreter to test that.

...; preds = %if.end3 tail call void @abort() #3 unreachable if.end6: ; preds = %if.end3 %3 = load i32, i32* getelementptr inbounds ([4 x i32], [4 x i32]* @a, i32 0, i32 3), align 4 %cmp7 = icmp eq i32 %3, 1 br i1 %cmp7, label %if.end9, label %if.then8 if.then8: ; preds = %if.end6 tail call void @abort() #3 unreachable if.end9: ; preds = %if.end6 tail call void @exit(i32 0) #3 unreachable } declare void @abort() declare void @exit(i32)

...e SROA pass later invoked. As “undeflocal” has inserted it before the lifetime.start intrinsic and now the store has a legal value “0” stored into it, which in turn causes the address sanitizer to complain about use-after-scope. Here is the part of the IR that does this *After undeflocal* if.end9: ; preds = %_ZN4llvm10IndexedMapIN12_GLOBAL__N_18RAGreedy7RegInfoENS_20VirtReg2IndexFunctorEEixEj.exit, %if.then8 %Cascade.0 = phi i32 [ %7, %_ZN4llvm10IndexedMapIN12_GLOBAL__N_18RAGreedy7RegInfoENS_20VirtReg2IndexFunctorEEixEj.exit ], [ %8, %if.then8 ],...

...%eax cmpl $-14, %eax jl .LBB0_4 # BB#3: # %if.then5 movl $2147483647, %eax # imm = 0x7FFFFFFF addl phi, %eax cltd idivl %ecx movl %eax, sum .LBB0_4: # %if.end9 popl %esi popl %edi ret the instruction sequences like movl $2147483647, %eax # int temp = (phi+ 0x7fffffffL ) addl phi, %eax cltd would had be hoisted in the BB0 from BB1 and BB3 or sure i'm missing something here . Thanks ~Umesh

...a < 100) { printf("elif\n"); } } ``` Running "opt -regions -analyze region.ll" I got: ``` Printing analysis 'Detect single entry single exit regions' for function 'split': Region tree: [0] entry => <Function Return> [1] entry => if.end9 [2] for.cond => for.end [3] for.body => if.end [2] if.else => if.end8 End region tree ``` LLVM uses "for.cond" as the entry and "for.end" as the exit, but there is a loop preheader block before "for.cond" named "if.then", using "i...

...256 x double]* getelementptr inbounds ([256 x [256 x double]]* @bb, i32 0, i32 0), [256 x double]* getelementptr inbounds ([256 x [256 x double]]* @cc, i32 0, i32 0), double 0.000000e+00) nounwind %inc8 = add nsw i32 %nl.014, 1 %exitcond = icmp eq i32 %inc8, 400000 br i1 %exitcond, label %for.end9, label %for.cond2.preheader for.end9: ; preds = %for.end %call10 = tail call i32 @clock() nounwind %sub = sub nsw i32 %call10, %call1 %conv = sitofp i32 %sub to double %div = fdiv double %conv, 1.000000e+06 %call11 = tail call i32 (i8*, ...)* @prin...

...%storemerge15, 1 + %cmp2 = icmp slt i32 %inc, 10 + br i1 %cmp2, label %for.body3, label %for.inc7 + +for.inc7: ; preds = %for.body3 + %inc8 = add nsw i32 %storemerge7, 1 + %cmp = icmp slt i32 %inc8, 10 + br i1 %cmp, label %for.cond1.preheader, label %for.end9 + +for.end9: ; preds = %for.inc7 + ret i8 %conv6 +} -- 1.7.8.3

> On Mar 2, 2015, at 4:19 PM, Diego Novillo <dnovillo at google.com> wrote: > > On Thu, Feb 26, 2015 at 6:54 PM, Diego Novillo <dnovillo at google.com <mailto:dnovillo at google.com>> wrote: > > I've created a few bugzilla issues with details of some of the things I'll be looking into. I'm not yet done wordsmithing the overall design document.