builtins-arm-exclusive.c revision 6cbe66fc2d10e6d63efabb851877ea2521f23cca
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 206cbe66fc2d10e6d63efabb851877ea2521f23ccaTim Northover// CHECK: br i1 [[TST]], label {{%[a-zA-Z0-9.]+}}, label {{%[a-zA-Z0-9.]+}} 2109df2b066221d869f17f4b5762405f111a65f983Tim Northover 2209df2b066221d869f17f4b5762405f111a65f983Tim Northoverstruct Simple { 2309df2b066221d869f17f4b5762405f111a65f983Tim Northover char a, b; 2409df2b066221d869f17f4b5762405f111a65f983Tim Northover}; 2509df2b066221d869f17f4b5762405f111a65f983Tim Northover 2609df2b066221d869f17f4b5762405f111a65f983Tim Northoverint test_ldrex(char *addr, long long *addr64, float *addrfloat) { 2709df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: @test_ldrex 2809df2b066221d869f17f4b5762405f111a65f983Tim Northover int sum = 0; 2909df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex(addr); 3009df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTRES:%.*]] = tail call i32 @llvm.arm.ldrex.p0i8(i8* %addr) 3109df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: and i32 [[INTRES]], 255 3209df2b066221d869f17f4b5762405f111a65f983Tim Northover 3309df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex((short *)addr); 3409df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[ADDR16:%.*]] = bitcast i8* %addr to i16* 3509df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTRES:%.*]] = tail call i32 @llvm.arm.ldrex.p0i16(i16* [[ADDR16]]) 3609df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[TMPSEXT:%.*]] = shl i32 [[INTRES]], 16 3709df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: ashr exact i32 [[TMPSEXT]], 16 3809df2b066221d869f17f4b5762405f111a65f983Tim Northover 3909df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex((int *)addr); 4009df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[ADDR32:%.*]] = bitcast i8* %addr to i32* 4109df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.ldrex.p0i32(i32* [[ADDR32]]) 4209df2b066221d869f17f4b5762405f111a65f983Tim Northover 4309df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex((long long *)addr); 4409df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call { i32, i32 } @llvm.arm.ldrexd(i8* %addr) 4509df2b066221d869f17f4b5762405f111a65f983Tim Northover 4609df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex(addr64); 4709df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[ADDR64_AS8:%.*]] = bitcast i64* %addr64 to i8* 4809df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call { i32, i32 } @llvm.arm.ldrexd(i8* [[ADDR64_AS8]]) 4909df2b066221d869f17f4b5762405f111a65f983Tim Northover 5009df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex(addrfloat); 5109df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTADDR:%.*]] = bitcast float* %addrfloat to i32* 5209df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTRES:%.*]] = tail call i32 @llvm.arm.ldrex.p0i32(i32* [[INTADDR]]) 5309df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: bitcast i32 [[INTRES]] to float 5409df2b066221d869f17f4b5762405f111a65f983Tim Northover 5509df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex((double *)addr); 5609df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[STRUCTRES:%.*]] = tail call { i32, i32 } @llvm.arm.ldrexd(i8* %addr) 5709df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[RESHI:%.*]] = extractvalue { i32, i32 } [[STRUCTRES]], 1 5809df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[RESLO:%.*]] = extractvalue { i32, i32 } [[STRUCTRES]], 0 5909df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[RESHI64:%.*]] = zext i32 [[RESHI]] to i64 6009df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[RESLO64:%.*]] = zext i32 [[RESLO]] to i64 6109df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[RESHIHI:%.*]] = shl nuw i64 [[RESHI64]], 32 6209df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTRES:%.*]] = or i64 [[RESHIHI]], [[RESLO64]] 6309df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: bitcast i64 [[INTRES]] to double 6409df2b066221d869f17f4b5762405f111a65f983Tim Northover 6509df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += *__builtin_arm_ldrex((int **)addr); 6609df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTRES:%.*]] = tail call i32 @llvm.arm.ldrex.p0i32(i32* [[ADDR32]]) 6709df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: inttoptr i32 [[INTRES]] to i32* 6809df2b066221d869f17f4b5762405f111a65f983Tim Northover 6909df2b066221d869f17f4b5762405f111a65f983Tim Northover sum += __builtin_arm_ldrex((struct Simple **)addr)->a; 7009df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTRES:%.*]] = tail call i32 @llvm.arm.ldrex.p0i32(i32* [[ADDR32]]) 7109df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: inttoptr i32 [[INTRES]] to %struct.Simple* 7209df2b066221d869f17f4b5762405f111a65f983Tim Northover 7309df2b066221d869f17f4b5762405f111a65f983Tim Northover return sum; 7409df2b066221d869f17f4b5762405f111a65f983Tim Northover} 7509df2b066221d869f17f4b5762405f111a65f983Tim Northover 7609df2b066221d869f17f4b5762405f111a65f983Tim Northoverint test_strex(char *addr) { 7709df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: @test_strex 7809df2b066221d869f17f4b5762405f111a65f983Tim Northover int res = 0; 7909df2b066221d869f17f4b5762405f111a65f983Tim Northover struct Simple var = {0}; 8009df2b066221d869f17f4b5762405f111a65f983Tim Northover res |= __builtin_arm_strex(4, addr); 8109df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.strex.p0i8(i32 4, i8* %addr) 8209df2b066221d869f17f4b5762405f111a65f983Tim Northover 8309df2b066221d869f17f4b5762405f111a65f983Tim Northover res |= __builtin_arm_strex(42, (short *)addr); 8409df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[ADDR16:%.*]] = bitcast i8* %addr to i16* 8509df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.strex.p0i16(i32 42, i16* [[ADDR16]]) 8609df2b066221d869f17f4b5762405f111a65f983Tim Northover 8709df2b066221d869f17f4b5762405f111a65f983Tim Northover res |= __builtin_arm_strex(42, (int *)addr); 8809df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[ADDR32:%.*]] = bitcast i8* %addr to i32* 8909df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.strex.p0i32(i32 42, i32* [[ADDR32]]) 9009df2b066221d869f17f4b5762405f111a65f983Tim Northover 9109df2b066221d869f17f4b5762405f111a65f983Tim Northover res |= __builtin_arm_strex(42, (long long *)addr); 9209df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.strexd(i32 42, i32 0, i8* %addr) 9309df2b066221d869f17f4b5762405f111a65f983Tim Northover 9409df2b066221d869f17f4b5762405f111a65f983Tim Northover res |= __builtin_arm_strex(2.71828f, (float *)addr); 9509df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.strex.p0i32(i32 1076754509, i32* [[ADDR32]]) 9609df2b066221d869f17f4b5762405f111a65f983Tim Northover 9709df2b066221d869f17f4b5762405f111a65f983Tim Northover res |= __builtin_arm_strex(3.14159, (double *)addr); 9809df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.strexd(i32 -266631570, i32 1074340345, i8* %addr) 9909df2b066221d869f17f4b5762405f111a65f983Tim Northover 10009df2b066221d869f17f4b5762405f111a65f983Tim Northover res |= __builtin_arm_strex(&var, (struct Simple **)addr); 10109df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: [[INTVAL:%.*]] = ptrtoint i16* %var to i32 10209df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call i32 @llvm.arm.strex.p0i32(i32 [[INTVAL]], i32* [[ADDR32]]) 10309df2b066221d869f17f4b5762405f111a65f983Tim Northover 10409df2b066221d869f17f4b5762405f111a65f983Tim Northover return res; 10509df2b066221d869f17f4b5762405f111a65f983Tim Northover} 10609df2b066221d869f17f4b5762405f111a65f983Tim Northover 10709df2b066221d869f17f4b5762405f111a65f983Tim Northovervoid test_clrex() { 10809df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: @test_clrex 10909df2b066221d869f17f4b5762405f111a65f983Tim Northover 11009df2b066221d869f17f4b5762405f111a65f983Tim Northover __builtin_arm_clrex(); 11109df2b066221d869f17f4b5762405f111a65f983Tim Northover// CHECK: call void @llvm.arm.clrex() 11209df2b066221d869f17f4b5762405f111a65f983Tim Northover} 113