builtins-arm-exclusive.c revision 09df2b066221d869f17f4b5762405f111a65f983
109df2b066221d869f17f4b5762405f111a65f983Tim Northover// REQUIRES: arm-registered-target 209df2b066221d869f17f4b5762405f111a65f983Tim Northover// RUN: %clang_cc1 -Wall -Werror -triple thumbv7-linux-gnueabi -fno-signed-char -O3 -emit-llvm -o - %s | FileCheck %s 309df2b066221d869f17f4b5762405f111a65f983Tim Northover 409df2b066221d869f17f4b5762405f111a65f983Tim Northover// Make sure the canonical use works before going into smaller details: 509df2b066221d869f17f4b5762405f111a65f983Tim Northoverint atomic_inc(int *addr) { 609df2b066221d869f17f4b5762405f111a65f983Tim Northover int Failure, OldVal; 709df2b066221d869f17f4b5762405f111a65f983Tim Northover do { 809df2b066221d869f17f4b5762405f111a65f983Tim Northover OldVal = __builtin_arm_ldrex(addr); 909df2b066221d869f17f4b5762405f111a65f983Tim Northover Failure = __builtin_arm_strex(OldVal + 1, addr); 1009df2b066221d869f17f4b5762405f111a65f983Tim Northover } while (Failure); 1109df2b066221d869f17f4b5762405f111a65f983Tim Northover 1209df2b066221d869f17f4b5762405f111a65f983Tim Northover return OldVal; 1309df2b066221d869f17f4b5762405f111a65f983Tim Northover} 1409df2b066221d869f17f4b5762405f111a65f983Tim Northover 1509df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: @atomic_inc 1609df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[OLDVAL:%.*]] = tail call i32 @llvm.arm.ldrex.p0i32(i32* %addr) 1709df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INC:%.*]] = add nsw i32 [[OLDVAL]], 1 1809df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[FAILURE:%.*]] = tail call i32 @llvm.arm.strex.p0i32(i32 [[INC]], i32* %addr) 1909df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[TST:%.*]] = icmp eq i32 [[FAILURE]], 0 2009df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: br i1 [[TST]], label %[[LOOP_END:[a-zA-Z0-9.]+]], label {{%[a-zA-Z0-9.]+}} 2109df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[LOOP_END]]: 2209df2b066221d869f17f4b5762405f111a65f983Tim Northover 2309df2b066221d869f17f4b5762405f111a65f983Tim Northoverstruct Simple { 2409df2b066221d869f17f4b5762405f111a65f983Tim Northover char a, b; 2509df2b066221d869f17f4b5762405f111a65f983Tim Northover}; 2609df2b066221d869f17f4b5762405f111a65f983Tim Northover 2709df2b066221d869f17f4b5762405f111a65f983Tim Northoverint test_ldrex(char *addr, long long *addr64, float *addrfloat) { 2809df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: @test_ldrex 2909df2b066221d869f17f4b5762405f111a65f983Tim Northover int sum = 0; 3009df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex(addr); 3109df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTRES:%.*]] = tail call i32 @llvm.arm.ldrex.p0i8(i8* %addr) 3209df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: and i32 [[INTRES]], 255 3309df2b066221d869f17f4b5762405f111a65f983Tim Northover 3409df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex((short *)addr); 3509df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[ADDR16:%.*]] = bitcast i8* %addr to i16* 3609df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTRES:%.*]] = tail call i32 @llvm.arm.ldrex.p0i16(i16* [[ADDR16]]) 3709df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[TMPSEXT:%.*]] = shl i32 [[INTRES]], 16 3809df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: ashr exact i32 [[TMPSEXT]], 16 3909df2b066221d869f17f4b5762405f111a65f983Tim Northover 4009df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex((int *)addr); 4109df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[ADDR32:%.*]] = bitcast i8* %addr to i32* 4209df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.ldrex.p0i32(i32* [[ADDR32]]) 4309df2b066221d869f17f4b5762405f111a65f983Tim Northover 4409df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex((long long *)addr); 4509df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call { i32, i32 } @llvm.arm.ldrexd(i8* %addr) 4609df2b066221d869f17f4b5762405f111a65f983Tim Northover 4709df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex(addr64); 4809df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[ADDR64_AS8:%.*]] = bitcast i64* %addr64 to i8* 4909df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call { i32, i32 } @llvm.arm.ldrexd(i8* [[ADDR64_AS8]]) 5009df2b066221d869f17f4b5762405f111a65f983Tim Northover 5109df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex(addrfloat); 5209df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTADDR:%.*]] = bitcast float* %addrfloat to i32* 5309df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTRES:%.*]] = tail call i32 @llvm.arm.ldrex.p0i32(i32* [[INTADDR]]) 5409df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: bitcast i32 [[INTRES]] to float 5509df2b066221d869f17f4b5762405f111a65f983Tim Northover 5609df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex((double *)addr); 5709df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[STRUCTRES:%.*]] = tail call { i32, i32 } @llvm.arm.ldrexd(i8* %addr) 5809df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[RESHI:%.*]] = extractvalue { i32, i32 } [[STRUCTRES]], 1 5909df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[RESLO:%.*]] = extractvalue { i32, i32 } [[STRUCTRES]], 0 6009df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[RESHI64:%.*]] = zext i32 [[RESHI]] to i64 6109df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[RESLO64:%.*]] = zext i32 [[RESLO]] to i64 6209df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[RESHIHI:%.*]] = shl nuw i64 [[RESHI64]], 32 6309df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTRES:%.*]] = or i64 [[RESHIHI]], [[RESLO64]] 6409df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: bitcast i64 [[INTRES]] to double 6509df2b066221d869f17f4b5762405f111a65f983Tim Northover 6609df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += *__builtin_arm_ldrex((int **)addr); 6709df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTRES:%.*]] = tail call i32 @llvm.arm.ldrex.p0i32(i32* [[ADDR32]]) 6809df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: inttoptr i32 [[INTRES]] to i32* 6909df2b066221d869f17f4b5762405f111a65f983Tim Northover 7009df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex((struct Simple **)addr)->a; 7109df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTRES:%.*]] = tail call i32 @llvm.arm.ldrex.p0i32(i32* [[ADDR32]]) 7209df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: inttoptr i32 [[INTRES]] to %struct.Simple* 7309df2b066221d869f17f4b5762405f111a65f983Tim Northover 7409df2b066221d869f17f4b5762405f111a65f983Tim Northover return sum; 7509df2b066221d869f17f4b5762405f111a65f983Tim Northover} 7609df2b066221d869f17f4b5762405f111a65f983Tim Northover 7709df2b066221d869f17f4b5762405f111a65f983Tim Northoverint test_strex(char *addr) { 7809df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: @test_strex 7909df2b066221d869f17f4b5762405f111a65f983Tim Northover int res = 0; 8009df2b066221d869f17f4b5762405f111a65f983Tim Northover struct Simple var = {0}; 8109df2b066221d869f17f4b5762405f111a65f983Tim Northover res |= __builtin_arm_strex(4, addr); 8209df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.strex.p0i8(i32 4, i8* %addr) 8309df2b066221d869f17f4b5762405f111a65f983Tim Northover 8409df2b066221d869f17f4b5762405f111a65f983Tim Northover res |= __builtin_arm_strex(42, (short *)addr); 8509df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[ADDR16:%.*]] = bitcast i8* %addr to i16* 8609df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.strex.p0i16(i32 42, i16* [[ADDR16]]) 8709df2b066221d869f17f4b5762405f111a65f983Tim Northover 8809df2b066221d869f17f4b5762405f111a65f983Tim Northover res |= __builtin_arm_strex(42, (int *)addr); 8909df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[ADDR32:%.*]] = bitcast i8* %addr to i32* 9009df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.strex.p0i32(i32 42, i32* [[ADDR32]]) 9109df2b066221d869f17f4b5762405f111a65f983Tim Northover 9209df2b066221d869f17f4b5762405f111a65f983Tim Northover res |= __builtin_arm_strex(42, (long long *)addr); 9309df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.strexd(i32 42, i32 0, i8* %addr) 9409df2b066221d869f17f4b5762405f111a65f983Tim Northover 9509df2b066221d869f17f4b5762405f111a65f983Tim Northover res |= __builtin_arm_strex(2.71828f, (float *)addr); 9609df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.strex.p0i32(i32 1076754509, i32* [[ADDR32]]) 9709df2b066221d869f17f4b5762405f111a65f983Tim Northover 9809df2b066221d869f17f4b5762405f111a65f983Tim Northover res |= __builtin_arm_strex(3.14159, (double *)addr); 9909df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.strexd(i32 -266631570, i32 1074340345, i8* %addr) 10009df2b066221d869f17f4b5762405f111a65f983Tim Northover 10109df2b066221d869f17f4b5762405f111a65f983Tim Northover res |= __builtin_arm_strex(&var, (struct Simple **)addr); 10209df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTVAL:%.*]] = ptrtoint i16* %var to i32 10309df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.strex.p0i32(i32 [[INTVAL]], i32* [[ADDR32]]) 10409df2b066221d869f17f4b5762405f111a65f983Tim Northover 10509df2b066221d869f17f4b5762405f111a65f983Tim Northover return res; 10609df2b066221d869f17f4b5762405f111a65f983Tim Northover} 10709df2b066221d869f17f4b5762405f111a65f983Tim Northover 10809df2b066221d869f17f4b5762405f111a65f983Tim Northovervoid test_clrex() { 10909df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: @test_clrex 11009df2b066221d869f17f4b5762405f111a65f983Tim Northover 11109df2b066221d869f17f4b5762405f111a65f983Tim Northover __builtin_arm_clrex(); 11209df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call void @llvm.arm.clrex() 11309df2b066221d869f17f4b5762405f111a65f983Tim Northover} 114