tests/codegen/array-equality.rs · SourceCodeSync/rust

【升级通知】Gitee 将于 7 月 11 日晚 23 点进行全站升级维护

代码拉取完成,页面将自动刷新

richgiteeai

Watch

不关注关注所有动态仅关注版本发行动态关注但不提醒动态

1 Star 0 Fork 0

SourceCodeSync/rust

代码 Issues 0 Pull Requests 0 Wiki 统计流水线

服务

加入 Gitee

与超过 1400万开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)

免费加入

已有帐号? 立即登录

文件

master

分支 (6)

标签 (127)

管理

master

cargo_update

beta

stable

automation/bors/try

automation/bors/try-merge

1.74.0

1.73.0

1.72.1

1.72.0

1.71.1

1.71.0

1.70.0

1.69.0

1.68.2

1.68.1

1.68.0

1.67.1

1.67.0

1.66.1

1.66.0

1.65.0

1.64.0

1.63.0

1.62.1

1.62.0

克隆/下载

HTTPS SSH SVN SVN+SSH 下载ZIP

提示

下载代码请复制以下命令到终端执行

为确保你提交的代码身份被 Gitee 正确识别,请执行以下命令完成配置

git config --global user.name userName 
git config --global user.email userEmail

初次使用 SSH 协议进行代码克隆、推送等操作时,需按下述提示完成 SSH 配置

1 生成 RSA 密钥

2 获取 RSA 公钥内容,并配置到 SSH公钥中

在 Gitee 上使用 SVN,请访问使用指南

使用 HTTPS 协议时,命令行会出现如下账号密码验证步骤。基于安全考虑,Gitee 建议配置并使用私人令牌替代登录密码进行克隆、推送等操作

Username for 'https://gitee.com': userName

Password for 'https://userName@gitee.com': # 私人令牌

分支 6

标签 127

rust

tests

codegen

array-equality.rs

array-equality.rs 2.92 KB

// compile-flags: -O -Z merge-functions=disabled
// only-x86_64

#![crate_type = "lib"]

// CHECK-LABEL: @array_eq_value
#[no_mangle]
pub fn array_eq_value(a: [u16; 3], b: [u16; 3]) -> bool {
 // CHECK-NEXT: start:
 // CHECK-NEXT: %2 = icmp eq i48 %0, %1
 // CHECK-NEXT: ret i1 %2
 a == b
}

// CHECK-LABEL: @array_eq_ref
#[no_mangle]
pub fn array_eq_ref(a: &[u16; 3], b: &[u16; 3]) -> bool {
 // CHECK: start:
 // CHECK: load i48, ptr %{{.+}}, align 2
 // CHECK: load i48, ptr %{{.+}}, align 2
 // CHECK: icmp eq i48
 // CHECK-NEXT: ret
 a == b
}

// CHECK-LABEL: @array_eq_value_still_passed_by_pointer
#[no_mangle]
pub fn array_eq_value_still_passed_by_pointer(a: [u16; 9], b: [u16; 9]) -> bool {
 // CHECK-NEXT: start:
 // CHECK: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(ptr {{.*}} dereferenceable(18) %{{.+}}, ptr {{.*}} dereferenceable(18) %{{.+}}, i64 18)
 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
 // CHECK-NEXT: ret i1 %[[EQ]]
 a == b
}

// CHECK-LABEL: @array_eq_long
#[no_mangle]
pub fn array_eq_long(a: &[u16; 1234], b: &[u16; 1234]) -> bool {
 // CHECK-NEXT: start:
 // CHECK: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(ptr {{.*}} dereferenceable(2468) %{{.+}}, ptr {{.*}} dereferenceable(2468) %{{.+}}, i64 2468)
 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
 // CHECK-NEXT: ret i1 %[[EQ]]
 a == b
}

// CHECK-LABEL: @array_char_eq
#[no_mangle]
pub fn array_char_eq(a: [char; 2], b: [char; 2]) -> bool {
 // CHECK-NEXT: start:
 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i64 %0, %1
 // CHECK-NEXT: ret i1 %[[EQ]]
 a == b
}

// CHECK-LABEL: @array_eq_zero_short(i48
#[no_mangle]
pub fn array_eq_zero_short(x: [u16; 3]) -> bool {
 // CHECK-NEXT: start:
 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i48 %0, 0
 // CHECK-NEXT: ret i1 %[[EQ]]
 x == [0; 3]
}

// CHECK-LABEL: @array_eq_none_short(i40
#[no_mangle]
pub fn array_eq_none_short(x: [Option<std::num::NonZeroU8>; 5]) -> bool {
 // CHECK-NEXT: start:
 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i40 %0, 0
 // CHECK-NEXT: ret i1 %[[EQ]]
 x == [None; 5]
}

// CHECK-LABEL: @array_eq_zero_nested(
#[no_mangle]
pub fn array_eq_zero_nested(x: [[u8; 3]; 3]) -> bool {
 // CHECK: %[[VAL:.+]] = load i72
 // CHECK-SAME: align 1
 // CHECK: %[[EQ:.+]] = icmp eq i72 %[[VAL]], 0
 // CHECK: ret i1 %[[EQ]]
 x == [[0; 3]; 3]
}

// CHECK-LABEL: @array_eq_zero_mid(
#[no_mangle]
pub fn array_eq_zero_mid(x: [u16; 8]) -> bool {
 // CHECK-NEXT: start:
 // CHECK: %[[LOAD:.+]] = load i128,
 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i128 %[[LOAD]], 0
 // CHECK-NEXT: ret i1 %[[EQ]]
 x == [0; 8]
}

// CHECK-LABEL: @array_eq_zero_long(
#[no_mangle]
pub fn array_eq_zero_long(x: [u16; 1234]) -> bool {
 // CHECK-NEXT: start:
 // CHECK-NOT: alloca
 // CHECK: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(
 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
 // CHECK-NEXT: ret i1 %[[EQ]]
 x == [0; 1234]
}

一键复制编辑原始数据按行查看历史

Josh Stone 提交于 2023年07月28日 05:44 +08:00 . CHECK only for opaque ptr

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102

// compile-flags: -O -Z merge-functions=disabled
// only-x86_64

#![crate_type = "lib"]

// CHECK-LABEL: @array_eq_value
#[no_mangle]
pub fn array_eq_value(a: [u16; 3], b: [u16; 3]) -> bool {
 // CHECK-NEXT: start:
 // CHECK-NEXT: %2 = icmp eq i48 %0, %1
 // CHECK-NEXT: ret i1 %2
 a == b
}

// CHECK-LABEL: @array_eq_ref
#[no_mangle]
pub fn array_eq_ref(a: &[u16; 3], b: &[u16; 3]) -> bool {
 // CHECK: start:
 // CHECK: load i48, ptr %{{.+}}, align 2
 // CHECK: load i48, ptr %{{.+}}, align 2
 // CHECK: icmp eq i48
 // CHECK-NEXT: ret
 a == b
}

// CHECK-LABEL: @array_eq_value_still_passed_by_pointer
#[no_mangle]
pub fn array_eq_value_still_passed_by_pointer(a: [u16; 9], b: [u16; 9]) -> bool {
 // CHECK-NEXT: start:
 // CHECK: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(ptr {{.*}} dereferenceable(18) %{{.+}}, ptr {{.*}} dereferenceable(18) %{{.+}}, i64 18)
 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
 // CHECK-NEXT: ret i1 %[[EQ]]
 a == b
}

// CHECK-LABEL: @array_eq_long
#[no_mangle]
pub fn array_eq_long(a: &[u16; 1234], b: &[u16; 1234]) -> bool {
 // CHECK-NEXT: start:
 // CHECK: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(ptr {{.*}} dereferenceable(2468) %{{.+}}, ptr {{.*}} dereferenceable(2468) %{{.+}}, i64 2468)
 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
 // CHECK-NEXT: ret i1 %[[EQ]]
 a == b
}

// CHECK-LABEL: @array_char_eq
#[no_mangle]
pub fn array_char_eq(a: [char; 2], b: [char; 2]) -> bool {
 // CHECK-NEXT: start:
 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i64 %0, %1
 // CHECK-NEXT: ret i1 %[[EQ]]
 a == b
}

// CHECK-LABEL: @array_eq_zero_short(i48
#[no_mangle]
pub fn array_eq_zero_short(x: [u16; 3]) -> bool {
 // CHECK-NEXT: start:
 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i48 %0, 0
 // CHECK-NEXT: ret i1 %[[EQ]]
 x == [0; 3]
}

// CHECK-LABEL: @array_eq_none_short(i40
#[no_mangle]
pub fn array_eq_none_short(x: [Option<std::num::NonZeroU8>; 5]) -> bool {
 // CHECK-NEXT: start:
 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i40 %0, 0
 // CHECK-NEXT: ret i1 %[[EQ]]
 x == [None; 5]
}

// CHECK-LABEL: @array_eq_zero_nested(
#[no_mangle]
pub fn array_eq_zero_nested(x: [[u8; 3]; 3]) -> bool {
 // CHECK: %[[VAL:.+]] = load i72
 // CHECK-SAME: align 1
 // CHECK: %[[EQ:.+]] = icmp eq i72 %[[VAL]], 0
 // CHECK: ret i1 %[[EQ]]
 x == [[0; 3]; 3]
}

// CHECK-LABEL: @array_eq_zero_mid(
#[no_mangle]
pub fn array_eq_zero_mid(x: [u16; 8]) -> bool {
 // CHECK-NEXT: start:
 // CHECK: %[[LOAD:.+]] = load i128,
 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i128 %[[LOAD]], 0
 // CHECK-NEXT: ret i1 %[[EQ]]
 x == [0; 8]
}

// CHECK-LABEL: @array_eq_zero_long(
#[no_mangle]
pub fn array_eq_zero_long(x: [u16; 1234]) -> bool {
 // CHECK-NEXT: start:
 // CHECK-NOT: alloca
 // CHECK: %[[CMP:.+]] = tail call i32 @{{bcmp|memcmp}}(
 // CHECK-NEXT: %[[EQ:.+]] = icmp eq i32 %[[CMP]], 0
 // CHECK-NEXT: ret i1 %[[EQ]]
 x == [0; 1234]
}