Home | History | Annotate | Download | only in expr
      1 // RUN: %clang_cc1 -emit-llvm -triple x86_64-pc-linux-gnu %s -o - -std=c++11 | FileCheck %s
      2 
      3 volatile int g1;
      4 struct S {
      5   volatile int a;
      6 } g2;
      7 
      8 volatile int& refcall();
      9 
     10 // CHECK: define void @_Z2f1PViPV1S
     11 void f1(volatile int *x, volatile S* s) {
     12   // We should perform the load in these cases.
     13   // CHECK: load volatile i32*
     14   (*x);
     15   // CHECK: load volatile i32*
     16   __extension__ g1;
     17   // CHECK: load volatile i32*
     18   s->a;
     19   // CHECK: load volatile i32*
     20   g2.a;
     21   // CHECK: load volatile i32*
     22   s->*(&S::a);
     23   // CHECK: load volatile i32*
     24   // CHECK: load volatile i32*
     25   x[0], 1 ? x[0] : *x;
     26 
     27   // CHECK: load volatile i32*
     28   // CHECK: load volatile i32*
     29   // CHECK: load volatile i32*
     30   *x ?: *x;
     31 
     32   // CHECK: load volatile i32*
     33   ({ *x; });
     34 
     35   // CHECK-NOT: load volatile
     36   // CHECK: ret
     37 }
     38 
     39 // CHECK: define void @_Z2f2PVi
     40 // CHECK-NOT: load volatile
     41 // CHECK: ret
     42 void f2(volatile int *x) {
     43   // We shouldn't perform the load in these cases.
     44   refcall();
     45   1 ? refcall() : *x;
     46 }
     47