aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms/NaCl/expand-i64.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Transforms/NaCl/expand-i64.ll')
-rw-r--r--test/Transforms/NaCl/expand-i64.ll272
1 files changed, 272 insertions, 0 deletions
diff --git a/test/Transforms/NaCl/expand-i64.ll b/test/Transforms/NaCl/expand-i64.ll
new file mode 100644
index 0000000000..2997264058
--- /dev/null
+++ b/test/Transforms/NaCl/expand-i64.ll
@@ -0,0 +1,272 @@
+; RUN: opt -S -expand-illegal-ints < %s | FileCheck %s
+
+target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:32"
+
+; CHECK: define i32 @add(i32, i32, i32, i32) {
+; CHECK: %5 = call i32 @i64Add(i32 %0, i32 %1, i32 %2, i32 %3)
+; CHECK: %6 = call i32 @getHigh32()
+; CHECK: call void @setHigh32(i32 %6)
+; CHECK: ret i32 %5
+; CHECK: }
+define i64 @add(i64 %a, i64 %b) {
+ %c = add i64 %a, %b
+ ret i64 %c
+}
+
+; CHECK: define i32 @sub(i32, i32, i32, i32) {
+; CHECK: %5 = call i32 @i64Subtract(i32 %0, i32 %1, i32 %2, i32 %3)
+; CHECK: %6 = call i32 @getHigh32()
+; CHECK: call void @setHigh32(i32 %6)
+; CHECK: ret i32 %5
+; CHECK: }
+define i64 @sub(i64 %a, i64 %b) {
+ %c = sub i64 %a, %b
+ ret i64 %c
+}
+
+; CHECK: define i32 @mul(i32, i32, i32, i32) {
+; CHECK: %5 = call i32 @__muldi3(i32 %0, i32 %1, i32 %2, i32 %3)
+; CHECK: %6 = call i32 @getHigh32()
+; CHECK: call void @setHigh32(i32 %6)
+; CHECK: ret i32 %5
+; CHECK: }
+define i64 @mul(i64 %a, i64 %b) {
+ %c = mul i64 %a, %b
+ ret i64 %c
+}
+
+; CHECK: define i32 @sdiv(i32, i32, i32, i32) {
+; CHECK: %5 = call i32 @__divdi3(i32 %0, i32 %1, i32 %2, i32 %3)
+; CHECK: %6 = call i32 @getHigh32()
+; CHECK: call void @setHigh32(i32 %6)
+; CHECK: ret i32 %5
+; CHECK: }
+define i64 @sdiv(i64 %a, i64 %b) {
+ %c = sdiv i64 %a, %b
+ ret i64 %c
+}
+
+; CHECK: define i32 @udiv(i32, i32, i32, i32) {
+; CHECK: %5 = call i32 @__udivdi3(i32 %0, i32 %1, i32 %2, i32 %3)
+; CHECK: %6 = call i32 @getHigh32()
+; CHECK: call void @setHigh32(i32 %6)
+; CHECK: ret i32 %5
+; CHECK: }
+define i64 @udiv(i64 %a, i64 %b) {
+ %c = udiv i64 %a, %b
+ ret i64 %c
+}
+
+; CHECK: define i32 @srem(i32, i32, i32, i32) {
+; CHECK: %5 = call i32 @__remdi3(i32 %0, i32 %1, i32 %2, i32 %3)
+; CHECK: %6 = call i32 @getHigh32()
+; CHECK: call void @setHigh32(i32 %6)
+; CHECK: ret i32 %5
+; CHECK: }
+define i64 @srem(i64 %a, i64 %b) {
+ %c = srem i64 %a, %b
+ ret i64 %c
+}
+
+; CHECK: define i32 @urem(i32, i32, i32, i32) {
+; CHECK: %5 = call i32 @__uremdi3(i32 %0, i32 %1, i32 %2, i32 %3)
+; CHECK: %6 = call i32 @getHigh32()
+; CHECK: call void @setHigh32(i32 %6)
+; CHECK: ret i32 %5
+; CHECK: }
+define i64 @urem(i64 %a, i64 %b) {
+ %c = urem i64 %a, %b
+ ret i64 %c
+}
+
+; CHECK: define i32 @and(i32, i32, i32, i32) {
+; CHECK: %5 = and i32 %0, %2
+; CHECK: %6 = and i32 %1, %3
+; CHECK: call void @setHigh32(i32 %6)
+; CHECK: ret i32 %5
+; CHECK: }
+define i64 @and(i64 %a, i64 %b) {
+ %c = and i64 %a, %b
+ ret i64 %c
+}
+
+; CHECK: define i32 @or(i32, i32, i32, i32) {
+; CHECK: %5 = or i32 %0, %2
+; CHECK: %6 = or i32 %1, %3
+; CHECK: call void @setHigh32(i32 %6)
+; CHECK: ret i32 %5
+; CHECK: }
+define i64 @or(i64 %a, i64 %b) {
+ %c = or i64 %a, %b
+ ret i64 %c
+}
+
+; CHECK: define i32 @xor(i32, i32, i32, i32) {
+; CHECK: %5 = xor i32 %0, %2
+; CHECK: %6 = xor i32 %1, %3
+; CHECK: call void @setHigh32(i32 %6)
+; CHECK: ret i32 %5
+; CHECK: }
+define i64 @xor(i64 %a, i64 %b) {
+ %c = xor i64 %a, %b
+ ret i64 %c
+}
+
+; CHECK: define i32 @lshr(i32, i32, i32, i32) {
+; CHECK: %5 = call i32 @bitshift64Lshr(i32 %0, i32 %1, i32 %2, i32 %3)
+; CHECK: %6 = call i32 @getHigh32()
+; CHECK: call void @setHigh32(i32 %6)
+; CHECK: ret i32 %5
+; CHECK: }
+define i64 @lshr(i64 %a, i64 %b) {
+ %c = lshr i64 %a, %b
+ ret i64 %c
+}
+
+; CHECK: define i32 @ashr(i32, i32, i32, i32) {
+; CHECK: %5 = call i32 @bitshift64Ashr(i32 %0, i32 %1, i32 %2, i32 %3)
+; CHECK: %6 = call i32 @getHigh32()
+; CHECK: call void @setHigh32(i32 %6)
+; CHECK: ret i32 %5
+; CHECK: }
+define i64 @ashr(i64 %a, i64 %b) {
+ %c = ashr i64 %a, %b
+ ret i64 %c
+}
+
+; CHECK: define i32 @shl(i32, i32, i32, i32) {
+; CHECK: %5 = call i32 @bitshift64Shl(i32 %0, i32 %1, i32 %2, i32 %3)
+; CHECK: %6 = call i32 @getHigh32()
+; CHECK: call void @setHigh32(i32 %6)
+; CHECK: ret i32 %5
+; CHECK: }
+define i64 @shl(i64 %a, i64 %b) {
+ %c = shl i64 %a, %b
+ ret i64 %c
+}
+
+
+; CHECK: define i32 @icmp_eq(i32, i32, i32, i32) {
+; CHECK: %5 = icmp eq i32 %0, %2
+; CHECK: %6 = icmp eq i32 %1, %3
+; CHECK: %7 = and i1 %5, %6
+; CHECK: %d = zext i1 %7 to i32
+; CHECK: ret i32 %d
+; CHECK: }
+define i32 @icmp_eq(i64 %a, i64 %b) {
+ %c = icmp eq i64 %a, %b
+ %d = zext i1 %c to i32
+ ret i32 %d
+}
+
+; CHECK: define i32 @icmp_ne(i32, i32, i32, i32) {
+; CHECK: %5 = icmp ne i32 %0, %2
+; CHECK: %6 = icmp ne i32 %1, %3
+; CHECK: %7 = or i1 %5, %6
+; CHECK: %d = zext i1 %7 to i32
+; CHECK: ret i32 %d
+; CHECK: }
+define i32 @icmp_ne(i64 %a, i64 %b) {
+ %c = icmp ne i64 %a, %b
+ %d = zext i1 %c to i32
+ ret i32 %d
+}
+
+; CHECK: define i32 @icmp_slt(i32, i32, i32, i32) {
+; CHECK: %5 = icmp slt i32 %1, %3
+; CHECK: %6 = icmp eq i32 %1, %3
+; CHECK: %7 = icmp ult i32 %0, %2
+; CHECK: %8 = and i1 %6, %7
+; CHECK: %9 = or i1 %5, %8
+; CHECK: %d = zext i1 %9 to i32
+; CHECK: ret i32 %d
+; CHECK: }
+define i32 @icmp_slt(i64 %a, i64 %b) {
+ %c = icmp slt i64 %a, %b
+ %d = zext i1 %c to i32
+ ret i32 %d
+}
+
+; CHECK: define i32 @icmp_ult(i32, i32, i32, i32) {
+; CHECK: %5 = icmp ult i32 %1, %3
+; CHECK: %6 = icmp eq i32 %1, %3
+; CHECK: %7 = icmp ult i32 %0, %2
+; CHECK: %8 = and i1 %6, %7
+; CHECK: %9 = or i1 %5, %8
+; CHECK: %d = zext i1 %9 to i32
+; CHECK: ret i32 %d
+; CHECK: }
+define i32 @icmp_ult(i64 %a, i64 %b) {
+ %c = icmp ult i64 %a, %b
+ %d = zext i1 %c to i32
+ ret i32 %d
+}
+
+; CHECK: define i32 @load(i64* %a) {
+; CHECK: %1 = ptrtoint i64* %a to i32
+; CHECK: %2 = inttoptr i32 %1 to i32*
+; CHECK: %3 = load i32* %2
+; CHECK: %4 = add i32 %1, 4
+; CHECK: %5 = inttoptr i32 %4 to i32*
+; CHECK: %6 = load i32* %5
+; CHECK: call void @setHigh32(i32 %6)
+; CHECK: ret i32 %3
+; CHECK: }
+define i64 @load(i64 *%a) {
+ %c = load i64* %a
+ ret i64 %c
+}
+
+; CHECK: define void @store(i64* %a, i32, i32) {
+; CHECK: %3 = ptrtoint i64* %a to i32
+; CHECK: %4 = inttoptr i32 %3 to i32*
+; CHECK: store i32 %0, i32* %4
+; CHECK: %5 = add i32 %3, 4
+; CHECK: %6 = inttoptr i32 %5 to i32*
+; CHECK: store i32 %1, i32* %6
+; CHECK: ret void
+; CHECK: }
+define void @store(i64 *%a, i64 %b) {
+ store i64 %b, i64* %a
+ ret void
+}
+
+; CHECK: define i32 @call(i32, i32) {
+; CHECK: %3 = call i32 @foo(i32 %0, i32 %1)
+; CHECK: %4 = call i32 @getHigh32()
+; CHECK: call void @setHigh32(i32 %4)
+; CHECK: ret i32 %3
+; CHECK: }
+declare i64 @foo(i64 %arg)
+define i64 @call(i64 %arg) {
+ %ret = call i64 @foo(i64 %arg)
+ ret i64 %ret
+}
+
+; CHECK: define i32 @trunc(i32, i32) {
+; CHECK: ret i32 %0
+; CHECK: }
+define i32 @trunc(i64 %x) {
+ %y = trunc i64 %x to i32
+ ret i32 %y
+}
+
+; CHECK: define i32 @zext(i32 %x) {
+; CHECK: call void @setHigh32(i32 0)
+; CHECK: ret i32 %x
+; CHECK: }
+define i64 @zext(i32 %x) {
+ %y = zext i32 %x to i64
+ ret i64 %y
+}
+
+; CHECK: define i32 @sext(i32 %x) {
+; CHECK: %1 = icmp slt i32 %x, 0
+; CHECK: %2 = sext i1 %1 to i32
+; CHECK: call void @setHigh32(i32 %2)
+; CHECK: ret i32 %x
+; CHECK: }
+define i64 @sext(i32 %x) {
+ %y = sext i32 %x to i64
+ ret i64 %y
+}
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2024-11-21 21:08:08 +0000