Skip to content
  1. Sep 21, 2009
    • Chris Lattner's avatar
      split HandleLoadFromClobberingStore in two pieces: one that does the · 9d7fb295
      Chris Lattner authored
      analysis, one that does the xform.
      
      llvm-svn: 82443
      9d7fb295
    • Chris Lattner's avatar
      add a note · 61858787
      Chris Lattner authored
      llvm-svn: 82442
      61858787
    • Daniel Dunbar's avatar
      Register the MachineModuleInfo for the ARM JIT, and update JITDwarfEmitter to · bc528b16
      Daniel Dunbar authored
      assert if the setModuleInfo hasn't been called.
      
      llvm-svn: 82441
      bc528b16
    • Chris Lattner's avatar
      add pr# · e2b8a804
      Chris Lattner authored
      llvm-svn: 82440
      e2b8a804
    • Chris Lattner's avatar
      Improve GVN to be able to forward substitute a small load · 0a9616d9
      Chris Lattner authored
      from a piece of a large store when both are in the same block.
      
      This allows clang to compile the testcase in PR4216 to this code:
      
      _test_bitfield:
      	movl	4(%esp), %eax
      	movl	%eax, %ecx
      	andl	$-65536, %ecx
      	orl	$32962, %eax
      	andl	$40186, %eax
      	orl	%ecx, %eax
      	ret
      
      This is not ideal, but is a whole lot better than the code produced
      by llvm-gcc:
      
      _test_bitfield:
      	movw	$-32574, %ax
      	orw	4(%esp), %ax
      	andw	$-25350, %ax
      	movw	%ax, 4(%esp)
      	movw	7(%esp), %cx
      	shlw	$8, %cx
      	movzbl	6(%esp), %edx
      	orw	%cx, %dx
      	movzwl	%dx, %ecx
      	shll	$16, %ecx
      	movzwl	%ax, %eax
      	orl	%ecx, %eax
      	ret
      
      and dramatically better than that produced by gcc 4.2:
      
      _test_bitfield:
      	pushl	%ebx
      	call	L3
      "L00000000001$pb":
      L3:
      	popl	%ebx
      	movl	8(%esp), %eax
      	leal	0(,%eax,4), %edx
      	sarb	$7, %dl
      	movl	%eax, %ecx
      	andl	$7168, %ecx
      	andl	$-7201, %ebx
      	movzbl	%dl, %edx
      	andl	$1, %edx
      	sall	$5, %edx
      	orl	%ecx, %ebx
      	orl	%edx, %ebx
      	andl	$24, %eax
      	andl	$-58336, %ebx
      	orl	%eax, %ebx
      	orl	$32962, %ebx
      	movl	%ebx, %eax
      	popl	%ebx
      	ret
      
      llvm-svn: 82439
      0a9616d9
    • Chris Lattner's avatar
      add a helper method. · 450fd6ff
      Chris Lattner authored
      llvm-svn: 82438
      450fd6ff
    • Evan Cheng's avatar
      Fix PR4986. "r1024 = insert_subreg r1024, undef, 2" cannot be turned in an... · fccbd0af
      Evan Cheng authored
      Fix PR4986. "r1024 = insert_subreg r1024, undef, 2" cannot be turned in an implicit_def. Instead, it's an identity copy so it should be eliminated. Also make sure to update livevariable kill information.
      
      llvm-svn: 82436
      fccbd0af
    • Daniel Dunbar's avatar
      Don't allow formatted_ostream to be unbuffered, even if its underlying buffer · 7814fa1d
      Daniel Dunbar authored
      is.
       - The problem is that formatted_ostream forces its underlying buffer to be
         unbuffered, so if some client happens to wrap a formatted_ostream around
         something, but still use the underlying stream, then we can end up writing on
         a fully unbuffered output (which was never intended to be unbuffered).
      
       - This makes clang (and presumably llvm-gcc) -emit-llvm -S a mere 10x faster.
      
      llvm-svn: 82434
      7814fa1d
    • Chris Lattner's avatar
      one case handled, expanded another testcase inline. · 9858859f
      Chris Lattner authored
      llvm-svn: 82427
      9858859f
    • Chris Lattner's avatar
      formatting cleanups, no functionality change. · 1eefa9c4
      Chris Lattner authored
      llvm-svn: 82426
      1eefa9c4
    • Reid Kleckner's avatar
    • Chris Lattner's avatar
      fix a FileCheck bug where: · b9f2bf46
      Chris Lattner authored
      ; CHECK: foo
      ; CHECK-NOT: foo
      ; CHECK: bar
      
      would always fail.
      
      llvm-svn: 82424
      b9f2bf46
    • Daniel Dunbar's avatar
      Move ARM and X86 specific AsmParser tests into separate subdirectories, and only · c05f9a60
      Daniel Dunbar authored
      run if appropriate target is supported.
      
      llvm-svn: 82419
      c05f9a60
    • Reid Kleckner's avatar
      Implement the JIT side of the GDB JIT debugging interface. To enable this · 9a10db8c
      Reid Kleckner authored
      feature, either build the JIT in debug mode to enable it by default or pass
      -jit-emit-debug to lli.
      
      Right now, the only debug information that this communicates to GDB is call
      frame information, since it's already being generated to support exceptions in
      the JIT.  Eventually, when DWARF generation isn't tied so tightly to AsmPrinter,
      it will be easy to push that information to GDB through this interface.
      
      Here's a step-by-step breakdown of how the feature works:
      
      - The JIT generates the machine code and DWARF call frame info
        (.eh_frame/.debug_frame) for a function into memory.
      - The JIT copies that info into an in-memory ELF file with a symbol for the
        function.
      - The JIT creates a code entry pointing to the ELF buffer and adds it to a
        linked list hanging off of a global descriptor at a special symbol that GDB
        knows about.
      - The JIT calls a function marked noinline that GDB knows about and has put an
        internal breakpoint in.
      - GDB catches the breakpoint and reads the global descriptor to look for new
        code.
      - When sees there is new code, it reads the ELF from the inferior's memory and
        adds it to itself as an object file.
      - The JIT continues, and the next time we stop the program, we are able to
        produce a proper backtrace.
      
      Consider running the following program through the JIT:
      
      #include <stdio.h>
      void baz(short z) {
        long w = z + 1;
        printf("%d, %x\n", w, *((int*)NULL));  // SEGFAULT here
      }
      void bar(short y) {
        int z = y + 1;
        baz(z);
      }
      void foo(char x) {
        short y = x + 1;
        bar(y);
      }
      int main(int argc, char** argv) {
        char x = 1;
        foo(x);
      }
      
      Here is a backtrace before this patch:
      Program received signal SIGSEGV, Segmentation fault.
      [Switching to Thread 0x2aaaabdfbd10 (LWP 25476)]
      0x00002aaaabe7d1a8 in ?? ()
      (gdb) bt
      #0  0x00002aaaabe7d1a8 in ?? ()
      #1  0x0000000000000003 in ?? ()
      #2  0x0000000000000004 in ?? ()
      #3  0x00032aaaabe7cfd0 in ?? ()
      #4  0x00002aaaabe7d12c in ?? ()
      #5  0x00022aaa00000003 in ?? ()
      #6  0x00002aaaabe7d0aa in ?? ()
      #7  0x01000002abe7cff0 in ?? ()
      #8  0x00002aaaabe7d02c in ?? ()
      #9  0x0100000000000001 in ?? ()
      #10 0x00000000014388e0 in ?? ()
      #11 0x00007fff00000001 in ?? ()
      #12 0x0000000000b870a2 in llvm::JIT::runFunction (this=0x1405b70,
      F=0x14024e0, ArgValues=@0x7fffffffe050)
         at /home/rnk/llvm-gdb/lib/ExecutionEngine/JIT/JIT.cpp:395
      #13 0x0000000000baa4c5 in llvm::ExecutionEngine::runFunctionAsMain
      (this=0x1405b70, Fn=0x14024e0, argv=@0x13f06f8, envp=0x7fffffffe3b0)
         at /home/rnk/llvm-gdb/lib/ExecutionEngine/ExecutionEngine.cpp:377
      #14 0x00000000007ebd52 in main (argc=2, argv=0x7fffffffe398,
      envp=0x7fffffffe3b0) at /home/rnk/llvm-gdb/tools/lli/lli.cpp:208
      
      And a backtrace after this patch:
      Program received signal SIGSEGV, Segmentation fault.
      0x00002aaaabe7d1a8 in baz ()
      (gdb) bt
      #0  0x00002aaaabe7d1a8 in baz ()
      #1  0x00002aaaabe7d12c in bar ()
      #2  0x00002aaaabe7d0aa in foo ()
      #3  0x00002aaaabe7d02c in main ()
      #4  0x0000000000b870a2 in llvm::JIT::runFunction (this=0x1405b70,
      F=0x14024e0, ArgValues=...)
         at /home/rnk/llvm-gdb/lib/ExecutionEngine/JIT/JIT.cpp:395
      #5  0x0000000000baa4c5 in llvm::ExecutionEngine::runFunctionAsMain
      (this=0x1405b70, Fn=0x14024e0, argv=..., envp=0x7fffffffe3c0)
         at /home/rnk/llvm-gdb/lib/ExecutionEngine/ExecutionEngine.cpp:377
      #6  0x00000000007ebd52 in main (argc=2, argv=0x7fffffffe3a8,
      envp=0x7fffffffe3c0) at /home/rnk/llvm-gdb/tools/lli/lli.cpp:208
      
      llvm-svn: 82418
      9a10db8c
    • Daniel Dunbar's avatar
      Work around a FileCheck bug, for now. · ffb60d56
      Daniel Dunbar authored
      llvm-svn: 82416
      ffb60d56
    • Chris Lattner's avatar
      simplify as daniel suggests · 5a3a8542
      Chris Lattner authored
      llvm-svn: 82415
      5a3a8542
    • Chris Lattner's avatar
      write rfind in terms of npos as daniel requested · 50f387c5
      Chris Lattner authored
      llvm-svn: 82414
      50f387c5
    • Chris Lattner's avatar
      remove a dead method. · 3b0dbeb9
      Chris Lattner authored
      llvm-svn: 82413
      3b0dbeb9
    • Chris Lattner's avatar
      grammaro · 05593db1
      Chris Lattner authored
      llvm-svn: 82412
      05593db1
    • Chris Lattner's avatar
      Revert r82404, it is causing a bootstrap miscompile. This is very very · 7e6d56eb
      Chris Lattner authored
      scary, as it indicates a lurking bug. yay.
      
      llvm-svn: 82411
      7e6d56eb
    • Chris Lattner's avatar
      rewrite CountNumNewlinesBetween to be in terms of StringRef. · 37183584
      Chris Lattner authored
      llvm-svn: 82410
      37183584
    • Chris Lattner's avatar
      this was not supposed to be committed · 973f14c8
      Chris Lattner authored
      llvm-svn: 82409
      973f14c8
    • Chris Lattner's avatar
      implement and document support for CHECK-NOT · 236d2d5e
      Chris Lattner authored
      llvm-svn: 82408
      236d2d5e
    • Chris Lattner's avatar
      caa5fc0c
  2. Sep 20, 2009
Loading