1. 21 May, 2017 1 commit
    • Simon Schuster's avatar
      Bugfix: Platina-Intrinsic: pass type/expr by operand · 14014b55
      Simon Schuster authored
      This commit catches up to a matching bugfix in patmos-llvm.
      The former implementation passed the platina type and expression
      infromation by means of two metadata items attached to the intrinsic
      call instruction. However, the tail-call-optimization dropped this
      metadata (in sync with the docs):
        A transformation is required to drop any metadata attachment that it
        does not know or know it can’t preserve.
      Passing this data by means of operands to the call instruction should
      be more robust.
  2. 12 May, 2017 4 commits
  3. 08 May, 2017 1 commit
  4. 06 May, 2017 1 commit
    • Simon Schuster's avatar
      Add '#pragma platina guard "..."' to clang · 91da43b3
      Simon Schuster authored
      This commit adds a custom pragma to the clang frontend:
        `#pragma platina guard "..."`
      It degrades to the llvm's intrinisc::platina, which stores the
      annotation string in the associated metadata node.
      Rational is to use that pragma to mark viable, but effectively dead
      code paths, e.g. code paths that are only entered during an
      initialisation phase.
  5. 12 Apr, 2017 1 commit
    • Simon Schuster's avatar
      Add a -mserialize-auto option to clang · 9e902416
      Simon Schuster authored
      Currently, it is required to state the export filename explicitly via
      "-mserialize=out.pml". This makes it hard to easily integrate it into a
      Makefile e.g. in the kernel context.
      Now it is possible to use "-mserialize-auto", which determines the
      output filenames based on the value of the "-o outfile" parameter by
      using "outfile.pml" and "outfile.bc" respectively
  6. 11 Apr, 2017 1 commit
  7. 10 Apr, 2017 2 commits
  8. 15 Apr, 2016 1 commit
  9. 16 Mar, 2016 28 commits