xref: /llvm-project/llvm/test/ExecutionEngine/OrcLazy/printargv.ll (revision 2d56d8c4e8751c7e2cab927cdeb4e519af3f3585)
1; RUN: lli -jit-kind=orc-lazy %s a b c | FileCheck %s
2
3; CHECK: argc = 4
4; CHECK-NEXT: argv = ["{{.*}}printargv.ll", "a", "b", "c"]
5; CHECK-NEXT: argv[4] = null
6
7@.str = private unnamed_addr constant [11 x i8] c"argc = %i\0A\00", align 1
8@.str.1 = private unnamed_addr constant [9 x i8] c"argv = [\00", align 1
9@.str.3 = private unnamed_addr constant [5 x i8] c"\22%s\22\00", align 1
10@.str.4 = private unnamed_addr constant [5 x i8] c"null\00", align 1
11@.str.5 = private unnamed_addr constant [7 x i8] c", \22%s\22\00", align 1
12@.str.6 = private unnamed_addr constant [15 x i8] c"argv[%i] = %s\0A\00", align 1
13@.str.7 = private unnamed_addr constant [5 x i8] c"junk\00", align 1
14@str.8 = private unnamed_addr constant [2 x i8] c"]\00", align 1
15
16define i32 @main(i32 %argc, ptr nocapture readonly %argv)  {
17entry:
18  %call = tail call i32 (ptr, ...) @printf(ptr @.str, i32 %argc)
19  %call1 = tail call i32 (ptr, ...) @printf(ptr @.str.1)
20  %cmp = icmp eq i32 %argc, 0
21  br i1 %cmp, label %if.then, label %if.end
22
23if.then:
24  %puts36 = tail call i32 @puts(ptr @str.8)
25  br label %if.end
26
27if.end:
28  %0 = load ptr, ptr %argv, align 8
29  %tobool = icmp eq ptr %0, null
30  br i1 %tobool, label %if.else, label %if.then3
31
32if.then3:
33  %call5 = tail call i32 (ptr, ...) @printf(ptr @.str.3, ptr %0)
34  br label %if.end7
35
36if.else:
37  %call6 = tail call i32 (ptr, ...) @printf(ptr @.str.4)
38  br label %if.end7
39
40if.end7:
41  %cmp837 = icmp eq i32 %argc, 1
42  br i1 %cmp837, label %for.cond.cleanup, label %for.body.preheader
43
44for.body.preheader:
45  %1 = zext i32 %argc to i64
46  br label %for.body
47
48for.cond.cleanup:
49  %puts = tail call i32 @puts(ptr @str.8)
50  %idxprom19 = sext i32 %argc to i64
51  %arrayidx20 = getelementptr inbounds ptr, ptr %argv, i64 %idxprom19
52  %2 = load ptr, ptr %arrayidx20, align 8
53  %tobool21 = icmp eq ptr %2, null
54  %cond = select i1 %tobool21, ptr @.str.4, ptr @.str.7
55  %call22 = tail call i32 (ptr, ...) @printf(ptr @.str.6, i32 %argc, ptr %cond)
56  ret i32 0
57
58for.body:
59  %indvars.iv = phi i64 [ 1, %for.body.preheader ], [ %indvars.iv.next, %for.inc ]
60  %arrayidx9 = getelementptr inbounds ptr, ptr %argv, i64 %indvars.iv
61  %3 = load ptr, ptr %arrayidx9, align 8
62  %tobool10 = icmp eq ptr %3, null
63  br i1 %tobool10, label %if.else15, label %if.then11
64
65if.then11:
66  %call14 = tail call i32 (ptr, ...) @printf(ptr @.str.5, ptr %3)
67  br label %for.inc
68
69if.else15:
70  %call16 = tail call i32 (ptr, ...) @printf(ptr @.str.4)
71  br label %for.inc
72
73for.inc:
74  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
75  %cmp8 = icmp eq i64 %indvars.iv.next, %1
76  br i1 %cmp8, label %for.cond.cleanup, label %for.body
77}
78
79declare i32 @printf(ptr nocapture readonly, ...)
80
81declare i32 @puts(ptr nocapture readonly)
82