diff 2013/old/factorial.ll @ 0:845ff8ff4fc9

1st
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Tue, 14 Jan 2014 01:31:42 +0900
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/2013/old/factorial.ll	Tue Jan 14 01:31:42 2014 +0900
@@ -0,0 +1,97 @@
+; ModuleID = 'factorial/factorial.c'
+target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
+target triple = "x86_64-apple-macosx10.8.0"
+
+@.str = private unnamed_addr constant [16 x i8] c"factorial = %d\0A\00", align 1
+
+; Function Attrs: noreturn nounwind ssp uwtable
+define fastcc void @print_factorial(i32 %prod) #0 {
+entry:
+  %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([16 x i8]* @.str, i64 0, i64 0), i32 %prod) #5
+  call void @exit(i32 0) #6
+  unreachable
+}
+
+; Function Attrs: nounwind
+declare i32 @printf(i8* nocapture, ...) #1
+
+; Function Attrs: noreturn
+declare void @exit(i32) #2
+
+; Function Attrs: nounwind ssp uwtable
+define fastcc void @factorial0(i32 %prod, i32 %x) #3 {
+entry:
+  %cmp4 = icmp sgt i32 %x, 0
+  br i1 %cmp4, label %return, label %if.else
+
+if.else:                                          ; preds = %return, %entry
+  %prod.tr.lcssa = phi i32 [ %prod, %entry ], [ %mul, %return ]
+  tail call fastcc void @print_factorial(i32 %prod.tr.lcssa)
+  unreachable
+
+return:                                           ; preds = %entry, %return
+  %x.tr6 = phi i32 [ %sub, %return ], [ %x, %entry ]
+  %prod.tr5 = phi i32 [ %mul, %return ], [ %prod, %entry ]
+  %mul = mul nsw i32 %x.tr6, %prod.tr5
+  %sub = add nsw i32 %x.tr6, -1
+  %cmp = icmp sgt i32 %sub, 0
+  br i1 %cmp, label %return, label %if.else
+}
+
+; Function Attrs: nounwind ssp uwtable
+define fastcc void @factorial(i32 %x) #3 {
+entry:
+  %cmp4.i = icmp sgt i32 %x, 0
+  br i1 %cmp4.i, label %return.i, label %if.else.i
+
+if.else.i:                                        ; preds = %return.i, %entry
+  %prod.tr.lcssa.i = phi i32 [ 1, %entry ], [ %mul.i, %return.i ]
+  tail call fastcc void @print_factorial(i32 %prod.tr.lcssa.i) #5
+  unreachable
+
+return.i:                                         ; preds = %entry, %return.i
+  %x.tr6.i = phi i32 [ %sub.i, %return.i ], [ %x, %entry ]
+  %prod.tr5.i = phi i32 [ %mul.i, %return.i ], [ 1, %entry ]
+  %mul.i = mul nsw i32 %prod.tr5.i, %x.tr6.i
+  %sub.i = add nsw i32 %x.tr6.i, -1
+  %cmp.i = icmp sgt i32 %sub.i, 0
+  br i1 %cmp.i, label %return.i, label %if.else.i
+}
+
+; Function Attrs: nounwind ssp uwtable
+define i32 @main(i32 %argc, i8** nocapture %argv) #3 {
+entry:
+  %arrayidx = getelementptr inbounds i8** %argv, i64 1
+  %0 = load i8** %arrayidx, align 8, !tbaa !0
+  %call = call i32 @atoi(i8* %0) #5
+  %cmp4.i.i = icmp sgt i32 %call, 0
+  br i1 %cmp4.i.i, label %return.i.i, label %if.else.i.i
+
+if.else.i.i:                                      ; preds = %return.i.i, %entry
+  %prod.tr.lcssa.i.i = phi i32 [ 1, %entry ], [ %mul.i.i, %return.i.i ]
+  tail call fastcc void @print_factorial(i32 %prod.tr.lcssa.i.i) #5
+  unreachable
+
+return.i.i:                                       ; preds = %entry, %return.i.i
+  %x.tr6.i.i = phi i32 [ %sub.i.i, %return.i.i ], [ %call, %entry ]
+  %prod.tr5.i.i = phi i32 [ %mul.i.i, %return.i.i ], [ 1, %entry ]
+  %mul.i.i = mul nsw i32 %prod.tr5.i.i, %x.tr6.i.i
+  %sub.i.i = add nsw i32 %x.tr6.i.i, -1
+  %cmp.i.i = icmp sgt i32 %sub.i.i, 0
+  br i1 %cmp.i.i, label %return.i.i, label %if.else.i.i
+}
+
+; Function Attrs: nounwind readonly
+declare i32 @atoi(i8* nocapture) #4
+
+attributes #0 = { noreturn nounwind ssp uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }
+attributes #1 = { nounwind "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }
+attributes #2 = { noreturn "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }
+attributes #3 = { nounwind ssp uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }
+attributes #4 = { nounwind readonly "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }
+attributes #5 = { nounwind }
+attributes #6 = { noreturn nounwind }
+
+!0 = metadata !{metadata !"any pointer", metadata !1}
+!1 = metadata !{metadata !"omnipotent char", metadata !2}
+!2 = metadata !{metadata !"Simple C/C++ TBAA"}