Unsupported remote JIT on ARM
authorRenato Golin <renato.golin@linaro.org>
Sat, 18 May 2013 19:42:07 +0000 (19:42 +0000)
committerRenato Golin <renato.golin@linaro.org>
Sat, 18 May 2013 19:42:07 +0000 (19:42 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182201 91177308-0d34-0410-b5e6-96231b3b80d8

16 files changed:
test/ExecutionEngine/MCJIT/lit.local.cfg
test/ExecutionEngine/MCJIT/remote/lit.local.cfg [new file with mode: 0644]
test/ExecutionEngine/MCJIT/remote/simpletest-remote.ll [new file with mode: 0644]
test/ExecutionEngine/MCJIT/remote/stubs-remote.ll [new file with mode: 0644]
test/ExecutionEngine/MCJIT/remote/test-common-symbols-remote.ll [new file with mode: 0644]
test/ExecutionEngine/MCJIT/remote/test-data-align-remote.ll [new file with mode: 0644]
test/ExecutionEngine/MCJIT/remote/test-fp-no-external-funcs-remote.ll [new file with mode: 0644]
test/ExecutionEngine/MCJIT/remote/test-global-init-nonzero-remote.ll [new file with mode: 0644]
test/ExecutionEngine/MCJIT/remote/test-ptr-reloc-remote.ll [new file with mode: 0644]
test/ExecutionEngine/MCJIT/simpletest-remote.ll [deleted file]
test/ExecutionEngine/MCJIT/stubs-remote.ll [deleted file]
test/ExecutionEngine/MCJIT/test-common-symbols-remote.ll [deleted file]
test/ExecutionEngine/MCJIT/test-data-align-remote.ll [deleted file]
test/ExecutionEngine/MCJIT/test-fp-no-external-funcs-remote.ll [deleted file]
test/ExecutionEngine/MCJIT/test-global-init-nonzero-remote.ll [deleted file]
test/ExecutionEngine/MCJIT/test-ptr-reloc-remote.ll [deleted file]

index 30ed4e87e6c2f32dc650a7bab7fa1a25522ad66e..9f0552a50f0dc87be7f7d1ca11f2b7c900ec02f7 100644 (file)
@@ -18,6 +18,9 @@ if root.host_arch not in ['i386', 'x86', 'x86_64',
                           'AArch64', 'ARM', 'Mips', 'PowerPC', 'SystemZ']:
     config.unsupported = True
 
+if 'armv7' in root.host_arch:
+    config.unsupported = False
+
 if 'i386-apple-darwin'  in root.target_triple:
     config.unsupported = True
 
diff --git a/test/ExecutionEngine/MCJIT/remote/lit.local.cfg b/test/ExecutionEngine/MCJIT/remote/lit.local.cfg
new file mode 100644 (file)
index 0000000..12fcda0
--- /dev/null
@@ -0,0 +1,11 @@
+config.suffixes = ['.ll', '.c', '.cpp']
+
+def getRoot(config):
+    if not config.parent:
+        return config
+    return getRoot(config.parent)
+
+root = getRoot(config)
+
+if 'arm' in root.target_triple:
+    config.unsupported = True
diff --git a/test/ExecutionEngine/MCJIT/remote/simpletest-remote.ll b/test/ExecutionEngine/MCJIT/remote/simpletest-remote.ll
new file mode 100644 (file)
index 0000000..bdd7e3a
--- /dev/null
@@ -0,0 +1,11 @@
+; RUN: %lli_mcjit -remote-mcjit %s > /dev/null
+; XFAIL: arm, mips
+
+define i32 @bar() {
+       ret i32 0
+}
+
+define i32 @main() {
+       %r = call i32 @bar( )           ; <i32> [#uses=1]
+       ret i32 %r
+}
diff --git a/test/ExecutionEngine/MCJIT/remote/stubs-remote.ll b/test/ExecutionEngine/MCJIT/remote/stubs-remote.ll
new file mode 100644 (file)
index 0000000..15cb5d0
--- /dev/null
@@ -0,0 +1,36 @@
+; RUN: %lli_mcjit -remote-mcjit -disable-lazy-compilation=false %s
+; XFAIL: arm, mips
+
+define i32 @main() nounwind {
+entry:
+       call void @lazily_compiled_address_is_consistent()
+       ret i32 0
+}
+
+; Test PR3043: @test should have the same address before and after
+; it's JIT-compiled.
+@funcPtr = common global i1 ()* null, align 4
+@lcaic_failure = internal constant [46 x i8] c"@lazily_compiled_address_is_consistent failed\00"
+
+define void @lazily_compiled_address_is_consistent() nounwind {
+entry:
+       store i1 ()* @test, i1 ()** @funcPtr
+       %pass = tail call i1 @test()            ; <i32> [#uses=1]
+       br i1 %pass, label %pass_block, label %fail_block
+pass_block:
+       ret void
+fail_block:
+       call i32 @puts(i8* getelementptr([46 x i8]* @lcaic_failure, i32 0, i32 0))
+       call void @exit(i32 1)
+       unreachable
+}
+
+define i1 @test() nounwind {
+entry:
+       %tmp = load i1 ()** @funcPtr
+       %eq = icmp eq i1 ()* %tmp, @test
+       ret i1 %eq
+}
+
+declare i32 @puts(i8*) noreturn
+declare void @exit(i32) noreturn
diff --git a/test/ExecutionEngine/MCJIT/remote/test-common-symbols-remote.ll b/test/ExecutionEngine/MCJIT/remote/test-common-symbols-remote.ll
new file mode 100644 (file)
index 0000000..a336c01
--- /dev/null
@@ -0,0 +1,89 @@
+; RUN: %lli_mcjit -remote-mcjit -O0 -disable-lazy-compilation=false %s
+; XFAIL: arm, mips
+
+; The intention of this test is to verify that symbols mapped to COMMON in ELF
+; work as expected.
+;
+; Compiled from this C code:
+;
+; int zero_int;
+; double zero_double;
+; int zero_arr[10];
+;
+; int main()
+; {
+;     zero_arr[zero_int + 5] = 40;
+;
+;     if (zero_double < 1.0)
+;         zero_arr[zero_int + 2] = 70;
+;
+;     for (int i = 1; i < 10; ++i) {
+;         zero_arr[i] = zero_arr[i - 1] + zero_arr[i];
+;     }
+;     return zero_arr[9] == 110 ? 0 : -1;
+; }
+
+@zero_int = common global i32 0, align 4
+@zero_arr = common global [10 x i32] zeroinitializer, align 16
+@zero_double = common global double 0.000000e+00, align 8
+
+define i32 @main() nounwind {
+entry:
+  %retval = alloca i32, align 4
+  %i = alloca i32, align 4
+  store i32 0, i32* %retval
+  %0 = load i32* @zero_int, align 4
+  %add = add nsw i32 %0, 5
+  %idxprom = sext i32 %add to i64
+  %arrayidx = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom
+  store i32 40, i32* %arrayidx, align 4
+  %1 = load double* @zero_double, align 8
+  %cmp = fcmp olt double %1, 1.000000e+00
+  br i1 %cmp, label %if.then, label %if.end
+
+if.then:                                          ; preds = %entry
+  %2 = load i32* @zero_int, align 4
+  %add1 = add nsw i32 %2, 2
+  %idxprom2 = sext i32 %add1 to i64
+  %arrayidx3 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom2
+  store i32 70, i32* %arrayidx3, align 4
+  br label %if.end
+
+if.end:                                           ; preds = %if.then, %entry
+  store i32 1, i32* %i, align 4
+  br label %for.cond
+
+for.cond:                                         ; preds = %for.inc, %if.end
+  %3 = load i32* %i, align 4
+  %cmp4 = icmp slt i32 %3, 10
+  br i1 %cmp4, label %for.body, label %for.end
+
+for.body:                                         ; preds = %for.cond
+  %4 = load i32* %i, align 4
+  %sub = sub nsw i32 %4, 1
+  %idxprom5 = sext i32 %sub to i64
+  %arrayidx6 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom5
+  %5 = load i32* %arrayidx6, align 4
+  %6 = load i32* %i, align 4
+  %idxprom7 = sext i32 %6 to i64
+  %arrayidx8 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom7
+  %7 = load i32* %arrayidx8, align 4
+  %add9 = add nsw i32 %5, %7
+  %8 = load i32* %i, align 4
+  %idxprom10 = sext i32 %8 to i64
+  %arrayidx11 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom10
+  store i32 %add9, i32* %arrayidx11, align 4
+  br label %for.inc
+
+for.inc:                                          ; preds = %for.body
+  %9 = load i32* %i, align 4
+  %inc = add nsw i32 %9, 1
+  store i32 %inc, i32* %i, align 4
+  br label %for.cond
+
+for.end:                                          ; preds = %for.cond
+  %10 = load i32* getelementptr inbounds ([10 x i32]* @zero_arr, i32 0, i64 9), align 4
+  %cmp12 = icmp eq i32 %10, 110
+  %cond = select i1 %cmp12, i32 0, i32 -1
+  ret i32 %cond
+}
diff --git a/test/ExecutionEngine/MCJIT/remote/test-data-align-remote.ll b/test/ExecutionEngine/MCJIT/remote/test-data-align-remote.ll
new file mode 100644 (file)
index 0000000..9daf168
--- /dev/null
@@ -0,0 +1,16 @@
+; RUN:  %lli_mcjit -remote-mcjit -O0 %s
+; XFAIL: armv7, mips
+
+; Check that a variable is always aligned as specified.
+
+@var = global i32 0, align 32
+define i32 @main() {
+  %addr = ptrtoint i32* @var to i64
+  %mask = and i64 %addr, 31
+  %tst = icmp eq i64 %mask, 0
+  br i1 %tst, label %good, label %bad
+good:
+  ret i32 0
+bad:
+  ret i32 1
+}
diff --git a/test/ExecutionEngine/MCJIT/remote/test-fp-no-external-funcs-remote.ll b/test/ExecutionEngine/MCJIT/remote/test-fp-no-external-funcs-remote.ll
new file mode 100644 (file)
index 0000000..c7d4812
--- /dev/null
@@ -0,0 +1,21 @@
+; RUN: %lli_mcjit -remote-mcjit %s > /dev/null
+; XFAIL: arm, mips
+
+define double @test(double* %DP, double %Arg) {
+       %D = load double* %DP           ; <double> [#uses=1]
+       %V = fadd double %D, 1.000000e+00               ; <double> [#uses=2]
+       %W = fsub double %V, %V         ; <double> [#uses=3]
+       %X = fmul double %W, %W         ; <double> [#uses=2]
+       %Y = fdiv double %X, %X         ; <double> [#uses=2]
+       %Q = fadd double %Y, %Arg               ; <double> [#uses=1]
+       %R = bitcast double %Q to double                ; <double> [#uses=1]
+       store double %Q, double* %DP
+       ret double %Y
+}
+
+define i32 @main() {
+       %X = alloca double              ; <double*> [#uses=2]
+       store double 0.000000e+00, double* %X
+       call double @test( double* %X, double 2.000000e+00 )            ; <double>:1 [#uses=0]
+       ret i32 0
+}
diff --git a/test/ExecutionEngine/MCJIT/remote/test-global-init-nonzero-remote.ll b/test/ExecutionEngine/MCJIT/remote/test-global-init-nonzero-remote.ll
new file mode 100644 (file)
index 0000000..b8d94b5
--- /dev/null
@@ -0,0 +1,35 @@
+; RUN: %lli_mcjit -remote-mcjit %s > /dev/null
+; XFAIL: arm, mips
+
+@count = global i32 1, align 4
+
+define i32 @main() nounwind uwtable {
+entry:
+  %retval = alloca i32, align 4
+  %i = alloca i32, align 4
+  store i32 0, i32* %retval
+  store i32 0, i32* %i, align 4
+  br label %for.cond
+
+for.cond:                                         ; preds = %for.inc, %entry
+  %0 = load i32* %i, align 4
+  %cmp = icmp slt i32 %0, 49
+  br i1 %cmp, label %for.body, label %for.end
+
+for.body:                                         ; preds = %for.cond
+  %1 = load i32* @count, align 4
+  %inc = add nsw i32 %1, 1
+  store i32 %inc, i32* @count, align 4
+  br label %for.inc
+
+for.inc:                                          ; preds = %for.body
+  %2 = load i32* %i, align 4
+  %inc1 = add nsw i32 %2, 1
+  store i32 %inc1, i32* %i, align 4
+  br label %for.cond
+
+for.end:                                          ; preds = %for.cond
+  %3 = load i32* @count, align 4
+  %sub = sub nsw i32 %3, 50
+  ret i32 %sub
+}
diff --git a/test/ExecutionEngine/MCJIT/remote/test-ptr-reloc-remote.ll b/test/ExecutionEngine/MCJIT/remote/test-ptr-reloc-remote.ll
new file mode 100644 (file)
index 0000000..833a56a
--- /dev/null
@@ -0,0 +1,16 @@
+; RUN: %lli_mcjit -remote-mcjit -O0 %s
+; XFAIL: arm, mips
+
+@.str = private unnamed_addr constant [6 x i8] c"data1\00", align 1
+@ptr = global i8* getelementptr inbounds ([6 x i8]* @.str, i32 0, i32 0), align 4
+@.str1 = private unnamed_addr constant [6 x i8] c"data2\00", align 1
+@ptr2 = global i8* getelementptr inbounds ([6 x i8]* @.str1, i32 0, i32 0), align 4
+
+define i32 @main(i32 %argc, i8** nocapture %argv) nounwind readonly {
+entry:
+  %0 = load i8** @ptr, align 4
+  %1 = load i8** @ptr2, align 4
+  %cmp = icmp eq i8* %0, %1
+  %. = zext i1 %cmp to i32
+  ret i32 %.
+}
diff --git a/test/ExecutionEngine/MCJIT/simpletest-remote.ll b/test/ExecutionEngine/MCJIT/simpletest-remote.ll
deleted file mode 100644 (file)
index 9ceaf54..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-; RUN: %lli_mcjit -remote-mcjit %s > /dev/null
-; XFAIL: arm, mips
-
-define i32 @bar() {
-       ret i32 0
-}
-
-define i32 @main() {
-       %r = call i32 @bar( )           ; <i32> [#uses=1]
-       ret i32 %r
-}
-
diff --git a/test/ExecutionEngine/MCJIT/stubs-remote.ll b/test/ExecutionEngine/MCJIT/stubs-remote.ll
deleted file mode 100644 (file)
index 15cb5d0..0000000
+++ /dev/null
@@ -1,36 +0,0 @@
-; RUN: %lli_mcjit -remote-mcjit -disable-lazy-compilation=false %s
-; XFAIL: arm, mips
-
-define i32 @main() nounwind {
-entry:
-       call void @lazily_compiled_address_is_consistent()
-       ret i32 0
-}
-
-; Test PR3043: @test should have the same address before and after
-; it's JIT-compiled.
-@funcPtr = common global i1 ()* null, align 4
-@lcaic_failure = internal constant [46 x i8] c"@lazily_compiled_address_is_consistent failed\00"
-
-define void @lazily_compiled_address_is_consistent() nounwind {
-entry:
-       store i1 ()* @test, i1 ()** @funcPtr
-       %pass = tail call i1 @test()            ; <i32> [#uses=1]
-       br i1 %pass, label %pass_block, label %fail_block
-pass_block:
-       ret void
-fail_block:
-       call i32 @puts(i8* getelementptr([46 x i8]* @lcaic_failure, i32 0, i32 0))
-       call void @exit(i32 1)
-       unreachable
-}
-
-define i1 @test() nounwind {
-entry:
-       %tmp = load i1 ()** @funcPtr
-       %eq = icmp eq i1 ()* %tmp, @test
-       ret i1 %eq
-}
-
-declare i32 @puts(i8*) noreturn
-declare void @exit(i32) noreturn
diff --git a/test/ExecutionEngine/MCJIT/test-common-symbols-remote.ll b/test/ExecutionEngine/MCJIT/test-common-symbols-remote.ll
deleted file mode 100644 (file)
index 3b8ee9d..0000000
+++ /dev/null
@@ -1,89 +0,0 @@
-; RUN: %lli_mcjit -remote-mcjit -O0 -disable-lazy-compilation=false %s
-; XFAIL: arm, mips
-
-; The intention of this test is to verify that symbols mapped to COMMON in ELF
-; work as expected.
-;
-; Compiled from this C code:
-;
-; int zero_int;
-; double zero_double;
-; int zero_arr[10];
-; 
-; int main()
-; {
-;     zero_arr[zero_int + 5] = 40;
-; 
-;     if (zero_double < 1.0)
-;         zero_arr[zero_int + 2] = 70;
-; 
-;     for (int i = 1; i < 10; ++i) {
-;         zero_arr[i] = zero_arr[i - 1] + zero_arr[i];
-;     }
-;     return zero_arr[9] == 110 ? 0 : -1;
-; }
-
-@zero_int = common global i32 0, align 4
-@zero_arr = common global [10 x i32] zeroinitializer, align 16
-@zero_double = common global double 0.000000e+00, align 8
-
-define i32 @main() nounwind {
-entry:
-  %retval = alloca i32, align 4
-  %i = alloca i32, align 4
-  store i32 0, i32* %retval
-  %0 = load i32* @zero_int, align 4
-  %add = add nsw i32 %0, 5
-  %idxprom = sext i32 %add to i64
-  %arrayidx = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom
-  store i32 40, i32* %arrayidx, align 4
-  %1 = load double* @zero_double, align 8
-  %cmp = fcmp olt double %1, 1.000000e+00
-  br i1 %cmp, label %if.then, label %if.end
-
-if.then:                                          ; preds = %entry
-  %2 = load i32* @zero_int, align 4
-  %add1 = add nsw i32 %2, 2
-  %idxprom2 = sext i32 %add1 to i64
-  %arrayidx3 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom2
-  store i32 70, i32* %arrayidx3, align 4
-  br label %if.end
-
-if.end:                                           ; preds = %if.then, %entry
-  store i32 1, i32* %i, align 4
-  br label %for.cond
-
-for.cond:                                         ; preds = %for.inc, %if.end
-  %3 = load i32* %i, align 4
-  %cmp4 = icmp slt i32 %3, 10
-  br i1 %cmp4, label %for.body, label %for.end
-
-for.body:                                         ; preds = %for.cond
-  %4 = load i32* %i, align 4
-  %sub = sub nsw i32 %4, 1
-  %idxprom5 = sext i32 %sub to i64
-  %arrayidx6 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom5
-  %5 = load i32* %arrayidx6, align 4
-  %6 = load i32* %i, align 4
-  %idxprom7 = sext i32 %6 to i64
-  %arrayidx8 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom7
-  %7 = load i32* %arrayidx8, align 4
-  %add9 = add nsw i32 %5, %7
-  %8 = load i32* %i, align 4
-  %idxprom10 = sext i32 %8 to i64
-  %arrayidx11 = getelementptr inbounds [10 x i32]* @zero_arr, i32 0, i64 %idxprom10
-  store i32 %add9, i32* %arrayidx11, align 4
-  br label %for.inc
-
-for.inc:                                          ; preds = %for.body
-  %9 = load i32* %i, align 4
-  %inc = add nsw i32 %9, 1
-  store i32 %inc, i32* %i, align 4
-  br label %for.cond
-
-for.end:                                          ; preds = %for.cond
-  %10 = load i32* getelementptr inbounds ([10 x i32]* @zero_arr, i32 0, i64 9), align 4
-  %cmp12 = icmp eq i32 %10, 110
-  %cond = select i1 %cmp12, i32 0, i32 -1
-  ret i32 %cond
-}
diff --git a/test/ExecutionEngine/MCJIT/test-data-align-remote.ll b/test/ExecutionEngine/MCJIT/test-data-align-remote.ll
deleted file mode 100644 (file)
index 9daf168..0000000
+++ /dev/null
@@ -1,16 +0,0 @@
-; RUN:  %lli_mcjit -remote-mcjit -O0 %s
-; XFAIL: armv7, mips
-
-; Check that a variable is always aligned as specified.
-
-@var = global i32 0, align 32
-define i32 @main() {
-  %addr = ptrtoint i32* @var to i64
-  %mask = and i64 %addr, 31
-  %tst = icmp eq i64 %mask, 0
-  br i1 %tst, label %good, label %bad
-good:
-  ret i32 0
-bad:
-  ret i32 1
-}
diff --git a/test/ExecutionEngine/MCJIT/test-fp-no-external-funcs-remote.ll b/test/ExecutionEngine/MCJIT/test-fp-no-external-funcs-remote.ll
deleted file mode 100644 (file)
index 847d225..0000000
+++ /dev/null
@@ -1,22 +0,0 @@
-; RUN: %lli_mcjit -remote-mcjit %s > /dev/null
-; XFAIL: arm, mips
-
-define double @test(double* %DP, double %Arg) {
-       %D = load double* %DP           ; <double> [#uses=1]
-       %V = fadd double %D, 1.000000e+00               ; <double> [#uses=2]
-       %W = fsub double %V, %V         ; <double> [#uses=3]
-       %X = fmul double %W, %W         ; <double> [#uses=2]
-       %Y = fdiv double %X, %X         ; <double> [#uses=2]
-       %Q = fadd double %Y, %Arg               ; <double> [#uses=1]
-       %R = bitcast double %Q to double                ; <double> [#uses=1]
-       store double %Q, double* %DP
-       ret double %Y
-}
-
-define i32 @main() {
-       %X = alloca double              ; <double*> [#uses=2]
-       store double 0.000000e+00, double* %X
-       call double @test( double* %X, double 2.000000e+00 )            ; <double>:1 [#uses=0]
-       ret i32 0
-}
-
diff --git a/test/ExecutionEngine/MCJIT/test-global-init-nonzero-remote.ll b/test/ExecutionEngine/MCJIT/test-global-init-nonzero-remote.ll
deleted file mode 100644 (file)
index b8d94b5..0000000
+++ /dev/null
@@ -1,35 +0,0 @@
-; RUN: %lli_mcjit -remote-mcjit %s > /dev/null
-; XFAIL: arm, mips
-
-@count = global i32 1, align 4
-
-define i32 @main() nounwind uwtable {
-entry:
-  %retval = alloca i32, align 4
-  %i = alloca i32, align 4
-  store i32 0, i32* %retval
-  store i32 0, i32* %i, align 4
-  br label %for.cond
-
-for.cond:                                         ; preds = %for.inc, %entry
-  %0 = load i32* %i, align 4
-  %cmp = icmp slt i32 %0, 49
-  br i1 %cmp, label %for.body, label %for.end
-
-for.body:                                         ; preds = %for.cond
-  %1 = load i32* @count, align 4
-  %inc = add nsw i32 %1, 1
-  store i32 %inc, i32* @count, align 4
-  br label %for.inc
-
-for.inc:                                          ; preds = %for.body
-  %2 = load i32* %i, align 4
-  %inc1 = add nsw i32 %2, 1
-  store i32 %inc1, i32* %i, align 4
-  br label %for.cond
-
-for.end:                                          ; preds = %for.cond
-  %3 = load i32* @count, align 4
-  %sub = sub nsw i32 %3, 50
-  ret i32 %sub
-}
diff --git a/test/ExecutionEngine/MCJIT/test-ptr-reloc-remote.ll b/test/ExecutionEngine/MCJIT/test-ptr-reloc-remote.ll
deleted file mode 100644 (file)
index f2c2cd6..0000000
+++ /dev/null
@@ -1,17 +0,0 @@
-; RUN: %lli_mcjit -remote-mcjit -O0 %s
-; XFAIL: arm, mips
-
-@.str = private unnamed_addr constant [6 x i8] c"data1\00", align 1
-@ptr = global i8* getelementptr inbounds ([6 x i8]* @.str, i32 0, i32 0), align 4
-@.str1 = private unnamed_addr constant [6 x i8] c"data2\00", align 1
-@ptr2 = global i8* getelementptr inbounds ([6 x i8]* @.str1, i32 0, i32 0), align 4
-
-define i32 @main(i32 %argc, i8** nocapture %argv) nounwind readonly {
-entry:
-  %0 = load i8** @ptr, align 4
-  %1 = load i8** @ptr2, align 4
-  %cmp = icmp eq i8* %0, %1
-  %. = zext i1 %cmp to i32
-  ret i32 %.
-}
-