1*9571a28eSPaulo Matos // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 2
2*9571a28eSPaulo Matos // RUN: %clang_cc1 -triple wasm32-unknown-unknown -o - -emit-llvm %s | FileCheck --check-prefix=WEBASSEMBLY32 %s
3*9571a28eSPaulo Matos // RUN: %clang_cc1 -triple wasm64-unknown-unknown -o - -emit-llvm %s | FileCheck --check-prefix=WEBASSEMBLY64 %s
4*9571a28eSPaulo Matos
5*9571a28eSPaulo Matos // WEBASSEMBLY32-LABEL: define i32 @test32
6*9571a28eSPaulo Matos // WEBASSEMBLY32-SAME: (i32 noundef [[X:%.*]]) #[[ATTR0:[0-9]+]] {
7*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: entry:
8*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: [[X_ADDR:%.*]] = alloca i32, align 4
9*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: store i32 [[X]], ptr [[X_ADDR]], align 4
10*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: [[TMP0:%.*]] = load i32, ptr [[X_ADDR]], align 4
11*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: [[AND:%.*]] = and i32 [[TMP0]], -16711936
12*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: [[TMP1:%.*]] = call i32 @llvm.fshl.i32(i32 [[AND]], i32 [[AND]], i32 8)
13*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: ret i32 [[TMP1]]
14*9571a28eSPaulo Matos //
15*9571a28eSPaulo Matos // WEBASSEMBLY64-LABEL: define i32 @test32
16*9571a28eSPaulo Matos // WEBASSEMBLY64-SAME: (i32 noundef [[X:%.*]]) #[[ATTR0:[0-9]+]] {
17*9571a28eSPaulo Matos // WEBASSEMBLY64-NEXT: entry:
18*9571a28eSPaulo Matos // WEBASSEMBLY64-NEXT: [[X_ADDR:%.*]] = alloca i32, align 4
19*9571a28eSPaulo Matos // WEBASSEMBLY64-NEXT: store i32 [[X]], ptr [[X_ADDR]], align 4
20*9571a28eSPaulo Matos // WEBASSEMBLY64-NEXT: [[TMP0:%.*]] = load i32, ptr [[X_ADDR]], align 4
21*9571a28eSPaulo Matos // WEBASSEMBLY64-NEXT: [[AND:%.*]] = and i32 [[TMP0]], -16711936
22*9571a28eSPaulo Matos // WEBASSEMBLY64-NEXT: [[TMP1:%.*]] = call i32 @llvm.fshl.i32(i32 [[AND]], i32 [[AND]], i32 8)
23*9571a28eSPaulo Matos // WEBASSEMBLY64-NEXT: ret i32 [[TMP1]]
24*9571a28eSPaulo Matos //
test32(unsigned int x)25*9571a28eSPaulo Matos unsigned int test32(unsigned int x) {
26*9571a28eSPaulo Matos return __builtin_rotateleft32((x & 0xFF00FF00), 8);
27*9571a28eSPaulo Matos }
28*9571a28eSPaulo Matos
29*9571a28eSPaulo Matos // WEBASSEMBLY32-LABEL: define i32 @test64
30*9571a28eSPaulo Matos // WEBASSEMBLY32-SAME: (i32 noundef [[X:%.*]]) #[[ATTR0]] {
31*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: entry:
32*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: [[X_ADDR:%.*]] = alloca i32, align 4
33*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: store i32 [[X]], ptr [[X_ADDR]], align 4
34*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: [[TMP0:%.*]] = load i32, ptr [[X_ADDR]], align 4
35*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: [[CONV:%.*]] = zext i32 [[TMP0]] to i64
36*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: [[AND:%.*]] = and i64 [[CONV]], -71777214294589696
37*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: [[TMP1:%.*]] = call i64 @llvm.fshl.i64(i64 [[AND]], i64 [[AND]], i64 8)
38*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: [[CONV1:%.*]] = trunc i64 [[TMP1]] to i32
39*9571a28eSPaulo Matos // WEBASSEMBLY32-NEXT: ret i32 [[CONV1]]
40*9571a28eSPaulo Matos //
41*9571a28eSPaulo Matos // WEBASSEMBLY64-LABEL: define i64 @test64
42*9571a28eSPaulo Matos // WEBASSEMBLY64-SAME: (i64 noundef [[X:%.*]]) #[[ATTR0]] {
43*9571a28eSPaulo Matos // WEBASSEMBLY64-NEXT: entry:
44*9571a28eSPaulo Matos // WEBASSEMBLY64-NEXT: [[X_ADDR:%.*]] = alloca i64, align 8
45*9571a28eSPaulo Matos // WEBASSEMBLY64-NEXT: store i64 [[X]], ptr [[X_ADDR]], align 8
46*9571a28eSPaulo Matos // WEBASSEMBLY64-NEXT: [[TMP0:%.*]] = load i64, ptr [[X_ADDR]], align 8
47*9571a28eSPaulo Matos // WEBASSEMBLY64-NEXT: [[AND:%.*]] = and i64 [[TMP0]], -71777214294589696
48*9571a28eSPaulo Matos // WEBASSEMBLY64-NEXT: [[TMP1:%.*]] = call i64 @llvm.fshl.i64(i64 [[AND]], i64 [[AND]], i64 8)
49*9571a28eSPaulo Matos // WEBASSEMBLY64-NEXT: ret i64 [[TMP1]]
50*9571a28eSPaulo Matos //
test64(unsigned long x)51*9571a28eSPaulo Matos unsigned long test64(unsigned long x) {
52*9571a28eSPaulo Matos return __builtin_rotateleft64((x & 0xFF00FF00FF00FF00L), 8);
53*9571a28eSPaulo Matos }
54