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)
test_inlineasm_i()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)
test_inlineasm_I()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