Home | History | Annotate | Download | only in CodeGen
      1 // Test frontend handling of __sync builtins.
      2 // Modified from a gcc testcase.
      3 // RUN: %clang_cc1 -emit-llvm %s -o - | FileCheck %s
      4 
      5 signed char sc;
      6 unsigned char uc;
      7 signed short ss;
      8 unsigned short us;
      9 signed int si;
     10 unsigned int ui;
     11 signed long long sll;
     12 unsigned long long ull;
     13 
     14 void test_op_ignore (void) // CHECK: define void @test_op_ignore
     15 {
     16   (void) __sync_fetch_and_add (&sc, 1); // CHECK: atomicrmw add i8
     17   (void) __sync_fetch_and_add (&uc, 1); // CHECK: atomicrmw add i8
     18   (void) __sync_fetch_and_add (&ss, 1); // CHECK: atomicrmw add i16
     19   (void) __sync_fetch_and_add (&us, 1); // CHECK: atomicrmw add i16
     20   (void) __sync_fetch_and_add (&si, 1); // CHECK: atomicrmw add i32
     21   (void) __sync_fetch_and_add (&ui, 1); // CHECK: atomicrmw add i32
     22   (void) __sync_fetch_and_add (&sll, 1); // CHECK: atomicrmw add i64
     23   (void) __sync_fetch_and_add (&ull, 1); // CHECK: atomicrmw add i64
     24 
     25   (void) __sync_fetch_and_sub (&sc, 1); // CHECK: atomicrmw sub i8
     26   (void) __sync_fetch_and_sub (&uc, 1); // CHECK: atomicrmw sub i8
     27   (void) __sync_fetch_and_sub (&ss, 1); // CHECK: atomicrmw sub i16
     28   (void) __sync_fetch_and_sub (&us, 1); // CHECK: atomicrmw sub i16
     29   (void) __sync_fetch_and_sub (&si, 1); // CHECK: atomicrmw sub i32
     30   (void) __sync_fetch_and_sub (&ui, 1); // CHECK: atomicrmw sub i32
     31   (void) __sync_fetch_and_sub (&sll, 1); // CHECK: atomicrmw sub i64
     32   (void) __sync_fetch_and_sub (&ull, 1); // CHECK: atomicrmw sub i64
     33 
     34   (void) __sync_fetch_and_or (&sc, 1); // CHECK: atomicrmw or i8
     35   (void) __sync_fetch_and_or (&uc, 1); // CHECK: atomicrmw or i8
     36   (void) __sync_fetch_and_or (&ss, 1); // CHECK: atomicrmw or i16
     37   (void) __sync_fetch_and_or (&us, 1); // CHECK: atomicrmw or i16
     38   (void) __sync_fetch_and_or (&si, 1); // CHECK: atomicrmw or i32
     39   (void) __sync_fetch_and_or (&ui, 1); // CHECK: atomicrmw or i32
     40   (void) __sync_fetch_and_or (&sll, 1); // CHECK: atomicrmw or i64
     41   (void) __sync_fetch_and_or (&ull, 1); // CHECK: atomicrmw or i64
     42 
     43   (void) __sync_fetch_and_xor (&sc, 1); // CHECK: atomicrmw xor i8
     44   (void) __sync_fetch_and_xor (&uc, 1); // CHECK: atomicrmw xor i8
     45   (void) __sync_fetch_and_xor (&ss, 1); // CHECK: atomicrmw xor i16
     46   (void) __sync_fetch_and_xor (&us, 1); // CHECK: atomicrmw xor i16
     47   (void) __sync_fetch_and_xor (&si, 1); // CHECK: atomicrmw xor i32
     48   (void) __sync_fetch_and_xor (&ui, 1); // CHECK: atomicrmw xor i32
     49   (void) __sync_fetch_and_xor (&sll, 1); // CHECK: atomicrmw xor i64
     50   (void) __sync_fetch_and_xor (&ull, 1); // CHECK: atomicrmw xor i64
     51 
     52   (void) __sync_fetch_and_and (&sc, 1); // CHECK: atomicrmw and i8
     53   (void) __sync_fetch_and_and (&uc, 1); // CHECK: atomicrmw and i8
     54   (void) __sync_fetch_and_and (&ss, 1); // CHECK: atomicrmw and i16
     55   (void) __sync_fetch_and_and (&us, 1); // CHECK: atomicrmw and i16
     56   (void) __sync_fetch_and_and (&si, 1); // CHECK: atomicrmw and i32
     57   (void) __sync_fetch_and_and (&ui, 1); // CHECK: atomicrmw and i32
     58   (void) __sync_fetch_and_and (&sll, 1); // CHECK: atomicrmw and i64
     59   (void) __sync_fetch_and_and (&ull, 1); // CHECK: atomicrmw and i64
     60 
     61 }
     62 
     63 void test_fetch_and_op (void) // CHECK: define void @test_fetch_and_op
     64 {
     65   sc = __sync_fetch_and_add (&sc, 11); // CHECK: atomicrmw add
     66   uc = __sync_fetch_and_add (&uc, 11); // CHECK: atomicrmw add
     67   ss = __sync_fetch_and_add (&ss, 11); // CHECK: atomicrmw add
     68   us = __sync_fetch_and_add (&us, 11); // CHECK: atomicrmw add
     69   si = __sync_fetch_and_add (&si, 11); // CHECK: atomicrmw add
     70   ui = __sync_fetch_and_add (&ui, 11); // CHECK: atomicrmw add
     71   sll = __sync_fetch_and_add (&sll, 11); // CHECK: atomicrmw add
     72   ull = __sync_fetch_and_add (&ull, 11); // CHECK: atomicrmw add
     73 
     74   sc = __sync_fetch_and_sub (&sc, 11); // CHECK: atomicrmw sub
     75   uc = __sync_fetch_and_sub (&uc, 11); // CHECK: atomicrmw sub
     76   ss = __sync_fetch_and_sub (&ss, 11); // CHECK: atomicrmw sub
     77   us = __sync_fetch_and_sub (&us, 11); // CHECK: atomicrmw sub
     78   si = __sync_fetch_and_sub (&si, 11); // CHECK: atomicrmw sub
     79   ui = __sync_fetch_and_sub (&ui, 11); // CHECK: atomicrmw sub
     80   sll = __sync_fetch_and_sub (&sll, 11); // CHECK: atomicrmw sub
     81   ull = __sync_fetch_and_sub (&ull, 11); // CHECK: atomicrmw sub
     82 
     83   sc = __sync_fetch_and_or (&sc, 11); // CHECK: atomicrmw or
     84   uc = __sync_fetch_and_or (&uc, 11); // CHECK: atomicrmw or
     85   ss = __sync_fetch_and_or (&ss, 11); // CHECK: atomicrmw or
     86   us = __sync_fetch_and_or (&us, 11); // CHECK: atomicrmw or
     87   si = __sync_fetch_and_or (&si, 11); // CHECK: atomicrmw or
     88   ui = __sync_fetch_and_or (&ui, 11); // CHECK: atomicrmw or
     89   sll = __sync_fetch_and_or (&sll, 11); // CHECK: atomicrmw or
     90   ull = __sync_fetch_and_or (&ull, 11); // CHECK: atomicrmw or
     91 
     92   sc = __sync_fetch_and_xor (&sc, 11); // CHECK: atomicrmw xor
     93   uc = __sync_fetch_and_xor (&uc, 11); // CHECK: atomicrmw xor
     94   ss = __sync_fetch_and_xor (&ss, 11); // CHECK: atomicrmw xor
     95   us = __sync_fetch_and_xor (&us, 11); // CHECK: atomicrmw xor
     96   si = __sync_fetch_and_xor (&si, 11); // CHECK: atomicrmw xor
     97   ui = __sync_fetch_and_xor (&ui, 11); // CHECK: atomicrmw xor
     98   sll = __sync_fetch_and_xor (&sll, 11); // CHECK: atomicrmw xor
     99   ull = __sync_fetch_and_xor (&ull, 11); // CHECK: atomicrmw xor
    100 
    101   sc = __sync_fetch_and_and (&sc, 11); // CHECK: atomicrmw and
    102   uc = __sync_fetch_and_and (&uc, 11); // CHECK: atomicrmw and
    103   ss = __sync_fetch_and_and (&ss, 11); // CHECK: atomicrmw and
    104   us = __sync_fetch_and_and (&us, 11); // CHECK: atomicrmw and
    105   si = __sync_fetch_and_and (&si, 11); // CHECK: atomicrmw and
    106   ui = __sync_fetch_and_and (&ui, 11); // CHECK: atomicrmw and
    107   sll = __sync_fetch_and_and (&sll, 11); // CHECK: atomicrmw and
    108   ull = __sync_fetch_and_and (&ull, 11); // CHECK: atomicrmw and
    109 
    110 }
    111 
    112 void test_op_and_fetch (void)
    113 {
    114   sc = __sync_add_and_fetch (&sc, uc); // CHECK: atomicrmw add
    115   uc = __sync_add_and_fetch (&uc, uc); // CHECK: atomicrmw add
    116   ss = __sync_add_and_fetch (&ss, uc); // CHECK: atomicrmw add
    117   us = __sync_add_and_fetch (&us, uc); // CHECK: atomicrmw add
    118   si = __sync_add_and_fetch (&si, uc); // CHECK: atomicrmw add
    119   ui = __sync_add_and_fetch (&ui, uc); // CHECK: atomicrmw add
    120   sll = __sync_add_and_fetch (&sll, uc); // CHECK: atomicrmw add
    121   ull = __sync_add_and_fetch (&ull, uc); // CHECK: atomicrmw add
    122 
    123   sc = __sync_sub_and_fetch (&sc, uc); // CHECK: atomicrmw sub
    124   uc = __sync_sub_and_fetch (&uc, uc); // CHECK: atomicrmw sub
    125   ss = __sync_sub_and_fetch (&ss, uc); // CHECK: atomicrmw sub
    126   us = __sync_sub_and_fetch (&us, uc); // CHECK: atomicrmw sub
    127   si = __sync_sub_and_fetch (&si, uc); // CHECK: atomicrmw sub
    128   ui = __sync_sub_and_fetch (&ui, uc); // CHECK: atomicrmw sub
    129   sll = __sync_sub_and_fetch (&sll, uc); // CHECK: atomicrmw sub
    130   ull = __sync_sub_and_fetch (&ull, uc); // CHECK: atomicrmw sub
    131 
    132   sc = __sync_or_and_fetch (&sc, uc); // CHECK: atomicrmw or
    133   uc = __sync_or_and_fetch (&uc, uc); // CHECK: atomicrmw or
    134   ss = __sync_or_and_fetch (&ss, uc); // CHECK: atomicrmw or
    135   us = __sync_or_and_fetch (&us, uc); // CHECK: atomicrmw or
    136   si = __sync_or_and_fetch (&si, uc); // CHECK: atomicrmw or
    137   ui = __sync_or_and_fetch (&ui, uc); // CHECK: atomicrmw or
    138   sll = __sync_or_and_fetch (&sll, uc); // CHECK: atomicrmw or
    139   ull = __sync_or_and_fetch (&ull, uc); // CHECK: atomicrmw or
    140 
    141   sc = __sync_xor_and_fetch (&sc, uc); // CHECK: atomicrmw xor
    142   uc = __sync_xor_and_fetch (&uc, uc); // CHECK: atomicrmw xor
    143   ss = __sync_xor_and_fetch (&ss, uc); // CHECK: atomicrmw xor
    144   us = __sync_xor_and_fetch (&us, uc); // CHECK: atomicrmw xor
    145   si = __sync_xor_and_fetch (&si, uc); // CHECK: atomicrmw xor
    146   ui = __sync_xor_and_fetch (&ui, uc); // CHECK: atomicrmw xor
    147   sll = __sync_xor_and_fetch (&sll, uc); // CHECK: atomicrmw xor
    148   ull = __sync_xor_and_fetch (&ull, uc); // CHECK: atomicrmw xor
    149 
    150   sc = __sync_and_and_fetch (&sc, uc); // CHECK: atomicrmw and
    151   uc = __sync_and_and_fetch (&uc, uc); // CHECK: atomicrmw and
    152   ss = __sync_and_and_fetch (&ss, uc); // CHECK: atomicrmw and
    153   us = __sync_and_and_fetch (&us, uc); // CHECK: atomicrmw and
    154   si = __sync_and_and_fetch (&si, uc); // CHECK: atomicrmw and
    155   ui = __sync_and_and_fetch (&ui, uc); // CHECK: atomicrmw and
    156   sll = __sync_and_and_fetch (&sll, uc); // CHECK: atomicrmw and
    157   ull = __sync_and_and_fetch (&ull, uc); // CHECK: atomicrmw and
    158 
    159 }
    160 
    161 void test_compare_and_swap (void)
    162 {
    163   sc = __sync_val_compare_and_swap (&sc, uc, sc); // CHECK: cmpxchg i8
    164   uc = __sync_val_compare_and_swap (&uc, uc, sc); // CHECK: cmpxchg i8
    165   ss = __sync_val_compare_and_swap (&ss, uc, sc); // CHECK: cmpxchg i16
    166   us = __sync_val_compare_and_swap (&us, uc, sc); // CHECK: cmpxchg i16
    167   si = __sync_val_compare_and_swap (&si, uc, sc); // CHECK: cmpxchg i32
    168   ui = __sync_val_compare_and_swap (&ui, uc, sc); // CHECK: cmpxchg i32
    169   sll = __sync_val_compare_and_swap (&sll, uc, sc); // CHECK: cmpxchg i64
    170   ull = __sync_val_compare_and_swap (&ull, uc, sc); // CHECK: cmpxchg i64
    171 
    172   ui = __sync_bool_compare_and_swap (&sc, uc, sc); // CHECK: cmpxchg
    173   ui = __sync_bool_compare_and_swap (&uc, uc, sc); // CHECK: cmpxchg
    174   ui = __sync_bool_compare_and_swap (&ss, uc, sc); // CHECK: cmpxchg
    175   ui = __sync_bool_compare_and_swap (&us, uc, sc); // CHECK: cmpxchg
    176   ui = __sync_bool_compare_and_swap (&si, uc, sc); // CHECK: cmpxchg
    177   ui = __sync_bool_compare_and_swap (&ui, uc, sc); // CHECK: cmpxchg
    178   ui = __sync_bool_compare_and_swap (&sll, uc, sc); // CHECK: cmpxchg
    179   ui = __sync_bool_compare_and_swap (&ull, uc, sc); // CHECK: cmpxchg
    180 }
    181 
    182 void test_lock (void)
    183 {
    184   sc = __sync_lock_test_and_set (&sc, 1); // CHECK: atomicrmw xchg i8
    185   uc = __sync_lock_test_and_set (&uc, 1); // CHECK: atomicrmw xchg i8
    186   ss = __sync_lock_test_and_set (&ss, 1); // CHECK: atomicrmw xchg i16
    187   us = __sync_lock_test_and_set (&us, 1); // CHECK: atomicrmw xchg i16
    188   si = __sync_lock_test_and_set (&si, 1); // CHECK: atomicrmw xchg i32
    189   ui = __sync_lock_test_and_set (&ui, 1); // CHECK: atomicrmw xchg i32
    190   sll = __sync_lock_test_and_set (&sll, 1); // CHECK: atomicrmw xchg i64
    191   ull = __sync_lock_test_and_set (&ull, 1); // CHECK: atomicrmw xchg i64
    192 
    193   __sync_synchronize (); // CHECK: fence seq_cst
    194 
    195   __sync_lock_release (&sc); // CHECK: store atomic {{.*}} release, align 1
    196   __sync_lock_release (&uc); // CHECK: store atomic {{.*}} release, align 1
    197   __sync_lock_release (&ss); // CHECK: store atomic {{.*}} release, align 2
    198   __sync_lock_release (&us); /// CHECK: store atomic {{.*}} release, align 2
    199   __sync_lock_release (&si); // CHECK: store atomic {{.*}} release, align 4
    200   __sync_lock_release (&ui); // CHECK: store atomic {{.*}} release, align 4
    201   __sync_lock_release (&sll); // CHECK: store atomic {{.*}} release, align 8
    202   __sync_lock_release (&ull); // CHECK: store atomic {{.*}} release, align 8
    203 }
    204