| 1 | // RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -o - %s \ |
|---|
| 2 | // RUN: -fsanitize=signed-integer-overflow \ |
|---|
| 3 | // RUN: | FileCheck %s |
|---|
| 4 | |
|---|
| 5 | // Verify we emit constants for "immediate" inline assembly arguments. |
|---|
| 6 | // Emitting a scalar expression can make the immediate be generated as |
|---|
| 7 | // overflow intrinsics, if the overflow sanitizer is enabled. |
|---|
| 8 | |
|---|
| 9 | // Check both 'i' and 'I': |
|---|
| 10 | // - 'i' accepts symbolic constants. |
|---|
| 11 | // - 'I' doesn't, and is really an immediate-required constraint. |
|---|
| 12 | |
|---|
| 13 | // See also PR23517. |
|---|
| 14 | |
|---|
| 15 | // CHECK-LABEL: @test_inlineasm_i |
|---|
| 16 | // CHECK: call void asm sideeffect "int $0", "i{{.*}}"(i32 2) |
|---|
| 17 | void test_inlineasm_i() { |
|---|
| 18 | __asm__ __volatile__("int %0" :: "i"(1 + 1)); |
|---|
| 19 | } |
|---|
| 20 | |
|---|
| 21 | // CHECK-LABEL: @test_inlineasm_I |
|---|
| 22 | // CHECK: call void asm sideeffect "int $0", "I{{.*}}"(i32 2) |
|---|
| 23 | // CHECK: call void asm sideeffect "int $0", "I{{.*}}"(i32 3) |
|---|
| 24 | void test_inlineasm_I() { |
|---|
| 25 | __asm__ __volatile__("int %0" :: "I"(1 + 1)); |
|---|
| 26 | |
|---|
| 27 | // Also check a C non-ICE. |
|---|
| 28 | static const int N = 1; |
|---|
| 29 | __asm__ __volatile__("int %0" :: "I"(N + 2)); |
|---|
| 30 | } |
|---|
| 31 | |
|---|