LoginSignup
3
1

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

More than 5 years have passed since last update.

@S-YOU

Crystalコンパイラを改造して必要な部分だけを生成させる

Last updated at Posted at 2018-05-04

Crystal コンパイラを改造してチューニングしたら、５万行ぐらいから百数行ぐらいになった！！ヤった！

Hello Crystal DPDK to LLVM IR (100ish lines)


require "../src/dpdk"

class Hello < Dpdk
  def hello_thread
    printf("Hello from lcore: %d\n", rte_lcore_id)
  end

  def main(argc, argv)
    rte_eal_init(argc, argv)
    rte_eal_mp_remote_launch(hello_thread)
    rte_eal_mp_wait_lcore
  end
end

Hello.run

# # Run the program
# # sudo build/hello

Output

% sudo build/hello
EAL: Detected 8 lcore(s)
EAL: Multi-process socket /var/run/.rte_unix
EAL: Probing VFIO support...
EAL: PCI device 0000:00:03.0 on NUMA socket -1
EAL:   Invalid NUMA socket, default to 0
EAL:   probe driver: 8086:100e net_e1000_em
EAL: PCI device 0000:00:08.0 on NUMA socket -1
EAL:   Invalid NUMA socket, default to 0
EAL:   probe driver: 8086:100e net_e1000_em
EAL: PCI device 0000:00:09.0 on NUMA socket -1
EAL:   Invalid NUMA socket, default to 0
EAL:   probe driver: 8086:100e net_e1000_em
EAL: PCI device 0000:00:0a.0 on NUMA socket -1
EAL:   Invalid NUMA socket, default to 0
EAL:   probe driver: 8086:100e net_e1000_em
EAL: PCI device 0000:00:10.0 on NUMA socket -1
EAL:   Invalid NUMA socket, default to 0
EAL:   probe driver: 8086:100e net_e1000_em
EAL: PCI device 0000:00:11.0 on NUMA socket -1
EAL:   Invalid NUMA socket, default to 0
EAL:   probe driver: 8086:100e net_e1000_em
EAL: PCI device 0000:00:12.0 on NUMA socket -1
EAL:   Invalid NUMA socket, default to 0
EAL:   probe driver: 8086:100e net_e1000_em
EAL: PCI device 0000:00:13.0 on NUMA socket -1
EAL:   Invalid NUMA socket, default to 0
EAL:   probe driver: 8086:100e net_e1000_em
Hello from lcore: 1
Hello from lcore: 3
Hello from lcore: 4
Hello from lcore: 2
Hello from lcore: 5
Hello from lcore: 6
Hello from lcore: 7
Hello from lcore: 0

LLVM-IR


; ModuleID = 'main_module'
source_filename = "main_module"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-linux-gnu"

%Hello = type { i32 }

@ARGC_UNSAFE = internal unnamed_addr global i32 0
@ARGV_UNSAFE = internal unnamed_addr global i8** null
@"Hello::instance" = local_unnamed_addr global %Hello* null
@"'Error with EAL init...'" = private constant { i32, i32, i32, [31 x i8] } { i32 1, i32 30, i32 30, [31 x i8] c"Error with EAL initialization\0A\00" }
@"'Hello from lcore: %...'" = private constant { i32, i32, i32, [22 x i8] } { i32 1, i32 21, i32 21, [22 x i8] c"Hello from lcore: %d\0A\00" }
@per_lcore__lcore_id = external thread_local local_unnamed_addr global i32

define void @__crystal_main(i32 %argc, i8** %argv) local_unnamed_addr {
alloca:
  store i32 %argc, i32* @ARGC_UNSAFE, align 4
  store i8** %argv, i8*** @ARGV_UNSAFE, align 8
  %0 = load %Hello*, %Hello** @"Hello::instance", align 8
  %1 = icmp eq %Hello* %0, null
  br i1 %1, label %else.i.i, label %"*Hello::instance:Hello.exit.i"

else.i.i:                                         ; preds = %alloca
  %2 = tail call i8* @malloc(i64 4) #0
  %3 = bitcast i8* %2 to i32*
  store i32 137, i32* %3, align 4
  store i8* %2, i8** bitcast (%Hello** @"Hello::instance" to i8**), align 8
  br label %"*Hello::instance:Hello.exit.i"

"*Hello::instance:Hello.exit.i":                  ; preds = %else.i.i, %alloca
  %4 = tail call i32 @rte_eal_init(i32 %argc, i8** %argv)
  %5 = icmp slt i32 %4, 0
  br i1 %5, label %then.i.i, label %"*Hello::run:Nil.exit"

then.i.i:                                         ; preds = %"*Hello::instance:Hello.exit.i"
  tail call void (i32, i8*, ...) @rte_exit(i32 1, i8* getelementptr inbounds ({ i32, i32, i32, [31 x i8] }, { i32, i32, i32, [31 x i8] }* @"'Error with EAL init...'", i64 0, i32 3, i64 0))
  unreachable

"*Hello::run:Nil.exit":                           ; preds = %"*Hello::instance:Hello.exit.i"
  %6 = tail call i32 @rte_eal_mp_remote_launch(i32 (i8*)* nonnull @"~procProc(Pointer(Void), Int32)@examples.hello.cr:10", i8* null, i32 1)
  tail call void @rte_eal_mp_wait_lcore()
  ret void
}

; Function Attrs: nounwind
declare i32 @printf(i8* nocapture readonly, ...) local_unnamed_addr #0

; Function Attrs: norecurse nounwind readnone uwtable
define void @__crystal_sigfault_handler(i32 %sig, i8* nocapture %addr) local_unnamed_addr #1 {
entry:
  ret void
}

; Function Attrs: uwtable
define i32 @main(i32 %argc, i8** %argv) local_unnamed_addr #2 {
entry:
  store i32 %argc, i32* @ARGC_UNSAFE, align 4
  store i8** %argv, i8*** @ARGV_UNSAFE, align 8
  %0 = load %Hello*, %Hello** @"Hello::instance", align 8
  %1 = icmp eq %Hello* %0, null
  br i1 %1, label %else.i.i.i.i.i, label %"*Hello::instance:Hello.exit.i.i.i.i"

else.i.i.i.i.i:                                   ; preds = %entry
  %2 = tail call i8* @malloc(i64 4) #0
  %3 = bitcast i8* %2 to i32*
  store i32 137, i32* %3, align 4
  store i8* %2, i8** bitcast (%Hello** @"Hello::instance" to i8**), align 8
  br label %"*Hello::instance:Hello.exit.i.i.i.i"

"*Hello::instance:Hello.exit.i.i.i.i":            ; preds = %else.i.i.i.i.i, %entry
  %4 = tail call i32 @rte_eal_init(i32 %argc, i8** %argv)
  %5 = icmp slt i32 %4, 0
  br i1 %5, label %then.i.i.i.i.i, label %"*Crystal::main<Int32, Pointer(Pointer(UInt8))>:Int32.exit"

then.i.i.i.i.i:                                   ; preds = %"*Hello::instance:Hello.exit.i.i.i.i"
  tail call void (i32, i8*, ...) @rte_exit(i32 1, i8* getelementptr inbounds ({ i32, i32, i32, [31 x i8] }, { i32, i32, i32, [31 x i8] }* @"'Error with EAL init...'", i64 0, i32 3, i64 0))
  unreachable

"*Crystal::main<Int32, Pointer(Pointer(UInt8))>:Int32.exit": ; preds = %"*Hello::instance:Hello.exit.i.i.i.i"
  %6 = tail call i32 @rte_eal_mp_remote_launch(i32 (i8*)* nonnull @"~procProc(Pointer(Void), Int32)@examples.hello.cr:10", i8* null, i32 1)
  tail call void @rte_eal_mp_wait_lcore()
  ret i32 0
}

; Function Attrs: nounwind
declare noalias i8* @malloc(i64) local_unnamed_addr #0

declare i32 @rte_eal_init(i32, i8**) local_unnamed_addr

; Function Attrs: noreturn
declare void @rte_exit(i32, i8*, ...) local_unnamed_addr #3

; Function Attrs: nounwind uwtable
define internal i32 @"~procProc(Pointer(Void), Int32)@examples.hello.cr:10"(i8* nocapture readnone %_arg) #4 {
entry:
  %0 = load %Hello*, %Hello** @"Hello::instance", align 8
  %1 = icmp eq %Hello* %0, null
  br i1 %1, label %else.i, label %"*Hello::instance:Hello.exit"

else.i:                                           ; preds = %entry
  %2 = tail call i8* @malloc(i64 4) #0
  %3 = bitcast i8* %2 to i32*
  store i32 137, i32* %3, align 4
  store i8* %2, i8** bitcast (%Hello** @"Hello::instance" to i8**), align 8
  br label %"*Hello::instance:Hello.exit"

"*Hello::instance:Hello.exit":                    ; preds = %entry, %else.i
  %4 = load i32, i32* @per_lcore__lcore_id, align 4
  %5 = tail call i32 (i8*, ...) @printf(i8* getelementptr inbounds ({ i32, i32, i32, [22 x i8] }, { i32, i32, i32, [22 x i8] }* @"'Hello from lcore: %...'", i64 0, i32 3, i64 0), i32 %4) #0
  ret i32 0
}

declare i32 @rte_eal_mp_remote_launch(i32 (i8*)*, i8*, i32) local_unnamed_addr

declare void @rte_eal_mp_wait_lcore() local_unnamed_addr

; Function Attrs: nounwind
declare void @llvm.stackprotector(i8*, i8**) #0

attributes #0 = { nounwind }
attributes #1 = { norecurse nounwind readnone uwtable }
attributes #2 = { uwtable }
attributes #3 = { noreturn }
attributes #4 = { nounwind uwtable }

やったこと
GC，例外処理、Fiber,Threadなどを全て削除し、Cと同じレベルに落とした。

おまけにCallgraphも読めるようになった。
callgraph.f.png

3
1
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
Sign upLogin
3
1

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?