Index: test/CodeGen/JS/expand-i64.ll |
diff --git a/test/CodeGen/JS/expand-i64.ll b/test/CodeGen/JS/expand-i64.ll |
deleted file mode 100644 |
index 4a251745b9d90077934f384f118be40fac641832..0000000000000000000000000000000000000000 |
--- a/test/CodeGen/JS/expand-i64.ll |
+++ /dev/null |
@@ -1,329 +0,0 @@ |
-; RUN: opt -S -expand-illegal-ints < %s | FileCheck %s |
- |
-target datalayout = "e-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-p:32:32:32-v128:32:128-n32-S128" |
- |
-; 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 ult i32 %0, %2 |
-; CHECK: %7 = icmp eq i32 %1, %3 |
-; CHECK: %8 = and i1 %7, %6 |
-; 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 ult i32 %0, %2 |
-; CHECK: %7 = icmp eq i32 %1, %3 |
-; CHECK: %8 = and i1 %7, %6 |
-; 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, i32* %2 |
-; CHECK: %4 = add i32 %1, 4 |
-; CHECK: %5 = inttoptr i32 %4 to i32* |
-; CHECK: %6 = load i32, i32* %5 |
-; CHECK: call void @setHigh32(i32 %6) |
-; CHECK: ret i32 %3 |
-; CHECK: } |
-define i64 @load(i64 *%a) { |
- %c = load i64, i64* %a |
- ret i64 %c |
-} |
- |
-; CHECK: define i32 @aligned_load(i64* %a) { |
-; CHECK: %1 = ptrtoint i64* %a to i32 |
-; CHECK: %2 = inttoptr i32 %1 to i32* |
-; CHECK: %3 = load i32, i32* %2, align 16 |
-; CHECK: %4 = add i32 %1, 4 |
-; CHECK: %5 = inttoptr i32 %4 to i32* |
-; CHECK: %6 = load i32, i32* %5, align 4 |
-; CHECK: call void @setHigh32(i32 %6) |
-; CHECK: ret i32 %3 |
-; CHECK: } |
-define i64 @aligned_load(i64 *%a) { |
- %c = load i64, i64* %a, align 16 |
- 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 void @aligned_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, align 16 |
-; CHECK: %5 = add i32 %3, 4 |
-; CHECK: %6 = inttoptr i32 %5 to i32* |
-; CHECK: store i32 %1, i32* %6, align 4 |
-; CHECK: ret void |
-; CHECK: } |
-define void @aligned_store(i64 *%a, i64 %b) { |
- store i64 %b, i64* %a, align 16 |
- 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 |
-} |
- |
-; CHECK: define void @unreachable_blocks(i64* %p) { |
-; CHECK-NEXT: ret void |
-; CHECK-NEXT: } |
-define void @unreachable_blocks(i64* %p) { |
- ret void |
- |
-dead: |
- %t = load i64, i64* %p |
- %s = add i64 %t, 1 |
- store i64 %s, i64* %p |
- ret void |
-} |
- |
-; CHECK: define i1 @slt_zero(i32 %a) { |
-; CHECK: %1 = icmp slt i32 %a, 0 |
-; CHECK: %2 = sext i1 %1 to i32 |
-; CHECK: %3 = sext i1 %1 to i32 |
-; CHECK: %4 = sext i1 %1 to i32 |
-; CHECK: %5 = icmp slt i32 %4, 0 |
-; CHECK: ret i1 %5 |
-; CHECK: } |
-define i1 @slt_zero(i32 %a) { |
- %b = sext i32 %a to i128 |
- %c = icmp slt i128 %b, 0 |
- ret i1 %c |
-} |
- |