llvm-mirror/test/Other/extract-alias.ll
David Blaikie 65b92c4f37 [opaque pointer type] Add textual IR support for explicit type parameter for global aliases
update.py:
import fileinput
import sys
import re

alias_match_prefix = r"(.*(?:=|:|^)\s*(?:external |)(?:(?:private|internal|linkonce|linkonce_odr|weak|weak_odr|common|appending|extern_weak|available_externally) )?(?:default |hidden |protected )?(?:dllimport |dllexport )?(?:unnamed_addr |)(?:thread_local(?:\([a-z]*\))? )?alias"
plain = re.compile(alias_match_prefix + r" (.*?))(| addrspace\(\d+\) *)\*($| *(?:%|@|null|undef|blockaddress|addrspacecast|\[\[[a-zA-Z]|\{\{).*$)")
cast  = re.compile(alias_match_prefix + r") ((?:bitcast|inttoptr|addrspacecast)\s*\(.* to (.*?)(| addrspace\(\d+\) *)\*\)\s*(?:;.*)?$)")
gep   = re.compile(alias_match_prefix + r") ((?:getelementptr)\s*(?:inbounds)?\s*\((?P<type>.*), (?P=type)(?:\s*addrspace\(\d+\)\s*)?\* .*\)\s*(?:;.*)?$)")

def conv(line):
  m = re.match(cast, line)
  if m:
    return m.group(1) + " " + m.group(3) + ", " + m.group(2)
  m = re.match(gep, line)
  if m:
    return m.group(1) + " " + m.group(3) + ", " + m.group(2)
  m = re.match(plain, line)
  if m:
    return m.group(1) + ", " + m.group(2) + m.group(3) + "*" + m.group(4) + "\n"
  return line

for line in sys.stdin:
  sys.stdout.write(conv(line))

apply.sh:
for name in "$@"
do
  python3 `dirname "$0"`/update.py < "$name" > "$name.tmp" && mv "$name.tmp" "$name"
  rm -f "$name.tmp"
done

The actual commands:
From llvm/src:
find test/ -name *.ll | xargs ./apply.sh
From llvm/src/tools/clang:
find test/ -name *.mm -o -name *.m -o -name *.cpp -o -name *.c | xargs -I '{}' ../../apply.sh "{}"
From llvm/src/tools/polly:
find test/ -name *.ll | xargs ./apply.sh

llvm-svn: 247378
2015-09-11 03:22:04 +00:00

50 lines
1.4 KiB
LLVM

; RUN: llvm-extract -func foo -S < %s | FileCheck %s
; RUN: llvm-extract -delete -func foo -S < %s | FileCheck --check-prefix=DELETE %s
; RUN: llvm-extract -alias zeda0 -S < %s | FileCheck --check-prefix=ALIAS %s
; RUN: llvm-extract -ralias '.*bar' -S < %s | FileCheck --check-prefix=ALIASRE %s
; Both aliases should be converted to declarations
; CHECK: @zeda0 = external global i32
; CHECK: define i32* @foo() {
; CHECK-NEXT: call void @a0bar()
; CHECK-NEXT: ret i32* @zeda0
; CHECK-NEXT: }
; CHECK: declare void @a0bar()
; DELETE: @zed = global i32 0
; DELETE: @zeda0 = alias i32, i32* @zed
; DELETE-NEXT: @a0foo = alias i32* (), i32* ()* @foo
; DELETE-NEXT: @a0a0bar = alias void (), void ()* @bar
; DELETE-NEXT: @a0bar = alias void (), void ()* @bar
; DELETE: declare i32* @foo()
; DELETE: define void @bar() {
; DELETE-NEXT: %c = call i32* @foo()
; DELETE-NEXT: ret void
; DELETE-NEXT: }
; ALIAS: @zed = external global i32
; ALIAS: @zeda0 = alias i32, i32* @zed
; ALIASRE: @a0a0bar = alias void (), void ()* @bar
; ALIASRE: @a0bar = alias void (), void ()* @bar
; ALIASRE: declare void @bar()
@zed = global i32 0
@zeda0 = alias i32, i32* @zed
@a0foo = alias i32* (), i32* ()* @foo
define i32* @foo() {
call void @a0bar()
ret i32* @zeda0
}
@a0a0bar = alias void (), void ()* @bar
@a0bar = alias void (), void ()* @bar
define void @bar() {
%c = call i32* @foo()
ret void
}