130 lines · cpp
1// REQUIRES: x86-registered-target2// RUN: %clang_cc1 %s -triple i686-pc-windows-msvc -emit-llvm -o - -fasm-blocks | FileCheck %s3 4// Check that we take EAX or EAX:EDX and return it from these functions for MSVC5// compatibility.6 7extern "C" {8 9long long f_i64() {10 __asm {11 mov eax, 112 mov edx, 113 }14}15// CHECK-LABEL: define dso_local i64 @f_i64()16// CHECK: %[[r:[^ ]*]] = call i64 asm sideeffect inteldialect "mov eax, $$1\0A\09mov edx, $$1", "=&A,{{.*}}"17// CHECK: ret i64 %[[r]]18 19long long f_i64_reverse() {20 __asm {21 mov edx, 122 mov eax, 123 }24}25// CHECK-LABEL: define dso_local i64 @f_i64_reverse()26// CHECK: %[[r:[^ ]*]] = call i64 asm sideeffect inteldialect "mov edx, $$1\0A\09mov eax, $$1", "=&A,{{.*}}"27// CHECK: ret i64 %[[r]]28 29int f_i32() {30 __asm {31 mov eax, 132 mov edx, 133 }34}35// CHECK-LABEL: define dso_local i32 @f_i32()36// CHECK: %[[r:[^ ]*]] = call i32 asm sideeffect inteldialect "mov eax, $$1\0A\09mov edx, $$1", "=&{eax},~{edx},{{.*}}"37// CHECK: ret i32 %[[r]]38 39int f_i32_reverse() {40 __asm {41 mov edx, 142 mov eax, 143 }44}45// CHECK-LABEL: define dso_local i32 @f_i32_reverse()46// CHECK: %[[r:[^ ]*]] = call i32 asm sideeffect inteldialect "mov edx, $$1\0A\09mov eax, $$1", "=&{eax},~{edx},{{.*}}"47// CHECK: ret i32 %[[r]]48 49int f_i32_edx() {50 __asm {51 mov edx, 152 }53}54// CHECK-LABEL: define dso_local i32 @f_i32_edx()55// CHECK: %[[r:[^ ]*]] = call i32 asm sideeffect inteldialect "mov edx, $$1", "={eax},~{edx},{{.*}}"56// CHECK: ret i32 %[[r]]57 58short f_i16() {59 __asm {60 mov eax, 161 mov edx, 162 }63}64// CHECK-LABEL: define dso_local signext i16 @f_i16()65// CHECK: %[[r:[^ ]*]] = call i32 asm sideeffect inteldialect "mov eax, $$1\0A\09mov edx, $$1", "=&{eax},~{edx},{{.*}}"66// CHECK: %[[r_i16:[^ ]*]] = trunc i32 %[[r]] to i1667// CHECK: ret i16 %[[r_i16]]68 69char f_i8() {70 __asm {71 mov eax, 172 mov edx, 173 }74}75// CHECK-LABEL: define dso_local signext i8 @f_i8()76// CHECK: %[[r:[^ ]*]] = call i32 asm sideeffect inteldialect "mov eax, $$1\0A\09mov edx, $$1", "=&{eax},~{edx},{{.*}}"77// CHECK: %[[r_i8:[^ ]*]] = trunc i32 %[[r]] to i878// CHECK: ret i8 %[[r_i8]]79 80bool f_i1() {81 __asm {82 mov eax, 1L83 mov edx, 1U84 }85}86// CHECK-LABEL: define dso_local zeroext i1 @f_i1()87// CHECK: %[[r:[^ ]*]] = call i32 asm sideeffect inteldialect "mov eax, $$1\0A\09mov edx, $$1", "=&{eax},~{edx},{{.*}}"88// CHECK: %[[r_i8:[^ ]*]] = trunc i32 %[[r]] to i889// CHECK: store i8 %[[r_i8]], ptr %{{.*}}90// CHECK: %[[r_i1:[^ ]*]] = load i1, ptr %{{.*}}91// CHECK: ret i1 %[[r_i1]]92 93struct FourChars {94 char a, b, c, d;95};96FourChars f_s4() {97 __asm {98 mov eax, 0x0101010199 }100}101// CHECK-LABEL: define dso_local i32 @f_s4()102// CHECK: %[[r:[^ ]*]] = call i32 asm sideeffect inteldialect "mov eax, $$16843009", "=&{eax},{{.*}}"103// CHECK: store i32 %[[r]], ptr %{{.*}}104// CHECK: %[[r_i32:[^ ]*]] = load i32, ptr %{{.*}}105// CHECK: ret i32 %[[r_i32]]106 107struct EightChars {108 char a, b, c, d, e, f, g, h;109};110EightChars f_s8() {111 __asm {112 mov eax, 01010101h113 mov edx, 01010101b114 }115}116// CHECK-LABEL: define dso_local i64 @f_s8()117// CHECK: %[[r:[^ ]*]] = call i64 asm sideeffect inteldialect "mov eax, $$16843009\0A\09mov edx, $$85", "=&A,{{.*}}"118// CHECK: store i64 %[[r]], ptr %{{.*}}119// CHECK: %[[r_i64:[^ ]*]] = load i64, ptr %{{.*}}120// CHECK: ret i64 %[[r_i64]]121 122} // extern "C"123 124int main() {125 __asm xor eax, eax126}127// CHECK-LABEL: define dso_local noundef i32 @main()128// CHECK: %[[r:[^ ]*]] = call i32 asm sideeffect inteldialect "xor eax, eax", "=&{eax},{{.*}}"129// CHECK: ret i32 %[[r]]130