File: gnu-asm-constexpr.cpp

package info (click to toggle)
llvm-toolchain-21 1%3A21.1.0-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 2,235,796 kB
  • sloc: cpp: 7,617,614; ansic: 1,433,901; asm: 1,058,726; python: 252,096; f90: 94,671; objc: 70,753; lisp: 42,813; pascal: 18,401; sh: 10,032; ml: 5,111; perl: 4,720; awk: 3,523; makefile: 3,401; javascript: 2,272; xml: 892; fortran: 770
file content (58 lines) | stat: -rw-r--r-- 1,919 bytes parent folder | download | duplicates (4)
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
// REQUIRES: x86-registered-target
// RUN: %clang_cc1 -triple x86_64 %s -S -o /dev/null -Werror -verify
// RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm %s -o - | FileCheck %s

struct string_view {
    int S;
    const char* D;
    constexpr string_view() : S(0), D(0){}
    constexpr string_view(const char* Str) : S(__builtin_strlen(Str)), D(Str) {}
    constexpr string_view(int Size, const char* Str) : S(Size), D(Str) {}
    constexpr int size() const {
        return S;
    }
    constexpr const char* data() const {
        return D;
    }
};

namespace GH143242 {
    constexpr string_view code2 = R"(nop; nop; nop; nop)";
    asm((code2));
    // CHECK: module asm "nop; nop; nop; nop"
}

int func() {return 0;};

void f() {

    asm((string_view("")) ::(string_view("r"))(func()));
    // CHECK: %[[CALL:.*]] = call noundef i32 @_Z4funcv
    // CHECK: call void asm sideeffect "", "r,~{dirflag},~{fpsr},~{flags}"
    asm("" :::(string_view("memory")));
    // CHECK: call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"
}

void foo(unsigned long long addr, unsigned long long a0) {
    register unsigned long long result asm("rax");
    register unsigned long long b0 asm("rdi");

    b0 = a0;

    asm((string_view("call *%1")) : (string_view("=r")) (result)
        : (string_view("r"))(addr), (string_view("r")) (b0) : (string_view("memory")));

    // CHECK:{{.*}} call i64 asm "call *$1", "={rax},r,{rdi},~{memory},~{dirflag},~{fpsr},~{flags}"
}


void test_srcloc() {
    asm((string_view( // expected-error {{invalid instruction mnemonic 'nonsense'}} \
                      // expected-error {{invalid instruction mnemonic 'foobar'}} \
                      // expected-note@1 {{instantiated into assembly here}} \
                      // expected-note@2 {{instantiated into assembly here}}
        R"o(nonsense
        foobar)o")

    ) ::(string_view("r"))(func()));
}